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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 3022197279
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 1646153 Tprops: 0 Decides: 1728899 RSplits: 0
INFO - Times: Expl: 2187.613 Prop: 4020.302 PropClause: 3194.349 Set: 89.006 Check: 42.285 Back: 85.013
INFO - Atoms: 22499/202459 Clauses: 502 Axioms: 967268
INFO - Restart
INFO - Confl: 1000 Props: 4166934 Tprops: 0 Decides: 3616963 RSplits: 0
INFO - Times: Expl: 4957.596 Prop: 9891.041 PropClause: 8073.392 Set: 198.883 Check: 87.774 Back: 196.728
INFO - Atoms: 22499/202459 Clauses: 1002 Axioms: 967268
INFO - Restart
INFO - Confl: 2000 Props: 9204107 Tprops: 0 Decides: 6933723 RSplits: 0
INFO - Times: Expl: 10145.506 Prop: 21613.762 PropClause: 17967.027 Set: 405.247 Check: 168.725 Back: 406.773
INFO - Atoms: 22499/202459 Clauses: 2002 Axioms: 967268
INFO - Restart
INFO - Confl: 2500 Props: 11811294 Tprops: 0 Decides: 8606287 RSplits: 0
INFO - Times: Expl: 13127.447 Prop: 27236.957 PropClause: 22684.283 Set: 509.043 Check: 209.69 Back: 512.736
INFO - Atoms: 22499/202459 Clauses: 2502 Axioms: 967268
INFO - Restart
INFO - Confl: 3000 Props: 14052247 Tprops: 0 Decides: 9994351 RSplits: 0
INFO - Times: Expl: 16270.121 Prop: 31690.895 PropClause: 26481.135 Set: 596.556 Check: 243.497 Back: 601.546
INFO - Atoms: 22499/202459 Clauses: 3002 Axioms: 967268