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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 4450173783
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 1080891 Tprops: 0 Decides: 1227271 RSplits: 0
INFO - Times: Expl: 1306.394 Prop: 2409.616 PropClause: 1867.844 Set: 61.365 Check: 30.09 Back: 59.166
INFO - Atoms: 24996/274896 Clauses: 504 Axioms: 1324455
INFO - Restart
INFO - Confl: 1000 Props: 3562068 Tprops: 0 Decides: 3120848 RSplits: 0
INFO - Times: Expl: 4344.86 Prop: 8256.573 PropClause: 6665.871 Set: 175.827 Check: 78.696 Back: 176.625
INFO - Atoms: 24996/274896 Clauses: 1004 Axioms: 1324455
INFO - Restart
INFO - Confl: 2000 Props: 11162814 Tprops: 0 Decides: 6527351 RSplits: 0
INFO - Times: Expl: 13003.754 Prop: 23328.761 PropClause: 19861.607 Set: 452.505 Check: 163.232 Back: 457.964
INFO - Atoms: 24996/274896 Clauses: 2004 Axioms: 1324455
INFO - Restart
INFO - Confl: 2500 Props: 13792661 Tprops: 0 Decides: 7908478 RSplits: 0
INFO - Times: Expl: 17611.043 Prop: 28664.149 PropClause: 24473.303 Set: 550.602 Check: 197.584 Back: 557.604
INFO - Atoms: 24996/274896 Clauses: 2504 Axioms: 1324455