/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: 4293119282
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 4238034 Tprops: 0 Decides: 2058904 RSplits: 0
INFO - Times: Expl: 3421.496 Prop: 7446.173 PropClause: 6404.533 Set: 180.092 Check: 50.478 Back: 154.228
INFO - Atoms: 59966/329786 Clauses: 504 Axioms: 1588925
INFO - Restart
INFO - Confl: 1000 Props: 7892319 Tprops: 0 Decides: 3574676 RSplits: 0
INFO - Times: Expl: 8889.086 Prop: 13739.177 PropClause: 11868.035 Set: 305.255 Check: 87.584 Back: 280.681
INFO - Atoms: 59966/329786 Clauses: 1004 Axioms: 1588925
INFO - Bitblasting DPLL finished
unknown