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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 5305614306
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 3368587 Tprops: 0 Decides: 2341433 RSplits: 0
INFO - Times: Expl: 3563.837 Prop: 8168.455 PropClause: 6811.168 Set: 152.27 Check: 60.728 Back: 150.622
INFO - Atoms: 23499/258429 Clauses: 504 Axioms: 1245114
INFO - Restart
INFO - Confl: 1000 Props: 7928356 Tprops: 0 Decides: 4615463 RSplits: 0
INFO - Times: Expl: 7434.302 Prop: 17810.048 PropClause: 15108.363 Set: 323.224 Check: 118.121 Back: 326.21
INFO - Atoms: 23499/258429 Clauses: 1004 Axioms: 1245114