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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2375763822
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 2002793 Tprops: 0 Decides: 2049793 RSplits: 0
INFO - Times: Expl: 2019.329 Prop: 3906.4 PropClause: 3025.585 Set: 101.58 Check: 49.205 Back: 98.18
INFO - Atoms: 22998/206950 Clauses: 502 Axioms: 988725
INFO - Restart
INFO - Confl: 1000 Props: 4600527 Tprops: 0 Decides: 4080686 RSplits: 0
INFO - Times: Expl: 4416.401 Prop: 8931.653 PropClause: 7156.612 Set: 211.866 Check: 98.005 Back: 210.091
INFO - Atoms: 22998/206950 Clauses: 1002 Axioms: 988725
INFO - Restart
INFO - Confl: 2000 Props: 10208719 Tprops: 0 Decides: 7741114 RSplits: 0
INFO - Times: Expl: 10133.137 Prop: 19576.024 PropClause: 16195.882 Set: 433.908 Check: 185.29 Back: 435.068
INFO - Atoms: 22998/206950 Clauses: 2002 Axioms: 988725
INFO - Restart
INFO - Confl: 2500 Props: 12630792 Tprops: 0 Decides: 8901435 RSplits: 0
INFO - Times: Expl: 13349.229 Prop: 23627.283 PropClause: 19733.855 Set: 520.225 Check: 212.856 Back: 522.689
INFO - Atoms: 22998/206950 Clauses: 2502 Axioms: 988725
INFO - Restart
INFO - Confl: 3000 Props: 17387813 Tprops: 0 Decides: 10080875 RSplits: 0
INFO - Times: Expl: 17378.351 Prop: 31404.057 PropClause: 26900.427 Set: 665.846 Check: 241.486 Back: 673.621
INFO - Atoms: 22998/206950 Clauses: 3002 Axioms: 988725