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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 3152397048
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 1380357 Tprops: 0 Decides: 1878521 RSplits: 0
INFO - Times: Expl: 1795.076 Prop: 2956.344 PropClause: 2174.639 Set: 80.962 Check: 49.259 Back: 78.937
INFO - Atoms: 27489/247369 Clauses: 502 Axioms: 1181838
INFO - Restart
INFO - Confl: 1000 Props: 3762904 Tprops: 0 Decides: 4094757 RSplits: 0
INFO - Times: Expl: 4784.999 Prop: 8068.322 PropClause: 6227.16 Set: 192.398 Check: 104.038 Back: 192.495
INFO - Atoms: 27489/247369 Clauses: 1002 Axioms: 1181838
INFO - Restart
INFO - Confl: 2000 Props: 9540629 Tprops: 0 Decides: 8283957 RSplits: 0
INFO - Times: Expl: 11417.27 Prop: 20167.64 PropClause: 16324.816 Set: 430.755 Check: 209.391 Back: 436.196
INFO - Atoms: 27489/247369 Clauses: 2002 Axioms: 1181838
INFO - Restart
INFO - Confl: 2500 Props: 12576034 Tprops: 0 Decides: 10334930 RSplits: 0
INFO - Times: Expl: 15186.718 Prop: 26745.278 PropClause: 21898.337 Set: 552.682 Check: 261.949 Back: 561.57
INFO - Atoms: 27489/247369 Clauses: 2502 Axioms: 1181838