/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/bmc-bv-svcomp14/s3_srvr_1_true.BV.c.cil.c.21.smt2


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


INFO - Restart
INFO - Confl: 500 Props: 60690 Tprops: 20622 Decides: 13142 RSplits: 0
INFO - Times: Expl: 148.485 Prop: 223.715 PropClause: 57.139 Set: 22521.501 Check: 135.132 Back: 240.994
INFO - Atoms: 7/9105 Clauses: 500 Axioms: 17151
INFO - CCTimes: iE 69709 eq 28618822 cc 2073354 setRep 1095092
INFO - Merges: 4921, cc:3802
INFO - BVTimes: BB 0 BB_DPLL 0 Graph 131391971
INFO - BitBlastingClauses: 0 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Restart
INFO - Confl: 1000 Props: 185390 Tprops: 52042 Decides: 31053 RSplits: 0
INFO - Times: Expl: 261.395 Prop: 610.604 PropClause: 165.393 Set: 69342.562 Check: 379.457 Back: 581.458
INFO - Atoms: 7/9105 Clauses: 1000 Axioms: 17151
INFO - CCTimes: iE 146720 eq 66275128 cc 3295385 setRep 2126446
INFO - Merges: 11738, cc:5432
INFO - BVTimes: BB 0 BB_DPLL 0 Graph 373638714
INFO - BitBlastingClauses: 0 BvultGraphCircles: 0 TrivialConflicts: 0