/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/brummayerbiere/nlzbs032.smt2 -------------------------------------------------------------------------------- INFO - Starting Bitblasting INFO - Finished Bitblasting in: 112681479 INFO - Bitblasting DPLL: INFO - Confl: 1 Props: 755 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.601 Prop: 20.425 PropClause: 20.205 Set: 5.841 Check: 0.0 Back: 0.0 INFO - Atoms: 755/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2 Props: 4132 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.642 Prop: 22.182 PropClause: 21.789 Set: 7.852 Check: 0.0 Back: 0.034 INFO - Atoms: 3377/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3 Props: 7614 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.678 Prop: 24.644 PropClause: 24.107 Set: 9.873 Check: 0.0 Back: 0.124 INFO - Atoms: 3482/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 4 Props: 11008 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.718 Prop: 27.244 PropClause: 26.561 Set: 11.846 Check: 0.0 Back: 0.216 INFO - Atoms: 3394/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 5 Props: 14402 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.753 Prop: 29.171 PropClause: 28.346 Set: 13.686 Check: 0.0 Back: 0.308 INFO - Atoms: 3394/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 6 Props: 17796 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.787 Prop: 32.667 PropClause: 30.014 Set: 15.408 Check: 0.0 Back: 0.397 INFO - Atoms: 3394/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 7 Props: 21207 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.823 Prop: 33.993 PropClause: 31.162 Set: 17.277 Check: 0.0 Back: 0.486 INFO - Atoms: 3411/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 8 Props: 24828 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.858 Prop: 35.508 PropClause: 32.491 Set: 19.457 Check: 0.0 Back: 0.572 INFO - Atoms: 3621/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 9 Props: 28397 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.893 Prop: 36.892 PropClause: 33.704 Set: 21.622 Check: 0.0 Back: 0.666 INFO - Atoms: 3569/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10 Props: 31771 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.932 Prop: 39.012 PropClause: 35.598 Set: 29.361 Check: 0.0 Back: 0.759 INFO - Atoms: 3374/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11 Props: 35150 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.955 Prop: 40.768 PropClause: 37.127 Set: 36.718 Check: 0.0 Back: 0.848 INFO - Atoms: 3379/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 12 Props: 38532 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.997 Prop: 42.288 PropClause: 38.494 Set: 37.415 Check: 0.0 Back: 0.939 INFO - Atoms: 3382/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 13 Props: 41917 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.041 Prop: 43.629 PropClause: 39.685 Set: 38.076 Check: 0.0 Back: 1.028 INFO - Atoms: 3385/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 14 Props: 45312 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.086 Prop: 45.023 PropClause: 40.921 Set: 38.732 Check: 0.0 Back: 1.121 INFO - Atoms: 3395/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 15 Props: 48710 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.151 Prop: 46.387 PropClause: 42.08 Set: 39.367 Check: 0.0 Back: 1.209 INFO - Atoms: 3398/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 16 Props: 52133 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.193 Prop: 47.913 PropClause: 43.407 Set: 40.047 Check: 0.0 Back: 1.3 INFO - Atoms: 3423/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 17 Props: 55618 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.244 Prop: 49.593 PropClause: 44.889 Set: 40.729 Check: 0.0 Back: 1.393 INFO - Atoms: 3485/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 18 Props: 59088 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.281 Prop: 50.706 PropClause: 45.806 Set: 41.431 Check: 0.0 Back: 1.488 INFO - Atoms: 3470/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 19 Props: 62475 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.309 Prop: 51.656 PropClause: 46.53 Set: 42.086 Check: 0.0 Back: 1.567 INFO - Atoms: 3387/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 20 Props: 65859 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.341 Prop: 52.726 PropClause: 47.397 Set: 42.739 Check: 0.0 Back: 1.655 INFO - Atoms: 3384/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21 Props: 69326 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.381 Prop: 54.31 PropClause: 48.574 Set: 43.446 Check: 0.0 Back: 1.742 INFO - Atoms: 3467/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 22 Props: 72732 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.417 Prop: 55.267 PropClause: 49.403 Set: 44.296 Check: 0.0 Back: 1.833 INFO - Atoms: 3406/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 23 Props: 76190 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.462 Prop: 56.703 PropClause: 50.688 Set: 45.408 Check: 0.0 Back: 1.92 INFO - Atoms: 3458/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24 Props: 79685 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.528 Prop: 57.684 PropClause: 51.569 Set: 46.312 Check: 0.0 Back: 2.007 INFO - Atoms: 3495/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 25 Props: 83149 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.595 Prop: 58.767 PropClause: 52.553 Set: 47.192 Check: 0.0 Back: 2.093 INFO - Atoms: 3464/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 26 Props: 86620 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.646 Prop: 60.559 PropClause: 54.222 Set: 48.315 Check: 0.0 Back: 2.171 INFO - Atoms: 3471/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 27 Props: 90033 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.691 Prop: 61.829 PropClause: 55.37 Set: 49.408 Check: 0.0 Back: 2.259 INFO - Atoms: 3413/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 28 Props: 93455 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.723 Prop: 62.802 PropClause: 56.214 Set: 50.468 Check: 0.0 Back: 2.346 INFO - Atoms: 3422/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 29 Props: 97007 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.762 Prop: 64.003 PropClause: 57.288 Set: 51.584 Check: 0.0 Back: 2.432 INFO - Atoms: 3552/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 30 Props: 100492 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.793 Prop: 64.955 PropClause: 58.118 Set: 52.295 Check: 0.0 Back: 2.524 INFO - Atoms: 3485/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 31 Props: 104012 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.863 Prop: 66.234 PropClause: 59.273 Set: 53.015 Check: 0.0 Back: 2.612 INFO - Atoms: 3520/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 32 Props: 107363 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.905 Prop: 67.553 PropClause: 60.474 Set: 53.689 Check: 0.0 Back: 2.701 INFO - Atoms: 3351/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 33 Props: 110738 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.947 Prop: 68.903 PropClause: 61.707 Set: 54.355 Check: 0.0 Back: 2.786 INFO - Atoms: 3375/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 34 Props: 114170 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.982 Prop: 70.03 PropClause: 62.712 Set: 55.046 Check: 0.0 Back: 2.87 INFO - Atoms: 3432/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 35 Props: 118210 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.033 Prop: 71.891 PropClause: 64.429 Set: 55.954 Check: 0.0 Back: 2.955 INFO - Atoms: 4040/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 36 Props: 122257 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.075 Prop: 73.718 PropClause: 66.112 Set: 56.818 Check: 0.0 Back: 3.058 INFO - Atoms: 4047/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 37 Props: 126607 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.103 Prop: 74.748 PropClause: 67.018 Set: 57.594 Check: 0.0 Back: 3.162 INFO - Atoms: 4350/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 38 Props: 130840 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.157 Prop: 75.959 PropClause: 68.109 Set: 58.338 Check: 0.0 Back: 3.262 INFO - Atoms: 4233/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 39 Props: 135158 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.188 Prop: 77.278 PropClause: 69.303 Set: 59.127 Check: 0.0 Back: 3.367 INFO - Atoms: 4318/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 40 Props: 139783 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.251 Prop: 78.781 PropClause: 70.67 Set: 60.011 Check: 0.0 Back: 3.465 INFO - Atoms: 4625/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 41 Props: 144528 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.375 Prop: 80.671 PropClause: 72.424 Set: 60.915 Check: 0.0 Back: 3.582 INFO - Atoms: 4745/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 42 Props: 149404 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.395 Prop: 82.609 PropClause: 74.221 Set: 61.853 Check: 0.0 Back: 3.702 INFO - Atoms: 4876/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 43 Props: 154346 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.414 Prop: 84.603 PropClause: 76.071 Set: 62.822 Check: 0.0 Back: 3.825 INFO - Atoms: 4942/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 44 Props: 159305 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.454 Prop: 86.857 PropClause: 78.18 Set: 63.793 Check: 0.0 Back: 3.948 INFO - Atoms: 4959/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 45 Props: 162502 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.475 Prop: 89.035 PropClause: 80.261 Set: 64.362 Check: 0.0 Back: 4.07 INFO - Atoms: 3197/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 46 Props: 165698 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.492 Prop: 89.899 PropClause: 81.021 Set: 64.871 Check: 0.0 Back: 4.143 INFO - Atoms: 3196/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 47 Props: 168894 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.509 Prop: 90.731 PropClause: 81.762 Set: 65.38 Check: 0.0 Back: 4.215 INFO - Atoms: 3196/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 48 Props: 173798 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.531 Prop: 93.063 PropClause: 83.921 Set: 66.596 Check: 0.0 Back: 4.288 INFO - Atoms: 4904/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 49 Props: 178972 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.558 Prop: 95.521 PropClause: 86.229 Set: 67.621 Check: 0.0 Back: 4.414 INFO - Atoms: 5174/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 50 Props: 184365 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.574 Prop: 97.364 PropClause: 87.919 Set: 68.667 Check: 0.0 Back: 4.532 INFO - Atoms: 5393/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 51 Props: 189915 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.602 Prop: 99.159 PropClause: 89.554 Set: 69.772 Check: 0.0 Back: 4.653 INFO - Atoms: 5550/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 52 Props: 193046 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.617 Prop: 100.672 PropClause: 90.977 Set: 70.27 Check: 0.0 Back: 4.792 INFO - Atoms: 3131/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 53 Props: 196688 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.629 Prop: 101.395 PropClause: 91.598 Set: 70.886 Check: 0.0 Back: 4.865 INFO - Atoms: 3642/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 54 Props: 201377 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.646 Prop: 102.856 PropClause: 92.925 Set: 71.777 Check: 0.0 Back: 4.952 INFO - Atoms: 4689/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 55 Props: 206331 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.665 Prop: 104.595 PropClause: 94.522 Set: 72.721 Check: 0.0 Back: 5.06 INFO - Atoms: 4954/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 56 Props: 210420 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.684 Prop: 106.503 PropClause: 96.311 Set: 73.468 Check: 0.0 Back: 5.175 INFO - Atoms: 4089/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 57 Props: 216007 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.704 Prop: 108.576 PropClause: 98.224 Set: 74.583 Check: 0.0 Back: 5.268 INFO - Atoms: 5587/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 58 Props: 221567 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.722 Prop: 111.061 PropClause: 100.549 Set: 75.682 Check: 0.0 Back: 5.397 INFO - Atoms: 5560/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 59 Props: 227203 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.742 Prop: 113.982 PropClause: 103.306 Set: 76.843 Check: 0.0 Back: 5.523 INFO - Atoms: 5636/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 60 Props: 232872 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.788 Prop: 116.245 PropClause: 105.403 Set: 78.003 Check: 0.0 Back: 5.668 INFO - Atoms: 5669/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 61 Props: 238721 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.862 Prop: 119.174 PropClause: 108.165 Set: 79.16 Check: 0.0 Back: 5.809 INFO - Atoms: 5849/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 62 Props: 244681 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.883 Prop: 123.186 PropClause: 112.003 Set: 80.382 Check: 0.0 Back: 5.955 INFO - Atoms: 5960/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 63 Props: 250749 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.905 Prop: 125.94 PropClause: 114.582 Set: 81.614 Check: 0.0 Back: 6.108 INFO - Atoms: 6068/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 64 Props: 256788 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.949 Prop: 128.061 PropClause: 116.528 Set: 82.832 Check: 0.0 Back: 6.249 INFO - Atoms: 6039/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 65 Props: 259700 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.984 Prop: 129.189 PropClause: 117.574 Set: 83.288 Check: 0.0 Back: 6.39 INFO - Atoms: 2912/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 66 Props: 265803 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.998 Prop: 130.763 PropClause: 118.974 Set: 84.513 Check: 0.0 Back: 6.461 INFO - Atoms: 6103/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 67 Props: 271994 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.026 Prop: 132.813 PropClause: 120.845 Set: 85.766 Check: 0.0 Back: 6.614 INFO - Atoms: 6191/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 68 Props: 278240 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.041 Prop: 136.261 PropClause: 124.117 Set: 87.453 Check: 0.0 Back: 6.754 INFO - Atoms: 6246/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 69 Props: 284570 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.057 Prop: 139.236 PropClause: 126.913 Set: 89.177 Check: 0.0 Back: 6.897 INFO - Atoms: 6330/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 70 Props: 291003 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.104 Prop: 142.892 PropClause: 130.388 Set: 90.964 Check: 0.0 Back: 7.06 INFO - Atoms: 6433/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 71 Props: 297500 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.148 Prop: 146.4 PropClause: 133.712 Set: 92.785 Check: 0.0 Back: 7.22 INFO - Atoms: 6497/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 72 Props: 304057 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.163 Prop: 150.547 PropClause: 137.674 Set: 94.618 Check: 0.0 Back: 7.384 INFO - Atoms: 6557/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 73 Props: 310690 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.181 Prop: 154.78 PropClause: 141.72 Set: 96.504 Check: 0.0 Back: 7.554 INFO - Atoms: 6633/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 74 Props: 317385 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.197 Prop: 158.208 PropClause: 144.957 Set: 98.359 Check: 0.0 Back: 7.723 INFO - Atoms: 6695/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 75 Props: 324156 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.214 Prop: 162.986 PropClause: 149.543 Set: 100.32 Check: 0.0 Back: 7.893 INFO - Atoms: 6771/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 76 Props: 331026 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.232 Prop: 166.749 PropClause: 153.113 Set: 102.233 Check: 0.0 Back: 8.066 INFO - Atoms: 6870/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 77 Props: 337956 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.247 Prop: 169.783 PropClause: 155.95 Set: 104.149 Check: 0.0 Back: 8.236 INFO - Atoms: 6930/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 78 Props: 344955 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.26 Prop: 172.864 PropClause: 158.832 Set: 106.064 Check: 0.0 Back: 8.411 INFO - Atoms: 6999/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 79 Props: 351972 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.275 Prop: 175.861 PropClause: 161.631 Set: 107.994 Check: 0.0 Back: 8.587 INFO - Atoms: 7017/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 80 Props: 360433 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.294 Prop: 179.755 PropClause: 165.28 Set: 110.403 Check: 0.0 Back: 8.77 INFO - Atoms: 8461/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 81 Props: 362705 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.316 Prop: 184.37 PropClause: 169.83 Set: 111.013 Check: 0.0 Back: 8.993 INFO - Atoms: 2272/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 82 Props: 364776 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.332 Prop: 184.904 PropClause: 170.304 Set: 111.514 Check: 0.0 Back: 9.044 INFO - Atoms: 2071/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 83 Props: 368488 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.35 Prop: 186.831 PropClause: 172.097 Set: 112.779 Check: 0.0 Back: 9.091 INFO - Atoms: 3712/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 84 Props: 372785 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.37 Prop: 190.407 PropClause: 175.521 Set: 113.956 Check: 0.0 Back: 9.186 INFO - Atoms: 4297/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 85 Props: 375078 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.437 Prop: 191.931 PropClause: 176.962 Set: 114.449 Check: 0.0 Back: 9.295 INFO - Atoms: 2293/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 86 Props: 377243 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.45 Prop: 192.404 PropClause: 177.373 Set: 114.772 Check: 0.0 Back: 9.354 INFO - Atoms: 2165/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 87 Props: 379619 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.459 Prop: 192.88 PropClause: 177.782 Set: 115.149 Check: 0.0 Back: 9.406 INFO - Atoms: 2376/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 88 Props: 383915 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.472 Prop: 194.071 PropClause: 178.85 Set: 116.01 Check: 0.0 Back: 9.465 INFO - Atoms: 4296/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 89 Props: 386230 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.487 Prop: 195.297 PropClause: 180.01 Set: 116.386 Check: 0.0 Back: 9.562 INFO - Atoms: 2315/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 90 Props: 389952 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.5 Prop: 196.431 PropClause: 181.036 Set: 117.109 Check: 0.0 Back: 9.614 INFO - Atoms: 3722/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 91 Props: 393866 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.517 Prop: 197.914 PropClause: 182.407 Set: 117.874 Check: 0.0 Back: 9.699 INFO - Atoms: 3914/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 92 Props: 398343 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.531 Prop: 199.57 PropClause: 183.932 Set: 118.787 Check: 0.0 Back: 9.789 INFO - Atoms: 4477/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 93 Props: 400648 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.552 Prop: 201.884 PropClause: 186.165 Set: 119.269 Check: 0.0 Back: 9.889 INFO - Atoms: 2305/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 94 Props: 402960 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.571 Prop: 202.851 PropClause: 187.05 Set: 119.736 Check: 0.0 Back: 9.947 INFO - Atoms: 2312/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 95 Props: 405372 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.588 Prop: 203.928 PropClause: 188.041 Set: 120.222 Check: 0.0 Back: 10.005 INFO - Atoms: 2412/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 96 Props: 408878 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.605 Prop: 205.338 PropClause: 189.328 Set: 121.044 Check: 0.0 Back: 10.066 INFO - Atoms: 3506/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 97 Props: 413672 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.623 Prop: 207.422 PropClause: 191.275 Set: 122.017 Check: 0.0 Back: 10.153 INFO - Atoms: 4794/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 98 Props: 418499 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.639 Prop: 209.843 PropClause: 193.555 Set: 122.991 Check: 0.0 Back: 10.262 INFO - Atoms: 4827/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 99 Props: 426955 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.661 Prop: 213.927 PropClause: 197.399 Set: 124.783 Check: 0.0 Back: 10.372 INFO - Atoms: 8456/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 100 Props: 429249 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.677 Prop: 217.182 PropClause: 200.571 Set: 125.272 Check: 0.0 Back: 10.586 INFO - Atoms: 2294/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 101 Props: 431531 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.688 Prop: 217.7 PropClause: 201.024 Set: 125.627 Check: 0.0 Back: 10.644 INFO - Atoms: 2282/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 102 Props: 433819 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.699 Prop: 218.16 PropClause: 201.42 Set: 125.987 Check: 0.0 Back: 10.695 INFO - Atoms: 2288/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 103 Props: 438114 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.714 Prop: 219.544 PropClause: 202.682 Set: 126.858 Check: 0.0 Back: 10.746 INFO - Atoms: 4295/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 104 Props: 442982 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.73 Prop: 220.979 PropClause: 203.978 Set: 127.849 Check: 0.0 Back: 10.844 INFO - Atoms: 4868/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 105 Props: 448122 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.741 Prop: 222.618 PropClause: 205.469 Set: 128.932 Check: 0.0 Back: 10.953 INFO - Atoms: 5140/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 106 Props: 453266 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.755 Prop: 224.962 PropClause: 207.665 Set: 129.992 Check: 0.0 Back: 11.081 INFO - Atoms: 5144/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 107 Props: 458409 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.77 Prop: 228.129 PropClause: 210.685 Set: 131.04 Check: 0.0 Back: 11.2 INFO - Atoms: 5143/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 108 Props: 466865 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.795 Prop: 235.377 PropClause: 217.633 Set: 133.636 Check: 0.0 Back: 11.328 INFO - Atoms: 8456/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 109 Props: 475324 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.82 Prop: 242.544 PropClause: 224.553 Set: 135.461 Check: 0.0 Back: 11.546 INFO - Atoms: 8459/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 110 Props: 477583 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.836 Prop: 247.721 PropClause: 229.647 Set: 135.939 Check: 0.0 Back: 11.762 INFO - Atoms: 2259/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 111 Props: 482022 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.85 Prop: 249.431 PropClause: 231.229 Set: 136.848 Check: 0.0 Back: 11.819 INFO - Atoms: 4439/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 112 Props: 486645 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.864 Prop: 251.605 PropClause: 233.272 Set: 137.765 Check: 0.0 Back: 11.923 INFO - Atoms: 4623/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 113 Props: 491567 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.876 Prop: 253.592 PropClause: 235.082 Set: 138.773 Check: 0.0 Back: 12.027 INFO - Atoms: 4922/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 114 Props: 496527 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.887 Prop: 255.63 PropClause: 236.977 Set: 139.767 Check: 0.0 Back: 12.139 INFO - Atoms: 4960/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 115 Props: 503525 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.896 Prop: 257.751 PropClause: 238.898 Set: 141.232 Check: 0.0 Back: 12.251 INFO - Atoms: 6998/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 116 Props: 510573 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.906 Prop: 260.269 PropClause: 241.213 Set: 142.686 Check: 0.0 Back: 12.415 INFO - Atoms: 7048/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 117 Props: 519032 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.925 Prop: 263.582 PropClause: 244.285 Set: 144.48 Check: 0.0 Back: 12.579 INFO - Atoms: 8459/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 118 Props: 521343 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.935 Prop: 265.272 PropClause: 245.909 Set: 144.85 Check: 0.0 Back: 12.787 INFO - Atoms: 2311/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 119 Props: 525142 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.946 Prop: 266.23 PropClause: 246.759 Set: 145.592 Check: 0.0 Back: 12.841 INFO - Atoms: 3799/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 120 Props: 529368 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.958 Prop: 267.842 PropClause: 248.248 Set: 146.435 Check: 0.0 Back: 12.927 INFO - Atoms: 4226/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 121 Props: 532917 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.97 Prop: 269.531 PropClause: 249.836 Set: 147.118 Check: 0.0 Back: 13.023 INFO - Atoms: 3549/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 122 Props: 536847 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.982 Prop: 271.054 PropClause: 251.246 Set: 147.869 Check: 0.0 Back: 13.104 INFO - Atoms: 3930/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 123 Props: 541236 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.996 Prop: 272.797 PropClause: 252.862 Set: 148.759 Check: 0.0 Back: 13.193 INFO - Atoms: 4389/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 124 Props: 545140 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.009 Prop: 274.553 PropClause: 254.506 Set: 149.523 Check: 0.0 Back: 13.293 INFO - Atoms: 3904/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 125 Props: 553597 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.035 Prop: 280.561 PropClause: 260.216 Set: 152.128 Check: 0.0 Back: 13.381 INFO - Atoms: 8457/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 126 Props: 555908 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.05 Prop: 285.495 PropClause: 265.069 Set: 152.61 Check: 0.0 Back: 13.594 INFO - Atoms: 2311/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 127 Props: 558244 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.064 Prop: 286.567 PropClause: 266.059 Set: 153.094 Check: 0.0 Back: 13.654 INFO - Atoms: 2336/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 128 Props: 561927 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.077 Prop: 288.373 PropClause: 267.736 Set: 154.04 Check: 0.0 Back: 13.713 INFO - Atoms: 3683/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 129 Props: 566780 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.093 Prop: 290.814 PropClause: 270.007 Set: 155.373 Check: 0.0 Back: 13.806 INFO - Atoms: 4853/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 130 Props: 571919 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.106 Prop: 293.76 PropClause: 272.773 Set: 156.923 Check: 0.0 Back: 13.929 INFO - Atoms: 5139/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 131 Props: 577318 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.13 Prop: 296.019 PropClause: 274.843 Set: 158.445 Check: 0.0 Back: 14.058 INFO - Atoms: 5399/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 132 Props: 580588 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.143 Prop: 297.541 PropClause: 276.25 Set: 159.237 Check: 0.0 Back: 14.194 INFO - Atoms: 3270/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 133 Props: 584788 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.155 Prop: 298.985 PropClause: 277.549 Set: 160.342 Check: 0.0 Back: 14.276 INFO - Atoms: 4200/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 134 Props: 589493 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.171 Prop: 302.26 PropClause: 280.657 Set: 161.629 Check: 0.0 Back: 14.383 INFO - Atoms: 4705/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 135 Props: 594267 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.185 Prop: 305.869 PropClause: 284.098 Set: 162.961 Check: 0.0 Back: 14.501 INFO - Atoms: 4774/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 136 Props: 599210 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.209 Prop: 309.021 PropClause: 287.076 Set: 164.34 Check: 0.0 Back: 14.62 INFO - Atoms: 4943/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 137 Props: 601543 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.223 Prop: 311.583 PropClause: 289.555 Set: 164.834 Check: 0.0 Back: 14.745 INFO - Atoms: 2333/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 138 Props: 606485 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.248 Prop: 314.331 PropClause: 292.129 Set: 166.216 Check: 0.0 Back: 14.805 INFO - Atoms: 4942/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 139 Props: 609463 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.262 Prop: 316.75 PropClause: 294.443 Set: 166.905 Check: 0.0 Back: 14.929 INFO - Atoms: 2978/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 140 Props: 614077 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.276 Prop: 319.593 PropClause: 297.121 Set: 168.19 Check: 0.0 Back: 15.005 INFO - Atoms: 4614/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 141 Props: 622532 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.301 Prop: 325.744 PropClause: 302.974 Set: 170.66 Check: 0.0 Back: 15.121 INFO - Atoms: 8455/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 142 Props: 630987 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.325 Prop: 339.334 PropClause: 316.268 Set: 173.257 Check: 0.0 Back: 15.336 INFO - Atoms: 8455/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 143 Props: 633248 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.337 Prop: 341.661 PropClause: 318.517 Set: 173.712 Check: 0.0 Back: 15.55 INFO - Atoms: 2261/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 144 Props: 635692 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.351 Prop: 342.572 PropClause: 319.342 Set: 174.209 Check: 0.0 Back: 15.607 INFO - Atoms: 2444/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 145 Props: 639551 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.365 Prop: 344.492 PropClause: 321.127 Set: 175.192 Check: 0.0 Back: 15.67 INFO - Atoms: 3859/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 146 Props: 641896 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.379 Prop: 346.211 PropClause: 322.763 Set: 175.686 Check: 0.0 Back: 15.767 INFO - Atoms: 2345/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 147 Props: 645814 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.395 Prop: 348.084 PropClause: 324.499 Set: 176.71 Check: 0.0 Back: 15.826 INFO - Atoms: 3918/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 148 Props: 650148 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.412 Prop: 351.053 PropClause: 327.317 Set: 177.884 Check: 0.0 Back: 15.925 INFO - Atoms: 4334/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 149 Props: 653601 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.427 Prop: 353.18 PropClause: 329.322 Set: 178.734 Check: 0.0 Back: 16.035 INFO - Atoms: 3453/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 150 Props: 658734 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.439 Prop: 356.521 PropClause: 332.483 Set: 180.193 Check: 0.0 Back: 16.122 INFO - Atoms: 5133/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 151 Props: 667188 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.463 Prop: 362.78 PropClause: 338.447 Set: 182.686 Check: 0.0 Back: 16.251 INFO - Atoms: 8454/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 152 Props: 669404 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.475 Prop: 365.588 PropClause: 341.177 Set: 183.145 Check: 0.0 Back: 16.466 INFO - Atoms: 2216/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 153 Props: 671756 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.487 Prop: 366.345 PropClause: 341.851 Set: 183.626 Check: 0.0 Back: 16.522 INFO - Atoms: 2352/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 154 Props: 675547 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.502 Prop: 367.921 PropClause: 343.295 Set: 184.583 Check: 0.0 Back: 16.583 INFO - Atoms: 3791/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 155 Props: 677861 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.517 Prop: 369.865 PropClause: 345.157 Set: 185.074 Check: 0.0 Back: 16.679 INFO - Atoms: 2314/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 156 Props: 681786 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.532 Prop: 372.251 PropClause: 347.406 Set: 186.112 Check: 0.0 Back: 16.738 INFO - Atoms: 3925/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 157 Props: 686208 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.545 Prop: 375.126 PropClause: 350.126 Set: 187.296 Check: 0.0 Back: 16.836 INFO - Atoms: 4422/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 158 Props: 694663 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.568 Prop: 381.96 PropClause: 356.663 Set: 189.853 Check: 0.0 Back: 16.948 INFO - Atoms: 8455/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 159 Props: 696886 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.583 Prop: 387.683 PropClause: 362.304 Set: 190.317 Check: 0.0 Back: 17.168 INFO - Atoms: 2223/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 160 Props: 700570 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.598 Prop: 389.736 PropClause: 364.228 Set: 191.261 Check: 0.0 Back: 17.225 INFO - Atoms: 3684/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 161 Props: 705017 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.612 Prop: 392.998 PropClause: 367.332 Set: 192.458 Check: 0.0 Back: 17.325 INFO - Atoms: 4447/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 162 Props: 707354 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.625 Prop: 394.448 PropClause: 368.716 Set: 192.823 Check: 0.0 Back: 17.439 INFO - Atoms: 2337/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 163 Props: 711238 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.637 Prop: 395.495 PropClause: 369.65 Set: 193.595 Check: 0.0 Back: 17.491 INFO - Atoms: 3884/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 164 Props: 713527 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.653 Prop: 397.378 PropClause: 371.452 Set: 194.073 Check: 0.0 Back: 17.579 INFO - Atoms: 2289/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 165 Props: 717386 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.669 Prop: 398.829 PropClause: 372.767 Set: 195.077 Check: 0.0 Back: 17.637 INFO - Atoms: 3859/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 166 Props: 721479 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.695 Prop: 401.336 PropClause: 375.13 Set: 196.154 Check: 0.0 Back: 17.735 INFO - Atoms: 4093/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 167 Props: 726120 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.709 Prop: 404.484 PropClause: 378.117 Set: 197.389 Check: 0.0 Back: 17.838 INFO - Atoms: 4641/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 168 Props: 731220 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.734 Prop: 408.344 PropClause: 381.798 Set: 198.821 Check: 0.0 Back: 17.965 INFO - Atoms: 5100/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 169 Props: 735844 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.751 Prop: 412.166 PropClause: 385.457 Set: 200.097 Check: 0.0 Back: 18.093 INFO - Atoms: 4624/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 170 Props: 744300 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.774 Prop: 417.686 PropClause: 390.677 Set: 202.603 Check: 0.0 Back: 18.21 INFO - Atoms: 8456/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 171 Props: 746518 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.806 Prop: 423.299 PropClause: 396.225 Set: 202.963 Check: 0.0 Back: 18.428 INFO - Atoms: 2218/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 172 Props: 750377 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.848 Prop: 425.004 PropClause: 397.793 Set: 203.935 Check: 0.0 Back: 18.478 INFO - Atoms: 3859/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 173 Props: 752809 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.859 Prop: 425.906 PropClause: 398.626 Set: 204.317 Check: 0.0 Back: 18.577 INFO - Atoms: 2432/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 174 Props: 755259 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.906 Prop: 426.455 PropClause: 399.105 Set: 204.71 Check: 0.0 Back: 18.632 INFO - Atoms: 2450/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 175 Props: 761670 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.918 Prop: 428.853 PropClause: 401.323 Set: 206.553 Check: 0.0 Back: 18.687 INFO - Atoms: 6411/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 176 Props: 770125 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.937 Prop: 433.379 PropClause: 405.606 Set: 208.43 Check: 0.0 Back: 18.842 INFO - Atoms: 8455/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 177 Props: 778576 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.956 Prop: 438.575 PropClause: 410.562 Set: 210.882 Check: 0.0 Back: 19.055 INFO - Atoms: 8451/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 178 Props: 780794 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.969 Prop: 443.274 PropClause: 415.197 Set: 211.449 Check: 0.0 Back: 19.266 INFO - Atoms: 2218/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 179 Props: 784648 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.981 Prop: 444.675 PropClause: 416.488 Set: 212.464 Check: 0.0 Back: 19.316 INFO - Atoms: 3854/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 180 Props: 788630 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.994 Prop: 446.255 PropClause: 417.954 Set: 213.512 Check: 0.0 Back: 19.403 INFO - Atoms: 3982/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 181 Props: 790997 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.008 Prop: 448.769 PropClause: 420.382 Set: 214.301 Check: 0.0 Back: 19.505 INFO - Atoms: 2367/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 182 Props: 795013 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.021 Prop: 450.64 PropClause: 422.11 Set: 215.628 Check: 0.0 Back: 19.565 INFO - Atoms: 4016/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 183 Props: 799757 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.033 Prop: 453.043 PropClause: 424.344 Set: 217.236 Check: 0.0 Back: 19.667 INFO - Atoms: 4744/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 184 Props: 808212 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.053 Prop: 458.344 PropClause: 429.339 Set: 220.366 Check: 0.0 Back: 19.785 INFO - Atoms: 8455/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 185 Props: 810394 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.066 Prop: 462.101 PropClause: 433.033 Set: 220.926 Check: 0.0 Back: 20.005 INFO - Atoms: 2182/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 186 Props: 812850 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.078 Prop: 462.77 PropClause: 433.632 Set: 221.537 Check: 0.0 Back: 20.054 INFO - Atoms: 2456/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 187 Props: 817150 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.09 Prop: 464.424 PropClause: 435.166 Set: 222.695 Check: 0.0 Back: 20.114 INFO - Atoms: 4300/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 188 Props: 821100 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.103 Prop: 466.214 PropClause: 436.843 Set: 223.73 Check: 0.0 Back: 20.213 INFO - Atoms: 3950/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 189 Props: 823631 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.118 Prop: 467.556 PropClause: 438.113 Set: 224.367 Check: 0.0 Back: 20.301 INFO - Atoms: 2531/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 190 Props: 827581 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.13 Prop: 468.843 PropClause: 439.289 Set: 225.398 Check: 0.0 Back: 20.359 INFO - Atoms: 3950/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 191 Props: 833912 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.141 Prop: 471.11 PropClause: 441.377 Set: 227.115 Check: 0.0 Back: 20.448 INFO - Atoms: 6331/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 192 Props: 842368 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.156 Prop: 474.871 PropClause: 444.9 Set: 229.501 Check: 0.0 Back: 20.595 INFO - Atoms: 8456/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 193 Props: 844547 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.167 Prop: 478.199 PropClause: 448.166 Set: 230.055 Check: 0.0 Back: 20.809 INFO - Atoms: 2179/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 194 Props: 848221 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.179 Prop: 479.354 PropClause: 449.217 Set: 231.025 Check: 0.0 Back: 20.858 INFO - Atoms: 3674/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 195 Props: 852265 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.191 Prop: 480.996 PropClause: 450.745 Set: 232.107 Check: 0.0 Back: 20.942 INFO - Atoms: 4044/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 196 Props: 856318 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.203 Prop: 482.932 PropClause: 452.566 Set: 233.218 Check: 0.0 Back: 21.034 INFO - Atoms: 4053/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 197 Props: 858802 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.217 Prop: 485.379 PropClause: 454.916 Set: 234.073 Check: 0.0 Back: 21.127 INFO - Atoms: 2484/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 198 Props: 861016 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.23 Prop: 486.413 PropClause: 455.872 Set: 234.747 Check: 0.0 Back: 21.196 INFO - Atoms: 2214/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 199 Props: 864181 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.247 Prop: 488.122 PropClause: 457.467 Set: 235.813 Check: 0.0 Back: 21.252 INFO - Atoms: 3165/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 200 Props: 866363 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.26 Prop: 489.453 PropClause: 458.72 Set: 236.488 Check: 0.0 Back: 21.332 INFO - Atoms: 2182/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 201 Props: 868608 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.274 Prop: 490.264 PropClause: 459.452 Set: 237.174 Check: 0.0 Back: 21.387 INFO - Atoms: 2245/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 202 Props: 870860 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.287 Prop: 490.933 PropClause: 460.042 Set: 237.865 Check: 0.0 Back: 21.444 INFO - Atoms: 2252/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 203 Props: 873094 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.3 Prop: 491.617 PropClause: 460.647 Set: 238.541 Check: 0.0 Back: 21.509 INFO - Atoms: 2234/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 204 Props: 875470 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.312 Prop: 492.66 PropClause: 461.604 Set: 239.285 Check: 0.0 Back: 21.565 INFO - Atoms: 2376/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 205 Props: 878699 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.326 Prop: 494.181 PropClause: 463.01 Set: 240.326 Check: 0.0 Back: 21.625 INFO - Atoms: 3229/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 206 Props: 882271 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.339 Prop: 496.086 PropClause: 464.787 Set: 241.514 Check: 0.0 Back: 21.707 INFO - Atoms: 3572/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 207 Props: 887012 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.353 Prop: 499.475 PropClause: 468.008 Set: 243.158 Check: 0.0 Back: 21.797 INFO - Atoms: 4741/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 208 Props: 891908 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.375 Prop: 503.648 PropClause: 472.007 Set: 244.89 Check: 0.0 Back: 21.917 INFO - Atoms: 4896/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 209 Props: 895330 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.388 Prop: 506.404 PropClause: 474.642 Set: 246.022 Check: 0.0 Back: 22.043 INFO - Atoms: 3422/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 210 Props: 899880 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.403 Prop: 509.355 PropClause: 477.426 Set: 247.611 Check: 0.0 Back: 22.129 INFO - Atoms: 4550/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 211 Props: 904417 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.419 Prop: 513.007 PropClause: 480.92 Set: 249.238 Check: 0.0 Back: 22.249 INFO - Atoms: 4537/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 212 Props: 908201 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.433 Prop: 515.264 PropClause: 483.041 Set: 250.483 Check: 0.0 Back: 22.375 INFO - Atoms: 3784/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 213 Props: 912693 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.457 Prop: 518.396 PropClause: 486.017 Set: 251.683 Check: 0.0 Back: 22.473 INFO - Atoms: 4492/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 214 Props: 916260 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.471 Prop: 521.524 PropClause: 489.016 Set: 252.58 Check: 0.0 Back: 22.592 INFO - Atoms: 3567/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 215 Props: 924709 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.492 Prop: 527.987 PropClause: 495.182 Set: 255.158 Check: 0.0 Back: 22.684 INFO - Atoms: 8449/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 216 Props: 926885 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.507 Prop: 532.143 PropClause: 499.276 Set: 255.505 Check: 0.0 Back: 22.899 INFO - Atoms: 2176/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 217 Props: 930634 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.518 Prop: 533.199 PropClause: 500.226 Set: 256.224 Check: 0.0 Back: 22.949 INFO - Atoms: 3749/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 218 Props: 934477 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.533 Prop: 534.493 PropClause: 501.411 Set: 256.97 Check: 0.0 Back: 23.033 INFO - Atoms: 3843/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 219 Props: 939868 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.551 Prop: 536.89 PropClause: 503.653 Set: 258.08 Check: 0.0 Back: 23.121 INFO - Atoms: 5391/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 220 Props: 942188 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.566 Prop: 539.721 PropClause: 506.403 Set: 258.551 Check: 0.0 Back: 23.255 INFO - Atoms: 2320/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 221 Props: 945905 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.58 Prop: 541.744 PropClause: 508.294 Set: 259.498 Check: 0.0 Back: 23.314 INFO - Atoms: 3717/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 222 Props: 950582 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.593 Prop: 544.949 PropClause: 511.327 Set: 260.772 Check: 0.0 Back: 23.407 INFO - Atoms: 4677/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 223 Props: 959029 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.616 Prop: 551.504 PropClause: 517.585 Set: 263.346 Check: 0.0 Back: 23.539 INFO - Atoms: 8447/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 224 Props: 967484 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.639 Prop: 559.717 PropClause: 525.5 Set: 265.877 Check: 0.0 Back: 23.756 INFO - Atoms: 8455/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 225 Props: 969641 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.651 Prop: 565.273 PropClause: 530.982 Set: 266.316 Check: 0.0 Back: 23.971 INFO - Atoms: 2157/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 226 Props: 972071 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.662 Prop: 566.156 PropClause: 531.78 Set: 266.786 Check: 0.0 Back: 24.025 INFO - Atoms: 2430/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 227 Props: 975446 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.678 Prop: 567.579 PropClause: 533.086 Set: 267.551 Check: 0.0 Back: 24.087 INFO - Atoms: 3375/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 228 Props: 977686 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.69 Prop: 569.126 PropClause: 534.555 Set: 267.996 Check: 0.0 Back: 24.172 INFO - Atoms: 2240/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 229 Props: 981940 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.703 Prop: 571.752 PropClause: 537.03 Set: 269.138 Check: 0.0 Back: 24.228 INFO - Atoms: 4254/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 230 Props: 987038 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.718 Prop: 575.795 PropClause: 540.893 Set: 270.595 Check: 0.0 Back: 24.336 INFO - Atoms: 5098/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 231 Props: 995484 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.742 Prop: 583.046 PropClause: 547.848 Set: 273.237 Check: 0.0 Back: 24.465 INFO - Atoms: 8446/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 232 Props: 997621 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.756 Prop: 589.006 PropClause: 553.718 Set: 273.688 Check: 0.0 Back: 24.682 INFO - Atoms: 2137/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 233 Props: 1000727 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.771 Prop: 590.429 PropClause: 555.03 Set: 274.432 Check: 0.0 Back: 24.737 INFO - Atoms: 3106/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 234 Props: 1003100 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.787 Prop: 591.818 PropClause: 556.337 Set: 274.877 Check: 0.0 Back: 24.816 INFO - Atoms: 2373/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 235 Props: 1005301 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.801 Prop: 592.906 PropClause: 557.347 Set: 275.325 Check: 0.0 Back: 24.88 INFO - Atoms: 2201/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 236 Props: 1013756 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.833 Prop: 598.856 PropClause: 563.001 Set: 277.965 Check: 0.0 Back: 24.935 INFO - Atoms: 8455/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 237 Props: 1022201 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.855 Prop: 609.371 PropClause: 573.22 Set: 280.607 Check: 0.0 Back: 25.154 INFO - Atoms: 8445/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 238 Props: 1026449 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.869 Prop: 617.087 PropClause: 580.787 Set: 281.757 Check: 0.0 Back: 25.368 INFO - Atoms: 4248/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 239 Props: 1028617 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.885 Prop: 619.211 PropClause: 582.825 Set: 282.175 Check: 0.0 Back: 25.476 INFO - Atoms: 2168/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 240 Props: 1031020 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.897 Prop: 620.018 PropClause: 583.545 Set: 282.677 Check: 0.0 Back: 25.533 INFO - Atoms: 2403/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 241 Props: 1033430 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.909 Prop: 620.761 PropClause: 584.204 Set: 283.181 Check: 0.0 Back: 25.604 INFO - Atoms: 2410/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 242 Props: 1036567 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.924 Prop: 622.07 PropClause: 585.402 Set: 283.924 Check: 0.0 Back: 25.666 INFO - Atoms: 3137/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 243 Props: 1038806 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.939 Prop: 623.572 PropClause: 586.825 Set: 284.355 Check: 0.0 Back: 25.746 INFO - Atoms: 2239/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 244 Props: 1041969 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.95 Prop: 625.055 PropClause: 588.194 Set: 285.108 Check: 0.0 Back: 25.803 INFO - Atoms: 3163/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 245 Props: 1045749 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.964 Prop: 626.794 PropClause: 589.824 Set: 285.849 Check: 0.0 Back: 25.884 INFO - Atoms: 3780/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 246 Props: 1050375 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.978 Prop: 628.741 PropClause: 591.637 Set: 286.835 Check: 0.0 Back: 25.969 INFO - Atoms: 4626/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 247 Props: 1055092 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.99 Prop: 631.228 PropClause: 593.99 Set: 287.834 Check: 0.0 Back: 26.074 INFO - Atoms: 4717/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 248 Props: 1060180 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.011 Prop: 633.449 PropClause: 596.064 Set: 288.94 Check: 0.0 Back: 26.182 INFO - Atoms: 5088/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 249 Props: 1068625 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.03 Prop: 638.835 PropClause: 601.209 Set: 290.887 Check: 0.0 Back: 26.297 INFO - Atoms: 8445/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 250 Props: 1071043 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.041 Prop: 642.052 PropClause: 604.356 Set: 291.265 Check: 0.0 Back: 26.517 INFO - Atoms: 2418/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 251 Props: 1074430 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.055 Prop: 643.007 PropClause: 605.214 Set: 291.877 Check: 0.0 Back: 26.576 INFO - Atoms: 3387/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 252 Props: 1076827 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.067 Prop: 643.974 PropClause: 606.112 Set: 292.249 Check: 0.0 Back: 26.654 INFO - Atoms: 2397/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 253 Props: 1079306 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.079 Prop: 645.121 PropClause: 607.168 Set: 292.774 Check: 0.0 Back: 26.709 INFO - Atoms: 2479/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 254 Props: 1085012 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.093 Prop: 648.664 PropClause: 610.511 Set: 294.418 Check: 0.0 Back: 26.772 INFO - Atoms: 5706/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 255 Props: 1093455 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.12 Prop: 657.043 PropClause: 618.593 Set: 297.116 Check: 0.0 Back: 26.92 INFO - Atoms: 8443/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 256 Props: 1101910 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.146 Prop: 664.757 PropClause: 626.01 Set: 299.723 Check: 0.0 Back: 27.133 INFO - Atoms: 8455/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 257 Props: 1104040 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.16 Prop: 668.672 PropClause: 629.851 Set: 300.126 Check: 0.0 Back: 27.353 INFO - Atoms: 2130/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 258 Props: 1106414 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.173 Prop: 669.558 PropClause: 630.652 Set: 300.633 Check: 0.0 Back: 27.407 INFO - Atoms: 2374/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 259 Props: 1109514 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.187 Prop: 670.902 PropClause: 631.886 Set: 301.373 Check: 0.0 Back: 27.467 INFO - Atoms: 3100/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 260 Props: 1112690 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.202 Prop: 672.813 PropClause: 633.686 Set: 302.115 Check: 0.0 Back: 27.547 INFO - Atoms: 3176/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 261 Props: 1116502 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.216 Prop: 675.263 PropClause: 636.0 Set: 303.105 Check: 0.0 Back: 27.626 INFO - Atoms: 3812/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 262 Props: 1118995 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.261 Prop: 677.128 PropClause: 637.778 Set: 303.582 Check: 0.0 Back: 27.726 INFO - Atoms: 2493/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 263 Props: 1121196 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.293 Prop: 678.178 PropClause: 638.751 Set: 304.019 Check: 0.0 Back: 27.789 INFO - Atoms: 2201/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 264 Props: 1125113 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.297 Prop: 680.292 PropClause: 640.723 Set: 305.081 Check: 0.0 Back: 27.848 INFO - Atoms: 3917/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 265 Props: 1129264 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.303 Prop: 683.511 PropClause: 643.794 Set: 306.289 Check: 0.0 Back: 27.953 INFO - Atoms: 4151/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 266 Props: 1133559 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.307 Prop: 686.592 PropClause: 646.725 Set: 307.487 Check: 0.0 Back: 28.06 INFO - Atoms: 4295/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 267 Props: 1142001 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.32 Prop: 693.848 PropClause: 653.684 Set: 310.198 Check: 0.0 Back: 28.172 INFO - Atoms: 8442/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 268 Props: 1144095 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.325 Prop: 699.927 PropClause: 659.687 Set: 310.629 Check: 0.0 Back: 28.391 INFO - Atoms: 2094/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 269 Props: 1147915 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.33 Prop: 701.744 PropClause: 661.371 Set: 311.625 Check: 0.0 Back: 28.445 INFO - Atoms: 3820/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 270 Props: 1150894 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.335 Prop: 703.849 PropClause: 663.36 Set: 312.325 Check: 0.0 Back: 28.543 INFO - Atoms: 2979/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 271 Props: 1153060 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.339 Prop: 704.527 PropClause: 663.977 Set: 312.664 Check: 0.0 Back: 28.619 INFO - Atoms: 2166/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 272 Props: 1157181 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.345 Prop: 706.417 PropClause: 665.74 Set: 317.476 Check: 0.0 Back: 28.668 INFO - Atoms: 4121/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 273 Props: 1161760 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.348 Prop: 708.633 PropClause: 667.824 Set: 318.419 Check: 0.0 Back: 28.766 INFO - Atoms: 4579/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 274 Props: 1166400 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.352 Prop: 711.24 PropClause: 670.295 Set: 319.43 Check: 0.0 Back: 28.87 INFO - Atoms: 4640/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 275 Props: 1171052 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.357 Prop: 714.58 PropClause: 673.501 Set: 320.421 Check: 0.0 Back: 28.976 INFO - Atoms: 4652/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 276 Props: 1175675 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.362 Prop: 716.534 PropClause: 675.322 Set: 321.373 Check: 0.0 Back: 29.081 INFO - Atoms: 4623/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 277 Props: 1180323 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.367 Prop: 718.949 PropClause: 677.601 Set: 322.343 Check: 0.0 Back: 29.185 INFO - Atoms: 4648/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 278 Props: 1184949 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.373 Prop: 721.39 PropClause: 679.909 Set: 323.311 Check: 0.0 Back: 29.29 INFO - Atoms: 4626/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 279 Props: 1193391 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.381 Prop: 725.106 PropClause: 683.384 Set: 325.204 Check: 0.0 Back: 29.393 INFO - Atoms: 8442/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 280 Props: 1195456 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.386 Prop: 730.484 PropClause: 688.69 Set: 325.6 Check: 0.0 Back: 29.608 INFO - Atoms: 2065/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 281 Props: 1197548 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.391 Prop: 730.975 PropClause: 689.121 Set: 325.926 Check: 0.0 Back: 29.655 INFO - Atoms: 2092/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 282 Props: 1200677 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.398 Prop: 732.364 PropClause: 690.397 Set: 326.656 Check: 0.0 Back: 29.704 INFO - Atoms: 3129/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 283 Props: 1203860 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.403 Prop: 733.599 PropClause: 691.543 Set: 327.223 Check: 0.0 Back: 29.782 INFO - Atoms: 3183/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 284 Props: 1207805 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.408 Prop: 735.1 PropClause: 692.93 Set: 328.025 Check: 0.0 Back: 29.853 INFO - Atoms: 3945/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 285 Props: 1211667 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.414 Prop: 736.707 PropClause: 694.425 Set: 328.783 Check: 0.0 Back: 29.942 INFO - Atoms: 3862/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 286 Props: 1213862 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.418 Prop: 738.001 PropClause: 695.658 Set: 329.124 Check: 0.0 Back: 30.029 INFO - Atoms: 2195/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 287 Props: 1216964 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.423 Prop: 738.888 PropClause: 696.457 Set: 329.684 Check: 0.0 Back: 30.078 INFO - Atoms: 3102/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 288 Props: 1220894 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.428 Prop: 740.538 PropClause: 697.994 Set: 330.496 Check: 0.0 Back: 30.147 INFO - Atoms: 3930/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 289 Props: 1224828 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.432 Prop: 742.643 PropClause: 699.985 Set: 331.304 Check: 0.0 Back: 30.236 INFO - Atoms: 3934/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 290 Props: 1228964 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.437 Prop: 744.581 PropClause: 701.806 Set: 332.161 Check: 0.0 Back: 30.326 INFO - Atoms: 4136/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 291 Props: 1233577 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.445 Prop: 746.508 PropClause: 703.602 Set: 333.129 Check: 0.0 Back: 30.419 INFO - Atoms: 4613/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 292 Props: 1238592 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.454 Prop: 748.722 PropClause: 705.672 Set: 334.176 Check: 0.0 Back: 30.522 INFO - Atoms: 5015/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 293 Props: 1243269 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.459 Prop: 750.683 PropClause: 707.496 Set: 335.158 Check: 0.0 Back: 30.637 INFO - Atoms: 4677/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 294 Props: 1251725 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.468 Prop: 754.206 PropClause: 710.779 Set: 337.037 Check: 0.0 Back: 30.742 INFO - Atoms: 8456/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 295 Props: 1253846 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.472 Prop: 757.039 PropClause: 713.552 Set: 337.358 Check: 0.0 Back: 30.955 INFO - Atoms: 2121/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 296 Props: 1256423 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.478 Prop: 757.676 PropClause: 714.117 Set: 337.754 Check: 0.0 Back: 31.003 INFO - Atoms: 2577/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 297 Props: 1259291 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.482 Prop: 758.684 PropClause: 715.042 Set: 338.235 Check: 0.0 Back: 31.061 INFO - Atoms: 2868/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 298 Props: 1262162 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.486 Prop: 759.506 PropClause: 715.781 Set: 338.697 Check: 0.0 Back: 31.128 INFO - Atoms: 2871/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 299 Props: 1265666 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.489 Prop: 760.484 PropClause: 716.658 Set: 339.319 Check: 0.0 Back: 31.192 INFO - Atoms: 3504/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 300 Props: 1267923 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.494 Prop: 761.546 PropClause: 717.657 Set: 339.676 Check: 0.0 Back: 31.271 INFO - Atoms: 2257/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 301 Props: 1270947 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.498 Prop: 762.369 PropClause: 718.394 Set: 340.223 Check: 0.0 Back: 31.323 INFO - Atoms: 3024/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 302 Props: 1273129 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.503 Prop: 763.307 PropClause: 719.271 Set: 340.563 Check: 0.0 Back: 31.391 INFO - Atoms: 2182/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 303 Props: 1276507 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.506 Prop: 764.383 PropClause: 720.251 Set: 341.2 Check: 0.0 Back: 31.44 INFO - Atoms: 3378/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 304 Props: 1279750 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.51 Prop: 765.855 PropClause: 721.631 Set: 341.806 Check: 0.0 Back: 31.516 INFO - Atoms: 3243/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Restart INFO - Confl: 500 Props: 14973 Tprops: 9369 Decides: 7564 RSplits: 0 INFO - Times: Expl: 81.128 Prop: 4277.124 PropClause: 11.84 Set: 3172.571 Check: 39.39 Back: 29.547 INFO - Atoms: 5/230 Clauses: 500 Axioms: 192 INFO - CCTimes: iE 100649 eq 15403943 cc 17312684 setRep 17707504 INFO - Merges: 29105, cc:53457 INFO - BVTimes: BB 112664837 BB_DPLL 3439829927 Graph 217401 INFO - BitBlastingClauses: 109178 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Bitblasting DPLL: INFO - Confl: 305 Props: 1283255 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.515 Prop: 767.229 PropClause: 722.906 Set: 342.472 Check: 0.0 Back: 31.589 INFO - Atoms: 3505/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 306 Props: 1286959 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.518 Prop: 768.719 PropClause: 724.29 Set: 343.186 Check: 0.0 Back: 31.667 INFO - Atoms: 3704/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 307 Props: 1295399 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.526 Prop: 773.827 PropClause: 729.147 Set: 345.155 Check: 0.0 Back: 31.751 INFO - Atoms: 8440/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 308 Props: 1297555 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.53 Prop: 776.674 PropClause: 731.931 Set: 345.487 Check: 0.0 Back: 31.961 INFO - Atoms: 2156/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 309 Props: 1300193 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.535 Prop: 777.339 PropClause: 732.523 Set: 345.892 Check: 0.0 Back: 32.01 INFO - Atoms: 2638/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 310 Props: 1302823 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.539 Prop: 777.991 PropClause: 733.101 Set: 346.306 Check: 0.0 Back: 32.069 INFO - Atoms: 2630/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 311 Props: 1306962 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.542 Prop: 779.041 PropClause: 734.032 Set: 347.116 Check: 0.0 Back: 32.128 INFO - Atoms: 4139/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 312 Props: 1311429 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.546 Prop: 780.36 PropClause: 735.223 Set: 348.009 Check: 0.0 Back: 32.23 INFO - Atoms: 4467/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 313 Props: 1316167 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.549 Prop: 781.775 PropClause: 736.501 Set: 348.964 Check: 0.0 Back: 32.331 INFO - Atoms: 4738/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 314 Props: 1321172 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.553 Prop: 783.329 PropClause: 737.911 Set: 349.98 Check: 0.0 Back: 32.437 INFO - Atoms: 5005/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 315 Props: 1329610 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.558 Prop: 786.117 PropClause: 740.459 Set: 351.916 Check: 0.0 Back: 32.555 INFO - Atoms: 8438/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 316 Props: 1331762 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.563 Prop: 787.928 PropClause: 742.209 Set: 352.251 Check: 0.0 Back: 32.766 INFO - Atoms: 2152/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 317 Props: 1340200 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.57 Prop: 793.232 PropClause: 747.254 Set: 354.354 Check: 0.0 Back: 32.814 INFO - Atoms: 8438/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 318 Props: 1348656 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.577 Prop: 796.794 PropClause: 750.575 Set: 356.233 Check: 0.0 Back: 33.021 INFO - Atoms: 8456/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 319 Props: 1352821 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.582 Prop: 801.305 PropClause: 754.964 Set: 357.076 Check: 0.0 Back: 33.233 INFO - Atoms: 4165/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 320 Props: 1356944 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.586 Prop: 803.462 PropClause: 757.004 Set: 357.898 Check: 0.0 Back: 33.329 INFO - Atoms: 4123/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 321 Props: 1359094 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.591 Prop: 804.977 PropClause: 758.457 Set: 358.229 Check: 0.0 Back: 33.423 INFO - Atoms: 2150/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 322 Props: 1361234 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.595 Prop: 805.569 PropClause: 758.989 Set: 358.557 Check: 0.0 Back: 33.471 INFO - Atoms: 2140/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 323 Props: 1363959 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.6 Prop: 806.384 PropClause: 759.727 Set: 359.017 Check: 0.0 Back: 33.521 INFO - Atoms: 2725/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 324 Props: 1366697 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.604 Prop: 807.155 PropClause: 760.42 Set: 359.481 Check: 0.0 Back: 33.582 INFO - Atoms: 2738/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 325 Props: 1369422 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.607 Prop: 808.122 PropClause: 761.309 Set: 359.952 Check: 0.0 Back: 33.654 INFO - Atoms: 2725/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 326 Props: 1372600 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.612 Prop: 809.475 PropClause: 762.571 Set: 360.538 Check: 0.0 Back: 33.716 INFO - Atoms: 3178/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 327 Props: 1375032 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.617 Prop: 810.651 PropClause: 763.661 Set: 361.003 Check: 0.0 Back: 33.787 INFO - Atoms: 2432/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 328 Props: 1377486 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.622 Prop: 811.177 PropClause: 764.118 Set: 361.38 Check: 0.0 Back: 33.848 INFO - Atoms: 2454/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 329 Props: 1385925 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.631 Prop: 814.9 PropClause: 767.602 Set: 363.29 Check: 0.0 Back: 33.903 INFO - Atoms: 8439/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 330 Props: 1389111 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.634 Prop: 817.217 PropClause: 769.829 Set: 363.874 Check: 0.0 Back: 34.111 INFO - Atoms: 3186/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 331 Props: 1391250 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.637 Prop: 817.787 PropClause: 770.339 Set: 364.201 Check: 0.0 Back: 34.183 INFO - Atoms: 2139/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 332 Props: 1394380 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.64 Prop: 818.489 PropClause: 770.951 Set: 364.695 Check: 0.0 Back: 34.23 INFO - Atoms: 3130/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 333 Props: 1397437 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.645 Prop: 819.292 PropClause: 771.667 Set: 365.169 Check: 0.0 Back: 34.3 INFO - Atoms: 3057/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 334 Props: 1401189 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.65 Prop: 820.304 PropClause: 772.564 Set: 365.841 Check: 0.0 Back: 34.368 INFO - Atoms: 3752/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 335 Props: 1404015 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.654 Prop: 821.324 PropClause: 773.49 Set: 366.534 Check: 0.0 Back: 34.454 INFO - Atoms: 2826/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 336 Props: 1407923 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.659 Prop: 822.545 PropClause: 774.602 Set: 367.546 Check: 0.0 Back: 34.518 INFO - Atoms: 3908/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 337 Props: 1412191 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.664 Prop: 824.362 PropClause: 776.298 Set: 368.671 Check: 0.0 Back: 34.607 INFO - Atoms: 4268/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 338 Props: 1417050 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.669 Prop: 826.174 PropClause: 777.974 Set: 369.953 Check: 0.0 Back: 34.703 INFO - Atoms: 4859/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 339 Props: 1425486 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.676 Prop: 831.54 PropClause: 783.102 Set: 372.479 Check: 0.0 Back: 34.819 INFO - Atoms: 8436/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 340 Props: 1427598 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.682 Prop: 835.138 PropClause: 786.64 Set: 373.016 Check: 0.0 Back: 35.028 INFO - Atoms: 2112/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 341 Props: 1431381 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.686 Prop: 836.203 PropClause: 787.599 Set: 374.008 Check: 0.0 Back: 35.075 INFO - Atoms: 3783/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 342 Props: 1435191 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.691 Prop: 837.398 PropClause: 788.686 Set: 375.008 Check: 0.0 Back: 35.161 INFO - Atoms: 3810/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 343 Props: 1439895 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.699 Prop: 838.965 PropClause: 790.119 Set: 376.274 Check: 0.0 Back: 35.249 INFO - Atoms: 4704/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 344 Props: 1442098 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.703 Prop: 840.205 PropClause: 791.298 Set: 376.775 Check: 0.0 Back: 35.356 INFO - Atoms: 2203/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 345 Props: 1444270 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.706 Prop: 840.746 PropClause: 791.777 Set: 377.266 Check: 0.0 Back: 35.405 INFO - Atoms: 2172/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 346 Props: 1447969 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.71 Prop: 842.113 PropClause: 793.042 Set: 378.184 Check: 0.0 Back: 35.454 INFO - Atoms: 3699/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 347 Props: 1451914 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.715 Prop: 843.575 PropClause: 794.392 Set: 379.157 Check: 0.0 Back: 35.537 INFO - Atoms: 3945/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 348 Props: 1456017 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.719 Prop: 845.417 PropClause: 796.117 Set: 380.184 Check: 0.0 Back: 35.625 INFO - Atoms: 4103/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 349 Props: 1460905 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.723 Prop: 847.633 PropClause: 798.195 Set: 381.417 Check: 0.0 Back: 35.717 INFO - Atoms: 4888/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 350 Props: 1465837 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.728 Prop: 849.951 PropClause: 800.373 Set: 382.658 Check: 0.0 Back: 35.84 INFO - Atoms: 4932/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 351 Props: 1470791 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.732 Prop: 852.49 PropClause: 802.773 Set: 383.916 Check: 0.0 Back: 35.951 INFO - Atoms: 4954/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 352 Props: 1475763 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.736 Prop: 855.055 PropClause: 805.199 Set: 385.192 Check: 0.0 Back: 36.061 INFO - Atoms: 4972/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 353 Props: 1480750 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.741 Prop: 857.011 PropClause: 807.013 Set: 386.449 Check: 0.0 Back: 36.173 INFO - Atoms: 4987/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 354 Props: 1485751 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.745 Prop: 859.457 PropClause: 809.318 Set: 387.722 Check: 0.0 Back: 36.286 INFO - Atoms: 5001/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 355 Props: 1490765 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.75 Prop: 862.876 PropClause: 812.596 Set: 389.042 Check: 0.0 Back: 36.4 INFO - Atoms: 5014/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 356 Props: 1495684 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.756 Prop: 866.112 PropClause: 815.694 Set: 390.298 Check: 0.0 Back: 36.517 INFO - Atoms: 4919/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 357 Props: 1500639 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.76 Prop: 868.432 PropClause: 817.875 Set: 391.534 Check: 0.0 Back: 36.627 INFO - Atoms: 4955/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 358 Props: 1505656 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.766 Prop: 870.429 PropClause: 819.731 Set: 392.793 Check: 0.0 Back: 36.741 INFO - Atoms: 5017/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 359 Props: 1510615 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.77 Prop: 872.333 PropClause: 821.489 Set: 397.537 Check: 0.0 Back: 36.855 INFO - Atoms: 4959/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 360 Props: 1515603 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.773 Prop: 873.883 PropClause: 822.897 Set: 398.604 Check: 0.0 Back: 36.969 INFO - Atoms: 4988/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 361 Props: 1520559 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.777 Prop: 875.484 PropClause: 824.357 Set: 399.679 Check: 0.0 Back: 37.08 INFO - Atoms: 4956/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 362 Props: 1525553 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.78 Prop: 877.096 PropClause: 825.821 Set: 400.766 Check: 0.0 Back: 37.19 INFO - Atoms: 4994/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 363 Props: 1530554 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.782 Prop: 878.723 PropClause: 827.305 Set: 401.849 Check: 0.0 Back: 37.302 INFO - Atoms: 5001/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 364 Props: 1535554 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.785 Prop: 880.295 PropClause: 828.733 Set: 402.937 Check: 0.0 Back: 37.414 INFO - Atoms: 5000/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 365 Props: 1540435 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.789 Prop: 882.369 PropClause: 830.67 Set: 403.992 Check: 0.0 Back: 37.526 INFO - Atoms: 4881/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 366 Props: 1548896 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.797 Prop: 886.912 PropClause: 834.973 Set: 405.993 Check: 0.0 Back: 37.636 INFO - Atoms: 8461/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 367 Props: 1557356 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.802 Prop: 892.829 PropClause: 840.648 Set: 407.942 Check: 0.0 Back: 37.846 INFO - Atoms: 8460/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 368 Props: 1559464 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.805 Prop: 896.052 PropClause: 843.811 Set: 408.266 Check: 0.0 Back: 38.057 INFO - Atoms: 2108/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 369 Props: 1562080 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.81 Prop: 896.853 PropClause: 844.538 Set: 408.666 Check: 0.0 Back: 38.104 INFO - Atoms: 2616/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 370 Props: 1565412 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.815 Prop: 897.892 PropClause: 845.483 Set: 409.319 Check: 0.0 Back: 38.162 INFO - Atoms: 3332/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 371 Props: 1568739 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.819 Prop: 899.073 PropClause: 846.569 Set: 409.939 Check: 0.0 Back: 38.239 INFO - Atoms: 3327/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 372 Props: 1572640 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.823 Prop: 900.19 PropClause: 847.577 Set: 410.735 Check: 0.0 Back: 38.313 INFO - Atoms: 3901/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 373 Props: 1575444 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.828 Prop: 901.55 PropClause: 848.858 Set: 411.227 Check: 0.0 Back: 38.403 INFO - Atoms: 2804/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 374 Props: 1578956 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.833 Prop: 902.839 PropClause: 850.045 Set: 411.942 Check: 0.0 Back: 38.468 INFO - Atoms: 3512/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 375 Props: 1582779 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.837 Prop: 904.505 PropClause: 851.603 Set: 412.707 Check: 0.0 Back: 38.552 INFO - Atoms: 3823/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 376 Props: 1586638 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.844 Prop: 906.168 PropClause: 853.155 Set: 413.493 Check: 0.0 Back: 38.643 INFO - Atoms: 3859/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 377 Props: 1590539 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.849 Prop: 907.938 PropClause: 854.812 Set: 414.267 Check: 0.0 Back: 38.731 INFO - Atoms: 3901/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 378 Props: 1594454 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.854 Prop: 909.686 PropClause: 856.449 Set: 415.057 Check: 0.0 Back: 38.819 INFO - Atoms: 3915/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 379 Props: 1597252 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.858 Prop: 910.749 PropClause: 857.433 Set: 415.535 Check: 0.0 Back: 38.909 INFO - Atoms: 2798/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 380 Props: 1601089 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.862 Prop: 912.047 PropClause: 858.624 Set: 416.297 Check: 0.0 Back: 38.971 INFO - Atoms: 3837/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 381 Props: 1609550 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.87 Prop: 917.046 PropClause: 863.382 Set: 418.343 Check: 0.0 Back: 39.056 INFO - Atoms: 8461/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 382 Props: 1611683 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.875 Prop: 922.244 PropClause: 868.519 Set: 418.678 Check: 0.0 Back: 39.28 INFO - Atoms: 2133/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 383 Props: 1613808 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.879 Prop: 922.926 PropClause: 869.141 Set: 419.005 Check: 0.0 Back: 39.329 INFO - Atoms: 2125/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 384 Props: 1617448 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.884 Prop: 923.821 PropClause: 869.932 Set: 419.709 Check: 0.0 Back: 39.376 INFO - Atoms: 3640/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 385 Props: 1620667 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.888 Prop: 924.837 PropClause: 870.853 Set: 420.328 Check: 0.0 Back: 39.457 INFO - Atoms: 3219/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 386 Props: 1623900 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.89 Prop: 925.744 PropClause: 871.668 Set: 420.922 Check: 0.0 Back: 39.529 INFO - Atoms: 3233/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 387 Props: 1626944 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.894 Prop: 926.626 PropClause: 872.464 Set: 421.472 Check: 0.0 Back: 39.603 INFO - Atoms: 3044/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 388 Props: 1629545 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.9 Prop: 927.561 PropClause: 873.326 Set: 421.877 Check: 0.0 Back: 39.672 INFO - Atoms: 2601/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 389 Props: 1632789 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.903 Prop: 928.557 PropClause: 874.229 Set: 422.452 Check: 0.0 Back: 39.732 INFO - Atoms: 3244/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 390 Props: 1636003 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.908 Prop: 929.617 PropClause: 875.199 Set: 423.056 Check: 0.0 Back: 39.805 INFO - Atoms: 3214/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 391 Props: 1640033 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.913 Prop: 931.167 PropClause: 876.633 Set: 423.899 Check: 0.0 Back: 39.877 INFO - Atoms: 4030/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 392 Props: 1644456 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.92 Prop: 933.329 PropClause: 878.668 Set: 424.861 Check: 0.0 Back: 39.968 INFO - Atoms: 4423/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 393 Props: 1648483 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.925 Prop: 935.594 PropClause: 880.819 Set: 425.712 Check: 0.0 Back: 40.069 INFO - Atoms: 4027/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 394 Props: 1656943 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.929 Prop: 940.117 PropClause: 885.099 Set: 427.723 Check: 0.0 Back: 40.17 INFO - Atoms: 8460/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 395 Props: 1658976 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.934 Prop: 942.853 PropClause: 887.777 Set: 428.028 Check: 0.0 Back: 40.381 INFO - Atoms: 2033/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 396 Props: 1661046 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.938 Prop: 943.41 PropClause: 888.275 Set: 428.346 Check: 0.0 Back: 40.426 INFO - Atoms: 2070/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 397 Props: 1664362 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.943 Prop: 944.457 PropClause: 889.229 Set: 428.982 Check: 0.0 Back: 40.476 INFO - Atoms: 3316/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 398 Props: 1667959 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.947 Prop: 945.858 PropClause: 890.528 Set: 429.729 Check: 0.0 Back: 40.55 INFO - Atoms: 3597/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 399 Props: 1670059 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.951 Prop: 947.12 PropClause: 891.729 Set: 430.05 Check: 0.0 Back: 40.635 INFO - Atoms: 2100/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 400 Props: 1672129 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.955 Prop: 947.676 PropClause: 892.227 Set: 430.369 Check: 0.0 Back: 40.682 INFO - Atoms: 2070/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 401 Props: 1674994 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.959 Prop: 948.268 PropClause: 892.739 Set: 430.818 Check: 0.0 Back: 40.728 INFO - Atoms: 2865/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 402 Props: 1677313 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.963 Prop: 948.995 PropClause: 893.401 Set: 431.199 Check: 0.0 Back: 40.794 INFO - Atoms: 2319/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 403 Props: 1679585 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.967 Prop: 949.52 PropClause: 893.86 Set: 431.556 Check: 0.0 Back: 40.845 INFO - Atoms: 2272/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 404 Props: 1682744 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.971 Prop: 950.313 PropClause: 894.563 Set: 432.127 Check: 0.0 Back: 40.897 INFO - Atoms: 3159/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 405 Props: 1685288 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.975 Prop: 951.011 PropClause: 895.19 Set: 432.526 Check: 0.0 Back: 40.974 INFO - Atoms: 2544/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 406 Props: 1687896 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.979 Prop: 951.601 PropClause: 895.707 Set: 432.937 Check: 0.0 Back: 41.031 INFO - Atoms: 2608/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 407 Props: 1690504 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.983 Prop: 952.128 PropClause: 896.161 Set: 433.351 Check: 0.0 Back: 41.09 INFO - Atoms: 2608/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 408 Props: 1693112 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.986 Prop: 952.647 PropClause: 896.608 Set: 433.761 Check: 0.0 Back: 41.148 INFO - Atoms: 2608/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 409 Props: 1695872 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.994 Prop: 953.243 PropClause: 897.126 Set: 434.202 Check: 0.0 Back: 41.206 INFO - Atoms: 2760/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 410 Props: 1700215 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.003 Prop: 954.735 PropClause: 898.495 Set: 435.055 Check: 0.0 Back: 41.268 INFO - Atoms: 4343/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 411 Props: 1705196 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.012 Prop: 957.168 PropClause: 900.787 Set: 436.069 Check: 0.0 Back: 41.366 INFO - Atoms: 4981/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 412 Props: 1712421 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.017 Prop: 960.209 PropClause: 903.621 Set: 437.573 Check: 0.0 Back: 41.479 INFO - Atoms: 7225/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 413 Props: 1719749 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.022 Prop: 964.437 PropClause: 907.644 Set: 439.085 Check: 0.0 Back: 41.662 INFO - Atoms: 7328/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 414 Props: 1727125 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.026 Prop: 968.301 PropClause: 911.298 Set: 440.616 Check: 0.0 Back: 41.843 INFO - Atoms: 7376/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 415 Props: 1734609 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.03 Prop: 973.23 PropClause: 916.013 Set: 442.17 Check: 0.0 Back: 42.027 INFO - Atoms: 7484/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 416 Props: 1742154 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.035 Prop: 976.781 PropClause: 919.339 Set: 443.723 Check: 0.0 Back: 42.218 INFO - Atoms: 7545/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 417 Props: 1750615 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.039 Prop: 982.691 PropClause: 925.005 Set: 445.515 Check: 0.0 Back: 42.405 INFO - Atoms: 8461/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 418 Props: 1753020 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.043 Prop: 985.969 PropClause: 928.216 Set: 445.908 Check: 0.0 Back: 42.618 INFO - Atoms: 2405/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 419 Props: 1755413 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.047 Prop: 986.486 PropClause: 928.666 Set: 446.293 Check: 0.0 Back: 42.671 INFO - Atoms: 2393/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 420 Props: 1758541 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.103 Prop: 987.274 PropClause: 929.366 Set: 446.858 Check: 0.0 Back: 42.725 INFO - Atoms: 3128/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 421 Props: 1761668 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.168 Prop: 988.104 PropClause: 930.108 Set: 447.423 Check: 0.0 Back: 42.795 INFO - Atoms: 3127/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 422 Props: 1765589 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.213 Prop: 989.394 PropClause: 931.286 Set: 448.184 Check: 0.0 Back: 42.865 INFO - Atoms: 3921/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 423 Props: 1769747 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.336 Prop: 990.583 PropClause: 932.359 Set: 448.983 Check: 0.0 Back: 42.953 INFO - Atoms: 4158/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 424 Props: 1772178 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.343 Prop: 991.446 PropClause: 933.154 Set: 449.368 Check: 0.0 Back: 43.046 INFO - Atoms: 2431/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 425 Props: 1776063 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.352 Prop: 993.062 PropClause: 934.66 Set: 450.116 Check: 0.0 Back: 43.1 INFO - Atoms: 3885/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 426 Props: 1784524 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.369 Prop: 996.047 PropClause: 937.404 Set: 451.91 Check: 0.0 Back: 43.188 INFO - Atoms: 8461/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 427 Props: 1789801 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.376 Prop: 998.373 PropClause: 939.58 Set: 452.972 Check: 0.0 Back: 43.389 INFO - Atoms: 5277/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 428 Props: 1795507 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.39 Prop: 1000.885 PropClause: 941.929 Set: 454.13 Check: 0.0 Back: 43.508 INFO - Atoms: 5706/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 429 Props: 1797841 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.4 Prop: 1002.614 PropClause: 943.592 Set: 454.501 Check: 0.0 Back: 43.648 INFO - Atoms: 2334/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 430 Props: 1805148 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.41 Prop: 1006.366 PropClause: 947.137 Set: 456.047 Check: 0.0 Back: 43.7 INFO - Atoms: 7307/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 431 Props: 1813605 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.427 Prop: 1011.109 PropClause: 951.639 Set: 457.809 Check: 0.0 Back: 43.879 INFO - Atoms: 8457/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 432 Props: 1815933 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.436 Prop: 1014.444 PropClause: 954.897 Set: 458.179 Check: 0.0 Back: 44.091 INFO - Atoms: 2328/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 433 Props: 1818261 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.447 Prop: 1015.072 PropClause: 955.459 Set: 458.549 Check: 0.0 Back: 44.144 INFO - Atoms: 2328/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 434 Props: 1826722 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.465 Prop: 1018.551 PropClause: 958.698 Set: 460.312 Check: 0.0 Back: 44.197 INFO - Atoms: 8461/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 435 Props: 1829084 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.474 Prop: 1022.062 PropClause: 962.143 Set: 460.691 Check: 0.0 Back: 44.408 INFO - Atoms: 2362/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 436 Props: 1834369 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.492 Prop: 1024.307 PropClause: 964.238 Set: 461.8 Check: 0.0 Back: 44.46 INFO - Atoms: 5285/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 437 Props: 1836812 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.501 Prop: 1026.138 PropClause: 965.999 Set: 462.187 Check: 0.0 Back: 44.586 INFO - Atoms: 2443/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 438 Props: 1841626 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.512 Prop: 1027.795 PropClause: 967.519 Set: 463.157 Check: 0.0 Back: 44.642 INFO - Atoms: 4814/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 439 Props: 1849134 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.521 Prop: 1030.831 PropClause: 970.344 Set: 464.691 Check: 0.0 Back: 44.751 INFO - Atoms: 7508/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 440 Props: 1857594 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.537 Prop: 1033.631 PropClause: 972.905 Set: 466.447 Check: 0.0 Back: 44.927 INFO - Atoms: 8460/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 441 Props: 1859951 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.545 Prop: 1035.375 PropClause: 974.582 Set: 466.82 Check: 0.0 Back: 45.14 INFO - Atoms: 2357/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 442 Props: 1865221 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.553 Prop: 1036.83 PropClause: 975.887 Set: 467.898 Check: 0.0 Back: 45.193 INFO - Atoms: 5270/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 443 Props: 1870928 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.566 Prop: 1038.543 PropClause: 977.437 Set: 469.066 Check: 0.0 Back: 45.311 INFO - Atoms: 5707/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 444 Props: 1874231 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.575 Prop: 1039.946 PropClause: 978.747 Set: 469.646 Check: 0.0 Back: 45.438 INFO - Atoms: 3303/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 445 Props: 1877214 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.587 Prop: 1041.213 PropClause: 979.929 Set: 470.18 Check: 0.0 Back: 45.512 INFO - Atoms: 2983/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 446 Props: 1880481 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.598 Prop: 1042.158 PropClause: 980.782 Set: 470.787 Check: 0.0 Back: 45.58 INFO - Atoms: 3267/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 447 Props: 1883742 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.609 Prop: 1043.304 PropClause: 981.833 Set: 471.389 Check: 0.0 Back: 45.655 INFO - Atoms: 3261/9485 Clauses: 230 Axioms: 39562 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Confl: 752 Props: 24458 Tprops: 14617 Decides: 10642 RSplits: 0 INFO - Times: Expl: 104.075 Prop: 5703.514 PropClause: 18.748 Set: 4241.999 Check: 43.034 Back: 38.506 INFO - Atoms: 141/230 Clauses: 752 Axioms: 192 INFO - CCTimes: iE 115663 eq 17819942 cc 19835321 setRep 19271919 INFO - Merges: 45923, cc:76864 INFO - BVTimes: BB 112664837 BB_DPLL 4633887932 Graph 291097 INFO - BitBlastingClauses: 141925 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Formula is unsat unsat