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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 4057744254
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 3318929 Tprops: 0 Decides: 2437554 RSplits: 0
INFO - Times: Expl: 3505.194 Prop: 6817.197 PropClause: 5549.562 Set: 144.244 Check: 62.243 Back: 140.279
INFO - Atoms: 29487/324297 Clauses: 504 Axioms: 1562478
INFO - Restart
INFO - Confl: 1000 Props: 9178590 Tprops: 0 Decides: 5449101 RSplits: 0
INFO - Times: Expl: 8862.471 Prop: 18221.117 PropClause: 15383.723 Set: 359.046 Check: 138.427 Back: 358.418
INFO - Atoms: 29487/324297 Clauses: 1004 Axioms: 1562478
INFO - Restart
INFO - Confl: 2000 Props: 12994014 Tprops: 0 Decides: 7314325 RSplits: 0
INFO - Times: Expl: 22757.524 Prop: 24785.719 PropClause: 21114.655 Set: 496.649 Check: 182.57 Back: 494.796
INFO - Atoms: 29487/324297 Clauses: 2004 Axioms: 1562478