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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 703758441
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 255583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.591 Prop: 367.553 PropClause: 358.274 Set: 105.102 Check: 0.0 Back: 0.0
INFO - Atoms: 255583/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 511173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.655 Prop: 820.446 PropClause: 803.929 Set: 161.122 Check: 0.0 Back: 6.075
INFO - Atoms: 255590/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 766763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.731 Prop: 1265.059 PropClause: 1240.484 Set: 290.884 Check: 0.0 Back: 12.15
INFO - Atoms: 255590/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 1022365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.813 Prop: 1705.721 PropClause: 1674.557 Set: 341.988 Check: 0.0 Back: 18.187
INFO - Atoms: 255602/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 1277948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.863 Prop: 2106.191 PropClause: 2068.664 Set: 390.298 Check: 0.0 Back: 24.284
INFO - Atoms: 255583/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 1533513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.912 Prop: 2503.793 PropClause: 2459.897 Set: 439.155 Check: 0.0 Back: 30.249
INFO - Atoms: 255565/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 1789078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.964 Prop: 2914.604 PropClause: 2864.311 Set: 488.486 Check: 0.0 Back: 36.196
INFO - Atoms: 255565/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 2044643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.017 Prop: 3348.388 PropClause: 3291.724 Set: 538.278 Check: 0.0 Back: 42.168
INFO - Atoms: 255565/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 2300192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.067 Prop: 3755.501 PropClause: 3692.503 Set: 586.75 Check: 0.0 Back: 48.132
INFO - Atoms: 255549/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 2555741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.125 Prop: 4184.113 PropClause: 4114.73 Set: 635.558 Check: 0.0 Back: 54.075
INFO - Atoms: 255549/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 2811273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.173 Prop: 4604.344 PropClause: 4528.53 Set: 684.515 Check: 0.0 Back: 60.055
INFO - Atoms: 255532/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 3066790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.221 Prop: 4998.0 PropClause: 4915.803 Set: 732.897 Check: 0.0 Back: 66.182
INFO - Atoms: 255517/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 3322294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.325 Prop: 5393.238 PropClause: 5304.699 Set: 781.602 Check: 0.0 Back: 72.198
INFO - Atoms: 255504/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 3577173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.348 Prop: 5818.346 PropClause: 5723.478 Set: 829.57 Check: 0.0 Back: 78.135
INFO - Atoms: 254879/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 3832041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.371 Prop: 6242.772 PropClause: 6141.58 Set: 878.813 Check: 0.0 Back: 84.088
INFO - Atoms: 254868/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 4086898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.434 Prop: 6684.837 PropClause: 6577.023 Set: 929.757 Check: 0.0 Back: 90.045
INFO - Atoms: 254857/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 4341280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.462 Prop: 7094.262 PropClause: 6980.131 Set: 978.695 Check: 0.0 Back: 96.076
INFO - Atoms: 254382/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 4595267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.485 Prop: 7500.434 PropClause: 7379.985 Set: 1026.319 Check: 0.0 Back: 102.015
INFO - Atoms: 253987/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 4849245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.507 Prop: 7919.707 PropClause: 7792.753 Set: 1147.107 Check: 0.0 Back: 108.196
INFO - Atoms: 253978/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 5102908 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.531 Prop: 8366.638 PropClause: 8233.348 Set: 1196.709 Check: 0.0 Back: 114.395
INFO - Atoms: 253663/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 5356327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.555 Prop: 8834.67 PropClause: 8694.749 Set: 1250.333 Check: 0.0 Back: 120.456
INFO - Atoms: 253419/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 5609787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.578 Prop: 9302.913 PropClause: 9156.136 Set: 1305.695 Check: 0.0 Back: 126.786
INFO - Atoms: 253460/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 5862729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.6 Prop: 9752.961 PropClause: 9599.668 Set: 1357.178 Check: 0.0 Back: 133.058
INFO - Atoms: 252942/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 6115529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.621 Prop: 10177.474 PropClause: 10017.774 Set: 1407.26 Check: 0.0 Back: 139.054
INFO - Atoms: 252800/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 6368145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.644 Prop: 10652.656 PropClause: 10485.941 Set: 1465.127 Check: 0.0 Back: 145.378
INFO - Atoms: 252616/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 6620664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.666 Prop: 11131.597 PropClause: 10958.367 Set: 1517.081 Check: 0.0 Back: 151.787
INFO - Atoms: 252519/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 6872954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.69 Prop: 11582.999 PropClause: 11403.211 Set: 1568.704 Check: 0.0 Back: 158.046
INFO - Atoms: 252290/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 7125120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.715 Prop: 12013.856 PropClause: 11827.772 Set: 1617.167 Check: 0.0 Back: 164.553
INFO - Atoms: 252166/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 7377082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.74 Prop: 12443.431 PropClause: 12251.096 Set: 1665.627 Check: 0.0 Back: 170.47
INFO - Atoms: 251962/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 7628804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.759 Prop: 12864.54 PropClause: 12665.925 Set: 1713.151 Check: 0.0 Back: 176.376
INFO - Atoms: 251722/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 7880519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.784 Prop: 13284.215 PropClause: 13079.055 Set: 1763.752 Check: 0.0 Back: 182.281
INFO - Atoms: 251715/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 8132103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.808 Prop: 13721.35 PropClause: 13509.708 Set: 1815.219 Check: 0.0 Back: 188.396
INFO - Atoms: 251584/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 8383494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.828 Prop: 14138.03 PropClause: 13920.106 Set: 1863.092 Check: 0.0 Back: 194.408
INFO - Atoms: 251391/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 8634721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.852 Prop: 14582.264 PropClause: 14358.114 Set: 1911.052 Check: 0.0 Back: 200.29
INFO - Atoms: 251227/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 8885558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.876 Prop: 15021.09 PropClause: 14790.587 Set: 1960.589 Check: 0.0 Back: 206.239
INFO - Atoms: 250837/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 9136000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.897 Prop: 15422.334 PropClause: 15185.594 Set: 2008.401 Check: 0.0 Back: 212.299
INFO - Atoms: 250442/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 9386278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.92 Prop: 15828.698 PropClause: 15585.715 Set: 2056.239 Check: 0.0 Back: 218.134
INFO - Atoms: 250278/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 9636394 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.941 Prop: 16246.623 PropClause: 15997.43 Set: 2104.208 Check: 0.0 Back: 224.058
INFO - Atoms: 250116/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 9886116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.968 Prop: 16694.219 PropClause: 16438.401 Set: 2158.021 Check: 0.0 Back: 230.013
INFO - Atoms: 249722/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 10135698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.991 Prop: 17142.194 PropClause: 16880.088 Set: 2207.202 Check: 0.0 Back: 235.935
INFO - Atoms: 249582/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 10385096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.034 Prop: 17573.537 PropClause: 17305.213 Set: 2254.756 Check: 0.0 Back: 242.058
INFO - Atoms: 249398/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 10634350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.053 Prop: 17970.7 PropClause: 17696.171 Set: 2302.129 Check: 0.0 Back: 247.925
INFO - Atoms: 249254/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 10883420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.075 Prop: 18381.937 PropClause: 18101.184 Set: 2349.46 Check: 0.0 Back: 253.756
INFO - Atoms: 249070/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 11132348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.098 Prop: 18819.434 PropClause: 18532.355 Set: 2399.085 Check: 0.0 Back: 259.615
INFO - Atoms: 248928/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 11381092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.122 Prop: 19237.42 PropClause: 18944.146 Set: 2447.415 Check: 0.0 Back: 265.733
INFO - Atoms: 248744/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 11629618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.144 Prop: 19677.204 PropClause: 19377.584 Set: 2497.53 Check: 0.0 Back: 271.587
INFO - Atoms: 248526/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 11877962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.167 Prop: 20097.294 PropClause: 19791.194 Set: 2548.841 Check: 0.0 Back: 277.82
INFO - Atoms: 248344/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 12126185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.189 Prop: 20527.286 PropClause: 20214.999 Set: 2596.276 Check: 0.0 Back: 283.833
INFO - Atoms: 248223/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 12374127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.21 Prop: 20945.504 PropClause: 20627.018 Set: 2643.473 Check: 0.0 Back: 289.745
INFO - Atoms: 247942/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 12621927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.232 Prop: 21347.463 PropClause: 21022.821 Set: 2768.001 Check: 0.0 Back: 295.756
INFO - Atoms: 247800/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 12869543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.255 Prop: 21756.785 PropClause: 21425.978 Set: 2814.892 Check: 0.0 Back: 301.852
INFO - Atoms: 247616/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 13117017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.277 Prop: 22181.717 PropClause: 21844.727 Set: 2863.047 Check: 0.0 Back: 307.719
INFO - Atoms: 247474/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 13364307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.297 Prop: 22605.074 PropClause: 22261.962 Set: 2909.993 Check: 0.0 Back: 313.588
INFO - Atoms: 247290/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 13611455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.319 Prop: 23014.821 PropClause: 22665.567 Set: 2957.446 Check: 0.0 Back: 319.362
INFO - Atoms: 247148/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 13858417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.339 Prop: 23407.685 PropClause: 23052.061 Set: 3005.681 Check: 0.0 Back: 325.208
INFO - Atoms: 246962/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 14105239 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.361 Prop: 23799.177 PropClause: 23437.422 Set: 3113.603 Check: 0.0 Back: 330.912
INFO - Atoms: 246822/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 14351877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.38 Prop: 24189.678 PropClause: 23821.825 Set: 3159.515 Check: 0.0 Back: 336.643
INFO - Atoms: 246638/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 14598351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.401 Prop: 24599.296 PropClause: 24225.332 Set: 3206.901 Check: 0.0 Back: 342.378
INFO - Atoms: 246474/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 14844663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.426 Prop: 25021.386 PropClause: 24641.215 Set: 3255.418 Check: 0.0 Back: 348.112
INFO - Atoms: 246312/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 15090826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.448 Prop: 25444.813 PropClause: 25058.527 Set: 3302.001 Check: 0.0 Back: 353.906
INFO - Atoms: 246163/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 15336812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.47 Prop: 25862.644 PropClause: 25470.193 Set: 3350.389 Check: 0.0 Back: 359.897
INFO - Atoms: 245986/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 15582654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.491 Prop: 26261.297 PropClause: 25862.732 Set: 3491.728 Check: 0.0 Back: 365.654
INFO - Atoms: 245842/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 15828314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.513 Prop: 26657.894 PropClause: 26253.213 Set: 3538.413 Check: 0.0 Back: 371.363
INFO - Atoms: 245660/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 16073832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.537 Prop: 27073.744 PropClause: 26663.012 Set: 3585.003 Check: 0.0 Back: 377.088
INFO - Atoms: 245518/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 16319166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.564 Prop: 27484.013 PropClause: 27067.163 Set: 3632.331 Check: 0.0 Back: 382.81
INFO - Atoms: 245334/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 16564358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.584 Prop: 27906.284 PropClause: 27483.339 Set: 3679.697 Check: 0.0 Back: 388.504
INFO - Atoms: 245192/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 16809366 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.603 Prop: 28308.738 PropClause: 27879.702 Set: 3726.115 Check: 0.0 Back: 394.284
INFO - Atoms: 245008/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 17054232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.623 Prop: 28715.696 PropClause: 28280.606 Set: 3773.108 Check: 0.0 Back: 400.005
INFO - Atoms: 244866/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 17298914 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.643 Prop: 29089.721 PropClause: 28648.596 Set: 3818.622 Check: 0.0 Back: 405.688
INFO - Atoms: 244682/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 17543452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.663 Prop: 29478.426 PropClause: 29031.215 Set: 3864.412 Check: 0.0 Back: 411.384
INFO - Atoms: 244538/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 17787808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.681 Prop: 29875.442 PropClause: 29422.176 Set: 3911.104 Check: 0.0 Back: 417.124
INFO - Atoms: 244356/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 18032020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.699 Prop: 30278.298 PropClause: 29818.974 Set: 3957.673 Check: 0.0 Back: 422.994
INFO - Atoms: 244212/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 18276048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.717 Prop: 30683.547 PropClause: 30218.155 Set: 4059.384 Check: 0.0 Back: 428.679
INFO - Atoms: 244028/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 18519629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.736 Prop: 31093.81 PropClause: 30622.346 Set: 4106.253 Check: 0.0 Back: 434.38
INFO - Atoms: 243581/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 18763026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.754 Prop: 31492.974 PropClause: 31015.248 Set: 4155.004 Check: 0.0 Back: 440.037
INFO - Atoms: 243397/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 19006261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.773 Prop: 31897.308 PropClause: 31413.498 Set: 4202.306 Check: 0.0 Back: 445.717
INFO - Atoms: 243235/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 19249332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.793 Prop: 32287.696 PropClause: 31797.85 Set: 4248.155 Check: 0.0 Back: 451.34
INFO - Atoms: 243071/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 19492261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.812 Prop: 32701.134 PropClause: 32205.246 Set: 4294.393 Check: 0.0 Back: 457.012
INFO - Atoms: 242929/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 19735006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.831 Prop: 33112.878 PropClause: 32610.982 Set: 4341.317 Check: 0.0 Back: 462.69
INFO - Atoms: 242745/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 19977609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.849 Prop: 33524.507 PropClause: 33016.572 Set: 4387.539 Check: 0.0 Back: 468.366
INFO - Atoms: 242603/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 20220030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.867 Prop: 33939.944 PropClause: 33426.007 Set: 4434.531 Check: 0.0 Back: 474.081
INFO - Atoms: 242421/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 20462309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.885 Prop: 34343.418 PropClause: 33823.452 Set: 4480.864 Check: 0.0 Back: 479.765
INFO - Atoms: 242279/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 20704404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.937 Prop: 34723.573 PropClause: 34197.553 Set: 4527.255 Check: 0.0 Back: 485.408
INFO - Atoms: 242095/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 20946349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.998 Prop: 35119.45 PropClause: 34587.434 Set: 4572.311 Check: 0.0 Back: 491.009
INFO - Atoms: 241945/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 21188116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.012 Prop: 35510.56 PropClause: 34972.556 Set: 4618.939 Check: 0.0 Back: 496.663
INFO - Atoms: 241767/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 21429901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.026 Prop: 35918.758 PropClause: 35374.776 Set: 4664.322 Check: 0.0 Back: 502.305
INFO - Atoms: 241785/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 21671502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.041 Prop: 36319.427 PropClause: 35769.448 Set: 4710.288 Check: 0.0 Back: 507.933
INFO - Atoms: 241601/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 21912952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.056 Prop: 36725.938 PropClause: 36169.975 Set: 4755.862 Check: 0.0 Back: 513.634
INFO - Atoms: 241450/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 22154225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.068 Prop: 37105.991 PropClause: 36544.054 Set: 4800.793 Check: 0.0 Back: 519.255
INFO - Atoms: 241273/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 22395425 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.081 Prop: 37486.473 PropClause: 36918.535 Set: 4846.066 Check: 0.0 Back: 524.883
INFO - Atoms: 241200/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 22636451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.095 Prop: 37885.274 PropClause: 37311.395 Set: 4891.879 Check: 0.0 Back: 530.525
INFO - Atoms: 241026/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 22877335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.109 Prop: 38294.598 PropClause: 37714.728 Set: 4937.99 Check: 0.0 Back: 536.147
INFO - Atoms: 240884/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 23118035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.124 Prop: 38696.173 PropClause: 38110.363 Set: 4983.634 Check: 0.0 Back: 541.828
INFO - Atoms: 240700/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 23358587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.136 Prop: 39092.864 PropClause: 38501.096 Set: 5029.046 Check: 0.0 Back: 547.46
INFO - Atoms: 240552/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 23598959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.15 Prop: 39486.575 PropClause: 38888.785 Set: 5075.149 Check: 0.0 Back: 553.09
INFO - Atoms: 240372/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 23838973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.164 Prop: 39856.405 PropClause: 39252.655 Set: 5120.487 Check: 0.0 Back: 558.727
INFO - Atoms: 240014/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 24078793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.178 Prop: 40218.85 PropClause: 39609.143 Set: 5165.778 Check: 0.0 Back: 564.278
INFO - Atoms: 239820/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 24318449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.191 Prop: 40598.67 PropClause: 39983.033 Set: 5277.037 Check: 0.0 Back: 569.827
INFO - Atoms: 239656/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 24557943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.205 Prop: 40981.739 PropClause: 40360.164 Set: 5321.812 Check: 0.0 Back: 575.399
INFO - Atoms: 239494/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 24797286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.216 Prop: 41376.054 PropClause: 40748.532 Set: 5366.914 Check: 0.0 Back: 580.989
INFO - Atoms: 239343/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 25036454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.231 Prop: 41767.01 PropClause: 41133.47 Set: 5412.692 Check: 0.0 Back: 586.587
INFO - Atoms: 239168/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 25275472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.245 Prop: 42162.728 PropClause: 41523.234 Set: 5458.104 Check: 0.0 Back: 592.441
INFO - Atoms: 239018/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 25514314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.257 Prop: 42527.041 PropClause: 41881.594 Set: 5615.818 Check: 0.0 Back: 598.025
INFO - Atoms: 238842/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 25753014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.268 Prop: 42893.702 PropClause: 42242.365 Set: 5659.795 Check: 0.0 Back: 603.498
INFO - Atoms: 238700/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 25991528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.282 Prop: 43264.372 PropClause: 42607.124 Set: 5704.886 Check: 0.0 Back: 608.975
INFO - Atoms: 238514/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 26229880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.295 Prop: 43652.925 PropClause: 42989.775 Set: 5749.735 Check: 0.0 Back: 614.518
INFO - Atoms: 238352/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 26468070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.309 Prop: 44035.419 PropClause: 43366.358 Set: 5794.794 Check: 0.0 Back: 620.505
INFO - Atoms: 238190/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 26706118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.322 Prop: 44419.478 PropClause: 43744.44 Set: 5840.36 Check: 0.0 Back: 626.067
INFO - Atoms: 238048/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 26943980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.336 Prop: 44823.305 PropClause: 44142.343 Set: 5885.567 Check: 0.0 Back: 631.698
INFO - Atoms: 237862/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 27181694 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.35 Prop: 45187.132 PropClause: 44500.222 Set: 5930.37 Check: 0.0 Back: 637.281
INFO - Atoms: 237714/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 27419230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.364 Prop: 45552.62 PropClause: 44859.829 Set: 5974.759 Check: 0.0 Back: 642.893
INFO - Atoms: 237536/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 27656604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.378 Prop: 45938.291 PropClause: 45239.608 Set: 6019.304 Check: 0.0 Back: 648.42
INFO - Atoms: 237374/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 27893814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.392 Prop: 46317.44 PropClause: 45612.849 Set: 6064.877 Check: 0.0 Back: 653.927
INFO - Atoms: 237210/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 28130882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.405 Prop: 46705.63 PropClause: 45995.154 Set: 6109.079 Check: 0.0 Back: 659.466
INFO - Atoms: 237068/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 28367766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.42 Prop: 47086.186 PropClause: 46369.823 Set: 6154.132 Check: 0.0 Back: 665.002
INFO - Atoms: 236884/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 28604508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.432 Prop: 47475.777 PropClause: 46753.555 Set: 6198.337 Check: 0.0 Back: 670.54
INFO - Atoms: 236742/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 28841066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.446 Prop: 47827.547 PropClause: 47099.44 Set: 6317.917 Check: 0.0 Back: 676.088
INFO - Atoms: 236558/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 29077478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.457 Prop: 48182.356 PropClause: 47448.435 Set: 6361.437 Check: 0.0 Back: 681.544
INFO - Atoms: 236412/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 29313712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.472 Prop: 48543.535 PropClause: 47803.715 Set: 6405.71 Check: 0.0 Back: 687.015
INFO - Atoms: 236234/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 29549804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.486 Prop: 48925.632 PropClause: 48179.955 Set: 6449.814 Check: 0.0 Back: 692.581
INFO - Atoms: 236092/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 29785712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.499 Prop: 49290.917 PropClause: 48539.384 Set: 6494.619 Check: 0.0 Back: 698.075
INFO - Atoms: 235908/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 30021478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.511 Prop: 49690.577 PropClause: 48933.185 Set: 6539.478 Check: 0.0 Back: 703.575
INFO - Atoms: 235766/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 30257060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.524 Prop: 50073.694 PropClause: 49310.335 Set: 6584.886 Check: 0.0 Back: 709.082
INFO - Atoms: 235582/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 30492494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.537 Prop: 50441.933 PropClause: 49672.729 Set: 6628.49 Check: 0.0 Back: 714.555
INFO - Atoms: 235434/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 30727750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.551 Prop: 50822.555 PropClause: 50047.51 Set: 6673.433 Check: 0.0 Back: 720.016
INFO - Atoms: 235256/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 30962862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.565 Prop: 51194.929 PropClause: 50414.028 Set: 6818.016 Check: 0.0 Back: 725.74
INFO - Atoms: 235112/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 31197790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.58 Prop: 51565.124 PropClause: 50778.413 Set: 6862.308 Check: 0.0 Back: 731.238
INFO - Atoms: 234928/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 31432576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.593 Prop: 51949.282 PropClause: 51156.715 Set: 6906.386 Check: 0.0 Back: 736.776
INFO - Atoms: 234786/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 31667180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.612 Prop: 52324.166 PropClause: 51525.79 Set: 6950.734 Check: 0.0 Back: 742.278
INFO - Atoms: 234604/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 31901620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.653 Prop: 52695.341 PropClause: 51891.143 Set: 6994.746 Check: 0.0 Back: 747.768
INFO - Atoms: 234440/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 32135898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.663 Prop: 53073.78 PropClause: 52263.8 Set: 7039.354 Check: 0.0 Back: 753.231
INFO - Atoms: 234278/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 32370034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.671 Prop: 53429.57 PropClause: 52613.771 Set: 7083.133 Check: 0.0 Back: 758.841
INFO - Atoms: 234136/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 32603984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.679 Prop: 53786.107 PropClause: 52964.516 Set: 7127.236 Check: 0.0 Back: 764.291
INFO - Atoms: 233950/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 32837792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.688 Prop: 54154.49 PropClause: 53327.099 Set: 7170.697 Check: 0.0 Back: 769.676
INFO - Atoms: 233808/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 33071416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.697 Prop: 54517.672 PropClause: 53684.49 Set: 7214.431 Check: 0.0 Back: 775.15
INFO - Atoms: 233624/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 33304898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.705 Prop: 54902.125 PropClause: 54063.184 Set: 7258.877 Check: 0.0 Back: 780.613
INFO - Atoms: 233482/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 33538198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.715 Prop: 55275.01 PropClause: 54430.283 Set: 7303.291 Check: 0.0 Back: 786.08
INFO - Atoms: 233300/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 33771354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.724 Prop: 55641.523 PropClause: 54791.031 Set: 7347.216 Check: 0.0 Back: 791.524
INFO - Atoms: 233156/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 34004328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.733 Prop: 55988.739 PropClause: 55132.475 Set: 7465.118 Check: 0.0 Back: 796.929
INFO - Atoms: 232974/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 34237160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.742 Prop: 56351.033 PropClause: 55489.01 Set: 7508.103 Check: 0.0 Back: 802.316
INFO - Atoms: 232832/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 34469808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.75 Prop: 56715.108 PropClause: 55847.315 Set: 7552.316 Check: 0.0 Back: 807.795
INFO - Atoms: 232648/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 34702314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.759 Prop: 57098.225 PropClause: 56224.658 Set: 7595.854 Check: 0.0 Back: 813.241
INFO - Atoms: 232506/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 34934634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.767 Prop: 57465.746 PropClause: 56586.429 Set: 7640.194 Check: 0.0 Back: 818.677
INFO - Atoms: 232320/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 35166814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.777 Prop: 57849.834 PropClause: 56964.584 Set: 7685.362 Check: 0.0 Back: 824.113
INFO - Atoms: 232180/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 35398810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.817 Prop: 58223.94 PropClause: 57332.89 Set: 7730.278 Check: 0.0 Back: 829.782
INFO - Atoms: 231996/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 35630658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.856 Prop: 58600.127 PropClause: 57703.341 Set: 7773.866 Check: 0.0 Back: 835.228
INFO - Atoms: 231848/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 35862326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.864 Prop: 58956.476 PropClause: 58053.914 Set: 7817.176 Check: 0.0 Back: 840.624
INFO - Atoms: 231668/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 36093852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.871 Prop: 59318.826 PropClause: 58410.511 Set: 7860.145 Check: 0.0 Back: 845.988
INFO - Atoms: 231526/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 36325196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.88 Prop: 59680.842 PropClause: 58766.78 Set: 7903.862 Check: 0.0 Back: 851.319
INFO - Atoms: 231344/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 36556376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.888 Prop: 60057.028 PropClause: 59137.231 Set: 7948.173 Check: 0.0 Back: 856.782
INFO - Atoms: 231180/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 36787392 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.895 Prop: 60419.014 PropClause: 59493.415 Set: 7991.752 Check: 0.0 Back: 862.158
INFO - Atoms: 231016/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 37018268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.903 Prop: 60782.03 PropClause: 59850.693 Set: 8034.973 Check: 0.0 Back: 867.521
INFO - Atoms: 230876/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 37248960 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.912 Prop: 61133.316 PropClause: 60196.264 Set: 8078.199 Check: 0.0 Back: 872.899
INFO - Atoms: 230692/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 37479488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.922 Prop: 61483.084 PropClause: 60540.3 Set: 8120.722 Check: 0.0 Back: 878.236
INFO - Atoms: 230528/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 37709852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.931 Prop: 61852.074 PropClause: 60903.558 Set: 8165.25 Check: 0.0 Back: 883.587
INFO - Atoms: 230364/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 37940071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.939 Prop: 62242.388 PropClause: 61287.625 Set: 8212.634 Check: 0.0 Back: 888.954
INFO - Atoms: 230219/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 38170111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.949 Prop: 62615.933 PropClause: 61655.449 Set: 8256.912 Check: 0.0 Back: 894.323
INFO - Atoms: 230040/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 38400007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.957 Prop: 62994.768 PropClause: 62028.586 Set: 8300.712 Check: 0.0 Back: 899.737
INFO - Atoms: 229896/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 38629721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.966 Prop: 63365.177 PropClause: 62393.285 Set: 8343.844 Check: 0.0 Back: 905.104
INFO - Atoms: 229714/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 38859293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.974 Prop: 63729.11 PropClause: 62751.525 Set: 8387.137 Check: 0.0 Back: 910.501
INFO - Atoms: 229572/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 39088681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.983 Prop: 64068.155 PropClause: 63084.889 Set: 8429.411 Check: 0.0 Back: 915.852
INFO - Atoms: 229388/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 39317925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.991 Prop: 64424.852 PropClause: 63435.853 Set: 8472.019 Check: 0.0 Back: 921.192
INFO - Atoms: 229244/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 39546987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.001 Prop: 64777.279 PropClause: 63782.613 Set: 8514.993 Check: 0.0 Back: 926.56
INFO - Atoms: 229062/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 39775907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.01 Prop: 65142.062 PropClause: 64141.721 Set: 8557.882 Check: 0.0 Back: 931.893
INFO - Atoms: 228920/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 40004643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.019 Prop: 65503.472 PropClause: 64497.482 Set: 8601.277 Check: 0.0 Back: 937.217
INFO - Atoms: 228736/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 40233237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.029 Prop: 65873.61 PropClause: 64861.937 Set: 8644.629 Check: 0.0 Back: 942.551
INFO - Atoms: 228594/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 40461647 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.038 Prop: 66233.851 PropClause: 65216.526 Set: 8782.988 Check: 0.0 Back: 947.897
INFO - Atoms: 228410/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 40689893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.047 Prop: 66578.986 PropClause: 65555.946 Set: 8825.758 Check: 0.0 Back: 953.257
INFO - Atoms: 228246/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 40917977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.057 Prop: 66942.405 PropClause: 65913.707 Set: 8868.28 Check: 0.0 Back: 958.541
INFO - Atoms: 228084/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 41145919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.075 Prop: 67303.374 PropClause: 66269.025 Set: 8910.765 Check: 0.0 Back: 963.88
INFO - Atoms: 227942/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 41373675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.084 Prop: 67666.041 PropClause: 66626.076 Set: 8953.823 Check: 0.0 Back: 969.159
INFO - Atoms: 227756/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 41601289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.093 Prop: 68017.205 PropClause: 66971.578 Set: 8995.988 Check: 0.0 Back: 974.469
INFO - Atoms: 227614/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 41828721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.103 Prop: 68377.993 PropClause: 67326.649 Set: 9041.008 Check: 0.0 Back: 979.763
INFO - Atoms: 227432/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 42056009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.113 Prop: 68735.007 PropClause: 67678.028 Set: 9083.492 Check: 0.0 Back: 985.125
INFO - Atoms: 227288/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 42283113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.121 Prop: 69094.682 PropClause: 68032.083 Set: 9126.217 Check: 0.0 Back: 990.387
INFO - Atoms: 227104/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 42510055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.13 Prop: 69464.073 PropClause: 68395.668 Set: 9169.968 Check: 0.0 Back: 995.716
INFO - Atoms: 226942/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 42736835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.138 Prop: 69803.324 PropClause: 68729.273 Set: 9212.78 Check: 0.0 Back: 1001.171
INFO - Atoms: 226780/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 42963473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.147 Prop: 70216.095 PropClause: 69135.531 Set: 9269.596 Check: 0.0 Back: 1006.484
INFO - Atoms: 226638/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 43189925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.156 Prop: 70587.351 PropClause: 69501.112 Set: 9312.93 Check: 0.0 Back: 1012.313
INFO - Atoms: 226452/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 43416235 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.164 Prop: 70966.063 PropClause: 69874.246 Set: 9355.192 Check: 0.0 Back: 1017.804
INFO - Atoms: 226310/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 43642361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.173 Prop: 71317.053 PropClause: 70219.639 Set: 9397.62 Check: 0.0 Back: 1023.098
INFO - Atoms: 226126/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 43868339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.183 Prop: 71677.562 PropClause: 70574.578 Set: 9532.635 Check: 0.0 Back: 1028.35
INFO - Atoms: 225978/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 44094141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.191 Prop: 72004.905 PropClause: 70896.317 Set: 9574.563 Check: 0.0 Back: 1033.558
INFO - Atoms: 225802/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 44319779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.198 Prop: 72346.579 PropClause: 71232.394 Set: 9616.677 Check: 0.0 Back: 1038.769
INFO - Atoms: 225638/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 44545253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.207 Prop: 72685.06 PropClause: 71565.268 Set: 9659.154 Check: 0.0 Back: 1044.011
INFO - Atoms: 225474/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 44770585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.214 Prop: 73044.553 PropClause: 71919.182 Set: 9700.89 Check: 0.0 Back: 1049.187
INFO - Atoms: 225332/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 44995735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.223 Prop: 73402.611 PropClause: 72271.652 Set: 9743.818 Check: 0.0 Back: 1054.495
INFO - Atoms: 225150/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 45220721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.232 Prop: 73768.258 PropClause: 72631.735 Set: 9785.872 Check: 0.0 Back: 1059.712
INFO - Atoms: 224986/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 45445545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.244 Prop: 74129.177 PropClause: 72987.072 Set: 9828.42 Check: 0.0 Back: 1064.968
INFO - Atoms: 224824/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 45670227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.251 Prop: 74469.5 PropClause: 73321.816 Set: 9869.591 Check: 0.0 Back: 1070.246
INFO - Atoms: 224682/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 45894725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.26 Prop: 74800.958 PropClause: 73647.711 Set: 9911.815 Check: 0.0 Back: 1075.448
INFO - Atoms: 224498/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 46119079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.268 Prop: 75137.838 PropClause: 73979.012 Set: 9953.356 Check: 0.0 Back: 1080.731
INFO - Atoms: 224354/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 46343251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.277 Prop: 75489.679 PropClause: 74325.279 Set: 9995.22 Check: 0.0 Back: 1085.941
INFO - Atoms: 224172/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 46567259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.286 Prop: 75849.449 PropClause: 74679.238 Set: 10039.672 Check: 0.0 Back: 1091.196
INFO - Atoms: 224008/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 46791103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.296 Prop: 76204.063 PropClause: 75028.32 Set: 10081.372 Check: 0.0 Back: 1096.525
INFO - Atoms: 223844/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 47014798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.304 Prop: 76559.659 PropClause: 75378.373 Set: 10123.755 Check: 0.0 Back: 1101.734
INFO - Atoms: 223695/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 47238316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.313 Prop: 76918.227 PropClause: 75731.41 Set: 10166.13 Check: 0.0 Back: 1106.993
INFO - Atoms: 223518/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 47461692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.321 Prop: 77254.95 PropClause: 76062.557 Set: 10207.952 Check: 0.0 Back: 1112.205
INFO - Atoms: 223376/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 47684884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.329 Prop: 77591.012 PropClause: 76393.111 Set: 10248.783 Check: 0.0 Back: 1117.446
INFO - Atoms: 223192/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 47907934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.335 Prop: 77929.412 PropClause: 76725.962 Set: 10289.858 Check: 0.0 Back: 1122.643
INFO - Atoms: 223050/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 48130802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.344 Prop: 78290.073 PropClause: 77081.128 Set: 10331.898 Check: 0.0 Back: 1127.83
INFO - Atoms: 222868/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 48353528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.352 Prop: 78656.065 PropClause: 77441.59 Set: 10373.848 Check: 0.0 Back: 1133.027
INFO - Atoms: 222726/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 48576068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.362 Prop: 79010.476 PropClause: 77790.463 Set: 10415.826 Check: 0.0 Back: 1138.298
INFO - Atoms: 222540/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 48798466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.371 Prop: 79407.252 PropClause: 78181.202 Set: 10467.631 Check: 0.0 Back: 1143.509
INFO - Atoms: 222398/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 49020680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.381 Prop: 79768.367 PropClause: 78536.757 Set: 10510.653 Check: 0.0 Back: 1149.263
INFO - Atoms: 222214/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 49242754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.389 Prop: 80111.314 PropClause: 78874.199 Set: 10551.759 Check: 0.0 Back: 1154.948
INFO - Atoms: 222074/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 49464644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.398 Prop: 80444.267 PropClause: 79201.64 Set: 10593.058 Check: 0.0 Back: 1160.18
INFO - Atoms: 221890/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 49686392 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.408 Prop: 80801.042 PropClause: 79552.617 Set: 10636.106 Check: 0.0 Back: 1165.354
INFO - Atoms: 221748/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 49907956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.417 Prop: 81158.855 PropClause: 79904.887 Set: 10677.986 Check: 0.0 Back: 1170.556
INFO - Atoms: 221564/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 50129378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.425 Prop: 81515.617 PropClause: 80256.123 Set: 10808.878 Check: 0.0 Back: 1175.756
INFO - Atoms: 221422/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 50350616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.434 Prop: 81863.554 PropClause: 80598.608 Set: 10850.682 Check: 0.0 Back: 1180.928
INFO - Atoms: 221238/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 50571690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.444 Prop: 82226.817 PropClause: 80956.384 Set: 10892.6 Check: 0.0 Back: 1186.08
INFO - Atoms: 221074/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 50792600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.453 Prop: 82560.414 PropClause: 81284.53 Set: 10933.942 Check: 0.0 Back: 1191.287
INFO - Atoms: 220910/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 51013368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.462 Prop: 82905.95 PropClause: 81624.53 Set: 10976.425 Check: 0.0 Back: 1196.439
INFO - Atoms: 220768/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 51233954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.47 Prop: 83232.337 PropClause: 81945.452 Set: 11017.584 Check: 0.0 Back: 1201.601
INFO - Atoms: 220586/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 51454396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.479 Prop: 83584.219 PropClause: 82291.858 Set: 11058.73 Check: 0.0 Back: 1206.754
INFO - Atoms: 220442/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 51674654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.488 Prop: 83927.173 PropClause: 82629.358 Set: 11100.311 Check: 0.0 Back: 1211.896
INFO - Atoms: 220258/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 51894772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.496 Prop: 84281.116 PropClause: 82977.825 Set: 11141.203 Check: 0.0 Back: 1217.039
INFO - Atoms: 220118/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 52114706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.505 Prop: 84622.814 PropClause: 83314.059 Set: 11182.317 Check: 0.0 Back: 1222.178
INFO - Atoms: 219934/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 52334476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.515 Prop: 84979.548 PropClause: 83665.275 Set: 11224.679 Check: 0.0 Back: 1227.296
INFO - Atoms: 219770/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 52554082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.523 Prop: 85329.028 PropClause: 84009.237 Set: 11266.708 Check: 0.0 Back: 1232.568
INFO - Atoms: 219606/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 52773540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.531 Prop: 85667.09 PropClause: 84341.869 Set: 11308.027 Check: 0.0 Back: 1237.803
INFO - Atoms: 219458/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 52992822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.54 Prop: 85993.76 PropClause: 84663.094 Set: 11406.025 Check: 0.0 Back: 1242.967
INFO - Atoms: 219282/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 53211962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.549 Prop: 86343.196 PropClause: 85007.063 Set: 11447.759 Check: 0.0 Back: 1248.052
INFO - Atoms: 219140/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 53430918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.557 Prop: 86704.335 PropClause: 85362.743 Set: 11489.231 Check: 0.0 Back: 1253.205
INFO - Atoms: 218956/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 53649730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.567 Prop: 87060.992 PropClause: 85713.942 Set: 11530.166 Check: 0.0 Back: 1258.394
INFO - Atoms: 218812/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 53868360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.575 Prop: 87415.736 PropClause: 86063.23 Set: 11571.597 Check: 0.0 Back: 1263.593
INFO - Atoms: 218630/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 54086826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.585 Prop: 87767.083 PropClause: 86409.125 Set: 11612.556 Check: 0.0 Back: 1268.754
INFO - Atoms: 218466/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 54305130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.595 Prop: 88094.923 PropClause: 86731.547 Set: 11653.21 Check: 0.0 Back: 1273.898
INFO - Atoms: 218304/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 54523270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.606 Prop: 88435.549 PropClause: 87066.763 Set: 11693.662 Check: 0.0 Back: 1278.996
INFO - Atoms: 218140/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 54741248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.615 Prop: 88790.363 PropClause: 87416.128 Set: 11735.233 Check: 0.0 Back: 1284.161
INFO - Atoms: 217978/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 54959082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.626 Prop: 89162.966 PropClause: 87782.816 Set: 11781.479 Check: 0.0 Back: 1289.366
INFO - Atoms: 217834/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 55176734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.635 Prop: 89548.972 PropClause: 88163.322 Set: 11825.224 Check: 0.0 Back: 1295.137
INFO - Atoms: 217652/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 55394237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.645 Prop: 89955.237 PropClause: 88563.76 Set: 11871.78 Check: 0.0 Back: 1300.619
INFO - Atoms: 217503/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 55611563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.654 Prop: 90368.139 PropClause: 88969.641 Set: 11928.933 Check: 0.0 Back: 1306.316
INFO - Atoms: 217326/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 55828725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.664 Prop: 90739.754 PropClause: 89335.59 Set: 11972.443 Check: 0.0 Back: 1312.385
INFO - Atoms: 217162/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 56045723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.674 Prop: 91079.803 PropClause: 89670.275 Set: 12013.255 Check: 0.0 Back: 1317.683
INFO - Atoms: 216998/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 56262581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.683 Prop: 91432.277 PropClause: 90017.145 Set: 12056.347 Check: 0.0 Back: 1322.754
INFO - Atoms: 216858/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 56479255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.693 Prop: 91843.951 PropClause: 90423.093 Set: 12102.457 Check: 0.0 Back: 1328.384
INFO - Atoms: 216674/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 56695787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.701 Prop: 92225.56 PropClause: 90798.872 Set: 12148.068 Check: 0.0 Back: 1333.64
INFO - Atoms: 216532/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 56912135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.71 Prop: 92623.055 PropClause: 91189.724 Set: 12200.0 Check: 0.0 Back: 1339.29
INFO - Atoms: 216348/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 57128341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.722 Prop: 92977.314 PropClause: 91538.505 Set: 12241.491 Check: 0.0 Back: 1344.628
INFO - Atoms: 216206/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 57344363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.73 Prop: 93307.503 PropClause: 91863.27 Set: 12281.902 Check: 0.0 Back: 1349.805
INFO - Atoms: 216022/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 57560243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.738 Prop: 93653.912 PropClause: 92204.289 Set: 12322.332 Check: 0.0 Back: 1354.898
INFO - Atoms: 215880/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 57775937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.746 Prop: 93981.752 PropClause: 92526.73 Set: 12362.981 Check: 0.0 Back: 1360.003
INFO - Atoms: 215694/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 57991489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.757 Prop: 94379.509 PropClause: 92917.833 Set: 12414.629 Check: 0.0 Back: 1365.074
INFO - Atoms: 215552/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 58206857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.766 Prop: 94725.447 PropClause: 93258.412 Set: 12454.976 Check: 0.0 Back: 1370.899
INFO - Atoms: 215368/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 58422083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.775 Prop: 95081.072 PropClause: 93608.487 Set: 12497.671 Check: 0.0 Back: 1376.014
INFO - Atoms: 215226/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 58637125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.783 Prop: 95453.205 PropClause: 93975.014 Set: 12541.283 Check: 0.0 Back: 1381.102
INFO - Atoms: 215042/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 58852027 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.793 Prop: 95797.239 PropClause: 94313.694 Set: 12581.604 Check: 0.0 Back: 1386.304
INFO - Atoms: 214902/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 59066745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.802 Prop: 96118.359 PropClause: 94629.483 Set: 12621.684 Check: 0.0 Back: 1391.402
INFO - Atoms: 214718/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 59281321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.811 Prop: 96455.036 PropClause: 94960.801 Set: 12662.457 Check: 0.0 Back: 1396.481
INFO - Atoms: 214576/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 59495711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.82 Prop: 96784.323 PropClause: 95284.747 Set: 12703.258 Check: 0.0 Back: 1401.56
INFO - Atoms: 214390/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 59709952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.831 Prop: 97138.232 PropClause: 95633.302 Set: 12743.651 Check: 0.0 Back: 1406.667
INFO - Atoms: 214241/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 59924016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.841 Prop: 97480.082 PropClause: 95969.814 Set: 12784.228 Check: 0.0 Back: 1411.723
INFO - Atoms: 214064/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 60137918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.85 Prop: 97851.166 PropClause: 96335.2 Set: 12882.54 Check: 0.0 Back: 1416.774
INFO - Atoms: 213902/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 60351658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.871 Prop: 98235.314 PropClause: 96713.787 Set: 12926.03 Check: 0.0 Back: 1422.241
INFO - Atoms: 213740/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 60565256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.879 Prop: 98597.574 PropClause: 97070.636 Set: 12968.057 Check: 0.0 Back: 1428.052
INFO - Atoms: 213598/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 60778670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.889 Prop: 98949.975 PropClause: 97417.372 Set: 13705.353 Check: 0.0 Back: 1433.101
INFO - Atoms: 213414/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 60991940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.898 Prop: 99292.4 PropClause: 97754.458 Set: 13745.27 Check: 0.0 Back: 1438.094
INFO - Atoms: 213270/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 61205026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.908 Prop: 99650.274 PropClause: 98106.885 Set: 13786.972 Check: 0.0 Back: 1443.127
INFO - Atoms: 213086/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 61417972 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.917 Prop: 100001.516 PropClause: 98452.491 Set: 13829.799 Check: 0.0 Back: 1448.552
INFO - Atoms: 212946/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 61630734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.926 Prop: 100358.84 PropClause: 98804.119 Set: 13874.598 Check: 0.0 Back: 1453.69
INFO - Atoms: 212762/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 61843348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.934 Prop: 100715.509 PropClause: 99155.483 Set: 13914.694 Check: 0.0 Back: 1458.694
INFO - Atoms: 212614/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 62055782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.943 Prop: 101059.341 PropClause: 99494.014 Set: 13955.349 Check: 0.0 Back: 1463.707
INFO - Atoms: 212434/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 62268070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.952 Prop: 101404.184 PropClause: 99833.573 Set: 13995.64 Check: 0.0 Back: 1468.746
INFO - Atoms: 212288/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 62480180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.963 Prop: 101741.886 PropClause: 100165.612 Set: 14038.65 Check: 0.0 Back: 1473.783
INFO - Atoms: 212110/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 62692148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.973 Prop: 102095.912 PropClause: 100513.679 Set: 14083.56 Check: 0.0 Back: 1478.746
INFO - Atoms: 211968/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 62903932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.981 Prop: 102440.443 PropClause: 100852.923 Set: 14124.24 Check: 0.0 Back: 1484.194
INFO - Atoms: 211784/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 63115574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.989 Prop: 102769.119 PropClause: 101176.331 Set: 14164.224 Check: 0.0 Back: 1489.201
INFO - Atoms: 211642/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 63327030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.997 Prop: 103099.326 PropClause: 101501.265 Set: 14203.665 Check: 0.0 Back: 1494.155
INFO - Atoms: 211456/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 63538344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.006 Prop: 103446.278 PropClause: 101842.939 Set: 14243.921 Check: 0.0 Back: 1499.17
INFO - Atoms: 211314/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 63749474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.016 Prop: 103774.911 PropClause: 102166.296 Set: 14283.469 Check: 0.0 Back: 1504.165
INFO - Atoms: 211130/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 63960462 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.025 Prop: 104096.837 PropClause: 102482.963 Set: 14323.084 Check: 0.0 Back: 1509.125
INFO - Atoms: 210988/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 64171266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.035 Prop: 104409.532 PropClause: 102790.414 Set: 14362.455 Check: 0.0 Back: 1514.058
INFO - Atoms: 210804/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 64381930 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.044 Prop: 104733.476 PropClause: 103109.113 Set: 14494.422 Check: 0.0 Back: 1518.983
INFO - Atoms: 210664/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 64592410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.053 Prop: 105071.765 PropClause: 103442.142 Set: 14534.71 Check: 0.0 Back: 1523.871
INFO - Atoms: 210480/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 64802746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.062 Prop: 105396.85 PropClause: 103761.914 Set: 14574.934 Check: 0.0 Back: 1528.845
INFO - Atoms: 210336/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 65012900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.071 Prop: 105736.029 PropClause: 104095.611 Set: 14617.386 Check: 0.0 Back: 1533.821
INFO - Atoms: 210154/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 65222910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.08 Prop: 106097.128 PropClause: 104451.374 Set: 14658.899 Check: 0.0 Back: 1539.008
INFO - Atoms: 210010/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 65432738 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.089 Prop: 106429.61 PropClause: 104778.516 Set: 14700.313 Check: 0.0 Back: 1544.299
INFO - Atoms: 209828/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 65642416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.099 Prop: 106741.307 PropClause: 105084.988 Set: 14739.119 Check: 0.0 Back: 1549.26
INFO - Atoms: 209678/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 65851918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.108 Prop: 107049.378 PropClause: 105387.858 Set: 14778.208 Check: 0.0 Back: 1554.131
INFO - Atoms: 209502/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 66061276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.117 Prop: 107371.581 PropClause: 105704.865 Set: 14816.957 Check: 0.0 Back: 1559.023
INFO - Atoms: 209358/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 66270450 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.126 Prop: 107710.024 PropClause: 106038.056 Set: 14857.489 Check: 0.0 Back: 1563.91
INFO - Atoms: 209174/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 66479476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.136 Prop: 108040.328 PropClause: 106363.157 Set: 14896.371 Check: 0.0 Back: 1568.899
INFO - Atoms: 209026/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 66688324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.145 Prop: 108359.544 PropClause: 106677.171 Set: 14935.708 Check: 0.0 Back: 1573.821
INFO - Atoms: 208848/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 66897030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.154 Prop: 108696.428 PropClause: 107008.841 Set: 14975.26 Check: 0.0 Back: 1578.72
INFO - Atoms: 208706/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 67105552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.163 Prop: 109014.611 PropClause: 107321.839 Set: 15014.671 Check: 0.0 Back: 1583.676
INFO - Atoms: 208522/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 67313934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.171 Prop: 109325.972 PropClause: 107628.008 Set: 15053.557 Check: 0.0 Back: 1588.596
INFO - Atoms: 208382/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 67522132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.179 Prop: 109644.192 PropClause: 107941.043 Set: 15093.136 Check: 0.0 Back: 1593.483
INFO - Atoms: 208198/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 67730166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.187 Prop: 109950.609 PropClause: 108242.285 Set: 15131.489 Check: 0.0 Back: 1598.347
INFO - Atoms: 208034/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 67938036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.196 Prop: 110290.466 PropClause: 108576.947 Set: 15170.752 Check: 0.0 Back: 1603.21
INFO - Atoms: 207870/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 68145764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.205 Prop: 110621.182 PropClause: 108902.472 Set: 15209.968 Check: 0.0 Back: 1608.174
INFO - Atoms: 207728/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 68353308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.214 Prop: 110942.415 PropClause: 109218.535 Set: 15248.721 Check: 0.0 Back: 1613.076
INFO - Atoms: 207544/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 68560710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.223 Prop: 111277.041 PropClause: 109547.982 Set: 15287.825 Check: 0.0 Back: 1617.979
INFO - Atoms: 207402/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 68767930 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.232 Prop: 111594.238 PropClause: 109859.96 Set: 15327.165 Check: 0.0 Back: 1622.868
INFO - Atoms: 207220/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 68975008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.24 Prop: 111899.362 PropClause: 110159.93 Set: 15420.538 Check: 0.0 Back: 1627.808
INFO - Atoms: 207078/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 69181902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.249 Prop: 112220.626 PropClause: 110475.938 Set: 15460.4 Check: 0.0 Back: 1632.65
INFO - Atoms: 206894/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 69388654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.258 Prop: 112524.214 PropClause: 110774.391 Set: 15498.607 Check: 0.0 Back: 1637.591
INFO - Atoms: 206752/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 69595222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.268 Prop: 112838.438 PropClause: 111083.48 Set: 15536.999 Check: 0.0 Back: 1642.446
INFO - Atoms: 206568/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 69801648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.278 Prop: 113164.85 PropClause: 111404.747 Set: 15576.251 Check: 0.0 Back: 1647.363
INFO - Atoms: 206426/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 70007890 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.287 Prop: 113478.065 PropClause: 111712.812 Set: 15615.157 Check: 0.0 Back: 1652.242
INFO - Atoms: 206242/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 70213990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.297 Prop: 113835.627 PropClause: 112064.757 Set: 15658.854 Check: 0.0 Back: 1657.467
INFO - Atoms: 206100/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 70419904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.307 Prop: 114172.039 PropClause: 112395.847 Set: 15699.607 Check: 0.0 Back: 1662.465
INFO - Atoms: 205914/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 70625676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.317 Prop: 114499.349 PropClause: 112717.815 Set: 15828.193 Check: 0.0 Back: 1667.511
INFO - Atoms: 205772/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 70831266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.326 Prop: 114818.613 PropClause: 113031.938 Set: 15867.273 Check: 0.0 Back: 1672.41
INFO - Atoms: 205590/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 71036712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.336 Prop: 115138.591 PropClause: 113346.776 Set: 15905.339 Check: 0.0 Back: 1677.274
INFO - Atoms: 205446/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 71241974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.344 Prop: 115459.674 PropClause: 113662.74 Set: 15944.14 Check: 0.0 Back: 1682.149
INFO - Atoms: 205262/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 71447074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.353 Prop: 115789.83 PropClause: 113987.769 Set: 15982.583 Check: 0.0 Back: 1687.027
INFO - Atoms: 205100/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 71652012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.362 Prop: 116101.262 PropClause: 114294.091 Set: 16020.632 Check: 0.0 Back: 1691.927
INFO - Atoms: 204938/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 71856806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.372 Prop: 116434.049 PropClause: 114621.752 Set: 16059.786 Check: 0.0 Back: 1696.783
INFO - Atoms: 204794/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 72061416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.382 Prop: 116767.641 PropClause: 114950.206 Set: 16099.322 Check: 0.0 Back: 1701.619
INFO - Atoms: 204610/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 72265884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.391 Prop: 117095.783 PropClause: 115273.226 Set: 16137.895 Check: 0.0 Back: 1706.509
INFO - Atoms: 204468/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 72470168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.4 Prop: 117418.923 PropClause: 115591.12 Set: 16177.974 Check: 0.0 Back: 1711.35
INFO - Atoms: 204284/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 72674304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.409 Prop: 117730.059 PropClause: 115897.106 Set: 16216.406 Check: 0.0 Back: 1716.199
INFO - Atoms: 204136/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 72878264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.418 Prop: 118029.626 PropClause: 116191.598 Set: 16254.673 Check: 0.0 Back: 1720.975
INFO - Atoms: 203960/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 73082060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.429 Prop: 118361.062 PropClause: 116517.946 Set: 16293.082 Check: 0.0 Back: 1725.752
INFO - Atoms: 203796/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 73285694 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.437 Prop: 118679.639 PropClause: 116831.447 Set: 16331.376 Check: 0.0 Back: 1730.617
INFO - Atoms: 203634/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 73489186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.446 Prop: 119001.688 PropClause: 117148.209 Set: 16371.73 Check: 0.0 Back: 1735.418
INFO - Atoms: 203492/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 73692494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.456 Prop: 119328.599 PropClause: 117470.032 Set: 16409.965 Check: 0.0 Back: 1740.241
INFO - Atoms: 203308/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 73895660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.465 Prop: 119656.601 PropClause: 117792.996 Set: 16448.325 Check: 0.0 Back: 1745.046
INFO - Atoms: 203166/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 74098640 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.474 Prop: 119961.646 PropClause: 118092.969 Set: 16486.466 Check: 0.0 Back: 1749.9
INFO - Atoms: 202980/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 74301458 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.483 Prop: 120270.537 PropClause: 118396.805 Set: 16523.978 Check: 0.0 Back: 1754.675
INFO - Atoms: 202818/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 74504112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.493 Prop: 120567.167 PropClause: 118688.398 Set: 16561.128 Check: 0.0 Back: 1759.435
INFO - Atoms: 202654/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 74706624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.502 Prop: 120877.359 PropClause: 118993.556 Set: 16598.534 Check: 0.0 Back: 1764.2
INFO - Atoms: 202512/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 74908952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.511 Prop: 121200.257 PropClause: 119311.398 Set: 16637.17 Check: 0.0 Back: 1768.974
INFO - Atoms: 202328/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 75111140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.521 Prop: 121519.382 PropClause: 119625.457 Set: 16675.209 Check: 0.0 Back: 1773.783
INFO - Atoms: 202188/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 75313142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.53 Prop: 121832.633 PropClause: 119933.677 Set: 16712.851 Check: 0.0 Back: 1778.549
INFO - Atoms: 202002/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 75515002 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.539 Prop: 122163.097 PropClause: 120259.116 Set: 16750.649 Check: 0.0 Back: 1783.395
INFO - Atoms: 201860/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 75716680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.548 Prop: 122516.372 PropClause: 120605.929 Set: 16802.391 Check: 0.0 Back: 1788.161
INFO - Atoms: 201678/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 75918216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.557 Prop: 122837.602 PropClause: 120922.115 Set: 16840.075 Check: 0.0 Back: 1792.947
INFO - Atoms: 201536/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 76119568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.566 Prop: 123145.505 PropClause: 121224.992 Set: 16877.607 Check: 0.0 Back: 1797.762
INFO - Atoms: 201352/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 76320778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.575 Prop: 123446.853 PropClause: 121521.337 Set: 16914.511 Check: 0.0 Back: 1802.52
INFO - Atoms: 201210/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 76521804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.583 Prop: 123770.841 PropClause: 121840.292 Set: 16952.871 Check: 0.0 Back: 1807.218
INFO - Atoms: 201026/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 76722688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.592 Prop: 124084.544 PropClause: 122148.914 Set: 16991.732 Check: 0.0 Back: 1812.045
INFO - Atoms: 200884/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 76923386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.6 Prop: 124397.514 PropClause: 122456.868 Set: 17030.006 Check: 0.0 Back: 1816.763
INFO - Atoms: 200698/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 77123922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.608 Prop: 124718.279 PropClause: 122772.612 Set: 17067.941 Check: 0.0 Back: 1821.497
INFO - Atoms: 200536/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 77324294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.617 Prop: 125019.382 PropClause: 123068.702 Set: 17105.227 Check: 0.0 Back: 1826.232
INFO - Atoms: 200372/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 77524524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.625 Prop: 125330.748 PropClause: 123375.049 Set: 17142.916 Check: 0.0 Back: 1830.927
INFO - Atoms: 200230/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 77724572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.635 Prop: 125645.664 PropClause: 123684.904 Set: 17256.694 Check: 0.0 Back: 1835.651
INFO - Atoms: 200048/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 77924476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.644 Prop: 125953.279 PropClause: 123987.336 Set: 17296.052 Check: 0.0 Back: 1840.439
INFO - Atoms: 199904/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 78124198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.654 Prop: 126250.898 PropClause: 124279.986 Set: 17333.233 Check: 0.0 Back: 1845.539
INFO - Atoms: 199722/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 78323756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.663 Prop: 126576.307 PropClause: 124600.299 Set: 17371.435 Check: 0.0 Back: 1850.339
INFO - Atoms: 199558/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 78523152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.673 Prop: 126885.675 PropClause: 124904.68 Set: 17409.476 Check: 0.0 Back: 1855.194
INFO - Atoms: 199396/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 78722398 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.682 Prop: 127208.201 PropClause: 125222.215 Set: 17447.778 Check: 0.0 Back: 1859.903
INFO - Atoms: 199246/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 78921468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.693 Prop: 127531.359 PropClause: 125540.386 Set: 17486.511 Check: 0.0 Back: 1864.681
INFO - Atoms: 199070/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 79120394 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.703 Prop: 127844.584 PropClause: 125848.655 Set: 17523.436 Check: 0.0 Back: 1869.417
INFO - Atoms: 198926/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 79319136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.712 Prop: 128145.151 PropClause: 126144.25 Set: 17560.293 Check: 0.0 Back: 1874.134
INFO - Atoms: 198742/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 79517716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.721 Prop: 128444.375 PropClause: 126438.531 Set: 17596.648 Check: 0.0 Back: 1878.841
INFO - Atoms: 198580/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 79716132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.73 Prop: 128733.75 PropClause: 126722.965 Set: 17633.516 Check: 0.0 Back: 1883.502
INFO - Atoms: 198416/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 79914406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.739 Prop: 129047.215 PropClause: 127031.444 Set: 17670.792 Check: 0.0 Back: 1888.216
INFO - Atoms: 198274/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 80112498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.748 Prop: 129360.211 PropClause: 127339.491 Set: 17708.368 Check: 0.0 Back: 1892.977
INFO - Atoms: 198092/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 80310448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.756 Prop: 129664.553 PropClause: 127638.903 Set: 17744.951 Check: 0.0 Back: 1897.679
INFO - Atoms: 197950/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 80508212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.765 Prop: 129983.813 PropClause: 127953.23 Set: 17782.416 Check: 0.0 Back: 1902.377
INFO - Atoms: 197764/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 80705836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.776 Prop: 130297.323 PropClause: 128261.818 Set: 17818.96 Check: 0.0 Back: 1907.091
INFO - Atoms: 197624/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 80903276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.785 Prop: 130605.183 PropClause: 128564.747 Set: 17855.907 Check: 0.0 Back: 1911.75
INFO - Atoms: 197440/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 81100574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.793 Prop: 130905.542 PropClause: 128860.201 Set: 17892.683 Check: 0.0 Back: 1916.425
INFO - Atoms: 197298/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 81297688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.803 Prop: 131186.945 PropClause: 129136.7 Set: 17929.596 Check: 0.0 Back: 1921.138
INFO - Atoms: 197114/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 81494651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.812 Prop: 131472.854 PropClause: 129417.696 Set: 18052.992 Check: 0.0 Back: 1925.82
INFO - Atoms: 196963/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 81691439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.822 Prop: 131788.084 PropClause: 129728.001 Set: 18090.512 Check: 0.0 Back: 1930.696
INFO - Atoms: 196788/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 81888085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.83 Prop: 132097.055 PropClause: 130032.048 Set: 18128.196 Check: 0.0 Back: 1935.525
INFO - Atoms: 196646/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 82084547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.839 Prop: 132400.199 PropClause: 130330.259 Set: 18165.117 Check: 0.0 Back: 1940.197
INFO - Atoms: 196462/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 82280865 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.848 Prop: 132718.984 PropClause: 130644.131 Set: 18202.379 Check: 0.0 Back: 1944.86
INFO - Atoms: 196318/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 82476999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.856 Prop: 133018.724 PropClause: 130938.964 Set: 18239.49 Check: 0.0 Back: 1949.517
INFO - Atoms: 196134/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 82672991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.865 Prop: 133323.521 PropClause: 131238.859 Set: 18276.205 Check: 0.0 Back: 1954.18
INFO - Atoms: 195992/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 82868799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.874 Prop: 133616.105 PropClause: 131526.557 Set: 18398.949 Check: 0.0 Back: 1958.82
INFO - Atoms: 195808/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 83064465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.881 Prop: 133907.587 PropClause: 131813.183 Set: 18434.86 Check: 0.0 Back: 1963.39
INFO - Atoms: 195666/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 83259949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.889 Prop: 134191.872 PropClause: 132092.569 Set: 18471.765 Check: 0.0 Back: 1967.985
INFO - Atoms: 195484/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 83455291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.898 Prop: 134507.48 PropClause: 132403.281 Set: 18508.38 Check: 0.0 Back: 1972.619
INFO - Atoms: 195342/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 83650449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.907 Prop: 134808.502 PropClause: 132699.446 Set: 18545.186 Check: 0.0 Back: 1977.253
INFO - Atoms: 195158/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 83845443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.915 Prop: 135116.625 PropClause: 133002.702 Set: 18581.402 Check: 0.0 Back: 1981.864
INFO - Atoms: 194994/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 84040275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.925 Prop: 135424.491 PropClause: 133305.689 Set: 18618.284 Check: 0.0 Back: 1986.489
INFO - Atoms: 194832/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 84234943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.935 Prop: 135762.943 PropClause: 133638.138 Set: 18663.356 Check: 0.0 Back: 1991.185
INFO - Atoms: 194668/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 84429447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.943 Prop: 136054.304 PropClause: 133924.64 Set: 18699.695 Check: 0.0 Back: 1995.806
INFO - Atoms: 194504/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 84623789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.952 Prop: 136333.76 PropClause: 134199.259 Set: 18735.214 Check: 0.0 Back: 2000.402
INFO - Atoms: 194342/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 84817969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.961 Prop: 136617.073 PropClause: 134477.725 Set: 18771.007 Check: 0.0 Back: 2005.078
INFO - Atoms: 194180/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 85011998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.97 Prop: 136900.828 PropClause: 134756.65 Set: 18807.342 Check: 0.0 Back: 2009.662
INFO - Atoms: 194029/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 85205852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.979 Prop: 137189.54 PropClause: 135040.517 Set: 18843.143 Check: 0.0 Back: 2014.208
INFO - Atoms: 193854/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 85399542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.99 Prop: 137494.128 PropClause: 135340.246 Set: 18879.519 Check: 0.0 Back: 2018.805
INFO - Atoms: 193690/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 85593070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.999 Prop: 137785.368 PropClause: 135626.669 Set: 18915.845 Check: 0.0 Back: 2023.513
INFO - Atoms: 193528/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 85786448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.01 Prop: 138079.323 PropClause: 135915.802 Set: 18951.628 Check: 0.0 Back: 2028.113
INFO - Atoms: 193378/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 85979650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.02 Prop: 138405.947 PropClause: 136237.171 Set: 19066.929 Check: 0.0 Back: 2032.694
INFO - Atoms: 193202/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 86172705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.028 Prop: 138695.148 PropClause: 136521.55 Set: 19102.494 Check: 0.0 Back: 2037.728
INFO - Atoms: 193055/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 86365579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.037 Prop: 138997.405 PropClause: 136818.944 Set: 19138.951 Check: 0.0 Back: 2042.334
INFO - Atoms: 192874/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 86558291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.046 Prop: 139300.851 PropClause: 137117.511 Set: 19175.866 Check: 0.0 Back: 2047.288
INFO - Atoms: 192712/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 86750841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.055 Prop: 139591.474 PropClause: 137403.348 Set: 19212.174 Check: 0.0 Back: 2051.843
INFO - Atoms: 192550/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 86943249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.063 Prop: 139893.711 PropClause: 137700.769 Set: 19248.341 Check: 0.0 Back: 2056.418
INFO - Atoms: 192408/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 87135471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.072 Prop: 140193.756 PropClause: 137995.897 Set: 19285.962 Check: 0.0 Back: 2060.986
INFO - Atoms: 192222/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 87327553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.081 Prop: 140490.534 PropClause: 138287.861 Set: 19322.052 Check: 0.0 Back: 2065.605
INFO - Atoms: 192082/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 87519449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.091 Prop: 140788.768 PropClause: 138581.301 Set: 19358.154 Check: 0.0 Back: 2070.247
INFO - Atoms: 191896/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 87711203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.099 Prop: 141096.223 PropClause: 138883.753 Set: 19395.6 Check: 0.0 Back: 2074.82
INFO - Atoms: 191754/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 87902775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.108 Prop: 141384.256 PropClause: 139167.006 Set: 19431.164 Check: 0.0 Back: 2079.338
INFO - Atoms: 191572/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 88094205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.118 Prop: 141681.608 PropClause: 139459.578 Set: 19466.947 Check: 0.0 Back: 2083.88
INFO - Atoms: 191430/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 88285451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.126 Prop: 141967.283 PropClause: 139740.478 Set: 19502.588 Check: 0.0 Back: 2088.452
INFO - Atoms: 191246/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 88476555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.135 Prop: 142254.516 PropClause: 140022.954 Set: 19537.695 Check: 0.0 Back: 2092.964
INFO - Atoms: 191104/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 88667475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.144 Prop: 142548.852 PropClause: 140312.532 Set: 19573.394 Check: 0.0 Back: 2097.461
INFO - Atoms: 190920/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 88858253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.153 Prop: 142849.848 PropClause: 140608.781 Set: 19608.761 Check: 0.0 Back: 2102.037
INFO - Atoms: 190778/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 89048847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.163 Prop: 143145.177 PropClause: 140899.348 Set: 19644.649 Check: 0.0 Back: 2106.545
INFO - Atoms: 190594/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 89239297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.173 Prop: 143439.581 PropClause: 141188.999 Set: 19680.191 Check: 0.0 Back: 2111.073
INFO - Atoms: 190450/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 89429563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.182 Prop: 143736.104 PropClause: 141480.771 Set: 19715.671 Check: 0.0 Back: 2115.591
INFO - Atoms: 190266/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 89619667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.19 Prop: 144017.403 PropClause: 141757.347 Set: 19750.203 Check: 0.0 Back: 2120.139
INFO - Atoms: 190104/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 89809607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.198 Prop: 144287.209 PropClause: 142022.433 Set: 19785.122 Check: 0.0 Back: 2124.614
INFO - Atoms: 189940/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 89999405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.208 Prop: 144576.713 PropClause: 142307.208 Set: 19820.399 Check: 0.0 Back: 2129.114
INFO - Atoms: 189798/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 90189021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.217 Prop: 144851.655 PropClause: 142577.442 Set: 19919.595 Check: 0.0 Back: 2133.611
INFO - Atoms: 189616/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 90378495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.226 Prop: 145139.049 PropClause: 142860.159 Set: 19954.5 Check: 0.0 Back: 2138.09
INFO - Atoms: 189474/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 90567783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.237 Prop: 145436.927 PropClause: 143153.294 Set: 19989.994 Check: 0.0 Back: 2142.618
INFO - Atoms: 189288/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 90756909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.245 Prop: 145732.254 PropClause: 143443.924 Set: 20025.048 Check: 0.0 Back: 2147.128
INFO - Atoms: 189126/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 90945871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.253 Prop: 146021.687 PropClause: 143728.63 Set: 20060.188 Check: 0.0 Back: 2151.593
INFO - Atoms: 188962/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 91134693 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.264 Prop: 146317.326 PropClause: 144019.557 Set: 20095.5 Check: 0.0 Back: 2156.099
INFO - Atoms: 188822/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 91323329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.272 Prop: 146602.229 PropClause: 144299.776 Set: 20131.042 Check: 0.0 Back: 2160.603
INFO - Atoms: 188636/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 91511818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.279 Prop: 146870.44 PropClause: 144563.294 Set: 20165.141 Check: 0.0 Back: 2165.077
INFO - Atoms: 188489/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 91700130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.288 Prop: 147150.522 PropClause: 144838.689 Set: 20200.442 Check: 0.0 Back: 2169.524
INFO - Atoms: 188312/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 91888291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.297 Prop: 147416.882 PropClause: 145100.373 Set: 20234.473 Check: 0.0 Back: 2174.009
INFO - Atoms: 188161/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 92076277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.307 Prop: 147687.441 PropClause: 145366.264 Set: 20269.191 Check: 0.0 Back: 2178.43
INFO - Atoms: 187986/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 92264112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.317 Prop: 147977.032 PropClause: 145651.167 Set: 20304.038 Check: 0.0 Back: 2182.874
INFO - Atoms: 187835/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 92451772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.327 Prop: 148255.917 PropClause: 145925.389 Set: 20339.279 Check: 0.0 Back: 2187.345
INFO - Atoms: 187660/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 92639288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.336 Prop: 148544.986 PropClause: 146209.761 Set: 20374.31 Check: 0.0 Back: 2191.775
INFO - Atoms: 187516/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 92826622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.344 Prop: 148887.196 PropClause: 146546.577 Set: 20424.977 Check: 0.0 Back: 2196.273
INFO - Atoms: 187334/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 93013792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.353 Prop: 149169.901 PropClause: 146824.656 Set: 20460.05 Check: 0.0 Back: 2200.795
INFO - Atoms: 187170/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 93200800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.362 Prop: 149442.06 PropClause: 147092.169 Set: 20494.893 Check: 0.0 Back: 2205.223
INFO - Atoms: 187008/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 93387664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.371 Prop: 149722.119 PropClause: 147367.604 Set: 20592.343 Check: 0.0 Back: 2209.67
INFO - Atoms: 186864/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 93574346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.38 Prop: 149996.631 PropClause: 147637.443 Set: 20627.283 Check: 0.0 Back: 2214.07
INFO - Atoms: 186682/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 93760886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.4 Prop: 150317.099 PropClause: 147952.777 Set: 20666.277 Check: 0.0 Back: 2218.576
INFO - Atoms: 186540/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 93947240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.407 Prop: 150605.043 PropClause: 148236.113 Set: 20701.033 Check: 0.0 Back: 2223.011
INFO - Atoms: 186354/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 94133452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.417 Prop: 150895.139 PropClause: 148521.554 Set: 20736.258 Check: 0.0 Back: 2227.455
INFO - Atoms: 186212/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 94319482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.427 Prop: 151176.334 PropClause: 148798.087 Set: 20770.887 Check: 0.0 Back: 2231.903
INFO - Atoms: 186030/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 94505368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.436 Prop: 151475.014 PropClause: 149091.698 Set: 20809.412 Check: 0.0 Back: 2236.332
INFO - Atoms: 185886/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 94691070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.445 Prop: 151763.704 PropClause: 149375.759 Set: 20844.742 Check: 0.0 Back: 2240.757
INFO - Atoms: 185702/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 94876630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.455 Prop: 152054.607 PropClause: 149662.035 Set: 20879.568 Check: 0.0 Back: 2245.206
INFO - Atoms: 185560/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 95062008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.464 Prop: 152323.522 PropClause: 149926.355 Set: 20914.147 Check: 0.0 Back: 2249.608
INFO - Atoms: 185378/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 95247242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.474 Prop: 152596.701 PropClause: 150194.952 Set: 20948.062 Check: 0.0 Back: 2254.03
INFO - Atoms: 185234/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 95432294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.482 Prop: 152867.562 PropClause: 150461.225 Set: 20981.817 Check: 0.0 Back: 2258.376
INFO - Atoms: 185052/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 95617204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.49 Prop: 153145.752 PropClause: 150734.859 Set: 21015.963 Check: 0.0 Back: 2262.728
INFO - Atoms: 184910/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 95801928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.498 Prop: 153414.86 PropClause: 150999.38 Set: 21050.18 Check: 0.0 Back: 2267.092
INFO - Atoms: 184724/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 95986512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.506 Prop: 153683.246 PropClause: 151263.175 Set: 21084.156 Check: 0.0 Back: 2271.461
INFO - Atoms: 184584/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 96170912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.515 Prop: 153956.17 PropClause: 151531.505 Set: 21118.575 Check: 0.0 Back: 2275.783
INFO - Atoms: 184400/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 96355170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.525 Prop: 154235.269 PropClause: 151806.037 Set: 21152.341 Check: 0.0 Back: 2280.163
INFO - Atoms: 184258/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 96539244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.533 Prop: 154512.372 PropClause: 152078.558 Set: 21186.824 Check: 0.0 Back: 2284.545
INFO - Atoms: 184074/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 96723176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.542 Prop: 154775.81 PropClause: 152337.434 Set: 21220.295 Check: 0.0 Back: 2288.953
INFO - Atoms: 183932/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 96906924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.551 Prop: 155034.047 PropClause: 152591.131 Set: 21253.432 Check: 0.0 Back: 2293.293
INFO - Atoms: 183748/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 97090530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.559 Prop: 155290.753 PropClause: 152843.278 Set: 21286.626 Check: 0.0 Back: 2297.615
INFO - Atoms: 183606/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 97273950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.568 Prop: 155549.749 PropClause: 153097.722 Set: 21320.1 Check: 0.0 Back: 2301.899
INFO - Atoms: 183420/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 97457225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.576 Prop: 155822.311 PropClause: 153365.742 Set: 21354.053 Check: 0.0 Back: 2306.238
INFO - Atoms: 183275/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 97640321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.586 Prop: 156088.873 PropClause: 153627.75 Set: 21388.044 Check: 0.0 Back: 2310.564
INFO - Atoms: 183096/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 97823269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.594 Prop: 156362.745 PropClause: 153896.99 Set: 21422.747 Check: 0.0 Back: 2314.885
INFO - Atoms: 182948/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 98006037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.603 Prop: 156625.878 PropClause: 154155.583 Set: 21456.841 Check: 0.0 Back: 2319.451
INFO - Atoms: 182768/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 98188657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.612 Prop: 156899.551 PropClause: 154424.758 Set: 21490.045 Check: 0.0 Back: 2323.79
INFO - Atoms: 182620/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 449 Props: 98371101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.622 Prop: 157166.815 PropClause: 154687.502 Set: 21523.908 Check: 0.0 Back: 2328.088
INFO - Atoms: 182444/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 98553403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.63 Prop: 157418.119 PropClause: 154934.274 Set: 21557.167 Check: 0.0 Back: 2332.372
INFO - Atoms: 182302/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 451 Props: 98735519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.639 Prop: 157667.11 PropClause: 155178.748 Set: 21590.074 Check: 0.0 Back: 2336.628
INFO - Atoms: 182116/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 98917493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.647 Prop: 157920.846 PropClause: 155427.986 Set: 21623.515 Check: 0.0 Back: 2340.932
INFO - Atoms: 181974/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 453 Props: 99099285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.657 Prop: 158188.53 PropClause: 155691.145 Set: 21657.182 Check: 0.0 Back: 2345.237
INFO - Atoms: 181792/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 454 Props: 99280933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.665 Prop: 158467.284 PropClause: 155965.406 Set: 21690.299 Check: 0.0 Back: 2349.539
INFO - Atoms: 181648/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 455 Props: 99462399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.673 Prop: 158732.923 PropClause: 156226.528 Set: 21723.802 Check: 0.0 Back: 2353.845
INFO - Atoms: 181466/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 456 Props: 99643723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.684 Prop: 158997.608 PropClause: 156486.698 Set: 21757.052 Check: 0.0 Back: 2358.174
INFO - Atoms: 181324/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 457 Props: 99824863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.692 Prop: 159263.553 PropClause: 156748.142 Set: 21790.304 Check: 0.0 Back: 2362.454
INFO - Atoms: 181140/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 458 Props: 100005861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.701 Prop: 159528.959 PropClause: 157009.06 Set: 21823.239 Check: 0.0 Back: 2366.782
INFO - Atoms: 180998/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 459 Props: 100186675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.709 Prop: 159787.575 PropClause: 157263.181 Set: 21856.205 Check: 0.0 Back: 2371.079
INFO - Atoms: 180814/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 100367345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.718 Prop: 160048.914 PropClause: 157520.049 Set: 21889.015 Check: 0.0 Back: 2375.382
INFO - Atoms: 180670/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 461 Props: 100547831 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.727 Prop: 160304.075 PropClause: 157770.736 Set: 21921.947 Check: 0.0 Back: 2379.627
INFO - Atoms: 180486/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 100728175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.736 Prop: 160563.563 PropClause: 158025.752 Set: 21955.097 Check: 0.0 Back: 2383.881
INFO - Atoms: 180344/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 463 Props: 100908337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.746 Prop: 160829.82 PropClause: 158287.549 Set: 21988.611 Check: 0.0 Back: 2388.133
INFO - Atoms: 180162/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 464 Props: 101088355 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.755 Prop: 161100.767 PropClause: 158554.018 Set: 22021.696 Check: 0.0 Back: 2392.401
INFO - Atoms: 180018/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 465 Props: 101268191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.764 Prop: 161362.207 PropClause: 158810.956 Set: 22054.82 Check: 0.0 Back: 2396.684
INFO - Atoms: 179836/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 466 Props: 101447885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.774 Prop: 161626.944 PropClause: 159071.224 Set: 22087.788 Check: 0.0 Back: 2400.961
INFO - Atoms: 179694/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 101627393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.783 Prop: 161905.245 PropClause: 159344.918 Set: 22122.338 Check: 0.0 Back: 2405.271
INFO - Atoms: 179508/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 468 Props: 101806759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.799 Prop: 162181.646 PropClause: 159616.548 Set: 22158.353 Check: 0.0 Back: 2409.586
INFO - Atoms: 179366/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 469 Props: 101985941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.808 Prop: 162453.147 PropClause: 159883.297 Set: 22193.881 Check: 0.0 Back: 2413.821
INFO - Atoms: 179182/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 470 Props: 102164981 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.816 Prop: 162711.157 PropClause: 160136.881 Set: 22227.312 Check: 0.0 Back: 2418.067
INFO - Atoms: 179040/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 471 Props: 102343839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.826 Prop: 162965.394 PropClause: 160386.663 Set: 22260.685 Check: 0.0 Back: 2422.323
INFO - Atoms: 178858/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 472 Props: 102522555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.834 Prop: 163216.778 PropClause: 160633.598 Set: 22365.62 Check: 0.0 Back: 2426.59
INFO - Atoms: 178716/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 473 Props: 102701087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.843 Prop: 163472.463 PropClause: 160884.857 Set: 22398.626 Check: 0.0 Back: 2430.798
INFO - Atoms: 178532/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 474 Props: 102879477 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.851 Prop: 163734.44 PropClause: 161142.408 Set: 22431.617 Check: 0.0 Back: 2435.053
INFO - Atoms: 178390/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 475 Props: 103057683 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.86 Prop: 163990.728 PropClause: 161394.275 Set: 22464.827 Check: 0.0 Back: 2439.248
INFO - Atoms: 178206/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 476 Props: 103235747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.869 Prop: 164248.078 PropClause: 161647.207 Set: 22497.305 Check: 0.0 Back: 2443.467
INFO - Atoms: 178064/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 477 Props: 103413625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.877 Prop: 164505.686 PropClause: 161900.407 Set: 22529.895 Check: 0.0 Back: 2447.663
INFO - Atoms: 177878/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 478 Props: 103591361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.884 Prop: 164768.706 PropClause: 162159.015 Set: 22562.9 Check: 0.0 Back: 2451.876
INFO - Atoms: 177736/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 479 Props: 103768913 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.894 Prop: 165035.741 PropClause: 162421.562 Set: 22596.067 Check: 0.0 Back: 2456.122
INFO - Atoms: 177552/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 480 Props: 103946317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.903 Prop: 165287.506 PropClause: 162668.922 Set: 22629.0 Check: 0.0 Back: 2460.44
INFO - Atoms: 177404/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 481 Props: 104123543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.912 Prop: 165531.799 PropClause: 162908.789 Set: 22661.477 Check: 0.0 Back: 2464.674
INFO - Atoms: 177226/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 482 Props: 104300627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.92 Prop: 165785.712 PropClause: 163158.263 Set: 22694.26 Check: 0.0 Back: 2468.92
INFO - Atoms: 177084/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 483 Props: 104477529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.93 Prop: 166045.09 PropClause: 163413.001 Set: 22728.933 Check: 0.0 Back: 2473.101
INFO - Atoms: 176902/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 484 Props: 104654287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.939 Prop: 166307.421 PropClause: 163670.887 Set: 22762.376 Check: 0.0 Back: 2477.309
INFO - Atoms: 176758/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 485 Props: 104830863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.948 Prop: 166562.399 PropClause: 163921.471 Set: 22795.104 Check: 0.0 Back: 2481.465
INFO - Atoms: 176576/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 486 Props: 105007297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.957 Prop: 166827.9 PropClause: 164182.584 Set: 22827.837 Check: 0.0 Back: 2485.659
INFO - Atoms: 176434/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 487 Props: 105183545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.966 Prop: 167093.469 PropClause: 164443.661 Set: 22861.11 Check: 0.0 Back: 2489.829
INFO - Atoms: 176248/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 488 Props: 105359651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.975 Prop: 167356.588 PropClause: 164702.368 Set: 22893.954 Check: 0.0 Back: 2494.252
INFO - Atoms: 176106/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 489 Props: 105535575 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.984 Prop: 167606.708 PropClause: 164948.112 Set: 22926.724 Check: 0.0 Back: 2498.692
INFO - Atoms: 175924/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 490 Props: 105711357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.991 Prop: 167860.375 PropClause: 165197.424 Set: 22958.718 Check: 0.0 Back: 2503.062
INFO - Atoms: 175782/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 491 Props: 105886953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.001 Prop: 168122.264 PropClause: 165454.928 Set: 23049.898 Check: 0.0 Back: 2507.261
INFO - Atoms: 175596/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 492 Props: 106062407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.011 Prop: 168379.278 PropClause: 165707.57 Set: 23082.405 Check: 0.0 Back: 2511.435
INFO - Atoms: 175454/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 493 Props: 106237677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.018 Prop: 168694.163 PropClause: 166017.611 Set: 23122.742 Check: 0.0 Back: 2515.622
INFO - Atoms: 175270/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 494 Props: 106412798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.03 Prop: 168976.639 PropClause: 166295.633 Set: 23156.719 Check: 0.0 Back: 2520.324
INFO - Atoms: 175121/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 495 Props: 106587744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.042 Prop: 169263.594 PropClause: 166577.607 Set: 23195.742 Check: 0.0 Back: 2524.822
INFO - Atoms: 174946/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 496 Props: 106762548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.05 Prop: 169531.263 PropClause: 166840.907 Set: 23228.079 Check: 0.0 Back: 2529.529
INFO - Atoms: 174804/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 497 Props: 106937168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.062 Prop: 169791.279 PropClause: 167096.563 Set: 23260.982 Check: 0.0 Back: 2533.7
INFO - Atoms: 174620/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 498 Props: 107111646 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.07 Prop: 170057.046 PropClause: 167357.91 Set: 23293.98 Check: 0.0 Back: 2537.903
INFO - Atoms: 174478/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 499 Props: 107285940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.08 Prop: 170314.21 PropClause: 167610.601 Set: 23328.025 Check: 0.0 Back: 2542.305
INFO - Atoms: 174294/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 500 Props: 107460090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.088 Prop: 170571.919 PropClause: 167863.917 Set: 23360.947 Check: 0.0 Back: 2546.517
INFO - Atoms: 174150/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 5574 Tprops: 10296 Decides: 427458 RSplits: 0
INFO - Times: Expl: 2020.492 Prop: 380660.684 PropClause: 32.602 Set: 259192.481 Check: 4804.342 Back: 651.166
INFO - Atoms: 37/4291 Clauses: 500 Axioms: 4291
INFO - CCTimes: iE 2263876 eq 275019945 cc 3213836670 setRep 845186515
INFO - Merges: 4620695, cc:18938464
INFO - BVTimes: BB 703734094 BB_DPLL 344623980337 Graph 16987637
INFO - BitBlastingClauses: 2416642 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 501 Props: 107635815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.263 Prop: 170838.857 PropClause: 168126.181 Set: 23394.138 Check: 0.0 Back: 2550.814
INFO - Atoms: 175725/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 502 Props: 107812754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.33 Prop: 171110.86 PropClause: 168393.239 Set: 23429.668 Check: 0.0 Back: 2555.261
INFO - Atoms: 176939/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 503 Props: 107990814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.508 Prop: 171402.37 PropClause: 168679.989 Set: 23466.924 Check: 0.0 Back: 2559.447
INFO - Atoms: 178060/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 504 Props: 108168863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.584 Prop: 171682.056 PropClause: 168955.154 Set: 23500.901 Check: 0.0 Back: 2563.997
INFO - Atoms: 178049/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 505 Props: 108347282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.662 Prop: 171941.006 PropClause: 169209.582 Set: 23534.172 Check: 0.0 Back: 2568.215
INFO - Atoms: 178419/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 506 Props: 108525740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.708 Prop: 172204.404 PropClause: 169468.5 Set: 23567.385 Check: 0.0 Back: 2572.428
INFO - Atoms: 178458/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 507 Props: 108702918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.756 Prop: 172469.692 PropClause: 169729.258 Set: 23601.389 Check: 0.0 Back: 2576.78
INFO - Atoms: 177178/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 508 Props: 108881533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.818 Prop: 172737.086 PropClause: 169992.167 Set: 23635.262 Check: 0.0 Back: 2581.031
INFO - Atoms: 178615/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 509 Props: 109060468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.866 Prop: 173022.262 PropClause: 170272.526 Set: 23674.549 Check: 0.0 Back: 2585.293
INFO - Atoms: 178935/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 510 Props: 109239648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.913 Prop: 173299.977 PropClause: 170545.675 Set: 23709.54 Check: 0.0 Back: 2589.657
INFO - Atoms: 179180/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 511 Props: 109422917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.964 Prop: 173578.173 PropClause: 170819.131 Set: 23745.441 Check: 0.0 Back: 2594.069
INFO - Atoms: 183269/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 512 Props: 109605620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.053 Prop: 173851.849 PropClause: 171088.222 Set: 23780.079 Check: 0.0 Back: 2598.489
INFO - Atoms: 182703/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 513 Props: 109788888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.115 Prop: 174119.71 PropClause: 171351.476 Set: 23814.472 Check: 0.0 Back: 2602.895
INFO - Atoms: 183268/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 514 Props: 109970544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.209 Prop: 174423.511 PropClause: 171650.272 Set: 23854.454 Check: 0.0 Back: 2607.234
INFO - Atoms: 181656/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 515 Props: 110153812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.265 Prop: 174701.455 PropClause: 171923.585 Set: 23889.884 Check: 0.0 Back: 2611.848
INFO - Atoms: 183268/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 516 Props: 110336266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.461 Prop: 174993.346 PropClause: 172210.635 Set: 23927.371 Check: 0.0 Back: 2616.205
INFO - Atoms: 182454/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 517 Props: 110519534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.483 Prop: 175278.37 PropClause: 172490.959 Set: 23963.952 Check: 0.0 Back: 2620.671
INFO - Atoms: 183268/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 518 Props: 110702395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.528 Prop: 175557.191 PropClause: 172764.974 Set: 24000.556 Check: 0.0 Back: 2625.127
INFO - Atoms: 182861/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 519 Props: 110885663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.543 Prop: 175818.356 PropClause: 173021.408 Set: 24036.31 Check: 0.0 Back: 2629.456
INFO - Atoms: 183268/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 520 Props: 111068528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.574 Prop: 176104.353 PropClause: 173302.65 Set: 24072.789 Check: 0.0 Back: 2633.862
INFO - Atoms: 182865/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 521 Props: 111251796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.591 Prop: 176378.646 PropClause: 173572.282 Set: 24107.994 Check: 0.0 Back: 2638.212
INFO - Atoms: 183268/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 522 Props: 111434416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.63 Prop: 176661.227 PropClause: 173850.181 Set: 24143.357 Check: 0.0 Back: 2642.613
INFO - Atoms: 182620/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 523 Props: 111617684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.647 Prop: 176945.401 PropClause: 174129.684 Set: 24178.743 Check: 0.0 Back: 2647.072
INFO - Atoms: 183268/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 524 Props: 111800471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.676 Prop: 177217.482 PropClause: 174396.943 Set: 24214.328 Check: 0.0 Back: 2651.473
INFO - Atoms: 182787/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 525 Props: 111983739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.692 Prop: 177487.952 PropClause: 174662.765 Set: 24249.655 Check: 0.0 Back: 2655.841
INFO - Atoms: 183268/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 526 Props: 112166281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.728 Prop: 177764.447 PropClause: 174934.685 Set: 24283.632 Check: 0.0 Back: 2660.265
INFO - Atoms: 182542/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 527 Props: 112349549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.745 Prop: 178036.636 PropClause: 175202.282 Set: 24318.08 Check: 0.0 Back: 2664.568
INFO - Atoms: 183268/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 528 Props: 112532018 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.825 Prop: 178316.122 PropClause: 175477.155 Set: 24352.123 Check: 0.0 Back: 2668.95
INFO - Atoms: 182469/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 529 Props: 112715286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.859 Prop: 178584.089 PropClause: 175740.534 Set: 24387.183 Check: 0.0 Back: 2673.292
INFO - Atoms: 183268/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 530 Props: 112897189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.879 Prop: 178863.953 PropClause: 176015.737 Set: 24421.808 Check: 0.0 Back: 2677.655
INFO - Atoms: 181903/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 531 Props: 113080452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.885 Prop: 179125.926 PropClause: 176273.118 Set: 24456.149 Check: 0.0 Back: 2682.218
INFO - Atoms: 183263/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 532 Props: 113263721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.892 Prop: 179386.916 PropClause: 176529.523 Set: 24490.069 Check: 0.0 Back: 2686.625
INFO - Atoms: 183269/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 533 Props: 113446671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.917 Prop: 179657.824 PropClause: 176795.797 Set: 24525.479 Check: 0.0 Back: 2690.982
INFO - Atoms: 182950/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 534 Props: 113629939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.923 Prop: 179924.998 PropClause: 177058.37 Set: 24560.125 Check: 0.0 Back: 2695.372
INFO - Atoms: 183268/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 535 Props: 113812411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.945 Prop: 180198.602 PropClause: 177327.4 Set: 24594.407 Check: 0.0 Back: 2699.72
INFO - Atoms: 182472/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 536 Props: 113995679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.966 Prop: 180475.113 PropClause: 177599.286 Set: 24628.873 Check: 0.0 Back: 2704.062
INFO - Atoms: 183268/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 537 Props: 114178942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.972 Prop: 180749.143 PropClause: 177868.679 Set: 24663.993 Check: 0.0 Back: 2708.434
INFO - Atoms: 183263/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 538 Props: 114362211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.978 Prop: 181022.171 PropClause: 178137.122 Set: 24698.145 Check: 0.0 Back: 2712.862
INFO - Atoms: 183269/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 539 Props: 114545474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.985 Prop: 181284.385 PropClause: 178394.75 Set: 24732.742 Check: 0.0 Back: 2717.198
INFO - Atoms: 183263/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 540 Props: 114728742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.992 Prop: 181556.277 PropClause: 178662.057 Set: 24766.971 Check: 0.0 Back: 2721.616
INFO - Atoms: 183268/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 541 Props: 114910724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.999 Prop: 181829.954 PropClause: 178931.131 Set: 24801.235 Check: 0.0 Back: 2725.973
INFO - Atoms: 181982/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 542 Props: 115093987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.005 Prop: 182090.701 PropClause: 179187.294 Set: 24835.111 Check: 0.0 Back: 2730.294
INFO - Atoms: 183263/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 543 Props: 115277256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.013 Prop: 182363.627 PropClause: 179455.636 Set: 24869.401 Check: 0.0 Back: 2734.596
INFO - Atoms: 183269/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 544 Props: 115457386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.032 Prop: 182634.296 PropClause: 179721.605 Set: 24902.329 Check: 0.0 Back: 2738.932
INFO - Atoms: 180130/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 545 Props: 115639607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.053 Prop: 182903.053 PropClause: 179981.683 Set: 24939.007 Check: 0.0 Back: 2743.226
INFO - Atoms: 182221/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 546 Props: 115822875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.059 Prop: 183169.098 PropClause: 180243.233 Set: 24973.172 Check: 0.0 Back: 2747.541
INFO - Atoms: 183268/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 547 Props: 116006138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.066 Prop: 183424.747 PropClause: 180494.37 Set: 25006.89 Check: 0.0 Back: 2751.875
INFO - Atoms: 183263/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 548 Props: 116188357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.072 Prop: 183693.825 PropClause: 180758.987 Set: 25041.024 Check: 0.0 Back: 2756.209
INFO - Atoms: 182219/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 549 Props: 116371625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.079 Prop: 183961.885 PropClause: 181022.561 Set: 25075.857 Check: 0.0 Back: 2760.545
INFO - Atoms: 183268/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 550 Props: 116553759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.095 Prop: 184226.0 PropClause: 181282.23 Set: 25109.92 Check: 0.0 Back: 2764.874
INFO - Atoms: 182134/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 551 Props: 116737027 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.101 Prop: 184489.98 PropClause: 181541.701 Set: 25144.24 Check: 0.0 Back: 2769.19
INFO - Atoms: 183268/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 552 Props: 116919892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.121 Prop: 184763.263 PropClause: 181810.467 Set: 25178.31 Check: 0.0 Back: 2773.567
INFO - Atoms: 182865/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 553 Props: 117103160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.128 Prop: 185028.265 PropClause: 182070.984 Set: 25212.812 Check: 0.0 Back: 2777.898
INFO - Atoms: 183268/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 554 Props: 117285701 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.146 Prop: 185280.924 PropClause: 182319.176 Set: 25246.278 Check: 0.0 Back: 2782.238
INFO - Atoms: 182541/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 555 Props: 117468969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.152 Prop: 185539.364 PropClause: 182573.124 Set: 25280.213 Check: 0.0 Back: 2786.539
INFO - Atoms: 183268/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 556 Props: 117650784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.171 Prop: 185805.537 PropClause: 182834.864 Set: 25386.563 Check: 0.0 Back: 2790.844
INFO - Atoms: 181815/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 557 Props: 117834047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.178 Prop: 186067.258 PropClause: 183092.095 Set: 25420.704 Check: 0.0 Back: 2795.083
INFO - Atoms: 183263/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 558 Props: 118017316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.184 Prop: 186336.31 PropClause: 183356.65 Set: 25454.622 Check: 0.0 Back: 2799.414
INFO - Atoms: 183269/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 559 Props: 118199944 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.203 Prop: 186609.175 PropClause: 183624.836 Set: 25489.387 Check: 0.0 Back: 2803.718
INFO - Atoms: 182628/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 560 Props: 118383212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.209 Prop: 186880.137 PropClause: 183891.273 Set: 25523.654 Check: 0.0 Back: 2808.117
INFO - Atoms: 183268/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 561 Props: 118565750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.231 Prop: 187129.216 PropClause: 184135.863 Set: 25557.243 Check: 0.0 Back: 2812.48
INFO - Atoms: 182538/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 562 Props: 118749018 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.237 Prop: 187382.352 PropClause: 184384.55 Set: 25590.808 Check: 0.0 Back: 2816.83
INFO - Atoms: 183268/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 563 Props: 118932124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.255 Prop: 187640.295 PropClause: 184637.992 Set: 25624.755 Check: 0.0 Back: 2821.168
INFO - Atoms: 183106/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 564 Props: 119115387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.262 Prop: 187900.968 PropClause: 184894.125 Set: 25659.487 Check: 0.0 Back: 2825.538
INFO - Atoms: 183263/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 565 Props: 119298656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.269 Prop: 188166.894 PropClause: 185155.56 Set: 25693.441 Check: 0.0 Back: 2829.845
INFO - Atoms: 183269/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 566 Props: 119481928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.274 Prop: 188432.852 PropClause: 185417.0 Set: 25796.659 Check: 0.0 Back: 2834.153
INFO - Atoms: 183272/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 567 Props: 119665202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.294 Prop: 188694.216 PropClause: 185673.887 Set: 25830.652 Check: 0.0 Back: 2838.464
INFO - Atoms: 183274/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 568 Props: 119848471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.3 Prop: 188948.863 PropClause: 185924.004 Set: 25864.932 Check: 0.0 Back: 2842.798
INFO - Atoms: 183269/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 569 Props: 120031745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.319 Prop: 189199.909 PropClause: 186170.546 Set: 25898.646 Check: 0.0 Back: 2847.114
INFO - Atoms: 183274/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 570 Props: 120215014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.325 Prop: 189473.942 PropClause: 186439.905 Set: 25934.063 Check: 0.0 Back: 2851.435
INFO - Atoms: 183269/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 571 Props: 120398288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.331 Prop: 189744.452 PropClause: 186705.923 Set: 25968.441 Check: 0.0 Back: 2855.795
INFO - Atoms: 183274/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 572 Props: 120580355 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.337 Prop: 190016.547 PropClause: 186973.549 Set: 26002.881 Check: 0.0 Back: 2860.11
INFO - Atoms: 182067/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 573 Props: 120763629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.343 Prop: 190280.364 PropClause: 187232.87 Set: 26037.064 Check: 0.0 Back: 2864.439
INFO - Atoms: 183274/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 574 Props: 120945698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.36 Prop: 190527.423 PropClause: 187475.488 Set: 26070.647 Check: 0.0 Back: 2868.789
INFO - Atoms: 182069/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 575 Props: 121128973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.366 Prop: 190767.191 PropClause: 187710.77 Set: 26104.508 Check: 0.0 Back: 2873.079
INFO - Atoms: 183275/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 576 Props: 121312242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.372 Prop: 191026.276 PropClause: 187965.343 Set: 26138.512 Check: 0.0 Back: 2877.362
INFO - Atoms: 183269/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 577 Props: 121495516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.378 Prop: 191288.41 PropClause: 188222.964 Set: 26172.558 Check: 0.0 Back: 2881.703
INFO - Atoms: 183274/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 578 Props: 121677904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.385 Prop: 191571.155 PropClause: 188500.839 Set: 26208.406 Check: 0.0 Back: 2886.071
INFO - Atoms: 182388/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 579 Props: 121861178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.391 Prop: 191849.956 PropClause: 188774.162 Set: 26247.598 Check: 0.0 Back: 2890.438
INFO - Atoms: 183274/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 580 Props: 122044453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.411 Prop: 192110.527 PropClause: 189030.267 Set: 26281.78 Check: 0.0 Back: 2895.322
INFO - Atoms: 183275/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 581 Props: 122227727 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.418 Prop: 192371.361 PropClause: 189286.613 Set: 26316.661 Check: 0.0 Back: 2899.642
INFO - Atoms: 183274/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 582 Props: 122409720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.434 Prop: 192641.282 PropClause: 189551.953 Set: 26351.23 Check: 0.0 Back: 2903.961
INFO - Atoms: 181993/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 583 Props: 122592994 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.44 Prop: 192906.099 PropClause: 189812.278 Set: 26385.741 Check: 0.0 Back: 2908.236
INFO - Atoms: 183274/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 584 Props: 122775380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.459 Prop: 193163.777 PropClause: 190065.512 Set: 26419.146 Check: 0.0 Back: 2912.691
INFO - Atoms: 182386/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 585 Props: 122958654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.465 Prop: 193420.115 PropClause: 190317.381 Set: 26453.106 Check: 0.0 Back: 2916.978
INFO - Atoms: 183274/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 586 Props: 123140720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.484 Prop: 193697.577 PropClause: 190590.363 Set: 26487.487 Check: 0.0 Back: 2921.331
INFO - Atoms: 182066/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 587 Props: 123323994 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.49 Prop: 193958.834 PropClause: 190847.094 Set: 26521.609 Check: 0.0 Back: 2925.65
INFO - Atoms: 183274/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 588 Props: 123506148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.509 Prop: 194205.599 PropClause: 191089.407 Set: 26555.282 Check: 0.0 Back: 2930.007
INFO - Atoms: 182154/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 589 Props: 123689422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.514 Prop: 194459.303 PropClause: 191338.668 Set: 26589.367 Check: 0.0 Back: 2934.295
INFO - Atoms: 183274/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 590 Props: 123871576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.538 Prop: 194729.944 PropClause: 191604.696 Set: 26623.76 Check: 0.0 Back: 2938.646
INFO - Atoms: 182154/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 591 Props: 124054850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.543 Prop: 194992.416 PropClause: 191862.692 Set: 26658.277 Check: 0.0 Back: 2942.966
INFO - Atoms: 183274/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 592 Props: 124236597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.561 Prop: 195263.14 PropClause: 192128.934 Set: 26756.105 Check: 0.0 Back: 2947.289
INFO - Atoms: 181747/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 593 Props: 124419871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.567 Prop: 195513.621 PropClause: 192374.825 Set: 26790.554 Check: 0.0 Back: 2951.609
INFO - Atoms: 183274/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 594 Props: 124602825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.584 Prop: 195760.473 PropClause: 192617.179 Set: 26823.957 Check: 0.0 Back: 2955.919
INFO - Atoms: 182954/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 595 Props: 124786099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.59 Prop: 196009.354 PropClause: 192861.585 Set: 26857.844 Check: 0.0 Back: 2960.239
INFO - Atoms: 183274/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 596 Props: 124969052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.607 Prop: 196274.434 PropClause: 193122.183 Set: 26891.817 Check: 0.0 Back: 2964.572
INFO - Atoms: 182953/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 597 Props: 125152326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.613 Prop: 196541.606 PropClause: 193384.644 Set: 26926.946 Check: 0.0 Back: 2968.886
INFO - Atoms: 183274/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 598 Props: 125334232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.631 Prop: 196811.859 PropClause: 193650.053 Set: 26962.639 Check: 0.0 Back: 2973.245
INFO - Atoms: 181906/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 599 Props: 125517506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.637 Prop: 197071.781 PropClause: 193905.41 Set: 26997.606 Check: 0.0 Back: 2977.686
INFO - Atoms: 183274/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 600 Props: 125700213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.653 Prop: 197314.514 PropClause: 194143.684 Set: 27030.884 Check: 0.0 Back: 2982.078
INFO - Atoms: 182707/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 601 Props: 125883487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.659 Prop: 197563.167 PropClause: 194387.851 Set: 27064.491 Check: 0.0 Back: 2986.384
INFO - Atoms: 183274/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 602 Props: 126065712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.678 Prop: 197821.088 PropClause: 194641.313 Set: 27098.019 Check: 0.0 Back: 2990.651
INFO - Atoms: 182225/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 603 Props: 126248986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.685 Prop: 198078.733 PropClause: 194894.436 Set: 27132.431 Check: 0.0 Back: 2994.969
INFO - Atoms: 183274/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 604 Props: 126430986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.705 Prop: 198343.142 PropClause: 195154.372 Set: 27166.276 Check: 0.0 Back: 2999.302
INFO - Atoms: 182000/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 605 Props: 126614260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.711 Prop: 198604.032 PropClause: 195410.769 Set: 27200.332 Check: 0.0 Back: 3003.637
INFO - Atoms: 183274/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 606 Props: 126796412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.726 Prop: 198856.664 PropClause: 195658.932 Set: 27233.5 Check: 0.0 Back: 3007.977
INFO - Atoms: 182152/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 607 Props: 126979686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.732 Prop: 199102.411 PropClause: 195900.225 Set: 27267.536 Check: 0.0 Back: 3012.277
INFO - Atoms: 183274/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 608 Props: 127161592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.749 Prop: 199345.05 PropClause: 196138.413 Set: 27300.529 Check: 0.0 Back: 3016.615
INFO - Atoms: 181906/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 609 Props: 127344866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.755 Prop: 199599.535 PropClause: 196388.443 Set: 27334.404 Check: 0.0 Back: 3020.895
INFO - Atoms: 183274/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 610 Props: 127527023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.772 Prop: 199864.672 PropClause: 196649.039 Set: 27368.354 Check: 0.0 Back: 3025.23
INFO - Atoms: 182157/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 611 Props: 127710297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.779 Prop: 200116.414 PropClause: 196896.272 Set: 27402.752 Check: 0.0 Back: 3029.543
INFO - Atoms: 183274/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 612 Props: 127892363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.796 Prop: 200377.405 PropClause: 197152.694 Set: 27436.95 Check: 0.0 Back: 3033.907
INFO - Atoms: 182066/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 613 Props: 128075637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.802 Prop: 200628.558 PropClause: 197399.362 Set: 27471.178 Check: 0.0 Back: 3038.242
INFO - Atoms: 183274/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 614 Props: 128258911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.809 Prop: 200877.445 PropClause: 197643.731 Set: 27504.934 Check: 0.0 Back: 3042.561
INFO - Atoms: 183274/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 615 Props: 128442017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.815 Prop: 201125.685 PropClause: 197887.498 Set: 27539.196 Check: 0.0 Back: 3046.863
INFO - Atoms: 183106/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 616 Props: 128625286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.822 Prop: 201381.405 PropClause: 198138.743 Set: 27572.809 Check: 0.0 Back: 3051.174
INFO - Atoms: 183269/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 617 Props: 128808555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.829 Prop: 201632.595 PropClause: 198385.46 Set: 27606.903 Check: 0.0 Back: 3055.489
INFO - Atoms: 183269/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 618 Props: 128991830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.836 Prop: 201886.233 PropClause: 198634.573 Set: 27640.777 Check: 0.0 Back: 3059.809
INFO - Atoms: 183275/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 619 Props: 129175246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.842 Prop: 202151.166 PropClause: 198895.024 Set: 27675.507 Check: 0.0 Back: 3064.131
INFO - Atoms: 183416/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 620 Props: 129358684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.848 Prop: 202404.329 PropClause: 199143.664 Set: 27709.592 Check: 0.0 Back: 3068.542
INFO - Atoms: 183438/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 621 Props: 129542428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.854 Prop: 202648.453 PropClause: 199383.306 Set: 27743.725 Check: 0.0 Back: 3072.847
INFO - Atoms: 183744/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 622 Props: 129726205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.859 Prop: 202906.919 PropClause: 199637.285 Set: 27777.274 Check: 0.0 Back: 3077.133
INFO - Atoms: 183777/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 623 Props: 129910059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.865 Prop: 203167.769 PropClause: 199893.668 Set: 27811.017 Check: 0.0 Back: 3081.465
INFO - Atoms: 183854/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 624 Props: 130094001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.872 Prop: 203439.905 PropClause: 200161.301 Set: 27844.986 Check: 0.0 Back: 3085.791
INFO - Atoms: 183942/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 625 Props: 130277949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.878 Prop: 203713.997 PropClause: 200430.805 Set: 27879.647 Check: 0.0 Back: 3090.131
INFO - Atoms: 183948/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 626 Props: 130461891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.884 Prop: 203977.039 PropClause: 200689.323 Set: 27914.816 Check: 0.0 Back: 3094.502
INFO - Atoms: 183942/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 627 Props: 130645838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.891 Prop: 204231.899 PropClause: 200939.182 Set: 27950.998 Check: 0.0 Back: 3098.85
INFO - Atoms: 183947/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 628 Props: 130828420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.898 Prop: 204490.888 PropClause: 201193.632 Set: 27984.441 Check: 0.0 Back: 3103.249
INFO - Atoms: 182582/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 629 Props: 131012368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.905 Prop: 204757.986 PropClause: 201456.139 Set: 28019.391 Check: 0.0 Back: 3107.797
INFO - Atoms: 183948/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 630 Props: 131196310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.911 Prop: 205024.77 PropClause: 201718.397 Set: 28054.187 Check: 0.0 Back: 3112.15
INFO - Atoms: 183942/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 631 Props: 131380257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.917 Prop: 205277.44 PropClause: 201966.553 Set: 28088.58 Check: 0.0 Back: 3116.537
INFO - Atoms: 183947/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 632 Props: 131564201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.924 Prop: 205540.779 PropClause: 202225.395 Set: 28122.848 Check: 0.0 Back: 3120.868
INFO - Atoms: 183944/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 633 Props: 131748148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.93 Prop: 205792.359 PropClause: 202472.506 Set: 28156.715 Check: 0.0 Back: 3125.198
INFO - Atoms: 183947/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 634 Props: 131930727 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.95 Prop: 206038.497 PropClause: 202714.165 Set: 28189.745 Check: 0.0 Back: 3129.543
INFO - Atoms: 182579/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 635 Props: 132114674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.955 Prop: 206289.3 PropClause: 202960.471 Set: 28223.567 Check: 0.0 Back: 3133.821
INFO - Atoms: 183947/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 636 Props: 132297574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.971 Prop: 206547.055 PropClause: 203213.762 Set: 28257.089 Check: 0.0 Back: 3138.176
INFO - Atoms: 182900/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 637 Props: 132481521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.978 Prop: 206804.702 PropClause: 203466.903 Set: 28291.075 Check: 0.0 Back: 3142.496
INFO - Atoms: 183947/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 638 Props: 132664585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.995 Prop: 207074.826 PropClause: 203731.898 Set: 28327.511 Check: 0.0 Back: 3146.811
INFO - Atoms: 183064/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 639 Props: 132848532 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.001 Prop: 207336.635 PropClause: 203989.212 Set: 28361.594 Check: 0.0 Back: 3151.246
INFO - Atoms: 183947/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 640 Props: 133032317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.02 Prop: 207583.192 PropClause: 204231.233 Set: 28395.59 Check: 0.0 Back: 3155.59
INFO - Atoms: 183785/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 641 Props: 133216264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.026 Prop: 207829.519 PropClause: 204473.026 Set: 28429.737 Check: 0.0 Back: 3159.923
INFO - Atoms: 183947/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 642 Props: 133398843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.047 Prop: 208090.347 PropClause: 204729.302 Set: 28463.715 Check: 0.0 Back: 3164.237
INFO - Atoms: 182579/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 643 Props: 133582790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.053 Prop: 208348.988 PropClause: 204983.455 Set: 28497.727 Check: 0.0 Back: 3168.564
INFO - Atoms: 183947/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 644 Props: 133765933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.071 Prop: 208622.899 PropClause: 205252.734 Set: 28532.472 Check: 0.0 Back: 3172.924
INFO - Atoms: 183143/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 645 Props: 133949880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.077 Prop: 208878.404 PropClause: 205503.725 Set: 28566.492 Check: 0.0 Back: 3177.245
INFO - Atoms: 183947/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 646 Props: 134132619 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.093 Prop: 209130.003 PropClause: 205750.857 Set: 28600.225 Check: 0.0 Back: 3181.569
INFO - Atoms: 182739/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 647 Props: 134316566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.098 Prop: 209375.406 PropClause: 205991.774 Set: 28634.102 Check: 0.0 Back: 3185.831
INFO - Atoms: 183947/255610 Clauses: 3137 Axioms: 848642
INFO - Formula is unsat
INFO - Bitblasting DPLL finished