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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 31457782
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 1335 Tprops: 0 Decides: 1 RSplits: 0
INFO - Times: Expl: 0.776 Prop: 0.522 PropClause: 0.46 Set: 2.384 Check: 0.0 Back: 0.002
INFO - Atoms: 1288/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 2752 Tprops: 0 Decides: 2 RSplits: 0
INFO - Times: Expl: 0.981 Prop: 0.816 PropClause: 0.708 Set: 2.787 Check: 0.0 Back: 0.074
INFO - Atoms: 1328/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 4167 Tprops: 0 Decides: 3 RSplits: 0
INFO - Times: Expl: 1.196 Prop: 1.111 PropClause: 0.933 Set: 3.028 Check: 0.0 Back: 0.106
INFO - Atoms: 1326/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 5576 Tprops: 0 Decides: 4 RSplits: 0
INFO - Times: Expl: 1.379 Prop: 1.362 PropClause: 1.14 Set: 3.256 Check: 0.0 Back: 0.138
INFO - Atoms: 1322/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 6985 Tprops: 0 Decides: 5 RSplits: 0
INFO - Times: Expl: 1.578 Prop: 1.648 PropClause: 1.356 Set: 3.514 Check: 0.0 Back: 0.17
INFO - Atoms: 1321/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 8388 Tprops: 0 Decides: 6 RSplits: 0
INFO - Times: Expl: 1.784 Prop: 1.941 PropClause: 1.573 Set: 3.766 Check: 0.0 Back: 0.202
INFO - Atoms: 1317/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 9793 Tprops: 0 Decides: 7 RSplits: 0
INFO - Times: Expl: 1.962 Prop: 2.196 PropClause: 1.785 Set: 4.003 Check: 0.0 Back: 0.235
INFO - Atoms: 1317/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 11190 Tprops: 0 Decides: 8 RSplits: 0
INFO - Times: Expl: 2.141 Prop: 2.5 PropClause: 2.039 Set: 4.245 Check: 0.0 Back: 0.266
INFO - Atoms: 1312/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 12589 Tprops: 0 Decides: 9 RSplits: 0
INFO - Times: Expl: 2.332 Prop: 2.789 PropClause: 2.284 Set: 4.492 Check: 0.0 Back: 0.298
INFO - Atoms: 1312/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 13980 Tprops: 0 Decides: 10 RSplits: 0
INFO - Times: Expl: 2.511 Prop: 3.068 PropClause: 2.52 Set: 4.823 Check: 0.0 Back: 0.33
INFO - Atoms: 1307/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 15375 Tprops: 0 Decides: 11 RSplits: 0
INFO - Times: Expl: 2.684 Prop: 3.358 PropClause: 2.759 Set: 5.113 Check: 0.0 Back: 0.362
INFO - Atoms: 1309/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 16764 Tprops: 0 Decides: 12 RSplits: 0
INFO - Times: Expl: 2.857 Prop: 3.65 PropClause: 3.009 Set: 5.443 Check: 0.0 Back: 0.394
INFO - Atoms: 1305/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 18153 Tprops: 0 Decides: 13 RSplits: 0
INFO - Times: Expl: 3.031 Prop: 3.929 PropClause: 3.246 Set: 5.774 Check: 0.0 Back: 0.425
INFO - Atoms: 1304/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 19534 Tprops: 0 Decides: 14 RSplits: 0
INFO - Times: Expl: 3.21 Prop: 4.205 PropClause: 3.48 Set: 6.064 Check: 0.0 Back: 0.457
INFO - Atoms: 1299/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 20917 Tprops: 0 Decides: 15 RSplits: 0
INFO - Times: Expl: 3.384 Prop: 4.49 PropClause: 3.723 Set: 6.362 Check: 0.0 Back: 0.489
INFO - Atoms: 1299/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 22296 Tprops: 0 Decides: 16 RSplits: 0
INFO - Times: Expl: 3.584 Prop: 4.837 PropClause: 3.991 Set: 6.756 Check: 0.0 Back: 0.521
INFO - Atoms: 1297/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 23675 Tprops: 0 Decides: 17 RSplits: 0
INFO - Times: Expl: 3.772 Prop: 5.189 PropClause: 4.299 Set: 7.153 Check: 0.0 Back: 0.552
INFO - Atoms: 1296/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 25044 Tprops: 0 Decides: 18 RSplits: 0
INFO - Times: Expl: 4.103 Prop: 5.5 PropClause: 4.566 Set: 7.483 Check: 0.0 Back: 0.583
INFO - Atoms: 1291/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 26427 Tprops: 0 Decides: 19 RSplits: 0
INFO - Times: Expl: 4.284 Prop: 5.844 PropClause: 4.828 Set: 7.794 Check: 0.0 Back: 0.614
INFO - Atoms: 1297/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 27794 Tprops: 0 Decides: 20 RSplits: 0
INFO - Times: Expl: 4.47 Prop: 6.222 PropClause: 5.145 Set: 8.122 Check: 0.0 Back: 0.646
INFO - Atoms: 1289/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 29173 Tprops: 0 Decides: 21 RSplits: 0
INFO - Times: Expl: 4.644 Prop: 6.525 PropClause: 5.394 Set: 8.392 Check: 0.0 Back: 0.678
INFO - Atoms: 1294/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 30538 Tprops: 0 Decides: 22 RSplits: 0
INFO - Times: Expl: 4.818 Prop: 6.803 PropClause: 5.618 Set: 8.647 Check: 0.001 Back: 0.71
INFO - Atoms: 1287/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 31917 Tprops: 0 Decides: 23 RSplits: 0
INFO - Times: Expl: 4.991 Prop: 7.078 PropClause: 5.84 Set: 8.806 Check: 0.001 Back: 0.741
INFO - Atoms: 1294/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 33278 Tprops: 0 Decides: 24 RSplits: 0
INFO - Times: Expl: 5.161 Prop: 7.351 PropClause: 6.063 Set: 8.938 Check: 0.001 Back: 0.772
INFO - Atoms: 1284/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 34653 Tprops: 0 Decides: 25 RSplits: 0
INFO - Times: Expl: 5.354 Prop: 7.666 PropClause: 6.311 Set: 9.075 Check: 0.001 Back: 0.804
INFO - Atoms: 1290/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 36006 Tprops: 0 Decides: 26 RSplits: 0
INFO - Times: Expl: 5.531 Prop: 8.082 PropClause: 6.542 Set: 9.209 Check: 0.001 Back: 0.836
INFO - Atoms: 1278/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 37375 Tprops: 0 Decides: 27 RSplits: 0
INFO - Times: Expl: 5.74 Prop: 8.348 PropClause: 6.756 Set: 9.365 Check: 0.001 Back: 0.866
INFO - Atoms: 1285/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 38722 Tprops: 0 Decides: 28 RSplits: 0
INFO - Times: Expl: 6.055 Prop: 8.626 PropClause: 6.982 Set: 9.505 Check: 0.001 Back: 0.897
INFO - Atoms: 1273/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 40089 Tprops: 0 Decides: 29 RSplits: 0
INFO - Times: Expl: 6.261 Prop: 8.877 PropClause: 7.19 Set: 9.645 Check: 0.001 Back: 0.93
INFO - Atoms: 1283/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 41432 Tprops: 0 Decides: 30 RSplits: 0
INFO - Times: Expl: 6.46 Prop: 9.149 PropClause: 7.409 Set: 9.784 Check: 0.001 Back: 0.968
INFO - Atoms: 1270/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 42793 Tprops: 0 Decides: 31 RSplits: 0
INFO - Times: Expl: 6.891 Prop: 9.411 PropClause: 7.624 Set: 9.921 Check: 0.001 Back: 1.0
INFO - Atoms: 1278/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 44130 Tprops: 0 Decides: 32 RSplits: 0
INFO - Times: Expl: 7.078 Prop: 9.685 PropClause: 7.845 Set: 10.063 Check: 0.001 Back: 1.032
INFO - Atoms: 1265/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 45487 Tprops: 0 Decides: 33 RSplits: 0
INFO - Times: Expl: 7.266 Prop: 9.962 PropClause: 8.077 Set: 10.287 Check: 0.001 Back: 1.063
INFO - Atoms: 1274/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 46820 Tprops: 0 Decides: 34 RSplits: 0
INFO - Times: Expl: 7.47 Prop: 10.25 PropClause: 8.327 Set: 10.51 Check: 0.001 Back: 1.094
INFO - Atoms: 1262/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 48175 Tprops: 0 Decides: 35 RSplits: 0
INFO - Times: Expl: 7.625 Prop: 10.541 PropClause: 8.582 Set: 10.727 Check: 0.001 Back: 1.126
INFO - Atoms: 1272/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 49504 Tprops: 0 Decides: 36 RSplits: 0
INFO - Times: Expl: 7.817 Prop: 10.816 PropClause: 8.823 Set: 10.942 Check: 0.001 Back: 1.158
INFO - Atoms: 1259/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 50859 Tprops: 0 Decides: 37 RSplits: 0
INFO - Times: Expl: 8.19 Prop: 11.1 PropClause: 9.069 Set: 11.176 Check: 0.001 Back: 1.188
INFO - Atoms: 1272/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 52188 Tprops: 0 Decides: 38 RSplits: 0
INFO - Times: Expl: 8.365 Prop: 11.372 PropClause: 9.306 Set: 11.413 Check: 0.001 Back: 1.218
INFO - Atoms: 1259/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 53543 Tprops: 0 Decides: 39 RSplits: 0
INFO - Times: Expl: 8.565 Prop: 11.69 PropClause: 9.588 Set: 11.63 Check: 0.001 Back: 1.249
INFO - Atoms: 1272/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 54868 Tprops: 0 Decides: 40 RSplits: 0
INFO - Times: Expl: 8.739 Prop: 11.962 PropClause: 9.825 Set: 11.826 Check: 0.001 Back: 1.279
INFO - Atoms: 1256/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 56221 Tprops: 0 Decides: 41 RSplits: 0
INFO - Times: Expl: 8.877 Prop: 12.205 PropClause: 10.032 Set: 11.955 Check: 0.001 Back: 1.309
INFO - Atoms: 1270/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 57544 Tprops: 0 Decides: 42 RSplits: 0
INFO - Times: Expl: 9.006 Prop: 12.443 PropClause: 10.236 Set: 12.08 Check: 0.001 Back: 1.339
INFO - Atoms: 1254/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 58893 Tprops: 0 Decides: 43 RSplits: 0
INFO - Times: Expl: 9.138 Prop: 12.691 PropClause: 10.45 Set: 12.209 Check: 0.001 Back: 1.37
INFO - Atoms: 1267/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 60216 Tprops: 0 Decides: 44 RSplits: 0
INFO - Times: Expl: 9.271 Prop: 12.929 PropClause: 10.654 Set: 12.336 Check: 0.002 Back: 1.401
INFO - Atoms: 1254/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 61561 Tprops: 0 Decides: 45 RSplits: 0
INFO - Times: Expl: 9.449 Prop: 13.174 PropClause: 10.864 Set: 12.462 Check: 0.002 Back: 1.431
INFO - Atoms: 1264/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 62882 Tprops: 0 Decides: 46 RSplits: 0
INFO - Times: Expl: 9.567 Prop: 13.427 PropClause: 11.083 Set: 12.587 Check: 0.002 Back: 1.462
INFO - Atoms: 1252/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 64227 Tprops: 0 Decides: 47 RSplits: 0
INFO - Times: Expl: 9.636 Prop: 13.676 PropClause: 11.297 Set: 12.715 Check: 0.002 Back: 1.493
INFO - Atoms: 1264/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 65546 Tprops: 0 Decides: 48 RSplits: 0
INFO - Times: Expl: 9.688 Prop: 13.915 PropClause: 11.502 Set: 12.839 Check: 0.002 Back: 1.523
INFO - Atoms: 1250/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 66984 Tprops: 0 Decides: 51 RSplits: 0
INFO - Times: Expl: 9.896 Prop: 14.2 PropClause: 11.749 Set: 12.963 Check: 0.002 Back: 1.556
INFO - Atoms: 1226/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 68460 Tprops: 0 Decides: 53 RSplits: 0
INFO - Times: Expl: 9.959 Prop: 14.477 PropClause: 11.988 Set: 13.097 Check: 0.002 Back: 1.589
INFO - Atoms: 1266/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 69932 Tprops: 0 Decides: 55 RSplits: 0
INFO - Times: Expl: 10.024 Prop: 14.764 PropClause: 12.235 Set: 13.232 Check: 0.002 Back: 1.622
INFO - Atoms: 1263/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 71402 Tprops: 0 Decides: 57 RSplits: 0
INFO - Times: Expl: 10.106 Prop: 15.053 PropClause: 12.486 Set: 13.369 Check: 0.002 Back: 1.656
INFO - Atoms: 1261/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 72747 Tprops: 0 Decides: 58 RSplits: 0
INFO - Times: Expl: 10.155 Prop: 15.3 PropClause: 12.692 Set: 13.497 Check: 0.002 Back: 1.687
INFO - Atoms: 1258/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 74090 Tprops: 0 Decides: 59 RSplits: 0
INFO - Times: Expl: 10.204 Prop: 15.541 PropClause: 12.892 Set: 13.632 Check: 0.002 Back: 1.717
INFO - Atoms: 1256/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 75433 Tprops: 0 Decides: 60 RSplits: 0
INFO - Times: Expl: 10.261 Prop: 15.782 PropClause: 13.097 Set: 13.762 Check: 0.002 Back: 1.749
INFO - Atoms: 1256/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 76772 Tprops: 0 Decides: 61 RSplits: 0
INFO - Times: Expl: 10.308 Prop: 16.013 PropClause: 13.294 Set: 13.89 Check: 0.002 Back: 1.779
INFO - Atoms: 1253/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 78113 Tprops: 0 Decides: 62 RSplits: 0
INFO - Times: Expl: 10.355 Prop: 16.248 PropClause: 13.494 Set: 14.017 Check: 0.002 Back: 1.81
INFO - Atoms: 1254/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 79450 Tprops: 0 Decides: 63 RSplits: 0
INFO - Times: Expl: 10.401 Prop: 16.479 PropClause: 13.69 Set: 14.144 Check: 0.002 Back: 1.84
INFO - Atoms: 1251/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 80787 Tprops: 0 Decides: 64 RSplits: 0
INFO - Times: Expl: 10.448 Prop: 16.709 PropClause: 13.887 Set: 14.271 Check: 0.002 Back: 1.87
INFO - Atoms: 1251/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 82122 Tprops: 0 Decides: 65 RSplits: 0
INFO - Times: Expl: 10.496 Prop: 16.939 PropClause: 14.083 Set: 14.397 Check: 0.002 Back: 1.9
INFO - Atoms: 1249/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 83455 Tprops: 0 Decides: 66 RSplits: 0
INFO - Times: Expl: 10.543 Prop: 17.177 PropClause: 14.287 Set: 14.526 Check: 0.002 Back: 1.93
INFO - Atoms: 1248/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 84788 Tprops: 0 Decides: 67 RSplits: 0
INFO - Times: Expl: 10.592 Prop: 17.425 PropClause: 14.486 Set: 14.654 Check: 0.002 Back: 1.961
INFO - Atoms: 1247/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 86115 Tprops: 0 Decides: 68 RSplits: 0
INFO - Times: Expl: 10.64 Prop: 17.687 PropClause: 14.692 Set: 14.778 Check: 0.002 Back: 1.991
INFO - Atoms: 1243/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 87444 Tprops: 0 Decides: 69 RSplits: 0
INFO - Times: Expl: 10.686 Prop: 17.918 PropClause: 14.89 Set: 14.902 Check: 0.002 Back: 2.021
INFO - Atoms: 1244/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 88769 Tprops: 0 Decides: 70 RSplits: 0
INFO - Times: Expl: 10.748 Prop: 18.159 PropClause: 15.096 Set: 15.031 Check: 0.002 Back: 2.051
INFO - Atoms: 1241/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 90090 Tprops: 0 Decides: 71 RSplits: 0
INFO - Times: Expl: 10.818 Prop: 18.392 PropClause: 15.295 Set: 15.157 Check: 0.003 Back: 2.081
INFO - Atoms: 1238/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 91413 Tprops: 0 Decides: 72 RSplits: 0
INFO - Times: Expl: 10.878 Prop: 18.634 PropClause: 15.5 Set: 15.282 Check: 0.003 Back: 2.11
INFO - Atoms: 1239/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 92734 Tprops: 0 Decides: 73 RSplits: 0
INFO - Times: Expl: 10.936 Prop: 18.872 PropClause: 15.7 Set: 15.406 Check: 0.003 Back: 2.14
INFO - Atoms: 1238/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 94053 Tprops: 0 Decides: 74 RSplits: 0
INFO - Times: Expl: 10.991 Prop: 19.103 PropClause: 15.898 Set: 15.532 Check: 0.003 Back: 2.17
INFO - Atoms: 1236/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 95370 Tprops: 0 Decides: 75 RSplits: 0
INFO - Times: Expl: 11.046 Prop: 19.332 PropClause: 16.094 Set: 15.657 Check: 0.003 Back: 2.199
INFO - Atoms: 1234/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 96683 Tprops: 0 Decides: 76 RSplits: 0
INFO - Times: Expl: 11.165 Prop: 19.566 PropClause: 16.294 Set: 15.784 Check: 0.003 Back: 2.229
INFO - Atoms: 1231/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 97992 Tprops: 0 Decides: 77 RSplits: 0
INFO - Times: Expl: 11.24 Prop: 19.796 PropClause: 16.492 Set: 15.907 Check: 0.003 Back: 2.258
INFO - Atoms: 1228/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 99301 Tprops: 0 Decides: 78 RSplits: 0
INFO - Times: Expl: 11.288 Prop: 20.03 PropClause: 16.693 Set: 16.03 Check: 0.003 Back: 2.287
INFO - Atoms: 1227/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 100604 Tprops: 0 Decides: 79 RSplits: 0
INFO - Times: Expl: 11.346 Prop: 20.269 PropClause: 16.899 Set: 16.153 Check: 0.003 Back: 2.317
INFO - Atoms: 1223/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 101907 Tprops: 0 Decides: 80 RSplits: 0
INFO - Times: Expl: 11.409 Prop: 20.525 PropClause: 17.121 Set: 16.346 Check: 0.003 Back: 2.346
INFO - Atoms: 1222/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 103204 Tprops: 0 Decides: 81 RSplits: 0
INFO - Times: Expl: 11.47 Prop: 20.779 PropClause: 17.342 Set: 16.533 Check: 0.003 Back: 2.376
INFO - Atoms: 1218/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 104503 Tprops: 0 Decides: 82 RSplits: 0
INFO - Times: Expl: 11.594 Prop: 21.045 PropClause: 17.576 Set: 16.729 Check: 0.003 Back: 2.405
INFO - Atoms: 1219/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 105798 Tprops: 0 Decides: 83 RSplits: 0
INFO - Times: Expl: 11.659 Prop: 21.309 PropClause: 17.806 Set: 16.929 Check: 0.003 Back: 2.434
INFO - Atoms: 1216/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 107093 Tprops: 0 Decides: 84 RSplits: 0
INFO - Times: Expl: 11.721 Prop: 21.561 PropClause: 18.024 Set: 17.117 Check: 0.003 Back: 2.464
INFO - Atoms: 1215/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 108380 Tprops: 0 Decides: 85 RSplits: 0
INFO - Times: Expl: 11.787 Prop: 21.824 PropClause: 18.254 Set: 17.312 Check: 0.003 Back: 2.493
INFO - Atoms: 1210/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 109669 Tprops: 0 Decides: 86 RSplits: 0
INFO - Times: Expl: 11.848 Prop: 22.102 PropClause: 18.499 Set: 17.512 Check: 0.003 Back: 2.523
INFO - Atoms: 1210/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 110950 Tprops: 0 Decides: 87 RSplits: 0
INFO - Times: Expl: 11.913 Prop: 22.362 PropClause: 18.727 Set: 17.701 Check: 0.003 Back: 2.551
INFO - Atoms: 1205/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 112233 Tprops: 0 Decides: 88 RSplits: 0
INFO - Times: Expl: 12.261 Prop: 22.622 PropClause: 18.955 Set: 17.891 Check: 0.003 Back: 2.58
INFO - Atoms: 1205/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 113508 Tprops: 0 Decides: 89 RSplits: 0
INFO - Times: Expl: 12.326 Prop: 22.874 PropClause: 19.174 Set: 18.079 Check: 0.003 Back: 2.609
INFO - Atoms: 1200/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 114787 Tprops: 0 Decides: 90 RSplits: 0
INFO - Times: Expl: 12.377 Prop: 23.132 PropClause: 19.4 Set: 18.254 Check: 0.003 Back: 2.638
INFO - Atoms: 1201/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 116056 Tprops: 0 Decides: 91 RSplits: 0
INFO - Times: Expl: 12.429 Prop: 23.417 PropClause: 19.652 Set: 18.432 Check: 0.003 Back: 2.668
INFO - Atoms: 1195/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 117329 Tprops: 0 Decides: 92 RSplits: 0
INFO - Times: Expl: 12.48 Prop: 23.726 PropClause: 19.928 Set: 18.607 Check: 0.003 Back: 2.697
INFO - Atoms: 1196/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 118592 Tprops: 0 Decides: 93 RSplits: 0
INFO - Times: Expl: 12.534 Prop: 23.975 PropClause: 20.146 Set: 18.78 Check: 0.003 Back: 2.726
INFO - Atoms: 1190/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 119857 Tprops: 0 Decides: 94 RSplits: 0
INFO - Times: Expl: 12.579 Prop: 24.22 PropClause: 20.359 Set: 18.954 Check: 0.003 Back: 2.755
INFO - Atoms: 1190/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 121114 Tprops: 0 Decides: 95 RSplits: 0
INFO - Times: Expl: 12.622 Prop: 24.457 PropClause: 20.564 Set: 19.131 Check: 0.003 Back: 2.783
INFO - Atoms: 1185/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 122373 Tprops: 0 Decides: 96 RSplits: 0
INFO - Times: Expl: 12.663 Prop: 24.698 PropClause: 20.773 Set: 19.305 Check: 0.004 Back: 2.811
INFO - Atoms: 1185/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 123626 Tprops: 0 Decides: 97 RSplits: 0
INFO - Times: Expl: 12.713 Prop: 24.948 PropClause: 20.991 Set: 19.478 Check: 0.004 Back: 2.84
INFO - Atoms: 1181/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 125162 Tprops: 0 Decides: 105 RSplits: 0
INFO - Times: Expl: 12.781 Prop: 25.268 PropClause: 21.271 Set: 19.595 Check: 0.004 Back: 2.875
INFO - Atoms: 1154/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 126571 Tprops: 0 Decides: 107 RSplits: 0
INFO - Times: Expl: 12.824 Prop: 25.544 PropClause: 21.511 Set: 19.721 Check: 0.004 Back: 2.906
INFO - Atoms: 1194/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 127978 Tprops: 0 Decides: 109 RSplits: 0
INFO - Times: Expl: 12.868 Prop: 25.807 PropClause: 21.738 Set: 19.844 Check: 0.004 Back: 2.938
INFO - Atoms: 1192/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 129381 Tprops: 0 Decides: 111 RSplits: 0
INFO - Times: Expl: 12.921 Prop: 26.076 PropClause: 21.972 Set: 19.969 Check: 0.004 Back: 2.97
INFO - Atoms: 1189/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 130656 Tprops: 0 Decides: 112 RSplits: 0
INFO - Times: Expl: 13.014 Prop: 26.307 PropClause: 22.171 Set: 20.091 Check: 0.004 Back: 2.999
INFO - Atoms: 1187/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 131925 Tprops: 0 Decides: 113 RSplits: 0
INFO - Times: Expl: 13.049 Prop: 26.527 PropClause: 22.359 Set: 20.21 Check: 0.004 Back: 3.027
INFO - Atoms: 1183/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 133196 Tprops: 0 Decides: 114 RSplits: 0
INFO - Times: Expl: 13.09 Prop: 26.752 PropClause: 22.551 Set: 20.329 Check: 0.004 Back: 3.056
INFO - Atoms: 1183/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 134457 Tprops: 0 Decides: 115 RSplits: 0
INFO - Times: Expl: 13.177 Prop: 26.974 PropClause: 22.742 Set: 20.445 Check: 0.004 Back: 3.085
INFO - Atoms: 1177/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 135724 Tprops: 0 Decides: 116 RSplits: 0
INFO - Times: Expl: 13.214 Prop: 27.195 PropClause: 22.932 Set: 20.561 Check: 0.004 Back: 3.113
INFO - Atoms: 1179/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 136979 Tprops: 0 Decides: 117 RSplits: 0
INFO - Times: Expl: 13.25 Prop: 27.41 PropClause: 23.115 Set: 20.677 Check: 0.004 Back: 3.142
INFO - Atoms: 1172/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 138238 Tprops: 0 Decides: 118 RSplits: 0
INFO - Times: Expl: 13.287 Prop: 27.627 PropClause: 23.301 Set: 20.795 Check: 0.004 Back: 3.17
INFO - Atoms: 1173/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 139489 Tprops: 0 Decides: 119 RSplits: 0
INFO - Times: Expl: 13.321 Prop: 27.844 PropClause: 23.486 Set: 20.91 Check: 0.004 Back: 3.199
INFO - Atoms: 1168/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 140742 Tprops: 0 Decides: 120 RSplits: 0
INFO - Times: Expl: 13.355 Prop: 28.062 PropClause: 23.673 Set: 21.024 Check: 0.004 Back: 3.228
INFO - Atoms: 1168/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 141987 Tprops: 0 Decides: 121 RSplits: 0
INFO - Times: Expl: 13.406 Prop: 28.281 PropClause: 23.861 Set: 21.14 Check: 0.004 Back: 3.256
INFO - Atoms: 1163/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 143232 Tprops: 0 Decides: 122 RSplits: 0
INFO - Times: Expl: 13.441 Prop: 28.5 PropClause: 24.049 Set: 21.254 Check: 0.004 Back: 3.284
INFO - Atoms: 1162/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 144471 Tprops: 0 Decides: 123 RSplits: 0
INFO - Times: Expl: 13.484 Prop: 28.719 PropClause: 24.237 Set: 21.367 Check: 0.004 Back: 3.312
INFO - Atoms: 1158/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 145710 Tprops: 0 Decides: 124 RSplits: 0
INFO - Times: Expl: 13.519 Prop: 28.936 PropClause: 24.421 Set: 21.482 Check: 0.004 Back: 3.341
INFO - Atoms: 1157/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 146945 Tprops: 0 Decides: 125 RSplits: 0
INFO - Times: Expl: 13.556 Prop: 29.15 PropClause: 24.605 Set: 21.595 Check: 0.004 Back: 3.369
INFO - Atoms: 1154/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 148176 Tprops: 0 Decides: 126 RSplits: 0
INFO - Times: Expl: 13.589 Prop: 29.367 PropClause: 24.79 Set: 21.707 Check: 0.004 Back: 3.397
INFO - Atoms: 1151/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 149405 Tprops: 0 Decides: 127 RSplits: 0
INFO - Times: Expl: 13.624 Prop: 29.581 PropClause: 24.974 Set: 21.825 Check: 0.004 Back: 3.424
INFO - Atoms: 1149/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 150630 Tprops: 0 Decides: 128 RSplits: 0
INFO - Times: Expl: 13.66 Prop: 29.793 PropClause: 25.155 Set: 21.936 Check: 0.005 Back: 3.452
INFO - Atoms: 1146/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 151853 Tprops: 0 Decides: 129 RSplits: 0
INFO - Times: Expl: 13.7 Prop: 30.016 PropClause: 25.346 Set: 22.047 Check: 0.005 Back: 3.485
INFO - Atoms: 1144/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 153076 Tprops: 0 Decides: 130 RSplits: 0
INFO - Times: Expl: 13.733 Prop: 30.226 PropClause: 25.526 Set: 22.157 Check: 0.005 Back: 3.512
INFO - Atoms: 1144/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 154297 Tprops: 0 Decides: 131 RSplits: 0
INFO - Times: Expl: 13.774 Prop: 30.441 PropClause: 25.71 Set: 22.269 Check: 0.005 Back: 3.54
INFO - Atoms: 1142/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 155512 Tprops: 0 Decides: 132 RSplits: 0
INFO - Times: Expl: 13.814 Prop: 30.66 PropClause: 25.899 Set: 22.378 Check: 0.005 Back: 3.567
INFO - Atoms: 1138/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 156731 Tprops: 0 Decides: 133 RSplits: 0
INFO - Times: Expl: 13.851 Prop: 30.875 PropClause: 26.082 Set: 22.488 Check: 0.005 Back: 3.595
INFO - Atoms: 1140/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 157942 Tprops: 0 Decides: 134 RSplits: 0
INFO - Times: Expl: 13.885 Prop: 31.096 PropClause: 26.273 Set: 22.595 Check: 0.005 Back: 3.622
INFO - Atoms: 1135/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 159155 Tprops: 0 Decides: 135 RSplits: 0
INFO - Times: Expl: 13.925 Prop: 31.323 PropClause: 26.47 Set: 22.706 Check: 0.005 Back: 3.65
INFO - Atoms: 1135/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 160360 Tprops: 0 Decides: 136 RSplits: 0
INFO - Times: Expl: 13.96 Prop: 31.532 PropClause: 26.649 Set: 22.814 Check: 0.005 Back: 3.677
INFO - Atoms: 1130/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 161571 Tprops: 0 Decides: 137 RSplits: 0
INFO - Times: Expl: 13.996 Prop: 31.747 PropClause: 26.834 Set: 22.923 Check: 0.005 Back: 3.704
INFO - Atoms: 1133/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 162776 Tprops: 0 Decides: 138 RSplits: 0
INFO - Times: Expl: 14.187 Prop: 31.974 PropClause: 27.028 Set: 23.033 Check: 0.005 Back: 3.731
INFO - Atoms: 1130/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 163983 Tprops: 0 Decides: 139 RSplits: 0
INFO - Times: Expl: 14.232 Prop: 32.187 PropClause: 27.212 Set: 23.141 Check: 0.005 Back: 3.759
INFO - Atoms: 1130/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 165186 Tprops: 0 Decides: 140 RSplits: 0
INFO - Times: Expl: 14.261 Prop: 32.402 PropClause: 27.397 Set: 23.248 Check: 0.005 Back: 3.786
INFO - Atoms: 1128/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 166393 Tprops: 0 Decides: 141 RSplits: 0
INFO - Times: Expl: 14.29 Prop: 32.614 PropClause: 27.579 Set: 23.356 Check: 0.005 Back: 3.813
INFO - Atoms: 1130/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 167594 Tprops: 0 Decides: 142 RSplits: 0
INFO - Times: Expl: 14.319 Prop: 32.827 PropClause: 27.761 Set: 23.462 Check: 0.005 Back: 3.84
INFO - Atoms: 1126/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 168797 Tprops: 0 Decides: 143 RSplits: 0
INFO - Times: Expl: 14.349 Prop: 33.04 PropClause: 27.944 Set: 23.572 Check: 0.005 Back: 3.869
INFO - Atoms: 1127/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 169994 Tprops: 0 Decides: 144 RSplits: 0
INFO - Times: Expl: 14.388 Prop: 33.25 PropClause: 28.125 Set: 23.679 Check: 0.005 Back: 3.896
INFO - Atoms: 1123/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 171195 Tprops: 0 Decides: 145 RSplits: 0
INFO - Times: Expl: 14.417 Prop: 33.465 PropClause: 28.309 Set: 23.786 Check: 0.005 Back: 3.923
INFO - Atoms: 1125/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 172390 Tprops: 0 Decides: 146 RSplits: 0
INFO - Times: Expl: 14.446 Prop: 33.68 PropClause: 28.494 Set: 23.891 Check: 0.005 Back: 3.95
INFO - Atoms: 1121/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 173587 Tprops: 0 Decides: 147 RSplits: 0
INFO - Times: Expl: 14.485 Prop: 33.894 PropClause: 28.679 Set: 23.998 Check: 0.005 Back: 3.977
INFO - Atoms: 1122/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 174778 Tprops: 0 Decides: 148 RSplits: 0
INFO - Times: Expl: 14.514 Prop: 34.109 PropClause: 28.864 Set: 24.103 Check: 0.005 Back: 4.004
INFO - Atoms: 1118/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 175969 Tprops: 0 Decides: 149 RSplits: 0
INFO - Times: Expl: 14.543 Prop: 34.324 PropClause: 29.049 Set: 24.208 Check: 0.005 Back: 4.031
INFO - Atoms: 1117/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 177158 Tprops: 0 Decides: 150 RSplits: 0
INFO - Times: Expl: 14.572 Prop: 34.54 PropClause: 29.236 Set: 24.314 Check: 0.005 Back: 4.057
INFO - Atoms: 1116/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 178349 Tprops: 0 Decides: 151 RSplits: 0
INFO - Times: Expl: 14.601 Prop: 34.753 PropClause: 29.419 Set: 24.418 Check: 0.005 Back: 4.084
INFO - Atoms: 1117/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 180028 Tprops: 0 Decides: 163 RSplits: 0
INFO - Times: Expl: 14.683 Prop: 35.122 PropClause: 29.744 Set: 24.529 Check: 0.005 Back: 4.123
INFO - Atoms: 1088/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 181370 Tprops: 0 Decides: 165 RSplits: 0
INFO - Times: Expl: 14.721 Prop: 35.397 PropClause: 29.985 Set: 24.639 Check: 0.006 Back: 4.153
INFO - Atoms: 1129/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 182712 Tprops: 0 Decides: 167 RSplits: 0
INFO - Times: Expl: 14.759 Prop: 35.66 PropClause: 30.214 Set: 24.748 Check: 0.006 Back: 4.183
INFO - Atoms: 1129/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 184048 Tprops: 0 Decides: 169 RSplits: 0
INFO - Times: Expl: 14.797 Prop: 35.92 PropClause: 30.441 Set: 24.856 Check: 0.006 Back: 4.219
INFO - Atoms: 1125/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 185255 Tprops: 0 Decides: 170 RSplits: 0
INFO - Times: Expl: 14.825 Prop: 36.137 PropClause: 30.628 Set: 24.961 Check: 0.006 Back: 4.246
INFO - Atoms: 1121/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 186460 Tprops: 0 Decides: 171 RSplits: 0
INFO - Times: Expl: 14.853 Prop: 36.35 PropClause: 30.81 Set: 25.065 Check: 0.006 Back: 4.273
INFO - Atoms: 1119/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 187665 Tprops: 0 Decides: 172 RSplits: 0
INFO - Times: Expl: 14.882 Prop: 36.566 PropClause: 30.997 Set: 25.168 Check: 0.006 Back: 4.3
INFO - Atoms: 1119/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 188864 Tprops: 0 Decides: 173 RSplits: 0
INFO - Times: Expl: 14.91 Prop: 36.779 PropClause: 31.179 Set: 25.271 Check: 0.006 Back: 4.327
INFO - Atoms: 1115/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 190061 Tprops: 0 Decides: 174 RSplits: 0
INFO - Times: Expl: 14.938 Prop: 36.992 PropClause: 31.363 Set: 25.374 Check: 0.006 Back: 4.354
INFO - Atoms: 1113/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 191262 Tprops: 0 Decides: 175 RSplits: 0
INFO - Times: Expl: 14.967 Prop: 37.205 PropClause: 31.546 Set: 25.478 Check: 0.006 Back: 4.381
INFO - Atoms: 1115/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 192455 Tprops: 0 Decides: 176 RSplits: 0
INFO - Times: Expl: 14.996 Prop: 37.425 PropClause: 31.735 Set: 25.582 Check: 0.006 Back: 4.408
INFO - Atoms: 1110/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 193650 Tprops: 0 Decides: 177 RSplits: 0
INFO - Times: Expl: 15.114 Prop: 37.644 PropClause: 31.924 Set: 25.687 Check: 0.006 Back: 4.436
INFO - Atoms: 1110/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 194835 Tprops: 0 Decides: 178 RSplits: 0
INFO - Times: Expl: 15.142 Prop: 37.857 PropClause: 32.107 Set: 25.789 Check: 0.006 Back: 4.463
INFO - Atoms: 1104/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 196026 Tprops: 0 Decides: 179 RSplits: 0
INFO - Times: Expl: 15.171 Prop: 38.072 PropClause: 32.292 Set: 25.898 Check: 0.006 Back: 4.489
INFO - Atoms: 1107/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 197207 Tprops: 0 Decides: 180 RSplits: 0
INFO - Times: Expl: 15.199 Prop: 38.287 PropClause: 32.477 Set: 25.997 Check: 0.006 Back: 4.516
INFO - Atoms: 1101/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 198390 Tprops: 0 Decides: 181 RSplits: 0
INFO - Times: Expl: 15.227 Prop: 38.495 PropClause: 32.655 Set: 26.098 Check: 0.006 Back: 4.542
INFO - Atoms: 1101/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 199563 Tprops: 0 Decides: 182 RSplits: 0
INFO - Times: Expl: 15.255 Prop: 38.705 PropClause: 32.836 Set: 26.198 Check: 0.006 Back: 4.569
INFO - Atoms: 1095/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 200736 Tprops: 0 Decides: 183 RSplits: 0
INFO - Times: Expl: 15.283 Prop: 38.925 PropClause: 33.026 Set: 26.3 Check: 0.006 Back: 4.595
INFO - Atoms: 1095/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 201915 Tprops: 0 Decides: 184 RSplits: 0
INFO - Times: Expl: 15.311 Prop: 39.138 PropClause: 33.209 Set: 26.4 Check: 0.006 Back: 4.622
INFO - Atoms: 1097/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 203080 Tprops: 0 Decides: 185 RSplits: 0
INFO - Times: Expl: 15.339 Prop: 39.347 PropClause: 33.389 Set: 26.498 Check: 0.006 Back: 4.65
INFO - Atoms: 1089/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 204243 Tprops: 0 Decides: 186 RSplits: 0
INFO - Times: Expl: 15.367 Prop: 39.553 PropClause: 33.567 Set: 26.597 Check: 0.006 Back: 4.676
INFO - Atoms: 1087/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 205416 Tprops: 0 Decides: 187 RSplits: 0
INFO - Times: Expl: 15.406 Prop: 39.765 PropClause: 33.749 Set: 26.697 Check: 0.006 Back: 4.703
INFO - Atoms: 1091/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 206567 Tprops: 0 Decides: 188 RSplits: 0
INFO - Times: Expl: 15.446 Prop: 39.977 PropClause: 33.932 Set: 26.794 Check: 0.006 Back: 4.729
INFO - Atoms: 1079/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 207718 Tprops: 0 Decides: 189 RSplits: 0
INFO - Times: Expl: 15.473 Prop: 40.18 PropClause: 34.106 Set: 26.891 Check: 0.006 Back: 4.755
INFO - Atoms: 1078/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 208877 Tprops: 0 Decides: 190 RSplits: 0
INFO - Times: Expl: 15.499 Prop: 40.388 PropClause: 34.286 Set: 26.989 Check: 0.006 Back: 4.781
INFO - Atoms: 1081/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 210022 Tprops: 0 Decides: 191 RSplits: 0
INFO - Times: Expl: 15.526 Prop: 40.593 PropClause: 34.462 Set: 27.086 Check: 0.006 Back: 4.807
INFO - Atoms: 1073/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 211159 Tprops: 0 Decides: 192 RSplits: 0
INFO - Times: Expl: 15.552 Prop: 40.798 PropClause: 34.639 Set: 27.181 Check: 0.006 Back: 4.833
INFO - Atoms: 1068/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 212310 Tprops: 0 Decides: 193 RSplits: 0
INFO - Times: Expl: 15.579 Prop: 41.001 PropClause: 34.813 Set: 27.279 Check: 0.006 Back: 4.859
INFO - Atoms: 1074/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 213441 Tprops: 0 Decides: 194 RSplits: 0
INFO - Times: Expl: 15.605 Prop: 41.206 PropClause: 34.989 Set: 27.374 Check: 0.006 Back: 4.885
INFO - Atoms: 1063/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 214562 Tprops: 0 Decides: 195 RSplits: 0
INFO - Times: Expl: 15.63 Prop: 41.405 PropClause: 35.16 Set: 27.467 Check: 0.006 Back: 4.91
INFO - Atoms: 1057/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 215713 Tprops: 0 Decides: 196 RSplits: 0
INFO - Times: Expl: 15.657 Prop: 41.607 PropClause: 35.333 Set: 27.563 Check: 0.006 Back: 4.938
INFO - Atoms: 1072/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 216832 Tprops: 0 Decides: 197 RSplits: 0
INFO - Times: Expl: 15.683 Prop: 41.808 PropClause: 35.506 Set: 27.657 Check: 0.006 Back: 4.963
INFO - Atoms: 1055/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 217957 Tprops: 0 Decides: 198 RSplits: 0
INFO - Times: Expl: 15.717 Prop: 42.006 PropClause: 35.677 Set: 27.75 Check: 0.006 Back: 4.988
INFO - Atoms: 1058/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 219098 Tprops: 0 Decides: 199 RSplits: 0
INFO - Times: Expl: 15.744 Prop: 42.21 PropClause: 35.851 Set: 27.847 Check: 0.006 Back: 5.014
INFO - Atoms: 1065/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 220209 Tprops: 0 Decides: 200 RSplits: 0
INFO - Times: Expl: 15.77 Prop: 42.415 PropClause: 36.025 Set: 27.939 Check: 0.006 Back: 5.039
INFO - Atoms: 1049/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 221326 Tprops: 0 Decides: 201 RSplits: 0
INFO - Times: Expl: 15.796 Prop: 42.613 PropClause: 36.194 Set: 28.03 Check: 0.007 Back: 5.064
INFO - Atoms: 1052/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 222461 Tprops: 0 Decides: 202 RSplits: 0
INFO - Times: Expl: 15.822 Prop: 42.813 PropClause: 36.366 Set: 28.126 Check: 0.007 Back: 5.089
INFO - Atoms: 1060/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 223574 Tprops: 0 Decides: 203 RSplits: 0
INFO - Times: Expl: 15.882 Prop: 43.032 PropClause: 36.557 Set: 28.223 Check: 0.007 Back: 5.116
INFO - Atoms: 1051/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 224689 Tprops: 0 Decides: 204 RSplits: 0
INFO - Times: Expl: 15.937 Prop: 43.235 PropClause: 36.731 Set: 28.316 Check: 0.007 Back: 5.173
INFO - Atoms: 1052/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 225826 Tprops: 0 Decides: 205 RSplits: 0
INFO - Times: Expl: 15.986 Prop: 43.438 PropClause: 36.907 Set: 28.413 Check: 0.007 Back: 5.23
INFO - Atoms: 1062/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 226927 Tprops: 0 Decides: 206 RSplits: 0
INFO - Times: Expl: 16.015 Prop: 43.641 PropClause: 37.082 Set: 28.506 Check: 0.007 Back: 5.286
INFO - Atoms: 1043/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 228036 Tprops: 0 Decides: 207 RSplits: 0
INFO - Times: Expl: 16.041 Prop: 43.837 PropClause: 37.251 Set: 28.599 Check: 0.007 Back: 5.31
INFO - Atoms: 1047/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 229167 Tprops: 0 Decides: 208 RSplits: 0
INFO - Times: Expl: 16.068 Prop: 44.044 PropClause: 37.429 Set: 28.699 Check: 0.007 Back: 5.336
INFO - Atoms: 1057/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 230264 Tprops: 0 Decides: 209 RSplits: 0
INFO - Times: Expl: 16.093 Prop: 44.241 PropClause: 37.598 Set: 28.79 Check: 0.007 Back: 5.361
INFO - Atoms: 1039/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 231357 Tprops: 0 Decides: 210 RSplits: 0
INFO - Times: Expl: 16.118 Prop: 44.433 PropClause: 37.763 Set: 28.88 Check: 0.007 Back: 5.385
INFO - Atoms: 1036/1964 Clauses: 538 Axioms: 4608
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 277 Props: 4071 Tprops: 0 Decides: 28828 RSplits: 0
INFO - Times: Expl: 30.71 Prop: 398.311 PropClause: 2.564 Set: 1541.097 Check: 3.001 Back: 46.528
INFO - Atoms: 63/581 Clauses: 277 Axioms: 750
INFO - CCTimes: iE 0 eq 7627273 cc 1152760 setRep 2519628
INFO - Merges: 23420, cc:0
INFO - BVTimes: BB 31450438 BB_DPLL 239069912 Graph 667790
INFO - BitBlastingClauses: 101624 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat