/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/pspace/ndist.b.27485.smt2


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 3564564011
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 2290232 Tprops: 0 Decides: 2301325 RSplits: 0
INFO - Times: Expl: 2363.878 Prop: 4344.338 PropClause: 3263.574 Set: 114.926 Check: 55.887 Back: 112.028
INFO - Atoms: 27491/302341 Clauses: 504 Axioms: 1456690
INFO - Restart
INFO - Confl: 1000 Props: 5851989 Tprops: 0 Decides: 4612950 RSplits: 0
INFO - Times: Expl: 5217.239 Prop: 10814.634 PropClause: 8601.31 Set: 258.321 Check: 111.602 Back: 257.116
INFO - Atoms: 27491/302341 Clauses: 1004 Axioms: 1456690
INFO - Restart
INFO - Confl: 2000 Props: 14243769 Tprops: 0 Decides: 8874648 RSplits: 0
INFO - Times: Expl: 12440.011 Prop: 27005.618 PropClause: 22489.535 Set: 570.32 Check: 216.332 Back: 572.39
INFO - Atoms: 27491/302341 Clauses: 2004 Axioms: 1456690