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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2103295964
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 987307 Tprops: 0 Decides: 1307892 RSplits: 0
INFO - Times: Expl: 1249.128 Prop: 2012.128 PropClause: 1462.428 Set: 58.334 Check: 31.84 Back: 54.804
INFO - Atoms: 24994/224914 Clauses: 502 Axioms: 1074553
INFO - Restart
INFO - Confl: 1000 Props: 2134337 Tprops: 0 Decides: 2361801 RSplits: 0
INFO - Times: Expl: 3435.022 Prop: 4310.934 PropClause: 3287.919 Set: 110.505 Check: 57.347 Back: 108.51
INFO - Atoms: 24994/224914 Clauses: 1002 Axioms: 1074553
INFO - Restart
INFO - Confl: 2000 Props: 7148333 Tprops: 0 Decides: 5557779 RSplits: 0
INFO - Times: Expl: 10987.099 Prop: 14748.301 PropClause: 12123.825 Set: 307.619 Check: 136.949 Back: 312.296
INFO - Atoms: 24994/224914 Clauses: 2002 Axioms: 1074553
INFO - Restart
INFO - Confl: 2500 Props: 16985765 Tprops: 0 Decides: 6401894 RSplits: 0
INFO - Times: Expl: 14891.981 Prop: 26827.822 PropClause: 23560.214 Set: 569.395 Check: 157.237 Back: 575.187
INFO - Atoms: 24994/224914 Clauses: 2502 Axioms: 1074553