/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: 684669216
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 86631 Tprops: 0 Decides: 1 RSplits: 0
INFO - Times: Expl: 15.436 Prop: 109.784 PropClause: 106.381 Set: 25.713 Check: 0.0 Back: 0.003
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: 24.632 Prop: 166.315 PropClause: 160.03 Set: 34.965 Check: 0.0 Back: 2.032
INFO - Atoms: 86627/136960 Clauses: 37378 Axioms: 321536
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 260079 Tprops: 0 Decides: 3 RSplits: 0
INFO - Times: Expl: 33.416 Prop: 209.048 PropClause: 199.943 Set: 44.131 Check: 0.001 Back: 4.014
INFO - Atoms: 86625/136960 Clauses: 37378 Axioms: 321536
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 346796 Tprops: 0 Decides: 4 RSplits: 0
INFO - Times: Expl: 41.213 Prop: 250.985 PropClause: 239.637 Set: 71.075 Check: 0.002 Back: 5.993
INFO - Atoms: 86621/136960 Clauses: 37378 Axioms: 321536
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 433517 Tprops: 0 Decides: 5 RSplits: 0
INFO - Times: Expl: 48.809 Prop: 295.446 PropClause: 281.826 Set: 80.413 Check: 0.002 Back: 7.939
INFO - Atoms: 86623/136960 Clauses: 37378 Axioms: 321536
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 520230 Tprops: 0 Decides: 6 RSplits: 0
INFO - Times: Expl: 55.228 Prop: 338.022 PropClause: 322.183 Set: 89.296 Check: 0.002 Back: 9.967
INFO - Atoms: 86618/136960 Clauses: 37378 Axioms: 321536
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 606949 Tprops: 0 Decides: 7 RSplits: 0
INFO - Times: Expl: 62.304 Prop: 381.3 PropClause: 363.212 Set: 98.317 Check: 0.003 Back: 11.96
INFO - Atoms: 86621/136960 Clauses: 37378 Axioms: 321536
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 693658 Tprops: 0 Decides: 8 RSplits: 0
INFO - Times: Expl: 68.856 Prop: 424.851 PropClause: 404.535 Set: 107.448 Check: 0.003 Back: 13.999
INFO - Atoms: 86615/136960 Clauses: 37378 Axioms: 321536
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 780375 Tprops: 0 Decides: 9 RSplits: 0
INFO - Times: Expl: 75.733 Prop: 466.215 PropClause: 443.767 Set: 116.539 Check: 0.003 Back: 15.99
INFO - Atoms: 86619/136960 Clauses: 37378 Axioms: 321536
INFO - Formula is unsat
INFO - Bitblasting DPLL finished