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


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


INFO - Restart
INFO - Confl: 500 Props: 47088 Tprops: 18309 Decides: 5697 RSplits: 0
INFO - Times: Expl: 157.84 Prop: 127.958 PropClause: 55.104 Set: 21171.703 Check: 55.132 Back: 151.9
INFO - Atoms: 7/7196 Clauses: 500 Axioms: 13495
INFO - CCTimes: iE 102074 eq 18271490 cc 1784391 setRep 1206603
INFO - Merges: 3455, cc:337
INFO - BVTimes: BB 0 BB_DPLL 0 Graph 52381820
INFO - BitBlastingClauses: 0 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Restart
INFO - Confl: 1000 Props: 126840 Tprops: 32649 Decides: 8154 RSplits: 0
INFO - Times: Expl: 224.09 Prop: 213.14 PropClause: 108.509 Set: 33667.185 Check: 75.208 Back: 225.255
INFO - Atoms: 7/7196 Clauses: 1000 Axioms: 13495
INFO - CCTimes: iE 176311 eq 38704511 cc 2577283 setRep 1551181
INFO - Merges: 6383, cc:354
INFO - BVTimes: BB 0 BB_DPLL 0 Graph 72142664
INFO - BitBlastingClauses: 0 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Starting Bitblasting