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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 5785396668
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 500 Props: 1833229 Tprops: 0 Decides: 1850342 RSplits: 0
INFO - Times: Expl: 3036.994 Prop: 5354.378 PropClause: 4301.988 Set: 102.504 Check: 46.761 Back: 95.583
INFO - Atoms: 25495/280385 Clauses: 504 Axioms: 1350902
INFO - Restart
INFO - Confl: 1000 Props: 4604893 Tprops: 0 Decides: 3710968 RSplits: 0
INFO - Times: Expl: 7104.084 Prop: 12545.414 PropClause: 10377.158 Set: 223.326 Check: 93.93 Back: 216.41
INFO - Atoms: 25495/280385 Clauses: 1004 Axioms: 1350902