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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 4024002336
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 1625905 Tprops: 0 Decides: 1777301 RSplits: 0
INFO - Times: Expl: 1548.569 Prop: 2897.369 PropClause: 2186.262 Set: 84.047 Check: 42.311 Back: 80.416
INFO - Atoms: 26992/296852 Clauses: 504 Axioms: 1430243
INFO - Restart
INFO - Confl: 1000 Props: 5022382 Tprops: 0 Decides: 4094074 RSplits: 0
INFO - Times: Expl: 4268.437 Prop: 8866.171 PropClause: 7122.774 Set: 221.34 Check: 98.37 Back: 218.259
INFO - Atoms: 26992/296852 Clauses: 1004 Axioms: 1430243
INFO - Restart
INFO - Confl: 2000 Props: 9132855 Tprops: 0 Decides: 6264065 RSplits: 0
INFO - Times: Expl: 14529.013 Prop: 15911.415 PropClause: 13204.228 Set: 372.219 Check: 149.586 Back: 368.534
INFO - Atoms: 26992/296852 Clauses: 2004 Axioms: 1430243
INFO - Restart
INFO - Confl: 2500 Props: 15166128 Tprops: 0 Decides: 7201403 RSplits: 0
INFO - Times: Expl: 20314.391 Prop: 24277.727 PropClause: 21050.468 Set: 545.278 Check: 171.958 Back: 551.163
INFO - Atoms: 26992/296852 Clauses: 2504 Axioms: 1430243