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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2685941164
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 2160066 Tprops: 0 Decides: 2656986 RSplits: 0
INFO - Times: Expl: 2660.796 Prop: 4617.25 PropClause: 3370.878 Set: 116.126 Check: 83.716 Back: 116.543
INFO - Atoms: 28986/260842 Clauses: 502 Axioms: 1246209
INFO - Restart
INFO - Confl: 1000 Props: 5232430 Tprops: 0 Decides: 5404614 RSplits: 0
INFO - Times: Expl: 5879.191 Prop: 10890.904 PropClause: 8378.087 Set: 254.602 Check: 150.878 Back: 259.549
INFO - Atoms: 28986/260842 Clauses: 1002 Axioms: 1246209
INFO - Restart
INFO - Confl: 2000 Props: 12470321 Tprops: 0 Decides: 10411002 RSplits: 0
INFO - Times: Expl: 14030.355 Prop: 25483.867 PropClause: 20588.538 Set: 554.122 Check: 274.596 Back: 559.99
INFO - Atoms: 28986/260842 Clauses: 2002 Axioms: 1246209
INFO - Restart
INFO - Confl: 2500 Props: 15791038 Tprops: 0 Decides: 12494564 RSplits: 0
INFO - Times: Expl: 17274.912 Prop: 32074.728 PropClause: 26183.705 Set: 683.007 Check: 326.107 Back: 692.15
INFO - Atoms: 28986/260842 Clauses: 2502 Axioms: 1246209