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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2240593035
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 2202560 Tprops: 0 Decides: 2497311 RSplits: 0
INFO - Times: Expl: 2572.647 Prop: 4837.063 PropClause: 3682.458 Set: 115.082 Check: 59.897 Back: 114.565
INFO - Atoms: 29984/269824 Clauses: 502 Axioms: 1289123
INFO - Restart
INFO - Confl: 1000 Props: 5509369 Tprops: 0 Decides: 5376515 RSplits: 0
INFO - Times: Expl: 6349.825 Prop: 11959.548 PropClause: 9439.338 Set: 262.862 Check: 130.245 Back: 266.697
INFO - Atoms: 29984/269824 Clauses: 1002 Axioms: 1289123
INFO - Restart
INFO - Confl: 2000 Props: 12863560 Tprops: 0 Decides: 10544870 RSplits: 0
INFO - Times: Expl: 12925.754 Prop: 27872.177 PropClause: 22805.643 Set: 565.68 Check: 259.459 Back: 580.524
INFO - Atoms: 29984/269824 Clauses: 2002 Axioms: 1289123
INFO - Restart
INFO - Confl: 2500 Props: 15600727 Tprops: 0 Decides: 11942034 RSplits: 0
INFO - Times: Expl: 17849.456 Prop: 32837.222 PropClause: 27074.217 Set: 666.788 Check: 293.171 Back: 682.045
INFO - Atoms: 29984/269824 Clauses: 2502 Axioms: 1289123