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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2851633103
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 3312760 Tprops: 0 Decides: 1623166 RSplits: 0
INFO - Times: Expl: 1603.286 Prop: 3628.445 PropClause: 2974.55 Set: 131.868 Check: 37.713 Back: 117.311
INFO - Atoms: 52980/291363 Clauses: 504 Axioms: 1403796
INFO - Restart
INFO - Confl: 1000 Props: 8853318 Tprops: 0 Decides: 3575236 RSplits: 0
INFO - Times: Expl: 4176.889 Prop: 10169.263 PropClause: 8690.338 Set: 314.44 Check: 83.173 Back: 297.902
INFO - Atoms: 52981/291363 Clauses: 1004 Axioms: 1403796
INFO - Restart
INFO - Confl: 2000 Props: 22065027 Tprops: 0 Decides: 7786551 RSplits: 0
INFO - Times: Expl: 10132.534 Prop: 27041.267 PropClause: 23695.091 Set: 740.491 Check: 181.403 Back: 717.792
INFO - Atoms: 52981/291363 Clauses: 2004 Axioms: 1403796
INFO - Restart
INFO - Confl: 2500 Props: 23175003 Tprops: 0 Decides: 8125747 RSplits: 0
INFO - Times: Expl: 14977.085 Prop: 28379.567 PropClause: 24896.585 Set: 775.213 Check: 189.308 Back: 751.803
INFO - Atoms: 52981/291363 Clauses: 2504 Axioms: 1403796
INFO - Restart
INFO - Confl: 3000 Props: 51601928 Tprops: 0 Decides: 8476544 RSplits: 0
INFO - Times: Expl: 27126.155 Prop: 67487.098 PropClause: 63132.612 Set: 1510.987 Check: 197.723 Back: 1502.496
INFO - Atoms: 52981/291363 Clauses: 3004 Axioms: 1403796
INFO - Restart
INFO - Confl: 4000 Props: 147620902 Tprops: 0 Decides: 9197885 RSplits: 0
INFO - Times: Expl: 72741.1 Prop: 205167.992 PropClause: 198070.444 Set: 4046.866 Check: 214.825 Back: 3948.958
INFO - Atoms: 52981/291363 Clauses: 4004 Axioms: 1403796
INFO - Restart
INFO - Confl: 6000 Props: 420793535 Tprops: 0 Decides: 15719531 RSplits: 0
INFO - Times: Expl: 173227.093 Prop: 622604.413 PropClause: 605172.232 Set: 11450.371 Check: 367.832 Back: 11165.227
INFO - Atoms: 52981/291363 Clauses: 6004 Axioms: 1403796
INFO - Restart
INFO - Confl: 6500 Props: 423109073 Tprops: 0 Decides: 16331765 RSplits: 0
INFO - Times: Expl: 178923.087 Prop: 625933.329 PropClause: 608212.325 Set: 11521.391 Check: 381.906 Back: 11233.216
INFO - Atoms: 52981/291363 Clauses: 6504 Axioms: 1403796