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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 1353010589
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 466480 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.597 Prop: 710.929 PropClause: 696.637 Set: 3789.471 Check: 0.0 Back: 0.0
INFO - Atoms: 466480/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 932911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.653 Prop: 1526.402 PropClause: 1499.802 Set: 3883.92 Check: 0.0 Back: 11.042
INFO - Atoms: 466431/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 1399515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.69 Prop: 2252.214 PropClause: 2211.629 Set: 3977.391 Check: 0.0 Back: 22.268
INFO - Atoms: 466604/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 1866429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.723 Prop: 2968.615 PropClause: 2916.375 Set: 4067.189 Check: 0.0 Back: 33.706
INFO - Atoms: 466914/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 2333362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.768 Prop: 3724.558 PropClause: 3660.61 Set: 4157.865 Check: 0.0 Back: 44.808
INFO - Atoms: 466933/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 2800301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.816 Prop: 4492.806 PropClause: 4417.04 Set: 4248.624 Check: 0.0 Back: 55.911
INFO - Atoms: 466939/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 3267221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.86 Prop: 5228.794 PropClause: 5139.749 Set: 4511.849 Check: 0.0 Back: 67.113
INFO - Atoms: 466920/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 3734126 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.915 Prop: 5914.734 PropClause: 5814.183 Set: 4598.13 Check: 0.0 Back: 78.137
INFO - Atoms: 466905/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 4201023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.961 Prop: 6692.451 PropClause: 6580.284 Set: 4686.38 Check: 0.0 Back: 89.299
INFO - Atoms: 466897/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 4667308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.019 Prop: 7423.567 PropClause: 7299.903 Set: 4773.534 Check: 0.0 Back: 100.281
INFO - Atoms: 466285/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 5133579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.073 Prop: 8143.461 PropClause: 8008.298 Set: 4861.51 Check: 0.0 Back: 111.489
INFO - Atoms: 466271/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 5599751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.118 Prop: 8827.222 PropClause: 8680.446 Set: 5093.443 Check: 0.0 Back: 122.601
INFO - Atoms: 466172/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 6066594 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.164 Prop: 9594.501 PropClause: 9436.209 Set: 5182.999 Check: 0.0 Back: 133.414
INFO - Atoms: 466843/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 6533482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.271 Prop: 10316.97 PropClause: 10147.224 Set: 5269.939 Check: 0.0 Back: 144.445
INFO - Atoms: 466888/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 7000360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.29 Prop: 11056.995 PropClause: 10875.78 Set: 5356.774 Check: 0.0 Back: 155.407
INFO - Atoms: 466878/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 7467172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.311 Prop: 11766.755 PropClause: 11574.019 Set: 5443.367 Check: 0.0 Back: 166.36
INFO - Atoms: 466812/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 7934036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.331 Prop: 12513.683 PropClause: 12309.465 Set: 5530.301 Check: 0.0 Back: 177.311
INFO - Atoms: 466864/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 8400900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.353 Prop: 13268.045 PropClause: 13051.808 Set: 5623.284 Check: 0.0 Back: 188.648
INFO - Atoms: 466864/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 8867693 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.374 Prop: 13988.785 PropClause: 13761.107 Set: 5889.645 Check: 0.0 Back: 199.701
INFO - Atoms: 466793/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 9334526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.394 Prop: 14723.614 PropClause: 14484.473 Set: 6166.205 Check: 0.0 Back: 210.53
INFO - Atoms: 466833/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 9801339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.414 Prop: 15466.231 PropClause: 15215.657 Set: 6368.59 Check: 0.0 Back: 221.35
INFO - Atoms: 466813/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 10268144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.434 Prop: 16227.049 PropClause: 15965.035 Set: 6456.562 Check: 0.0 Back: 232.291
INFO - Atoms: 466805/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 10734920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.451 Prop: 16974.77 PropClause: 16701.372 Set: 6544.455 Check: 0.0 Back: 243.195
INFO - Atoms: 466776/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 11201682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.47 Prop: 17702.943 PropClause: 17418.071 Set: 6632.223 Check: 0.0 Back: 254.168
INFO - Atoms: 466762/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 11667451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.488 Prop: 18466.502 PropClause: 18170.199 Set: 6720.935 Check: 0.0 Back: 265.094
INFO - Atoms: 465769/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 12132220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.508 Prop: 19225.699 PropClause: 18918.007 Set: 6807.812 Check: 0.0 Back: 276.054
INFO - Atoms: 464769/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 12596689 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.531 Prop: 19988.565 PropClause: 19669.469 Set: 6896.026 Check: 0.0 Back: 287.079
INFO - Atoms: 464469/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 13061139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.549 Prop: 20711.977 PropClause: 20381.5 Set: 6981.534 Check: 0.0 Back: 297.937
INFO - Atoms: 464450/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 13525569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.57 Prop: 21465.757 PropClause: 21123.903 Set: 7071.454 Check: 0.0 Back: 308.767
INFO - Atoms: 464430/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 13989981 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.593 Prop: 22217.219 PropClause: 21864.008 Set: 7347.259 Check: 0.0 Back: 319.674
INFO - Atoms: 464412/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 14454379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.613 Prop: 22970.971 PropClause: 22606.366 Set: 7569.56 Check: 0.0 Back: 330.456
INFO - Atoms: 464398/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 14918758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.635 Prop: 23707.031 PropClause: 23331.045 Set: 7656.736 Check: 0.0 Back: 341.241
INFO - Atoms: 464379/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 15383122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.655 Prop: 24487.146 PropClause: 24099.702 Set: 7744.908 Check: 0.0 Back: 352.16
INFO - Atoms: 464364/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 15847468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.677 Prop: 25226.974 PropClause: 24828.0 Set: 7832.868 Check: 0.0 Back: 363.17
INFO - Atoms: 464346/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 16311787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.697 Prop: 25990.306 PropClause: 25579.94 Set: 7919.941 Check: 0.0 Back: 374.133
INFO - Atoms: 464319/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 16776083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.722 Prop: 26711.773 PropClause: 26290.06 Set: 8004.504 Check: 0.0 Back: 385.057
INFO - Atoms: 464296/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 17238966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.744 Prop: 27438.28 PropClause: 27004.726 Set: 8094.92 Check: 0.0 Back: 395.858
INFO - Atoms: 462883/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 17702112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.766 Prop: 28190.065 PropClause: 27745.065 Set: 8183.656 Check: 0.0 Back: 406.724
INFO - Atoms: 463146/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 18164673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.786 Prop: 28970.813 PropClause: 28514.507 Set: 8271.096 Check: 0.0 Back: 417.552
INFO - Atoms: 462561/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 18626516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.806 Prop: 29667.677 PropClause: 29200.078 Set: 8356.892 Check: 0.0 Back: 428.524
INFO - Atoms: 461843/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 19088336 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.838 Prop: 30423.741 PropClause: 29944.876 Set: 8446.655 Check: 0.0 Back: 439.29
INFO - Atoms: 461820/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 19550140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.859 Prop: 31193.455 PropClause: 30703.28 Set: 8534.275 Check: 0.0 Back: 450.348
INFO - Atoms: 461804/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 20011221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.88 Prop: 31992.033 PropClause: 31490.369 Set: 8625.016 Check: 0.0 Back: 461.174
INFO - Atoms: 461081/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 20471448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.9 Prop: 32731.806 PropClause: 32218.758 Set: 8712.037 Check: 0.0 Back: 472.225
INFO - Atoms: 460227/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 20931092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.922 Prop: 33489.264 PropClause: 32964.824 Set: 8800.283 Check: 0.0 Back: 482.99
INFO - Atoms: 459644/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 21390720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.943 Prop: 34292.792 PropClause: 33756.986 Set: 8890.294 Check: 0.0 Back: 493.775
INFO - Atoms: 459628/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 21849904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.965 Prop: 35094.641 PropClause: 34547.577 Set: 8977.82 Check: 0.0 Back: 504.863
INFO - Atoms: 459184/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 22309209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.985 Prop: 35848.566 PropClause: 35290.276 Set: 9063.797 Check: 0.0 Back: 515.891
INFO - Atoms: 459305/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 22767652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.008 Prop: 36644.196 PropClause: 36074.602 Set: 9152.569 Check: 0.0 Back: 526.655
INFO - Atoms: 458443/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 23226080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.035 Prop: 37444.706 PropClause: 36863.603 Set: 9242.581 Check: 0.0 Back: 537.851
INFO - Atoms: 458428/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 23684490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.054 Prop: 38247.008 PropClause: 37654.458 Set: 9332.182 Check: 0.0 Back: 548.813
INFO - Atoms: 458410/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 24142883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.076 Prop: 38996.264 PropClause: 38392.507 Set: 9417.916 Check: 0.0 Back: 559.749
INFO - Atoms: 458393/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 24600691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.097 Prop: 39765.528 PropClause: 39150.587 Set: 9504.19 Check: 0.0 Back: 570.494
INFO - Atoms: 457808/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 25058197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.119 Prop: 40542.4 PropClause: 39916.237 Set: 9590.769 Check: 0.0 Back: 581.325
INFO - Atoms: 457506/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 25515406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.142 Prop: 41328.331 PropClause: 40690.936 Set: 9679.877 Check: 0.0 Back: 592.158
INFO - Atoms: 457209/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 25972310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.162 Prop: 42068.907 PropClause: 41420.203 Set: 9766.781 Check: 0.0 Back: 603.897
INFO - Atoms: 456904/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 26428917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.181 Prop: 42848.468 PropClause: 42188.57 Set: 9854.137 Check: 0.0 Back: 614.728
INFO - Atoms: 456607/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 26885220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.203 Prop: 43633.345 PropClause: 42962.224 Set: 9941.788 Check: 0.0 Back: 625.571
INFO - Atoms: 456303/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 27341371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.225 Prop: 44428.005 PropClause: 43745.716 Set: 10029.214 Check: 0.0 Back: 636.339
INFO - Atoms: 456151/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 27797788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.248 Prop: 45352.642 PropClause: 44657.145 Set: 10144.054 Check: 0.0 Back: 647.135
INFO - Atoms: 456417/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 28253622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.27 Prop: 46155.541 PropClause: 45448.29 Set: 10237.061 Check: 0.0 Back: 658.838
INFO - Atoms: 455834/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 28709437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.293 Prop: 46932.819 PropClause: 46214.335 Set: 10325.292 Check: 0.0 Back: 669.637
INFO - Atoms: 455815/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 29164667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.317 Prop: 47727.403 PropClause: 46997.757 Set: 10411.944 Check: 0.0 Back: 680.39
INFO - Atoms: 455230/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 29619880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.339 Prop: 48465.019 PropClause: 47724.217 Set: 10498.625 Check: 0.0 Back: 691.236
INFO - Atoms: 455213/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 30074508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.365 Prop: 49227.25 PropClause: 48475.292 Set: 10584.855 Check: 0.0 Back: 701.951
INFO - Atoms: 454628/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 30529257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.383 Prop: 50002.13 PropClause: 49239.026 Set: 10671.551 Check: 0.0 Back: 712.679
INFO - Atoms: 454749/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 30983145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.402 Prop: 50850.134 PropClause: 50074.836 Set: 10767.962 Check: 0.0 Back: 723.453
INFO - Atoms: 453888/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 31437016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.419 Prop: 51594.785 PropClause: 50808.247 Set: 10990.925 Check: 0.0 Back: 735.998
INFO - Atoms: 453871/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 31890302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.438 Prop: 52367.349 PropClause: 51569.602 Set: 11210.886 Check: 0.0 Back: 746.686
INFO - Atoms: 453286/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 32343571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.457 Prop: 53141.67 PropClause: 52332.71 Set: 11462.42 Check: 0.0 Back: 757.543
INFO - Atoms: 453269/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 32796256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.474 Prop: 53895.283 PropClause: 53075.146 Set: 11713.834 Check: 0.0 Back: 768.197
INFO - Atoms: 452685/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 33248089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.494 Prop: 54654.262 PropClause: 53822.986 Set: 11967.38 Check: 0.0 Back: 778.781
INFO - Atoms: 451833/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 33699622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.512 Prop: 55457.828 PropClause: 54614.804 Set: 12213.854 Check: 0.0 Back: 789.406
INFO - Atoms: 451533/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 34150856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.53 Prop: 56232.221 PropClause: 55378.108 Set: 12437.792 Check: 0.0 Back: 799.974
INFO - Atoms: 451234/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 34602070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.548 Prop: 57014.605 PropClause: 56149.362 Set: 12649.967 Check: 0.0 Back: 810.609
INFO - Atoms: 451214/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 35053969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.565 Prop: 57745.826 PropClause: 56869.48 Set: 12848.566 Check: 0.0 Back: 821.373
INFO - Atoms: 451899/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 35504869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.584 Prop: 58509.108 PropClause: 57621.586 Set: 13038.814 Check: 0.0 Back: 831.965
INFO - Atoms: 450900/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 35955328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.603 Prop: 59285.945 PropClause: 58387.192 Set: 13127.729 Check: 0.0 Back: 842.565
INFO - Atoms: 450459/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 36405770 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.622 Prop: 60055.264 PropClause: 59145.459 Set: 13214.006 Check: 0.0 Back: 853.268
INFO - Atoms: 450442/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 36856195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.639 Prop: 60811.4 PropClause: 59890.516 Set: 13300.661 Check: 0.0 Back: 863.898
INFO - Atoms: 450425/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 37306035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.658 Prop: 61591.664 PropClause: 60659.72 Set: 13388.378 Check: 0.0 Back: 874.528
INFO - Atoms: 449840/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 37755712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.676 Prop: 62360.264 PropClause: 61417.267 Set: 13476.396 Check: 0.0 Back: 885.168
INFO - Atoms: 449677/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 38205089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.692 Prop: 63121.602 PropClause: 62167.562 Set: 13562.104 Check: 0.0 Back: 895.821
INFO - Atoms: 449377/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 38654449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.71 Prop: 63834.087 PropClause: 62869.086 Set: 13647.297 Check: 0.0 Back: 906.352
INFO - Atoms: 449360/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 39103224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.727 Prop: 64585.393 PropClause: 63608.998 Set: 13736.864 Check: 0.0 Back: 916.972
INFO - Atoms: 448775/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 39551697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.746 Prop: 65355.54 PropClause: 64367.996 Set: 13823.475 Check: 0.0 Back: 927.571
INFO - Atoms: 448473/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 39999873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.766 Prop: 66111.819 PropClause: 65113.283 Set: 13909.59 Check: 0.0 Back: 938.266
INFO - Atoms: 448176/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 40447744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.784 Prop: 66844.791 PropClause: 65835.248 Set: 13994.865 Check: 0.0 Back: 948.846
INFO - Atoms: 447871/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 40894911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.803 Prop: 67578.8 PropClause: 66558.34 Set: 14078.589 Check: 0.0 Back: 959.294
INFO - Atoms: 447167/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 41342055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.82 Prop: 68331.812 PropClause: 67300.399 Set: 14162.871 Check: 0.0 Back: 969.905
INFO - Atoms: 447144/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 41788613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.841 Prop: 69123.162 PropClause: 68080.677 Set: 14249.809 Check: 0.0 Back: 980.478
INFO - Atoms: 446558/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 42234870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.859 Prop: 69871.53 PropClause: 68818.095 Set: 14334.16 Check: 0.0 Back: 991.19
INFO - Atoms: 446257/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 42680830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.878 Prop: 70620.862 PropClause: 69556.494 Set: 14419.542 Check: 0.0 Back: 1001.697
INFO - Atoms: 445960/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 43126770 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.897 Prop: 71389.158 PropClause: 70313.806 Set: 14504.923 Check: 0.0 Back: 1012.137
INFO - Atoms: 445940/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 43572125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.914 Prop: 72179.276 PropClause: 71092.873 Set: 14591.25 Check: 0.0 Back: 1022.753
INFO - Atoms: 445355/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 44017463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.969 Prop: 72897.164 PropClause: 71799.858 Set: 14675.7 Check: 0.0 Back: 1033.446
INFO - Atoms: 445338/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 44462216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.029 Prop: 73632.002 PropClause: 72523.79 Set: 14759.824 Check: 0.0 Back: 1044.082
INFO - Atoms: 444753/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 44906952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.042 Prop: 74393.546 PropClause: 73274.378 Set: 14844.576 Check: 0.0 Back: 1054.604
INFO - Atoms: 444736/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 45351103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.054 Prop: 75161.342 PropClause: 74031.193 Set: 14929.354 Check: 0.0 Back: 1065.303
INFO - Atoms: 444151/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 45795237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.069 Prop: 75889.253 PropClause: 74748.119 Set: 15109.572 Check: 0.0 Back: 1075.956
INFO - Atoms: 444134/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 46238786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.083 Prop: 76646.493 PropClause: 75494.416 Set: 15301.997 Check: 0.0 Back: 1086.418
INFO - Atoms: 443549/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 46682318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.097 Prop: 77396.725 PropClause: 76233.744 Set: 15506.189 Check: 0.0 Back: 1096.878
INFO - Atoms: 443532/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 47125265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.113 Prop: 78161.471 PropClause: 76987.3 Set: 15734.491 Check: 0.0 Back: 1107.318
INFO - Atoms: 442947/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 47567910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.127 Prop: 78874.94 PropClause: 77689.784 Set: 15977.889 Check: 0.0 Back: 1117.976
INFO - Atoms: 442645/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 48010254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.141 Prop: 79599.597 PropClause: 78403.504 Set: 16231.879 Check: 0.0 Back: 1128.562
INFO - Atoms: 442344/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 48452297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.153 Prop: 80338.557 PropClause: 79131.602 Set: 16497.117 Check: 0.0 Back: 1138.916
INFO - Atoms: 442043/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 48894043 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.166 Prop: 81090.294 PropClause: 79872.49 Set: 16751.048 Check: 0.0 Back: 1149.223
INFO - Atoms: 441746/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 49335484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.178 Prop: 81808.695 PropClause: 80580.105 Set: 16989.617 Check: 0.0 Back: 1159.575
INFO - Atoms: 441441/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 49776628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.191 Prop: 82543.018 PropClause: 81303.571 Set: 17216.108 Check: 0.0 Back: 1169.836
INFO - Atoms: 441144/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 50217467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.204 Prop: 83298.672 PropClause: 82048.41 Set: 17422.947 Check: 0.0 Back: 1180.24
INFO - Atoms: 440839/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 50658006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.219 Prop: 84062.16 PropClause: 82801.029 Set: 17618.14 Check: 0.0 Back: 1190.651
INFO - Atoms: 440539/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 51098528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.23 Prop: 84764.965 PropClause: 83492.973 Set: 17804.007 Check: 0.0 Back: 1201.06
INFO - Atoms: 440522/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 51538465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.243 Prop: 85454.949 PropClause: 84172.137 Set: 17985.737 Check: 0.0 Back: 1211.495
INFO - Atoms: 439937/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 51978100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.255 Prop: 86174.944 PropClause: 84881.339 Set: 18163.066 Check: 0.0 Back: 1221.852
INFO - Atoms: 439635/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 52417435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.267 Prop: 86904.923 PropClause: 85600.437 Set: 18343.156 Check: 0.0 Back: 1232.184
INFO - Atoms: 439335/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 52856468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.281 Prop: 87617.307 PropClause: 86301.985 Set: 18524.031 Check: 0.0 Back: 1242.539
INFO - Atoms: 439033/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 53295204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.296 Prop: 88310.126 PropClause: 86983.963 Set: 18708.426 Check: 0.0 Back: 1252.85
INFO - Atoms: 438736/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 53733635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.309 Prop: 89014.246 PropClause: 87677.269 Set: 18897.05 Check: 0.0 Back: 1263.256
INFO - Atoms: 438431/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 54171766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.323 Prop: 89755.717 PropClause: 88407.993 Set: 19099.245 Check: 0.0 Back: 1273.642
INFO - Atoms: 438131/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 54609880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.335 Prop: 90497.515 PropClause: 89138.959 Set: 19319.009 Check: 0.0 Back: 1284.022
INFO - Atoms: 438114/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 55047409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.348 Prop: 91193.115 PropClause: 89823.862 Set: 19552.724 Check: 0.0 Back: 1294.367
INFO - Atoms: 437529/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 55484921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.361 Prop: 91941.215 PropClause: 90561.148 Set: 19815.639 Check: 0.0 Back: 1304.605
INFO - Atoms: 437512/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 55921848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.375 Prop: 92670.005 PropClause: 91279.003 Set: 19900.676 Check: 0.0 Back: 1314.866
INFO - Atoms: 436927/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 56358758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.389 Prop: 93403.125 PropClause: 92001.356 Set: 19983.561 Check: 0.0 Back: 1325.372
INFO - Atoms: 436910/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 56795086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.401 Prop: 94096.295 PropClause: 92683.806 Set: 20067.148 Check: 0.0 Back: 1335.814
INFO - Atoms: 436328/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 57231109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.416 Prop: 94789.933 PropClause: 93366.759 Set: 20148.181 Check: 0.0 Back: 1346.021
INFO - Atoms: 436023/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 57666835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.43 Prop: 95509.432 PropClause: 94075.58 Set: 20230.068 Check: 0.0 Back: 1356.321
INFO - Atoms: 435726/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 58102256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.443 Prop: 96231.753 PropClause: 94787.178 Set: 20312.692 Check: 0.0 Back: 1366.596
INFO - Atoms: 435421/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 58537376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.46 Prop: 96920.779 PropClause: 95465.498 Set: 20394.342 Check: 0.0 Back: 1376.962
INFO - Atoms: 435120/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 58972195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.501 Prop: 97608.078 PropClause: 96142.076 Set: 20475.932 Check: 0.0 Back: 1387.11
INFO - Atoms: 434819/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 59406714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.508 Prop: 98336.489 PropClause: 96859.684 Set: 20559.659 Check: 0.0 Back: 1397.353
INFO - Atoms: 434519/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 59841216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.517 Prop: 99062.829 PropClause: 97575.327 Set: 20642.356 Check: 0.0 Back: 1407.674
INFO - Atoms: 434502/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 60275133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.523 Prop: 99797.768 PropClause: 98299.416 Set: 20726.672 Check: 0.0 Back: 1417.895
INFO - Atoms: 433917/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 60709033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.53 Prop: 100482.752 PropClause: 98973.76 Set: 20807.555 Check: 0.0 Back: 1428.401
INFO - Atoms: 433900/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 61142348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.538 Prop: 101212.295 PropClause: 99692.546 Set: 20890.807 Check: 0.0 Back: 1438.725
INFO - Atoms: 433315/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 61575646 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.546 Prop: 101937.81 PropClause: 100407.326 Set: 20974.401 Check: 0.0 Back: 1449.007
INFO - Atoms: 433298/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 62008359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.553 Prop: 102656.909 PropClause: 101115.726 Set: 21057.825 Check: 0.0 Back: 1459.291
INFO - Atoms: 432713/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 62440917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.56 Prop: 103347.525 PropClause: 101795.196 Set: 21142.223 Check: 0.0 Back: 1469.494
INFO - Atoms: 432558/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 62873028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.598 Prop: 104035.345 PropClause: 102472.443 Set: 21222.85 Check: 0.0 Back: 1479.589
INFO - Atoms: 432111/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 63304837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.638 Prop: 104741.714 PropClause: 103168.248 Set: 21304.782 Check: 0.0 Back: 1489.872
INFO - Atoms: 431809/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 63736346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.647 Prop: 105467.808 PropClause: 103883.731 Set: 21387.833 Check: 0.0 Back: 1500.051
INFO - Atoms: 431509/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 64167838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.655 Prop: 106151.782 PropClause: 104557.122 Set: 21600.505 Check: 0.0 Back: 1510.259
INFO - Atoms: 431492/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 64598745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.663 Prop: 106832.772 PropClause: 105227.583 Set: 21863.13 Check: 0.0 Back: 1520.315
INFO - Atoms: 430907/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 65029635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.67 Prop: 107537.402 PropClause: 105921.607 Set: 21946.308 Check: 0.0 Back: 1530.291
INFO - Atoms: 430890/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 65459943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.677 Prop: 108234.827 PropClause: 106608.448 Set: 22028.294 Check: 0.0 Back: 1540.486
INFO - Atoms: 430308/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 65890231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.684 Prop: 108938.504 PropClause: 107301.544 Set: 22111.504 Check: 0.0 Back: 1550.678
INFO - Atoms: 430288/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 66319934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.692 Prop: 109620.766 PropClause: 107973.206 Set: 22192.378 Check: 0.0 Back: 1560.835
INFO - Atoms: 429703/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 66749620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.699 Prop: 110322.727 PropClause: 108664.615 Set: 22273.148 Check: 0.0 Back: 1570.909
INFO - Atoms: 429686/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 67178721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.707 Prop: 111038.593 PropClause: 109369.903 Set: 22354.62 Check: 0.0 Back: 1581.088
INFO - Atoms: 429101/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 67607805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.715 Prop: 111763.212 PropClause: 110083.937 Set: 22436.676 Check: 0.0 Back: 1591.163
INFO - Atoms: 429084/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 68036303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.723 Prop: 112469.044 PropClause: 110779.152 Set: 22517.761 Check: 0.0 Back: 1601.323
INFO - Atoms: 428498/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 68464500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.73 Prop: 113161.28 PropClause: 111460.857 Set: 22597.763 Check: 0.0 Back: 1611.458
INFO - Atoms: 428197/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 68892397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.737 Prop: 113865.887 PropClause: 112154.979 Set: 22679.047 Check: 0.0 Back: 1621.555
INFO - Atoms: 427897/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 69320277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.744 Prop: 114569.893 PropClause: 112848.483 Set: 22760.226 Check: 0.0 Back: 1631.6
INFO - Atoms: 427880/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 69747572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.752 Prop: 115272.807 PropClause: 113540.409 Set: 22846.135 Check: 0.0 Back: 1641.7
INFO - Atoms: 427295/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 70174565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.759 Prop: 115940.421 PropClause: 114197.672 Set: 22924.886 Check: 0.0 Back: 1651.767
INFO - Atoms: 426993/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 70601261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.768 Prop: 116632.81 PropClause: 114879.644 Set: 23142.403 Check: 0.0 Back: 1661.839
INFO - Atoms: 426696/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 71027937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.776 Prop: 117329.823 PropClause: 115566.215 Set: 23224.542 Check: 0.0 Back: 1671.867
INFO - Atoms: 426676/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 71454031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.783 Prop: 118030.215 PropClause: 116256.145 Set: 23305.134 Check: 0.0 Back: 1681.931
INFO - Atoms: 426094/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 71879820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.791 Prop: 118702.144 PropClause: 116917.622 Set: 23385.536 Check: 0.0 Back: 1691.939
INFO - Atoms: 425789/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 72305308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.798 Prop: 119388.735 PropClause: 117593.751 Set: 23465.922 Check: 0.0 Back: 1701.851
INFO - Atoms: 425488/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 72730780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.806 Prop: 120089.633 PropClause: 118284.186 Set: 23546.442 Check: 0.0 Back: 1711.874
INFO - Atoms: 425472/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 73155666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.815 Prop: 120815.392 PropClause: 118999.525 Set: 23628.646 Check: 0.0 Back: 1721.903
INFO - Atoms: 424886/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 73580251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.823 Prop: 121491.481 PropClause: 119665.177 Set: 23708.482 Check: 0.0 Back: 1732.004
INFO - Atoms: 424585/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 74004539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.83 Prop: 122156.081 PropClause: 120319.345 Set: 23787.163 Check: 0.0 Back: 1742.036
INFO - Atoms: 424288/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 74428807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.837 Prop: 122852.694 PropClause: 121005.515 Set: 23867.261 Check: 0.0 Back: 1751.865
INFO - Atoms: 424268/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 74852490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.845 Prop: 123556.276 PropClause: 121698.734 Set: 23947.711 Check: 0.0 Back: 1761.865
INFO - Atoms: 423683/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 75275871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.852 Prop: 124259.087 PropClause: 122391.162 Set: 24192.167 Check: 0.0 Back: 1771.916
INFO - Atoms: 423381/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 75698952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.86 Prop: 124937.247 PropClause: 123058.924 Set: 24272.158 Check: 0.0 Back: 1781.834
INFO - Atoms: 423081/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 76122016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.869 Prop: 125620.203 PropClause: 123731.464 Set: 24351.621 Check: 0.0 Back: 1791.723
INFO - Atoms: 423064/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 76544495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.877 Prop: 126306.868 PropClause: 124407.758 Set: 24431.077 Check: 0.0 Back: 1801.748
INFO - Atoms: 422479/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 76966957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.885 Prop: 126989.42 PropClause: 125079.935 Set: 24511.116 Check: 0.0 Back: 1811.721
INFO - Atoms: 422462/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 77388834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.892 Prop: 127634.929 PropClause: 125715.128 Set: 24589.039 Check: 0.0 Back: 1821.675
INFO - Atoms: 421877/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 77810409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.9 Prop: 128286.184 PropClause: 126356.035 Set: 24667.324 Check: 0.0 Back: 1831.619
INFO - Atoms: 421575/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 78231684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.907 Prop: 129008.793 PropClause: 127065.794 Set: 24772.061 Check: 0.0 Back: 1841.48
INFO - Atoms: 421275/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 78652657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.915 Prop: 129689.074 PropClause: 127735.733 Set: 24851.268 Check: 0.0 Back: 1851.459
INFO - Atoms: 420973/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 79073333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.922 Prop: 130377.105 PropClause: 128413.409 Set: 24932.415 Check: 0.0 Back: 1861.361
INFO - Atoms: 420676/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 79493704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.93 Prop: 131026.626 PropClause: 129052.695 Set: 25135.74 Check: 0.0 Back: 1871.313
INFO - Atoms: 420371/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 79913778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.938 Prop: 131691.008 PropClause: 129706.836 Set: 25213.874 Check: 0.0 Back: 1881.127
INFO - Atoms: 420074/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 80333547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.946 Prop: 132370.273 PropClause: 130375.774 Set: 25292.314 Check: 0.0 Back: 1890.975
INFO - Atoms: 419769/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 80753019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.954 Prop: 133049.064 PropClause: 131044.083 Set: 25373.724 Check: 0.0 Back: 1900.934
INFO - Atoms: 419472/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 81172186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.961 Prop: 133701.93 PropClause: 131686.694 Set: 25453.001 Check: 0.0 Back: 1910.82
INFO - Atoms: 419167/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 81591053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.969 Prop: 134349.805 PropClause: 132324.32 Set: 25531.023 Check: 0.0 Back: 1920.611
INFO - Atoms: 418867/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 82009903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.977 Prop: 135019.687 PropClause: 132983.949 Set: 25608.505 Check: 0.0 Back: 1930.436
INFO - Atoms: 418850/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 82428168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.984 Prop: 135702.102 PropClause: 133656.072 Set: 25687.595 Check: 0.0 Back: 1940.327
INFO - Atoms: 418265/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 82846416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.991 Prop: 136384.173 PropClause: 134327.844 Set: 25767.532 Check: 0.0 Back: 1950.233
INFO - Atoms: 418248/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 83264079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.999 Prop: 137027.449 PropClause: 134960.943 Set: 25985.106 Check: 0.0 Back: 1960.211
INFO - Atoms: 417663/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 83681725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.006 Prop: 137692.588 PropClause: 135615.852 Set: 26063.651 Check: 0.0 Back: 1969.895
INFO - Atoms: 417646/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 84098785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.014 Prop: 138371.142 PropClause: 136284.223 Set: 26142.208 Check: 0.0 Back: 1979.826
INFO - Atoms: 417060/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 84515829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.021 Prop: 139071.643 PropClause: 136974.418 Set: 26221.905 Check: 0.0 Back: 1989.664
INFO - Atoms: 417044/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 84932288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.028 Prop: 139728.043 PropClause: 137620.442 Set: 26300.578 Check: 0.0 Back: 1999.758
INFO - Atoms: 416459/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 85348730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.035 Prop: 140367.951 PropClause: 138250.056 Set: 26380.211 Check: 0.0 Back: 2009.678
INFO - Atoms: 416442/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 85764587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.042 Prop: 141034.327 PropClause: 138906.245 Set: 26457.059 Check: 0.0 Back: 2019.367
INFO - Atoms: 415857/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 86180144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.05 Prop: 141707.47 PropClause: 139569.135 Set: 26534.816 Check: 0.0 Back: 2029.251
INFO - Atoms: 415557/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 86595402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.059 Prop: 142377.994 PropClause: 140229.455 Set: 26718.476 Check: 0.0 Back: 2039.081
INFO - Atoms: 415258/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 87010355 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.067 Prop: 143012.807 PropClause: 140854.142 Set: 26793.818 Check: 0.0 Back: 2048.9
INFO - Atoms: 414953/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 87425011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.074 Prop: 143652.77 PropClause: 141483.922 Set: 26870.982 Check: 0.0 Back: 2058.625
INFO - Atoms: 414656/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 87839362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.082 Prop: 144328.909 PropClause: 142149.892 Set: 26948.703 Check: 0.0 Back: 2068.384
INFO - Atoms: 414351/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 88253413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.09 Prop: 144995.889 PropClause: 142806.701 Set: 27026.019 Check: 0.0 Back: 2078.168
INFO - Atoms: 414051/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 88667447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.097 Prop: 145650.783 PropClause: 143451.433 Set: 27103.53 Check: 0.0 Back: 2087.949
INFO - Atoms: 414034/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 89080896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.105 Prop: 146301.321 PropClause: 144091.827 Set: 27181.674 Check: 0.0 Back: 2097.645
INFO - Atoms: 413449/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 89494328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.113 Prop: 146968.467 PropClause: 144748.839 Set: 27367.244 Check: 0.0 Back: 2107.529
INFO - Atoms: 413432/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 89907175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.121 Prop: 147642.306 PropClause: 145412.497 Set: 27445.245 Check: 0.0 Back: 2118.024
INFO - Atoms: 412847/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 90320005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.128 Prop: 148327.254 PropClause: 146086.76 Set: 27527.567 Check: 0.0 Back: 2127.97
INFO - Atoms: 412830/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 90732250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.134 Prop: 148966.912 PropClause: 146716.319 Set: 27604.157 Check: 0.0 Back: 2137.74
INFO - Atoms: 412245/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 91144478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.142 Prop: 149596.77 PropClause: 147336.099 Set: 27680.513 Check: 0.0 Back: 2147.465
INFO - Atoms: 412228/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 91556124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.15 Prop: 150251.884 PropClause: 147981.136 Set: 27758.362 Check: 0.0 Back: 2157.049
INFO - Atoms: 411646/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 91967750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.157 Prop: 150915.392 PropClause: 148634.563 Set: 27930.578 Check: 0.0 Back: 2166.728
INFO - Atoms: 411626/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 92378794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.165 Prop: 151603.363 PropClause: 149312.084 Set: 28013.585 Check: 0.0 Back: 2176.471
INFO - Atoms: 411044/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 92789533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.173 Prop: 152239.506 PropClause: 149938.175 Set: 28090.184 Check: 0.0 Back: 2186.565
INFO - Atoms: 410739/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 93199975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.181 Prop: 152884.382 PropClause: 150572.682 Set: 28168.018 Check: 0.0 Back: 2196.239
INFO - Atoms: 410442/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 93610112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.188 Prop: 153552.261 PropClause: 151230.343 Set: 28246.744 Check: 0.0 Back: 2205.941
INFO - Atoms: 410137/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 94019949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.196 Prop: 154215.577 PropClause: 151883.576 Set: 28323.667 Check: 0.0 Back: 2215.769
INFO - Atoms: 409837/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 94429769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.202 Prop: 154860.814 PropClause: 152518.745 Set: 28535.667 Check: 0.0 Back: 2225.477
INFO - Atoms: 409820/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 94839004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.21 Prop: 155514.254 PropClause: 153162.155 Set: 28611.64 Check: 0.0 Back: 2235.069
INFO - Atoms: 409235/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 95247937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.217 Prop: 156198.141 PropClause: 153835.932 Set: 28689.988 Check: 0.0 Back: 2244.988
INFO - Atoms: 408933/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 95656570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.225 Prop: 156858.705 PropClause: 154486.445 Set: 28767.318 Check: 0.0 Back: 2254.822
INFO - Atoms: 408633/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 96064903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.233 Prop: 157543.109 PropClause: 155160.758 Set: 28845.041 Check: 0.0 Back: 2264.509
INFO - Atoms: 408333/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 96472937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.241 Prop: 158195.758 PropClause: 155802.564 Set: 28921.499 Check: 0.0 Back: 2274.248
INFO - Atoms: 408034/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 96880666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.247 Prop: 158811.787 PropClause: 156408.634 Set: 28996.728 Check: 0.0 Back: 2283.788
INFO - Atoms: 407729/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 97288098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.256 Prop: 159469.434 PropClause: 157056.3 Set: 29073.367 Check: 0.0 Back: 2293.491
INFO - Atoms: 407432/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 97695225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.264 Prop: 160161.636 PropClause: 157738.474 Set: 29151.529 Check: 0.0 Back: 2303.116
INFO - Atoms: 407127/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 98102052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.272 Prop: 160875.912 PropClause: 158442.594 Set: 29232.705 Check: 0.0 Back: 2312.869
INFO - Atoms: 406827/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 98508862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.279 Prop: 161526.935 PropClause: 159083.583 Set: 29309.228 Check: 0.0 Back: 2322.604
INFO - Atoms: 406810/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 98915086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.287 Prop: 162201.331 PropClause: 159747.994 Set: 29501.978 Check: 0.0 Back: 2332.211
INFO - Atoms: 406224/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 99321294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.294 Prop: 162879.881 PropClause: 160416.497 Set: 29579.761 Check: 0.0 Back: 2341.825
INFO - Atoms: 406208/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 99726916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.301 Prop: 163583.538 PropClause: 161110.149 Set: 29658.119 Check: 0.0 Back: 2351.418
INFO - Atoms: 405622/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 100132237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.309 Prop: 164224.838 PropClause: 161741.478 Set: 29735.247 Check: 0.0 Back: 2361.14
INFO - Atoms: 405321/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 100537261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.318 Prop: 164874.681 PropClause: 162381.385 Set: 29811.867 Check: 0.0 Back: 2370.695
INFO - Atoms: 405024/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 100941980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.326 Prop: 165545.024 PropClause: 163041.771 Set: 29888.378 Check: 0.0 Back: 2380.273
INFO - Atoms: 404719/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 101346402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.333 Prop: 166220.192 PropClause: 163706.973 Set: 29965.326 Check: 0.0 Back: 2389.992
INFO - Atoms: 404422/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 101750519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.34 Prop: 166896.168 PropClause: 164373.0 Set: 30042.239 Check: 0.0 Back: 2399.425
INFO - Atoms: 404117/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 102154339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.348 Prop: 167554.627 PropClause: 165021.544 Set: 30118.544 Check: 0.0 Back: 2409.043
INFO - Atoms: 403820/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 102558139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.355 Prop: 168193.6 PropClause: 165650.581 Set: 30193.605 Check: 0.0 Back: 2418.593
INFO - Atoms: 403800/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 102961354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.362 Prop: 168856.149 PropClause: 166303.172 Set: 30269.619 Check: 0.0 Back: 2428.224
INFO - Atoms: 403215/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 103364552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.369 Prop: 169508.199 PropClause: 166945.27 Set: 30345.496 Check: 0.0 Back: 2437.822
INFO - Atoms: 403198/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 103767165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.377 Prop: 170167.277 PropClause: 167594.418 Set: 30590.187 Check: 0.0 Back: 2447.424
INFO - Atoms: 402613/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 104169761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.383 Prop: 170798.003 PropClause: 168215.21 Set: 30666.205 Check: 0.0 Back: 2456.885
INFO - Atoms: 402596/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 104571772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.391 Prop: 171450.691 PropClause: 168857.998 Set: 30742.467 Check: 0.0 Back: 2466.383
INFO - Atoms: 402011/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 104973766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.399 Prop: 172142.253 PropClause: 169539.601 Set: 30819.164 Check: 0.0 Back: 2475.98
INFO - Atoms: 401994/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 105375174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.407 Prop: 172838.261 PropClause: 170225.676 Set: 30896.516 Check: 0.0 Back: 2485.585
INFO - Atoms: 401408/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 105776281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.415 Prop: 173474.25 PropClause: 170851.781 Set: 30972.174 Check: 0.0 Back: 2495.146
INFO - Atoms: 401107/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 106177088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.422 Prop: 174101.897 PropClause: 171469.638 Set: 31048.452 Check: 0.0 Back: 2504.701
INFO - Atoms: 400807/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 106577878 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.431 Prop: 174763.698 PropClause: 172121.603 Set: 31124.104 Check: 0.0 Back: 2514.183
INFO - Atoms: 400790/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 106978082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.439 Prop: 175437.974 PropClause: 172786.026 Set: 31201.321 Check: 0.0 Back: 2523.844
INFO - Atoms: 400204/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 107378270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.446 Prop: 176093.288 PropClause: 173431.49 Set: 31276.549 Check: 0.0 Back: 2533.507
INFO - Atoms: 400188/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 107777873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.453 Prop: 176694.062 PropClause: 174022.48 Set: 31351.253 Check: 0.0 Back: 2542.947
INFO - Atoms: 399603/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 108177459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.46 Prop: 177329.736 PropClause: 174648.361 Set: 31426.04 Check: 0.0 Back: 2552.302
INFO - Atoms: 399586/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 108576460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.469 Prop: 177988.901 PropClause: 175297.684 Set: 31501.131 Check: 0.0 Back: 2561.72
INFO - Atoms: 399001/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 108975444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.478 Prop: 178646.854 PropClause: 175945.833 Set: 31705.805 Check: 0.0 Back: 2571.227
INFO - Atoms: 398984/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 109373843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.486 Prop: 179287.182 PropClause: 176576.347 Set: 31779.867 Check: 0.0 Back: 2580.665
INFO - Atoms: 398399/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 109772225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.493 Prop: 179927.613 PropClause: 177206.976 Set: 31854.789 Check: 0.0 Back: 2590.309
INFO - Atoms: 398382/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 110170022 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.5 Prop: 180575.42 PropClause: 177845.005 Set: 31929.463 Check: 0.0 Back: 2599.751
INFO - Atoms: 397797/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 110567802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.507 Prop: 181227.502 PropClause: 178487.253 Set: 32005.097 Check: 0.0 Back: 2609.389
INFO - Atoms: 397780/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 110964997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.515 Prop: 181873.433 PropClause: 179123.426 Set: 32079.994 Check: 0.0 Back: 2618.988
INFO - Atoms: 397195/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 111362175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.523 Prop: 182487.461 PropClause: 179727.756 Set: 32296.984 Check: 0.0 Back: 2628.383
INFO - Atoms: 397178/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 111758771 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.53 Prop: 183096.181 PropClause: 180326.691 Set: 32371.067 Check: 0.0 Back: 2637.673
INFO - Atoms: 396596/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 112155347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.537 Prop: 183742.158 PropClause: 180962.884 Set: 32447.116 Check: 0.0 Back: 2647.032
INFO - Atoms: 396576/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 112551338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.545 Prop: 184396.17 PropClause: 181607.095 Set: 32523.183 Check: 0.0 Back: 2656.598
INFO - Atoms: 395991/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 112947312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.553 Prop: 185041.482 PropClause: 182242.729 Set: 32597.12 Check: 0.0 Back: 2666.042
INFO - Atoms: 395974/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 113342701 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.56 Prop: 185666.52 PropClause: 182858.024 Set: 32671.894 Check: 0.0 Back: 2675.457
INFO - Atoms: 395389/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 113738073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.569 Prop: 186267.748 PropClause: 183449.564 Set: 32745.022 Check: 0.0 Back: 2684.754
INFO - Atoms: 395372/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 114132860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.578 Prop: 186900.331 PropClause: 184072.444 Set: 32819.291 Check: 0.0 Back: 2694.154
INFO - Atoms: 394787/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 114527345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.585 Prop: 187537.618 PropClause: 184700.038 Set: 32893.294 Check: 0.0 Back: 2703.496
INFO - Atoms: 394485/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 114921533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.593 Prop: 188160.381 PropClause: 185313.094 Set: 32968.014 Check: 0.0 Back: 2712.849
INFO - Atoms: 394188/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 115315701 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.601 Prop: 188767.145 PropClause: 185910.071 Set: 33042.887 Check: 0.0 Back: 2722.216
INFO - Atoms: 394168/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 115709284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.609 Prop: 189393.736 PropClause: 186526.921 Set: 33227.341 Check: 0.0 Back: 2731.457
INFO - Atoms: 393583/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 116102850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.616 Prop: 190036.251 PropClause: 187159.493 Set: 33303.963 Check: 0.0 Back: 2740.676
INFO - Atoms: 393566/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 116495831 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.623 Prop: 190671.421 PropClause: 187784.843 Set: 33379.805 Check: 0.0 Back: 2750.035
INFO - Atoms: 392981/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 116888795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.63 Prop: 191281.559 PropClause: 188385.339 Set: 33452.945 Check: 0.0 Back: 2759.49
INFO - Atoms: 392964/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 117281174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.637 Prop: 191891.494 PropClause: 188985.629 Set: 33526.189 Check: 0.0 Back: 2768.765
INFO - Atoms: 392379/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 117673536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.644 Prop: 192511.084 PropClause: 189595.439 Set: 33701.981 Check: 0.0 Back: 2778.258
INFO - Atoms: 392362/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 118065313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.651 Prop: 193154.073 PropClause: 190228.451 Set: 33778.3 Check: 0.0 Back: 2787.537
INFO - Atoms: 391777/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 118457073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.66 Prop: 193800.331 PropClause: 190864.977 Set: 33853.114 Check: 0.0 Back: 2796.876
INFO - Atoms: 391760/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 118848248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.667 Prop: 194408.385 PropClause: 191463.181 Set: 33928.563 Check: 0.0 Back: 2806.203
INFO - Atoms: 391175/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 119239121 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.676 Prop: 195003.569 PropClause: 192048.78 Set: 34000.604 Check: 0.0 Back: 2815.53
INFO - Atoms: 390873/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 119629697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.684 Prop: 195634.888 PropClause: 192670.459 Set: 34229.68 Check: 0.0 Back: 2824.732
INFO - Atoms: 390576/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 120020253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.691 Prop: 196268.238 PropClause: 193294.221 Set: 34303.802 Check: 0.0 Back: 2833.89
INFO - Atoms: 390556/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 120410224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.699 Prop: 196900.784 PropClause: 193917.099 Set: 34379.357 Check: 0.0 Back: 2843.15
INFO - Atoms: 389971/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 120799893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.707 Prop: 197525.806 PropClause: 194532.497 Set: 34453.698 Check: 0.0 Back: 2852.43
INFO - Atoms: 389669/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 121189262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.714 Prop: 198154.107 PropClause: 195151.095 Set: 34528.947 Check: 0.0 Back: 2861.694
INFO - Atoms: 389369/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 121578614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.722 Prop: 198789.31 PropClause: 195776.574 Set: 34602.282 Check: 0.0 Back: 2870.962
INFO - Atoms: 389352/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 121967380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.731 Prop: 199423.231 PropClause: 196400.964 Set: 34676.054 Check: 0.0 Back: 2880.328
INFO - Atoms: 388766/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 122356130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.739 Prop: 200049.86 PropClause: 197018.041 Set: 34749.231 Check: 0.0 Back: 2889.569
INFO - Atoms: 388750/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 122744295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.747 Prop: 200646.112 PropClause: 197604.696 Set: 34821.823 Check: 0.0 Back: 2898.857
INFO - Atoms: 388165/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 123132158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.755 Prop: 201252.452 PropClause: 198201.49 Set: 34996.829 Check: 0.0 Back: 2908.203
INFO - Atoms: 387863/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 123519724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.763 Prop: 201875.016 PropClause: 198814.492 Set: 35070.515 Check: 0.0 Back: 2917.414
INFO - Atoms: 387566/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 123907270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.771 Prop: 202500.636 PropClause: 199430.562 Set: 35144.843 Check: 0.0 Back: 2926.588
INFO - Atoms: 387546/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 124294231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.778 Prop: 203129.685 PropClause: 200050.086 Set: 35217.949 Check: 0.0 Back: 2935.834
INFO - Atoms: 386961/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 124681175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.786 Prop: 203740.486 PropClause: 200651.423 Set: 35289.307 Check: 0.0 Back: 2944.988
INFO - Atoms: 386944/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 125067534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.794 Prop: 204347.129 PropClause: 201248.585 Set: 35361.031 Check: 0.0 Back: 2954.114
INFO - Atoms: 386359/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 125453876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.803 Prop: 204966.266 PropClause: 201858.232 Set: 35434.446 Check: 0.0 Back: 2963.242
INFO - Atoms: 386342/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 125839633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.809 Prop: 205585.064 PropClause: 202467.48 Set: 35507.026 Check: 0.0 Back: 2972.405
INFO - Atoms: 385757/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 126225373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.817 Prop: 206179.297 PropClause: 203052.271 Set: 35577.722 Check: 0.0 Back: 2981.66
INFO - Atoms: 385740/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 126610528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.824 Prop: 206753.84 PropClause: 203617.303 Set: 35795.416 Check: 0.0 Back: 2991.074
INFO - Atoms: 385155/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 126995666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.831 Prop: 207347.277 PropClause: 204201.226 Set: 35868.387 Check: 0.0 Back: 3000.057
INFO - Atoms: 385138/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 127380219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.838 Prop: 207938.2 PropClause: 204782.724 Set: 35939.757 Check: 0.0 Back: 3009.095
INFO - Atoms: 384553/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 127764470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.847 Prop: 208540.99 PropClause: 205376.059 Set: 36011.207 Check: 0.0 Back: 3018.157
INFO - Atoms: 384251/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 128148424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.855 Prop: 209113.124 PropClause: 205938.799 Set: 36185.473 Check: 0.0 Back: 3027.272
INFO - Atoms: 383954/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 128532358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.862 Prop: 209671.358 PropClause: 206487.592 Set: 36256.792 Check: 0.0 Back: 3036.269
INFO - Atoms: 383934/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 128915707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.87 Prop: 210246.979 PropClause: 207053.843 Set: 36327.948 Check: 0.0 Back: 3045.332
INFO - Atoms: 383349/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 129299039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.877 Prop: 210824.408 PropClause: 207621.844 Set: 36398.559 Check: 0.0 Back: 3054.346
INFO - Atoms: 383332/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 129681785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.885 Prop: 211431.734 PropClause: 208219.741 Set: 36470.654 Check: 0.0 Back: 3063.373
INFO - Atoms: 382746/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 130064515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.893 Prop: 212019.161 PropClause: 208797.732 Set: 36541.522 Check: 0.0 Back: 3072.536
INFO - Atoms: 382730/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 130446659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.901 Prop: 212572.683 PropClause: 209341.853 Set: 36612.889 Check: 0.0 Back: 3081.517
INFO - Atoms: 382144/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 130828502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.909 Prop: 213155.67 PropClause: 209915.39 Set: 36685.019 Check: 0.0 Back: 3090.457
INFO - Atoms: 381843/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 131210044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.916 Prop: 213770.746 PropClause: 210521.074 Set: 36757.394 Check: 0.0 Back: 3099.429
INFO - Atoms: 381542/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 131591570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.924 Prop: 214353.165 PropClause: 211094.02 Set: 36828.945 Check: 0.0 Back: 3108.43
INFO - Atoms: 381526/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 131972511 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.93 Prop: 214943.053 PropClause: 211674.561 Set: 36900.872 Check: 0.0 Back: 3117.46
INFO - Atoms: 380941/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 132353150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.939 Prop: 215499.718 PropClause: 212221.878 Set: 36971.566 Check: 0.0 Back: 3126.477
INFO - Atoms: 380639/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 132733489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.946 Prop: 216067.769 PropClause: 212780.608 Set: 37042.861 Check: 0.0 Back: 3135.474
INFO - Atoms: 380339/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 133113811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.954 Prop: 216643.599 PropClause: 213347.066 Set: 37278.746 Check: 0.0 Back: 3144.457
INFO - Atoms: 380322/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 133493547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.962 Prop: 217228.533 PropClause: 213922.668 Set: 37350.293 Check: 0.0 Back: 3153.343
INFO - Atoms: 379736/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 133872982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.97 Prop: 217821.713 PropClause: 214506.5 Set: 37424.149 Check: 0.0 Back: 3162.32
INFO - Atoms: 379435/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 134252117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.976 Prop: 218379.972 PropClause: 215055.497 Set: 37494.681 Check: 0.0 Back: 3171.306
INFO - Atoms: 379135/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 134631235 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.983 Prop: 218946.634 PropClause: 215612.849 Set: 37669.146 Check: 0.0 Back: 3180.183
INFO - Atoms: 379118/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 135009768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.991 Prop: 219539.369 PropClause: 216196.263 Set: 37741.959 Check: 0.0 Back: 3189.089
INFO - Atoms: 378533/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 135388284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.999 Prop: 220131.799 PropClause: 216779.388 Set: 37812.78 Check: 0.0 Back: 3198.092
INFO - Atoms: 378516/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 135766215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.007 Prop: 220720.393 PropClause: 217358.637 Set: 37882.738 Check: 0.0 Back: 3207.052
INFO - Atoms: 377931/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 136144129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.014 Prop: 221273.231 PropClause: 217902.239 Set: 37952.38 Check: 0.0 Back: 3216.169
INFO - Atoms: 377914/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 136521458 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.021 Prop: 221821.604 PropClause: 218441.237 Set: 38024.357 Check: 0.0 Back: 3225.108
INFO - Atoms: 377329/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 136898485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.029 Prop: 222396.487 PropClause: 219006.844 Set: 38094.289 Check: 0.0 Back: 3234.055
INFO - Atoms: 377027/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 137275212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.037 Prop: 222979.598 PropClause: 219580.654 Set: 38164.982 Check: 0.0 Back: 3242.963
INFO - Atoms: 376727/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 137651922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.043 Prop: 223562.856 PropClause: 220154.632 Set: 38237.165 Check: 0.0 Back: 3252.081
INFO - Atoms: 376710/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 138028047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.051 Prop: 224116.085 PropClause: 220698.686 Set: 38305.398 Check: 0.0 Back: 3261.077
INFO - Atoms: 376125/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 138404155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.058 Prop: 224681.257 PropClause: 221254.602 Set: 38375.811 Check: 0.0 Back: 3269.937
INFO - Atoms: 376108/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 138779678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.065 Prop: 225275.665 PropClause: 221839.757 Set: 38446.613 Check: 0.0 Back: 3278.835
INFO - Atoms: 375523/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 139155184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.073 Prop: 225848.337 PropClause: 222403.241 Set: 38517.217 Check: 0.0 Back: 3287.773
INFO - Atoms: 375506/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 139530105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.079 Prop: 226430.324 PropClause: 222976.019 Set: 38586.955 Check: 0.0 Back: 3296.678
INFO - Atoms: 374921/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 139905009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.086 Prop: 226984.381 PropClause: 223520.834 Set: 38656.337 Check: 0.0 Back: 3305.537
INFO - Atoms: 374904/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 140279328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.093 Prop: 227520.953 PropClause: 224048.23 Set: 38724.962 Check: 0.0 Back: 3314.404
INFO - Atoms: 374319/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 140653630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.101 Prop: 228115.599 PropClause: 224633.32 Set: 38798.393 Check: 0.0 Back: 3323.187
INFO - Atoms: 374302/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 141027347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.109 Prop: 228704.816 PropClause: 225213.341 Set: 38867.442 Check: 0.0 Back: 3332.141
INFO - Atoms: 373717/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 141400762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.116 Prop: 229294.588 PropClause: 225793.954 Set: 38937.11 Check: 0.0 Back: 3341.073
INFO - Atoms: 373415/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 141773877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.123 Prop: 229835.392 PropClause: 226325.29 Set: 39007.219 Check: 0.0 Back: 3350.01
INFO - Atoms: 373115/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 142146975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.13 Prop: 230376.054 PropClause: 226856.812 Set: 39075.528 Check: 0.0 Back: 3358.815
INFO - Atoms: 373098/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 142519488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.138 Prop: 230936.263 PropClause: 227407.877 Set: 39144.405 Check: 0.0 Back: 3367.548
INFO - Atoms: 372513/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 142891984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.145 Prop: 231500.252 PropClause: 227962.703 Set: 39213.141 Check: 0.0 Back: 3376.391
INFO - Atoms: 372496/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 143263898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.152 Prop: 232071.102 PropClause: 228524.373 Set: 39283.068 Check: 0.0 Back: 3385.295
INFO - Atoms: 371914/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 143635507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.16 Prop: 232601.812 PropClause: 229045.97 Set: 39349.399 Check: 0.0 Back: 3394.137
INFO - Atoms: 371609/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 144006819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.167 Prop: 233151.344 PropClause: 229586.301 Set: 39419.286 Check: 0.0 Back: 3402.881
INFO - Atoms: 371312/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 144378111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.176 Prop: 233723.077 PropClause: 230148.938 Set: 39488.442 Check: 0.0 Back: 3411.628
INFO - Atoms: 371292/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 144748818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.184 Prop: 234296.17 PropClause: 230712.896 Set: 39558.827 Check: 0.0 Back: 3420.67
INFO - Atoms: 370707/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 145119508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.192 Prop: 234893.894 PropClause: 231301.513 Set: 39743.632 Check: 0.0 Back: 3429.518
INFO - Atoms: 370690/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 145489613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.199 Prop: 235436.269 PropClause: 231834.706 Set: 39811.976 Check: 0.0 Back: 3438.339
INFO - Atoms: 370105/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 145859701 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.206 Prop: 235972.981 PropClause: 232362.27 Set: 39880.891 Check: 0.0 Back: 3447.113
INFO - Atoms: 370088/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 146229203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.213 Prop: 236556.399 PropClause: 232936.004 Set: 39955.475 Check: 0.0 Back: 3455.791
INFO - Atoms: 369502/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 146598689 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.221 Prop: 237137.324 PropClause: 233507.724 Set: 40181.475 Check: 0.0 Back: 3464.624
INFO - Atoms: 369486/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 146967590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.227 Prop: 237720.483 PropClause: 234081.651 Set: 40250.729 Check: 0.0 Back: 3473.439
INFO - Atoms: 368901/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 147336474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.235 Prop: 238265.906 PropClause: 234617.94 Set: 40318.252 Check: 0.0 Back: 3482.224
INFO - Atoms: 368884/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 147704773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.242 Prop: 238818.254 PropClause: 235161.21 Set: 40386.234 Check: 0.0 Back: 3491.036
INFO - Atoms: 368299/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 148073055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.25 Prop: 239377.94 PropClause: 235711.8 Set: 40455.251 Check: 0.0 Back: 3499.736
INFO - Atoms: 368282/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 148440755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.258 Prop: 239928.809 PropClause: 236253.627 Set: 40523.292 Check: 0.0 Back: 3508.453
INFO - Atoms: 367700/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 148808435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.265 Prop: 240486.159 PropClause: 236801.927 Set: 40591.45 Check: 0.0 Back: 3517.151
INFO - Atoms: 367680/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 149175530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.272 Prop: 241048.57 PropClause: 237355.211 Set: 40660.46 Check: 0.0 Back: 3525.854
INFO - Atoms: 367095/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 149542608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.28 Prop: 241589.778 PropClause: 237887.404 Set: 40728.018 Check: 0.0 Back: 3534.56
INFO - Atoms: 367078/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 149909104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.287 Prop: 242140.441 PropClause: 238429.048 Set: 40796.059 Check: 0.0 Back: 3543.22
INFO - Atoms: 366496/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 150275580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.294 Prop: 242676.744 PropClause: 238956.353 Set: 40863.383 Check: 0.0 Back: 3551.897
INFO - Atoms: 366476/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 150641471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.302 Prop: 243226.591 PropClause: 239497.166 Set: 41037.884 Check: 0.0 Back: 3560.604
INFO - Atoms: 365891/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 151007345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.309 Prop: 243778.271 PropClause: 240039.854 Set: 41104.54 Check: 0.0 Back: 3569.353
INFO - Atoms: 365874/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 151372634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.317 Prop: 244316.655 PropClause: 240569.269 Set: 41171.551 Check: 0.0 Back: 3578.044
INFO - Atoms: 365289/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 151737906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.324 Prop: 244837.558 PropClause: 241081.099 Set: 41238.911 Check: 0.0 Back: 3586.672
INFO - Atoms: 365272/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 152102593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.331 Prop: 245381.644 PropClause: 241616.052 Set: 41307.054 Check: 0.0 Back: 3595.222
INFO - Atoms: 364687/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 152467263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.338 Prop: 245936.033 PropClause: 242161.45 Set: 41374.991 Check: 0.0 Back: 3603.852
INFO - Atoms: 364670/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 152831348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.346 Prop: 246499.997 PropClause: 242716.417 Set: 41444.012 Check: 0.0 Back: 3612.516
INFO - Atoms: 364085/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 153195131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.353 Prop: 247035.435 PropClause: 243242.904 Set: 41510.778 Check: 0.0 Back: 3621.505
INFO - Atoms: 363783/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 153558614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.36 Prop: 247569.538 PropClause: 243768.107 Set: 41576.859 Check: 0.0 Back: 3630.172
INFO - Atoms: 363483/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 153922080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.368 Prop: 248100.052 PropClause: 244289.686 Set: 41642.808 Check: 0.0 Back: 3638.733
INFO - Atoms: 363466/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 154284961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.375 Prop: 248657.815 PropClause: 244838.521 Set: 41709.125 Check: 0.0 Back: 3647.339
INFO - Atoms: 362881/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 154647540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.384 Prop: 249260.129 PropClause: 245431.88 Set: 41927.257 Check: 0.0 Back: 3655.94
INFO - Atoms: 362579/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 155009819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.391 Prop: 249849.258 PropClause: 246012.075 Set: 41996.151 Check: 0.0 Back: 3664.513
INFO - Atoms: 362279/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 155372081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.399 Prop: 250423.829 PropClause: 246577.61 Set: 42065.534 Check: 0.0 Back: 3673.28
INFO - Atoms: 362262/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 155733761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.407 Prop: 251001.632 PropClause: 247146.265 Set: 42135.265 Check: 0.0 Back: 3682.072
INFO - Atoms: 361680/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 156095421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.415 Prop: 251700.921 PropClause: 247835.02 Set: 42223.821 Check: 0.0 Back: 3690.949
INFO - Atoms: 361660/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 156456496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.423 Prop: 252250.362 PropClause: 248375.535 Set: 42290.023 Check: 0.0 Back: 3700.32
INFO - Atoms: 361075/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 156817554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.431 Prop: 252833.639 PropClause: 248949.69 Set: 42358.752 Check: 0.0 Back: 3708.945
INFO - Atoms: 361058/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 157178026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.439 Prop: 253376.474 PropClause: 249483.645 Set: 42535.592 Check: 0.0 Back: 3717.64
INFO - Atoms: 360472/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 157538482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.446 Prop: 253938.042 PropClause: 250036.184 Set: 42604.582 Check: 0.0 Back: 3726.123
INFO - Atoms: 360456/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 157898352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.453 Prop: 254504.109 PropClause: 250593.215 Set: 42673.396 Check: 0.0 Back: 3734.72
INFO - Atoms: 359870/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 158258206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.462 Prop: 255073.072 PropClause: 251153.289 Set: 42740.287 Check: 0.0 Back: 3743.404
INFO - Atoms: 359854/467066 Clauses: 3137 Axioms: 1551106
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL: