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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2820194747
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 1463108 Tprops: 0 Decides: 2010845 RSplits: 0
INFO - Times: Expl: 1877.877 Prop: 3123.001 PropClause: 2231.357 Set: 86.987 Check: 48.864 Back: 84.496
INFO - Atoms: 27988/251860 Clauses: 502 Axioms: 1203295
INFO - Restart
INFO - Confl: 1000 Props: 4076500 Tprops: 0 Decides: 4507366 RSplits: 0
INFO - Times: Expl: 4692.318 Prop: 8334.07 PropClause: 6312.148 Set: 208.788 Check: 108.961 Back: 209.097
INFO - Atoms: 27988/251860 Clauses: 1002 Axioms: 1203295
INFO - Restart
INFO - Confl: 2000 Props: 10274061 Tprops: 0 Decides: 9072046 RSplits: 0
INFO - Times: Expl: 13287.01 Prop: 20862.933 PropClause: 16667.565 Set: 466.158 Check: 220.074 Back: 471.128
INFO - Atoms: 27988/251860 Clauses: 2002 Axioms: 1203295
INFO - Restart
INFO - Confl: 2500 Props: 13777313 Tprops: 0 Decides: 11312633 RSplits: 0
INFO - Times: Expl: 16958.579 Prop: 28066.134 PropClause: 22758.8 Set: 604.428 Check: 276.282 Back: 612.12
INFO - Atoms: 27988/251860 Clauses: 2502 Axioms: 1203295