/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/bruttomesso/simple_processor/simple_processors_002_002_0032.smt2 -------------------------------------------------------------------------------- INFO - Confl: 34 Props: 549 Tprops: 145 Decides: 41 RSplits: 0 INFO - Times: Expl: 9.073 Prop: 7.498 PropClause: 2.567 Set: 49.399 Check: 0.108 Back: 1.746 INFO - Atoms: 40/82 Clauses: 34 Axioms: 105 INFO - CCTimes: iE 41241 eq 3003259 cc 748851 setRep 527529 INFO - Merges: 302, cc:82 INFO - BVTimes: BB 0 BB_DPLL 0 Graph 3347 INFO - BitBlastingClauses: 0 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Formula is unsat unsat