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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 1685721115
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 1099025 Tprops: 0 Decides: 1286896 RSplits: 0
INFO - Times: Expl: 1158.693 Prop: 1921.818 PropClause: 1443.839 Set: 61.292 Check: 31.093 Back: 57.476
INFO - Atoms: 20004/180004 Clauses: 502 Axioms: 859983
INFO - Restart
INFO - Confl: 1000 Props: 1730721 Tprops: 0 Decides: 1288024 RSplits: 0
INFO - Times: Expl: 3347.72 Prop: 2743.987 PropClause: 2247.2 Set: 77.355 Check: 31.123 Back: 73.93
INFO - Atoms: 20004/180004 Clauses: 1002 Axioms: 859983
INFO - Restart
INFO - Confl: 2000 Props: 3097193 Tprops: 0 Decides: 1319334 RSplits: 0
INFO - Times: Expl: 8265.915 Prop: 4544.181 PropClause: 3994.655 Set: 112.668 Check: 31.905 Back: 107.525
INFO - Atoms: 20004/180004 Clauses: 2002 Axioms: 859983
INFO - Restart
INFO - Confl: 2500 Props: 4339881 Tprops: 0 Decides: 1350029 RSplits: 0
INFO - Times: Expl: 10900.954 Prop: 6151.473 PropClause: 5554.522 Set: 144.962 Check: 32.615 Back: 137.711
INFO - Atoms: 20004/180004 Clauses: 2502 Axioms: 859983
INFO - Restart
INFO - Confl: 3000 Props: 5554090 Tprops: 0 Decides: 1381113 RSplits: 0
INFO - Times: Expl: 13790.906 Prop: 7833.822 PropClause: 7188.471 Set: 176.946 Check: 33.365 Back: 167.66
INFO - Atoms: 20004/180004 Clauses: 3002 Axioms: 859983
INFO - Restart
INFO - Confl: 4000 Props: 6266270 Tprops: 0 Decides: 1401351 RSplits: 0
INFO - Times: Expl: 18966.779 Prop: 8718.747 PropClause: 8044.538 Set: 195.14 Check: 33.871 Back: 185.733
INFO - Atoms: 20004/180004 Clauses: 4002 Axioms: 859983
INFO - Restart
INFO - Confl: 6000 Props: 8779268 Tprops: 0 Decides: 1452940 RSplits: 0
INFO - Times: Expl: 30357.422 Prop: 11767.238 PropClause: 11000.933 Set: 259.728 Check: 35.11 Back: 247.947
INFO - Atoms: 20004/180004 Clauses: 6002 Axioms: 859983
INFO - Restart
INFO - Confl: 6500 Props: 9921494 Tprops: 0 Decides: 1484274 RSplits: 0
INFO - Times: Expl: 32844.612 Prop: 13227.341 PropClause: 12417.208 Set: 289.16 Check: 35.836 Back: 275.811
INFO - Atoms: 20004/180004 Clauses: 6502 Axioms: 859983
INFO - Restart
INFO - Confl: 7000 Props: 10320246 Tprops: 0 Decides: 1487248 RSplits: 0
INFO - Times: Expl: 35023.016 Prop: 13725.727 PropClause: 12903.851 Set: 299.306 Check: 35.916 Back: 285.583
INFO - Atoms: 20004/180004 Clauses: 7002 Axioms: 859983