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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 573914378
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 93859 Tprops: 0 Decides: 2 RSplits: 0
INFO - Times: Expl: 16.677 Prop: 138.001 PropClause: 134.316 Set: 1162.139 Check: 0.0 Back: 0.006
INFO - Atoms: 93752/148224 Clauses: 40450 Axioms: 348160
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 187768 Tprops: 0 Decides: 3 RSplits: 0
INFO - Times: Expl: 42.311 Prop: 204.196 PropClause: 197.928 Set: 1172.277 Check: 0.0 Back: 2.149
INFO - Atoms: 93803/148224 Clauses: 40450 Axioms: 348160
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 281673 Tprops: 0 Decides: 4 RSplits: 0
INFO - Times: Expl: 49.58 Prop: 265.168 PropClause: 256.427 Set: 1182.203 Check: 0.001 Back: 4.279
INFO - Atoms: 93800/148224 Clauses: 40450 Axioms: 348160
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 375576 Tprops: 0 Decides: 5 RSplits: 0
INFO - Times: Expl: 57.536 Prop: 329.185 PropClause: 317.981 Set: 1192.274 Check: 0.001 Back: 6.445
INFO - Atoms: 93798/148224 Clauses: 40450 Axioms: 348160
INFO - Formula is unsat
INFO - Bitblasting DPLL finished