/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_clnt_3_false.BV.c.cil.c.21.smt2


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


INFO - Restart
INFO - Confl: 500 Props: 38851 Tprops: 16142 Decides: 6998 RSplits: 0
INFO - Times: Expl: 178.439 Prop: 90.352 PropClause: 56.605 Set: 13120.684 Check: 9.145 Back: 179.456
INFO - Atoms: 65/7030 Clauses: 500 Axioms: 12300
INFO - CCTimes: iE 120537 eq 24142210 cc 6718203 setRep 1739772
INFO - Merges: 5382, cc:2296
INFO - BVTimes: BB 0 BB_DPLL 0 Graph 199562
INFO - BitBlastingClauses: 0 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Restart
INFO - Confl: 1000 Props: 101899 Tprops: 34581 Decides: 9002 RSplits: 0
INFO - Times: Expl: 266.545 Prop: 167.591 PropClause: 114.374 Set: 25335.619 Check: 11.545 Back: 290.33
INFO - Atoms: 65/7030 Clauses: 1000 Axioms: 12300
INFO - CCTimes: iE 221143 eq 45679299 cc 8847982 setRep 2805397
INFO - Merges: 11595, cc:5478
INFO - BVTimes: BB 0 BB_DPLL 0 Graph 248457
INFO - BitBlastingClauses: 0 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Starting Bitblasting