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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2871226706
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 1957670 Tprops: 0 Decides: 2565049 RSplits: 0
INFO - Times: Expl: 2600.481 Prop: 4772.874 PropClause: 3548.053 Set: 113.475 Check: 70.835 Back: 111.458
INFO - Atoms: 28487/256351 Clauses: 502 Axioms: 1224752
INFO - Restart
INFO - Confl: 1000 Props: 4724008 Tprops: 0 Decides: 5101417 RSplits: 0
INFO - Times: Expl: 5903.323 Prop: 10762.084 PropClause: 8344.479 Set: 240.099 Check: 137.997 Back: 242.296
INFO - Atoms: 28487/256351 Clauses: 1002 Axioms: 1224752
INFO - Restart
INFO - Confl: 2000 Props: 10536572 Tprops: 0 Decides: 9243268 RSplits: 0
INFO - Times: Expl: 12425.07 Prop: 23173.588 PropClause: 18729.987 Set: 480.12 Check: 244.79 Back: 489.029
INFO - Atoms: 28487/256351 Clauses: 2002 Axioms: 1224752
INFO - Restart
INFO - Confl: 2500 Props: 13315619 Tprops: 0 Decides: 11062007 RSplits: 0
INFO - Times: Expl: 15603.671 Prop: 28910.928 PropClause: 23531.941 Set: 590.229 Check: 290.633 Back: 601.799
INFO - Atoms: 28487/256351 Clauses: 2502 Axioms: 1224752