/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: 261234384
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 62942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.656 Prop: 90.155 PropClause: 86.36 Set: 31.854 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: 0.696 Prop: 156.445 PropClause: 150.626 Set: 42.859 Check: 0.0 Back: 1.446
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: 0.745 Prop: 229.097 PropClause: 221.347 Set: 60.515 Check: 0.0 Back: 2.924
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: 0.834 Prop: 290.423 PropClause: 280.632 Set: 99.408 Check: 0.0 Back: 4.428
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: 0.874 Prop: 356.124 PropClause: 344.604 Set: 110.364 Check: 0.0 Back: 5.871
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: 0.919 Prop: 418.318 PropClause: 405.056 Set: 143.499 Check: 0.0 Back: 7.395
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: 0.988 Prop: 488.169 PropClause: 473.181 Set: 154.769 Check: 0.0 Back: 8.831
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.032 Prop: 552.293 PropClause: 535.434 Set: 165.939 Check: 0.0 Back: 10.365
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.073 Prop: 620.001 PropClause: 601.408 Set: 183.532 Check: 0.0 Back: 11.81
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.114 Prop: 683.363 PropClause: 663.063 Set: 200.868 Check: 0.0 Back: 13.299
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.157 Prop: 749.776 PropClause: 727.768 Set: 211.945 Check: 0.0 Back: 14.737
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.195 Prop: 810.217 PropClause: 786.488 Set: 222.78 Check: 0.0 Back: 16.25
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.24 Prop: 877.307 PropClause: 851.864 Set: 233.78 Check: 0.0 Back: 17.688
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.286 Prop: 943.682 PropClause: 916.54 Set: 244.737 Check: 0.0 Back: 19.184
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: 1.323 Prop: 1009.902 PropClause: 981.074 Set: 255.57 Check: 0.0 Back: 20.611
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: 1.363 Prop: 1070.8 PropClause: 1040.272 Set: 266.38 Check: 0.0 Back: 22.103
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: 1.404 Prop: 1138.224 PropClause: 1105.999 Set: 280.495 Check: 0.0 Back: 23.545
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: 1.474 Prop: 1202.107 PropClause: 1168.188 Set: 297.798 Check: 0.0 Back: 25.042
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: 1.516 Prop: 1270.541 PropClause: 1234.943 Set: 314.196 Check: 0.0 Back: 26.467
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: 1.554 Prop: 1332.483 PropClause: 1295.215 Set: 341.215 Check: 0.0 Back: 27.989
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: 1.591 Prop: 1398.267 PropClause: 1359.331 Set: 351.904 Check: 0.0 Back: 29.39
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: 1.626 Prop: 1459.52 PropClause: 1418.931 Set: 362.624 Check: 0.0 Back: 30.888
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: 1.667 Prop: 1527.623 PropClause: 1485.36 Set: 373.436 Check: 0.0 Back: 32.312
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: 1.714 Prop: 1591.56 PropClause: 1547.587 Set: 384.259 Check: 0.0 Back: 33.796
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: 1.758 Prop: 1660.687 PropClause: 1615.06 Set: 395.262 Check: 0.0 Back: 35.204
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: 1.802 Prop: 1723.091 PropClause: 1675.81 Set: 405.999 Check: 0.0 Back: 36.707
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: 1.849 Prop: 1788.133 PropClause: 1739.188 Set: 416.853 Check: 0.0 Back: 38.123
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: 1.894 Prop: 1849.78 PropClause: 1799.191 Set: 427.478 Check: 0.0 Back: 39.582
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: 1.931 Prop: 1915.514 PropClause: 1863.285 Set: 438.089 Check: 0.0 Back: 40.97
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: 1.975 Prop: 1976.476 PropClause: 1922.61 Set: 448.569 Check: 0.0 Back: 42.464
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.014 Prop: 2042.147 PropClause: 1986.659 Set: 459.105 Check: 0.0 Back: 43.857
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.052 Prop: 2101.3 PropClause: 2044.187 Set: 469.435 Check: 0.0 Back: 45.319
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.094 Prop: 2165.848 PropClause: 2107.112 Set: 479.875 Check: 0.0 Back: 46.711
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.134 Prop: 2226.502 PropClause: 2166.154 Set: 495.499 Check: 0.0 Back: 48.181
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: 2.177 Prop: 2294.753 PropClause: 2232.803 Set: 511.172 Check: 0.0 Back: 49.557
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: 2.212 Prop: 2354.713 PropClause: 2291.158 Set: 521.39 Check: 0.0 Back: 51.025
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: 2.248 Prop: 2419.181 PropClause: 2354.023 Set: 531.618 Check: 0.0 Back: 52.392
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: 2.284 Prop: 2479.555 PropClause: 2412.795 Set: 541.689 Check: 0.0 Back: 53.834
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: 2.322 Prop: 2543.876 PropClause: 2475.52 Set: 551.929 Check: 0.0 Back: 55.219
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: 2.355 Prop: 2603.677 PropClause: 2533.728 Set: 562.01 Check: 0.0 Back: 56.666
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: 2.389 Prop: 2666.383 PropClause: 2594.846 Set: 572.086 Check: 0.0 Back: 58.016
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: 2.434 Prop: 2724.037 PropClause: 2650.914 Set: 582.067 Check: 0.0 Back: 59.465
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: 2.468 Prop: 2784.67 PropClause: 2709.975 Set: 592.138 Check: 0.0 Back: 60.815
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: 2.512 Prop: 2840.837 PropClause: 2764.569 Set: 602.026 Check: 0.0 Back: 62.258
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: 2.557 Prop: 2902.525 PropClause: 2824.69 Set: 612.019 Check: 0.0 Back: 63.61
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: 2.593 Prop: 2959.359 PropClause: 2879.97 Set: 621.915 Check: 0.0 Back: 65.029
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: 2.63 Prop: 3018.545 PropClause: 2937.607 Set: 631.882 Check: 0.0 Back: 66.353
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: 2.666 Prop: 3071.397 PropClause: 2988.915 Set: 641.53 Check: 0.0 Back: 67.769
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: 2.7 Prop: 3128.48 PropClause: 3044.454 Set: 651.253 Check: 0.0 Back: 69.087
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: 2.737 Prop: 3179.678 PropClause: 3094.12 Set: 660.714 Check: 0.0 Back: 70.484
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: 2.771 Prop: 3234.872 PropClause: 3147.787 Set: 670.298 Check: 0.0 Back: 71.792
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: 2.912 Prop: 3287.584 PropClause: 3198.971 Set: 679.855 Check: 0.0 Back: 73.182
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: 2.933 Prop: 3341.63 PropClause: 3251.496 Set: 689.392 Check: 0.0 Back: 74.498
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: 2.953 Prop: 3392.226 PropClause: 3300.566 Set: 698.849 Check: 0.0 Back: 75.88
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: 2.972 Prop: 3447.094 PropClause: 3353.932 Set: 708.286 Check: 0.0 Back: 77.191
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: 2.991 Prop: 3497.313 PropClause: 3402.651 Set: 717.578 Check: 0.0 Back: 78.59
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: 3.01 Prop: 3554.816 PropClause: 3458.65 Set: 727.104 Check: 0.0 Back: 79.872
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: 3.029 Prop: 3606.122 PropClause: 3508.454 Set: 736.38 Check: 0.0 Back: 81.221
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: 3.047 Prop: 3659.958 PropClause: 3560.781 Set: 745.855 Check: 0.0 Back: 82.51
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: 3.066 Prop: 3709.226 PropClause: 3608.542 Set: 755.138 Check: 0.0 Back: 83.878
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: 3.084 Prop: 3761.573 PropClause: 3659.394 Set: 764.425 Check: 0.0 Back: 85.153
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: 3.102 Prop: 3809.613 PropClause: 3705.939 Set: 773.657 Check: 0.0 Back: 86.511
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: 3.119 Prop: 3861.142 PropClause: 3755.971 Set: 782.945 Check: 0.0 Back: 87.801
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: 3.138 Prop: 3910.691 PropClause: 3804.025 Set: 792.058 Check: 0.0 Back: 89.174
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: 3.157 Prop: 3960.956 PropClause: 3852.811 Set: 801.311 Check: 0.0 Back: 90.463
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: 3.175 Prop: 4008.969 PropClause: 3899.35 Set: 810.394 Check: 0.0 Back: 91.803
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: 3.191 Prop: 4060.455 PropClause: 3949.366 Set: 819.532 Check: 0.0 Back: 93.068
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: 3.21 Prop: 4108.727 PropClause: 3996.171 Set: 828.562 Check: 0.0 Back: 94.42
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: 3.228 Prop: 4161.349 PropClause: 4047.337 Set: 837.753 Check: 0.0 Back: 95.676
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: 3.247 Prop: 4210.364 PropClause: 4094.897 Set: 846.796 Check: 0.0 Back: 97.009
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: 3.296 Prop: 4264.293 PropClause: 4147.364 Set: 855.89 Check: 0.0 Back: 98.263
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: 3.355 Prop: 4312.112 PropClause: 4193.728 Set: 864.84 Check: 0.0 Back: 99.587
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: 3.435 Prop: 4366.115 PropClause: 4246.283 Set: 873.879 Check: 0.0 Back: 100.833
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: 3.451 Prop: 4413.448 PropClause: 4292.172 Set: 882.767 Check: 0.0 Back: 102.169
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: 3.465 Prop: 4463.674 PropClause: 4340.957 Set: 891.798 Check: 0.0 Back: 103.428
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: 3.48 Prop: 4510.382 PropClause: 4386.235 Set: 900.61 Check: 0.0 Back: 104.754
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: 3.494 Prop: 4561.379 PropClause: 4435.814 Set: 909.596 Check: 0.0 Back: 105.973
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: 3.506 Prop: 4607.614 PropClause: 4480.623 Set: 918.34 Check: 0.0 Back: 107.277
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: 3.522 Prop: 4656.279 PropClause: 4527.878 Set: 927.076 Check: 0.0 Back: 108.512
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: 3.536 Prop: 4701.411 PropClause: 4571.609 Set: 935.768 Check: 0.0 Back: 109.806
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: 3.55 Prop: 4751.772 PropClause: 4620.575 Set: 944.518 Check: 0.0 Back: 111.027
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: 3.568 Prop: 4800.701 PropClause: 4668.09 Set: 953.163 Check: 0.0 Back: 112.327
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: 3.582 Prop: 4852.807 PropClause: 4718.787 Set: 961.921 Check: 0.0 Back: 113.537
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: 3.595 Prop: 4898.936 PropClause: 4763.522 Set: 970.6 Check: 0.0 Back: 114.828
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: 3.611 Prop: 4948.584 PropClause: 4811.759 Set: 979.396 Check: 0.0 Back: 116.032
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: 3.626 Prop: 4994.603 PropClause: 4856.402 Set: 987.926 Check: 0.0 Back: 117.327
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: 3.641 Prop: 5043.726 PropClause: 4904.144 Set: 996.591 Check: 0.0 Back: 118.517
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: 3.655 Prop: 5089.809 PropClause: 4948.836 Set: 1005.079 Check: 0.0 Back: 119.792
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: 3.671 Prop: 5140.749 PropClause: 4998.388 Set: 1013.539 Check: 0.0 Back: 120.993
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: 3.684 Prop: 5185.761 PropClause: 5042.031 Set: 1022.037 Check: 0.0 Back: 122.276
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: 3.7 Prop: 5235.767 PropClause: 5090.675 Set: 1030.563 Check: 0.0 Back: 123.451
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: 3.714 Prop: 5280.893 PropClause: 5134.438 Set: 1038.954 Check: 0.0 Back: 124.716
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: 3.732 Prop: 5328.444 PropClause: 5180.636 Set: 1047.41 Check: 0.0 Back: 125.902
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: 3.778 Prop: 5370.937 PropClause: 5221.767 Set: 1055.723 Check: 0.0 Back: 127.155
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: 3.833 Prop: 5419.227 PropClause: 5268.707 Set: 1064.091 Check: 0.0 Back: 128.343
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: 3.845 Prop: 5463.72 PropClause: 5311.863 Set: 1072.387 Check: 0.0 Back: 129.608
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: 3.855 Prop: 5509.985 PropClause: 5356.791 Set: 1080.641 Check: 0.0 Back: 130.793
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: 3.867 Prop: 5551.748 PropClause: 5397.233 Set: 1088.757 Check: 0.0 Back: 132.023
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: 3.876 Prop: 5597.487 PropClause: 5441.652 Set: 1096.914 Check: 0.0 Back: 133.172
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: 3.885 Prop: 5640.166 PropClause: 5483.0 Set: 1104.98 Check: 0.0 Back: 134.393
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: 3.896 Prop: 5683.838 PropClause: 5525.363 Set: 1112.991 Check: 0.0 Back: 135.536
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: 3.907 Prop: 5723.985 PropClause: 5564.193 Set: 1120.949 Check: 0.0 Back: 136.742
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: 3.917 Prop: 5766.748 PropClause: 5605.658 Set: 1128.902 Check: 0.0 Back: 137.871
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: 3.926 Prop: 5807.421 PropClause: 5645.034 Set: 1136.912 Check: 0.0 Back: 139.08
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: 3.938 Prop: 5850.444 PropClause: 5686.765 Set: 1144.893 Check: 0.0 Back: 140.211
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: 3.948 Prop: 5890.484 PropClause: 5725.51 Set: 1152.766 Check: 0.0 Back: 141.414
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: 3.962 Prop: 5934.691 PropClause: 5768.431 Set: 1160.721 Check: 0.0 Back: 142.546
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: 3.975 Prop: 5974.147 PropClause: 5806.608 Set: 1168.575 Check: 0.0 Back: 143.744
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: 3.985 Prop: 6016.527 PropClause: 5847.709 Set: 1176.445 Check: 0.0 Back: 144.862
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: 3.993 Prop: 6055.69 PropClause: 5885.6 Set: 1184.172 Check: 0.0 Back: 146.049
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: 4.005 Prop: 6098.878 PropClause: 5927.521 Set: 1191.952 Check: 0.0 Back: 147.162
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: 4.016 Prop: 6137.296 PropClause: 5964.68 Set: 1199.59 Check: 0.0 Back: 148.345
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: 4.027 Prop: 6178.079 PropClause: 6004.206 Set: 1207.25 Check: 0.0 Back: 149.451
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: 4.041 Prop: 6218.597 PropClause: 6043.452 Set: 1215.064 Check: 0.0 Back: 150.623
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: 4.053 Prop: 6260.841 PropClause: 6084.445 Set: 1222.81 Check: 0.0 Back: 151.731
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: 4.063 Prop: 6299.554 PropClause: 6121.91 Set: 1230.335 Check: 0.0 Back: 152.903
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: 4.075 Prop: 6339.48 PropClause: 6160.601 Set: 1237.943 Check: 0.0 Back: 154.002
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: 4.085 Prop: 6376.296 PropClause: 6196.153 Set: 1245.408 Check: 0.0 Back: 155.165
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: 4.095 Prop: 6415.569 PropClause: 6234.198 Set: 1252.862 Check: 0.0 Back: 156.249
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: 4.107 Prop: 6452.499 PropClause: 6269.908 Set: 1260.279 Check: 0.0 Back: 157.389
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: 4.118 Prop: 6492.198 PropClause: 6308.383 Set: 1267.802 Check: 0.0 Back: 158.476
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: 4.126 Prop: 6528.416 PropClause: 6343.392 Set: 1275.061 Check: 0.0 Back: 159.619
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: 4.137 Prop: 6566.78 PropClause: 6380.541 Set: 1282.471 Check: 0.0 Back: 160.7
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: 4.146 Prop: 6602.597 PropClause: 6415.156 Set: 1289.728 Check: 0.0 Back: 161.841
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: 4.156 Prop: 6639.769 PropClause: 6451.128 Set: 1297.042 Check: 0.0 Back: 162.904
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: 4.164 Prop: 6673.898 PropClause: 6484.056 Set: 1304.225 Check: 0.0 Back: 164.021
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: 4.175 Prop: 6710.617 PropClause: 6519.582 Set: 1311.388 Check: 0.0 Back: 165.087
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: 4.184 Prop: 6744.822 PropClause: 6552.604 Set: 1318.466 Check: 0.0 Back: 166.217
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: 4.194 Prop: 6781.217 PropClause: 6587.822 Set: 1325.623 Check: 0.0 Back: 167.272
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: 4.203 Prop: 6815.756 PropClause: 6621.18 Set: 1332.735 Check: 0.0 Back: 168.398
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: 4.212 Prop: 6851.742 PropClause: 6655.99 Set: 1339.794 Check: 0.0 Back: 169.437
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: 4.223 Prop: 6887.09 PropClause: 6690.163 Set: 1346.877 Check: 0.0 Back: 170.538
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: 4.234 Prop: 6922.706 PropClause: 6724.612 Set: 1353.946 Check: 0.0 Back: 171.586
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: 4.245 Prop: 6956.393 PropClause: 6757.14 Set: 1360.904 Check: 0.0 Back: 172.701
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: 4.257 Prop: 6991.917 PropClause: 6791.508 Set: 1381.984 Check: 0.0 Back: 173.723
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: 4.268 Prop: 7026.197 PropClause: 6824.611 Set: 1389.097 Check: 0.0 Back: 174.786
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: 4.279 Prop: 7062.93 PropClause: 6860.161 Set: 1396.329 Check: 0.0 Back: 175.823
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: 4.29 Prop: 7098.163 PropClause: 6894.213 Set: 1403.485 Check: 0.0 Back: 176.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: 4.302 Prop: 7136.211 PropClause: 6930.993 Set: 1410.727 Check: 0.0 Back: 177.951
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: 4.315 Prop: 7171.359 PropClause: 6964.939 Set: 1417.923 Check: 0.0 Back: 179.06
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: 4.324 Prop: 7208.221 PropClause: 7000.626 Set: 1425.079 Check: 0.0 Back: 180.113
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: 4.334 Prop: 7242.203 PropClause: 7033.415 Set: 1432.41 Check: 0.0 Back: 181.223
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: 4.344 Prop: 7277.477 PropClause: 7067.495 Set: 1439.641 Check: 0.0 Back: 182.297
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: 4.353 Prop: 7310.98 PropClause: 7099.821 Set: 1446.726 Check: 0.0 Back: 183.399
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: 4.363 Prop: 7346.655 PropClause: 7134.313 Set: 1453.99 Check: 0.0 Back: 184.435
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: 4.374 Prop: 7380.534 PropClause: 7166.998 Set: 1461.196 Check: 0.0 Back: 185.54
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: 4.383 Prop: 7413.881 PropClause: 7199.158 Set: 1468.371 Check: 0.0 Back: 186.585
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: 4.392 Prop: 7446.72 PropClause: 7230.807 Set: 1475.553 Check: 0.0 Back: 187.691
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: 4.4 Prop: 7481.576 PropClause: 7264.467 Set: 1482.86 Check: 0.0 Back: 188.742
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: 4.409 Prop: 7513.879 PropClause: 7295.591 Set: 1489.933 Check: 0.0 Back: 189.863
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: 4.418 Prop: 7551.103 PropClause: 7331.613 Set: 1497.261 Check: 0.0 Back: 190.917
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: 4.428 Prop: 7584.694 PropClause: 7364.01 Set: 1504.507 Check: 0.0 Back: 192.02
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: 4.437 Prop: 7620.062 PropClause: 7398.183 Set: 1511.795 Check: 0.0 Back: 193.065
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: 4.448 Prop: 7655.108 PropClause: 7432.036 Set: 1519.045 Check: 0.0 Back: 194.179
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: 4.457 Prop: 7694.293 PropClause: 7470.017 Set: 1526.399 Check: 0.0 Back: 195.229
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: 4.466 Prop: 7728.145 PropClause: 7502.69 Set: 1533.475 Check: 0.0 Back: 196.363
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: 4.475 Prop: 7763.016 PropClause: 7536.37 Set: 1540.748 Check: 0.0 Back: 197.399
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: 4.487 Prop: 7797.145 PropClause: 7569.257 Set: 1548.178 Check: 0.0 Back: 198.509
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: 4.498 Prop: 7832.489 PropClause: 7603.406 Set: 1555.466 Check: 0.0 Back: 199.577
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: 4.51 Prop: 7867.868 PropClause: 7637.593 Set: 1562.739 Check: 0.0 Back: 200.716
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: 4.519 Prop: 7904.436 PropClause: 7672.976 Set: 1570.057 Check: 0.0 Back: 201.772
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: 4.529 Prop: 7939.004 PropClause: 7706.363 Set: 1577.243 Check: 0.0 Back: 202.902
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: 4.539 Prop: 7975.735 PropClause: 7741.904 Set: 1584.607 Check: 0.0 Back: 203.936
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: 4.547 Prop: 8011.021 PropClause: 7775.992 Set: 1591.889 Check: 0.0 Back: 205.041
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: 4.557 Prop: 8045.725 PropClause: 7809.504 Set: 1599.153 Check: 0.0 Back: 206.096
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: 4.566 Prop: 8079.169 PropClause: 7841.759 Set: 1606.352 Check: 0.0 Back: 207.207
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: 4.575 Prop: 8114.005 PropClause: 7875.397 Set: 1613.618 Check: 0.0 Back: 208.252
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: 4.584 Prop: 8147.272 PropClause: 7907.493 Set: 1620.681 Check: 0.0 Back: 209.361
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: 4.596 Prop: 8182.683 PropClause: 7941.709 Set: 1627.972 Check: 0.0 Back: 210.399
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: 4.608 Prop: 8217.451 PropClause: 7975.278 Set: 1635.307 Check: 0.0 Back: 211.517
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: 4.618 Prop: 8252.835 PropClause: 8009.467 Set: 1642.649 Check: 0.0 Back: 212.571
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: 4.63 Prop: 8287.591 PropClause: 8043.023 Set: 1649.952 Check: 0.0 Back: 213.687
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: 4.642 Prop: 8323.259 PropClause: 8077.494 Set: 1657.221 Check: 0.0 Back: 214.729
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: 4.65 Prop: 8357.327 PropClause: 8110.384 Set: 1664.333 Check: 0.0 Back: 215.853
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: 4.661 Prop: 8392.881 PropClause: 8144.747 Set: 1671.614 Check: 0.0 Back: 216.907
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: 4.673 Prop: 8426.518 PropClause: 8177.194 Set: 1678.84 Check: 0.0 Back: 218.025
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: 4.682 Prop: 8462.057 PropClause: 8211.541 Set: 1686.176 Check: 0.0 Back: 219.08
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: 4.728 Prop: 8497.97 PropClause: 8246.263 Set: 1693.48 Check: 0.0 Back: 220.194
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: 4.768 Prop: 8536.117 PropClause: 8283.213 Set: 1700.974 Check: 0.0 Back: 221.244
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: 4.809 Prop: 8570.793 PropClause: 8316.705 Set: 1708.151 Check: 0.0 Back: 222.358
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: 4.819 Prop: 8606.544 PropClause: 8351.266 Set: 1715.513 Check: 0.0 Back: 223.394
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: 4.828 Prop: 8641.504 PropClause: 8385.024 Set: 1722.823 Check: 0.0 Back: 224.511
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: 4.836 Prop: 8677.132 PropClause: 8419.463 Set: 1730.169 Check: 0.0 Back: 225.564
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: 4.844 Prop: 8710.705 PropClause: 8451.83 Set: 1737.433 Check: 0.0 Back: 226.677
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: 4.853 Prop: 8746.567 PropClause: 8486.494 Set: 1744.817 Check: 0.0 Back: 227.735
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: 4.861 Prop: 8779.65 PropClause: 8518.396 Set: 1751.877 Check: 0.0 Back: 228.841
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: 4.869 Prop: 8814.614 PropClause: 8552.169 Set: 1759.137 Check: 0.0 Back: 229.878
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: 4.879 Prop: 8849.267 PropClause: 8585.618 Set: 1766.46 Check: 0.0 Back: 230.994
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: 4.887 Prop: 8884.305 PropClause: 8619.467 Set: 1773.77 Check: 0.0 Back: 232.057
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: 4.898 Prop: 8917.245 PropClause: 8651.214 Set: 1781.044 Check: 0.0 Back: 233.177
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: 4.907 Prop: 8951.06 PropClause: 8683.846 Set: 1788.259 Check: 0.0 Back: 234.222
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: 4.919 Prop: 8987.075 PropClause: 8718.687 Set: 1795.427 Check: 0.0 Back: 235.332
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: 4.932 Prop: 9022.02 PropClause: 8752.449 Set: 1802.656 Check: 0.0 Back: 236.381
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: 4.966 Prop: 9054.964 PropClause: 8784.21 Set: 1809.803 Check: 0.0 Back: 237.471
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: 4.972 Prop: 9090.587 PropClause: 8818.649 Set: 1817.089 Check: 0.0 Back: 238.514
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: 4.978 Prop: 9124.817 PropClause: 8851.698 Set: 1824.358 Check: 0.0 Back: 239.625
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: 4.983 Prop: 9159.647 PropClause: 8885.337 Set: 1831.657 Check: 0.0 Back: 240.683
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: 4.988 Prop: 9192.561 PropClause: 8917.085 Set: 1838.674 Check: 0.0 Back: 241.781
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: 4.995 Prop: 9229.441 PropClause: 8952.782 Set: 1845.991 Check: 0.0 Back: 242.821
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: 5.002 Prop: 9263.228 PropClause: 8985.382 Set: 1853.287 Check: 0.0 Back: 243.952
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: 5.008 Prop: 9299.773 PropClause: 9020.734 Set: 1860.622 Check: 0.0 Back: 245.002
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: 5.015 Prop: 9332.82 PropClause: 9052.6 Set: 1867.826 Check: 0.0 Back: 246.105
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: 5.02 Prop: 9367.331 PropClause: 9085.922 Set: 1875.048 Check: 0.0 Back: 247.151
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: 5.026 Prop: 9399.96 PropClause: 9117.383 Set: 1882.032 Check: 0.0 Back: 248.252
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: 5.032 Prop: 9434.476 PropClause: 9150.715 Set: 1889.278 Check: 0.0 Back: 249.294
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: 5.038 Prop: 9469.14 PropClause: 9184.142 Set: 1896.802 Check: 0.0 Back: 250.439
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: 5.044 Prop: 9505.099 PropClause: 9218.91 Set: 1904.202 Check: 0.0 Back: 251.491
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: 5.049 Prop: 9539.2 PropClause: 9251.825 Set: 1911.402 Check: 0.0 Back: 252.598
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: 5.056 Prop: 9573.958 PropClause: 9285.392 Set: 1918.739 Check: 0.0 Back: 253.672
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: 5.062 Prop: 9607.72 PropClause: 9317.978 Set: 1925.917 Check: 0.0 Back: 254.782
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: 5.068 Prop: 9643.167 PropClause: 9352.242 Set: 1933.247 Check: 0.0 Back: 255.821
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: 5.073 Prop: 9676.42 PropClause: 9384.303 Set: 1940.509 Check: 0.0 Back: 256.924
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: 5.078 Prop: 9712.478 PropClause: 9419.161 Set: 1947.94 Check: 0.0 Back: 257.98
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: 5.085 Prop: 9747.998 PropClause: 9453.499 Set: 1955.247 Check: 0.0 Back: 259.102
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: 5.089 Prop: 9783.082 PropClause: 9487.396 Set: 1962.575 Check: 0.0 Back: 260.143
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: 5.095 Prop: 9817.707 PropClause: 9520.842 Set: 1969.729 Check: 0.0 Back: 261.253
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: 5.102 Prop: 9852.824 PropClause: 9554.771 Set: 1977.069 Check: 0.0 Back: 262.294
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: 5.108 Prop: 9886.369 PropClause: 9587.128 Set: 1984.324 Check: 0.0 Back: 263.4
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: 5.114 Prop: 9921.6 PropClause: 9621.171 Set: 2002.002 Check: 0.0 Back: 264.444
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: 5.119 Prop: 9954.861 PropClause: 9653.257 Set: 2009.143 Check: 0.0 Back: 265.528
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: 5.125 Prop: 9989.881 PropClause: 9687.092 Set: 2016.395 Check: 0.0 Back: 266.563
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: 5.132 Prop: 10025.725 PropClause: 9721.76 Set: 2023.582 Check: 0.0 Back: 267.664
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: 5.139 Prop: 10061.481 PropClause: 9756.324 Set: 2030.936 Check: 0.0 Back: 268.699
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: 5.144 Prop: 10097.312 PropClause: 9790.962 Set: 2038.378 Check: 0.0 Back: 269.814
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: 5.149 Prop: 10134.782 PropClause: 9827.234 Set: 2045.795 Check: 0.0 Back: 270.865
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: 5.154 Prop: 10169.391 PropClause: 9860.645 Set: 2053.138 Check: 0.0 Back: 271.976
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: 5.16 Prop: 10205.948 PropClause: 9895.993 Set: 2060.646 Check: 0.0 Back: 273.032
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: 5.166 Prop: 10239.843 PropClause: 9928.709 Set: 2075.643 Check: 0.0 Back: 274.154
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: 5.172 Prop: 10276.908 PropClause: 9964.59 Set: 2083.114 Check: 0.0 Back: 275.184
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: 5.188 Prop: 10315.377 PropClause: 10001.862 Set: 2090.551 Check: 0.0 Back: 276.291
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: 5.194 Prop: 10351.199 PropClause: 10036.477 Set: 2097.99 Check: 0.0 Back: 277.349
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: 5.201 Prop: 10391.019 PropClause: 10075.087 Set: 2105.427 Check: 0.0 Back: 278.454
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: 5.206 Prop: 10430.768 PropClause: 10113.635 Set: 2113.078 Check: 0.0 Back: 279.506
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: 5.212 Prop: 10466.177 PropClause: 10147.852 Set: 2120.328 Check: 0.0 Back: 280.618
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: 5.217 Prop: 10501.845 PropClause: 10182.325 Set: 2127.765 Check: 0.0 Back: 281.654
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: 5.222 Prop: 10536.777 PropClause: 10216.062 Set: 2135.14 Check: 0.0 Back: 282.776
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: 5.228 Prop: 10573.079 PropClause: 10251.169 Set: 2142.628 Check: 0.0 Back: 283.823
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: 5.235 Prop: 10607.828 PropClause: 10284.728 Set: 2149.998 Check: 0.0 Back: 284.95
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: 5.242 Prop: 10644.262 PropClause: 10319.966 Set: 2157.447 Check: 0.0 Back: 286.004
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: 5.248 Prop: 10678.84 PropClause: 10353.364 Set: 2164.674 Check: 0.0 Back: 287.142
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: 5.253 Prop: 10713.594 PropClause: 10386.915 Set: 2172.046 Check: 0.0 Back: 288.193
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: 5.259 Prop: 10748.973 PropClause: 10421.083 Set: 2179.455 Check: 0.0 Back: 289.297
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: 5.265 Prop: 10784.906 PropClause: 10455.815 Set: 2186.898 Check: 0.0 Back: 290.361
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: 5.27 Prop: 10818.862 PropClause: 10488.58 Set: 2194.186 Check: 0.0 Back: 291.493
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: 5.276 Prop: 10854.477 PropClause: 10522.997 Set: 2201.599 Check: 0.0 Back: 292.543
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: 5.281 Prop: 10889.051 PropClause: 10556.393 Set: 2208.82 Check: 0.0 Back: 293.659
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: 5.288 Prop: 10928.179 PropClause: 10594.336 Set: 2216.318 Check: 0.0 Back: 294.707
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: 5.294 Prop: 10962.921 PropClause: 10627.885 Set: 2223.646 Check: 0.0 Back: 295.808
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: 5.3 Prop: 10999.077 PropClause: 10662.844 Set: 2231.089 Check: 0.0 Back: 296.857
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: 5.307 Prop: 11035.245 PropClause: 10697.813 Set: 2238.505 Check: 0.0 Back: 297.973
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: 5.313 Prop: 11072.174 PropClause: 10733.549 Set: 2246.033 Check: 0.0 Back: 299.043
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: 5.319 Prop: 11107.474 PropClause: 10767.591 Set: 2253.306 Check: 0.0 Back: 300.164
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: 5.326 Prop: 11143.329 PropClause: 10802.257 Set: 2260.77 Check: 0.0 Back: 301.215
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: 5.33 Prop: 11178.047 PropClause: 10835.783 Set: 2268.222 Check: 0.0 Back: 302.323
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: 5.335 Prop: 11214.267 PropClause: 10870.813 Set: 2275.635 Check: 0.0 Back: 303.371
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: 5.342 Prop: 11249.017 PropClause: 10904.379 Set: 2283.016 Check: 0.0 Back: 304.477
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: 5.347 Prop: 11285.013 PropClause: 10939.179 Set: 2290.421 Check: 0.0 Back: 305.515
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: 5.353 Prop: 11320.23 PropClause: 10973.219 Set: 2297.603 Check: 0.0 Back: 306.624
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: 5.359 Prop: 11356.364 PropClause: 11008.152 Set: 2305.055 Check: 0.0 Back: 307.661
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: 5.365 Prop: 11390.645 PropClause: 11041.241 Set: 2312.415 Check: 0.0 Back: 308.768
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: 5.372 Prop: 11428.188 PropClause: 11077.609 Set: 2319.722 Check: 0.0 Back: 309.814
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: 5.378 Prop: 11463.345 PropClause: 11111.57 Set: 2327.11 Check: 0.0 Back: 310.922
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: 5.384 Prop: 11499.788 PropClause: 11146.828 Set: 2334.439 Check: 0.0 Back: 311.975
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: 5.389 Prop: 11534.57 PropClause: 11180.415 Set: 2341.847 Check: 0.0 Back: 313.071
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: 5.399 Prop: 11570.32 PropClause: 11214.967 Set: 2349.274 Check: 0.0 Back: 314.133
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: 5.403 Prop: 11603.742 PropClause: 11247.189 Set: 2356.532 Check: 0.0 Back: 315.247
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: 5.409 Prop: 11638.885 PropClause: 11281.155 Set: 2363.76 Check: 0.0 Back: 316.297
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: 5.414 Prop: 11672.511 PropClause: 11313.58 Set: 2371.007 Check: 0.0 Back: 317.375
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: 5.421 Prop: 11706.291 PropClause: 11346.184 Set: 2378.208 Check: 0.0 Back: 318.432
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: 5.426 Prop: 11739.063 PropClause: 11377.761 Set: 2385.429 Check: 0.0 Back: 319.527
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: 5.432 Prop: 11773.323 PropClause: 11410.834 Set: 2392.771 Check: 0.0 Back: 320.583
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: 5.437 Prop: 11805.782 PropClause: 11442.101 Set: 2399.944 Check: 0.0 Back: 321.688
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: 5.443 Prop: 11839.51 PropClause: 11474.64 Set: 2407.247 Check: 0.0 Back: 322.729
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: 5.449 Prop: 11873.019 PropClause: 11506.964 Set: 2414.461 Check: 0.0 Back: 323.825
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: 5.457 Prop: 11909.471 PropClause: 11542.222 Set: 2429.615 Check: 0.0 Back: 324.866
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: 5.463 Prop: 11944.143 PropClause: 11575.722 Set: 2436.812 Check: 0.0 Back: 325.963
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: 5.468 Prop: 11978.801 PropClause: 11609.185 Set: 2444.145 Check: 0.0 Back: 327.003
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: 5.474 Prop: 12012.239 PropClause: 11641.428 Set: 2451.421 Check: 0.0 Back: 328.096
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: 5.478 Prop: 12047.187 PropClause: 11675.187 Set: 2458.766 Check: 0.0 Back: 329.14
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: 5.484 Prop: 12080.605 PropClause: 11707.423 Set: 2465.958 Check: 0.0 Back: 330.232
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: 5.489 Prop: 12113.999 PropClause: 11739.622 Set: 2473.28 Check: 0.0 Back: 331.268
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: 5.495 Prop: 12146.57 PropClause: 11771.017 Set: 2493.109 Check: 0.0 Back: 332.37
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: 5.502 Prop: 12179.032 PropClause: 11802.288 Set: 2500.383 Check: 0.0 Back: 333.391
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: 5.508 Prop: 12211.046 PropClause: 11833.081 Set: 2507.764 Check: 0.0 Back: 334.486
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: 5.514 Prop: 12244.496 PropClause: 11865.331 Set: 2515.148 Check: 0.0 Back: 335.543
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: 5.519 Prop: 12276.838 PropClause: 11896.473 Set: 2522.448 Check: 0.0 Back: 336.651
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: 5.525 Prop: 12310.416 PropClause: 11928.862 Set: 2529.745 Check: 0.0 Back: 337.697
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: 5.529 Prop: 12345.687 PropClause: 11962.952 Set: 2536.921 Check: 0.0 Back: 338.799
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: 5.536 Prop: 12380.047 PropClause: 11996.119 Set: 2544.244 Check: 0.0 Back: 339.828
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: 5.54 Prop: 12412.999 PropClause: 12027.88 Set: 2551.507 Check: 0.0 Back: 340.943
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: 5.546 Prop: 12448.016 PropClause: 12061.704 Set: 2558.856 Check: 0.0 Back: 341.996
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: 5.553 Prop: 12481.568 PropClause: 12094.063 Set: 2566.133 Check: 0.0 Back: 343.103
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: 5.558 Prop: 12516.495 PropClause: 12127.801 Set: 2573.502 Check: 0.0 Back: 344.146
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: 5.563 Prop: 12550.573 PropClause: 12160.702 Set: 2580.722 Check: 0.0 Back: 345.246
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: 5.572 Prop: 12587.369 PropClause: 12196.306 Set: 2588.261 Check: 0.0 Back: 346.288
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: 5.577 Prop: 12621.995 PropClause: 12229.744 Set: 2595.602 Check: 0.0 Back: 347.407
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: 5.583 Prop: 12657.484 PropClause: 12264.042 Set: 2602.971 Check: 0.0 Back: 348.452
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: 5.589 Prop: 12691.522 PropClause: 12296.896 Set: 2610.294 Check: 0.0 Back: 349.561
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: 5.594 Prop: 12726.869 PropClause: 12331.026 Set: 2617.695 Check: 0.0 Back: 350.604
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: 5.599 Prop: 12761.261 PropClause: 12364.249 Set: 2624.84 Check: 0.0 Back: 351.712
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: 5.604 Prop: 12797.635 PropClause: 12399.437 Set: 2632.33 Check: 0.0 Back: 352.749
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: 5.609 Prop: 12833.042 PropClause: 12433.651 Set: 2639.691 Check: 0.0 Back: 353.868
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: 5.615 Prop: 12868.093 PropClause: 12467.511 Set: 2647.058 Check: 0.0 Back: 354.93
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: 5.622 Prop: 12902.381 PropClause: 12500.606 Set: 2654.341 Check: 0.0 Back: 356.033
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: 5.628 Prop: 12938.603 PropClause: 12535.634 Set: 2661.782 Check: 0.0 Back: 357.077
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: 5.633 Prop: 12973.691 PropClause: 12569.545 Set: 2668.988 Check: 0.0 Back: 358.192
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: 5.64 Prop: 13010.81 PropClause: 12605.469 Set: 2676.429 Check: 0.0 Back: 359.229
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: 5.647 Prop: 13045.412 PropClause: 12638.879 Set: 2683.799 Check: 0.0 Back: 360.335
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: 5.651 Prop: 13081.227 PropClause: 12673.514 Set: 2691.097 Check: 0.0 Back: 361.393
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: 5.656 Prop: 13115.744 PropClause: 12706.828 Set: 2698.561 Check: 0.0 Back: 362.474
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: 5.662 Prop: 13154.691 PropClause: 12744.58 Set: 2706.123 Check: 0.0 Back: 363.525
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: 5.667 Prop: 13189.166 PropClause: 12777.877 Set: 2713.381 Check: 0.0 Back: 364.623
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: 5.672 Prop: 13224.876 PropClause: 12812.393 Set: 2720.809 Check: 0.0 Back: 365.649
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: 5.679 Prop: 13259.294 PropClause: 12845.616 Set: 2728.233 Check: 0.0 Back: 366.762
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: 5.685 Prop: 13296.2 PropClause: 12881.335 Set: 2735.739 Check: 0.0 Back: 367.81
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: 5.691 Prop: 13330.513 PropClause: 12914.447 Set: 2743.056 Check: 0.0 Back: 368.911
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: 5.698 Prop: 13365.853 PropClause: 12948.581 Set: 2750.489 Check: 0.0 Back: 369.96
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: 5.703 Prop: 13403.251 PropClause: 12984.803 Set: 2757.834 Check: 0.0 Back: 371.053
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: 5.709 Prop: 13440.681 PropClause: 13021.034 Set: 2765.319 Check: 0.0 Back: 372.09
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: 5.714 Prop: 13477.965 PropClause: 13057.124 Set: 2772.776 Check: 0.0 Back: 373.191
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: 5.719 Prop: 13513.392 PropClause: 13091.348 Set: 2780.209 Check: 0.0 Back: 374.242
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: 5.724 Prop: 13549.115 PropClause: 13125.864 Set: 2787.646 Check: 0.0 Back: 375.329
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: 5.729 Prop: 13585.538 PropClause: 13161.095 Set: 2795.092 Check: 0.0 Back: 376.386
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: 5.737 Prop: 13622.37 PropClause: 13196.747 Set: 2809.404 Check: 0.0 Back: 377.49
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: 5.752 Prop: 13658.986 PropClause: 13232.17 Set: 2816.933 Check: 0.0 Back: 378.532
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: 5.757 Prop: 13695.187 PropClause: 13267.176 Set: 2824.314 Check: 0.0 Back: 379.641
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: 5.762 Prop: 13732.032 PropClause: 13302.827 Set: 2831.852 Check: 0.0 Back: 380.684
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: 5.768 Prop: 13769.193 PropClause: 13338.788 Set: 2839.35 Check: 0.0 Back: 381.791
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: 5.775 Prop: 13807.206 PropClause: 13375.601 Set: 2846.937 Check: 0.0 Back: 382.832
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: 5.78 Prop: 13844.998 PropClause: 13412.205 Set: 2854.315 Check: 0.0 Back: 383.931
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: 5.786 Prop: 13881.891 PropClause: 13447.907 Set: 2861.809 Check: 0.0 Back: 384.975
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: 5.792 Prop: 13917.499 PropClause: 13482.306 Set: 2869.298 Check: 0.0 Back: 386.073
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: 5.798 Prop: 13954.633 PropClause: 13518.229 Set: 2876.889 Check: 0.0 Back: 387.134
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: 5.804 Prop: 13991.485 PropClause: 13553.888 Set: 2884.364 Check: 0.0 Back: 388.247
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: 5.809 Prop: 14029.936 PropClause: 13591.14 Set: 2891.98 Check: 0.0 Back: 389.297
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: 5.814 Prop: 14065.867 PropClause: 13625.887 Set: 2899.334 Check: 0.0 Back: 390.405
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: 5.82 Prop: 14102.977 PropClause: 13661.794 Set: 2906.89 Check: 0.0 Back: 391.447
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: 5.826 Prop: 14140.619 PropClause: 13698.225 Set: 2914.481 Check: 0.0 Back: 392.551
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: 5.832 Prop: 14178.292 PropClause: 13734.7 Set: 2922.074 Check: 0.0 Back: 393.628
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: 5.838 Prop: 14214.007 PropClause: 13769.211 Set: 2929.547 Check: 0.0 Back: 394.749
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: 5.843 Prop: 14252.26 PropClause: 13806.259 Set: 2937.209 Check: 0.0 Back: 395.8
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: 5.848 Prop: 14288.154 PropClause: 13840.966 Set: 2944.577 Check: 0.0 Back: 396.916
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: 5.854 Prop: 14322.086 PropClause: 13873.69 Set: 2952.102 Check: 0.0 Back: 397.957
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: 5.859 Prop: 14361.423 PropClause: 13911.825 Set: 2959.663 Check: 0.0 Back: 399.08
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: 5.866 Prop: 14396.479 PropClause: 13945.675 Set: 2967.161 Check: 0.0 Back: 400.139
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: 5.873 Prop: 14433.168 PropClause: 13981.164 Set: 2974.732 Check: 0.0 Back: 401.254
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: 5.881 Prop: 14475.356 PropClause: 14022.151 Set: 2982.377 Check: 0.0 Back: 402.3
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: 5.887 Prop: 14510.098 PropClause: 14055.721 Set: 2989.708 Check: 0.0 Back: 403.402
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: 5.893 Prop: 14544.396 PropClause: 14088.833 Set: 2997.033 Check: 0.0 Back: 404.447
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: 5.897 Prop: 14578.994 PropClause: 14122.228 Set: 3004.48 Check: 0.0 Back: 405.542
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: 5.903 Prop: 14613.894 PropClause: 14155.941 Set: 3011.834 Check: 0.0 Back: 406.601
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: 5.909 Prop: 14648.761 PropClause: 14189.611 Set: 3029.369 Check: 0.0 Back: 407.693
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: 5.914 Prop: 14683.317 PropClause: 14222.979 Set: 3036.749 Check: 0.0 Back: 408.734
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: 5.919 Prop: 14718.187 PropClause: 14256.661 Set: 3043.989 Check: 0.0 Back: 409.82
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: 5.924 Prop: 14752.981 PropClause: 14290.268 Set: 3051.338 Check: 0.0 Back: 410.849
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: 5.93 Prop: 14786.838 PropClause: 14322.936 Set: 3058.684 Check: 0.0 Back: 411.956
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: 5.935 Prop: 14821.679 PropClause: 14356.583 Set: 3066.018 Check: 0.0 Back: 412.988
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: 5.941 Prop: 14856.719 PropClause: 14390.434 Set: 3073.459 Check: 0.0 Back: 414.091
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: 5.946 Prop: 14892.065 PropClause: 14424.576 Set: 3080.996 Check: 0.0 Back: 415.143
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: 5.953 Prop: 14928.562 PropClause: 14459.882 Set: 3088.462 Check: 0.0 Back: 416.24
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: 5.959 Prop: 14962.942 PropClause: 14493.056 Set: 3105.778 Check: 0.0 Back: 417.285
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: 5.965 Prop: 14997.845 PropClause: 14526.768 Set: 3113.246 Check: 0.0 Back: 418.353
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: 5.972 Prop: 15032.829 PropClause: 14560.493 Set: 3120.683 Check: 0.0 Back: 419.39
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: 5.977 Prop: 15066.789 PropClause: 14593.261 Set: 3127.992 Check: 0.0 Back: 420.484
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: 5.983 Prop: 15102.088 PropClause: 14627.358 Set: 3135.361 Check: 0.0 Back: 421.524
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: 5.99 Prop: 15135.823 PropClause: 14659.921 Set: 3142.522 Check: 0.0 Back: 422.614
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: 5.995 Prop: 15170.945 PropClause: 14693.851 Set: 3149.911 Check: 0.0 Back: 423.641
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: 6.001 Prop: 15204.85 PropClause: 14726.562 Set: 3157.24 Check: 0.0 Back: 424.724
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: 6.006 Prop: 15239.966 PropClause: 14760.476 Set: 3164.705 Check: 0.0 Back: 425.765
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: 6.012 Prop: 15273.933 PropClause: 14793.249 Set: 3172.091 Check: 0.0 Back: 426.855
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: 6.02 Prop: 15309.892 PropClause: 14828.016 Set: 3179.501 Check: 0.0 Back: 427.898
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: 6.026 Prop: 15343.895 PropClause: 14860.844 Set: 3186.757 Check: 0.0 Back: 429.003
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: 6.031 Prop: 15378.256 PropClause: 14894.015 Set: 3194.17 Check: 0.0 Back: 430.033
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: 6.037 Prop: 15412.287 PropClause: 14926.851 Set: 3201.462 Check: 0.0 Back: 431.127
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: 6.043 Prop: 15446.732 PropClause: 14960.115 Set: 3208.801 Check: 0.0 Back: 432.171
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: 6.049 Prop: 15481.517 PropClause: 14993.652 Set: 3216.083 Check: 0.0 Back: 433.259
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: 6.055 Prop: 15517.075 PropClause: 15028.019 Set: 3223.588 Check: 0.0 Back: 434.302
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: 6.061 Prop: 15552.349 PropClause: 15062.113 Set: 3230.836 Check: 0.0 Back: 435.398
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: 6.067 Prop: 15586.745 PropClause: 15095.318 Set: 3238.26 Check: 0.0 Back: 436.509
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: 6.074 Prop: 15621.567 PropClause: 15128.95 Set: 3245.655 Check: 0.0 Back: 437.594
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: 6.08 Prop: 15656.927 PropClause: 15163.114 Set: 3265.811 Check: 0.0 Back: 438.633
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: 6.086 Prop: 15691.403 PropClause: 15196.396 Set: 3273.21 Check: 0.0 Back: 439.721
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: 6.091 Prop: 15726.99 PropClause: 15230.796 Set: 3280.625 Check: 0.0 Back: 440.753
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: 6.098 Prop: 15761.382 PropClause: 15263.96 Set: 3287.807 Check: 0.0 Back: 441.84
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: 6.104 Prop: 15797.572 PropClause: 15298.866 Set: 3295.597 Check: 0.0 Back: 442.857
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: 6.109 Prop: 15831.487 PropClause: 15331.588 Set: 3302.958 Check: 0.0 Back: 443.943
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: 6.114 Prop: 15866.94 PropClause: 15365.851 Set: 3310.376 Check: 0.0 Back: 444.988
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: 6.119 Prop: 15901.528 PropClause: 15399.258 Set: 3317.671 Check: 0.0 Back: 446.074
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: 6.126 Prop: 15937.52 PropClause: 15434.068 Set: 3325.046 Check: 0.0 Back: 447.104
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: 6.131 Prop: 15973.105 PropClause: 15468.48 Set: 3332.279 Check: 0.0 Back: 448.195
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: 6.135 Prop: 16007.721 PropClause: 15501.907 Set: 3339.711 Check: 0.0 Back: 449.24
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: 6.141 Prop: 16042.497 PropClause: 15535.489 Set: 3347.11 Check: 0.0 Back: 450.324
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: 6.157 Prop: 16077.828 PropClause: 15569.633 Set: 3354.542 Check: 0.0 Back: 451.356
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: 6.164 Prop: 16112.585 PropClause: 15603.197 Set: 3361.898 Check: 0.0 Back: 452.433
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: 6.17 Prop: 16148.409 PropClause: 15637.83 Set: 3369.423 Check: 0.0 Back: 453.464
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: 6.174 Prop: 16183.466 PropClause: 15671.69 Set: 3376.738 Check: 0.0 Back: 454.546
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: 6.179 Prop: 16219.807 PropClause: 15706.836 Set: 3384.25 Check: 0.0 Back: 455.572
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: 6.187 Prop: 16256.136 PropClause: 15741.963 Set: 3391.866 Check: 0.0 Back: 456.659
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: 6.193 Prop: 16291.419 PropClause: 15776.05 Set: 3399.352 Check: 0.0 Back: 457.694
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: 6.201 Prop: 16327.14 PropClause: 15810.586 Set: 3406.805 Check: 0.0 Back: 458.796
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: 6.208 Prop: 16363.169 PropClause: 15845.428 Set: 3414.336 Check: 0.0 Back: 459.843
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: 6.213 Prop: 16398.727 PropClause: 15879.817 Set: 3421.638 Check: 0.0 Back: 460.934
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: 6.22 Prop: 16433.586 PropClause: 15913.489 Set: 3429.209 Check: 0.0 Back: 461.959
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: 6.226 Prop: 16468.31 PropClause: 15947.006 Set: 3436.656 Check: 0.0 Back: 463.045
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: 6.231 Prop: 16504.373 PropClause: 15981.88 Set: 3443.964 Check: 0.0 Back: 464.078
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: 6.237 Prop: 16540.216 PropClause: 16016.521 Set: 3451.504 Check: 0.0 Back: 465.182
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: 6.244 Prop: 16575.904 PropClause: 16051.025 Set: 3458.949 Check: 0.0 Back: 466.248
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: 6.249 Prop: 16610.878 PropClause: 16084.811 Set: 3466.4 Check: 0.0 Back: 467.346
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: 6.255 Prop: 16646.981 PropClause: 16119.727 Set: 3473.854 Check: 0.0 Back: 468.385
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: 6.261 Prop: 16682.626 PropClause: 16154.19 Set: 3481.217 Check: 0.0 Back: 469.477
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: 6.266 Prop: 16718.11 PropClause: 16188.502 Set: 3488.528 Check: 0.0 Back: 470.512
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: 6.272 Prop: 16752.529 PropClause: 16221.734 Set: 3495.924 Check: 0.0 Back: 471.589
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: 6.276 Prop: 16788.032 PropClause: 16256.042 Set: 3503.373 Check: 0.0 Back: 472.631
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: 6.282 Prop: 16821.606 PropClause: 16288.422 Set: 3510.813 Check: 0.0 Back: 473.72
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: 6.288 Prop: 16858.031 PropClause: 16323.66 Set: 3518.311 Check: 0.0 Back: 474.754
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: 6.294 Prop: 16891.122 PropClause: 16355.555 Set: 3525.716 Check: 0.0 Back: 475.844
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: 6.299 Prop: 16926.257 PropClause: 16389.493 Set: 3533.293 Check: 0.0 Back: 476.871
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: 6.306 Prop: 16961.644 PropClause: 16423.677 Set: 3540.938 Check: 0.0 Back: 477.955
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: 6.312 Prop: 16998.047 PropClause: 16458.878 Set: 3548.488 Check: 0.0 Back: 478.999
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: 6.318 Prop: 17033.646 PropClause: 16493.3 Set: 3555.786 Check: 0.0 Back: 480.09
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: 6.323 Prop: 17069.956 PropClause: 16528.424 Set: 3563.27 Check: 0.0 Back: 481.125
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: 6.33 Prop: 17105.327 PropClause: 16562.592 Set: 3570.754 Check: 0.0 Back: 482.218
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: 6.335 Prop: 17141.423 PropClause: 16597.5 Set: 3578.261 Check: 0.0 Back: 483.254
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: 6.341 Prop: 17174.687 PropClause: 16629.566 Set: 3585.818 Check: 0.0 Back: 484.359
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: 6.347 Prop: 17208.417 PropClause: 16662.099 Set: 3593.218 Check: 0.0 Back: 485.396
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: 6.353 Prop: 17241.225 PropClause: 16693.713 Set: 3600.599 Check: 0.0 Back: 486.485
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: 6.359 Prop: 17275.292 PropClause: 16726.588 Set: 3608.017 Check: 0.0 Back: 487.525
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: 6.365 Prop: 17308.501 PropClause: 16758.606 Set: 3615.367 Check: 0.0 Back: 488.612
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: 6.371 Prop: 17343.574 PropClause: 16792.483 Set: 3622.864 Check: 0.0 Back: 489.649
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: 6.376 Prop: 17377.567 PropClause: 16825.285 Set: 3630.231 Check: 0.0 Back: 490.721
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: 6.382 Prop: 17414.126 PropClause: 16860.654 Set: 3637.852 Check: 0.0 Back: 491.766
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: 6.387 Prop: 17451.607 PropClause: 16896.962 Set: 3645.228 Check: 0.0 Back: 492.868
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: 6.393 Prop: 17490.201 PropClause: 16934.37 Set: 3652.908 Check: 0.0 Back: 493.883
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: 6.399 Prop: 17525.977 PropClause: 16968.949 Set: 3660.457 Check: 0.0 Back: 494.953
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: 6.406 Prop: 17562.714 PropClause: 17004.472 Set: 3678.121 Check: 0.0 Back: 496.016
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: 6.413 Prop: 17598.216 PropClause: 17038.78 Set: 3685.604 Check: 0.0 Back: 497.101
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: 6.418 Prop: 17635.108 PropClause: 17074.475 Set: 3693.108 Check: 0.0 Back: 498.137
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: 6.423 Prop: 17669.773 PropClause: 17107.963 Set: 3700.327 Check: 0.0 Back: 499.219
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: 6.428 Prop: 17703.971 PropClause: 17140.948 Set: 3707.741 Check: 0.0 Back: 500.253
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: 6.433 Prop: 17738.113 PropClause: 17173.884 Set: 3715.178 Check: 0.0 Back: 501.345
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: 6.438 Prop: 17772.979 PropClause: 17207.548 Set: 3722.602 Check: 0.0 Back: 502.394
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: 6.443 Prop: 17807.286 PropClause: 17240.668 Set: 3729.925 Check: 0.0 Back: 503.478
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: 6.448 Prop: 17841.856 PropClause: 17274.043 Set: 3737.336 Check: 0.0 Back: 504.517
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: 6.453 Prop: 17876.034 PropClause: 17307.043 Set: 3744.585 Check: 0.0 Back: 505.597
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: 6.458 Prop: 17910.605 PropClause: 17340.41 Set: 3752.034 Check: 0.0 Back: 506.623
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: 6.463 Prop: 17944.013 PropClause: 17372.614 Set: 3759.414 Check: 0.0 Back: 507.707
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: 6.468 Prop: 17978.053 PropClause: 17405.464 Set: 3766.794 Check: 0.0 Back: 508.759
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: 6.474 Prop: 18011.105 PropClause: 17437.322 Set: 3783.384 Check: 0.0 Back: 509.837
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: 6.479 Prop: 18044.58 PropClause: 17469.606 Set: 3790.651 Check: 0.0 Back: 510.87
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: 6.485 Prop: 18077.992 PropClause: 17501.838 Set: 3797.83 Check: 0.0 Back: 511.954
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: 6.491 Prop: 18112.344 PropClause: 17535.002 Set: 3805.187 Check: 0.0 Back: 512.987
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: 6.496 Prop: 18146.018 PropClause: 17567.469 Set: 3812.487 Check: 0.0 Back: 514.06
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: 6.501 Prop: 18181.284 PropClause: 17601.534 Set: 3820.099 Check: 0.0 Back: 515.105
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: 6.506 Prop: 18216.714 PropClause: 17635.782 Set: 3827.6 Check: 0.0 Back: 516.187
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: 6.512 Prop: 18252.282 PropClause: 17670.153 Set: 3835.175 Check: 0.0 Back: 517.231
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: 6.518 Prop: 18286.398 PropClause: 17703.093 Set: 3842.328 Check: 0.0 Back: 518.321
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: 6.524 Prop: 18320.586 PropClause: 17736.094 Set: 3849.71 Check: 0.0 Back: 519.361
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: 6.529 Prop: 18354.695 PropClause: 17769.008 Set: 3857.135 Check: 0.0 Back: 520.435
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: 6.534 Prop: 18388.724 PropClause: 17801.838 Set: 3864.504 Check: 0.0 Back: 521.479
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: 6.539 Prop: 18423.515 PropClause: 17835.434 Set: 3871.9 Check: 0.0 Back: 522.543
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: 6.544 Prop: 18457.776 PropClause: 17868.503 Set: 3879.258 Check: 0.0 Back: 523.59
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: 6.55 Prop: 18491.593 PropClause: 17901.145 Set: 3886.466 Check: 0.0 Back: 524.679
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: 6.557 Prop: 18526.237 PropClause: 17934.605 Set: 3893.847 Check: 0.0 Back: 525.698
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: 6.562 Prop: 18559.475 PropClause: 17966.646 Set: 3901.219 Check: 0.0 Back: 526.762
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: 6.566 Prop: 18593.284 PropClause: 17999.26 Set: 3908.601 Check: 0.0 Back: 527.806
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: 6.571 Prop: 18627.087 PropClause: 18031.88 Set: 3915.934 Check: 0.0 Back: 528.885
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: 6.577 Prop: 18661.94 PropClause: 18065.543 Set: 3923.495 Check: 0.0 Back: 529.916
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: 6.583 Prop: 18697.07 PropClause: 18099.502 Set: 3930.711 Check: 0.0 Back: 530.99
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: 6.591 Prop: 18730.834 PropClause: 18132.077 Set: 3938.118 Check: 0.0 Back: 532.031
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: 6.597 Prop: 18764.994 PropClause: 18165.045 Set: 3945.44 Check: 0.0 Back: 533.103
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: 6.602 Prop: 18799.674 PropClause: 18198.521 Set: 3952.844 Check: 0.0 Back: 534.139
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: 6.608 Prop: 18833.866 PropClause: 18231.537 Set: 3960.114 Check: 0.0 Back: 535.219
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: 6.613 Prop: 18868.718 PropClause: 18265.205 Set: 3967.646 Check: 0.0 Back: 536.267
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: 6.619 Prop: 18906.273 PropClause: 18301.583 Set: 3975.034 Check: 0.0 Back: 537.342
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: 6.626 Prop: 18943.518 PropClause: 18337.638 Set: 3982.625 Check: 0.0 Back: 538.373
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: 6.631 Prop: 18979.192 PropClause: 18372.116 Set: 3990.264 Check: 0.0 Back: 539.445
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: 6.635 Prop: 19014.965 PropClause: 18406.717 Set: 3997.626 Check: 0.0 Back: 540.486
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: 6.641 Prop: 19050.689 PropClause: 18441.253 Set: 4005.108 Check: 0.0 Back: 541.554
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: 6.647 Prop: 19087.652 PropClause: 18477.021 Set: 4012.822 Check: 0.0 Back: 542.62
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: 6.653 Prop: 19124.156 PropClause: 18512.328 Set: 4020.473 Check: 0.0 Back: 543.708
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: 6.659 Prop: 19160.661 PropClause: 18547.618 Set: 4028.088 Check: 0.0 Back: 544.761
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: 6.662 Prop: 19195.828 PropClause: 18581.579 Set: 4035.532 Check: 0.0 Back: 545.86
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: 6.669 Prop: 19233.672 PropClause: 18618.248 Set: 4042.909 Check: 0.0 Back: 546.906
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: 6.676 Prop: 19268.655 PropClause: 18652.042 Set: 4050.447 Check: 0.0 Back: 547.984
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: 6.682 Prop: 19304.521 PropClause: 18686.725 Set: 4057.933 Check: 0.0 Back: 549.024
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: 6.687 Prop: 19341.017 PropClause: 18722.025 Set: 4065.513 Check: 0.0 Back: 550.106
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: 6.691 Prop: 19376.978 PropClause: 18756.791 Set: 4072.954 Check: 0.0 Back: 551.154
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: 6.698 Prop: 19412.57 PropClause: 18791.184 Set: 4080.38 Check: 0.0 Back: 552.23
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: 6.703 Prop: 19449.195 PropClause: 18826.618 Set: 4087.981 Check: 0.0 Back: 553.28
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: 6.709 Prop: 19484.532 PropClause: 18860.757 Set: 4095.482 Check: 0.0 Back: 554.359
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: 6.714 Prop: 19520.323 PropClause: 18895.359 Set: 4103.035 Check: 0.0 Back: 555.397
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: 6.719 Prop: 19556.014 PropClause: 18929.871 Set: 4110.358 Check: 0.0 Back: 556.478
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: 6.725 Prop: 19591.952 PropClause: 18964.627 Set: 4117.959 Check: 0.0 Back: 557.506
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: 6.73 Prop: 19627.715 PropClause: 18999.202 Set: 4125.424 Check: 0.0 Back: 558.591
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: 6.735 Prop: 19663.318 PropClause: 19033.619 Set: 4132.872 Check: 0.0 Back: 559.622
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: 6.741 Prop: 19699.157 PropClause: 19068.278 Set: 4140.292 Check: 0.0 Back: 560.7
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: 6.756 Prop: 19736.068 PropClause: 19104.003 Set: 4147.832 Check: 0.0 Back: 561.746
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: 6.761 Prop: 19770.874 PropClause: 19137.632 Set: 4155.195 Check: 0.0 Back: 562.822
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: 6.767 Prop: 19805.898 PropClause: 19171.495 Set: 4162.508 Check: 0.0 Back: 563.856
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: 6.771 Prop: 19840.549 PropClause: 19204.959 Set: 4169.877 Check: 0.0 Back: 564.904
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: 383.029 Prop: 51228.188 PropClause: 30.538 Set: 14707.959 Check: 688.562 Back: 417.545
INFO - Atoms: 4/1158 Clauses: 500 Axioms: 1158
INFO - CCTimes: iE 922717 eq 38758720 cc 154568894 setRep 101312538
INFO - Merges: 651540, cc:1258134
INFO - BVTimes: BB 261209576 BB_DPLL 45502219054 Graph 356454483
INFO - BitBlastingClauses: 593410 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 501 Props: 22978351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.778 Prop: 19879.156 PropClause: 19242.376 Set: 4177.329 Check: 0.0 Back: 565.939
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: 6.793 Prop: 19921.835 PropClause: 19283.702 Set: 4202.073 Check: 0.0 Back: 567.031
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: 6.799 Prop: 19959.85 PropClause: 19320.326 Set: 4223.842 Check: 0.0 Back: 568.06
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: 6.804 Prop: 20001.518 PropClause: 19360.598 Set: 4246.642 Check: 0.0 Back: 569.144
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: 6.843 Prop: 20037.525 PropClause: 19395.39 Set: 4254.353 Check: 0.0 Back: 570.208
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: 6.849 Prop: 20072.201 PropClause: 19428.901 Set: 4261.919 Check: 0.0 Back: 571.298
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: 6.855 Prop: 20107.386 PropClause: 19462.93 Set: 4269.447 Check: 0.0 Back: 572.318
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: 6.862 Prop: 20142.509 PropClause: 19496.884 Set: 4276.77 Check: 0.0 Back: 573.393
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: 6.899 Prop: 20161.631 PropClause: 19515.379 Set: 4280.118 Check: 0.0 Back: 574.457
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: 24572546 Tprops: 0 Decides: 2402 RSplits: 0
INFO - Times: Expl: 965.797 Prop: 20932.819 PropClause: 20249.313 Set: 4313.052 Check: 0.058 Back: 604.033
INFO - Atoms: 20821/62944 Clauses: 1272 Axioms: 207410
INFO - Restart
INFO - Confl: 1509 Props: 25801671 Tprops: 0 Decides: 5078 RSplits: 0
INFO - Times: Expl: 1445.993 Prop: 21639.635 PropClause: 20919.582 Set: 4342.554 Check: 0.122 Back: 632.344
INFO - Atoms: 20825/62944 Clauses: 1772 Axioms: 207410
INFO - Confl: 2403 Props: 27993889 Tprops: 0 Decides: 9039 RSplits: 0
INFO - Times: Expl: 2255.616 Prop: 22999.966 PropClause: 22215.965 Set: 4394.77 Check: 0.221 Back: 682.44
INFO - Atoms: 22256/62944 Clauses: 2666 Axioms: 207410
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 569 Props: 89239 Tprops: 19168 Decides: 85988 RSplits: 0
INFO - Times: Expl: 399.959 Prop: 57610.12 PropClause: 34.499 Set: 15593.265 Check: 709.173 Back: 446.454
INFO - Atoms: 1158/1158 Clauses: 569 Axioms: 1158
INFO - CCTimes: iE 940706 eq 47302611 cc 167027301 setRep 103881911
INFO - Merges: 663087, cc:1320967
INFO - BVTimes: BB 261209576 BB_DPLL 51708519033 Graph 369449714
INFO - BitBlastingClauses: 601130 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat