/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/bruttomesso/lfsr/lfsr_008_095_128.smt2


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 846540264
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 305887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.63 Prop: 456.74 PropClause: 444.677 Set: 137.9 Check: 0.0 Back: 0.0
INFO - Atoms: 305887/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 611781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.69 Prop: 998.375 PropClause: 978.632 Set: 195.684 Check: 0.0 Back: 7.266
INFO - Atoms: 305894/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 917675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.752 Prop: 1570.89 PropClause: 1541.582 Set: 260.268 Check: 0.0 Back: 14.487
INFO - Atoms: 305894/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 1223581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.835 Prop: 2124.341 PropClause: 2087.419 Set: 317.763 Check: 0.0 Back: 21.982
INFO - Atoms: 305906/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 1529468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.889 Prop: 2661.831 PropClause: 2617.354 Set: 375.54 Check: 0.0 Back: 29.458
INFO - Atoms: 305887/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 1835337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.936 Prop: 3167.646 PropClause: 3115.652 Set: 431.668 Check: 0.0 Back: 36.916
INFO - Atoms: 305869/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 2141206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.978 Prop: 3674.0 PropClause: 3614.473 Set: 488.498 Check: 0.0 Back: 44.26
INFO - Atoms: 305869/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 2447075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.03 Prop: 4225.24 PropClause: 4158.09 Set: 547.232 Check: 0.0 Back: 51.631
INFO - Atoms: 305869/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 2752928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.079 Prop: 4777.178 PropClause: 4702.462 Set: 605.181 Check: 0.0 Back: 59.034
INFO - Atoms: 305853/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 3058781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.136 Prop: 5319.501 PropClause: 5237.223 Set: 662.384 Check: 0.0 Back: 66.458
INFO - Atoms: 305853/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 3364617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.183 Prop: 5870.186 PropClause: 5780.284 Set: 722.165 Check: 0.0 Back: 73.825
INFO - Atoms: 305836/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 3670438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.24 Prop: 6389.18 PropClause: 6291.712 Set: 778.913 Check: 0.0 Back: 81.214
INFO - Atoms: 305821/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 3976246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.347 Prop: 6927.388 PropClause: 6822.354 Set: 838.79 Check: 0.0 Back: 88.534
INFO - Atoms: 305808/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 4281301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.367 Prop: 7461.48 PropClause: 7348.915 Set: 897.552 Check: 0.0 Back: 95.947
INFO - Atoms: 305055/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 4586345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.388 Prop: 7990.305 PropClause: 7870.208 Set: 954.361 Check: 0.0 Back: 103.274
INFO - Atoms: 305044/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 4891378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.434 Prop: 8523.044 PropClause: 8395.427 Set: 1011.392 Check: 0.0 Back: 110.598
INFO - Atoms: 305033/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 5195840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.463 Prop: 9042.236 PropClause: 8907.128 Set: 1067.694 Check: 0.0 Back: 117.959
INFO - Atoms: 304462/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 5499827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.483 Prop: 9568.107 PropClause: 9425.505 Set: 1124.356 Check: 0.0 Back: 125.35
INFO - Atoms: 303987/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 5803805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.503 Prop: 10083.557 PropClause: 9933.479 Set: 1180.293 Check: 0.0 Back: 132.851
INFO - Atoms: 303978/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 6107404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.522 Prop: 10637.758 PropClause: 10480.138 Set: 1237.732 Check: 0.0 Back: 140.144
INFO - Atoms: 303599/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 6410711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.543 Prop: 11166.114 PropClause: 11000.924 Set: 1294.787 Check: 0.0 Back: 147.549
INFO - Atoms: 303307/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 6714071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.565 Prop: 11691.13 PropClause: 11518.415 Set: 1351.384 Check: 0.0 Back: 154.9
INFO - Atoms: 303360/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 7016805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.586 Prop: 12178.514 PropClause: 11998.321 Set: 1493.043 Check: 0.0 Back: 162.266
INFO - Atoms: 302734/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 7319369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.604 Prop: 12659.522 PropClause: 12471.867 Set: 1548.75 Check: 0.0 Back: 169.414
INFO - Atoms: 302564/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 7621713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.623 Prop: 13168.491 PropClause: 12973.374 Set: 1604.265 Check: 0.0 Back: 176.639
INFO - Atoms: 302344/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 7923942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.643 Prop: 13683.459 PropClause: 13480.908 Set: 1659.918 Check: 0.0 Back: 183.871
INFO - Atoms: 302229/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 8225896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.664 Prop: 14204.651 PropClause: 13994.699 Set: 1715.64 Check: 0.0 Back: 191.091
INFO - Atoms: 301954/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 8527702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.683 Prop: 14733.261 PropClause: 14515.882 Set: 1771.397 Check: 0.0 Back: 198.349
INFO - Atoms: 301806/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 8829264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.704 Prop: 15232.869 PropClause: 15008.036 Set: 1827.046 Check: 0.0 Back: 205.642
INFO - Atoms: 301562/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 9130538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.723 Prop: 15733.114 PropClause: 15500.878 Set: 1882.646 Check: 0.0 Back: 212.795
INFO - Atoms: 301274/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 9431805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.743 Prop: 16257.843 PropClause: 16018.156 Set: 1938.23 Check: 0.0 Back: 219.977
INFO - Atoms: 301267/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 9732915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.762 Prop: 16779.014 PropClause: 16531.873 Set: 1994.533 Check: 0.0 Back: 227.298
INFO - Atoms: 301110/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 10033794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.781 Prop: 17276.206 PropClause: 17021.602 Set: 2052.513 Check: 0.0 Back: 234.651
INFO - Atoms: 300879/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 10334477 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.803 Prop: 17809.517 PropClause: 17547.474 Set: 2107.971 Check: 0.0 Back: 241.872
INFO - Atoms: 300683/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 10634690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.825 Prop: 18320.496 PropClause: 18051.074 Set: 2162.779 Check: 0.0 Back: 249.24
INFO - Atoms: 300213/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 10934428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.847 Prop: 18837.117 PropClause: 18560.347 Set: 2338.618 Check: 0.0 Back: 256.428
INFO - Atoms: 299738/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 11233970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.869 Prop: 19360.164 PropClause: 19075.952 Set: 2395.519 Check: 0.0 Back: 263.465
INFO - Atoms: 299542/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 11533318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.889 Prop: 19896.96 PropClause: 19605.334 Set: 2453.905 Check: 0.0 Back: 270.676
INFO - Atoms: 299348/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 11832192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.908 Prop: 20435.85 PropClause: 20136.834 Set: 2510.353 Check: 0.0 Back: 277.903
INFO - Atoms: 298874/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 12130898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.93 Prop: 20932.311 PropClause: 20625.882 Set: 2565.61 Check: 0.0 Back: 285.079
INFO - Atoms: 298706/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 12429384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.961 Prop: 21436.595 PropClause: 21122.796 Set: 2619.815 Check: 0.0 Back: 292.251
INFO - Atoms: 298486/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 12727698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.98 Prop: 21952.242 PropClause: 21631.086 Set: 2675.011 Check: 0.0 Back: 299.427
INFO - Atoms: 298314/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 13025792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.999 Prop: 22473.277 PropClause: 22144.775 Set: 2730.331 Check: 0.0 Back: 306.579
INFO - Atoms: 298094/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 13323716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.017 Prop: 23001.508 PropClause: 22665.658 Set: 2785.581 Check: 0.0 Back: 313.773
INFO - Atoms: 297924/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 13621420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.036 Prop: 23534.937 PropClause: 23191.731 Set: 2841.101 Check: 0.0 Back: 320.925
INFO - Atoms: 297704/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 13918862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.056 Prop: 24044.256 PropClause: 23693.712 Set: 2984.652 Check: 0.0 Back: 328.029
INFO - Atoms: 297442/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 14216086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.075 Prop: 24537.652 PropClause: 24179.785 Set: 3038.916 Check: 0.0 Back: 335.061
INFO - Atoms: 297224/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 14513114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.098 Prop: 25078.263 PropClause: 24713.054 Set: 3094.751 Check: 0.0 Back: 342.116
INFO - Atoms: 297028/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 14809856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.119 Prop: 25608.018 PropClause: 25235.457 Set: 3150.421 Check: 0.0 Back: 349.292
INFO - Atoms: 296742/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 15106428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.139 Prop: 26120.342 PropClause: 25740.45 Set: 3204.6 Check: 0.0 Back: 356.473
INFO - Atoms: 296572/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 15402780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.159 Prop: 26653.556 PropClause: 26266.359 Set: 3259.8 Check: 0.0 Back: 363.635
INFO - Atoms: 296352/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 15698962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.178 Prop: 27153.704 PropClause: 26759.204 Set: 3314.122 Check: 0.0 Back: 370.795
INFO - Atoms: 296182/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 15994924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.201 Prop: 27639.682 PropClause: 27237.852 Set: 3368.66 Check: 0.0 Back: 377.897
INFO - Atoms: 295962/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 16290716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.222 Prop: 28152.204 PropClause: 27742.859 Set: 3425.051 Check: 0.0 Back: 384.966
INFO - Atoms: 295792/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 16586286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.247 Prop: 28654.148 PropClause: 28237.525 Set: 3479.931 Check: 0.0 Back: 392.098
INFO - Atoms: 295570/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 16881688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.267 Prop: 29181.879 PropClause: 28757.949 Set: 3535.184 Check: 0.0 Back: 399.19
INFO - Atoms: 295402/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 17176870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.29 Prop: 29668.023 PropClause: 29236.838 Set: 3589.151 Check: 0.0 Back: 406.459
INFO - Atoms: 295182/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 17471856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.311 Prop: 30154.409 PropClause: 29715.93 Set: 3643.179 Check: 0.0 Back: 413.495
INFO - Atoms: 294986/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 17766648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.331 Prop: 30682.95 PropClause: 30237.199 Set: 3698.228 Check: 0.0 Back: 420.52
INFO - Atoms: 294792/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 18061244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.346 Prop: 31175.775 PropClause: 30722.746 Set: 3752.252 Check: 0.0 Back: 427.665
INFO - Atoms: 294596/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 18355646 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.366 Prop: 31669.353 PropClause: 31209.033 Set: 3806.549 Check: 0.0 Back: 434.713
INFO - Atoms: 294402/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 18649876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.388 Prop: 32177.116 PropClause: 31709.565 Set: 3862.451 Check: 0.0 Back: 441.777
INFO - Atoms: 294230/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 18943888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.407 Prop: 32653.873 PropClause: 32179.046 Set: 3916.122 Check: 0.0 Back: 448.834
INFO - Atoms: 294012/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 19237730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.428 Prop: 33145.457 PropClause: 32663.348 Set: 3969.964 Check: 0.0 Back: 455.867
INFO - Atoms: 293842/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 19531352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.452 Prop: 33644.143 PropClause: 33154.775 Set: 4026.164 Check: 0.0 Back: 462.877
INFO - Atoms: 293622/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 19824804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.47 Prop: 34158.754 PropClause: 33662.179 Set: 4082.815 Check: 0.0 Back: 469.889
INFO - Atoms: 293452/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 20118036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.487 Prop: 34640.235 PropClause: 34136.424 Set: 4136.503 Check: 0.0 Back: 476.908
INFO - Atoms: 293232/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 20411098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.505 Prop: 35140.334 PropClause: 34629.275 Set: 4191.971 Check: 0.0 Back: 483.863
INFO - Atoms: 293062/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 20703940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.522 Prop: 35627.46 PropClause: 35109.176 Set: 4245.698 Check: 0.0 Back: 490.878
INFO - Atoms: 292842/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 20996610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.58 Prop: 36102.783 PropClause: 35577.244 Set: 4398.862 Check: 0.0 Back: 498.044
INFO - Atoms: 292670/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 21289062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.658 Prop: 36620.272 PropClause: 36087.51 Set: 4455.9 Check: 0.0 Back: 505.061
INFO - Atoms: 292452/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 21581342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.721 Prop: 37175.636 PropClause: 36634.782 Set: 4525.762 Check: 0.0 Back: 512.109
INFO - Atoms: 292280/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 21873402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.74 Prop: 37763.174 PropClause: 37213.664 Set: 4597.579 Check: 0.0 Back: 519.639
INFO - Atoms: 292060/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 22164923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.757 Prop: 38312.015 PropClause: 37753.903 Set: 4668.476 Check: 0.0 Back: 527.173
INFO - Atoms: 291521/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 22456224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.773 Prop: 38885.533 PropClause: 38318.807 Set: 4738.602 Check: 0.0 Back: 534.692
INFO - Atoms: 291301/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 22747380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.791 Prop: 39477.634 PropClause: 38902.331 Set: 4811.532 Check: 0.0 Back: 542.204
INFO - Atoms: 291156/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 23038291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.811 Prop: 40009.246 PropClause: 39426.743 Set: 4959.57 Check: 0.0 Back: 549.484
INFO - Atoms: 290911/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 23329032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.832 Prop: 40529.66 PropClause: 39940.014 Set: 5013.757 Check: 0.0 Back: 556.381
INFO - Atoms: 290741/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 23619553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.85 Prop: 41046.684 PropClause: 40449.864 Set: 5067.389 Check: 0.0 Back: 563.386
INFO - Atoms: 290521/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 23909904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.868 Prop: 41561.545 PropClause: 40957.586 Set: 5120.586 Check: 0.0 Back: 570.375
INFO - Atoms: 290351/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 24200037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.886 Prop: 42064.678 PropClause: 41453.559 Set: 5174.799 Check: 0.0 Back: 577.318
INFO - Atoms: 290133/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 24490000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.904 Prop: 42586.059 PropClause: 41967.793 Set: 5229.089 Check: 0.0 Back: 584.249
INFO - Atoms: 289963/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 24779743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.959 Prop: 43108.207 PropClause: 42482.801 Set: 5283.145 Check: 0.0 Back: 591.202
INFO - Atoms: 289743/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 25069309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.018 Prop: 43634.913 PropClause: 43002.308 Set: 5340.302 Check: 0.0 Back: 598.143
INFO - Atoms: 289566/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 25358660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.03 Prop: 44152.633 PropClause: 43512.916 Set: 5393.859 Check: 0.0 Back: 605.12
INFO - Atoms: 289351/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 25648033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.043 Prop: 44638.912 PropClause: 43992.045 Set: 5447.144 Check: 0.0 Back: 612.113
INFO - Atoms: 289373/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 25937186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.057 Prop: 45131.595 PropClause: 44477.552 Set: 5501.573 Check: 0.0 Back: 619.194
INFO - Atoms: 289153/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 26226160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.07 Prop: 45659.51 PropClause: 44998.202 Set: 5556.758 Check: 0.0 Back: 626.141
INFO - Atoms: 288974/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 26514921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.083 Prop: 46177.071 PropClause: 45508.61 Set: 5612.849 Check: 0.0 Back: 633.076
INFO - Atoms: 288761/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 26803595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.096 Prop: 46702.734 PropClause: 46027.131 Set: 5779.833 Check: 0.0 Back: 640.29
INFO - Atoms: 288674/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 27092061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.109 Prop: 47198.789 PropClause: 46516.072 Set: 5833.686 Check: 0.0 Back: 647.135
INFO - Atoms: 288466/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 27380357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.124 Prop: 47701.151 PropClause: 47011.301 Set: 5886.687 Check: 0.0 Back: 654.092
INFO - Atoms: 288296/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 27668433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.138 Prop: 48194.91 PropClause: 47497.87 Set: 5939.942 Check: 0.0 Back: 660.979
INFO - Atoms: 288076/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 27956313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.151 Prop: 48713.947 PropClause: 48009.812 Set: 5992.682 Check: 0.0 Back: 667.864
INFO - Atoms: 287880/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 28243997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.164 Prop: 49228.465 PropClause: 48517.164 Set: 6046.182 Check: 0.0 Back: 674.812
INFO - Atoms: 287684/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 28531252 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.179 Prop: 49728.555 PropClause: 49010.14 Set: 6198.573 Check: 0.0 Back: 681.753
INFO - Atoms: 287255/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 28818272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.192 Prop: 50233.284 PropClause: 49507.779 Set: 6254.514 Check: 0.0 Back: 688.594
INFO - Atoms: 287020/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 29105113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.204 Prop: 50718.832 PropClause: 49986.275 Set: 6306.817 Check: 0.0 Back: 695.831
INFO - Atoms: 286841/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 29391743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.218 Prop: 51191.193 PropClause: 50451.593 Set: 6359.502 Check: 0.0 Back: 702.623
INFO - Atoms: 286630/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 29678194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.231 Prop: 51691.98 PropClause: 50945.226 Set: 6413.888 Check: 0.0 Back: 709.49
INFO - Atoms: 286451/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 29964434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.246 Prop: 52190.823 PropClause: 51436.992 Set: 6467.165 Check: 0.0 Back: 716.35
INFO - Atoms: 286240/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 30250496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.26 Prop: 52698.305 PropClause: 51937.386 Set: 6620.944 Check: 0.0 Back: 723.234
INFO - Atoms: 286062/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 30536346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.273 Prop: 53190.84 PropClause: 52422.916 Set: 6674.424 Check: 0.0 Back: 730.083
INFO - Atoms: 285850/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 30822026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.286 Prop: 53677.126 PropClause: 52902.139 Set: 6727.541 Check: 0.0 Back: 736.945
INFO - Atoms: 285680/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 31107484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.3 Prop: 54144.416 PropClause: 53362.433 Set: 6779.666 Check: 0.0 Back: 743.804
INFO - Atoms: 285458/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 31392768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.314 Prop: 54650.168 PropClause: 53861.167 Set: 6832.186 Check: 0.0 Back: 750.525
INFO - Atoms: 285284/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 31677838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.327 Prop: 55136.469 PropClause: 54340.445 Set: 6884.262 Check: 0.0 Back: 757.894
INFO - Atoms: 285070/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 31962738 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.34 Prop: 55644.033 PropClause: 54840.982 Set: 7068.29 Check: 0.0 Back: 764.707
INFO - Atoms: 284900/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 32247416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.354 Prop: 56138.534 PropClause: 55328.469 Set: 7120.564 Check: 0.0 Back: 771.387
INFO - Atoms: 284678/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 32531917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.366 Prop: 56619.746 PropClause: 55802.596 Set: 7174.159 Check: 0.0 Back: 778.129
INFO - Atoms: 284501/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 32816205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.379 Prop: 57116.641 PropClause: 56292.47 Set: 7227.542 Check: 0.0 Back: 784.908
INFO - Atoms: 284288/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 33100299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.392 Prop: 57626.7 PropClause: 56795.536 Set: 7281.168 Check: 0.0 Back: 791.665
INFO - Atoms: 284094/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 33384197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.404 Prop: 58125.47 PropClause: 57287.299 Set: 7333.664 Check: 0.0 Back: 798.57
INFO - Atoms: 283898/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 33667925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.418 Prop: 58638.926 PropClause: 57793.769 Set: 7385.863 Check: 0.0 Back: 805.391
INFO - Atoms: 283728/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 33951433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.43 Prop: 59138.909 PropClause: 58286.721 Set: 7439.232 Check: 0.0 Back: 812.168
INFO - Atoms: 283508/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 34234771 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.443 Prop: 59643.49 PropClause: 58784.313 Set: 7493.793 Check: 0.0 Back: 819.016
INFO - Atoms: 283338/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 34517889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.455 Prop: 60140.5 PropClause: 59274.328 Set: 7546.876 Check: 0.0 Back: 825.858
INFO - Atoms: 283118/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 34800833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.469 Prop: 60651.16 PropClause: 59778.023 Set: 7600.818 Check: 0.0 Back: 832.608
INFO - Atoms: 282944/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 35083563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.481 Prop: 61158.413 PropClause: 60278.218 Set: 7653.681 Check: 0.0 Back: 839.397
INFO - Atoms: 282730/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 35366123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.494 Prop: 61670.402 PropClause: 60783.21 Set: 7707.597 Check: 0.0 Back: 846.185
INFO - Atoms: 282560/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 35648463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.507 Prop: 62186.385 PropClause: 61292.247 Set: 7760.319 Check: 0.0 Back: 852.996
INFO - Atoms: 282340/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 35930633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.519 Prop: 62682.401 PropClause: 61781.33 Set: 7813.229 Check: 0.0 Back: 859.768
INFO - Atoms: 282170/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 36212583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.532 Prop: 63151.795 PropClause: 62243.825 Set: 7864.574 Check: 0.0 Back: 866.517
INFO - Atoms: 281950/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 36494357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.545 Prop: 63637.853 PropClause: 62722.851 Set: 7917.516 Check: 0.0 Back: 873.391
INFO - Atoms: 281774/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 36775917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.56 Prop: 64136.623 PropClause: 63214.654 Set: 8105.975 Check: 0.0 Back: 880.264
INFO - Atoms: 281560/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 37057305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.573 Prop: 64647.164 PropClause: 63718.246 Set: 8158.71 Check: 0.0 Back: 886.869
INFO - Atoms: 281388/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 37338473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.587 Prop: 65153.069 PropClause: 64217.236 Set: 8210.742 Check: 0.0 Back: 893.612
INFO - Atoms: 281168/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 37619471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.6 Prop: 65616.274 PropClause: 64673.503 Set: 8262.596 Check: 0.0 Back: 900.472
INFO - Atoms: 280998/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 37900251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.619 Prop: 66079.128 PropClause: 65129.505 Set: 8313.776 Check: 0.0 Back: 907.161
INFO - Atoms: 280780/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 38180855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.66 Prop: 66560.296 PropClause: 65603.723 Set: 8366.006 Check: 0.0 Back: 913.855
INFO - Atoms: 280604/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 38461245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.668 Prop: 67056.231 PropClause: 66092.771 Set: 8420.609 Check: 0.0 Back: 920.552
INFO - Atoms: 280390/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 38741465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.676 Prop: 67541.229 PropClause: 66570.849 Set: 8471.989 Check: 0.0 Back: 927.262
INFO - Atoms: 280220/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 39021463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.684 Prop: 68025.836 PropClause: 67048.583 Set: 8523.474 Check: 0.0 Back: 933.986
INFO - Atoms: 279998/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 39301291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.693 Prop: 68490.434 PropClause: 67506.266 Set: 8573.992 Check: 0.0 Back: 940.772
INFO - Atoms: 279828/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 39580899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.7 Prop: 68960.132 PropClause: 67969.122 Set: 8625.009 Check: 0.0 Back: 947.455
INFO - Atoms: 279608/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 39860337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.71 Prop: 69470.325 PropClause: 68472.372 Set: 8788.755 Check: 0.0 Back: 954.07
INFO - Atoms: 279438/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 40139557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.717 Prop: 69955.791 PropClause: 68950.97 Set: 8840.487 Check: 0.0 Back: 960.692
INFO - Atoms: 279220/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 40418605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.726 Prop: 70443.283 PropClause: 69431.578 Set: 8891.937 Check: 0.0 Back: 967.443
INFO - Atoms: 279048/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 40697435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.732 Prop: 70923.813 PropClause: 69905.238 Set: 8943.323 Check: 0.0 Back: 974.13
INFO - Atoms: 278830/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 40976095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.741 Prop: 71407.47 PropClause: 70382.016 Set: 8994.442 Check: 0.0 Back: 980.784
INFO - Atoms: 278660/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 41254535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.75 Prop: 71871.343 PropClause: 70838.966 Set: 9115.104 Check: 0.0 Back: 987.445
INFO - Atoms: 278440/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 41532805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.757 Prop: 72370.333 PropClause: 71331.045 Set: 9169.276 Check: 0.0 Back: 994.117
INFO - Atoms: 278270/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 41810853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.766 Prop: 72866.54 PropClause: 71820.44 Set: 9220.124 Check: 0.0 Back: 1000.837
INFO - Atoms: 278048/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 42088733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.774 Prop: 73370.186 PropClause: 72317.244 Set: 9271.953 Check: 0.0 Back: 1007.454
INFO - Atoms: 277880/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 42366393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.813 Prop: 73855.009 PropClause: 72795.243 Set: 9325.756 Check: 0.0 Back: 1014.218
INFO - Atoms: 277660/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 42643857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.85 Prop: 74330.344 PropClause: 73263.738 Set: 9376.52 Check: 0.0 Back: 1020.896
INFO - Atoms: 277464/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 42921125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.858 Prop: 74794.172 PropClause: 73720.758 Set: 9427.17 Check: 0.0 Back: 1027.508
INFO - Atoms: 277268/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 43198223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.866 Prop: 75253.162 PropClause: 74172.96 Set: 9478.728 Check: 0.0 Back: 1034.086
INFO - Atoms: 277098/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 43475103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.875 Prop: 75734.745 PropClause: 74647.732 Set: 9531.032 Check: 0.0 Back: 1040.693
INFO - Atoms: 276880/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 43751787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.882 Prop: 76219.847 PropClause: 75126.049 Set: 9582.011 Check: 0.0 Back: 1047.281
INFO - Atoms: 276684/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 44028275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.889 Prop: 76694.222 PropClause: 75593.597 Set: 9698.558 Check: 0.0 Back: 1053.933
INFO - Atoms: 276488/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 44304595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.896 Prop: 77170.589 PropClause: 76063.11 Set: 9751.622 Check: 0.0 Back: 1060.524
INFO - Atoms: 276320/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 44580695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.904 Prop: 77630.389 PropClause: 76515.776 Set: 9804.863 Check: 0.0 Back: 1067.126
INFO - Atoms: 276100/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 44856618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.912 Prop: 78099.508 PropClause: 76978.138 Set: 9854.987 Check: 0.0 Back: 1073.746
INFO - Atoms: 275923/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 45132326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.919 Prop: 78602.574 PropClause: 77474.397 Set: 9905.865 Check: 0.0 Back: 1080.356
INFO - Atoms: 275708/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 45407860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.928 Prop: 79093.342 PropClause: 77958.394 Set: 10054.614 Check: 0.0 Back: 1086.979
INFO - Atoms: 275534/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 45683180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.936 Prop: 79574.512 PropClause: 78432.766 Set: 10105.597 Check: 0.0 Back: 1093.55
INFO - Atoms: 275320/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 45958328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.944 Prop: 80073.06 PropClause: 78924.557 Set: 10155.824 Check: 0.0 Back: 1100.143
INFO - Atoms: 275148/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 46233258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.952 Prop: 80527.373 PropClause: 79372.062 Set: 10206.973 Check: 0.0 Back: 1106.777
INFO - Atoms: 274930/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 46508018 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.959 Prop: 80981.386 PropClause: 79819.304 Set: 10256.838 Check: 0.0 Back: 1113.303
INFO - Atoms: 274760/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 46782558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.967 Prop: 81476.326 PropClause: 80307.446 Set: 10308.763 Check: 0.0 Back: 1119.889
INFO - Atoms: 274540/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 47056926 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.976 Prop: 81983.203 PropClause: 80807.526 Set: 10360.13 Check: 0.0 Back: 1126.54
INFO - Atoms: 274368/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 47331076 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.985 Prop: 82496.642 PropClause: 81314.087 Set: 10412.831 Check: 0.0 Back: 1133.345
INFO - Atoms: 274150/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 47605056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.993 Prop: 83007.754 PropClause: 81818.412 Set: 10464.275 Check: 0.0 Back: 1139.995
INFO - Atoms: 273980/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 47878816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.002 Prop: 83511.779 PropClause: 82315.649 Set: 10594.997 Check: 0.0 Back: 1146.886
INFO - Atoms: 273760/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 48152406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.009 Prop: 83999.562 PropClause: 82796.635 Set: 10646.454 Check: 0.0 Back: 1153.522
INFO - Atoms: 273590/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 48425776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.017 Prop: 84506.889 PropClause: 83297.154 Set: 10698.515 Check: 0.0 Back: 1160.176
INFO - Atoms: 273370/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 48698950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.025 Prop: 85023.31 PropClause: 83806.821 Set: 10749.185 Check: 0.0 Back: 1166.934
INFO - Atoms: 273174/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 48971930 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.033 Prop: 85502.472 PropClause: 84279.226 Set: 10802.118 Check: 0.0 Back: 1173.538
INFO - Atoms: 272980/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 49244740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.041 Prop: 85972.844 PropClause: 84742.863 Set: 10852.483 Check: 0.0 Back: 1180.148
INFO - Atoms: 272810/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 49517328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.05 Prop: 86482.339 PropClause: 85245.158 Set: 10907.364 Check: 0.0 Back: 1186.701
INFO - Atoms: 272588/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 49789746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.057 Prop: 86945.325 PropClause: 85701.439 Set: 10956.541 Check: 0.0 Back: 1194.282
INFO - Atoms: 272418/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 50061946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.066 Prop: 87383.928 PropClause: 86133.285 Set: 11008.327 Check: 0.0 Back: 1200.861
INFO - Atoms: 272200/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 50333974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.074 Prop: 87854.305 PropClause: 86596.936 Set: 11058.368 Check: 0.0 Back: 1207.367
INFO - Atoms: 272028/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 50605782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.084 Prop: 88324.915 PropClause: 87060.8 Set: 11109.071 Check: 0.0 Back: 1213.904
INFO - Atoms: 271808/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 50877413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.093 Prop: 88792.987 PropClause: 87522.185 Set: 11159.183 Check: 0.0 Back: 1220.476
INFO - Atoms: 271631/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 51148833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.1 Prop: 89256.729 PropClause: 87979.223 Set: 11209.654 Check: 0.0 Back: 1226.97
INFO - Atoms: 271420/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 51420083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.109 Prop: 89703.382 PropClause: 88419.224 Set: 11258.326 Check: 0.0 Back: 1233.449
INFO - Atoms: 271250/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 51691111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.117 Prop: 90139.812 PropClause: 88848.975 Set: 11307.775 Check: 0.0 Back: 1239.871
INFO - Atoms: 271028/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 51961969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.125 Prop: 90603.677 PropClause: 89306.212 Set: 11357.447 Check: 0.0 Back: 1246.268
INFO - Atoms: 270858/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 52232607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.133 Prop: 91056.311 PropClause: 89752.144 Set: 11407.361 Check: 0.0 Back: 1252.732
INFO - Atoms: 270638/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 52503069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.142 Prop: 91528.778 PropClause: 90217.897 Set: 11457.482 Check: 0.0 Back: 1259.259
INFO - Atoms: 270462/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 52773319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.15 Prop: 92011.198 PropClause: 90693.602 Set: 11508.003 Check: 0.0 Back: 1265.947
INFO - Atoms: 270250/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 53043373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.157 Prop: 92470.492 PropClause: 91146.194 Set: 11557.037 Check: 0.0 Back: 1272.52
INFO - Atoms: 270054/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 53313231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.165 Prop: 92917.756 PropClause: 91586.721 Set: 11606.586 Check: 0.0 Back: 1279.08
INFO - Atoms: 269858/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 53582919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.172 Prop: 93374.639 PropClause: 92036.979 Set: 11655.744 Check: 0.0 Back: 1285.511
INFO - Atoms: 269688/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 53852389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.18 Prop: 93830.757 PropClause: 92486.424 Set: 11705.407 Check: 0.0 Back: 1292.031
INFO - Atoms: 269470/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 54121663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.187 Prop: 94310.798 PropClause: 92959.861 Set: 11754.534 Check: 0.0 Back: 1298.575
INFO - Atoms: 269274/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 54390743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.195 Prop: 94769.715 PropClause: 93412.115 Set: 11804.182 Check: 0.0 Back: 1305.04
INFO - Atoms: 269080/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 54659653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.203 Prop: 95230.292 PropClause: 93866.1 Set: 11852.472 Check: 0.0 Back: 1311.53
INFO - Atoms: 268910/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 54928343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.21 Prop: 95687.352 PropClause: 94316.43 Set: 11902.406 Check: 0.0 Back: 1317.979
INFO - Atoms: 268690/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 55196861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.219 Prop: 96155.69 PropClause: 94778.164 Set: 11953.177 Check: 0.0 Back: 1324.424
INFO - Atoms: 268518/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 55465161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.226 Prop: 96631.266 PropClause: 95247.082 Set: 12002.677 Check: 0.0 Back: 1330.895
INFO - Atoms: 268300/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 55733265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.233 Prop: 97088.916 PropClause: 95698.12 Set: 12051.719 Check: 0.0 Back: 1337.34
INFO - Atoms: 268104/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 56001173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.241 Prop: 97536.377 PropClause: 96138.982 Set: 12100.741 Check: 0.0 Back: 1343.834
INFO - Atoms: 267908/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 56268887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.249 Prop: 97992.678 PropClause: 96588.662 Set: 12151.821 Check: 0.0 Back: 1350.21
INFO - Atoms: 267714/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 56536405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.257 Prop: 98456.031 PropClause: 97045.46 Set: 12316.638 Check: 0.0 Back: 1356.657
INFO - Atoms: 267518/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 56803753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.265 Prop: 98913.171 PropClause: 97495.943 Set: 12366.505 Check: 0.0 Back: 1362.972
INFO - Atoms: 267348/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 57070881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.274 Prop: 99362.734 PropClause: 97938.925 Set: 12415.477 Check: 0.0 Back: 1369.449
INFO - Atoms: 267128/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 57337839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.282 Prop: 99845.462 PropClause: 98414.706 Set: 12467.821 Check: 0.0 Back: 1375.871
INFO - Atoms: 266958/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 57604579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.289 Prop: 100296.068 PropClause: 98858.774 Set: 12517.201 Check: 0.0 Back: 1382.415
INFO - Atoms: 266740/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 57871149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.297 Prop: 100760.87 PropClause: 99316.998 Set: 12566.593 Check: 0.0 Back: 1388.774
INFO - Atoms: 266570/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 58137497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.305 Prop: 101234.431 PropClause: 99783.952 Set: 12618.56 Check: 0.0 Back: 1395.205
INFO - Atoms: 266348/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 58403675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.313 Prop: 101674.602 PropClause: 100217.566 Set: 12667.224 Check: 0.0 Back: 1401.665
INFO - Atoms: 266178/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 58669633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.32 Prop: 102124.397 PropClause: 100660.853 Set: 12715.441 Check: 0.0 Back: 1408.012
INFO - Atoms: 265958/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 58935423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.328 Prop: 102577.898 PropClause: 101107.831 Set: 12763.838 Check: 0.0 Back: 1414.461
INFO - Atoms: 265790/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 59200993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.336 Prop: 103060.047 PropClause: 101583.385 Set: 12813.656 Check: 0.0 Back: 1420.863
INFO - Atoms: 265570/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 59466393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.344 Prop: 103538.109 PropClause: 102054.911 Set: 12864.5 Check: 0.0 Back: 1427.371
INFO - Atoms: 265400/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 59731573 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.352 Prop: 103995.217 PropClause: 102505.473 Set: 12913.451 Check: 0.0 Back: 1433.759
INFO - Atoms: 265180/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 59996583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.36 Prop: 104457.386 PropClause: 102960.789 Set: 12963.943 Check: 0.0 Back: 1440.153
INFO - Atoms: 265010/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 60261373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.368 Prop: 104909.901 PropClause: 103406.777 Set: 13014.751 Check: 0.0 Back: 1446.51
INFO - Atoms: 264790/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 60525987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.378 Prop: 105377.002 PropClause: 103867.352 Set: 13150.12 Check: 0.0 Back: 1452.846
INFO - Atoms: 264614/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 60790385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.386 Prop: 105847.3 PropClause: 104331.112 Set: 13199.505 Check: 0.0 Back: 1459.182
INFO - Atoms: 264398/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 61054613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.394 Prop: 106316.838 PropClause: 104794.129 Set: 13247.982 Check: 0.0 Back: 1465.563
INFO - Atoms: 264228/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 61318623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.402 Prop: 106771.364 PropClause: 105242.145 Set: 13296.606 Check: 0.0 Back: 1472.077
INFO - Atoms: 264010/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 61582461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.409 Prop: 107222.237 PropClause: 105686.54 Set: 13344.68 Check: 0.0 Back: 1478.403
INFO - Atoms: 263838/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 61846079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.417 Prop: 107651.654 PropClause: 106109.483 Set: 13392.575 Check: 0.0 Back: 1484.71
INFO - Atoms: 263618/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 62109529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.426 Prop: 108086.415 PropClause: 106537.743 Set: 13442.601 Check: 0.0 Back: 1490.959
INFO - Atoms: 263450/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 62372759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.434 Prop: 108524.552 PropClause: 106969.448 Set: 13489.946 Check: 0.0 Back: 1497.303
INFO - Atoms: 263230/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 62635793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.441 Prop: 108985.374 PropClause: 107423.788 Set: 13538.675 Check: 0.0 Back: 1503.577
INFO - Atoms: 263034/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 62898631 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.451 Prop: 109440.804 PropClause: 107872.758 Set: 13588.098 Check: 0.0 Back: 1509.855
INFO - Atoms: 262838/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 63161275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.459 Prop: 109898.735 PropClause: 108324.213 Set: 13638.429 Check: 0.0 Back: 1516.182
INFO - Atoms: 262644/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 63423725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.467 Prop: 110345.685 PropClause: 108764.641 Set: 13810.873 Check: 0.0 Back: 1522.453
INFO - Atoms: 262450/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 63686005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.475 Prop: 110797.049 PropClause: 109209.527 Set: 13859.235 Check: 0.0 Back: 1528.58
INFO - Atoms: 262280/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 63948065 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.483 Prop: 111243.134 PropClause: 109649.13 Set: 13907.614 Check: 0.0 Back: 1534.824
INFO - Atoms: 262060/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 64209953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.491 Prop: 111715.204 PropClause: 110114.692 Set: 13956.495 Check: 0.0 Back: 1541.212
INFO - Atoms: 261888/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 64471623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.499 Prop: 112137.91 PropClause: 110530.932 Set: 14004.388 Check: 0.0 Back: 1547.487
INFO - Atoms: 261670/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 64733097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.508 Prop: 112587.159 PropClause: 110973.686 Set: 14052.494 Check: 0.0 Back: 1553.781
INFO - Atoms: 261474/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 64994377 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.516 Prop: 113022.667 PropClause: 111402.678 Set: 14101.373 Check: 0.0 Back: 1560.045
INFO - Atoms: 261280/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 65255461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.524 Prop: 113447.166 PropClause: 111820.727 Set: 14148.755 Check: 0.0 Back: 1566.332
INFO - Atoms: 261084/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 65516351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.531 Prop: 113851.462 PropClause: 112218.636 Set: 14195.384 Check: 0.0 Back: 1572.603
INFO - Atoms: 260890/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 65777069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.539 Prop: 114296.531 PropClause: 112657.268 Set: 14243.753 Check: 0.0 Back: 1578.745
INFO - Atoms: 260718/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 66037569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.546 Prop: 114737.386 PropClause: 113091.727 Set: 14290.761 Check: 0.0 Back: 1585.047
INFO - Atoms: 260500/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 66297873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.554 Prop: 115177.463 PropClause: 113525.322 Set: 14453.886 Check: 0.0 Back: 1591.338
INFO - Atoms: 260304/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 66557983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.562 Prop: 115604.529 PropClause: 113945.989 Set: 14500.959 Check: 0.0 Back: 1597.395
INFO - Atoms: 260110/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 66817897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.568 Prop: 116018.582 PropClause: 114353.65 Set: 14548.057 Check: 0.0 Back: 1603.589
INFO - Atoms: 259914/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 67077615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.576 Prop: 116423.57 PropClause: 114752.265 Set: 14594.763 Check: 0.0 Back: 1609.811
INFO - Atoms: 259718/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 67337165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.584 Prop: 116824.682 PropClause: 115146.977 Set: 14641.02 Check: 0.0 Back: 1615.957
INFO - Atoms: 259550/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 67596495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.592 Prop: 117245.569 PropClause: 115561.484 Set: 14688.447 Check: 0.0 Back: 1622.104
INFO - Atoms: 259330/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 67855655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.599 Prop: 117678.244 PropClause: 115987.783 Set: 14735.786 Check: 0.0 Back: 1628.296
INFO - Atoms: 259160/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 68114595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.607 Prop: 118113.722 PropClause: 116416.757 Set: 14785.137 Check: 0.0 Back: 1634.548
INFO - Atoms: 258940/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 68373365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.614 Prop: 118556.226 PropClause: 116852.751 Set: 14833.795 Check: 0.0 Back: 1640.9
INFO - Atoms: 258770/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 68631915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.62 Prop: 118962.481 PropClause: 117252.674 Set: 14880.329 Check: 0.0 Back: 1647.266
INFO - Atoms: 258550/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 68890295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.63 Prop: 119370.987 PropClause: 117654.693 Set: 14927.869 Check: 0.0 Back: 1653.475
INFO - Atoms: 258380/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 69148453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.638 Prop: 119778.059 PropClause: 118055.438 Set: 15086.391 Check: 0.0 Back: 1659.566
INFO - Atoms: 258158/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 69406441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.646 Prop: 120200.855 PropClause: 118471.9 Set: 15133.075 Check: 0.0 Back: 1665.558
INFO - Atoms: 257988/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 69664209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.653 Prop: 120630.768 PropClause: 118895.486 Set: 15180.041 Check: 0.0 Back: 1671.72
INFO - Atoms: 257768/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 69921807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.661 Prop: 121065.86 PropClause: 119324.242 Set: 15228.422 Check: 0.0 Back: 1677.885
INFO - Atoms: 257598/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 70179185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.669 Prop: 121513.686 PropClause: 119765.683 Set: 15276.325 Check: 0.0 Back: 1684.136
INFO - Atoms: 257378/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 70436395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.678 Prop: 121932.871 PropClause: 120178.524 Set: 15323.868 Check: 0.0 Back: 1690.429
INFO - Atoms: 257210/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 70693385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.686 Prop: 122348.755 PropClause: 120588.093 Set: 15370.111 Check: 0.0 Back: 1696.525
INFO - Atoms: 256990/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 70950205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.694 Prop: 122766.937 PropClause: 120999.954 Set: 15486.821 Check: 0.0 Back: 1702.669
INFO - Atoms: 256820/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 71206803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.702 Prop: 123208.031 PropClause: 121434.683 Set: 15534.319 Check: 0.0 Back: 1708.747
INFO - Atoms: 256598/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 71463207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.711 Prop: 123658.787 PropClause: 121879.064 Set: 15583.691 Check: 0.0 Back: 1714.992
INFO - Atoms: 256404/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 71719415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.719 Prop: 124099.579 PropClause: 122313.581 Set: 15630.101 Check: 0.0 Back: 1721.202
INFO - Atoms: 256208/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 71975447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.727 Prop: 124531.839 PropClause: 122739.541 Set: 15677.663 Check: 0.0 Back: 1727.314
INFO - Atoms: 256032/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 72231267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.736 Prop: 124968.509 PropClause: 123169.863 Set: 15724.791 Check: 0.0 Back: 1733.518
INFO - Atoms: 255820/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 72486917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.743 Prop: 125419.793 PropClause: 123614.872 Set: 15772.295 Check: 0.0 Back: 1739.669
INFO - Atoms: 255650/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 72742347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.751 Prop: 125852.318 PropClause: 124040.77 Set: 15917.888 Check: 0.0 Back: 1745.835
INFO - Atoms: 255430/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 72997605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.759 Prop: 126296.203 PropClause: 124478.385 Set: 15967.197 Check: 0.0 Back: 1751.861
INFO - Atoms: 255258/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 73252643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.768 Prop: 126726.828 PropClause: 124902.737 Set: 16013.436 Check: 0.0 Back: 1758.001
INFO - Atoms: 255038/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 73507513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.776 Prop: 127174.674 PropClause: 125344.312 Set: 16062.236 Check: 0.0 Back: 1764.14
INFO - Atoms: 254870/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 73762163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.784 Prop: 127634.203 PropClause: 125797.573 Set: 16109.616 Check: 0.0 Back: 1770.298
INFO - Atoms: 254650/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 74016617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.793 Prop: 128052.432 PropClause: 126209.551 Set: 16155.445 Check: 0.0 Back: 1776.473
INFO - Atoms: 254454/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 74270875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.801 Prop: 128454.219 PropClause: 126605.08 Set: 16201.44 Check: 0.0 Back: 1782.572
INFO - Atoms: 254258/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 74524939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.809 Prop: 128872.714 PropClause: 127017.363 Set: 16249.533 Check: 0.0 Back: 1788.599
INFO - Atoms: 254064/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 74778809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.817 Prop: 129306.955 PropClause: 127445.382 Set: 16295.357 Check: 0.0 Back: 1794.659
INFO - Atoms: 253870/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 75032509 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.825 Prop: 129737.029 PropClause: 127869.172 Set: 16343.797 Check: 0.0 Back: 1800.725
INFO - Atoms: 253700/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 75285989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.832 Prop: 130164.125 PropClause: 128290.014 Set: 16390.643 Check: 0.0 Back: 1806.817
INFO - Atoms: 253480/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 75539299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.839 Prop: 130601.325 PropClause: 128720.948 Set: 16437.293 Check: 0.0 Back: 1812.927
INFO - Atoms: 253310/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 75792387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.848 Prop: 131001.233 PropClause: 129114.635 Set: 16484.912 Check: 0.0 Back: 1819.07
INFO - Atoms: 253088/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 76045305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.857 Prop: 131413.689 PropClause: 129520.869 Set: 16602.264 Check: 0.0 Back: 1825.123
INFO - Atoms: 252918/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 76298003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.866 Prop: 131832.044 PropClause: 129932.964 Set: 16649.197 Check: 0.0 Back: 1831.215
INFO - Atoms: 252698/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 76550531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.873 Prop: 132255.048 PropClause: 130349.745 Set: 16695.313 Check: 0.0 Back: 1837.314
INFO - Atoms: 252528/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 76802839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.881 Prop: 132678.087 PropClause: 130766.578 Set: 16741.467 Check: 0.0 Back: 1843.362
INFO - Atoms: 252308/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 77054979 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.89 Prop: 133091.503 PropClause: 131173.785 Set: 16787.044 Check: 0.0 Back: 1849.386
INFO - Atoms: 252140/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 77306899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.898 Prop: 133516.396 PropClause: 131592.468 Set: 16833.287 Check: 0.0 Back: 1855.432
INFO - Atoms: 251920/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 77558647 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.905 Prop: 133913.904 PropClause: 131983.785 Set: 16880.052 Check: 0.0 Back: 1861.458
INFO - Atoms: 251748/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 77810177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.915 Prop: 134333.536 PropClause: 132397.222 Set: 16926.298 Check: 0.0 Back: 1867.439
INFO - Atoms: 251530/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 78061535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.922 Prop: 134743.878 PropClause: 132801.391 Set: 16971.747 Check: 0.0 Back: 1873.398
INFO - Atoms: 251358/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 78312675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.93 Prop: 135157.062 PropClause: 133208.387 Set: 17019.675 Check: 0.0 Back: 1879.36
INFO - Atoms: 251140/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 78563638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.939 Prop: 135584.892 PropClause: 133630.028 Set: 17065.328 Check: 0.0 Back: 1885.356
INFO - Atoms: 250963/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 78814388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.947 Prop: 136015.692 PropClause: 134054.595 Set: 17111.127 Check: 0.0 Back: 1891.376
INFO - Atoms: 250750/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 79064966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.955 Prop: 136447.144 PropClause: 134479.843 Set: 17157.86 Check: 0.0 Back: 1897.378
INFO - Atoms: 250578/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 79315324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.962 Prop: 136846.592 PropClause: 134873.153 Set: 17202.639 Check: 0.0 Back: 1903.396
INFO - Atoms: 250358/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 79565488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.97 Prop: 137256.244 PropClause: 135276.658 Set: 17247.408 Check: 0.0 Back: 1909.341
INFO - Atoms: 250164/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 79815456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.978 Prop: 137654.129 PropClause: 135668.377 Set: 17292.842 Check: 0.0 Back: 1915.559
INFO - Atoms: 249968/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 80065254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.985 Prop: 138053.563 PropClause: 136061.683 Set: 17339.686 Check: 0.0 Back: 1921.492
INFO - Atoms: 249798/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 80314832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.992 Prop: 138474.846 PropClause: 136476.837 Set: 17385.772 Check: 0.0 Back: 1927.452
INFO - Atoms: 249578/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 80564242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.0 Prop: 138890.967 PropClause: 136886.817 Set: 17431.195 Check: 0.0 Back: 1933.421
INFO - Atoms: 249410/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 80813432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.008 Prop: 139304.472 PropClause: 137294.201 Set: 17476.545 Check: 0.0 Back: 1939.437
INFO - Atoms: 249190/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 81062426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.015 Prop: 139723.554 PropClause: 137707.176 Set: 17521.573 Check: 0.0 Back: 1945.389
INFO - Atoms: 248994/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 81311224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.022 Prop: 140111.531 PropClause: 138089.028 Set: 17565.529 Check: 0.0 Back: 1951.305
INFO - Atoms: 248798/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 81559852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.03 Prop: 140502.353 PropClause: 138473.752 Set: 17609.725 Check: 0.0 Back: 1957.234
INFO - Atoms: 248628/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 81808260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.039 Prop: 140916.073 PropClause: 138881.351 Set: 17654.675 Check: 0.0 Back: 1963.219
INFO - Atoms: 248408/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 82056498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.046 Prop: 141341.866 PropClause: 139301.03 Set: 17700.433 Check: 0.0 Back: 1969.17
INFO - Atoms: 248238/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 82304518 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.054 Prop: 141752.059 PropClause: 139705.092 Set: 17747.117 Check: 0.0 Back: 1975.106
INFO - Atoms: 248020/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 82552368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.063 Prop: 142176.336 PropClause: 140123.24 Set: 17792.098 Check: 0.0 Back: 1981.065
INFO - Atoms: 247850/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 82799998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.07 Prop: 142570.145 PropClause: 140510.959 Set: 17837.502 Check: 0.0 Back: 1986.977
INFO - Atoms: 247630/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 83047458 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.077 Prop: 142951.205 PropClause: 140885.941 Set: 17882.069 Check: 0.0 Back: 1992.865
INFO - Atoms: 247460/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 83294698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.084 Prop: 143332.564 PropClause: 141261.217 Set: 17926.411 Check: 0.0 Back: 1998.734
INFO - Atoms: 247240/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 83541768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.091 Prop: 143724.11 PropClause: 141646.663 Set: 18046.021 Check: 0.0 Back: 2004.555
INFO - Atoms: 247070/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 83788618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.099 Prop: 144124.611 PropClause: 142041.06 Set: 18093.426 Check: 0.0 Back: 2010.394
INFO - Atoms: 246850/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 84035298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.106 Prop: 144527.297 PropClause: 142437.66 Set: 18137.709 Check: 0.0 Back: 2016.285
INFO - Atoms: 246680/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 84281756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.114 Prop: 144933.886 PropClause: 142838.19 Set: 18280.751 Check: 0.0 Back: 2022.241
INFO - Atoms: 246458/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 84528044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.122 Prop: 145358.984 PropClause: 143257.178 Set: 18326.629 Check: 0.0 Back: 2028.08
INFO - Atoms: 246288/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 84774114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.13 Prop: 145726.784 PropClause: 143618.949 Set: 18370.298 Check: 0.0 Back: 2034.031
INFO - Atoms: 246070/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 85020012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.138 Prop: 146106.094 PropClause: 143992.223 Set: 18415.813 Check: 0.0 Back: 2039.952
INFO - Atoms: 245898/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 85265690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.146 Prop: 146487.711 PropClause: 144367.785 Set: 18459.272 Check: 0.0 Back: 2045.771
INFO - Atoms: 245678/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 85511174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.153 Prop: 146884.342 PropClause: 144758.371 Set: 18503.863 Check: 0.0 Back: 2051.618
INFO - Atoms: 245484/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 85756464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.162 Prop: 147276.785 PropClause: 145144.777 Set: 18547.992 Check: 0.0 Back: 2057.519
INFO - Atoms: 245290/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 86001582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.17 Prop: 147677.873 PropClause: 145539.823 Set: 18591.927 Check: 0.0 Back: 2063.398
INFO - Atoms: 245118/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 86246480 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.177 Prop: 148069.805 PropClause: 145925.741 Set: 18638.266 Check: 0.0 Back: 2069.285
INFO - Atoms: 244898/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 86491208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.184 Prop: 148471.343 PropClause: 146321.21 Set: 18682.625 Check: 0.0 Back: 2075.147
INFO - Atoms: 244728/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 86735716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.192 Prop: 148848.77 PropClause: 146692.611 Set: 18726.585 Check: 0.0 Back: 2081.061
INFO - Atoms: 244508/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 86980049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.201 Prop: 149240.983 PropClause: 147078.786 Set: 18770.827 Check: 0.0 Back: 2086.869
INFO - Atoms: 244333/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 87224169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.209 Prop: 149661.049 PropClause: 147492.854 Set: 18814.975 Check: 0.0 Back: 2092.698
INFO - Atoms: 244120/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 87468093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.217 Prop: 150056.766 PropClause: 147882.572 Set: 18859.434 Check: 0.0 Back: 2098.565
INFO - Atoms: 243924/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 87711823 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.224 Prop: 150454.35 PropClause: 148274.158 Set: 18903.968 Check: 0.0 Back: 2104.423
INFO - Atoms: 243730/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 87955383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.232 Prop: 150868.638 PropClause: 148682.396 Set: 18950.859 Check: 0.0 Back: 2110.226
INFO - Atoms: 243560/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 88198723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.239 Prop: 151272.849 PropClause: 149080.611 Set: 18995.21 Check: 0.0 Back: 2116.067
INFO - Atoms: 243340/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 88441893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.247 Prop: 151671.947 PropClause: 149473.719 Set: 19141.486 Check: 0.0 Back: 2121.932
INFO - Atoms: 243170/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 88684841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.255 Prop: 152043.224 PropClause: 149839.02 Set: 19186.623 Check: 0.0 Back: 2127.65
INFO - Atoms: 242948/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 88927595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.264 Prop: 152420.004 PropClause: 150209.811 Set: 19229.873 Check: 0.0 Back: 2133.408
INFO - Atoms: 242754/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 89170153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.272 Prop: 152813.189 PropClause: 150596.955 Set: 19274.686 Check: 0.0 Back: 2139.181
INFO - Atoms: 242558/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 89412541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.28 Prop: 153227.775 PropClause: 151005.566 Set: 19320.063 Check: 0.0 Back: 2145.004
INFO - Atoms: 242388/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 89654709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.288 Prop: 153626.542 PropClause: 151398.332 Set: 19364.593 Check: 0.0 Back: 2150.859
INFO - Atoms: 242168/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 89896709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.294 Prop: 154023.209 PropClause: 151789.046 Set: 19409.01 Check: 0.0 Back: 2156.667
INFO - Atoms: 242000/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 90138487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.302 Prop: 154401.082 PropClause: 152160.947 Set: 19453.427 Check: 0.0 Back: 2162.531
INFO - Atoms: 241778/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 90380095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.311 Prop: 154775.876 PropClause: 152529.796 Set: 19496.874 Check: 0.0 Back: 2168.33
INFO - Atoms: 241608/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 90621485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.319 Prop: 155155.194 PropClause: 152903.183 Set: 19539.906 Check: 0.0 Back: 2174.106
INFO - Atoms: 241390/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 90862705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.327 Prop: 155537.584 PropClause: 153279.645 Set: 19582.899 Check: 0.0 Back: 2179.862
INFO - Atoms: 241220/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 91103705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.336 Prop: 155929.002 PropClause: 153665.107 Set: 19719.468 Check: 0.0 Back: 2185.628
INFO - Atoms: 241000/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 91344535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.344 Prop: 156320.626 PropClause: 154050.768 Set: 19762.649 Check: 0.0 Back: 2191.351
INFO - Atoms: 240830/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 91585145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.352 Prop: 156707.568 PropClause: 154431.786 Set: 19806.585 Check: 0.0 Back: 2197.096
INFO - Atoms: 240610/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 91825585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.36 Prop: 157102.566 PropClause: 154820.86 Set: 19850.837 Check: 0.0 Back: 2202.891
INFO - Atoms: 240440/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 92065803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.368 Prop: 157469.449 PropClause: 155181.844 Set: 19893.256 Check: 0.0 Back: 2208.658
INFO - Atoms: 240218/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 92305846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.375 Prop: 157861.779 PropClause: 155568.286 Set: 19938.553 Check: 0.0 Back: 2214.341
INFO - Atoms: 240043/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 92545674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.384 Prop: 158255.476 PropClause: 155956.096 Set: 19982.274 Check: 0.0 Back: 2220.084
INFO - Atoms: 239828/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 92785332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.391 Prop: 158668.902 PropClause: 156363.605 Set: 20026.505 Check: 0.0 Back: 2225.98
INFO - Atoms: 239658/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 93024772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.399 Prop: 159068.018 PropClause: 156756.835 Set: 20137.119 Check: 0.0 Back: 2231.726
INFO - Atoms: 239440/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 93264040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.408 Prop: 159474.237 PropClause: 157157.171 Set: 20180.767 Check: 0.0 Back: 2237.519
INFO - Atoms: 239268/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 93503090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.415 Prop: 159872.265 PropClause: 157549.314 Set: 20224.505 Check: 0.0 Back: 2243.26
INFO - Atoms: 239050/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 93741944 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.423 Prop: 160253.18 PropClause: 157924.338 Set: 20267.938 Check: 0.0 Back: 2249.036
INFO - Atoms: 238854/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 93980604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.431 Prop: 160635.146 PropClause: 158300.438 Set: 20311.609 Check: 0.0 Back: 2254.714
INFO - Atoms: 238660/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 94219068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.438 Prop: 161008.591 PropClause: 158668.039 Set: 20354.105 Check: 0.0 Back: 2260.389
INFO - Atoms: 238464/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 94457338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.446 Prop: 161401.691 PropClause: 159055.298 Set: 20397.851 Check: 0.0 Back: 2266.058
INFO - Atoms: 238270/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 94695436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.455 Prop: 161812.618 PropClause: 159460.354 Set: 20440.778 Check: 0.0 Back: 2271.748
INFO - Atoms: 238098/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 94933314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.463 Prop: 162208.585 PropClause: 159850.441 Set: 20484.805 Check: 0.0 Back: 2277.455
INFO - Atoms: 237878/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 95171017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.471 Prop: 162616.544 PropClause: 160252.547 Set: 20528.375 Check: 0.0 Back: 2283.165
INFO - Atoms: 237703/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 95408505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.48 Prop: 163016.891 PropClause: 160647.049 Set: 20572.77 Check: 0.0 Back: 2288.999
INFO - Atoms: 237488/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 95645823 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.488 Prop: 163400.263 PropClause: 161024.526 Set: 20615.943 Check: 0.0 Back: 2294.742
INFO - Atoms: 237318/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 95882923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.495 Prop: 163786.411 PropClause: 161404.814 Set: 20659.068 Check: 0.0 Back: 2300.451
INFO - Atoms: 237100/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 96119853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.504 Prop: 164176.12 PropClause: 161788.654 Set: 20786.336 Check: 0.0 Back: 2306.192
INFO - Atoms: 236930/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 96356561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.512 Prop: 164563.916 PropClause: 162170.598 Set: 20829.78 Check: 0.0 Back: 2311.829
INFO - Atoms: 236708/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 96593101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.52 Prop: 164951.576 PropClause: 162552.415 Set: 20874.67 Check: 0.0 Back: 2317.537
INFO - Atoms: 236540/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 96829421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.528 Prop: 165337.879 PropClause: 162932.892 Set: 20919.508 Check: 0.0 Back: 2323.242
INFO - Atoms: 236320/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 97065571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.536 Prop: 165725.614 PropClause: 163314.827 Set: 20963.934 Check: 0.0 Back: 2328.946
INFO - Atoms: 236150/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 97301501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.544 Prop: 166115.381 PropClause: 163698.791 Set: 21079.495 Check: 0.0 Back: 2334.571
INFO - Atoms: 235930/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 97537253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.553 Prop: 166490.967 PropClause: 164068.547 Set: 21122.321 Check: 0.0 Back: 2340.185
INFO - Atoms: 235752/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 97772793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.561 Prop: 166858.61 PropClause: 164430.342 Set: 21165.34 Check: 0.0 Back: 2345.798
INFO - Atoms: 235540/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 98008163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.568 Prop: 167243.771 PropClause: 164809.697 Set: 21208.15 Check: 0.0 Back: 2351.376
INFO - Atoms: 235370/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 98243313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.576 Prop: 167624.829 PropClause: 165184.924 Set: 21251.487 Check: 0.0 Back: 2357.007
INFO - Atoms: 235150/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 98478291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.584 Prop: 168014.385 PropClause: 165568.661 Set: 21370.525 Check: 0.0 Back: 2362.655
INFO - Atoms: 234978/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 98713049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.592 Prop: 168403.79 PropClause: 165952.3 Set: 21413.75 Check: 0.0 Back: 2368.254
INFO - Atoms: 234758/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 98947637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.6 Prop: 168797.488 PropClause: 166340.241 Set: 21456.198 Check: 0.0 Back: 2373.893
INFO - Atoms: 234588/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 99182005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.607 Prop: 169169.203 PropClause: 166706.177 Set: 21498.619 Check: 0.0 Back: 2379.493
INFO - Atoms: 234368/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 99416203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.616 Prop: 169529.331 PropClause: 167060.502 Set: 21540.999 Check: 0.0 Back: 2385.105
INFO - Atoms: 234198/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 99650183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.626 Prop: 169892.109 PropClause: 167417.513 Set: 21674.098 Check: 0.0 Back: 2390.707
INFO - Atoms: 233980/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 99883993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.633 Prop: 170298.947 PropClause: 167818.542 Set: 21717.09 Check: 0.0 Back: 2396.186
INFO - Atoms: 233810/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 100117583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.641 Prop: 170705.931 PropClause: 168219.758 Set: 21760.014 Check: 0.0 Back: 2401.835
INFO - Atoms: 233590/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 100350995 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.648 Prop: 171104.402 PropClause: 168612.42 Set: 21802.322 Check: 0.0 Back: 2407.519
INFO - Atoms: 233412/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 100584195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.657 Prop: 171521.837 PropClause: 169024.118 Set: 21845.959 Check: 0.0 Back: 2413.128
INFO - Atoms: 233200/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 100817199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.665 Prop: 171924.093 PropClause: 169420.611 Set: 21891.08 Check: 0.0 Back: 2418.819
INFO - Atoms: 233004/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 101050007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.673 Prop: 172298.229 PropClause: 169789.04 Set: 21933.255 Check: 0.0 Back: 2424.442
INFO - Atoms: 232808/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 101282621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.68 Prop: 172676.271 PropClause: 170161.261 Set: 21975.157 Check: 0.0 Back: 2429.991
INFO - Atoms: 232614/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 101515041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.688 Prop: 173067.822 PropClause: 170547.023 Set: 22017.636 Check: 0.0 Back: 2435.58
INFO - Atoms: 232420/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 101747265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.697 Prop: 173473.981 PropClause: 170947.448 Set: 22060.51 Check: 0.0 Back: 2441.2
INFO - Atoms: 232224/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 101979295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.704 Prop: 173873.585 PropClause: 171341.338 Set: 22105.369 Check: 0.0 Back: 2446.845
INFO - Atoms: 232030/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 102211129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.713 Prop: 174277.951 PropClause: 171739.983 Set: 22147.616 Check: 0.0 Back: 2452.431
INFO - Atoms: 231834/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 102442769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.722 Prop: 174679.011 PropClause: 172135.339 Set: 22191.7 Check: 0.0 Back: 2458.049
INFO - Atoms: 231640/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 102674232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.731 Prop: 175071.572 PropClause: 172522.12 Set: 22236.437 Check: 0.0 Back: 2463.648
INFO - Atoms: 231463/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 102905482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.74 Prop: 175443.219 PropClause: 172888.02 Set: 22278.012 Check: 0.0 Back: 2469.18
INFO - Atoms: 231250/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 103136556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.75 Prop: 175831.579 PropClause: 173270.706 Set: 22319.715 Check: 0.0 Back: 2474.724
INFO - Atoms: 231074/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 103367414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.759 Prop: 176228.031 PropClause: 173661.419 Set: 22362.056 Check: 0.0 Back: 2480.333
INFO - Atoms: 230858/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 103598078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.767 Prop: 176610.231 PropClause: 174037.933 Set: 22497.067 Check: 0.0 Back: 2485.882
INFO - Atoms: 230664/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 103828548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.775 Prop: 176992.465 PropClause: 174414.459 Set: 22539.244 Check: 0.0 Back: 2491.387
INFO - Atoms: 230470/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 104058848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.784 Prop: 177377.463 PropClause: 174793.763 Set: 22582.388 Check: 0.0 Back: 2496.976
INFO - Atoms: 230300/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 104288926 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.792 Prop: 177767.031 PropClause: 175177.625 Set: 22624.643 Check: 0.0 Back: 2502.522
INFO - Atoms: 230078/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 104518836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.799 Prop: 178135.209 PropClause: 175540.159 Set: 22667.319 Check: 0.0 Back: 2508.091
INFO - Atoms: 229910/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 104748524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.805 Prop: 178496.199 PropClause: 175895.511 Set: 22708.675 Check: 0.0 Back: 2513.557
INFO - Atoms: 229688/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 104978042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.813 Prop: 178855.442 PropClause: 176249.091 Set: 22749.695 Check: 0.0 Back: 2519.0
INFO - Atoms: 229518/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 105207342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.821 Prop: 179216.062 PropClause: 176604.044 Set: 22791.165 Check: 0.0 Back: 2524.438
INFO - Atoms: 229300/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 105436472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.828 Prop: 179592.718 PropClause: 176975.07 Set: 22832.379 Check: 0.0 Back: 2529.97
INFO - Atoms: 229130/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 105665382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.838 Prop: 179964.921 PropClause: 177341.617 Set: 22876.105 Check: 0.0 Back: 2535.535
INFO - Atoms: 228910/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 105894122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.847 Prop: 180347.91 PropClause: 177718.975 Set: 22917.412 Check: 0.0 Back: 2541.319
INFO - Atoms: 228740/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 106122642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.855 Prop: 180723.186 PropClause: 178088.593 Set: 22959.498 Check: 0.0 Back: 2546.871
INFO - Atoms: 228520/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 106350992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.862 Prop: 181069.037 PropClause: 178428.804 Set: 23000.467 Check: 0.0 Back: 2552.395
INFO - Atoms: 228350/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 106579122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.871 Prop: 181408.939 PropClause: 178763.079 Set: 23040.88 Check: 0.0 Back: 2557.79
INFO - Atoms: 228130/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 106807080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.879 Prop: 181753.733 PropClause: 179102.232 Set: 23081.64 Check: 0.0 Back: 2563.291
INFO - Atoms: 227958/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 107034818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.887 Prop: 182117.883 PropClause: 179460.736 Set: 23123.264 Check: 0.0 Back: 2568.782
INFO - Atoms: 227738/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 107262362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.897 Prop: 182486.349 PropClause: 179823.5 Set: 23165.296 Check: 0.0 Back: 2574.299
INFO - Atoms: 227544/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 107489710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.905 Prop: 182859.057 PropClause: 180190.561 Set: 23207.494 Check: 0.0 Back: 2579.784
INFO - Atoms: 227348/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 107716888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.913 Prop: 183224.824 PropClause: 180550.639 Set: 23249.872 Check: 0.0 Back: 2585.198
INFO - Atoms: 227178/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 107943848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.921 Prop: 183594.815 PropClause: 180915.004 Set: 23397.52 Check: 0.0 Back: 2590.668
INFO - Atoms: 226960/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 108170638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.927 Prop: 183926.378 PropClause: 181240.987 Set: 23437.693 Check: 0.0 Back: 2596.022
INFO - Atoms: 226790/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 108397206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.936 Prop: 184275.835 PropClause: 181584.846 Set: 23478.887 Check: 0.0 Back: 2601.388
INFO - Atoms: 226568/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 108623580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.944 Prop: 184612.144 PropClause: 181915.553 Set: 23519.467 Check: 0.0 Back: 2606.83
INFO - Atoms: 226374/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 108849758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.953 Prop: 184963.377 PropClause: 182261.196 Set: 23560.376 Check: 0.0 Back: 2612.202
INFO - Atoms: 226178/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 109075768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.961 Prop: 185334.999 PropClause: 182627.243 Set: 23601.479 Check: 0.0 Back: 2617.61
INFO - Atoms: 226010/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 109301556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.971 Prop: 185699.5 PropClause: 182986.175 Set: 23642.433 Check: 0.0 Back: 2623.024
INFO - Atoms: 225788/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 109527150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.978 Prop: 186069.622 PropClause: 183350.715 Set: 23683.066 Check: 0.0 Back: 2628.505
INFO - Atoms: 225594/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 109752550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.986 Prop: 186428.169 PropClause: 183703.669 Set: 23726.105 Check: 0.0 Back: 2633.953
INFO - Atoms: 225400/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 109977754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.995 Prop: 186763.717 PropClause: 184033.659 Set: 23767.715 Check: 0.0 Back: 2639.35
INFO - Atoms: 225204/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 110202764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.001 Prop: 187100.287 PropClause: 184364.721 Set: 23807.451 Check: 0.0 Back: 2644.671
INFO - Atoms: 225010/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 110427597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.009 Prop: 187444.766 PropClause: 184703.594 Set: 23848.115 Check: 0.0 Back: 2650.007
INFO - Atoms: 224833/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 110652217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.016 Prop: 187804.162 PropClause: 185057.455 Set: 23890.725 Check: 0.0 Back: 2655.354
INFO - Atoms: 224620/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 110876665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.024 Prop: 188163.42 PropClause: 185411.129 Set: 23933.639 Check: 0.0 Back: 2660.693
INFO - Atoms: 224448/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 111100895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.03 Prop: 188518.605 PropClause: 185760.754 Set: 23974.036 Check: 0.0 Back: 2666.144
INFO - Atoms: 224230/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 111324929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.038 Prop: 188883.831 PropClause: 186120.442 Set: 24014.596 Check: 0.0 Back: 2671.534
INFO - Atoms: 224034/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 111548769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.046 Prop: 189254.916 PropClause: 186486.0 Set: 24127.037 Check: 0.0 Back: 2676.982
INFO - Atoms: 223840/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 111772437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.054 Prop: 189587.446 PropClause: 186813.012 Set: 24166.631 Check: 0.0 Back: 2682.389
INFO - Atoms: 223668/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 111995887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.061 Prop: 189919.069 PropClause: 187139.112 Set: 24206.457 Check: 0.0 Back: 2687.724
INFO - Atoms: 223450/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 112219167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.08 Prop: 190257.032 PropClause: 187471.632 Set: 24245.77 Check: 0.0 Back: 2693.05
INFO - Atoms: 223280/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 112442225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.088 Prop: 190606.545 PropClause: 187815.678 Set: 24287.938 Check: 0.0 Back: 2698.364
INFO - Atoms: 223058/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 112665113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.097 Prop: 190972.505 PropClause: 188176.159 Set: 24327.557 Check: 0.0 Back: 2703.697
INFO - Atoms: 222888/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 112887783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.106 Prop: 191330.813 PropClause: 188528.946 Set: 24368.045 Check: 0.0 Back: 2709.065
INFO - Atoms: 222670/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 113110281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.113 Prop: 191677.987 PropClause: 188870.61 Set: 24408.407 Check: 0.0 Back: 2714.422
INFO - Atoms: 222498/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 113332559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.121 Prop: 192028.244 PropClause: 189215.373 Set: 24450.577 Check: 0.0 Back: 2719.749
INFO - Atoms: 222278/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 113554667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.129 Prop: 192371.057 PropClause: 189552.714 Set: 24591.871 Check: 0.0 Back: 2725.103
INFO - Atoms: 222108/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 113776557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.137 Prop: 192694.404 PropClause: 189870.606 Set: 24631.021 Check: 0.0 Back: 2730.293
INFO - Atoms: 221890/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 113998275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.144 Prop: 193019.915 PropClause: 190190.651 Set: 24670.488 Check: 0.0 Back: 2735.558
INFO - Atoms: 221718/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 114219775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.153 Prop: 193363.658 PropClause: 190528.93 Set: 24710.074 Check: 0.0 Back: 2740.821
INFO - Atoms: 221500/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 114441105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.161 Prop: 193718.586 PropClause: 190878.409 Set: 24749.525 Check: 0.0 Back: 2746.114
INFO - Atoms: 221330/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 114662213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.169 Prop: 194069.085 PropClause: 191223.498 Set: 24789.289 Check: 0.0 Back: 2751.437
INFO - Atoms: 221108/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 114883153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.177 Prop: 194416.071 PropClause: 191565.046 Set: 24829.061 Check: 0.0 Back: 2756.744
INFO - Atoms: 220940/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 115103873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.185 Prop: 194755.064 PropClause: 191898.499 Set: 24868.996 Check: 0.0 Back: 2762.021
INFO - Atoms: 220720/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 115324423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.194 Prop: 195089.502 PropClause: 192227.505 Set: 24908.368 Check: 0.0 Back: 2767.315
INFO - Atoms: 220550/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 115544753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.202 Prop: 195406.392 PropClause: 192538.988 Set: 24947.186 Check: 0.0 Back: 2772.567
INFO - Atoms: 220330/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 115764913 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.209 Prop: 195733.644 PropClause: 192860.857 Set: 24985.571 Check: 0.0 Back: 2777.795
INFO - Atoms: 220160/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 115984853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.216 Prop: 196056.08 PropClause: 193177.893 Set: 25113.272 Check: 0.0 Back: 2782.977
INFO - Atoms: 219940/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 116204623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.225 Prop: 196382.371 PropClause: 193498.778 Set: 25152.735 Check: 0.0 Back: 2788.141
INFO - Atoms: 219770/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 116424171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.235 Prop: 196759.776 PropClause: 193869.246 Set: 25206.824 Check: 0.0 Back: 2793.382
INFO - Atoms: 219548/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 116643525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.242 Prop: 197098.047 PropClause: 194202.155 Set: 25245.958 Check: 0.0 Back: 2798.682
INFO - Atoms: 219354/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 116862685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.25 Prop: 197437.119 PropClause: 194535.854 Set: 25284.813 Check: 0.0 Back: 2803.919
INFO - Atoms: 219160/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 117081649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.258 Prop: 197783.46 PropClause: 194876.748 Set: 25324.732 Check: 0.0 Back: 2809.15
INFO - Atoms: 218964/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 117300417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.266 Prop: 198095.871 PropClause: 195183.762 Set: 25363.874 Check: 0.0 Back: 2814.576
INFO - Atoms: 218768/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 117518991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.274 Prop: 198417.764 PropClause: 195500.287 Set: 25402.173 Check: 0.0 Back: 2819.735
INFO - Atoms: 218574/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 449 Props: 117737371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.283 Prop: 198733.281 PropClause: 195810.427 Set: 25440.912 Check: 0.0 Back: 2824.898
INFO - Atoms: 218380/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 117955581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.291 Prop: 199061.011 PropClause: 196132.852 Set: 25479.043 Check: 0.0 Back: 2830.071
INFO - Atoms: 218210/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 451 Props: 118173569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.3 Prop: 199399.002 PropClause: 196465.444 Set: 25518.247 Check: 0.0 Back: 2835.288
INFO - Atoms: 217988/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 118391387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.308 Prop: 199739.517 PropClause: 196800.615 Set: 25558.158 Check: 0.0 Back: 2840.507
INFO - Atoms: 217818/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 453 Props: 118608987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.316 Prop: 200081.467 PropClause: 197137.248 Set: 25597.083 Check: 0.0 Back: 2845.946
INFO - Atoms: 217600/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 454 Props: 118826415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.326 Prop: 200418.477 PropClause: 197468.892 Set: 25712.985 Check: 0.0 Back: 2851.139
INFO - Atoms: 217428/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 455 Props: 119043625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.334 Prop: 200761.142 PropClause: 197806.135 Set: 25752.806 Check: 0.0 Back: 2856.298
INFO - Atoms: 217210/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 456 Props: 119260665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.343 Prop: 201084.045 PropClause: 198123.703 Set: 25791.06 Check: 0.0 Back: 2861.52
INFO - Atoms: 217040/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 457 Props: 119477485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.352 Prop: 201414.069 PropClause: 198448.436 Set: 25829.756 Check: 0.0 Back: 2866.69
INFO - Atoms: 216820/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 458 Props: 119694135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.361 Prop: 201731.434 PropClause: 198760.441 Set: 25867.695 Check: 0.0 Back: 2871.984
INFO - Atoms: 216650/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 459 Props: 119910565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.369 Prop: 202072.993 PropClause: 199096.574 Set: 25907.274 Check: 0.0 Back: 2877.145
INFO - Atoms: 216430/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 120126823 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.377 Prop: 202415.399 PropClause: 199433.651 Set: 25945.774 Check: 0.0 Back: 2882.337
INFO - Atoms: 216258/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 461 Props: 120342861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.385 Prop: 202752.102 PropClause: 199764.955 Set: 25985.823 Check: 0.0 Back: 2887.481
INFO - Atoms: 216038/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 120558729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.393 Prop: 203098.376 PropClause: 200105.905 Set: 26024.736 Check: 0.0 Back: 2892.836
INFO - Atoms: 215868/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 463 Props: 120774379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.401 Prop: 203440.169 PropClause: 200442.359 Set: 26063.73 Check: 0.0 Back: 2898.061
INFO - Atoms: 215650/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 464 Props: 120989857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.408 Prop: 203771.083 PropClause: 200767.934 Set: 26102.172 Check: 0.0 Back: 2903.337
INFO - Atoms: 215478/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 465 Props: 121205117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.416 Prop: 204091.736 PropClause: 201083.263 Set: 26140.806 Check: 0.0 Back: 2908.444
INFO - Atoms: 215260/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 466 Props: 121420207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.424 Prop: 204421.88 PropClause: 201408.094 Set: 26180.108 Check: 0.0 Back: 2913.656
INFO - Atoms: 215090/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 121635075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.432 Prop: 204769.271 PropClause: 201750.206 Set: 26220.381 Check: 0.0 Back: 2918.789
INFO - Atoms: 214868/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 468 Props: 121849773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.44 Prop: 205111.363 PropClause: 202086.95 Set: 26259.76 Check: 0.0 Back: 2923.977
INFO - Atoms: 214698/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 469 Props: 122064251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.449 Prop: 205441.559 PropClause: 202411.839 Set: 26298.674 Check: 0.0 Back: 2929.298
INFO - Atoms: 214478/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 470 Props: 122278559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.458 Prop: 205792.267 PropClause: 202757.106 Set: 26338.413 Check: 0.0 Back: 2934.586
INFO - Atoms: 214308/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 471 Props: 122492649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.466 Prop: 206125.647 PropClause: 203085.221 Set: 26377.024 Check: 0.0 Back: 2939.702
INFO - Atoms: 214090/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 472 Props: 122706569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.474 Prop: 206460.755 PropClause: 203415.019 Set: 26416.036 Check: 0.0 Back: 2944.827
INFO - Atoms: 213920/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 473 Props: 122920269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.483 Prop: 206780.196 PropClause: 203729.228 Set: 26541.817 Check: 0.0 Back: 2949.978
INFO - Atoms: 213700/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 474 Props: 123133799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.49 Prop: 207097.799 PropClause: 204041.582 Set: 26579.846 Check: 0.0 Back: 2954.958
INFO - Atoms: 213530/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 475 Props: 123347109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.497 Prop: 207415.098 PropClause: 204353.651 Set: 26683.256 Check: 0.0 Back: 2960.054
INFO - Atoms: 213310/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 476 Props: 123560249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.505 Prop: 207739.355 PropClause: 204672.686 Set: 26722.709 Check: 0.0 Back: 2965.075
INFO - Atoms: 213140/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 477 Props: 123773167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.512 Prop: 208068.547 PropClause: 204996.576 Set: 26761.359 Check: 0.0 Back: 2970.148
INFO - Atoms: 212918/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 478 Props: 123985915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.52 Prop: 208399.057 PropClause: 205321.825 Set: 26799.698 Check: 0.0 Back: 2975.226
INFO - Atoms: 212748/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 479 Props: 124198443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.527 Prop: 208744.85 PropClause: 205662.415 Set: 26837.746 Check: 0.0 Back: 2980.365
INFO - Atoms: 212528/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 480 Props: 124410777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.536 Prop: 209078.124 PropClause: 205990.446 Set: 26876.551 Check: 0.0 Back: 2985.471
INFO - Atoms: 212334/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 481 Props: 124622915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.544 Prop: 209411.128 PropClause: 206317.977 Set: 26917.356 Check: 0.0 Back: 2990.575
INFO - Atoms: 212138/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 482 Props: 124834883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.551 Prop: 209727.063 PropClause: 206628.623 Set: 26955.159 Check: 0.0 Back: 2995.636
INFO - Atoms: 211968/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 483 Props: 125046633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.559 Prop: 210045.707 PropClause: 206942.089 Set: 26993.288 Check: 0.0 Back: 3000.73
INFO - Atoms: 211750/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 484 Props: 125258211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.568 Prop: 210359.295 PropClause: 207250.49 Set: 27030.634 Check: 0.0 Back: 3005.711
INFO - Atoms: 211578/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 485 Props: 125469571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.576 Prop: 210683.047 PropClause: 207569.025 Set: 27068.611 Check: 0.0 Back: 3010.776
INFO - Atoms: 211360/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 486 Props: 125680761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.584 Prop: 210999.534 PropClause: 207880.287 Set: 27106.279 Check: 0.0 Back: 3015.827
INFO - Atoms: 211190/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 487 Props: 125891729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.592 Prop: 211320.205 PropClause: 208195.77 Set: 27144.815 Check: 0.0 Back: 3020.839
INFO - Atoms: 210968/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 488 Props: 126102527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.598 Prop: 211648.385 PropClause: 208518.78 Set: 27182.108 Check: 0.0 Back: 3025.859
INFO - Atoms: 210798/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 489 Props: 126313107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.606 Prop: 211971.842 PropClause: 208837.028 Set: 27220.548 Check: 0.0 Back: 3030.862
INFO - Atoms: 210580/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 490 Props: 126523517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.614 Prop: 212275.432 PropClause: 209135.403 Set: 27257.896 Check: 0.0 Back: 3035.85
INFO - Atoms: 210410/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 491 Props: 126733705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.623 Prop: 212577.897 PropClause: 209432.698 Set: 27294.764 Check: 0.0 Back: 3040.819
INFO - Atoms: 210188/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 492 Props: 126943723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.631 Prop: 212890.893 PropClause: 209740.521 Set: 27331.612 Check: 0.0 Back: 3045.81
INFO - Atoms: 210018/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 493 Props: 127153521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.639 Prop: 213194.425 PropClause: 210038.93 Set: 27368.541 Check: 0.0 Back: 3050.991
INFO - Atoms: 209798/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 494 Props: 127363142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.647 Prop: 213511.49 PropClause: 210350.834 Set: 27405.337 Check: 0.0 Back: 3055.944
INFO - Atoms: 209621/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 495 Props: 127572552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.654 Prop: 213825.118 PropClause: 210659.296 Set: 27443.028 Check: 0.0 Back: 3061.095
INFO - Atoms: 209410/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 496 Props: 127781792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.663 Prop: 214150.578 PropClause: 210979.621 Set: 27480.208 Check: 0.0 Back: 3066.1
INFO - Atoms: 209240/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 497 Props: 127990812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.671 Prop: 214475.208 PropClause: 211299.061 Set: 27518.144 Check: 0.0 Back: 3071.077
INFO - Atoms: 209020/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 498 Props: 128199662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.679 Prop: 214797.074 PropClause: 211615.756 Set: 27555.73 Check: 0.0 Back: 3076.064
INFO - Atoms: 208850/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 499 Props: 128408292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.686 Prop: 215092.962 PropClause: 211906.491 Set: 27592.128 Check: 0.0 Back: 3081.227
INFO - Atoms: 208630/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 500 Props: 128616750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.693 Prop: 215391.183 PropClause: 212199.571 Set: 27628.837 Check: 0.0 Back: 3086.165
INFO - Atoms: 208458/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 5574 Tprops: 10296 Decides: 427458 RSplits: 0
INFO - Times: Expl: 1954.485 Prop: 464490.951 PropClause: 31.182 Set: 269494.018 Check: 5234.467 Back: 666.888
INFO - Atoms: 37/4291 Clauses: 500 Axioms: 4291
INFO - CCTimes: iE 2366382 eq 283268719 cc 3606915457 setRep 778822176
INFO - Merges: 4620711, cc:18999735
INFO - BVTimes: BB 846513503 BB_DPLL 423551648624 Graph 19190351
INFO - BitBlastingClauses: 2585602 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 501 Props: 128827099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.846 Prop: 215701.225 PropClause: 212504.127 Set: 27667.113 Check: 0.0 Back: 3091.247
INFO - Atoms: 210349/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 502 Props: 129039278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.854 Prop: 216017.533 PropClause: 212814.628 Set: 27708.82 Check: 0.0 Back: 3096.311
INFO - Atoms: 212179/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 503 Props: 129252422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.862 Prop: 216339.319 PropClause: 213131.156 Set: 27747.901 Check: 0.0 Back: 3101.354
INFO - Atoms: 213144/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 504 Props: 129464409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.869 Prop: 216666.888 PropClause: 213453.521 Set: 27786.689 Check: 0.0 Back: 3106.432
INFO - Atoms: 211987/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 505 Props: 129678028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.943 Prop: 216985.727 PropClause: 213767.15 Set: 27825.462 Check: 0.0 Back: 3111.483
INFO - Atoms: 213619/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 506 Props: 129891661 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.027 Prop: 217302.66 PropClause: 214078.862 Set: 27865.491 Check: 0.0 Back: 3116.615
INFO - Atoms: 213633/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 507 Props: 130105282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.073 Prop: 217618.513 PropClause: 214389.464 Set: 27905.031 Check: 0.0 Back: 3121.665
INFO - Atoms: 213621/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 508 Props: 130319146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.12 Prop: 217951.847 PropClause: 214717.53 Set: 27944.986 Check: 0.0 Back: 3126.755
INFO - Atoms: 213864/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 509 Props: 130533345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.169 Prop: 218273.739 PropClause: 215034.175 Set: 27984.406 Check: 0.0 Back: 3131.876
INFO - Atoms: 214199/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 510 Props: 130747837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.215 Prop: 218595.952 PropClause: 215351.112 Set: 28024.023 Check: 0.0 Back: 3136.969
INFO - Atoms: 214492/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 511 Props: 130967219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.321 Prop: 218928.058 PropClause: 215677.787 Set: 28066.168 Check: 0.0 Back: 3142.089
INFO - Atoms: 219382/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 512 Props: 131186594 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.368 Prop: 219247.99 PropClause: 215992.408 Set: 28106.057 Check: 0.0 Back: 3147.3
INFO - Atoms: 219375/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 513 Props: 131405974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.481 Prop: 219567.716 PropClause: 216306.791 Set: 28145.814 Check: 0.0 Back: 3152.453
INFO - Atoms: 219380/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 514 Props: 131625349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.539 Prop: 219948.868 PropClause: 216681.563 Set: 28198.213 Check: 0.0 Back: 3157.675
INFO - Atoms: 219375/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 515 Props: 131844729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.591 Prop: 220299.71 PropClause: 217027.057 Set: 28240.233 Check: 0.0 Back: 3163.722
INFO - Atoms: 219380/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 516 Props: 132062372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.743 Prop: 220658.184 PropClause: 217380.225 Set: 28280.521 Check: 0.0 Back: 3168.975
INFO - Atoms: 217643/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 517 Props: 132281752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.764 Prop: 220979.336 PropClause: 217696.0 Set: 28321.195 Check: 0.0 Back: 3174.239
INFO - Atoms: 219380/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 518 Props: 132501133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.806 Prop: 221297.2 PropClause: 218008.493 Set: 28361.293 Check: 0.0 Back: 3179.484
INFO - Atoms: 219381/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 519 Props: 132720513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.828 Prop: 221624.946 PropClause: 218330.81 Set: 28401.679 Check: 0.0 Back: 3184.701
INFO - Atoms: 219380/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 520 Props: 132939128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.915 Prop: 221956.143 PropClause: 218656.639 Set: 28441.986 Check: 0.0 Back: 3189.912
INFO - Atoms: 218615/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 521 Props: 133158508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.99 Prop: 222295.769 PropClause: 218990.858 Set: 28482.318 Check: 0.0 Back: 3195.16
INFO - Atoms: 219380/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 522 Props: 133376828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.079 Prop: 222646.637 PropClause: 219336.343 Set: 28523.227 Check: 0.0 Back: 3200.439
INFO - Atoms: 218320/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 523 Props: 133596208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.091 Prop: 222958.274 PropClause: 219642.594 Set: 28563.855 Check: 0.0 Back: 3205.753
INFO - Atoms: 219380/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 524 Props: 133815202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.133 Prop: 223274.057 PropClause: 219952.996 Set: 28603.747 Check: 0.0 Back: 3211.132
INFO - Atoms: 218994/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 525 Props: 134034582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.145 Prop: 223607.172 PropClause: 220280.738 Set: 28644.425 Check: 0.0 Back: 3216.371
INFO - Atoms: 219380/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 526 Props: 134253963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.193 Prop: 223935.13 PropClause: 220603.342 Set: 28684.943 Check: 0.0 Back: 3221.571
INFO - Atoms: 219381/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 527 Props: 134473343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.207 Prop: 224276.649 PropClause: 220939.26 Set: 28727.629 Check: 0.0 Back: 3226.836
INFO - Atoms: 219380/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 528 Props: 134691854 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.286 Prop: 224625.679 PropClause: 221282.916 Set: 28768.597 Check: 0.0 Back: 3232.048
INFO - Atoms: 218511/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 529 Props: 134911234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.32 Prop: 224940.933 PropClause: 221592.833 Set: 28808.733 Check: 0.0 Back: 3237.322
INFO - Atoms: 219380/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 530 Props: 135129448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.341 Prop: 225255.327 PropClause: 221901.908 Set: 28847.653 Check: 0.0 Back: 3242.508
INFO - Atoms: 218214/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 531 Props: 135348828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.346 Prop: 225562.52 PropClause: 222203.725 Set: 28888.91 Check: 0.0 Back: 3247.654
INFO - Atoms: 219380/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 532 Props: 135566851 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.365 Prop: 225890.428 PropClause: 222526.268 Set: 28930.368 Check: 0.0 Back: 3252.855
INFO - Atoms: 218023/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 533 Props: 135786226 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.371 Prop: 226221.081 PropClause: 222851.527 Set: 28971.581 Check: 0.0 Back: 3258.064
INFO - Atoms: 219375/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 534 Props: 136005607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.377 Prop: 226566.248 PropClause: 223191.303 Set: 29012.352 Check: 0.0 Back: 3263.304
INFO - Atoms: 219381/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 535 Props: 136223059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.398 Prop: 226912.802 PropClause: 223532.549 Set: 29052.432 Check: 0.0 Back: 3268.621
INFO - Atoms: 217452/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 536 Props: 136442435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.403 Prop: 227224.854 PropClause: 223839.218 Set: 29092.751 Check: 0.0 Back: 3273.791
INFO - Atoms: 219376/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 537 Props: 136661816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.409 Prop: 227542.867 PropClause: 224151.893 Set: 29133.268 Check: 0.0 Back: 3279.018
INFO - Atoms: 219381/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 538 Props: 136881197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.415 Prop: 227872.381 PropClause: 224475.684 Set: 29174.342 Check: 0.0 Back: 3284.163
INFO - Atoms: 219381/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 539 Props: 137100583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.42 Prop: 228218.724 PropClause: 224816.063 Set: 29217.334 Check: 0.0 Back: 3289.475
INFO - Atoms: 219386/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 540 Props: 137318716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.426 Prop: 228562.621 PropClause: 225153.586 Set: 29257.523 Check: 0.0 Back: 3294.715
INFO - Atoms: 218133/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 541 Props: 137538102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.432 Prop: 228894.83 PropClause: 225479.465 Set: 29375.852 Check: 0.0 Back: 3299.932
INFO - Atoms: 219386/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 542 Props: 137757489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.453 Prop: 229214.05 PropClause: 225792.443 Set: 29416.8 Check: 0.0 Back: 3305.161
INFO - Atoms: 219387/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 543 Props: 137976875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.46 Prop: 229562.882 PropClause: 226134.895 Set: 29457.697 Check: 0.0 Back: 3310.376
INFO - Atoms: 219386/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 544 Props: 138196070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.479 Prop: 229904.815 PropClause: 226470.606 Set: 29497.201 Check: 0.0 Back: 3315.772
INFO - Atoms: 219195/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 545 Props: 138415456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.484 Prop: 230248.094 PropClause: 226807.377 Set: 29539.052 Check: 0.0 Back: 3320.99
INFO - Atoms: 219386/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 546 Props: 138633399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.507 Prop: 230582.735 PropClause: 227135.69 Set: 29579.252 Check: 0.0 Back: 3326.25
INFO - Atoms: 217943/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 547 Props: 138852785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.513 Prop: 230907.916 PropClause: 227454.631 Set: 29619.541 Check: 0.0 Back: 3331.523
INFO - Atoms: 219386/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 548 Props: 139070921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.534 Prop: 231240.405 PropClause: 227780.896 Set: 29658.734 Check: 0.0 Back: 3336.708
INFO - Atoms: 218136/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 549 Props: 139290307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.539 Prop: 231570.419 PropClause: 228104.702 Set: 29698.807 Check: 0.0 Back: 3341.965
INFO - Atoms: 219386/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 550 Props: 139509694 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.558 Prop: 231909.203 PropClause: 228437.229 Set: 29738.823 Check: 0.0 Back: 3347.22
INFO - Atoms: 219387/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 551 Props: 139729080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.565 Prop: 232256.296 PropClause: 228778.054 Set: 29778.862 Check: 0.0 Back: 3352.52
INFO - Atoms: 219386/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 552 Props: 139948174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.585 Prop: 232616.145 PropClause: 229131.682 Set: 29819.764 Check: 0.0 Back: 3357.772
INFO - Atoms: 219094/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 553 Props: 140167560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.591 Prop: 232941.212 PropClause: 229450.562 Set: 29859.355 Check: 0.0 Back: 3363.055
INFO - Atoms: 219386/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 554 Props: 140386756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.611 Prop: 233274.347 PropClause: 229777.438 Set: 29959.597 Check: 0.0 Back: 3368.23
INFO - Atoms: 219196/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 555 Props: 140606142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.617 Prop: 233607.891 PropClause: 230104.733 Set: 30000.336 Check: 0.0 Back: 3373.447
INFO - Atoms: 219386/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 556 Props: 140824085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.639 Prop: 233946.389 PropClause: 230437.017 Set: 30040.223 Check: 0.0 Back: 3378.688
INFO - Atoms: 217943/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 557 Props: 141043471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.645 Prop: 234287.484 PropClause: 230771.88 Set: 30080.76 Check: 0.0 Back: 3383.914
INFO - Atoms: 219386/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 558 Props: 141261518 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.663 Prop: 234631.425 PropClause: 231109.578 Set: 30120.414 Check: 0.0 Back: 3389.137
INFO - Atoms: 218047/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 559 Props: 141480904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.668 Prop: 234956.121 PropClause: 231427.912 Set: 30160.468 Check: 0.0 Back: 3394.349
INFO - Atoms: 219386/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 560 Props: 141700262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.674 Prop: 235281.714 PropClause: 231747.249 Set: 30201.46 Check: 0.0 Back: 3399.526
INFO - Atoms: 219358/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 561 Props: 141919644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.68 Prop: 235621.41 PropClause: 232080.672 Set: 30315.798 Check: 0.0 Back: 3404.748
INFO - Atoms: 219382/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 562 Props: 142139031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.686 Prop: 235981.434 PropClause: 232434.435 Set: 30356.73 Check: 0.0 Back: 3409.955
INFO - Atoms: 219387/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 563 Props: 142358418 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.692 Prop: 236316.538 PropClause: 232763.209 Set: 30397.268 Check: 0.0 Back: 3415.239
INFO - Atoms: 219387/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 564 Props: 142578000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.698 Prop: 236659.063 PropClause: 233099.501 Set: 30437.972 Check: 0.0 Back: 3420.48
INFO - Atoms: 219582/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 565 Props: 142797946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.704 Prop: 236975.914 PropClause: 233410.101 Set: 30477.861 Check: 0.0 Back: 3425.728
INFO - Atoms: 219946/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 566 Props: 143017933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.71 Prop: 237307.374 PropClause: 233735.295 Set: 30518.157 Check: 0.0 Back: 3430.954
INFO - Atoms: 219987/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 567 Props: 143238011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.717 Prop: 237658.63 PropClause: 234080.316 Set: 30558.546 Check: 0.0 Back: 3436.172
INFO - Atoms: 220078/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 568 Props: 143458196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.722 Prop: 238010.782 PropClause: 234426.181 Set: 30599.312 Check: 0.0 Back: 3441.407
INFO - Atoms: 220185/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 569 Props: 143678383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.728 Prop: 238363.917 PropClause: 234773.026 Set: 30640.344 Check: 0.0 Back: 3446.76
INFO - Atoms: 220187/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 570 Props: 143896930 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.734 Prop: 238687.831 PropClause: 235090.688 Set: 30679.914 Check: 0.0 Back: 3452.181
INFO - Atoms: 218547/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 571 Props: 144117118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.74 Prop: 239012.095 PropClause: 235408.688 Set: 30720.043 Check: 0.0 Back: 3457.466
INFO - Atoms: 220188/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL: