/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_0004.smt2


--------------------------------------------------------------------------------


INFO - Confl: 34 Props: 546 Tprops: 142 Decides: 41 RSplits: 0
INFO - Times: Expl: 7.045 Prop: 5.463 PropClause: 1.832 Set: 34.777 Check: 0.544 Back: 1.353
INFO - Atoms: 40/82 Clauses: 34 Axioms: 105
INFO - CCTimes: iE 30672 eq 1685620 cc 498082 setRep 413228
INFO - Merges: 278, cc:60
INFO - BVTimes: BB 0 BB_DPLL 0 Graph 2447
INFO - BitBlastingClauses: 0 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat