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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 3516992414
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 3081409 Tprops: 0 Decides: 2448146 RSplits: 0
INFO - Times: Expl: 2995.129 Prop: 5755.577 PropClause: 4650.709 Set: 134.533 Check: 58.283 Back: 132.687
INFO - Atoms: 29986/329786 Clauses: 504 Axioms: 1588925
INFO - Restart
INFO - Confl: 1000 Props: 8317241 Tprops: 0 Decides: 5481976 RSplits: 0
INFO - Times: Expl: 6822.092 Prop: 15394.169 PropClause: 12826.375 Set: 331.493 Check: 130.114 Back: 331.446
INFO - Atoms: 29986/329786 Clauses: 1004 Axioms: 1588925