/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/pspace/ndist.a.24491.smt2


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 1962139732
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 1464726 Tprops: 0 Decides: 1835541 RSplits: 0
INFO - Times: Expl: 1313.839 Prop: 2617.827 PropClause: 1894.855 Set: 81.188 Check: 43.33 Back: 79.3
INFO - Atoms: 24495/220423 Clauses: 502 Axioms: 1053096
INFO - Restart
INFO - Confl: 1000 Props: 3953537 Tprops: 0 Decides: 3970700 RSplits: 0
INFO - Times: Expl: 3256.908 Prop: 7390.08 PropClause: 5758.274 Set: 191.322 Check: 94.148 Back: 190.925
INFO - Atoms: 24495/220423 Clauses: 1002 Axioms: 1053096
INFO - Restart
INFO - Confl: 2000 Props: 9218213 Tprops: 0 Decides: 7719171 RSplits: 0
INFO - Times: Expl: 7836.239 Prop: 17555.593 PropClause: 14302.794 Set: 406.495 Check: 183.819 Back: 408.087
INFO - Atoms: 24495/220423 Clauses: 2002 Axioms: 1053096
INFO - Restart
INFO - Confl: 2500 Props: 11632491 Tprops: 0 Decides: 8951238 RSplits: 0
INFO - Times: Expl: 11334.734 Prop: 21269.305 PropClause: 17511.207 Set: 493.955 Check: 212.452 Back: 494.769
INFO - Atoms: 24495/220423 Clauses: 2502 Axioms: 1053096