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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 3167988393
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 3031142 Tprops: 0 Decides: 2432077 RSplits: 0
INFO - Times: Expl: 2587.63 Prop: 5677.334 PropClause: 4566.16 Set: 134.728 Check: 57.995 Back: 124.566
INFO - Atoms: 21503/236473 Clauses: 504 Axioms: 1139326
INFO - Restart
INFO - Confl: 1000 Props: 6374418 Tprops: 0 Decides: 4260010 RSplits: 0
INFO - Times: Expl: 5148.977 Prop: 11746.86 PropClause: 9753.51 Set: 259.53 Check: 102.294 Back: 243.513
INFO - Atoms: 21503/236473 Clauses: 1004 Axioms: 1139326
INFO - Restart
INFO - Confl: 2000 Props: 14392020 Tprops: 0 Decides: 8008500 RSplits: 0
INFO - Times: Expl: 11869.551 Prop: 26827.389 PropClause: 22957.467 Set: 544.476 Check: 193.491 Back: 514.464
INFO - Atoms: 21503/236473 Clauses: 2004 Axioms: 1139326
INFO - Restart
INFO - Confl: 2500 Props: 18274575 Tprops: 0 Decides: 9803941 RSplits: 0
INFO - Times: Expl: 15177.143 Prop: 34285.574 PropClause: 29504.036 Set: 682.676 Check: 237.231 Back: 644.809
INFO - Atoms: 21503/236473 Clauses: 2504 Axioms: 1139326