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


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


INFO - Restart
INFO - Confl: 500 Props: 58875 Tprops: 24592 Decides: 11204 RSplits: 0
INFO - Times: Expl: 219.813 Prop: 270.548 PropClause: 80.171 Set: 23096.733 Check: 157.286 Back: 256.427
INFO - Atoms: 65/7041 Clauses: 500 Axioms: 12343
INFO - CCTimes: iE 85948 eq 43807322 cc 25102730 setRep 4225645
INFO - Merges: 21654, cc:22286
INFO - BVTimes: BB 0 BB_DPLL 0 Graph 119445195
INFO - BitBlastingClauses: 0 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Starting Bitblasting