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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 3423406396
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 1118445 Tprops: 0 Decides: 1596183 RSplits: 0
INFO - Times: Expl: 1761.383 Prop: 2505.081 PropClause: 1812.494 Set: 66.784 Check: 37.754 Back: 62.631
INFO - Atoms: 26491/238387 Clauses: 502 Axioms: 1138924
INFO - Restart
INFO - Confl: 1000 Props: 3075148 Tprops: 0 Decides: 3511132 RSplits: 0
INFO - Times: Expl: 3690.648 Prop: 6615.75 PropClause: 5053.586 Set: 158.953 Check: 83.835 Back: 153.05
INFO - Atoms: 26491/238387 Clauses: 1002 Axioms: 1138924
INFO - Restart
INFO - Confl: 2000 Props: 8130243 Tprops: 0 Decides: 7469530 RSplits: 0
INFO - Times: Expl: 9023.375 Prop: 18000.586 PropClause: 14489.64 Set: 374.679 Check: 182.403 Back: 364.045
INFO - Atoms: 26491/238387 Clauses: 2002 Axioms: 1138924
INFO - Restart
INFO - Confl: 2500 Props: 11263767 Tprops: 0 Decides: 9605459 RSplits: 0
INFO - Times: Expl: 12782.256 Prop: 25220.284 PropClause: 20611.691 Set: 501.482 Check: 236.479 Back: 487.107
INFO - Atoms: 26491/238387 Clauses: 2502 Axioms: 1138924
INFO - Restart
INFO - Confl: 3000 Props: 14171200 Tprops: 0 Decides: 11512083 RSplits: 0
INFO - Times: Expl: 16047.712 Prop: 31760.796 PropClause: 26187.69 Set: 617.395 Check: 284.717 Back: 604.019
INFO - Atoms: 26491/238387 Clauses: 3002 Axioms: 1138924