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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 4605037091
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 2778565 Tprops: 0 Decides: 2431399 RSplits: 0
INFO - Times: Expl: 2505.817 Prop: 5119.637 PropClause: 4069.982 Set: 125.861 Check: 56.729 Back: 123.491
INFO - Atoms: 27990/307830 Clauses: 504 Axioms: 1483137
INFO - Restart
INFO - Confl: 1000 Props: 7344275 Tprops: 0 Decides: 5101814 RSplits: 0
INFO - Times: Expl: 6258.3 Prop: 13415.972 PropClause: 11104.421 Set: 297.929 Check: 120.288 Back: 296.65
INFO - Atoms: 27990/307830 Clauses: 1004 Axioms: 1483137
INFO - Restart
INFO - Confl: 2000 Props: 16974300 Tprops: 0 Decides: 9695648 RSplits: 0
INFO - Times: Expl: 14745.628 Prop: 30802.301 PropClause: 26262.707 Set: 638.815 Check: 230.534 Back: 638.175
INFO - Atoms: 27990/307830 Clauses: 2004 Axioms: 1483137