/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/pspace/ndist.a.25489.smt2


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 1916100644
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 1302245 Tprops: 0 Decides: 1670818 RSplits: 0
INFO - Times: Expl: 1320.814 Prop: 1909.018 PropClause: 1337.758 Set: 72.006 Check: 38.819 Back: 69.475
INFO - Atoms: 25493/229405 Clauses: 502 Axioms: 1096010
INFO - Restart
INFO - Confl: 1000 Props: 3475167 Tprops: 0 Decides: 3754657 RSplits: 0
INFO - Times: Expl: 2903.87 Prop: 5496.749 PropClause: 4050.511 Set: 174.521 Check: 88.192 Back: 173.08
INFO - Atoms: 25493/229405 Clauses: 1002 Axioms: 1096010
INFO - Restart
INFO - Confl: 2000 Props: 9086128 Tprops: 0 Decides: 7849265 RSplits: 0
INFO - Times: Expl: 7465.775 Prop: 15004.442 PropClause: 11920.486 Set: 407.788 Check: 185.439 Back: 407.066
INFO - Atoms: 25493/229405 Clauses: 2002 Axioms: 1096010
INFO - Restart
INFO - Confl: 2500 Props: 11968153 Tprops: 0 Decides: 9738183 RSplits: 0
INFO - Times: Expl: 10646.703 Prop: 20062.166 PropClause: 16207.765 Set: 522.435 Check: 230.021 Back: 521.57
INFO - Atoms: 25493/229405 Clauses: 2502 Axioms: 1096010
INFO - Restart
INFO - Confl: 3000 Props: 14648142 Tprops: 0 Decides: 11402733 RSplits: 0
INFO - Times: Expl: 14091.56 Prop: 25528.149 PropClause: 20905.734 Set: 626.941 Check: 271.024 Back: 627.1
INFO - Atoms: 25493/229405 Clauses: 3002 Axioms: 1096010