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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2418637092
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 1137555 Tprops: 0 Decides: 1707676 RSplits: 0
INFO - Times: Expl: 1121.771 Prop: 2355.195 PropClause: 1704.07 Set: 68.696 Check: 39.829 Back: 66.465
INFO - Atoms: 26990/242878 Clauses: 502 Axioms: 1160381
INFO - Restart
INFO - Confl: 1000 Props: 3295173 Tprops: 0 Decides: 3749304 RSplits: 0
INFO - Times: Expl: 2814.187 Prop: 6408.557 PropClause: 4918.535 Set: 167.751 Check: 87.995 Back: 167.399
INFO - Atoms: 26990/242878 Clauses: 1002 Axioms: 1160381
INFO - Restart
INFO - Confl: 2000 Props: 8474152 Tprops: 0 Decides: 7722651 RSplits: 0
INFO - Times: Expl: 7946.873 Prop: 16849.856 PropClause: 13607.859 Set: 386.407 Check: 183.784 Back: 389.116
INFO - Atoms: 26990/242878 Clauses: 2002 Axioms: 1160381
INFO - Restart
INFO - Confl: 2500 Props: 11067020 Tprops: 0 Decides: 9492520 RSplits: 0
INFO - Times: Expl: 10224.845 Prop: 22101.354 PropClause: 18058.664 Set: 490.766 Check: 226.662 Back: 495.092
INFO - Atoms: 26990/242878 Clauses: 2502 Axioms: 1160381
INFO - Restart
INFO - Confl: 3000 Props: 13647739 Tprops: 0 Decides: 11182837 RSplits: 0
INFO - Times: Expl: 13063.367 Prop: 27424.646 PropClause: 22603.295 Set: 593.92 Check: 267.831 Back: 599.293
INFO - Atoms: 26990/242878 Clauses: 3002 Axioms: 1160381