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


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


INFO - Restart
INFO - Confl: 500 Props: 79500 Tprops: 27799 Decides: 5425 RSplits: 0
INFO - Times: Expl: 240.087 Prop: 227.767 PropClause: 101.587 Set: 33787.95 Check: 92.304 Back: 215.634
INFO - Atoms: 29/7092 Clauses: 500 Axioms: 12616
INFO - CCTimes: iE 188392 eq 56157464 cc 20147576 setRep 6449065
INFO - Merges: 29709, cc:41257
INFO - BVTimes: BB 0 BB_DPLL 0 Graph 56353481
INFO - BitBlastingClauses: 0 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Starting Bitblasting