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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 2772312423
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 3533688 Tprops: 0 Decides: 2673989 RSplits: 0
INFO - Times: Expl: 2666.313 Prop: 6712.288 PropClause: 5482.153 Set: 150.588 Check: 65.271 Back: 149.48
INFO - Atoms: 23000/252940 Clauses: 504 Axioms: 1218667
INFO - Restart
INFO - Confl: 1000 Props: 7930078 Tprops: 0 Decides: 4969301 RSplits: 0
INFO - Times: Expl: 6175.731 Prop: 14728.034 PropClause: 12391.24 Set: 310.559 Check: 120.793 Back: 311.956
INFO - Atoms: 23000/252940 Clauses: 1004 Axioms: 1218667