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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 222844925
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 62942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.274 Prop: 82.285 PropClause: 78.338 Set: 31.438 Check: 0.0 Back: 0.0
INFO - Atoms: 62942/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 125884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.315 Prop: 162.22 PropClause: 154.555 Set: 42.435 Check: 0.0 Back: 1.49
INFO - Atoms: 62942/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 188826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.361 Prop: 235.518 PropClause: 225.988 Set: 60.462 Check: 0.0 Back: 2.955
INFO - Atoms: 62942/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 251768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.455 Prop: 309.917 PropClause: 298.81 Set: 97.292 Check: 0.0 Back: 4.382
INFO - Atoms: 62942/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 314393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.531 Prop: 390.516 PropClause: 377.806 Set: 109.364 Check: 0.0 Back: 6.057
INFO - Atoms: 62625/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 377013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.578 Prop: 463.538 PropClause: 449.199 Set: 146.219 Check: 0.0 Back: 7.798
INFO - Atoms: 62620/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 439474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.623 Prop: 534.388 PropClause: 518.506 Set: 157.861 Check: 0.0 Back: 9.54
INFO - Atoms: 62461/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 502093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.708 Prop: 601.583 PropClause: 584.167 Set: 169.249 Check: 0.0 Back: 11.277
INFO - Atoms: 62619/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 564712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.753 Prop: 671.439 PropClause: 652.487 Set: 187.254 Check: 0.0 Back: 13.007
INFO - Atoms: 62619/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 627184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.801 Prop: 740.026 PropClause: 719.539 Set: 234.294 Check: 0.0 Back: 14.738
INFO - Atoms: 62472/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 689643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.85 Prop: 807.189 PropClause: 785.171 Set: 245.701 Check: 0.0 Back: 16.365
INFO - Atoms: 62459/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 751940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.898 Prop: 876.78 PropClause: 853.229 Set: 257.175 Check: 0.0 Back: 18.102
INFO - Atoms: 62297/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 814075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.94 Prop: 947.498 PropClause: 922.417 Set: 268.816 Check: 0.0 Back: 19.803
INFO - Atoms: 62135/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 876060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.988 Prop: 1017.003 PropClause: 990.403 Set: 280.328 Check: 0.0 Back: 21.5
INFO - Atoms: 61985/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 937869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.04 Prop: 1087.848 PropClause: 1059.734 Set: 291.922 Check: 0.0 Back: 23.268
INFO - Atoms: 61809/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 999527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.087 Prop: 1151.552 PropClause: 1121.934 Set: 303.245 Check: 0.0 Back: 25.021
INFO - Atoms: 61658/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 1061010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.131 Prop: 1220.38 PropClause: 1189.253 Set: 320.093 Check: 0.0 Back: 26.78
INFO - Atoms: 61483/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 1122342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.203 Prop: 1285.848 PropClause: 1253.227 Set: 338.039 Check: 0.0 Back: 28.505
INFO - Atoms: 61332/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1183499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.251 Prop: 1352.948 PropClause: 1318.835 Set: 355.743 Check: 0.0 Back: 30.274
INFO - Atoms: 61157/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 1244506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.302 Prop: 1417.975 PropClause: 1382.373 Set: 367.049 Check: 0.0 Back: 32.03
INFO - Atoms: 61007/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 1305337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.347 Prop: 1485.004 PropClause: 1447.907 Set: 378.496 Check: 0.0 Back: 33.758
INFO - Atoms: 60831/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 1366017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.396 Prop: 1551.889 PropClause: 1513.308 Set: 389.706 Check: 0.0 Back: 35.497
INFO - Atoms: 60680/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 1426522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.437 Prop: 1616.586 PropClause: 1576.529 Set: 400.847 Check: 0.0 Back: 37.186
INFO - Atoms: 60505/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 1486877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.486 Prop: 1681.199 PropClause: 1639.667 Set: 412.142 Check: 0.0 Back: 38.879
INFO - Atoms: 60355/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 1547056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.546 Prop: 1747.549 PropClause: 1704.547 Set: 423.265 Check: 0.0 Back: 40.574
INFO - Atoms: 60179/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 1607085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.587 Prop: 1810.597 PropClause: 1766.132 Set: 434.371 Check: 0.0 Back: 42.285
INFO - Atoms: 60029/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 1666938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.638 Prop: 1874.344 PropClause: 1828.4 Set: 445.442 Check: 0.0 Back: 43.986
INFO - Atoms: 59853/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 1726627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.686 Prop: 1935.424 PropClause: 1888.024 Set: 456.468 Check: 0.0 Back: 45.692
INFO - Atoms: 59689/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 1786154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.734 Prop: 2000.872 PropClause: 1951.997 Set: 467.528 Check: 0.0 Back: 47.39
INFO - Atoms: 59527/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 1845517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.78 Prop: 2062.548 PropClause: 2012.219 Set: 478.557 Check: 0.0 Back: 49.083
INFO - Atoms: 59363/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 1904718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.834 Prop: 2127.143 PropClause: 2075.362 Set: 489.632 Check: 0.0 Back: 50.763
INFO - Atoms: 59201/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 1963755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.886 Prop: 2189.192 PropClause: 2135.961 Set: 500.489 Check: 0.0 Back: 52.404
INFO - Atoms: 59037/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 2022630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.935 Prop: 2254.762 PropClause: 2200.088 Set: 511.463 Check: 0.0 Back: 54.078
INFO - Atoms: 58875/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 2081341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.979 Prop: 2315.483 PropClause: 2259.378 Set: 528.622 Check: 0.0 Back: 55.71
INFO - Atoms: 58711/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 2139890 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.029 Prop: 2381.391 PropClause: 2323.847 Set: 545.939 Check: 0.0 Back: 57.344
INFO - Atoms: 58549/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 2198290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.08 Prop: 2440.647 PropClause: 2381.667 Set: 556.606 Check: 0.0 Back: 58.981
INFO - Atoms: 58400/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 2256513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.134 Prop: 2506.813 PropClause: 2446.407 Set: 567.441 Check: 0.0 Back: 60.628
INFO - Atoms: 58223/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 2314572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.183 Prop: 2566.552 PropClause: 2504.713 Set: 578.095 Check: 0.0 Back: 62.267
INFO - Atoms: 58059/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 2372469 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.233 Prop: 2627.591 PropClause: 2564.327 Set: 588.78 Check: 0.0 Back: 63.905
INFO - Atoms: 57897/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 2430202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.283 Prop: 2684.169 PropClause: 2619.487 Set: 599.23 Check: 0.0 Back: 65.521
INFO - Atoms: 57733/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 2487773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.385 Prop: 2743.561 PropClause: 2677.475 Set: 609.818 Check: 0.0 Back: 67.152
INFO - Atoms: 57571/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 2545194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.441 Prop: 2801.118 PropClause: 2733.628 Set: 620.2 Check: 0.0 Back: 68.758
INFO - Atoms: 57421/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 2602439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.489 Prop: 2860.713 PropClause: 2791.826 Set: 630.667 Check: 0.0 Back: 70.357
INFO - Atoms: 57245/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 2659533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.534 Prop: 2917.997 PropClause: 2847.704 Set: 641.083 Check: 0.0 Back: 71.919
INFO - Atoms: 57094/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 2716452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.612 Prop: 2975.893 PropClause: 2904.201 Set: 651.345 Check: 0.0 Back: 73.518
INFO - Atoms: 56919/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 2773221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.653 Prop: 3032.16 PropClause: 2959.079 Set: 661.534 Check: 0.0 Back: 75.106
INFO - Atoms: 56769/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 2829814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.707 Prop: 3089.928 PropClause: 3015.455 Set: 671.862 Check: 0.0 Back: 76.672
INFO - Atoms: 56593/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 2886243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.753 Prop: 3153.407 PropClause: 3077.549 Set: 682.186 Check: 0.0 Back: 78.23
INFO - Atoms: 56429/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 2942510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.796 Prop: 3214.209 PropClause: 3136.975 Set: 692.46 Check: 0.0 Back: 79.786
INFO - Atoms: 56267/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 2998613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.837 Prop: 3271.914 PropClause: 3193.313 Set: 702.631 Check: 0.0 Back: 81.339
INFO - Atoms: 56103/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 3054554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.886 Prop: 3328.218 PropClause: 3248.238 Set: 712.655 Check: 0.0 Back: 82.881
INFO - Atoms: 55941/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 3110331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.043 Prop: 3392.599 PropClause: 3311.227 Set: 723.109 Check: 0.0 Back: 84.451
INFO - Atoms: 55777/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 3165946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.064 Prop: 3449.621 PropClause: 3366.895 Set: 733.231 Check: 0.0 Back: 86.008
INFO - Atoms: 55615/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 3221412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.086 Prop: 3504.475 PropClause: 3420.395 Set: 743.238 Check: 0.0 Back: 87.533
INFO - Atoms: 55466/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 3276701 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.107 Prop: 3560.288 PropClause: 3474.854 Set: 753.182 Check: 0.0 Back: 89.083
INFO - Atoms: 55289/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 3331826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.128 Prop: 3616.041 PropClause: 3529.259 Set: 763.236 Check: 0.0 Back: 90.609
INFO - Atoms: 55125/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 3386789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.151 Prop: 3670.629 PropClause: 3582.502 Set: 773.094 Check: 0.0 Back: 92.131
INFO - Atoms: 54963/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 3441602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.177 Prop: 3724.143 PropClause: 3634.684 Set: 782.902 Check: 0.0 Back: 93.632
INFO - Atoms: 54813/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 3496239 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.199 Prop: 3780.45 PropClause: 3689.649 Set: 792.93 Check: 0.0 Back: 95.12
INFO - Atoms: 54637/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 3550712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.224 Prop: 3834.022 PropClause: 3741.891 Set: 802.653 Check: 0.0 Back: 96.613
INFO - Atoms: 54473/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 3605023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.246 Prop: 3889.12 PropClause: 3795.653 Set: 812.5 Check: 0.0 Back: 98.11
INFO - Atoms: 54311/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 3659185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.266 Prop: 3942.417 PropClause: 3847.623 Set: 822.286 Check: 0.0 Back: 99.598
INFO - Atoms: 54162/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 3713170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.287 Prop: 3997.553 PropClause: 3901.445 Set: 832.016 Check: 0.0 Back: 101.091
INFO - Atoms: 53985/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 3766991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.307 Prop: 4054.154 PropClause: 3956.73 Set: 841.772 Check: 0.0 Back: 102.551
INFO - Atoms: 53821/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 3820650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.33 Prop: 4109.302 PropClause: 4010.571 Set: 851.458 Check: 0.0 Back: 104.031
INFO - Atoms: 53659/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 3874159 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.349 Prop: 4160.9 PropClause: 4060.86 Set: 861.139 Check: 0.0 Back: 105.49
INFO - Atoms: 53509/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 3927492 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.368 Prop: 4216.951 PropClause: 4115.609 Set: 870.705 Check: 0.0 Back: 106.939
INFO - Atoms: 53333/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 3980674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.391 Prop: 4269.765 PropClause: 4167.129 Set: 880.407 Check: 0.0 Back: 108.377
INFO - Atoms: 53182/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 4033681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.413 Prop: 4321.817 PropClause: 4217.886 Set: 889.914 Check: 0.0 Back: 109.805
INFO - Atoms: 53007/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 4086537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.435 Prop: 4374.586 PropClause: 4269.366 Set: 899.418 Check: 0.0 Back: 111.231
INFO - Atoms: 52856/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 4139218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.453 Prop: 4432.08 PropClause: 4325.577 Set: 908.81 Check: 0.0 Back: 112.673
INFO - Atoms: 52681/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 4191748 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.472 Prop: 4481.918 PropClause: 4374.131 Set: 918.117 Check: 0.0 Back: 114.09
INFO - Atoms: 52530/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 4244103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.493 Prop: 4540.082 PropClause: 4431.014 Set: 927.638 Check: 0.0 Back: 115.515
INFO - Atoms: 52355/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 4296294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.566 Prop: 4589.488 PropClause: 4479.149 Set: 936.926 Check: 0.0 Back: 116.905
INFO - Atoms: 52191/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 4348323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.58 Prop: 4640.794 PropClause: 4529.187 Set: 946.311 Check: 0.0 Back: 118.323
INFO - Atoms: 52029/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 4400203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.596 Prop: 4688.901 PropClause: 4576.032 Set: 955.454 Check: 0.0 Back: 119.741
INFO - Atoms: 51880/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 4451906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.64 Prop: 4746.184 PropClause: 4632.046 Set: 964.838 Check: 0.0 Back: 121.15
INFO - Atoms: 51703/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 4503459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.713 Prop: 4793.652 PropClause: 4678.266 Set: 973.946 Check: 0.0 Back: 122.429
INFO - Atoms: 51553/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 4554836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.731 Prop: 4845.255 PropClause: 4728.614 Set: 983.046 Check: 0.0 Back: 123.833
INFO - Atoms: 51377/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 4606062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.747 Prop: 4894.192 PropClause: 4776.306 Set: 992.168 Check: 0.0 Back: 125.218
INFO - Atoms: 51226/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 4657113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.763 Prop: 4944.147 PropClause: 4825.008 Set: 1001.243 Check: 0.0 Back: 126.593
INFO - Atoms: 51051/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 4708000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.784 Prop: 4998.352 PropClause: 4877.961 Set: 1010.424 Check: 0.0 Back: 127.965
INFO - Atoms: 50887/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 4758725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.798 Prop: 5048.711 PropClause: 4927.082 Set: 1019.576 Check: 0.0 Back: 129.343
INFO - Atoms: 50725/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 4809300 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.817 Prop: 5095.591 PropClause: 4972.725 Set: 1028.587 Check: 0.0 Back: 130.609
INFO - Atoms: 50575/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 4859699 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.834 Prop: 5145.85 PropClause: 5021.744 Set: 1037.541 Check: 0.0 Back: 131.988
INFO - Atoms: 50399/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 4909947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.85 Prop: 5194.583 PropClause: 5069.254 Set: 1046.432 Check: 0.0 Back: 133.337
INFO - Atoms: 50248/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 4960020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.865 Prop: 5242.729 PropClause: 5116.185 Set: 1055.326 Check: 0.0 Back: 134.709
INFO - Atoms: 50073/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 5009929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.883 Prop: 5288.394 PropClause: 5160.631 Set: 1064.095 Check: 0.0 Back: 136.04
INFO - Atoms: 49909/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 5059676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.898 Prop: 5335.439 PropClause: 5206.466 Set: 1072.854 Check: 0.0 Back: 137.372
INFO - Atoms: 49747/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 5109273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.913 Prop: 5381.674 PropClause: 5251.49 Set: 1081.585 Check: 0.0 Back: 138.697
INFO - Atoms: 49597/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 5158694 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.93 Prop: 5429.078 PropClause: 5297.689 Set: 1090.441 Check: 0.0 Back: 140.036
INFO - Atoms: 49421/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 5207964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.947 Prop: 5472.371 PropClause: 5339.781 Set: 1099.009 Check: 0.0 Back: 141.367
INFO - Atoms: 49270/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 5257059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.963 Prop: 5517.126 PropClause: 5383.342 Set: 1107.563 Check: 0.0 Back: 142.689
INFO - Atoms: 49095/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 5306004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.01 Prop: 5560.54 PropClause: 5425.564 Set: 1116.102 Check: 0.0 Back: 143.996
INFO - Atoms: 48945/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 5354773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.066 Prop: 5610.674 PropClause: 5474.509 Set: 1124.826 Check: 0.0 Back: 145.3
INFO - Atoms: 48769/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 5403392 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.078 Prop: 5653.582 PropClause: 5516.226 Set: 1133.281 Check: 0.0 Back: 146.606
INFO - Atoms: 48619/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 5451835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.088 Prop: 5697.283 PropClause: 5558.736 Set: 1141.758 Check: 0.0 Back: 147.906
INFO - Atoms: 48443/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 5500128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.098 Prop: 5740.765 PropClause: 5601.036 Set: 1150.288 Check: 0.0 Back: 149.212
INFO - Atoms: 48293/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 5548245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.111 Prop: 5784.494 PropClause: 5643.584 Set: 1158.683 Check: 0.0 Back: 150.509
INFO - Atoms: 48117/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 5596211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.121 Prop: 5826.807 PropClause: 5684.722 Set: 1167.078 Check: 0.0 Back: 151.791
INFO - Atoms: 47966/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 5644002 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.134 Prop: 5869.405 PropClause: 5726.151 Set: 1175.463 Check: 0.0 Back: 153.079
INFO - Atoms: 47791/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 5691629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.144 Prop: 5910.193 PropClause: 5765.773 Set: 1183.697 Check: 0.0 Back: 154.352
INFO - Atoms: 47627/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 5739094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.154 Prop: 5952.307 PropClause: 5806.719 Set: 1191.956 Check: 0.0 Back: 155.626
INFO - Atoms: 47465/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 5786395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.164 Prop: 5992.32 PropClause: 5845.569 Set: 1200.142 Check: 0.0 Back: 156.91
INFO - Atoms: 47301/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 5833534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.177 Prop: 6033.106 PropClause: 5885.202 Set: 1208.273 Check: 0.0 Back: 158.184
INFO - Atoms: 47139/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 5880524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.189 Prop: 6073.346 PropClause: 5924.295 Set: 1216.418 Check: 0.0 Back: 159.424
INFO - Atoms: 46990/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 5927337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.199 Prop: 6114.075 PropClause: 5963.875 Set: 1224.55 Check: 0.0 Back: 160.691
INFO - Atoms: 46813/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 5973986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.211 Prop: 6153.864 PropClause: 6002.49 Set: 1232.643 Check: 0.0 Back: 161.948
INFO - Atoms: 46649/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 6020473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.224 Prop: 6197.879 PropClause: 6045.362 Set: 1240.867 Check: 0.0 Back: 163.214
INFO - Atoms: 46487/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 6066810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.239 Prop: 6238.572 PropClause: 6084.912 Set: 1249.035 Check: 0.0 Back: 164.453
INFO - Atoms: 46337/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 6112971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.251 Prop: 6280.153 PropClause: 6125.353 Set: 1257.053 Check: 0.0 Back: 165.706
INFO - Atoms: 46161/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 6158982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.265 Prop: 6317.669 PropClause: 6161.739 Set: 1264.947 Check: 0.0 Back: 166.939
INFO - Atoms: 46011/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 6204817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.276 Prop: 6356.485 PropClause: 6199.419 Set: 1272.832 Check: 0.0 Back: 168.17
INFO - Atoms: 45835/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 6250488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.288 Prop: 6394.776 PropClause: 6236.574 Set: 1280.708 Check: 0.0 Back: 169.379
INFO - Atoms: 45671/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 6295997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.302 Prop: 6438.284 PropClause: 6278.962 Set: 1288.843 Check: 0.0 Back: 170.608
INFO - Atoms: 45509/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 6341357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.314 Prop: 6473.599 PropClause: 6313.164 Set: 1296.531 Check: 0.0 Back: 171.822
INFO - Atoms: 45360/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 6386540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.33 Prop: 6510.849 PropClause: 6349.302 Set: 1304.282 Check: 0.0 Back: 173.032
INFO - Atoms: 45183/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 6431573 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.342 Prop: 6547.202 PropClause: 6384.534 Set: 1311.985 Check: 0.0 Back: 174.235
INFO - Atoms: 45033/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 6476430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.356 Prop: 6584.866 PropClause: 6421.096 Set: 1319.62 Check: 0.0 Back: 175.447
INFO - Atoms: 44857/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 6521123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.37 Prop: 6620.723 PropClause: 6455.856 Set: 1327.235 Check: 0.0 Back: 176.62
INFO - Atoms: 44693/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 6565654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.381 Prop: 6657.068 PropClause: 6491.111 Set: 1334.78 Check: 0.0 Back: 177.792
INFO - Atoms: 44531/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 6610021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.393 Prop: 6692.851 PropClause: 6525.809 Set: 1342.332 Check: 0.0 Back: 178.966
INFO - Atoms: 44367/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 6654226 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.404 Prop: 6730.159 PropClause: 6562.038 Set: 1349.885 Check: 0.0 Back: 180.139
INFO - Atoms: 44205/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 6698281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.416 Prop: 6766.173 PropClause: 6596.972 Set: 1357.413 Check: 0.0 Back: 181.286
INFO - Atoms: 44055/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 6742160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.426 Prop: 6801.521 PropClause: 6631.244 Set: 1364.938 Check: 0.0 Back: 182.44
INFO - Atoms: 43879/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 6785888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.439 Prop: 6837.368 PropClause: 6666.02 Set: 1372.429 Check: 0.0 Back: 183.584
INFO - Atoms: 43728/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 6829441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.451 Prop: 6872.657 PropClause: 6700.247 Set: 1379.817 Check: 0.0 Back: 184.724
INFO - Atoms: 43553/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 6872830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.463 Prop: 6906.696 PropClause: 6733.221 Set: 1387.176 Check: 0.0 Back: 185.869
INFO - Atoms: 43389/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 6916057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.473 Prop: 6941.767 PropClause: 6767.236 Set: 1394.513 Check: 0.0 Back: 186.996
INFO - Atoms: 43227/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 6959120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.487 Prop: 6975.592 PropClause: 6800.013 Set: 1401.745 Check: 0.0 Back: 188.116
INFO - Atoms: 43063/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 7002021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.497 Prop: 7014.373 PropClause: 6837.742 Set: 1409.082 Check: 0.0 Back: 189.23
INFO - Atoms: 42901/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 7044758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.51 Prop: 7048.243 PropClause: 6870.568 Set: 1416.286 Check: 0.0 Back: 190.352
INFO - Atoms: 42737/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 7087333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.524 Prop: 7080.994 PropClause: 6902.273 Set: 1423.464 Check: 0.0 Back: 191.447
INFO - Atoms: 42575/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 7129758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.532 Prop: 7113.036 PropClause: 6933.274 Set: 1430.609 Check: 0.0 Back: 192.537
INFO - Atoms: 42425/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 7172007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.544 Prop: 7146.428 PropClause: 6965.632 Set: 1449.005 Check: 0.0 Back: 193.639
INFO - Atoms: 42249/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 7214740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.579 Prop: 7180.061 PropClause: 6998.222 Set: 1456.265 Check: 0.0 Back: 194.691
INFO - Atoms: 42733/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 7257638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.623 Prop: 7213.499 PropClause: 7030.607 Set: 1463.589 Check: 0.0 Back: 195.803
INFO - Atoms: 42898/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 7300698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.658 Prop: 7246.486 PropClause: 7062.532 Set: 1470.987 Check: 0.0 Back: 196.906
INFO - Atoms: 43060/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 7343903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.702 Prop: 7281.454 PropClause: 7096.444 Set: 1478.384 Check: 0.0 Back: 198.02
INFO - Atoms: 43205/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 7387127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.833 Prop: 7316.102 PropClause: 7130.033 Set: 1485.856 Check: 0.0 Back: 199.139
INFO - Atoms: 43224/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 7429858 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.848 Prop: 7350.174 PropClause: 7163.057 Set: 1493.168 Check: 0.0 Back: 200.262
INFO - Atoms: 42731/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 7473200 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.864 Prop: 7385.912 PropClause: 7197.732 Set: 1500.705 Check: 0.0 Back: 201.372
INFO - Atoms: 43342/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 7516421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.881 Prop: 7420.301 PropClause: 7231.061 Set: 1508.129 Check: 0.0 Back: 202.491
INFO - Atoms: 43221/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 7559153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.899 Prop: 7454.316 PropClause: 7264.029 Set: 1515.412 Check: 0.0 Back: 203.614
INFO - Atoms: 42732/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 7602375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.914 Prop: 7489.102 PropClause: 7297.755 Set: 1522.832 Check: 0.0 Back: 204.729
INFO - Atoms: 43222/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 7645716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.932 Prop: 7523.727 PropClause: 7331.312 Set: 1530.354 Check: 0.0 Back: 205.855
INFO - Atoms: 43341/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 7689077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.949 Prop: 7558.621 PropClause: 7365.145 Set: 1537.774 Check: 0.0 Back: 206.985
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 7732280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.964 Prop: 7593.545 PropClause: 7399.009 Set: 1545.277 Check: 0.0 Back: 208.12
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 7775622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.98 Prop: 7629.073 PropClause: 7433.473 Set: 1552.738 Check: 0.0 Back: 209.252
INFO - Atoms: 43342/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 7818369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.994 Prop: 7662.248 PropClause: 7465.6 Set: 1560.003 Check: 0.0 Back: 210.385
INFO - Atoms: 42747/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 7861589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.009 Prop: 7698.228 PropClause: 7500.511 Set: 1567.526 Check: 0.0 Back: 211.494
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 7904932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.024 Prop: 7732.132 PropClause: 7533.353 Set: 1574.976 Check: 0.0 Back: 212.623
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 7948293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.04 Prop: 7766.335 PropClause: 7566.494 Set: 1582.4 Check: 0.0 Back: 213.743
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 7991496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.058 Prop: 7801.324 PropClause: 7600.42 Set: 1589.878 Check: 0.0 Back: 214.86
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 8034836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.074 Prop: 7838.474 PropClause: 7636.502 Set: 1597.448 Check: 0.0 Back: 215.998
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 8077581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.091 Prop: 7872.486 PropClause: 7669.466 Set: 1604.746 Check: 0.0 Back: 217.127
INFO - Atoms: 42745/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 8120801 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.107 Prop: 7909.017 PropClause: 7704.916 Set: 1612.261 Check: 0.0 Back: 218.245
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 8164144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.123 Prop: 7943.101 PropClause: 7737.922 Set: 1619.809 Check: 0.0 Back: 219.396
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 8207507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.14 Prop: 7981.323 PropClause: 7775.057 Set: 1627.711 Check: 0.0 Back: 220.532
INFO - Atoms: 43363/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 8250710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.157 Prop: 8017.051 PropClause: 7809.705 Set: 1635.295 Check: 0.0 Back: 221.682
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 8294050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.175 Prop: 8051.752 PropClause: 7843.316 Set: 1642.834 Check: 0.0 Back: 222.826
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 8336796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.19 Prop: 8086.498 PropClause: 7876.996 Set: 1650.317 Check: 0.0 Back: 223.96
INFO - Atoms: 42746/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 8380016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.207 Prop: 8122.36 PropClause: 7911.8 Set: 1657.857 Check: 0.0 Back: 225.067
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 8423359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.221 Prop: 8158.591 PropClause: 7946.964 Set: 1665.457 Check: 0.0 Back: 226.191
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 8466720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.236 Prop: 8197.726 PropClause: 7985.033 Set: 1673.176 Check: 0.0 Back: 227.325
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 8509923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.253 Prop: 8233.55 PropClause: 8019.799 Set: 1680.65 Check: 0.0 Back: 228.442
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 8553263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.267 Prop: 8269.123 PropClause: 8054.313 Set: 1688.186 Check: 0.0 Back: 229.575
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 8596009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.316 Prop: 8304.412 PropClause: 8088.56 Set: 1695.552 Check: 0.0 Back: 230.707
INFO - Atoms: 42746/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 8639229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.37 Prop: 8340.77 PropClause: 8123.866 Set: 1703.085 Check: 0.0 Back: 231.824
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 8682572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.415 Prop: 8378.047 PropClause: 8160.082 Set: 1710.801 Check: 0.0 Back: 232.944
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 8725935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.431 Prop: 8416.392 PropClause: 8197.365 Set: 1718.348 Check: 0.0 Back: 234.07
INFO - Atoms: 43363/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 8769138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.449 Prop: 8453.452 PropClause: 8233.37 Set: 1725.919 Check: 0.0 Back: 235.204
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 8812478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.469 Prop: 8488.708 PropClause: 8267.569 Set: 1733.378 Check: 0.0 Back: 236.316
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 8855210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.482 Prop: 8523.203 PropClause: 8301.015 Set: 1740.727 Check: 0.0 Back: 237.447
INFO - Atoms: 42732/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 8898431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.498 Prop: 8557.722 PropClause: 8334.48 Set: 1748.267 Check: 0.0 Back: 238.555
INFO - Atoms: 43221/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 8941773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.514 Prop: 8594.178 PropClause: 8369.87 Set: 1755.757 Check: 0.0 Back: 239.684
INFO - Atoms: 43342/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 8985136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.528 Prop: 8629.74 PropClause: 8404.373 Set: 1763.276 Check: 0.0 Back: 240.823
INFO - Atoms: 43363/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 9028339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.544 Prop: 8664.714 PropClause: 8438.294 Set: 1770.729 Check: 0.0 Back: 241.948
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 9071679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.558 Prop: 8699.084 PropClause: 8471.61 Set: 1778.237 Check: 0.0 Back: 243.059
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 9114426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.573 Prop: 8734.607 PropClause: 8506.088 Set: 1785.672 Check: 0.0 Back: 244.177
INFO - Atoms: 42747/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 9157647 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.591 Prop: 8774.16 PropClause: 8544.581 Set: 1793.195 Check: 0.0 Back: 245.299
INFO - Atoms: 43221/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 9200989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.608 Prop: 8807.295 PropClause: 8576.66 Set: 1800.627 Check: 0.0 Back: 246.415
INFO - Atoms: 43342/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 9244350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.624 Prop: 8840.359 PropClause: 8608.662 Set: 1808.085 Check: 0.0 Back: 247.532
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 9287553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.639 Prop: 8873.598 PropClause: 8640.849 Set: 1815.454 Check: 0.0 Back: 248.664
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 9330893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.659 Prop: 8906.704 PropClause: 8672.899 Set: 1822.787 Check: 0.0 Back: 249.801
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 9373639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.673 Prop: 8939.906 PropClause: 8705.058 Set: 1830.082 Check: 0.0 Back: 250.92
INFO - Atoms: 42746/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 9416860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.687 Prop: 8973.075 PropClause: 8737.175 Set: 1837.486 Check: 0.0 Back: 252.032
INFO - Atoms: 43221/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 9460202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.714 Prop: 9006.631 PropClause: 8769.678 Set: 1844.994 Check: 0.0 Back: 253.14
INFO - Atoms: 43342/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 9503563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.727 Prop: 9040.041 PropClause: 8802.024 Set: 1852.432 Check: 0.0 Back: 254.268
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 9546766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.744 Prop: 9077.2 PropClause: 8838.121 Set: 1860.108 Check: 0.0 Back: 255.381
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 9590106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.762 Prop: 9115.795 PropClause: 8875.656 Set: 1867.725 Check: 0.0 Back: 256.505
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 9632838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.786 Prop: 9155.693 PropClause: 8914.499 Set: 1875.244 Check: 0.0 Back: 257.63
INFO - Atoms: 42732/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 9676059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.828 Prop: 9188.779 PropClause: 8946.534 Set: 1882.676 Check: 0.0 Back: 258.733
INFO - Atoms: 43221/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 9719401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.86 Prop: 9222.221 PropClause: 8978.924 Set: 1890.159 Check: 0.0 Back: 259.852
INFO - Atoms: 43342/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 9762762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.864 Prop: 9260.488 PropClause: 9016.132 Set: 1897.912 Check: 0.0 Back: 260.971
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 9805965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.869 Prop: 9292.849 PropClause: 9047.442 Set: 1905.262 Check: 0.0 Back: 262.11
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 9849305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.873 Prop: 9327.876 PropClause: 9081.403 Set: 1912.718 Check: 0.0 Back: 263.245
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 9892051 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.879 Prop: 9363.024 PropClause: 9115.505 Set: 1920.265 Check: 0.0 Back: 264.356
INFO - Atoms: 42746/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 9935271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.884 Prop: 9397.723 PropClause: 9149.15 Set: 1927.768 Check: 0.0 Back: 265.471
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 9978614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.889 Prop: 9430.057 PropClause: 9180.423 Set: 1935.24 Check: 0.0 Back: 266.583
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 10021975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.894 Prop: 9466.508 PropClause: 9215.822 Set: 1942.822 Check: 0.0 Back: 267.698
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 10065178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.9 Prop: 9499.635 PropClause: 9247.896 Set: 1950.163 Check: 0.0 Back: 268.824
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 10108518 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.904 Prop: 9534.018 PropClause: 9281.227 Set: 1957.566 Check: 0.0 Back: 269.963
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 10151250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.909 Prop: 9567.614 PropClause: 9313.773 Set: 1964.899 Check: 0.0 Back: 271.084
INFO - Atoms: 42732/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 10194471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.913 Prop: 9601.13 PropClause: 9346.246 Set: 1972.274 Check: 0.0 Back: 272.202
INFO - Atoms: 43221/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 10237813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.919 Prop: 9633.408 PropClause: 9377.457 Set: 1979.695 Check: 0.0 Back: 273.323
INFO - Atoms: 43342/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 10281176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.923 Prop: 9665.683 PropClause: 9408.676 Set: 1987.096 Check: 0.0 Back: 274.442
INFO - Atoms: 43363/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 10324379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.928 Prop: 9701.13 PropClause: 9443.072 Set: 1994.593 Check: 0.0 Back: 275.558
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 10367719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.934 Prop: 9736.158 PropClause: 9477.044 Set: 2002.164 Check: 0.0 Back: 276.684
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 10410451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.94 Prop: 9769.992 PropClause: 9509.835 Set: 2009.621 Check: 0.0 Back: 277.804
INFO - Atoms: 42732/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 10453672 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.944 Prop: 9804.914 PropClause: 9543.699 Set: 2017.171 Check: 0.0 Back: 278.901
INFO - Atoms: 43221/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 10497014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.949 Prop: 9837.703 PropClause: 9575.426 Set: 2024.671 Check: 0.0 Back: 280.027
INFO - Atoms: 43342/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 10540377 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.954 Prop: 9873.522 PropClause: 9610.195 Set: 2032.261 Check: 0.0 Back: 281.166
INFO - Atoms: 43363/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 10583580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.959 Prop: 9912.267 PropClause: 9647.876 Set: 2039.934 Check: 0.0 Back: 282.289
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 10626920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.964 Prop: 9949.094 PropClause: 9683.646 Set: 2047.462 Check: 0.0 Back: 283.404
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 10669667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.969 Prop: 9982.573 PropClause: 9716.079 Set: 2054.813 Check: 0.0 Back: 284.527
INFO - Atoms: 42747/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 10712887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.973 Prop: 10016.925 PropClause: 9749.373 Set: 2062.393 Check: 0.0 Back: 285.601
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 10756230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.978 Prop: 10050.99 PropClause: 9782.372 Set: 2069.945 Check: 0.0 Back: 286.718
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 10799593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.984 Prop: 10085.219 PropClause: 9815.537 Set: 2087.263 Check: 0.0 Back: 287.835
INFO - Atoms: 43363/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 10842796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.988 Prop: 10122.328 PropClause: 9851.591 Set: 2094.75 Check: 0.0 Back: 288.943
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 10886136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.993 Prop: 10155.068 PropClause: 9883.273 Set: 2102.143 Check: 0.0 Back: 290.086
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 10928881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.998 Prop: 10188.174 PropClause: 9915.335 Set: 2109.439 Check: 0.0 Back: 291.218
INFO - Atoms: 42745/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 10972101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.002 Prop: 10221.236 PropClause: 9947.344 Set: 2116.903 Check: 0.0 Back: 292.328
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 11015444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.006 Prop: 10254.053 PropClause: 9979.103 Set: 2124.287 Check: 0.0 Back: 293.434
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 11058805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.011 Prop: 10287.415 PropClause: 10011.408 Set: 2131.799 Check: 0.0 Back: 294.577
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 11102008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.015 Prop: 10320.812 PropClause: 10043.754 Set: 2139.195 Check: 0.0 Back: 295.685
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 11145348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.019 Prop: 10354.107 PropClause: 10075.984 Set: 2146.625 Check: 0.0 Back: 296.827
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 11188094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.023 Prop: 10388.792 PropClause: 10109.625 Set: 2160.859 Check: 0.0 Back: 297.919
INFO - Atoms: 42746/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 11231314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.028 Prop: 10422.471 PropClause: 10142.241 Set: 2168.461 Check: 0.0 Back: 299.021
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 11274657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.032 Prop: 10456.073 PropClause: 10174.775 Set: 2176.074 Check: 0.0 Back: 300.155
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 11318018 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.037 Prop: 10490.124 PropClause: 10207.773 Set: 2183.63 Check: 0.0 Back: 301.274
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 11361221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.041 Prop: 10524.402 PropClause: 10240.995 Set: 2191.201 Check: 0.0 Back: 302.397
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 11404561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.045 Prop: 10558.653 PropClause: 10274.19 Set: 2198.775 Check: 0.0 Back: 303.522
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 11447307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.05 Prop: 10596.08 PropClause: 10310.568 Set: 2206.47 Check: 0.0 Back: 304.649
INFO - Atoms: 42746/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 11490528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.055 Prop: 10631.165 PropClause: 10344.587 Set: 2214.178 Check: 0.0 Back: 305.782
INFO - Atoms: 43221/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 11533870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.06 Prop: 10664.282 PropClause: 10376.647 Set: 2221.694 Check: 0.0 Back: 306.902
INFO - Atoms: 43342/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 11577233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.064 Prop: 10701.353 PropClause: 10412.656 Set: 2229.503 Check: 0.0 Back: 308.024
INFO - Atoms: 43363/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 11620436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.069 Prop: 10735.548 PropClause: 10445.783 Set: 2237.028 Check: 0.0 Back: 309.141
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 11663776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.075 Prop: 10770.609 PropClause: 10479.787 Set: 2244.602 Check: 0.0 Back: 310.258
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 11706521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.08 Prop: 10807.273 PropClause: 10515.394 Set: 2252.099 Check: 0.0 Back: 311.375
INFO - Atoms: 42745/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 11749742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.086 Prop: 10841.959 PropClause: 10549.032 Set: 2259.706 Check: 0.0 Back: 312.488
INFO - Atoms: 43221/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 11793084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.09 Prop: 10879.048 PropClause: 10585.061 Set: 2267.5 Check: 0.0 Back: 313.606
INFO - Atoms: 43342/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 11836445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.095 Prop: 10912.87 PropClause: 10617.83 Set: 2274.99 Check: 0.0 Back: 314.737
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 11879648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.1 Prop: 10949.667 PropClause: 10653.535 Set: 2282.842 Check: 0.0 Back: 315.853
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 11922988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.113 Prop: 10984.339 PropClause: 10687.152 Set: 2290.41 Check: 0.0 Back: 316.987
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 11965720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.118 Prop: 11017.755 PropClause: 10719.519 Set: 2297.843 Check: 0.0 Back: 318.117
INFO - Atoms: 42732/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 12008941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.124 Prop: 11052.096 PropClause: 10752.808 Set: 2305.361 Check: 0.0 Back: 319.237
INFO - Atoms: 43221/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 12052283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.128 Prop: 11086.501 PropClause: 10786.15 Set: 2313.076 Check: 0.0 Back: 320.349
INFO - Atoms: 43342/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 12095644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.133 Prop: 11120.464 PropClause: 10819.057 Set: 2320.591 Check: 0.0 Back: 321.473
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 12138847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.139 Prop: 11154.125 PropClause: 10851.662 Set: 2328.109 Check: 0.0 Back: 322.596
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 12182187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.143 Prop: 11188.542 PropClause: 10885.024 Set: 2335.663 Check: 0.0 Back: 323.721
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 12224933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.148 Prop: 11222.068 PropClause: 10917.507 Set: 2343.129 Check: 0.0 Back: 324.841
INFO - Atoms: 42746/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 12268153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.153 Prop: 11256.828 PropClause: 10951.21 Set: 2350.825 Check: 0.0 Back: 325.953
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 12311496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.158 Prop: 11290.532 PropClause: 10983.857 Set: 2358.33 Check: 0.0 Back: 327.075
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 12354857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.163 Prop: 11327.179 PropClause: 11019.444 Set: 2365.947 Check: 0.0 Back: 328.19
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 12398060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.168 Prop: 11362.16 PropClause: 11053.37 Set: 2373.53 Check: 0.0 Back: 329.302
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 12441400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.173 Prop: 11395.854 PropClause: 11086.004 Set: 2381.123 Check: 0.0 Back: 330.439
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 12484145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.178 Prop: 11429.888 PropClause: 11118.996 Set: 2388.558 Check: 0.0 Back: 331.562
INFO - Atoms: 42745/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 12527366 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.183 Prop: 11464.311 PropClause: 11152.363 Set: 2396.182 Check: 0.0 Back: 332.674
INFO - Atoms: 43221/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 12570708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.188 Prop: 11498.238 PropClause: 11185.233 Set: 2403.779 Check: 0.0 Back: 333.803
INFO - Atoms: 43342/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 12613441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.193 Prop: 11531.984 PropClause: 11217.942 Set: 2411.244 Check: 0.0 Back: 334.934
INFO - Atoms: 42733/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 12656781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.197 Prop: 11565.359 PropClause: 11250.262 Set: 2418.813 Check: 0.0 Back: 336.024
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 12700004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.201 Prop: 11601.311 PropClause: 11285.161 Set: 2426.533 Check: 0.0 Back: 337.145
INFO - Atoms: 43223/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 12743364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.206 Prop: 11634.314 PropClause: 11317.111 Set: 2434.017 Check: 0.0 Back: 338.257
INFO - Atoms: 43360/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 12786703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.211 Prop: 11668.469 PropClause: 11350.222 Set: 2441.538 Check: 0.0 Back: 339.378
INFO - Atoms: 43339/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 12829908 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.215 Prop: 11700.692 PropClause: 11381.399 Set: 2448.906 Check: 0.0 Back: 340.495
INFO - Atoms: 43205/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 12872641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.219 Prop: 11733.325 PropClause: 11412.992 Set: 2456.194 Check: 0.0 Back: 341.606
INFO - Atoms: 42733/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 12915981 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.224 Prop: 11765.477 PropClause: 11444.096 Set: 2463.605 Check: 0.0 Back: 342.703
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 12959204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.229 Prop: 11797.565 PropClause: 11475.137 Set: 2470.982 Check: 0.0 Back: 343.815
INFO - Atoms: 43223/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 13002564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.232 Prop: 11829.386 PropClause: 11505.906 Set: 2478.396 Check: 0.0 Back: 344.921
INFO - Atoms: 43360/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 13045906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.236 Prop: 11862.139 PropClause: 11537.609 Set: 2485.844 Check: 0.0 Back: 346.041
INFO - Atoms: 43342/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 13089111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.241 Prop: 11894.748 PropClause: 11569.174 Set: 2493.3 Check: 0.0 Back: 347.159
INFO - Atoms: 43205/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 13132472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.245 Prop: 11926.428 PropClause: 11599.804 Set: 2500.685 Check: 0.0 Back: 348.276
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 13175675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.25 Prop: 11958.411 PropClause: 11630.737 Set: 2508.034 Check: 0.0 Back: 349.393
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 13219015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.254 Prop: 11994.035 PropClause: 11665.301 Set: 2515.554 Check: 0.0 Back: 350.514
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 13261762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.258 Prop: 12025.025 PropClause: 11695.25 Set: 2522.812 Check: 0.0 Back: 351.643
INFO - Atoms: 42747/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 13304984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.264 Prop: 12060.667 PropClause: 11729.836 Set: 2530.368 Check: 0.0 Back: 352.672
INFO - Atoms: 43222/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 13348325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.268 Prop: 12093.077 PropClause: 11761.192 Set: 2537.806 Check: 0.0 Back: 353.79
INFO - Atoms: 43341/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 13391686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.273 Prop: 12125.614 PropClause: 11792.665 Set: 2545.299 Check: 0.0 Back: 354.913
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 13434889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.278 Prop: 12157.724 PropClause: 11823.714 Set: 2552.759 Check: 0.0 Back: 356.035
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 13478229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.282 Prop: 12192.622 PropClause: 11857.549 Set: 2560.217 Check: 0.0 Back: 357.161
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 13520975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.286 Prop: 12224.812 PropClause: 11888.689 Set: 2578.233 Check: 0.0 Back: 358.29
INFO - Atoms: 42746/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 13564196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.29 Prop: 12257.154 PropClause: 11919.978 Set: 2585.637 Check: 0.0 Back: 359.368
INFO - Atoms: 43221/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 13607538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.296 Prop: 12290.955 PropClause: 11952.724 Set: 2593.137 Check: 0.0 Back: 360.484
INFO - Atoms: 43342/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 13650901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.302 Prop: 12323.238 PropClause: 11983.943 Set: 2600.573 Check: 0.0 Back: 361.594
INFO - Atoms: 43363/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 13694104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.305 Prop: 12355.849 PropClause: 12015.509 Set: 2608.021 Check: 0.0 Back: 362.722
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 13737444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.31 Prop: 12390.154 PropClause: 12048.75 Set: 2615.475 Check: 0.0 Back: 363.834
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 13780189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.314 Prop: 12424.298 PropClause: 12081.827 Set: 2622.992 Check: 0.0 Back: 364.942
INFO - Atoms: 42745/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 13823409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.319 Prop: 12456.647 PropClause: 12113.101 Set: 2630.485 Check: 0.0 Back: 366.074
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 13866752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.323 Prop: 12490.164 PropClause: 12145.561 Set: 2638.029 Check: 0.0 Back: 367.196
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 13910115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.327 Prop: 12525.064 PropClause: 12179.394 Set: 2645.768 Check: 0.0 Back: 368.314
INFO - Atoms: 43363/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 13953318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.332 Prop: 12560.407 PropClause: 12213.678 Set: 2653.349 Check: 0.0 Back: 369.434
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 13996658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.337 Prop: 12593.554 PropClause: 12245.762 Set: 2660.857 Check: 0.0 Back: 370.575
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 14039403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.341 Prop: 12630.645 PropClause: 12281.8 Set: 2668.46 Check: 0.0 Back: 371.678
INFO - Atoms: 42745/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 14082623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.346 Prop: 12663.359 PropClause: 12313.459 Set: 2675.952 Check: 0.0 Back: 372.794
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 14125966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.351 Prop: 12697.763 PropClause: 12346.797 Set: 2683.715 Check: 0.0 Back: 373.907
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 14169327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.356 Prop: 12732.388 PropClause: 12380.355 Set: 2691.404 Check: 0.0 Back: 375.042
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 14212530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.362 Prop: 12767.98 PropClause: 12414.885 Set: 2699.032 Check: 0.0 Back: 376.168
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 14255870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.368 Prop: 12802.455 PropClause: 12448.297 Set: 2706.627 Check: 0.0 Back: 377.275
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 14298602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.372 Prop: 12835.367 PropClause: 12480.156 Set: 2714.063 Check: 0.0 Back: 378.398
INFO - Atoms: 42732/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 14341822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.376 Prop: 12869.464 PropClause: 12513.193 Set: 2721.697 Check: 0.0 Back: 379.517
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 14385165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.381 Prop: 12903.481 PropClause: 12546.142 Set: 2729.353 Check: 0.0 Back: 380.631
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 14428526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.386 Prop: 12936.671 PropClause: 12578.252 Set: 2736.968 Check: 0.0 Back: 381.761
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 14471729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.391 Prop: 12972.669 PropClause: 12613.182 Set: 2744.682 Check: 0.0 Back: 382.903
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 14515069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.396 Prop: 13007.477 PropClause: 12646.914 Set: 2752.324 Check: 0.0 Back: 384.033
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 14557815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.401 Prop: 13043.332 PropClause: 12681.716 Set: 2759.918 Check: 0.0 Back: 385.169
INFO - Atoms: 42746/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 14601035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.406 Prop: 13076.553 PropClause: 12713.867 Set: 2767.569 Check: 0.0 Back: 386.282
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 14644378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.411 Prop: 13111.793 PropClause: 12748.035 Set: 2775.278 Check: 0.0 Back: 387.413
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 14687111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.415 Prop: 13148.759 PropClause: 12783.929 Set: 2782.918 Check: 0.0 Back: 388.526
INFO - Atoms: 42733/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 14730451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.419 Prop: 13185.952 PropClause: 12820.044 Set: 2790.759 Check: 0.0 Back: 389.641
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 14773674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.423 Prop: 13221.088 PropClause: 12854.112 Set: 2798.42 Check: 0.0 Back: 390.77
INFO - Atoms: 43223/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 14816406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.429 Prop: 13254.83 PropClause: 12886.804 Set: 2805.935 Check: 0.0 Back: 391.905
INFO - Atoms: 42732/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 14859629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.435 Prop: 13291.696 PropClause: 12922.61 Set: 2813.801 Check: 0.0 Back: 393.023
INFO - Atoms: 43223/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 14902969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.44 Prop: 13328.453 PropClause: 12958.308 Set: 2821.53 Check: 0.0 Back: 394.131
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 14946330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.444 Prop: 13366.126 PropClause: 12994.907 Set: 2829.321 Check: 0.0 Back: 395.274
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 14989533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.45 Prop: 13400.93 PropClause: 13028.658 Set: 2836.961 Check: 0.0 Back: 396.404
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 15032875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.455 Prop: 13434.673 PropClause: 13061.346 Set: 2844.501 Check: 0.0 Back: 397.518
INFO - Atoms: 43342/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 15075621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.46 Prop: 13468.207 PropClause: 13093.838 Set: 2851.956 Check: 0.0 Back: 398.641
INFO - Atoms: 42746/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 15118841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.464 Prop: 13503.741 PropClause: 13128.317 Set: 2859.554 Check: 0.0 Back: 399.742
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 15162184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.469 Prop: 13537.412 PropClause: 13160.927 Set: 2867.172 Check: 0.0 Back: 400.874
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 15205547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.475 Prop: 13571.495 PropClause: 13193.956 Set: 2874.733 Check: 0.0 Back: 401.997
INFO - Atoms: 43363/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 15248750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.479 Prop: 13605.953 PropClause: 13227.361 Set: 2882.371 Check: 0.0 Back: 403.112
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 15292090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.483 Prop: 13642.46 PropClause: 13262.81 Set: 2890.019 Check: 0.0 Back: 404.229
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 15334835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.487 Prop: 13675.514 PropClause: 13294.82 Set: 2897.474 Check: 0.0 Back: 405.354
INFO - Atoms: 42745/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 15378055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.492 Prop: 13710.207 PropClause: 13328.457 Set: 2905.096 Check: 0.0 Back: 406.465
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 15421398 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.496 Prop: 13744.882 PropClause: 13362.073 Set: 2912.833 Check: 0.0 Back: 407.584
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 15464761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.501 Prop: 13783.527 PropClause: 13399.658 Set: 2920.565 Check: 0.0 Back: 408.702
INFO - Atoms: 43363/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 15507964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.506 Prop: 13818.067 PropClause: 13433.144 Set: 2928.098 Check: 0.0 Back: 409.814
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 15551304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.511 Prop: 13854.187 PropClause: 13468.201 Set: 2935.858 Check: 0.0 Back: 410.934
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 15594036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.515 Prop: 13888.048 PropClause: 13501.015 Set: 2952.187 Check: 0.0 Back: 412.074
INFO - Atoms: 42732/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 15637256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.521 Prop: 13923.969 PropClause: 13535.881 Set: 2959.972 Check: 0.0 Back: 413.171
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 15680599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.526 Prop: 13959.531 PropClause: 13570.382 Set: 2967.643 Check: 0.0 Back: 414.272
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 15723962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.531 Prop: 13993.691 PropClause: 13603.481 Set: 2975.414 Check: 0.0 Back: 415.391
INFO - Atoms: 43363/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 15767165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.536 Prop: 14028.612 PropClause: 13637.343 Set: 2983.112 Check: 0.0 Back: 416.509
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 15810505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.54 Prop: 14063.267 PropClause: 13670.93 Set: 2990.747 Check: 0.0 Back: 417.641
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 15853252 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.546 Prop: 14097.048 PropClause: 13703.662 Set: 2998.202 Check: 0.0 Back: 418.775
INFO - Atoms: 42747/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 15896473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.55 Prop: 14130.541 PropClause: 13736.093 Set: 3005.849 Check: 0.0 Back: 419.887
INFO - Atoms: 43221/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 15939815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.555 Prop: 14170.166 PropClause: 13774.644 Set: 3013.622 Check: 0.0 Back: 420.992
INFO - Atoms: 43342/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 15983176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.56 Prop: 14204.365 PropClause: 13807.782 Set: 3021.372 Check: 0.0 Back: 422.124
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 16026379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.565 Prop: 14238.583 PropClause: 13840.944 Set: 3029.084 Check: 0.0 Back: 423.251
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 16069719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.568 Prop: 14272.48 PropClause: 13873.783 Set: 3036.774 Check: 0.0 Back: 424.365
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 16112451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.573 Prop: 14307.361 PropClause: 13907.618 Set: 3044.329 Check: 0.0 Back: 425.491
INFO - Atoms: 42732/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 16155671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.578 Prop: 14343.183 PropClause: 13942.378 Set: 3064.497 Check: 0.0 Back: 426.599
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 16199014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.582 Prop: 14378.786 PropClause: 13976.915 Set: 3072.283 Check: 0.0 Back: 427.647
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 16242377 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.587 Prop: 14416.671 PropClause: 14013.738 Set: 3079.959 Check: 0.0 Back: 428.773
INFO - Atoms: 43363/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 16285580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.592 Prop: 14455.396 PropClause: 14051.41 Set: 3087.57 Check: 0.0 Back: 429.88
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 16328920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.595 Prop: 14489.939 PropClause: 14084.896 Set: 3095.2 Check: 0.0 Back: 431.01
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 16371652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.599 Prop: 14524.007 PropClause: 14117.917 Set: 3102.685 Check: 0.0 Back: 432.134
INFO - Atoms: 42732/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 16414872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.604 Prop: 14557.417 PropClause: 14150.264 Set: 3110.339 Check: 0.0 Back: 433.238
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 16458215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.608 Prop: 14591.547 PropClause: 14183.333 Set: 3118.003 Check: 0.0 Back: 434.368
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 16501576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.612 Prop: 14627.893 PropClause: 14218.617 Set: 3125.774 Check: 0.0 Back: 435.494
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 16544779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.616 Prop: 14660.317 PropClause: 14249.989 Set: 3133.228 Check: 0.0 Back: 436.616
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 16588119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.621 Prop: 14693.047 PropClause: 14281.654 Set: 3140.749 Check: 0.0 Back: 437.755
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 16630851 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.625 Prop: 14725.566 PropClause: 14313.137 Set: 3148.134 Check: 0.0 Back: 438.89
INFO - Atoms: 42732/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 16674072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.629 Prop: 14757.941 PropClause: 14344.467 Set: 3155.557 Check: 0.0 Back: 440.004
INFO - Atoms: 43221/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 16717414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.635 Prop: 14791.477 PropClause: 14376.945 Set: 3163.158 Check: 0.0 Back: 441.119
INFO - Atoms: 43342/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 16760775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.64 Prop: 14825.686 PropClause: 14410.09 Set: 3170.731 Check: 0.0 Back: 442.258
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 16803978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.644 Prop: 14858.699 PropClause: 14442.05 Set: 3178.343 Check: 0.0 Back: 443.391
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 16847318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.65 Prop: 14895.944 PropClause: 14478.237 Set: 3186.005 Check: 0.0 Back: 444.508
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 16890050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.654 Prop: 14928.275 PropClause: 14509.524 Set: 3193.385 Check: 0.0 Back: 445.637
INFO - Atoms: 42732/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 16933270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.658 Prop: 14961.47 PropClause: 14541.668 Set: 3200.921 Check: 0.0 Back: 446.743
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 16976613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.662 Prop: 14994.923 PropClause: 14574.053 Set: 3208.643 Check: 0.0 Back: 447.866
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 17019976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.667 Prop: 15028.547 PropClause: 14606.623 Set: 3216.284 Check: 0.0 Back: 449.019
INFO - Atoms: 43363/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 17063179 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.671 Prop: 15061.674 PropClause: 14638.701 Set: 3223.866 Check: 0.0 Back: 450.131
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 17106519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.675 Prop: 15095.649 PropClause: 14671.624 Set: 3231.367 Check: 0.0 Back: 451.243
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 17149251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.68 Prop: 15131.084 PropClause: 14706.023 Set: 3238.968 Check: 0.0 Back: 452.343
INFO - Atoms: 42732/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 17192471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.685 Prop: 15163.234 PropClause: 14737.12 Set: 3246.422 Check: 0.0 Back: 453.446
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 17235814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.689 Prop: 15195.764 PropClause: 14768.6 Set: 3253.902 Check: 0.0 Back: 454.579
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 17279175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.693 Prop: 15227.83 PropClause: 14799.616 Set: 3261.328 Check: 0.0 Back: 455.696
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 17322378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.697 Prop: 15266.637 PropClause: 14837.368 Set: 3268.941 Check: 0.0 Back: 456.805
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 17365718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.701 Prop: 15299.907 PropClause: 14869.586 Set: 3276.411 Check: 0.0 Back: 457.912
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 17408450 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.706 Prop: 15333.933 PropClause: 14902.577 Set: 3283.77 Check: 0.0 Back: 459.028
INFO - Atoms: 42732/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 17451670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.711 Prop: 15366.563 PropClause: 14934.162 Set: 3291.255 Check: 0.0 Back: 460.132
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 17495013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.715 Prop: 15399.127 PropClause: 14965.678 Set: 3298.808 Check: 0.0 Back: 461.229
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 17538374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.72 Prop: 15431.837 PropClause: 14997.333 Set: 3306.275 Check: 0.0 Back: 462.345
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 17581577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.724 Prop: 15466.766 PropClause: 15031.214 Set: 3313.925 Check: 0.0 Back: 463.464
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 17624917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.729 Prop: 15500.551 PropClause: 15063.942 Set: 3321.464 Check: 0.0 Back: 464.592
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 17667663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.734 Prop: 15533.537 PropClause: 15095.888 Set: 3328.805 Check: 0.0 Back: 465.708
INFO - Atoms: 42746/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 17710883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.738 Prop: 15565.776 PropClause: 15127.08 Set: 3336.363 Check: 0.0 Back: 466.816
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 17754226 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.742 Prop: 15599.153 PropClause: 15159.411 Set: 3343.887 Check: 0.0 Back: 467.945
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 17797589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.748 Prop: 15637.238 PropClause: 15196.438 Set: 3351.795 Check: 0.0 Back: 469.068
INFO - Atoms: 43363/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 17840792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.754 Prop: 15671.407 PropClause: 15229.548 Set: 3371.515 Check: 0.0 Back: 470.209
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 17884132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.758 Prop: 15703.976 PropClause: 15261.065 Set: 3379.05 Check: 0.0 Back: 471.266
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 17926878 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.763 Prop: 15736.782 PropClause: 15292.835 Set: 3386.435 Check: 0.0 Back: 472.365
INFO - Atoms: 42746/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 17970098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.768 Prop: 15770.354 PropClause: 15325.358 Set: 3394.058 Check: 0.0 Back: 473.402
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 18013441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.773 Prop: 15803.865 PropClause: 15357.82 Set: 3401.628 Check: 0.0 Back: 474.507
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 18056804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.777 Prop: 15837.299 PropClause: 15390.198 Set: 3409.28 Check: 0.0 Back: 475.63
INFO - Atoms: 43363/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 18100007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.782 Prop: 15871.34 PropClause: 15423.184 Set: 3416.796 Check: 0.0 Back: 476.739
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 18143347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.786 Prop: 15903.766 PropClause: 15454.563 Set: 3424.313 Check: 0.0 Back: 477.849
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 18186079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.791 Prop: 15940.135 PropClause: 15489.89 Set: 3432.01 Check: 0.0 Back: 478.973
INFO - Atoms: 42732/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 18229299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.796 Prop: 15974.572 PropClause: 15523.274 Set: 3439.829 Check: 0.0 Back: 480.074
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 18272642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.802 Prop: 16009.216 PropClause: 15556.851 Set: 3447.52 Check: 0.0 Back: 481.197
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 18316005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.806 Prop: 16042.766 PropClause: 15589.347 Set: 3455.2 Check: 0.0 Back: 482.326
INFO - Atoms: 43363/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 18359208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.811 Prop: 16078.695 PropClause: 15624.224 Set: 3462.87 Check: 0.0 Back: 483.453
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 18402548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.816 Prop: 16112.644 PropClause: 15657.111 Set: 3470.494 Check: 0.0 Back: 484.567
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 18445280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.82 Prop: 16148.471 PropClause: 15691.898 Set: 3478.06 Check: 0.0 Back: 485.69
INFO - Atoms: 42732/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 18488501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.824 Prop: 16181.968 PropClause: 15724.342 Set: 3485.673 Check: 0.0 Back: 486.808
INFO - Atoms: 43221/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 18531843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.828 Prop: 16216.237 PropClause: 15757.554 Set: 3493.336 Check: 0.0 Back: 487.923
INFO - Atoms: 43342/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 18575204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.833 Prop: 16250.919 PropClause: 15791.179 Set: 3501.078 Check: 0.0 Back: 489.047
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 18618407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.838 Prop: 16284.775 PropClause: 15823.972 Set: 3508.837 Check: 0.0 Back: 490.161
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 18661747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.843 Prop: 16319.682 PropClause: 15857.818 Set: 3516.594 Check: 0.0 Back: 491.291
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 18704479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.847 Prop: 16354.329 PropClause: 15891.424 Set: 3524.172 Check: 0.0 Back: 492.418
INFO - Atoms: 42732/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 18747700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.851 Prop: 16388.954 PropClause: 15924.995 Set: 3531.844 Check: 0.0 Back: 493.525
INFO - Atoms: 43221/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 18791042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.855 Prop: 16423.573 PropClause: 15958.561 Set: 3539.552 Check: 0.0 Back: 494.615
INFO - Atoms: 43342/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 18833775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.86 Prop: 16457.948 PropClause: 15991.897 Set: 3547.087 Check: 0.0 Back: 495.743
INFO - Atoms: 42733/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 18877115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.864 Prop: 16492.522 PropClause: 16025.417 Set: 3554.812 Check: 0.0 Back: 496.849
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 18920338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.869 Prop: 16528.262 PropClause: 16060.106 Set: 3576.104 Check: 0.0 Back: 497.974
INFO - Atoms: 43223/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 18963698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.874 Prop: 16562.537 PropClause: 16093.325 Set: 3583.74 Check: 0.0 Back: 499.025
INFO - Atoms: 43360/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 19007037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.878 Prop: 16597.049 PropClause: 16126.782 Set: 3591.544 Check: 0.0 Back: 500.14
INFO - Atoms: 43339/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 19050242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.881 Prop: 16630.356 PropClause: 16159.033 Set: 3599.114 Check: 0.0 Back: 501.257
INFO - Atoms: 43205/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 19092975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.886 Prop: 16663.612 PropClause: 16191.238 Set: 3606.628 Check: 0.0 Back: 502.38
INFO - Atoms: 42733/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 19136315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.89 Prop: 16697.476 PropClause: 16224.048 Set: 3614.354 Check: 0.0 Back: 503.483
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 19179538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.895 Prop: 16731.529 PropClause: 16257.049 Set: 3621.876 Check: 0.0 Back: 504.609
INFO - Atoms: 43223/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 19222898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.899 Prop: 16766.482 PropClause: 16290.946 Set: 3629.586 Check: 0.0 Back: 505.717
INFO - Atoms: 43360/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 19266240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.903 Prop: 16800.046 PropClause: 16323.457 Set: 3637.242 Check: 0.0 Back: 506.839
INFO - Atoms: 43342/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 19309445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.907 Prop: 16833.497 PropClause: 16355.86 Set: 3644.744 Check: 0.0 Back: 507.966
INFO - Atoms: 43205/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 19352806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.912 Prop: 16866.882 PropClause: 16388.19 Set: 3652.294 Check: 0.0 Back: 509.08
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 19396009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.917 Prop: 16900.471 PropClause: 16420.729 Set: 3659.877 Check: 0.0 Back: 510.201
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 19439349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.921 Prop: 16933.976 PropClause: 16453.179 Set: 3667.527 Check: 0.0 Back: 511.329
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 19482095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.927 Prop: 16966.837 PropClause: 16485.002 Set: 3674.938 Check: 0.0 Back: 512.439
INFO - Atoms: 42746/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 19525317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.931 Prop: 17001.203 PropClause: 16518.321 Set: 3682.704 Check: 0.0 Back: 513.571
INFO - Atoms: 43222/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 19568658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.935 Prop: 17036.647 PropClause: 16552.709 Set: 3690.434 Check: 0.0 Back: 514.696
INFO - Atoms: 43341/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 19612021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.939 Prop: 17071.52 PropClause: 16586.525 Set: 3698.323 Check: 0.0 Back: 515.827
INFO - Atoms: 43363/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 19655224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.945 Prop: 17105.619 PropClause: 16619.57 Set: 3706.005 Check: 0.0 Back: 517.007
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 19698564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.949 Prop: 17140.125 PropClause: 16653.023 Set: 3713.693 Check: 0.0 Back: 518.136
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 19741940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.954 Prop: 17174.437 PropClause: 16686.27 Set: 3721.376 Check: 0.0 Back: 519.252
INFO - Atoms: 43376/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 19785281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.959 Prop: 17208.739 PropClause: 16719.516 Set: 3729.067 Check: 0.0 Back: 520.395
INFO - Atoms: 43341/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 19828486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.964 Prop: 17242.782 PropClause: 16752.507 Set: 3736.805 Check: 0.0 Back: 521.515
INFO - Atoms: 43205/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 19871847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.968 Prop: 17281.018 PropClause: 16789.688 Set: 3744.658 Check: 0.0 Back: 522.638
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 19915050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.972 Prop: 17314.844 PropClause: 16822.456 Set: 3752.227 Check: 0.0 Back: 523.759
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 19958392 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.977 Prop: 17355.396 PropClause: 16861.93 Set: 3760.234 Check: 0.0 Back: 524.896
INFO - Atoms: 43342/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 20001138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.982 Prop: 17391.02 PropClause: 16896.505 Set: 3767.921 Check: 0.0 Back: 526.024
INFO - Atoms: 42746/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 20044361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.986 Prop: 17424.922 PropClause: 16929.342 Set: 3775.78 Check: 0.0 Back: 527.121
INFO - Atoms: 43223/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 20087701 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.991 Prop: 17459.348 PropClause: 16962.704 Set: 3783.592 Check: 0.0 Back: 528.269
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 20131064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.996 Prop: 17493.59 PropClause: 16995.88 Set: 3791.242 Check: 0.0 Back: 529.388
INFO - Atoms: 43363/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 20174267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.002 Prop: 17526.724 PropClause: 17027.949 Set: 3798.83 Check: 0.0 Back: 530.533
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 20217607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.006 Prop: 17559.869 PropClause: 17060.026 Set: 3806.481 Check: 0.0 Back: 531.662
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 20260352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.011 Prop: 17597.783 PropClause: 17096.887 Set: 3814.317 Check: 0.0 Back: 532.795
INFO - Atoms: 42745/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 20303572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.016 Prop: 17631.583 PropClause: 17129.62 Set: 3822.086 Check: 0.0 Back: 533.928
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 20346915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.021 Prop: 17666.817 PropClause: 17163.779 Set: 3830.014 Check: 0.0 Back: 535.059
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 20390276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.024 Prop: 17701.662 PropClause: 17197.559 Set: 3837.788 Check: 0.0 Back: 536.19
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 20433479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.029 Prop: 17735.575 PropClause: 17230.412 Set: 3845.506 Check: 0.0 Back: 537.332
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 20476819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.034 Prop: 17769.177 PropClause: 17262.95 Set: 3853.114 Check: 0.0 Back: 538.458
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 20519551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.039 Prop: 17803.768 PropClause: 17296.494 Set: 3860.705 Check: 0.0 Back: 539.591
INFO - Atoms: 42732/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 20562771 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.044 Prop: 17837.566 PropClause: 17329.234 Set: 3868.281 Check: 0.0 Back: 540.69
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 20606114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.049 Prop: 17870.451 PropClause: 17361.054 Set: 3875.799 Check: 0.0 Back: 541.802
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 20649477 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.054 Prop: 17906.807 PropClause: 17396.334 Set: 3883.564 Check: 0.0 Back: 542.944
INFO - Atoms: 43363/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 20692680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.058 Prop: 17940.244 PropClause: 17428.704 Set: 3891.254 Check: 0.0 Back: 544.09
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 449 Props: 20736020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.062 Prop: 17976.675 PropClause: 17464.08 Set: 3899.01 Check: 0.0 Back: 545.228
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 20778752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.065 Prop: 18014.993 PropClause: 17501.354 Set: 3906.733 Check: 0.0 Back: 546.345
INFO - Atoms: 42732/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 451 Props: 20821973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.07 Prop: 18052.211 PropClause: 17537.505 Set: 3914.59 Check: 0.0 Back: 547.44
INFO - Atoms: 43221/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 20865315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.073 Prop: 18087.434 PropClause: 17571.665 Set: 3922.375 Check: 0.0 Back: 548.551
INFO - Atoms: 43342/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 453 Props: 20908678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.078 Prop: 18121.684 PropClause: 17604.849 Set: 3929.993 Check: 0.0 Back: 549.682
INFO - Atoms: 43363/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 454 Props: 20951881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.082 Prop: 18156.165 PropClause: 17638.273 Set: 3937.552 Check: 0.0 Back: 550.819
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 455 Props: 20995221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.086 Prop: 18190.59 PropClause: 17671.636 Set: 3954.486 Check: 0.0 Back: 551.947
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 456 Props: 21037953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.09 Prop: 18222.94 PropClause: 17702.946 Set: 3961.87 Check: 0.0 Back: 553.06
INFO - Atoms: 42732/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 457 Props: 21081174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.094 Prop: 18255.307 PropClause: 17734.26 Set: 3969.45 Check: 0.0 Back: 554.161
INFO - Atoms: 43221/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 458 Props: 21124516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.099 Prop: 18288.237 PropClause: 17766.133 Set: 3977.033 Check: 0.0 Back: 555.288
INFO - Atoms: 43342/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 459 Props: 21167879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.103 Prop: 18321.341 PropClause: 17798.183 Set: 3984.628 Check: 0.0 Back: 556.423
INFO - Atoms: 43363/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 21211082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.107 Prop: 18354.912 PropClause: 17830.705 Set: 3992.24 Check: 0.0 Back: 557.539
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 461 Props: 21254422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.113 Prop: 18389.898 PropClause: 17864.623 Set: 3999.905 Check: 0.0 Back: 558.663
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 21297154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.119 Prop: 18427.456 PropClause: 17901.132 Set: 4007.593 Check: 0.0 Back: 559.779
INFO - Atoms: 42732/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 463 Props: 21340374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.123 Prop: 18461.422 PropClause: 17934.039 Set: 4015.264 Check: 0.0 Back: 560.901
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 464 Props: 21383717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.128 Prop: 18498.94 PropClause: 17970.443 Set: 4023.045 Check: 0.0 Back: 562.011
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 465 Props: 21427080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.132 Prop: 18533.029 PropClause: 18003.478 Set: 4030.782 Check: 0.0 Back: 563.134
INFO - Atoms: 43363/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 466 Props: 21470283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.137 Prop: 18566.914 PropClause: 18036.304 Set: 4038.387 Check: 0.0 Back: 564.258
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 21513623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.142 Prop: 18600.932 PropClause: 18069.264 Set: 4046.044 Check: 0.0 Back: 565.382
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 468 Props: 21556355 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.146 Prop: 18637.66 PropClause: 18104.95 Set: 4054.132 Check: 0.0 Back: 566.507
INFO - Atoms: 42732/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 469 Props: 21599575 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.15 Prop: 18672.009 PropClause: 18138.238 Set: 4061.939 Check: 0.0 Back: 567.618
INFO - Atoms: 43220/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 470 Props: 21642918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.155 Prop: 18706.431 PropClause: 18171.604 Set: 4069.706 Check: 0.0 Back: 568.738
INFO - Atoms: 43343/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 471 Props: 21686279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.16 Prop: 18743.415 PropClause: 18207.531 Set: 4077.56 Check: 0.0 Back: 569.853
INFO - Atoms: 43361/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 472 Props: 21729482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.163 Prop: 18778.25 PropClause: 18241.306 Set: 4085.325 Check: 0.0 Back: 570.975
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 473 Props: 21772822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.167 Prop: 18813.294 PropClause: 18275.291 Set: 4093.055 Check: 0.0 Back: 572.099
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 474 Props: 21815554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.172 Prop: 18848.303 PropClause: 18309.258 Set: 4100.722 Check: 0.0 Back: 573.218
INFO - Atoms: 42732/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 475 Props: 21858775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.176 Prop: 18881.809 PropClause: 18341.713 Set: 4108.422 Check: 0.0 Back: 574.314
INFO - Atoms: 43221/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 476 Props: 21902117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.179 Prop: 18916.774 PropClause: 18375.623 Set: 4116.192 Check: 0.0 Back: 575.452
INFO - Atoms: 43342/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 477 Props: 21944850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.184 Prop: 18952.044 PropClause: 18409.848 Set: 4124.005 Check: 0.0 Back: 576.573
INFO - Atoms: 42733/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 478 Props: 21988190 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.189 Prop: 18985.919 PropClause: 18442.668 Set: 4131.76 Check: 0.0 Back: 577.694
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 479 Props: 22031413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.193 Prop: 19020.742 PropClause: 18476.436 Set: 4139.566 Check: 0.0 Back: 578.823
INFO - Atoms: 43223/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 480 Props: 22074788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.198 Prop: 19054.486 PropClause: 18509.121 Set: 4147.321 Check: 0.0 Back: 579.948
INFO - Atoms: 43375/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 481 Props: 22118128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.202 Prop: 19088.546 PropClause: 18542.127 Set: 4154.991 Check: 0.0 Back: 581.07
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 482 Props: 22161333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.206 Prop: 19122.92 PropClause: 18575.442 Set: 4162.7 Check: 0.0 Back: 582.195
INFO - Atoms: 43205/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 483 Props: 22204066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.211 Prop: 19159.427 PropClause: 18610.892 Set: 4170.274 Check: 0.0 Back: 583.312
INFO - Atoms: 42733/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 484 Props: 22247406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.215 Prop: 19193.877 PropClause: 18644.29 Set: 4178.073 Check: 0.0 Back: 584.429
INFO - Atoms: 43340/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 485 Props: 22290629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.22 Prop: 19230.693 PropClause: 18680.052 Set: 4185.886 Check: 0.0 Back: 585.559
INFO - Atoms: 43223/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 486 Props: 22333989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.224 Prop: 19266.619 PropClause: 18714.918 Set: 4193.707 Check: 0.0 Back: 586.688
INFO - Atoms: 43360/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 487 Props: 22377267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.229 Prop: 19302.511 PropClause: 18749.757 Set: 4201.553 Check: 0.0 Back: 587.802
INFO - Atoms: 43278/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 488 Props: 22420471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.234 Prop: 19337.437 PropClause: 18783.624 Set: 4209.357 Check: 0.0 Back: 588.91
INFO - Atoms: 43204/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 489 Props: 22463760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.239 Prop: 19373.015 PropClause: 18818.147 Set: 4217.117 Check: 0.0 Back: 590.036
INFO - Atoms: 43289/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 490 Props: 22506890 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.243 Prop: 19409.652 PropClause: 18853.729 Set: 4236.151 Check: 0.0 Back: 591.143
INFO - Atoms: 43130/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 491 Props: 22550093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.247 Prop: 19446.855 PropClause: 18889.881 Set: 4243.857 Check: 0.0 Back: 592.196
INFO - Atoms: 43203/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 492 Props: 22592839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.251 Prop: 19483.565 PropClause: 18925.541 Set: 4251.726 Check: 0.0 Back: 593.302
INFO - Atoms: 42746/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 493 Props: 22635894 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.254 Prop: 19522.207 PropClause: 18963.128 Set: 4259.651 Check: 0.0 Back: 594.4
INFO - Atoms: 43055/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 494 Props: 22678952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.261 Prop: 19558.596 PropClause: 18998.459 Set: 4267.582 Check: 0.0 Back: 595.521
INFO - Atoms: 43058/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 495 Props: 22722011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.266 Prop: 19593.924 PropClause: 19032.732 Set: 4275.266 Check: 0.0 Back: 596.64
INFO - Atoms: 43059/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 496 Props: 22764908 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.269 Prop: 19628.879 PropClause: 19066.638 Set: 4282.824 Check: 0.0 Back: 597.749
INFO - Atoms: 42897/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 497 Props: 22807805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.283 Prop: 19664.03 PropClause: 19100.738 Set: 4290.456 Check: 0.0 Back: 598.853
INFO - Atoms: 42897/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 498 Props: 22850520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.287 Prop: 19698.391 PropClause: 19134.054 Set: 4298.239 Check: 0.0 Back: 599.97
INFO - Atoms: 42715/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 499 Props: 22892763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.291 Prop: 19734.88 PropClause: 19169.507 Set: 4306.023 Check: 0.0 Back: 601.1
INFO - Atoms: 42243/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 500 Props: 22935480 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.296 Prop: 19769.241 PropClause: 19202.814 Set: 4313.874 Check: 0.0 Back: 602.195
INFO - Atoms: 42717/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 75588 Tprops: 18507 Decides: 85124 RSplits: 0
INFO - Times: Expl: 378.805 Prop: 48331.172 PropClause: 25.789 Set: 15717.627 Check: 258.869 Back: 405.174
INFO - Atoms: 4/1158 Clauses: 500 Axioms: 1158
INFO - CCTimes: iE 734034 eq 32538128 cc 107929128 setRep 74537727
INFO - Merges: 651540, cc:1258134
INFO - BVTimes: BB 222832712 BB_DPLL 43284283758 Graph 2096875
INFO - BitBlastingClauses: 593410 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 501 Props: 22978351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.301 Prop: 19804.115 PropClause: 19236.647 Set: 4321.276 Check: 0.0 Back: 603.295
INFO - Atoms: 42871/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 502 Props: 23020762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.392 Prop: 19843.213 PropClause: 19274.525 Set: 4353.003 Check: 0.0 Back: 604.409
INFO - Atoms: 42411/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 503 Props: 23063614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.422 Prop: 19881.77 PropClause: 19311.838 Set: 4375.924 Check: 0.0 Back: 605.515
INFO - Atoms: 42852/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 504 Props: 23106331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.503 Prop: 19920.84 PropClause: 19349.661 Set: 4398.355 Check: 0.0 Back: 606.624
INFO - Atoms: 42717/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 505 Props: 23149202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.555 Prop: 19958.598 PropClause: 19386.378 Set: 4406.113 Check: 0.0 Back: 607.732
INFO - Atoms: 42871/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 506 Props: 23191628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.565 Prop: 19993.004 PropClause: 19419.755 Set: 4413.742 Check: 0.0 Back: 608.821
INFO - Atoms: 42426/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 507 Props: 23233890 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.573 Prop: 20027.251 PropClause: 19452.974 Set: 4421.32 Check: 0.0 Back: 609.926
INFO - Atoms: 42262/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 508 Props: 23276283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.584 Prop: 20061.173 PropClause: 19485.864 Set: 4428.615 Check: 0.0 Back: 611.007
INFO - Atoms: 42393/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 509 Props: 23298216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.592 Prop: 20079.201 PropClause: 19503.359 Set: 4431.858 Check: 0.0 Back: 612.08
INFO - Atoms: 21933/62944 Clauses: 773 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1009 Props: 24989914 Tprops: 0 Decides: 3313 RSplits: 0
INFO - Times: Expl: 936.536 Prop: 20988.516 PropClause: 20369.309 Set: 4475.252 Check: 0.084 Back: 651.488
INFO - Atoms: 20821/62944 Clauses: 1272 Axioms: 207410
INFO - Restart
INFO - Confl: 1509 Props: 25975854 Tprops: 0 Decides: 5242 RSplits: 0
INFO - Times: Expl: 1254.764 Prop: 21386.162 PropClause: 20741.482 Set: 4498.566 Check: 0.132 Back: 674.337
INFO - Atoms: 20822/62944 Clauses: 1772 Axioms: 207410
INFO - Restart
INFO - Confl: 2509 Props: 27977988 Tprops: 0 Decides: 8524 RSplits: 0
INFO - Times: Expl: 1827.381 Prop: 22268.897 PropClause: 21572.97 Set: 4546.258 Check: 0.212 Back: 720.762
INFO - Atoms: 20839/62944 Clauses: 2772 Axioms: 207410
INFO - Confl: 2779 Props: 28492086 Tprops: 0 Decides: 9177 RSplits: 0
INFO - Times: Expl: 1967.044 Prop: 22488.368 PropClause: 21779.468 Set: 4558.518 Check: 0.23 Back: 732.505
INFO - Atoms: 21756/62944 Clauses: 3042 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 569 Props: 89241 Tprops: 19167 Decides: 85987 RSplits: 0
INFO - Times: Expl: 398.14 Prop: 53937.884 PropClause: 28.739 Set: 16553.86 Check: 265.57 Back: 431.752
INFO - Atoms: 1158/1158 Clauses: 569 Axioms: 1158
INFO - CCTimes: iE 751332 eq 37445431 cc 113759164 setRep 76120580
INFO - Merges: 663087, cc:1320967
INFO - BVTimes: BB 222832712 BB_DPLL 48730072739 Graph 2116538
INFO - BitBlastingClauses: 601130 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat