/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: 629398020
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 305887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.6 Prop: 392.611 PropClause: 384.001 Set: 105.988 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.659 Prop: 883.206 PropClause: 866.845 Set: 163.084 Check: 0.0 Back: 7.157
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.687 Prop: 1381.635 PropClause: 1356.596 Set: 221.318 Check: 0.0 Back: 14.233
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.752 Prop: 1888.109 PropClause: 1855.509 Set: 277.751 Check: 0.0 Back: 21.324
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.807 Prop: 2393.837 PropClause: 2353.74 Set: 334.175 Check: 0.0 Back: 28.413
INFO - Atoms: 305887/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 1835338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.85 Prop: 2886.996 PropClause: 2839.345 Set: 389.598 Check: 0.0 Back: 35.522
INFO - Atoms: 305870/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 2141193 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.914 Prop: 3359.38 PropClause: 3304.203 Set: 445.706 Check: 0.0 Back: 42.649
INFO - Atoms: 305855/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 2447035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.955 Prop: 3861.286 PropClause: 3798.567 Set: 502.617 Check: 0.0 Back: 49.717
INFO - Atoms: 305842/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 2752877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.998 Prop: 4368.477 PropClause: 4298.253 Set: 559.397 Check: 0.0 Back: 56.89
INFO - Atoms: 305842/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 3058701 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.057 Prop: 4886.379 PropClause: 4808.624 Set: 616.628 Check: 0.0 Back: 64.048
INFO - Atoms: 305824/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 3364525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.106 Prop: 5389.927 PropClause: 5304.674 Set: 673.617 Check: 0.0 Back: 71.205
INFO - Atoms: 305824/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 3670333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.149 Prop: 5872.673 PropClause: 5779.801 Set: 729.869 Check: 0.0 Back: 78.406
INFO - Atoms: 305808/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 3976141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.194 Prop: 6357.261 PropClause: 6256.858 Set: 786.595 Check: 0.0 Back: 85.414
INFO - Atoms: 305808/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 4281937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.296 Prop: 6860.7 PropClause: 6752.828 Set: 842.867 Check: 0.0 Back: 92.428
INFO - Atoms: 305796/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 4587073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.317 Prop: 7372.929 PropClause: 7257.545 Set: 900.769 Check: 0.0 Back: 99.569
INFO - Atoms: 305136/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 4892198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.338 Prop: 7896.251 PropClause: 7773.332 Set: 958.324 Check: 0.0 Back: 106.669
INFO - Atoms: 305125/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 5197314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.358 Prop: 8403.213 PropClause: 8272.832 Set: 1014.6 Check: 0.0 Back: 113.81
INFO - Atoms: 305116/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 5502426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.376 Prop: 8880.826 PropClause: 8742.915 Set: 1071.189 Check: 0.0 Back: 120.853
INFO - Atoms: 305112/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 5806782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.396 Prop: 9355.063 PropClause: 9209.689 Set: 1127.19 Check: 0.0 Back: 127.885
INFO - Atoms: 304356/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 6111127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.416 Prop: 9858.522 PropClause: 9705.655 Set: 1184.008 Check: 0.0 Back: 135.01
INFO - Atoms: 304345/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 6415003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.432 Prop: 10370.808 PropClause: 10210.467 Set: 1240.582 Check: 0.0 Back: 142.058
INFO - Atoms: 303876/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 6718570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.452 Prop: 10881.029 PropClause: 10713.232 Set: 1297.438 Check: 0.0 Back: 149.156
INFO - Atoms: 303567/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 7021777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.473 Prop: 11371.438 PropClause: 11196.159 Set: 1353.975 Check: 0.0 Back: 156.195
INFO - Atoms: 303207/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 7324807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.494 Prop: 11872.554 PropClause: 11689.83 Set: 1410.76 Check: 0.0 Back: 163.273
INFO - Atoms: 303030/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 7627622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.516 Prop: 12385.544 PropClause: 12195.288 Set: 1467.92 Check: 0.0 Back: 170.394
INFO - Atoms: 302815/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 7929968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.537 Prop: 12901.352 PropClause: 12703.601 Set: 1523.951 Check: 0.0 Back: 177.592
INFO - Atoms: 302346/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 8231653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.555 Prop: 13401.447 PropClause: 13196.265 Set: 1580.824 Check: 0.0 Back: 184.652
INFO - Atoms: 301685/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 8533160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.576 Prop: 13917.848 PropClause: 13705.218 Set: 1636.761 Check: 0.0 Back: 191.697
INFO - Atoms: 301507/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 8834455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.595 Prop: 14380.93 PropClause: 14160.901 Set: 1691.658 Check: 0.0 Back: 198.799
INFO - Atoms: 301295/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 9135553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.612 Prop: 14854.855 PropClause: 14627.417 Set: 1746.53 Check: 0.0 Back: 205.705
INFO - Atoms: 301098/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 9436646 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.631 Prop: 15362.325 PropClause: 15127.465 Set: 1890.322 Check: 0.0 Back: 212.607
INFO - Atoms: 301093/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 9737173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.653 Prop: 15877.052 PropClause: 15634.775 Set: 1945.432 Check: 0.0 Back: 219.606
INFO - Atoms: 300527/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 10037414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.674 Prop: 16385.217 PropClause: 16135.506 Set: 2001.433 Check: 0.0 Back: 226.605
INFO - Atoms: 300241/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 10337540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.693 Prop: 16857.177 PropClause: 16600.127 Set: 2056.411 Check: 0.0 Back: 233.653
INFO - Atoms: 300126/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 10637389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.715 Prop: 17322.018 PropClause: 17057.602 Set: 2110.608 Check: 0.0 Back: 240.587
INFO - Atoms: 299849/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 10936794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.735 Prop: 17818.021 PropClause: 17546.131 Set: 2166.4 Check: 0.0 Back: 247.52
INFO - Atoms: 299405/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 11235977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.754 Prop: 18315.526 PropClause: 18036.265 Set: 2221.773 Check: 0.0 Back: 254.444
INFO - Atoms: 299183/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 11534941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.775 Prop: 18821.296 PropClause: 18534.67 Set: 2276.717 Check: 0.0 Back: 261.37
INFO - Atoms: 298964/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 11833639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.796 Prop: 19325.104 PropClause: 19031.076 Set: 2332.611 Check: 0.0 Back: 268.346
INFO - Atoms: 298698/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 12131983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.825 Prop: 19791.694 PropClause: 19490.345 Set: 2387.623 Check: 0.0 Back: 275.461
INFO - Atoms: 298344/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 12430107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.844 Prop: 20274.82 PropClause: 19966.091 Set: 2498.327 Check: 0.0 Back: 282.324
INFO - Atoms: 298124/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 12728223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.865 Prop: 20773.492 PropClause: 20457.409 Set: 2552.844 Check: 0.0 Back: 289.21
INFO - Atoms: 298116/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 13025961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.882 Prop: 21272.662 PropClause: 20949.252 Set: 2607.793 Check: 0.0 Back: 296.194
INFO - Atoms: 297738/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 13323521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.901 Prop: 21787.368 PropClause: 21456.631 Set: 2663.146 Check: 0.0 Back: 303.158
INFO - Atoms: 297560/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 13620867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.921 Prop: 22299.524 PropClause: 21961.451 Set: 2717.844 Check: 0.0 Back: 310.119
INFO - Atoms: 297346/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 13917835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.937 Prop: 22767.712 PropClause: 22422.312 Set: 2771.833 Check: 0.0 Back: 317.083
INFO - Atoms: 296968/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 14214512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.959 Prop: 23248.193 PropClause: 22895.478 Set: 2905.783 Check: 0.0 Back: 324.056
INFO - Atoms: 296677/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 14511021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.978 Prop: 23762.621 PropClause: 23402.614 Set: 2961.856 Check: 0.0 Back: 330.876
INFO - Atoms: 296509/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 14807308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.999 Prop: 24290.268 PropClause: 23922.934 Set: 3017.843 Check: 0.0 Back: 337.818
INFO - Atoms: 296287/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 15103401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.018 Prop: 24816.358 PropClause: 24441.686 Set: 3073.546 Check: 0.0 Back: 344.803
INFO - Atoms: 296093/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 15399300 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.037 Prop: 25283.156 PropClause: 24901.202 Set: 3128.62 Check: 0.0 Back: 351.733
INFO - Atoms: 295899/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 15695029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.058 Prop: 25777.411 PropClause: 25388.174 Set: 3182.63 Check: 0.0 Back: 358.554
INFO - Atoms: 295729/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 15990536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.077 Prop: 26264.836 PropClause: 25868.329 Set: 3237.84 Check: 0.0 Back: 365.455
INFO - Atoms: 295507/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 16285966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.095 Prop: 26755.427 PropClause: 26351.64 Set: 3292.395 Check: 0.0 Back: 372.317
INFO - Atoms: 295430/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 16581176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.115 Prop: 27251.897 PropClause: 26840.842 Set: 3421.32 Check: 0.0 Back: 379.164
INFO - Atoms: 295210/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 16876206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.134 Prop: 27749.613 PropClause: 27331.271 Set: 3475.857 Check: 0.0 Back: 385.997
INFO - Atoms: 295030/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 17171028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.156 Prop: 28223.342 PropClause: 27797.751 Set: 3529.327 Check: 0.0 Back: 392.878
INFO - Atoms: 294822/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 17465673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.175 Prop: 28707.315 PropClause: 28274.479 Set: 3583.567 Check: 0.0 Back: 399.66
INFO - Atoms: 294645/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 17760105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.193 Prop: 29199.747 PropClause: 28759.66 Set: 3638.036 Check: 0.0 Back: 406.488
INFO - Atoms: 294432/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 18054367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.211 Prop: 29696.314 PropClause: 29248.929 Set: 3692.476 Check: 0.0 Back: 413.267
INFO - Atoms: 294262/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 18348407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.233 Prop: 30182.414 PropClause: 29727.777 Set: 3746.6 Check: 0.0 Back: 420.089
INFO - Atoms: 294040/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 18642273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.253 Prop: 30695.885 PropClause: 30234.014 Set: 3803.124 Check: 0.0 Back: 426.916
INFO - Atoms: 293866/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 18935925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.273 Prop: 31144.717 PropClause: 30675.621 Set: 3856.338 Check: 0.0 Back: 433.768
INFO - Atoms: 293652/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 19229395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.291 Prop: 31618.443 PropClause: 31142.136 Set: 3910.938 Check: 0.0 Back: 440.524
INFO - Atoms: 293470/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 19522659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.316 Prop: 32108.173 PropClause: 31624.658 Set: 3965.186 Check: 0.0 Back: 447.339
INFO - Atoms: 293264/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 19815725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.335 Prop: 32608.963 PropClause: 32118.221 Set: 4019.299 Check: 0.0 Back: 454.252
INFO - Atoms: 293066/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 20108597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.356 Prop: 33103.514 PropClause: 32605.56 Set: 4073.812 Check: 0.0 Back: 461.087
INFO - Atoms: 292872/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 20401273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.373 Prop: 33575.939 PropClause: 33070.741 Set: 4127.241 Check: 0.0 Back: 467.94
INFO - Atoms: 292676/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 20693753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.389 Prop: 34045.225 PropClause: 33532.84 Set: 4180.826 Check: 0.0 Back: 474.683
INFO - Atoms: 292480/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 20986065 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.432 Prop: 34523.401 PropClause: 34003.815 Set: 4336.911 Check: 0.0 Back: 481.517
INFO - Atoms: 292312/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 21278157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.489 Prop: 35015.518 PropClause: 34488.742 Set: 4392.248 Check: 0.0 Back: 488.207
INFO - Atoms: 292092/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 21570053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.545 Prop: 35541.622 PropClause: 35007.693 Set: 4447.068 Check: 0.0 Back: 495.022
INFO - Atoms: 291896/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 21861753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.564 Prop: 36063.181 PropClause: 35522.062 Set: 4503.457 Check: 0.0 Back: 501.96
INFO - Atoms: 291700/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 22153283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.583 Prop: 36599.005 PropClause: 36050.653 Set: 4558.628 Check: 0.0 Back: 508.861
INFO - Atoms: 291530/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 22444593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.603 Prop: 37127.494 PropClause: 36571.918 Set: 4613.501 Check: 0.0 Back: 515.625
INFO - Atoms: 291310/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 22735735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.62 Prop: 37650.657 PropClause: 37087.894 Set: 4668.441 Check: 0.0 Back: 522.569
INFO - Atoms: 291142/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 23026655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.64 Prop: 38171.851 PropClause: 37601.882 Set: 4867.207 Check: 0.0 Back: 529.407
INFO - Atoms: 290920/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 23317405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.659 Prop: 38691.172 PropClause: 38114.033 Set: 4922.691 Check: 0.0 Back: 536.247
INFO - Atoms: 290750/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 23607939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.677 Prop: 39224.722 PropClause: 38640.413 Set: 4977.238 Check: 0.0 Back: 543.061
INFO - Atoms: 290534/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 23898301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.694 Prop: 39723.663 PropClause: 39132.182 Set: 5030.968 Check: 0.0 Back: 549.89
INFO - Atoms: 290362/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 24188441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.709 Prop: 40239.713 PropClause: 39641.086 Set: 5086.848 Check: 0.0 Back: 556.686
INFO - Atoms: 290140/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 24478411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.727 Prop: 40736.278 PropClause: 40130.468 Set: 5140.307 Check: 0.0 Back: 563.498
INFO - Atoms: 289970/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 24768161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.782 Prop: 41250.242 PropClause: 40637.237 Set: 5194.918 Check: 0.0 Back: 570.44
INFO - Atoms: 289750/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 25057741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.848 Prop: 41746.062 PropClause: 41125.887 Set: 5344.431 Check: 0.0 Back: 577.254
INFO - Atoms: 289580/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 25347103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.862 Prop: 42206.38 PropClause: 41579.023 Set: 5397.242 Check: 0.0 Back: 583.951
INFO - Atoms: 289362/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 25636295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.874 Prop: 42671.374 PropClause: 42036.845 Set: 5450.264 Check: 0.0 Back: 590.725
INFO - Atoms: 289192/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 25925267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.885 Prop: 43169.556 PropClause: 42527.871 Set: 5504.145 Check: 0.0 Back: 597.425
INFO - Atoms: 288972/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 26214069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.899 Prop: 43677.212 PropClause: 43028.317 Set: 5559.569 Check: 0.0 Back: 604.157
INFO - Atoms: 288802/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 26502649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.91 Prop: 44178.947 PropClause: 43522.955 Set: 5614.466 Check: 0.0 Back: 610.987
INFO - Atoms: 288580/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 26791035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.922 Prop: 44696.943 PropClause: 44033.837 Set: 5668.746 Check: 0.0 Back: 617.794
INFO - Atoms: 288386/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 27079225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.935 Prop: 45206.019 PropClause: 44535.754 Set: 5722.876 Check: 0.0 Back: 624.558
INFO - Atoms: 288190/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 27367247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.95 Prop: 45730.878 PropClause: 45053.483 Set: 5777.288 Check: 0.0 Back: 631.342
INFO - Atoms: 288022/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 27655049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.962 Prop: 46295.677 PropClause: 45611.16 Set: 5834.707 Check: 0.0 Back: 638.178
INFO - Atoms: 287802/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 27942679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.974 Prop: 46815.815 PropClause: 46124.21 Set: 5890.425 Check: 0.0 Back: 644.944
INFO - Atoms: 287630/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 28230091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.987 Prop: 47325.679 PropClause: 46626.988 Set: 5944.307 Check: 0.0 Back: 651.718
INFO - Atoms: 287412/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 28517331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.0 Prop: 47802.204 PropClause: 47096.502 Set: 5996.242 Check: 0.0 Back: 658.437
INFO - Atoms: 287240/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 28804353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.013 Prop: 48282.602 PropClause: 47569.821 Set: 6121.21 Check: 0.0 Back: 665.135
INFO - Atoms: 287022/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 29091203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.024 Prop: 48792.539 PropClause: 48072.722 Set: 6174.564 Check: 0.0 Back: 671.785
INFO - Atoms: 286850/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 29377833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.037 Prop: 49304.073 PropClause: 48577.153 Set: 6228.19 Check: 0.0 Back: 678.538
INFO - Atoms: 286630/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 29664293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.05 Prop: 49829.012 PropClause: 49095.017 Set: 6282.276 Check: 0.0 Back: 685.388
INFO - Atoms: 286460/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 29950535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.076 Prop: 50322.954 PropClause: 49581.885 Set: 6334.968 Check: 0.0 Back: 692.157
INFO - Atoms: 286242/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 30236607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.089 Prop: 50813.287 PropClause: 50065.159 Set: 6388.133 Check: 0.0 Back: 698.94
INFO - Atoms: 286072/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 30522459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.102 Prop: 51301.183 PropClause: 50546.005 Set: 6505.272 Check: 0.0 Back: 705.672
INFO - Atoms: 285852/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 30808141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.114 Prop: 51791.765 PropClause: 51029.578 Set: 6557.421 Check: 0.0 Back: 712.317
INFO - Atoms: 285682/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 31093601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.126 Prop: 52279.436 PropClause: 51510.206 Set: 6610.577 Check: 0.0 Back: 718.948
INFO - Atoms: 285460/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 31378866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.14 Prop: 52772.426 PropClause: 51996.177 Set: 6663.64 Check: 0.0 Back: 725.6
INFO - Atoms: 285265/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 31664123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.152 Prop: 53263.192 PropClause: 52479.925 Set: 6716.494 Check: 0.0 Back: 732.273
INFO - Atoms: 285257/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 31949186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.165 Prop: 53742.869 PropClause: 52952.563 Set: 6769.759 Check: 0.0 Back: 738.905
INFO - Atoms: 285063/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 32234055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.178 Prop: 54214.241 PropClause: 53416.902 Set: 6821.909 Check: 0.0 Back: 745.411
INFO - Atoms: 284869/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 32518728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.192 Prop: 54707.681 PropClause: 53903.382 Set: 6874.233 Check: 0.0 Back: 752.009
INFO - Atoms: 284673/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 32803117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.205 Prop: 55192.669 PropClause: 54381.346 Set: 6927.429 Check: 0.0 Back: 758.712
INFO - Atoms: 284389/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 33087328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.219 Prop: 55683.658 PropClause: 54865.31 Set: 6980.268 Check: 0.0 Back: 765.38
INFO - Atoms: 284211/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 33371327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.231 Prop: 56155.242 PropClause: 55329.865 Set: 7033.691 Check: 0.0 Back: 772.05
INFO - Atoms: 283999/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 33655148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.246 Prop: 56625.096 PropClause: 55792.754 Set: 7138.223 Check: 0.0 Back: 778.676
INFO - Atoms: 283821/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 33938757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.259 Prop: 57117.066 PropClause: 56277.695 Set: 7191.908 Check: 0.0 Back: 785.218
INFO - Atoms: 283609/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 34222197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.273 Prop: 57603.313 PropClause: 56756.969 Set: 7244.608 Check: 0.0 Back: 791.985
INFO - Atoms: 283440/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 34505416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.286 Prop: 58084.545 PropClause: 57231.203 Set: 7296.818 Check: 0.0 Back: 798.562
INFO - Atoms: 283219/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 34788439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.298 Prop: 58581.108 PropClause: 57720.789 Set: 7349.489 Check: 0.0 Back: 805.184
INFO - Atoms: 283023/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 35071268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.311 Prop: 59050.645 PropClause: 58183.342 Set: 7441.356 Check: 0.0 Back: 811.775
INFO - Atoms: 282829/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 35353901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.323 Prop: 59552.355 PropClause: 58678.092 Set: 7493.356 Check: 0.0 Back: 818.332
INFO - Atoms: 282633/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 35636340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.335 Prop: 60042.42 PropClause: 59161.188 Set: 7547.324 Check: 0.0 Back: 825.072
INFO - Atoms: 282439/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 35918583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.349 Prop: 60518.447 PropClause: 59630.32 Set: 7599.302 Check: 0.0 Back: 831.64
INFO - Atoms: 282243/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 36200632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.363 Prop: 61005.897 PropClause: 60110.808 Set: 7652.631 Check: 0.0 Back: 838.177
INFO - Atoms: 282049/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 36482511 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.376 Prop: 61497.3 PropClause: 60595.287 Set: 7761.719 Check: 0.0 Back: 844.753
INFO - Atoms: 281879/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 36764168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.388 Prop: 61957.291 PropClause: 61048.375 Set: 7814.433 Check: 0.0 Back: 851.317
INFO - Atoms: 281657/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 37045655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.4 Prop: 62425.173 PropClause: 61509.395 Set: 7866.77 Check: 0.0 Back: 857.927
INFO - Atoms: 281487/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 37326922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.413 Prop: 62904.498 PropClause: 61981.79 Set: 7919.135 Check: 0.0 Back: 864.475
INFO - Atoms: 281267/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 37608021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.427 Prop: 63389.477 PropClause: 62459.812 Set: 7972.492 Check: 0.0 Back: 871.042
INFO - Atoms: 281099/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 37888900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.445 Prop: 63882.595 PropClause: 62946.036 Set: 8124.811 Check: 0.0 Back: 877.62
INFO - Atoms: 280879/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 38169607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.486 Prop: 64362.379 PropClause: 63418.942 Set: 8176.801 Check: 0.0 Back: 884.081
INFO - Atoms: 280707/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 38450094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.494 Prop: 64807.317 PropClause: 63857.01 Set: 8227.851 Check: 0.0 Back: 890.678
INFO - Atoms: 280487/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 38730411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.501 Prop: 65257.295 PropClause: 64300.153 Set: 8278.609 Check: 0.0 Back: 897.145
INFO - Atoms: 280317/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 39010510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.509 Prop: 65730.557 PropClause: 64766.449 Set: 8330.837 Check: 0.0 Back: 903.734
INFO - Atoms: 280099/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 39290413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.517 Prop: 66203.752 PropClause: 65232.741 Set: 8382.846 Check: 0.0 Back: 910.346
INFO - Atoms: 279903/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 39570120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.526 Prop: 66702.23 PropClause: 65724.286 Set: 8436.19 Check: 0.0 Back: 916.69
INFO - Atoms: 279707/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 39849650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.534 Prop: 67183.984 PropClause: 66199.191 Set: 8489.279 Check: 0.0 Back: 923.351
INFO - Atoms: 279530/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 40128969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.541 Prop: 67630.85 PropClause: 66639.225 Set: 8540.427 Check: 0.0 Back: 929.891
INFO - Atoms: 279319/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 40408116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.548 Prop: 68078.624 PropClause: 67080.138 Set: 8592.219 Check: 0.0 Back: 936.425
INFO - Atoms: 279147/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 40687045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.555 Prop: 68546.861 PropClause: 67541.517 Set: 8722.348 Check: 0.0 Back: 942.827
INFO - Atoms: 278929/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 40965804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.562 Prop: 69026.874 PropClause: 68014.669 Set: 8774.163 Check: 0.0 Back: 949.28
INFO - Atoms: 278759/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 41244341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.569 Prop: 69501.174 PropClause: 68482.117 Set: 8825.64 Check: 0.0 Back: 955.707
INFO - Atoms: 278537/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 41522710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.605 Prop: 70000.41 PropClause: 68974.467 Set: 8879.125 Check: 0.0 Back: 962.175
INFO - Atoms: 278369/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 41800857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.642 Prop: 70446.623 PropClause: 69413.862 Set: 8929.993 Check: 0.0 Back: 968.741
INFO - Atoms: 278147/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 42078810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.648 Prop: 70898.006 PropClause: 69858.422 Set: 9048.985 Check: 0.0 Back: 975.249
INFO - Atoms: 277953/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 42356569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.656 Prop: 71368.016 PropClause: 70321.574 Set: 9100.33 Check: 0.0 Back: 981.701
INFO - Atoms: 277759/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 42634132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.662 Prop: 71857.084 PropClause: 70803.795 Set: 9152.727 Check: 0.0 Back: 988.271
INFO - Atoms: 277563/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 42911499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.671 Prop: 72325.801 PropClause: 71265.702 Set: 9204.132 Check: 0.0 Back: 994.743
INFO - Atoms: 277367/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 43188691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.677 Prop: 72806.323 PropClause: 71739.378 Set: 9256.754 Check: 0.0 Back: 1001.165
INFO - Atoms: 277192/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 43465670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.684 Prop: 73266.265 PropClause: 72192.49 Set: 9389.158 Check: 0.0 Back: 1007.675
INFO - Atoms: 276979/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 43742472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.693 Prop: 73723.887 PropClause: 72643.314 Set: 9440.228 Check: 0.0 Back: 1013.986
INFO - Atoms: 276802/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 44019061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.7 Prop: 74210.028 PropClause: 73122.628 Set: 9493.249 Check: 0.0 Back: 1020.38
INFO - Atoms: 276589/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 44295480 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.707 Prop: 74685.942 PropClause: 73591.769 Set: 9543.804 Check: 0.0 Back: 1026.879
INFO - Atoms: 276419/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 44571679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.713 Prop: 75166.568 PropClause: 74065.584 Set: 9596.477 Check: 0.0 Back: 1033.414
INFO - Atoms: 276199/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 44847708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.72 Prop: 75640.969 PropClause: 74533.192 Set: 9647.734 Check: 0.0 Back: 1039.826
INFO - Atoms: 276029/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 45123515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.727 Prop: 76091.823 PropClause: 74977.278 Set: 9698.155 Check: 0.0 Back: 1046.267
INFO - Atoms: 275807/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 45399128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.733 Prop: 76524.005 PropClause: 75402.67 Set: 9748.58 Check: 0.0 Back: 1052.697
INFO - Atoms: 275613/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 45674547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.74 Prop: 76980.95 PropClause: 75852.837 Set: 9799.323 Check: 0.0 Back: 1059.084
INFO - Atoms: 275419/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 45949788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.747 Prop: 77443.569 PropClause: 76308.68 Set: 9850.149 Check: 0.0 Back: 1065.461
INFO - Atoms: 275241/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 46224815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.754 Prop: 77904.115 PropClause: 76762.485 Set: 9901.324 Check: 0.0 Back: 1071.863
INFO - Atoms: 275027/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 46499648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.762 Prop: 78373.176 PropClause: 77224.752 Set: 9952.292 Check: 0.0 Back: 1078.359
INFO - Atoms: 274833/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 46774285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.769 Prop: 78796.514 PropClause: 77641.383 Set: 10001.977 Check: 0.0 Back: 1084.766
INFO - Atoms: 274637/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 47048748 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.775 Prop: 79231.077 PropClause: 78069.226 Set: 10051.884 Check: 0.0 Back: 1091.078
INFO - Atoms: 274463/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 47322997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.783 Prop: 79691.438 PropClause: 78522.805 Set: 10179.616 Check: 0.0 Back: 1097.416
INFO - Atoms: 274249/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 47597074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.791 Prop: 80157.928 PropClause: 78982.528 Set: 10230.061 Check: 0.0 Back: 1103.716
INFO - Atoms: 274077/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 47870933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.798 Prop: 80619.143 PropClause: 79437.038 Set: 10280.189 Check: 0.0 Back: 1110.102
INFO - Atoms: 273859/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 48144614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.805 Prop: 81093.348 PropClause: 79904.449 Set: 10331.284 Check: 0.0 Back: 1116.471
INFO - Atoms: 273681/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 48418083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.812 Prop: 81543.631 PropClause: 80347.993 Set: 10382.796 Check: 0.0 Back: 1122.836
INFO - Atoms: 273469/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 48691374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.818 Prop: 81992.573 PropClause: 80790.234 Set: 10432.851 Check: 0.0 Back: 1129.239
INFO - Atoms: 273291/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 48964453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.825 Prop: 82444.945 PropClause: 81235.889 Set: 10482.486 Check: 0.0 Back: 1135.61
INFO - Atoms: 273079/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 49237360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.834 Prop: 82899.665 PropClause: 81683.903 Set: 10532.237 Check: 0.0 Back: 1141.993
INFO - Atoms: 272907/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 49510049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.841 Prop: 83358.965 PropClause: 82136.505 Set: 10582.493 Check: 0.0 Back: 1148.397
INFO - Atoms: 272689/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 49782568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.847 Prop: 83833.796 PropClause: 82604.625 Set: 10632.894 Check: 0.0 Back: 1154.804
INFO - Atoms: 272519/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 50054867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.855 Prop: 84274.765 PropClause: 83038.871 Set: 10683.928 Check: 0.0 Back: 1161.186
INFO - Atoms: 272299/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 50326996 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.862 Prop: 84719.688 PropClause: 83477.135 Set: 10733.774 Check: 0.0 Back: 1167.486
INFO - Atoms: 272129/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 50598903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.87 Prop: 85173.055 PropClause: 83923.828 Set: 10784.112 Check: 0.0 Back: 1173.81
INFO - Atoms: 271907/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 50870616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.877 Prop: 85639.441 PropClause: 84383.516 Set: 10893.399 Check: 0.0 Back: 1180.126
INFO - Atoms: 271713/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 51142135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.885 Prop: 86109.286 PropClause: 84846.675 Set: 10944.408 Check: 0.0 Back: 1186.523
INFO - Atoms: 271519/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 51413484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.893 Prop: 86576.631 PropClause: 85307.366 Set: 10994.907 Check: 0.0 Back: 1192.891
INFO - Atoms: 271349/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 51684613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.899 Prop: 87025.318 PropClause: 85749.336 Set: 11045.252 Check: 0.0 Back: 1199.219
INFO - Atoms: 271129/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 51955572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.907 Prop: 87482.101 PropClause: 86199.455 Set: 11134.875 Check: 0.0 Back: 1205.562
INFO - Atoms: 270959/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 52226311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.915 Prop: 87946.188 PropClause: 86656.934 Set: 11184.7 Check: 0.0 Back: 1211.92
INFO - Atoms: 270739/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 52496880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.923 Prop: 88403.669 PropClause: 87107.72 Set: 11234.129 Check: 0.0 Back: 1218.263
INFO - Atoms: 270569/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 52767229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.93 Prop: 88860.567 PropClause: 87557.98 Set: 11285.016 Check: 0.0 Back: 1224.6
INFO - Atoms: 270349/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 53037382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.939 Prop: 89319.476 PropClause: 88010.267 Set: 11334.538 Check: 0.0 Back: 1230.876
INFO - Atoms: 270153/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 53307341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.947 Prop: 89778.279 PropClause: 88462.385 Set: 11384.102 Check: 0.0 Back: 1237.129
INFO - Atoms: 269959/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 53577122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.953 Prop: 90211.206 PropClause: 88888.688 Set: 11434.164 Check: 0.0 Back: 1243.383
INFO - Atoms: 269781/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 53846691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.96 Prop: 90627.0 PropClause: 89297.895 Set: 11482.958 Check: 0.0 Back: 1249.574
INFO - Atoms: 269569/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 54116082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.967 Prop: 91083.767 PropClause: 89747.957 Set: 11532.809 Check: 0.0 Back: 1255.888
INFO - Atoms: 269391/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 54385261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.974 Prop: 91533.806 PropClause: 90191.353 Set: 11581.779 Check: 0.0 Back: 1262.088
INFO - Atoms: 269179/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 54654268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.982 Prop: 91991.227 PropClause: 90642.128 Set: 11631.365 Check: 0.0 Back: 1268.327
INFO - Atoms: 269007/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 54923057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.989 Prop: 92425.821 PropClause: 91070.105 Set: 11680.982 Check: 0.0 Back: 1274.579
INFO - Atoms: 268789/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 55191674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.997 Prop: 92857.156 PropClause: 91494.764 Set: 11729.764 Check: 0.0 Back: 1280.796
INFO - Atoms: 268617/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 55460073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.004 Prop: 93291.028 PropClause: 91922.051 Set: 11778.673 Check: 0.0 Back: 1287.037
INFO - Atoms: 268399/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 55728302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.011 Prop: 93733.681 PropClause: 92358.092 Set: 11828.055 Check: 0.0 Back: 1293.292
INFO - Atoms: 268229/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 55996311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.018 Prop: 94180.226 PropClause: 92798.027 Set: 11877.884 Check: 0.0 Back: 1299.576
INFO - Atoms: 268009/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 56264150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.026 Prop: 94622.153 PropClause: 93233.365 Set: 11926.995 Check: 0.0 Back: 1305.963
INFO - Atoms: 267839/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 56531769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.034 Prop: 95069.33 PropClause: 93673.943 Set: 11976.632 Check: 0.0 Back: 1312.252
INFO - Atoms: 267619/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 56799192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.041 Prop: 95483.094 PropClause: 94081.119 Set: 12024.628 Check: 0.0 Back: 1318.509
INFO - Atoms: 267423/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 57066419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.049 Prop: 95891.32 PropClause: 94482.754 Set: 12072.98 Check: 0.0 Back: 1324.633
INFO - Atoms: 267227/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 57333452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.057 Prop: 96323.682 PropClause: 94908.621 Set: 12121.275 Check: 0.0 Back: 1330.845
INFO - Atoms: 267033/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 57600291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.065 Prop: 96755.91 PropClause: 95334.263 Set: 12171.663 Check: 0.0 Back: 1337.078
INFO - Atoms: 266839/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 57866934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.072 Prop: 97204.915 PropClause: 95776.704 Set: 12220.559 Check: 0.0 Back: 1343.254
INFO - Atoms: 266643/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 58133383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.079 Prop: 97645.979 PropClause: 96211.174 Set: 12269.723 Check: 0.0 Back: 1349.493
INFO - Atoms: 266449/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 58399636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.086 Prop: 98056.71 PropClause: 96615.342 Set: 12318.399 Check: 0.0 Back: 1355.762
INFO - Atoms: 266253/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 58665693 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.094 Prop: 98464.593 PropClause: 97016.627 Set: 12366.956 Check: 0.0 Back: 1361.881
INFO - Atoms: 266057/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 58931582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.101 Prop: 98887.624 PropClause: 97433.087 Set: 12415.489 Check: 0.0 Back: 1368.138
INFO - Atoms: 265889/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 59197249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.109 Prop: 99331.811 PropClause: 97870.724 Set: 12465.024 Check: 0.0 Back: 1374.412
INFO - Atoms: 265667/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 59462743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.118 Prop: 99782.104 PropClause: 98314.378 Set: 12563.6 Check: 0.0 Back: 1380.594
INFO - Atoms: 265494/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 59728020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.124 Prop: 100236.431 PropClause: 98762.086 Set: 12613.276 Check: 0.0 Back: 1386.995
INFO - Atoms: 265277/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 59993127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.133 Prop: 100669.6 PropClause: 99188.734 Set: 12661.703 Check: 0.0 Back: 1393.344
INFO - Atoms: 265107/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 60258016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.14 Prop: 101076.733 PropClause: 99589.413 Set: 12710.829 Check: 0.0 Back: 1399.562
INFO - Atoms: 264889/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 60522735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.148 Prop: 101484.809 PropClause: 99990.99 Set: 12824.559 Check: 0.0 Back: 1405.691
INFO - Atoms: 264719/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 60787234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.156 Prop: 101911.425 PropClause: 100411.026 Set: 12872.628 Check: 0.0 Back: 1411.795
INFO - Atoms: 264499/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 61051537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.163 Prop: 102348.446 PropClause: 100841.524 Set: 12920.512 Check: 0.0 Back: 1417.879
INFO - Atoms: 264303/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 61315644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.17 Prop: 102793.713 PropClause: 101280.289 Set: 12969.062 Check: 0.0 Back: 1424.055
INFO - Atoms: 264107/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 61579581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.176 Prop: 103248.413 PropClause: 101728.568 Set: 13017.762 Check: 0.0 Back: 1430.258
INFO - Atoms: 263937/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 61843300 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.183 Prop: 103661.423 PropClause: 102135.114 Set: 13065.988 Check: 0.0 Back: 1436.464
INFO - Atoms: 263719/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 62106843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.191 Prop: 104056.873 PropClause: 102524.11 Set: 13112.664 Check: 0.0 Back: 1442.623
INFO - Atoms: 263543/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 62370172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.198 Prop: 104483.078 PropClause: 102943.846 Set: 13161.088 Check: 0.0 Back: 1448.681
INFO - Atoms: 263329/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 62633305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.205 Prop: 104919.036 PropClause: 103373.369 Set: 13210.535 Check: 0.0 Back: 1454.735
INFO - Atoms: 263133/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 62896244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.211 Prop: 105348.321 PropClause: 103796.19 Set: 13258.394 Check: 0.0 Back: 1460.911
INFO - Atoms: 262939/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 63159013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.218 Prop: 105787.189 PropClause: 104228.588 Set: 13306.861 Check: 0.0 Back: 1467.11
INFO - Atoms: 262769/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 63421562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.226 Prop: 106185.872 PropClause: 104620.826 Set: 13415.669 Check: 0.0 Back: 1473.208
INFO - Atoms: 262549/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 63683939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.234 Prop: 106591.163 PropClause: 105019.697 Set: 13462.66 Check: 0.0 Back: 1479.235
INFO - Atoms: 262377/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 63946096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.241 Prop: 106997.201 PropClause: 105419.257 Set: 13509.743 Check: 0.0 Back: 1485.32
INFO - Atoms: 262157/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 64208077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.249 Prop: 107416.739 PropClause: 105832.41 Set: 13556.749 Check: 0.0 Back: 1491.426
INFO - Atoms: 261981/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 64469846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.257 Prop: 107848.892 PropClause: 106258.13 Set: 13604.915 Check: 0.0 Back: 1497.502
INFO - Atoms: 261769/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 64731419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.263 Prop: 108290.066 PropClause: 106692.858 Set: 13652.979 Check: 0.0 Back: 1503.612
INFO - Atoms: 261573/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 64992796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.269 Prop: 108713.666 PropClause: 107110.053 Set: 13700.896 Check: 0.0 Back: 1509.713
INFO - Atoms: 261377/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 65254003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.277 Prop: 109126.862 PropClause: 107516.839 Set: 13806.953 Check: 0.0 Back: 1515.813
INFO - Atoms: 261207/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 65514992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.284 Prop: 109541.544 PropClause: 107925.12 Set: 13854.279 Check: 0.0 Back: 1521.819
INFO - Atoms: 260989/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 65775811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.292 Prop: 109947.102 PropClause: 108324.289 Set: 13900.77 Check: 0.0 Back: 1527.83
INFO - Atoms: 260819/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 66036410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.299 Prop: 110371.329 PropClause: 108742.159 Set: 13948.67 Check: 0.0 Back: 1533.82
INFO - Atoms: 260599/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 66296839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.307 Prop: 110798.721 PropClause: 109163.137 Set: 13996.484 Check: 0.0 Back: 1539.851
INFO - Atoms: 260429/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 66557048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.314 Prop: 111221.512 PropClause: 109579.495 Set: 14044.326 Check: 0.0 Back: 1545.949
INFO - Atoms: 260209/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 66817087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.321 Prop: 111639.808 PropClause: 109991.364 Set: 14091.695 Check: 0.0 Back: 1552.061
INFO - Atoms: 260039/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 67076906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.328 Prop: 112053.863 PropClause: 110399.024 Set: 14140.767 Check: 0.0 Back: 1558.071
INFO - Atoms: 259819/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 67336548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.335 Prop: 112460.099 PropClause: 110798.923 Set: 14187.647 Check: 0.0 Back: 1564.073
INFO - Atoms: 259642/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 67595977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.342 Prop: 112865.979 PropClause: 111198.469 Set: 14233.569 Check: 0.0 Back: 1570.103
INFO - Atoms: 259429/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 67855234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.35 Prop: 113285.38 PropClause: 111611.497 Set: 14281.121 Check: 0.0 Back: 1576.104
INFO - Atoms: 259257/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 68114273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.358 Prop: 113707.168 PropClause: 112026.904 Set: 14327.957 Check: 0.0 Back: 1582.125
INFO - Atoms: 259039/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 68373142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.365 Prop: 114132.594 PropClause: 112445.967 Set: 14375.14 Check: 0.0 Back: 1588.214
INFO - Atoms: 258869/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 68631791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.374 Prop: 114530.223 PropClause: 112837.226 Set: 14421.608 Check: 0.0 Back: 1594.242
INFO - Atoms: 258649/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 68890270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.381 Prop: 114940.881 PropClause: 113241.614 Set: 14467.592 Check: 0.0 Back: 1600.24
INFO - Atoms: 258479/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 69148529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.389 Prop: 115348.723 PropClause: 113643.131 Set: 14514.374 Check: 0.0 Back: 1606.179
INFO - Atoms: 258259/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 69406616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.396 Prop: 115764.969 PropClause: 114053.062 Set: 14560.509 Check: 0.0 Back: 1612.189
INFO - Atoms: 258087/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 69664485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.403 Prop: 116179.272 PropClause: 114461.032 Set: 14698.45 Check: 0.0 Back: 1618.157
INFO - Atoms: 257869/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 69922158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.411 Prop: 116618.683 PropClause: 114894.103 Set: 14746.985 Check: 0.0 Back: 1624.06
INFO - Atoms: 257673/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 70179637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.418 Prop: 117027.458 PropClause: 115296.475 Set: 14793.566 Check: 0.0 Back: 1630.073
INFO - Atoms: 257479/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 70436946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.424 Prop: 117432.615 PropClause: 115695.323 Set: 14840.087 Check: 0.0 Back: 1636.141
INFO - Atoms: 257309/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 70694035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.431 Prop: 117825.318 PropClause: 116081.715 Set: 14886.186 Check: 0.0 Back: 1642.165
INFO - Atoms: 257089/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 70950954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.439 Prop: 118238.454 PropClause: 116488.531 Set: 14933.018 Check: 0.0 Back: 1648.165
INFO - Atoms: 256919/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 71207651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.446 Prop: 118652.171 PropClause: 116895.966 Set: 14979.577 Check: 0.0 Back: 1654.091
INFO - Atoms: 256697/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 71464180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.455 Prop: 119109.26 PropClause: 117346.705 Set: 15027.178 Check: 0.0 Back: 1660.086
INFO - Atoms: 256529/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 71720489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.462 Prop: 119550.0 PropClause: 117781.11 Set: 15074.684 Check: 0.0 Back: 1666.148
INFO - Atoms: 256309/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 71976628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.469 Prop: 119985.313 PropClause: 118210.162 Set: 15121.187 Check: 0.0 Back: 1672.191
INFO - Atoms: 256139/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 72232547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.476 Prop: 120408.451 PropClause: 118627.009 Set: 15247.729 Check: 0.0 Back: 1678.202
INFO - Atoms: 255919/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 72488287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.483 Prop: 120841.156 PropClause: 119053.402 Set: 15295.021 Check: 0.0 Back: 1684.208
INFO - Atoms: 255740/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 72743816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.49 Prop: 121268.503 PropClause: 119474.475 Set: 15342.368 Check: 0.0 Back: 1690.16
INFO - Atoms: 255529/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 72999173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.497 Prop: 121701.402 PropClause: 119901.102 Set: 15389.568 Check: 0.0 Back: 1696.149
INFO - Atoms: 255357/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 73254312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.504 Prop: 122137.136 PropClause: 120330.55 Set: 15436.985 Check: 0.0 Back: 1702.07
INFO - Atoms: 255139/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 73509281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.511 Prop: 122568.18 PropClause: 120755.267 Set: 15483.133 Check: 0.0 Back: 1708.027
INFO - Atoms: 254969/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 73764028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.517 Prop: 122958.236 PropClause: 121139.069 Set: 15529.053 Check: 0.0 Back: 1713.949
INFO - Atoms: 254747/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 74018605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.525 Prop: 123354.004 PropClause: 121528.54 Set: 15575.143 Check: 0.0 Back: 1719.831
INFO - Atoms: 254577/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 74272964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.532 Prop: 123775.325 PropClause: 121943.561 Set: 15621.732 Check: 0.0 Back: 1725.712
INFO - Atoms: 254359/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 74527153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.54 Prop: 124192.249 PropClause: 122354.24 Set: 15668.557 Check: 0.0 Back: 1731.751
INFO - Atoms: 254189/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 74781122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.548 Prop: 124596.99 PropClause: 122752.739 Set: 15714.468 Check: 0.0 Back: 1737.71
INFO - Atoms: 253969/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 75034919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.555 Prop: 125022.012 PropClause: 123171.461 Set: 15762.28 Check: 0.0 Back: 1743.699
INFO - Atoms: 253797/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 75288496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.562 Prop: 125421.993 PropClause: 123565.253 Set: 15807.765 Check: 0.0 Back: 1749.612
INFO - Atoms: 253577/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 75541896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.57 Prop: 125816.963 PropClause: 123954.019 Set: 15944.885 Check: 0.0 Back: 1755.455
INFO - Atoms: 253400/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 75795085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.576 Prop: 126218.808 PropClause: 124349.621 Set: 15991.287 Check: 0.0 Back: 1761.312
INFO - Atoms: 253189/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 76048078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.583 Prop: 126643.664 PropClause: 124768.263 Set: 16037.205 Check: 0.0 Back: 1767.137
INFO - Atoms: 252993/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 76300875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.59 Prop: 127059.467 PropClause: 125177.732 Set: 16087.94 Check: 0.0 Back: 1773.111
INFO - Atoms: 252797/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 76553478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.597 Prop: 127492.176 PropClause: 125604.182 Set: 16135.04 Check: 0.0 Back: 1778.986
INFO - Atoms: 252603/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 76805887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.605 Prop: 127907.597 PropClause: 126013.385 Set: 16181.242 Check: 0.0 Back: 1784.876
INFO - Atoms: 252409/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 77058119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.612 Prop: 128319.393 PropClause: 126418.993 Set: 16227.149 Check: 0.0 Back: 1790.806
INFO - Atoms: 252232/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 77310136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.619 Prop: 128729.741 PropClause: 126823.14 Set: 16272.923 Check: 0.0 Back: 1796.719
INFO - Atoms: 252017/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 77561978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.627 Prop: 129163.241 PropClause: 127250.44 Set: 16319.058 Check: 0.0 Back: 1802.608
INFO - Atoms: 251842/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 77813607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.634 Prop: 129592.014 PropClause: 127673.03 Set: 16366.277 Check: 0.0 Back: 1808.45
INFO - Atoms: 251629/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 78065040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.64 Prop: 130011.211 PropClause: 128086.017 Set: 16412.25 Check: 0.0 Back: 1814.402
INFO - Atoms: 251433/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 78316277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.648 Prop: 130419.901 PropClause: 128488.43 Set: 16458.589 Check: 0.0 Back: 1820.328
INFO - Atoms: 251237/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 78567337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.655 Prop: 130829.769 PropClause: 128892.07 Set: 16512.514 Check: 0.0 Back: 1826.239
INFO - Atoms: 251060/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 78818184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.662 Prop: 131219.222 PropClause: 129275.321 Set: 16557.948 Check: 0.0 Back: 1832.147
INFO - Atoms: 250847/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 79068861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.67 Prop: 131607.392 PropClause: 129657.338 Set: 16602.581 Check: 0.0 Back: 1838.025
INFO - Atoms: 250677/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 79319320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.677 Prop: 132022.495 PropClause: 130066.269 Set: 16647.921 Check: 0.0 Back: 1843.818
INFO - Atoms: 250459/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 79569607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.685 Prop: 132433.579 PropClause: 130471.156 Set: 16693.931 Check: 0.0 Back: 1849.643
INFO - Atoms: 250287/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 79819674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.692 Prop: 132848.215 PropClause: 130879.662 Set: 16739.524 Check: 0.0 Back: 1855.494
INFO - Atoms: 250067/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 80069571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.7 Prop: 133250.008 PropClause: 131275.293 Set: 16785.185 Check: 0.0 Back: 1861.392
INFO - Atoms: 249897/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 80319250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.708 Prop: 133636.533 PropClause: 131655.677 Set: 16830.401 Check: 0.0 Back: 1867.221
INFO - Atoms: 249679/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 80568759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.715 Prop: 134030.074 PropClause: 132043.119 Set: 16875.058 Check: 0.0 Back: 1873.107
INFO - Atoms: 249509/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 80818048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.72 Prop: 134431.896 PropClause: 132438.771 Set: 16920.765 Check: 0.0 Back: 1878.901
INFO - Atoms: 249289/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 81067141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.728 Prop: 134836.626 PropClause: 132837.378 Set: 16966.225 Check: 0.0 Back: 1884.749
INFO - Atoms: 249093/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 81316038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.735 Prop: 135240.372 PropClause: 133234.988 Set: 17011.915 Check: 0.0 Back: 1890.536
INFO - Atoms: 248897/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 81564762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.744 Prop: 135651.37 PropClause: 133639.84 Set: 17057.423 Check: 0.0 Back: 1896.273
INFO - Atoms: 248724/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 81813269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.753 Prop: 136075.106 PropClause: 134057.484 Set: 17103.384 Check: 0.0 Back: 1902.048
INFO - Atoms: 248507/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 82061606 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.759 Prop: 136459.336 PropClause: 134435.608 Set: 17147.512 Check: 0.0 Back: 1907.898
INFO - Atoms: 248337/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 82309725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.767 Prop: 136844.57 PropClause: 134814.779 Set: 17192.56 Check: 0.0 Back: 1913.631
INFO - Atoms: 248119/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 82557668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.775 Prop: 137242.791 PropClause: 135206.957 Set: 17237.412 Check: 0.0 Back: 1919.389
INFO - Atoms: 247943/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 82805395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.782 Prop: 137642.619 PropClause: 135600.691 Set: 17282.318 Check: 0.0 Back: 1925.227
INFO - Atoms: 247727/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 83052954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.789 Prop: 138047.103 PropClause: 135999.086 Set: 17385.586 Check: 0.0 Back: 1930.996
INFO - Atoms: 247559/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 83300291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.797 Prop: 138444.364 PropClause: 136390.297 Set: 17430.556 Check: 0.0 Back: 1936.765
INFO - Atoms: 247337/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 83547460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.805 Prop: 138848.451 PropClause: 136788.273 Set: 17476.872 Check: 0.0 Back: 1942.512
INFO - Atoms: 247169/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 83794409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.812 Prop: 139225.14 PropClause: 137158.954 Set: 17521.912 Check: 0.0 Back: 1948.257
INFO - Atoms: 246949/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 84041182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.819 Prop: 139615.668 PropClause: 137543.409 Set: 17566.152 Check: 0.0 Back: 1953.936
INFO - Atoms: 246773/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 84287741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.825 Prop: 140006.709 PropClause: 137928.402 Set: 17611.108 Check: 0.0 Back: 1959.573
INFO - Atoms: 246559/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 84534104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.832 Prop: 140416.671 PropClause: 138332.354 Set: 17657.113 Check: 0.0 Back: 1965.34
INFO - Atoms: 246363/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 84780271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.839 Prop: 140828.634 PropClause: 138738.256 Set: 17702.689 Check: 0.0 Back: 1971.037
INFO - Atoms: 246167/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 85026270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.846 Prop: 141243.836 PropClause: 139147.366 Set: 17748.301 Check: 0.0 Back: 1976.749
INFO - Atoms: 245999/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 85272049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.854 Prop: 141649.178 PropClause: 139546.654 Set: 17792.923 Check: 0.0 Back: 1982.514
INFO - Atoms: 245779/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 85517650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.862 Prop: 142040.111 PropClause: 139931.588 Set: 17836.461 Check: 0.0 Back: 1988.221
INFO - Atoms: 245601/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 85763037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.87 Prop: 142423.221 PropClause: 140308.683 Set: 17881.081 Check: 0.0 Back: 1993.852
INFO - Atoms: 245387/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 86008230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.878 Prop: 142809.465 PropClause: 140688.934 Set: 17925.625 Check: 0.0 Back: 1999.56
INFO - Atoms: 245193/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 86253229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.886 Prop: 143193.821 PropClause: 141067.285 Set: 17970.523 Check: 0.0 Back: 2005.217
INFO - Atoms: 244999/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 86498032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.893 Prop: 143576.975 PropClause: 141444.459 Set: 18075.382 Check: 0.0 Back: 2010.883
INFO - Atoms: 244803/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 86742639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.9 Prop: 143955.121 PropClause: 141816.613 Set: 18119.546 Check: 0.0 Back: 2016.563
INFO - Atoms: 244607/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 86987052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.907 Prop: 144345.661 PropClause: 142201.108 Set: 18164.02 Check: 0.0 Back: 2022.227
INFO - Atoms: 244413/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 87231271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.914 Prop: 144723.835 PropClause: 142573.307 Set: 18207.363 Check: 0.0 Back: 2028.022
INFO - Atoms: 244219/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 87475313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.922 Prop: 145100.707 PropClause: 142944.174 Set: 18251.111 Check: 0.0 Back: 2033.731
INFO - Atoms: 244042/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 87719140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.93 Prop: 145487.171 PropClause: 143324.595 Set: 18296.242 Check: 0.0 Back: 2039.319
INFO - Atoms: 243827/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 87962791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.938 Prop: 145884.778 PropClause: 143716.158 Set: 18341.422 Check: 0.0 Back: 2044.957
INFO - Atoms: 243651/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 88206230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.946 Prop: 146270.438 PropClause: 144095.841 Set: 18385.669 Check: 0.0 Back: 2050.669
INFO - Atoms: 243439/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 88449497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.953 Prop: 146656.548 PropClause: 144475.929 Set: 18430.71 Check: 0.0 Back: 2056.331
INFO - Atoms: 243267/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 88692546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.96 Prop: 147045.342 PropClause: 144858.781 Set: 18475.746 Check: 0.0 Back: 2062.054
INFO - Atoms: 243049/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 88935425 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.968 Prop: 147433.573 PropClause: 145241.016 Set: 18519.176 Check: 0.0 Back: 2067.745
INFO - Atoms: 242879/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 89178082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.974 Prop: 147794.385 PropClause: 145595.87 Set: 18562.476 Check: 0.0 Back: 2073.402
INFO - Atoms: 242657/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 89420569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.981 Prop: 148153.34 PropClause: 145948.916 Set: 18605.878 Check: 0.0 Back: 2079.0
INFO - Atoms: 242487/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 89662838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.988 Prop: 148540.761 PropClause: 146330.375 Set: 18651.375 Check: 0.0 Back: 2084.625
INFO - Atoms: 242269/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 89904911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.996 Prop: 148924.281 PropClause: 146707.999 Set: 18694.332 Check: 0.0 Back: 2090.302
INFO - Atoms: 242073/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 90146790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.003 Prop: 149308.369 PropClause: 147086.165 Set: 18738.418 Check: 0.0 Back: 2095.922
INFO - Atoms: 241879/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 90388497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.009 Prop: 149706.442 PropClause: 147478.283 Set: 18783.137 Check: 0.0 Back: 2101.528
INFO - Atoms: 241707/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 90629986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.017 Prop: 150079.112 PropClause: 147845.011 Set: 18827.112 Check: 0.0 Back: 2107.196
INFO - Atoms: 241489/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 90871305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.025 Prop: 150449.285 PropClause: 148209.312 Set: 18871.114 Check: 0.0 Back: 2112.843
INFO - Atoms: 241319/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 91112404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.033 Prop: 150815.824 PropClause: 148569.934 Set: 19001.963 Check: 0.0 Back: 2118.399
INFO - Atoms: 241099/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 91353333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.04 Prop: 151198.041 PropClause: 148946.243 Set: 19046.532 Check: 0.0 Back: 2123.921
INFO - Atoms: 240929/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 91594042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.047 Prop: 151574.051 PropClause: 149316.345 Set: 19089.643 Check: 0.0 Back: 2129.55
INFO - Atoms: 240709/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 91834581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.054 Prop: 151953.842 PropClause: 149690.271 Set: 19133.173 Check: 0.0 Back: 2135.119
INFO - Atoms: 240539/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 92074900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.062 Prop: 152327.42 PropClause: 150057.996 Set: 19176.147 Check: 0.0 Back: 2140.766
INFO - Atoms: 240319/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 92315049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.07 Prop: 152714.093 PropClause: 150438.745 Set: 19219.406 Check: 0.0 Back: 2146.327
INFO - Atoms: 240149/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 92554978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.078 Prop: 153073.889 PropClause: 150792.591 Set: 19262.619 Check: 0.0 Back: 2151.882
INFO - Atoms: 239929/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 92794737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.085 Prop: 153431.898 PropClause: 151144.728 Set: 19305.184 Check: 0.0 Back: 2157.449
INFO - Atoms: 239759/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 93034276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.092 Prop: 153800.895 PropClause: 151507.834 Set: 20048.447 Check: 0.0 Back: 2162.998
INFO - Atoms: 239539/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 93273645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.099 Prop: 154191.787 PropClause: 151892.846 Set: 20092.342 Check: 0.0 Back: 2168.487
INFO - Atoms: 239369/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 93512792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.107 Prop: 154570.393 PropClause: 152265.567 Set: 20135.649 Check: 0.0 Back: 2174.065
INFO - Atoms: 239147/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 93751764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.114 Prop: 154947.332 PropClause: 152636.656 Set: 20178.358 Check: 0.0 Back: 2179.608
INFO - Atoms: 238972/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 93990523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.121 Prop: 155304.08 PropClause: 152987.581 Set: 20221.784 Check: 0.0 Back: 2185.12
INFO - Atoms: 238759/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 94229105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.128 Prop: 155657.037 PropClause: 153334.755 Set: 20264.582 Check: 0.0 Back: 2190.615
INFO - Atoms: 238582/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 94467472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.134 Prop: 156002.037 PropClause: 153673.905 Set: 20306.57 Check: 0.0 Back: 2196.079
INFO - Atoms: 238367/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 94705663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.141 Prop: 156375.751 PropClause: 154041.829 Set: 20349.388 Check: 0.0 Back: 2201.571
INFO - Atoms: 238191/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 94943642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.149 Prop: 156754.962 PropClause: 154415.206 Set: 20392.675 Check: 0.0 Back: 2207.102
INFO - Atoms: 237979/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 95181443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.157 Prop: 157128.28 PropClause: 154782.677 Set: 20436.371 Check: 0.0 Back: 2212.688
INFO - Atoms: 237801/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 95419030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.165 Prop: 157510.883 PropClause: 155159.457 Set: 20480.45 Check: 0.0 Back: 2218.197
INFO - Atoms: 237587/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 95656423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.172 Prop: 157887.172 PropClause: 155529.904 Set: 20522.95 Check: 0.0 Back: 2223.757
INFO - Atoms: 237393/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 95893620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.179 Prop: 158244.756 PropClause: 155881.696 Set: 20564.536 Check: 0.0 Back: 2229.274
INFO - Atoms: 237197/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 96130647 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.187 Prop: 158604.555 PropClause: 156235.732 Set: 20650.927 Check: 0.0 Back: 2234.749
INFO - Atoms: 237027/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 96367454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.194 Prop: 158959.716 PropClause: 156585.074 Set: 20693.66 Check: 0.0 Back: 2240.233
INFO - Atoms: 236807/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 96604093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.202 Prop: 159327.208 PropClause: 156946.808 Set: 20736.346 Check: 0.0 Back: 2245.706
INFO - Atoms: 236639/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 96840510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.21 Prop: 159695.569 PropClause: 157309.355 Set: 20778.662 Check: 0.0 Back: 2251.167
INFO - Atoms: 236417/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 97076757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.217 Prop: 160070.515 PropClause: 157678.534 Set: 20821.036 Check: 0.0 Back: 2256.688
INFO - Atoms: 236247/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 97312784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.224 Prop: 160434.67 PropClause: 158036.891 Set: 20863.796 Check: 0.0 Back: 2262.174
INFO - Atoms: 236027/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 97548641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.231 Prop: 160780.724 PropClause: 158377.16 Set: 20905.899 Check: 0.0 Back: 2267.661
INFO - Atoms: 235857/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 97784280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.238 Prop: 161133.263 PropClause: 158723.926 Set: 20948.149 Check: 0.0 Back: 2273.161
INFO - Atoms: 235639/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 98019749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.246 Prop: 161496.846 PropClause: 159081.731 Set: 20990.258 Check: 0.0 Back: 2278.577
INFO - Atoms: 235469/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 98254998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.253 Prop: 161845.876 PropClause: 159424.978 Set: 21032.563 Check: 0.0 Back: 2284.056
INFO - Atoms: 235249/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 98490075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.261 Prop: 162209.049 PropClause: 159782.345 Set: 21074.894 Check: 0.0 Back: 2289.55
INFO - Atoms: 235077/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 98724934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.269 Prop: 162581.875 PropClause: 160149.387 Set: 21117.304 Check: 0.0 Back: 2294.974
INFO - Atoms: 234859/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 98959623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.277 Prop: 162958.697 PropClause: 160520.48 Set: 21160.024 Check: 0.0 Back: 2300.451
INFO - Atoms: 234689/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 99194092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.284 Prop: 163323.806 PropClause: 160879.827 Set: 21202.985 Check: 0.0 Back: 2305.941
INFO - Atoms: 234469/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 99428389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.292 Prop: 163667.346 PropClause: 161217.617 Set: 21245.972 Check: 0.0 Back: 2311.376
INFO - Atoms: 234297/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 99662466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.3 Prop: 164035.915 PropClause: 161580.452 Set: 21288.124 Check: 0.0 Back: 2316.827
INFO - Atoms: 234077/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 99896349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.307 Prop: 164410.452 PropClause: 161949.22 Set: 21330.718 Check: 0.0 Back: 2322.276
INFO - Atoms: 233883/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 100130038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.315 Prop: 164788.955 PropClause: 162321.982 Set: 21373.063 Check: 0.0 Back: 2327.693
INFO - Atoms: 233689/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 100363557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.324 Prop: 165179.279 PropClause: 162706.498 Set: 21416.71 Check: 0.0 Back: 2333.097
INFO - Atoms: 233519/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 100596854 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.332 Prop: 165552.121 PropClause: 163073.541 Set: 21459.681 Check: 0.0 Back: 2338.644
INFO - Atoms: 233297/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 100829981 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.338 Prop: 165913.552 PropClause: 163429.234 Set: 21501.72 Check: 0.0 Back: 2344.159
INFO - Atoms: 233127/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 101062888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.345 Prop: 166275.077 PropClause: 163785.086 Set: 21543.158 Check: 0.0 Back: 2349.572
INFO - Atoms: 232907/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 101295601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.352 Prop: 166634.444 PropClause: 164138.73 Set: 21586.363 Check: 0.0 Back: 2355.012
INFO - Atoms: 232713/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 101528118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.361 Prop: 166978.723 PropClause: 164477.28 Set: 21628.301 Check: 0.0 Back: 2360.426
INFO - Atoms: 232517/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 101760441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.368 Prop: 167340.398 PropClause: 164833.234 Set: 21669.741 Check: 0.0 Back: 2365.806
INFO - Atoms: 232323/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 101992570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.376 Prop: 167702.708 PropClause: 165189.866 Set: 21758.769 Check: 0.0 Back: 2371.248
INFO - Atoms: 232129/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 102224529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.384 Prop: 168065.531 PropClause: 165547.06 Set: 21799.837 Check: 0.0 Back: 2376.623
INFO - Atoms: 231959/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 102456266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.391 Prop: 168425.401 PropClause: 165901.148 Set: 21841.518 Check: 0.0 Back: 2381.998
INFO - Atoms: 231737/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 102687833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.399 Prop: 168790.79 PropClause: 166260.835 Set: 21883.54 Check: 0.0 Back: 2387.425
INFO - Atoms: 231567/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 102919182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.407 Prop: 169131.958 PropClause: 166596.327 Set: 21925.096 Check: 0.0 Back: 2392.814
INFO - Atoms: 231349/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 103150335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.413 Prop: 169469.515 PropClause: 166928.226 Set: 21966.153 Check: 0.0 Back: 2398.132
INFO - Atoms: 231153/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 103381294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.421 Prop: 169827.057 PropClause: 167280.11 Set: 22008.377 Check: 0.0 Back: 2403.412
INFO - Atoms: 230959/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 103612078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.426 Prop: 170190.729 PropClause: 167638.091 Set: 22049.832 Check: 0.0 Back: 2408.79
INFO - Atoms: 230784/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 103842645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.433 Prop: 170561.212 PropClause: 168002.914 Set: 22091.255 Check: 0.0 Back: 2414.152
INFO - Atoms: 230567/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 104073042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.442 Prop: 170934.708 PropClause: 168370.779 Set: 22132.917 Check: 0.0 Back: 2419.504
INFO - Atoms: 230397/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 104303221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.448 Prop: 171298.76 PropClause: 168729.156 Set: 22174.921 Check: 0.0 Back: 2424.889
INFO - Atoms: 230179/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 104533224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.454 Prop: 171638.068 PropClause: 169062.817 Set: 22216.053 Check: 0.0 Back: 2430.27
INFO - Atoms: 230003/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 104763013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.461 Prop: 171977.596 PropClause: 169396.702 Set: 22317.136 Check: 0.0 Back: 2435.623
INFO - Atoms: 229789/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 104992630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.468 Prop: 172319.763 PropClause: 169733.273 Set: 22358.125 Check: 0.0 Back: 2440.898
INFO - Atoms: 229617/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 105222029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.475 Prop: 172677.719 PropClause: 170085.645 Set: 22399.278 Check: 0.0 Back: 2446.182
INFO - Atoms: 229399/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 105451250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.484 Prop: 173041.172 PropClause: 170443.436 Set: 22440.424 Check: 0.0 Back: 2451.56
INFO - Atoms: 229221/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 105680257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.495 Prop: 173402.831 PropClause: 170799.454 Set: 22481.391 Check: 0.0 Back: 2456.969
INFO - Atoms: 229007/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 105909070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.502 Prop: 173772.894 PropClause: 171163.868 Set: 22523.03 Check: 0.0 Back: 2462.334
INFO - Atoms: 228813/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 106137689 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.509 Prop: 174138.794 PropClause: 171524.203 Set: 22563.943 Check: 0.0 Back: 2467.653
INFO - Atoms: 228619/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 106366138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.518 Prop: 174489.216 PropClause: 171869.075 Set: 22667.73 Check: 0.0 Back: 2472.992
INFO - Atoms: 228449/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 106594367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.525 Prop: 174833.954 PropClause: 172208.194 Set: 22708.651 Check: 0.0 Back: 2478.254
INFO - Atoms: 228229/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 106822426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.534 Prop: 175181.565 PropClause: 172550.162 Set: 22750.042 Check: 0.0 Back: 2483.553
INFO - Atoms: 228059/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 107050265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.541 Prop: 175536.239 PropClause: 172899.226 Set: 22790.719 Check: 0.0 Back: 2488.811
INFO - Atoms: 227839/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 107277908 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.548 Prop: 175895.934 PropClause: 173253.379 Set: 22832.383 Check: 0.0 Back: 2494.076
INFO - Atoms: 227643/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 107505355 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.556 Prop: 176260.879 PropClause: 173612.777 Set: 22873.741 Check: 0.0 Back: 2499.386
INFO - Atoms: 227447/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 107732632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.563 Prop: 176622.852 PropClause: 173969.129 Set: 22915.005 Check: 0.0 Back: 2504.743
INFO - Atoms: 227277/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 107959689 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.571 Prop: 176972.704 PropClause: 174313.357 Set: 22956.286 Check: 0.0 Back: 2510.06
INFO - Atoms: 227057/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 108186552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.578 Prop: 177316.637 PropClause: 174651.693 Set: 22997.279 Check: 0.0 Back: 2515.307
INFO - Atoms: 226863/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 108413221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.586 Prop: 177657.442 PropClause: 174986.974 Set: 23038.006 Check: 0.0 Back: 2520.581
INFO - Atoms: 226669/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 108639720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.595 Prop: 178010.925 PropClause: 175334.887 Set: 23078.763 Check: 0.0 Back: 2525.923
INFO - Atoms: 226499/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 108865999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.603 Prop: 178364.363 PropClause: 175682.775 Set: 23120.076 Check: 0.0 Back: 2531.157
INFO - Atoms: 226279/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 109092108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.611 Prop: 178724.971 PropClause: 176037.88 Set: 23160.891 Check: 0.0 Back: 2536.403
INFO - Atoms: 226109/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 109317995 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.618 Prop: 179078.446 PropClause: 176385.769 Set: 23203.66 Check: 0.0 Back: 2541.681
INFO - Atoms: 225887/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 109543712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.626 Prop: 179432.395 PropClause: 176734.175 Set: 23244.455 Check: 0.0 Back: 2546.949
INFO - Atoms: 225717/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 109769211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.634 Prop: 179760.566 PropClause: 177056.875 Set: 23283.926 Check: 0.0 Back: 2552.19
INFO - Atoms: 225499/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 109994540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.643 Prop: 180097.988 PropClause: 177388.771 Set: 23378.591 Check: 0.0 Back: 2557.325
INFO - Atoms: 225329/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 110219649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.651 Prop: 180429.203 PropClause: 177714.52 Set: 23418.329 Check: 0.0 Back: 2562.596
INFO - Atoms: 225109/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 110444562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.658 Prop: 180777.405 PropClause: 178057.207 Set: 23458.003 Check: 0.0 Back: 2567.753
INFO - Atoms: 224913/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 110669281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.665 Prop: 181135.533 PropClause: 178409.871 Set: 23498.543 Check: 0.0 Back: 2572.927
INFO - Atoms: 224719/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 110893830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.675 Prop: 181498.995 PropClause: 178767.814 Set: 23539.071 Check: 0.0 Back: 2578.131
INFO - Atoms: 224549/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 111118157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.683 Prop: 181858.828 PropClause: 179122.081 Set: 23580.421 Check: 0.0 Back: 2583.399
INFO - Atoms: 224327/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 111342308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.692 Prop: 182216.441 PropClause: 179474.2 Set: 23620.555 Check: 0.0 Back: 2588.654
INFO - Atoms: 224151/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 111566247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.698 Prop: 182539.325 PropClause: 179791.606 Set: 23659.692 Check: 0.0 Back: 2593.875
INFO - Atoms: 223939/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 111790009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.704 Prop: 182862.251 PropClause: 180109.042 Set: 23699.553 Check: 0.0 Back: 2599.054
INFO - Atoms: 223762/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 112013556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.712 Prop: 183181.183 PropClause: 180422.46 Set: 23810.721 Check: 0.0 Back: 2604.248
INFO - Atoms: 223547/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 112236935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.721 Prop: 183526.603 PropClause: 180762.36 Set: 23851.558 Check: 0.0 Back: 2609.38
INFO - Atoms: 223379/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 112460092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.739 Prop: 183867.276 PropClause: 181097.552 Set: 23891.628 Check: 0.0 Back: 2614.618
INFO - Atoms: 223157/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 112683079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.746 Prop: 184216.744 PropClause: 181441.527 Set: 23931.415 Check: 0.0 Back: 2619.822
INFO - Atoms: 222987/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 112905846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.754 Prop: 184555.747 PropClause: 181775.063 Set: 23971.225 Check: 0.0 Back: 2624.996
INFO - Atoms: 222767/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 113128443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.762 Prop: 184908.662 PropClause: 182122.539 Set: 24011.312 Check: 0.0 Back: 2630.173
INFO - Atoms: 222597/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 113350820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.769 Prop: 185238.785 PropClause: 182447.202 Set: 24050.328 Check: 0.0 Back: 2635.323
INFO - Atoms: 222377/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 113573021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.777 Prop: 185558.825 PropClause: 182761.803 Set: 24089.657 Check: 0.0 Back: 2640.525
INFO - Atoms: 222201/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 113795010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.785 Prop: 185887.494 PropClause: 183085.011 Set: 24130.427 Check: 0.0 Back: 2645.62
INFO - Atoms: 221989/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 114016827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.794 Prop: 186229.177 PropClause: 183421.284 Set: 24170.07 Check: 0.0 Back: 2650.805
INFO - Atoms: 221817/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 114238426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.802 Prop: 186563.343 PropClause: 183750.059 Set: 24208.977 Check: 0.0 Back: 2655.958
INFO - Atoms: 221599/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 114459855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.81 Prop: 186904.579 PropClause: 184085.85 Set: 24291.387 Check: 0.0 Back: 2661.162
INFO - Atoms: 221429/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 114681064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.818 Prop: 187234.041 PropClause: 184409.884 Set: 24330.983 Check: 0.0 Back: 2666.312
INFO - Atoms: 221209/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 114902077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.825 Prop: 187579.814 PropClause: 184750.23 Set: 24371.614 Check: 0.0 Back: 2671.505
INFO - Atoms: 221013/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 115122896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.833 Prop: 187898.353 PropClause: 185063.405 Set: 24410.782 Check: 0.0 Back: 2676.694
INFO - Atoms: 220819/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 115343545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.84 Prop: 188214.391 PropClause: 185374.015 Set: 24449.898 Check: 0.0 Back: 2681.855
INFO - Atoms: 220649/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 115563972 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.847 Prop: 188529.377 PropClause: 185683.597 Set: 24488.909 Check: 0.0 Back: 2686.983
INFO - Atoms: 220427/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 115784205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.854 Prop: 188869.834 PropClause: 186018.632 Set: 24529.443 Check: 0.0 Back: 2692.068
INFO - Atoms: 220233/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 116004242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.862 Prop: 189214.021 PropClause: 186357.407 Set: 24569.188 Check: 0.0 Back: 2697.245
INFO - Atoms: 220037/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 116224111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.869 Prop: 189559.952 PropClause: 186697.906 Set: 24609.186 Check: 0.0 Back: 2702.396
INFO - Atoms: 219869/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 116443760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.878 Prop: 189911.014 PropClause: 187043.513 Set: 24649.448 Check: 0.0 Back: 2707.534
INFO - Atoms: 219649/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 116663237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.885 Prop: 190248.427 PropClause: 187375.537 Set: 24688.705 Check: 0.0 Back: 2712.668
INFO - Atoms: 219477/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 116882496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.891 Prop: 190559.407 PropClause: 187681.128 Set: 24727.065 Check: 0.0 Back: 2717.78
INFO - Atoms: 219259/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 117101576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.899 Prop: 190871.985 PropClause: 187988.32 Set: 24765.704 Check: 0.0 Back: 2722.858
INFO - Atoms: 219080/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 117320445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.907 Prop: 191188.899 PropClause: 188299.879 Set: 24873.451 Check: 0.0 Back: 2727.944
INFO - Atoms: 218869/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 117539118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.914 Prop: 191512.978 PropClause: 188618.596 Set: 24911.917 Check: 0.0 Back: 2732.967
INFO - Atoms: 218673/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 449 Props: 117757597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.921 Prop: 191836.859 PropClause: 188937.16 Set: 24950.946 Check: 0.0 Back: 2738.016
INFO - Atoms: 218479/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 117975904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.929 Prop: 192166.574 PropClause: 189261.525 Set: 24990.822 Check: 0.0 Back: 2743.036
INFO - Atoms: 218307/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 451 Props: 118193993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.936 Prop: 192496.971 PropClause: 189586.577 Set: 25029.586 Check: 0.0 Back: 2748.086
INFO - Atoms: 218089/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 118411912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.944 Prop: 192826.98 PropClause: 189911.288 Set: 25068.084 Check: 0.0 Back: 2753.132
INFO - Atoms: 217919/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 453 Props: 118629611 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.95 Prop: 193144.656 PropClause: 190223.614 Set: 25107.707 Check: 0.0 Back: 2758.213
INFO - Atoms: 217699/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 454 Props: 118847140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.956 Prop: 193464.983 PropClause: 190538.599 Set: 25146.105 Check: 0.0 Back: 2763.293
INFO - Atoms: 217529/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 455 Props: 119064449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.963 Prop: 193790.824 PropClause: 190859.103 Set: 25185.494 Check: 0.0 Back: 2768.291
INFO - Atoms: 217309/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 456 Props: 119281588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.971 Prop: 194134.461 PropClause: 191197.409 Set: 25225.302 Check: 0.0 Back: 2773.369
INFO - Atoms: 217139/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 457 Props: 119498505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.977 Prop: 194456.2 PropClause: 191513.851 Set: 25264.09 Check: 0.0 Back: 2778.386
INFO - Atoms: 216917/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 458 Props: 119715228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.985 Prop: 194776.219 PropClause: 191828.557 Set: 25302.717 Check: 0.0 Back: 2783.405
INFO - Atoms: 216723/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 459 Props: 119931757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.993 Prop: 195101.243 PropClause: 192148.228 Set: 25342.423 Check: 0.0 Back: 2788.394
INFO - Atoms: 216529/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 120148116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.001 Prop: 195437.443 PropClause: 192479.079 Set: 25382.485 Check: 0.0 Back: 2793.375
INFO - Atoms: 216359/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 461 Props: 120364255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.008 Prop: 195749.824 PropClause: 192786.174 Set: 25420.855 Check: 0.0 Back: 2798.472
INFO - Atoms: 216139/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 120580198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.015 Prop: 196061.563 PropClause: 193092.634 Set: 25459.677 Check: 0.0 Back: 2803.464
INFO - Atoms: 215943/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 463 Props: 120795947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.023 Prop: 196375.754 PropClause: 193401.542 Set: 25497.307 Check: 0.0 Back: 2808.421
INFO - Atoms: 215749/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 464 Props: 121011526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.03 Prop: 196702.565 PropClause: 193723.131 Set: 25535.211 Check: 0.0 Back: 2813.421
INFO - Atoms: 215579/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 465 Props: 121226885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.037 Prop: 197024.586 PropClause: 194039.881 Set: 25573.726 Check: 0.0 Back: 2818.362
INFO - Atoms: 215359/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 466 Props: 121442048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.043 Prop: 197330.749 PropClause: 194340.764 Set: 25681.58 Check: 0.0 Back: 2823.337
INFO - Atoms: 215163/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 121657015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.057 Prop: 197650.786 PropClause: 194655.564 Set: 25720.003 Check: 0.0 Back: 2828.275
INFO - Atoms: 214967/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 468 Props: 121871788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.065 Prop: 197982.435 PropClause: 194981.951 Set: 25805.989 Check: 0.0 Back: 2833.203
INFO - Atoms: 214773/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 469 Props: 122086367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.071 Prop: 198288.942 PropClause: 195283.212 Set: 25843.708 Check: 0.0 Back: 2838.197
INFO - Atoms: 214579/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 470 Props: 122300776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.079 Prop: 198592.671 PropClause: 195581.681 Set: 25882.193 Check: 0.0 Back: 2843.196
INFO - Atoms: 214409/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 471 Props: 122514963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.085 Prop: 198896.532 PropClause: 195880.302 Set: 25920.308 Check: 0.0 Back: 2848.147
INFO - Atoms: 214187/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 472 Props: 122728980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.093 Prop: 199201.934 PropClause: 196180.49 Set: 25957.743 Check: 0.0 Back: 2853.068
INFO - Atoms: 214017/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 473 Props: 122942779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.101 Prop: 199527.982 PropClause: 196501.327 Set: 25995.279 Check: 0.0 Back: 2857.927
INFO - Atoms: 213799/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 474 Props: 123156400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.109 Prop: 199842.458 PropClause: 196810.564 Set: 26032.751 Check: 0.0 Back: 2862.904
INFO - Atoms: 213621/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 475 Props: 123369807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.116 Prop: 200160.05 PropClause: 197122.899 Set: 26071.752 Check: 0.0 Back: 2867.884
INFO - Atoms: 213407/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 476 Props: 123583044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.122 Prop: 200490.118 PropClause: 197447.708 Set: 26110.274 Check: 0.0 Back: 2872.868
INFO - Atoms: 213237/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 477 Props: 123796063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.131 Prop: 200831.833 PropClause: 197784.121 Set: 26149.194 Check: 0.0 Back: 2877.813
INFO - Atoms: 213019/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 478 Props: 124008912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.138 Prop: 201151.737 PropClause: 198098.734 Set: 26187.533 Check: 0.0 Back: 2882.889
INFO - Atoms: 212849/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 479 Props: 124221539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.145 Prop: 201472.306 PropClause: 198414.06 Set: 26226.119 Check: 0.0 Back: 2887.885
INFO - Atoms: 212627/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 480 Props: 124433989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.151 Prop: 201802.229 PropClause: 198738.751 Set: 26264.536 Check: 0.0 Back: 2892.909
INFO - Atoms: 212450/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 481 Props: 124646226 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.16 Prop: 202139.125 PropClause: 199070.421 Set: 26304.051 Check: 0.0 Back: 2897.907
INFO - Atoms: 212237/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 482 Props: 124858293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.167 Prop: 202465.545 PropClause: 199391.533 Set: 26342.042 Check: 0.0 Back: 2903.063
INFO - Atoms: 212067/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 483 Props: 125070140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.174 Prop: 202787.996 PropClause: 199708.764 Set: 26380.115 Check: 0.0 Back: 2908.047
INFO - Atoms: 211847/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 484 Props: 125281819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.183 Prop: 203116.99 PropClause: 200032.487 Set: 26418.579 Check: 0.0 Back: 2913.004
INFO - Atoms: 211679/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 485 Props: 125493278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.191 Prop: 203458.047 PropClause: 200368.382 Set: 26456.807 Check: 0.0 Back: 2917.937
INFO - Atoms: 211459/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 486 Props: 125704565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.197 Prop: 203785.156 PropClause: 200690.289 Set: 26494.655 Check: 0.0 Back: 2922.858
INFO - Atoms: 211287/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 487 Props: 125915632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.204 Prop: 204089.501 PropClause: 200989.46 Set: 26532.975 Check: 0.0 Back: 2927.822
INFO - Atoms: 211067/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 488 Props: 126126529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.211 Prop: 204386.879 PropClause: 201281.681 Set: 26569.533 Check: 0.0 Back: 2932.732
INFO - Atoms: 210897/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 489 Props: 126337208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.218 Prop: 204709.925 PropClause: 201599.517 Set: 26607.62 Check: 0.0 Back: 2937.592
INFO - Atoms: 210679/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 490 Props: 126547691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.225 Prop: 205039.561 PropClause: 201923.981 Set: 26645.502 Check: 0.0 Back: 2942.558
INFO - Atoms: 210483/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 491 Props: 126757980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.234 Prop: 205361.315 PropClause: 202240.558 Set: 26684.136 Check: 0.0 Back: 2947.511
INFO - Atoms: 210289/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 492 Props: 126968091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.242 Prop: 205681.515 PropClause: 202555.582 Set: 26721.668 Check: 0.0 Back: 2952.459
INFO - Atoms: 210111/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 493 Props: 127177990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.247 Prop: 206003.148 PropClause: 202872.097 Set: 26759.184 Check: 0.0 Back: 2957.325
INFO - Atoms: 209899/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 494 Props: 127387693 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.255 Prop: 206312.886 PropClause: 203176.635 Set: 26796.136 Check: 0.0 Back: 2962.221
INFO - Atoms: 209703/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 495 Props: 127597202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.262 Prop: 206619.928 PropClause: 203478.531 Set: 26833.692 Check: 0.0 Back: 2967.094
INFO - Atoms: 209509/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 496 Props: 127806533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.268 Prop: 206915.906 PropClause: 203769.344 Set: 26870.709 Check: 0.0 Back: 2972.007
INFO - Atoms: 209331/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 497 Props: 128015650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.275 Prop: 207226.439 PropClause: 204074.758 Set: 26907.798 Check: 0.0 Back: 2976.848
INFO - Atoms: 209117/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 498 Props: 128224573 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.281 Prop: 207536.313 PropClause: 204379.529 Set: 26945.176 Check: 0.0 Back: 2981.66
INFO - Atoms: 208923/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 499 Props: 128433302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.29 Prop: 207853.238 PropClause: 204691.291 Set: 26983.429 Check: 0.0 Back: 2986.586
INFO - Atoms: 208729/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 500 Props: 128641861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.298 Prop: 208173.732 PropClause: 205006.651 Set: 27020.871 Check: 0.0 Back: 2991.516
INFO - Atoms: 208559/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 7333 Tprops: 6265 Decides: 477168 RSplits: 0
INFO - Times: Expl: 2058.738 Prop: 473736.032 PropClause: 26.001 Set: 284630.394 Check: 13326.492 Back: 958.013
INFO - Atoms: 37/4291 Clauses: 500 Axioms: 4291
INFO - CCTimes: iE 3394571 eq 317377959 cc 3872102153 setRep 855236519
INFO - Merges: 4608005, cc:19106933
INFO - BVTimes: BB 629374545 BB_DPLL 426297702142 Graph 7734108028
INFO - BitBlastingClauses: 2585602 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 501 Props: 128850198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.307 Prop: 208495.874 PropClause: 205323.623 Set: 27058.004 Check: 0.0 Back: 2996.443
INFO - Atoms: 208337/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 502 Props: 129058367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.372 Prop: 208788.362 PropClause: 205610.957 Set: 27094.968 Check: 0.0 Back: 3001.299
INFO - Atoms: 208169/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 503 Props: 129266314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.443 Prop: 209084.307 PropClause: 205901.774 Set: 27131.529 Check: 0.0 Back: 3006.104
INFO - Atoms: 207947/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 504 Props: 129474086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.489 Prop: 209389.937 PropClause: 206202.283 Set: 27168.759 Check: 0.0 Back: 3010.946
INFO - Atoms: 207772/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 505 Props: 129681645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.53 Prop: 209705.303 PropClause: 206512.503 Set: 27205.499 Check: 0.0 Back: 3015.715
INFO - Atoms: 207559/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 506 Props: 129889027 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.573 Prop: 210028.832 PropClause: 206830.897 Set: 27243.038 Check: 0.0 Back: 3020.487
INFO - Atoms: 207382/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 507 Props: 130096194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.618 Prop: 210346.472 PropClause: 207143.396 Set: 27280.551 Check: 0.0 Back: 3025.377
INFO - Atoms: 207167/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 508 Props: 130303191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.661 Prop: 210644.165 PropClause: 207435.945 Set: 27317.415 Check: 0.0 Back: 3030.233
INFO - Atoms: 206997/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 509 Props: 130509970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.707 Prop: 210935.962 PropClause: 207722.629 Set: 27354.301 Check: 0.0 Back: 3035.042
INFO - Atoms: 206779/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 510 Props: 130716579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.749 Prop: 211253.132 PropClause: 208034.669 Set: 27391.205 Check: 0.0 Back: 3039.823
INFO - Atoms: 206609/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 511 Props: 130922966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.792 Prop: 211568.412 PropClause: 208344.832 Set: 27428.239 Check: 0.0 Back: 3044.658
INFO - Atoms: 206387/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 512 Props: 131129183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.836 Prop: 211890.097 PropClause: 208661.422 Set: 27464.912 Check: 0.0 Back: 3049.525
INFO - Atoms: 206217/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 513 Props: 131335180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.88 Prop: 212195.306 PropClause: 208961.606 Set: 27539.335 Check: 0.0 Back: 3054.351
INFO - Atoms: 205997/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 514 Props: 131541009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.923 Prop: 212482.465 PropClause: 209243.731 Set: 27575.536 Check: 0.0 Back: 3059.102
INFO - Atoms: 205829/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 515 Props: 131746616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.963 Prop: 212774.415 PropClause: 209530.667 Set: 27611.271 Check: 0.0 Back: 3063.79
INFO - Atoms: 205607/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 516 Props: 131952029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.002 Prop: 213079.188 PropClause: 209830.407 Set: 27647.571 Check: 0.0 Back: 3068.533
INFO - Atoms: 205413/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 517 Props: 132157246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.049 Prop: 213375.759 PropClause: 210121.929 Set: 27685.17 Check: 0.0 Back: 3073.309
INFO - Atoms: 205217/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 518 Props: 132362295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.091 Prop: 213695.939 PropClause: 210437.054 Set: 27722.081 Check: 0.0 Back: 3078.044
INFO - Atoms: 205049/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 519 Props: 132567124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.132 Prop: 213999.73 PropClause: 210735.775 Set: 27758.705 Check: 0.0 Back: 3082.807
INFO - Atoms: 204829/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 520 Props: 132771783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.178 Prop: 214289.082 PropClause: 211020.091 Set: 27794.905 Check: 0.0 Back: 3087.595
INFO - Atoms: 204659/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 521 Props: 132976222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.226 Prop: 214580.499 PropClause: 211306.427 Set: 27882.569 Check: 0.0 Back: 3092.279
INFO - Atoms: 204439/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 522 Props: 133180489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.394 Prop: 214873.391 PropClause: 211594.266 Set: 27919.229 Check: 0.0 Back: 3096.948
INFO - Atoms: 204267/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 523 Props: 133384538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.41 Prop: 215193.03 PropClause: 211908.827 Set: 27955.969 Check: 0.0 Back: 3101.822
INFO - Atoms: 204049/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 524 Props: 133588391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.426 Prop: 215500.082 PropClause: 212210.859 Set: 27992.379 Check: 0.0 Back: 3106.572
INFO - Atoms: 203853/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 525 Props: 133792050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.439 Prop: 215806.034 PropClause: 212511.785 Set: 28029.898 Check: 0.0 Back: 3111.338
INFO - Atoms: 203659/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 526 Props: 133995539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.454 Prop: 216094.73 PropClause: 212795.48 Set: 28065.264 Check: 0.0 Back: 3116.06
INFO - Atoms: 203489/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 527 Props: 134198806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.468 Prop: 216376.279 PropClause: 213072.09 Set: 28101.331 Check: 0.0 Back: 3120.769
INFO - Atoms: 203267/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 528 Props: 134401879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.482 Prop: 216678.475 PropClause: 213369.34 Set: 28137.315 Check: 0.0 Back: 3125.514
INFO - Atoms: 203073/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 529 Props: 134604758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.498 Prop: 216986.53 PropClause: 213672.364 Set: 28174.046 Check: 0.0 Back: 3130.212
INFO - Atoms: 202879/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 530 Props: 134807465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.513 Prop: 217293.232 PropClause: 213974.031 Set: 28210.743 Check: 0.0 Back: 3134.924
INFO - Atoms: 202707/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 531 Props: 135009952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.527 Prop: 217597.159 PropClause: 214272.953 Set: 28247.283 Check: 0.0 Back: 3139.7
INFO - Atoms: 202487/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 532 Props: 135212269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.542 Prop: 217898.741 PropClause: 214569.556 Set: 28283.159 Check: 0.0 Back: 3144.399
INFO - Atoms: 202317/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 533 Props: 135414368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.556 Prop: 218177.985 PropClause: 214843.845 Set: 28319.274 Check: 0.0 Back: 3149.023
INFO - Atoms: 202099/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 534 Props: 135616297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.571 Prop: 218455.469 PropClause: 215116.335 Set: 28354.312 Check: 0.0 Back: 3153.602
INFO - Atoms: 201929/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 535 Props: 135818004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.585 Prop: 218748.888 PropClause: 215404.785 Set: 28389.885 Check: 0.0 Back: 3158.232
INFO - Atoms: 201707/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 536 Props: 136019543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.598 Prop: 219047.573 PropClause: 215698.526 Set: 28425.333 Check: 0.0 Back: 3162.867
INFO - Atoms: 201539/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 537 Props: 136220862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.614 Prop: 219341.026 PropClause: 215987.043 Set: 28461.044 Check: 0.0 Back: 3167.591
INFO - Atoms: 201319/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 538 Props: 136422009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.628 Prop: 219639.591 PropClause: 216280.633 Set: 28497.024 Check: 0.0 Back: 3172.302
INFO - Atoms: 201147/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 539 Props: 136622936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.677 Prop: 219927.289 PropClause: 216563.346 Set: 28532.406 Check: 0.0 Back: 3177.026
INFO - Atoms: 200927/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 540 Props: 136823693 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.724 Prop: 220202.171 PropClause: 216833.322 Set: 28567.008 Check: 0.0 Back: 3181.819
INFO - Atoms: 200757/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 541 Props: 137024230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.734 Prop: 220489.782 PropClause: 217115.972 Set: 28602.738 Check: 0.0 Back: 3186.429
INFO - Atoms: 200537/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 542 Props: 137224597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.745 Prop: 220777.702 PropClause: 217398.927 Set: 28638.461 Check: 0.0 Back: 3191.083
INFO - Atoms: 200367/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 543 Props: 137424744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.757 Prop: 221076.922 PropClause: 217693.197 Set: 28674.013 Check: 0.0 Back: 3195.825
INFO - Atoms: 200147/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 544 Props: 137624697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.768 Prop: 221373.712 PropClause: 217985.052 Set: 28709.103 Check: 0.0 Back: 3200.527
INFO - Atoms: 199953/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 545 Props: 137824454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.779 Prop: 221644.844 PropClause: 218251.241 Set: 28744.171 Check: 0.0 Back: 3205.2
INFO - Atoms: 199757/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 546 Props: 138024041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.79 Prop: 221918.462 PropClause: 218519.959 Set: 28778.843 Check: 0.0 Back: 3209.773
INFO - Atoms: 199587/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 547 Props: 138223410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.802 Prop: 222201.259 PropClause: 218797.868 Set: 28813.854 Check: 0.0 Back: 3214.395
INFO - Atoms: 199369/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 548 Props: 138422607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.875 Prop: 222497.86 PropClause: 219089.552 Set: 28849.472 Check: 0.0 Back: 3219.032
INFO - Atoms: 199197/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 549 Props: 138621584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.908 Prop: 222788.7 PropClause: 219375.444 Set: 28940.17 Check: 0.0 Back: 3223.63
INFO - Atoms: 198977/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 550 Props: 138820393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.914 Prop: 223073.723 PropClause: 219655.547 Set: 29054.497 Check: 0.0 Back: 3228.261
INFO - Atoms: 198809/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 551 Props: 139018980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.919 Prop: 223352.197 PropClause: 219929.124 Set: 29090.831 Check: 0.0 Back: 3232.862
INFO - Atoms: 198587/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 552 Props: 139217399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.924 Prop: 223631.57 PropClause: 220203.619 Set: 29125.211 Check: 0.0 Back: 3237.427
INFO - Atoms: 198419/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 553 Props: 139415596 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.93 Prop: 223925.45 PropClause: 220492.597 Set: 29160.061 Check: 0.0 Back: 3241.992
INFO - Atoms: 198197/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 554 Props: 139613599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.935 Prop: 224207.741 PropClause: 220770.014 Set: 29194.97 Check: 0.0 Back: 3246.584
INFO - Atoms: 198003/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 555 Props: 139811408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.94 Prop: 224489.029 PropClause: 221046.416 Set: 29229.883 Check: 0.0 Back: 3251.174
INFO - Atoms: 197809/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 556 Props: 140009047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.945 Prop: 224769.431 PropClause: 221321.936 Set: 29264.686 Check: 0.0 Back: 3255.786
INFO - Atoms: 197639/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 557 Props: 140206464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.951 Prop: 225039.319 PropClause: 221586.959 Set: 29299.406 Check: 0.0 Back: 3260.389
INFO - Atoms: 197417/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 558 Props: 140403687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.957 Prop: 225310.598 PropClause: 221853.4 Set: 29404.776 Check: 0.0 Back: 3264.973
INFO - Atoms: 197223/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 559 Props: 140600714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.961 Prop: 225590.9 PropClause: 222128.869 Set: 29506.58 Check: 0.0 Back: 3269.506
INFO - Atoms: 197027/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 560 Props: 140797571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.967 Prop: 225876.681 PropClause: 222409.787 Set: 29595.9 Check: 0.0 Back: 3273.991
INFO - Atoms: 196857/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 561 Props: 140994210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.974 Prop: 226151.269 PropClause: 222679.511 Set: 29630.671 Check: 0.0 Back: 3278.53
INFO - Atoms: 196639/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 562 Props: 141190677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.978 Prop: 226434.989 PropClause: 222958.336 Set: 29665.204 Check: 0.0 Back: 3283.108
INFO - Atoms: 196467/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 563 Props: 141386924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.983 Prop: 226708.375 PropClause: 223226.868 Set: 29700.412 Check: 0.0 Back: 3287.689
INFO - Atoms: 196247/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 564 Props: 141582995 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.989 Prop: 226967.47 PropClause: 223481.07 Set: 29734.178 Check: 0.0 Back: 3292.267
INFO - Atoms: 196071/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 565 Props: 141778854 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.995 Prop: 227250.104 PropClause: 223758.852 Set: 29769.054 Check: 0.0 Back: 3296.813
INFO - Atoms: 195859/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 566 Props: 141974517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.0 Prop: 227535.771 PropClause: 224039.65 Set: 29804.215 Check: 0.0 Back: 3301.393
INFO - Atoms: 195663/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 567 Props: 142169986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.005 Prop: 227820.893 PropClause: 224319.938 Set: 29839.25 Check: 0.0 Back: 3305.99
INFO - Atoms: 195469/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 568 Props: 142365278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.01 Prop: 228102.996 PropClause: 224597.243 Set: 29873.358 Check: 0.0 Back: 3310.497
INFO - Atoms: 195292/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 569 Props: 142560357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.015 Prop: 228372.295 PropClause: 224861.717 Set: 29907.697 Check: 0.0 Back: 3315.03
INFO - Atoms: 195079/305914 Clauses: 3137 Axioms: 1017602
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL: