Passed

de.uni_freiburg.informatik.ultimate.smtinterpol.theory.linar.EpsilonTest.testProhibHitUpper

Standard Error

INFO - Confl: 0 Props: 5 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.0 Prop: 0.009 PropClause: 0.029 Set: 0.161 Check: 0.088 Back: 0.0
INFO - Atoms: 5/5 Clauses: 0 Axioms: 5
INFO - CCTimes: iE 0 eq 0 cc 0 setRep 0
INFO - Merges: 0, cc:0
INFO - Number of Bland pivoting-Operations: 0/0
INFO - Number of variables: 3 nonbasic: 2 shared: 0
INFO - Time for fix Oob          : 0
INFO - Time for pivoting         : 0
INFO - Time for bound computation: 0
INFO - Time for bound setting    : 0
INFO 
...[truncated 4841 chars]...
2 shared: 0
INFO - Time for fix Oob          : 0
INFO - Time for pivoting         : 0
INFO - Time for bound computation: 0
INFO - Time for bound setting    : 0
INFO - Time for bound comp(back) : 0
INFO - Composite::createLit: 0
INFO - Number of cuts: 0
INFO - Time for cut-generation: 0
INFO - Count/Time for getUpperBound: 0 / 0.000
INFO - Number of branchings: 0
INFO - Hooray, we found a model:
INFO - Equivalence Classes:
INFO - true
INFO - false
INFO - Assignments:
INFO - y = 0
INFO - x = -1/2