Passed
de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2.AssumptionTest.testAssumptionRemoval
Standard Error
INFO - Confl: 0 Props: 1 Tprops: 0 Decides: 1 RSplits: 0 INFO - Times: Expl: 0.0 Prop: 0.009 PropClause: 0.004 Set: 0.011 Check: 0.013 Back: 0.0 INFO - Atoms: 1/3 Clauses: 0 Axioms: 2 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: 0 nonbasic: 0 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 4757 chars]... er of variables: 0 nonbasic: 0 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: