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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2013597801
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 2480083 Tprops: 0 Decides: 1595371 RSplits: 0
INFO - Times: Expl: 2158.82 Prop: 4767.252 PropClause: 4010.142 Set: 102.024 Check: 37.83 Back: 98.381
INFO - Atoms: 20505/225495 Clauses: 504 Axioms: 1086432
INFO - Restart
INFO - Confl: 1000 Props: 6744305 Tprops: 0 Decides: 3682660 RSplits: 0
INFO - Times: Expl: 5419.384 Prop: 12287.524 PropClause: 10568.881 Set: 257.101 Check: 87.058 Back: 252.338
INFO - Atoms: 20505/225495 Clauses: 1004 Axioms: 1086432
INFO - Restart
INFO - Confl: 2000 Props: 15902763 Tprops: 0 Decides: 7857182 RSplits: 0
INFO - Times: Expl: 12476.846 Prop: 29276.679 PropClause: 25496.115 Set: 586.64 Check: 187.352 Back: 580.922
INFO - Atoms: 20505/225495 Clauses: 2004 Axioms: 1086432