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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 1843455525
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 79455 Tprops: 0 Decides: 1 RSplits: 0
INFO - Times: Expl: 22.422 Prop: 148.001 PropClause: 144.063 Set: 36.353 Check: 0.0 Back: 0.005
INFO - Atoms: 79408/125696 Clauses: 34306 Axioms: 294912
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 158996 Tprops: 0 Decides: 2 RSplits: 0
INFO - Times: Expl: 37.209 Prop: 221.312 PropClause: 213.933 Set: 48.17 Check: 0.001 Back: 2.025
INFO - Atoms: 79451/125696 Clauses: 34306 Axioms: 294912
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 238533 Tprops: 0 Decides: 3 RSplits: 0
INFO - Times: Expl: 48.373 Prop: 282.907 PropClause: 273.468 Set: 56.541 Check: 0.001 Back: 4.267
INFO - Atoms: 79448/125696 Clauses: 34306 Axioms: 294912
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 318068 Tprops: 0 Decides: 4 RSplits: 0
INFO - Times: Expl: 58.425 Prop: 346.974 PropClause: 335.479 Set: 65.024 Check: 0.001 Back: 6.793
INFO - Atoms: 79446/125696 Clauses: 34306 Axioms: 294912
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 397601 Tprops: 0 Decides: 5 RSplits: 0
INFO - Times: Expl: 65.867 Prop: 410.077 PropClause: 396.625 Set: 73.399 Check: 0.001 Back: 8.665
INFO - Atoms: 79444/125696 Clauses: 34306 Axioms: 294912
INFO - Formula is unsat
INFO - Bitblasting DPLL finished