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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 3799386478
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 1514729 Tprops: 0 Decides: 1786986 RSplits: 0
INFO - Times: Expl: 1965.663 Prop: 3213.621 PropClause: 2380.217 Set: 84.053 Check: 43.072 Back: 80.274
INFO - Atoms: 26493/291363 Clauses: 504 Axioms: 1403796
INFO - Restart
INFO - Confl: 1000 Props: 2662317 Tprops: 0 Decides: 2296329 RSplits: 0
INFO - Times: Expl: 8433.552 Prop: 4978.879 PropClause: 3923.06 Set: 123.904 Check: 55.114 Back: 119.283
INFO - Atoms: 26493/291363 Clauses: 1004 Axioms: 1403796
INFO - Restart
INFO - Confl: 2000 Props: 15810912 Tprops: 0 Decides: 3200607 RSplits: 0
INFO - Times: Expl: 23329.419 Prop: 22871.251 PropClause: 21146.005 Set: 471.107 Check: 76.477 Back: 474.982
INFO - Atoms: 26493/291363 Clauses: 2004 Axioms: 1403796