/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/bruttomesso/core/ext_con_048_256_1024.smt2


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 862434923
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 86631 Tprops: 0 Decides: 1 RSplits: 0
INFO - Times: Expl: 27.475 Prop: 185.546 PropClause: 177.897 Set: 49.787 Check: 0.0 Back: 0.004
INFO - Atoms: 86580/136960 Clauses: 37378 Axioms: 321536
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 173356 Tprops: 0 Decides: 2 RSplits: 0
INFO - Times: Expl: 42.306 Prop: 270.953 PropClause: 260.025 Set: 61.96 Check: 0.001 Back: 2.383
INFO - Atoms: 86627/136960 Clauses: 37378 Axioms: 321536
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 260077 Tprops: 0 Decides: 3 RSplits: 0
INFO - Times: Expl: 61.097 Prop: 348.079 PropClause: 334.938 Set: 71.544 Check: 0.001 Back: 4.472
INFO - Atoms: 86624/136960 Clauses: 37378 Axioms: 321536
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 346794 Tprops: 0 Decides: 4 RSplits: 0
INFO - Times: Expl: 71.834 Prop: 420.225 PropClause: 404.904 Set: 80.811 Check: 0.001 Back: 6.827
INFO - Atoms: 86621/136960 Clauses: 37378 Axioms: 321536
INFO - Formula is unsat
INFO - Bitblasting DPLL finished