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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 155905526
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 65982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.611 Prop: 84.089 PropClause: 81.774 Set: 30.146 Check: 0.0 Back: 0.0
INFO - Atoms: 65982/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 131584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.652 Prop: 172.221 PropClause: 167.745 Set: 57.2 Check: 0.0 Back: 1.504
INFO - Atoms: 65602/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 197184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.73 Prop: 246.24 PropClause: 239.061 Set: 68.759 Check: 0.0 Back: 2.992
INFO - Atoms: 65600/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 262786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.798 Prop: 318.186 PropClause: 308.736 Set: 87.483 Check: 0.0 Back: 4.471
INFO - Atoms: 65602/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 328382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.84 Prop: 388.538 PropClause: 376.9 Set: 99.01 Check: 0.0 Back: 5.963
INFO - Atoms: 65596/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 394162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.88 Prop: 459.417 PropClause: 446.136 Set: 110.846 Check: 0.0 Back: 7.455
INFO - Atoms: 65780/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 459758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.925 Prop: 531.661 PropClause: 516.715 Set: 122.49 Check: 0.0 Back: 8.963
INFO - Atoms: 65596/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 525163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.988 Prop: 600.057 PropClause: 583.474 Set: 134.132 Check: 0.0 Back: 10.468
INFO - Atoms: 65405/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 590374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.034 Prop: 670.913 PropClause: 652.713 Set: 152.423 Check: 0.0 Back: 11.971
INFO - Atoms: 65211/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 655389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.07 Prop: 740.793 PropClause: 720.99 Set: 192.586 Check: 0.0 Back: 13.466
INFO - Atoms: 65015/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 720210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.137 Prop: 810.935 PropClause: 789.52 Set: 203.983 Check: 0.0 Back: 14.948
INFO - Atoms: 64821/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 784853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.206 Prop: 884.484 PropClause: 861.461 Set: 215.461 Check: 0.0 Back: 16.431
INFO - Atoms: 64643/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 849284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.25 Prop: 952.422 PropClause: 927.818 Set: 226.693 Check: 0.0 Back: 17.925
INFO - Atoms: 64431/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 913537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.292 Prop: 1021.2 PropClause: 995.02 Set: 237.956 Check: 0.0 Back: 19.396
INFO - Atoms: 64253/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 977578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.333 Prop: 1087.461 PropClause: 1059.712 Set: 249.117 Check: 0.0 Back: 20.855
INFO - Atoms: 64041/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 1041441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.374 Prop: 1154.673 PropClause: 1125.361 Set: 260.303 Check: 0.0 Back: 22.31
INFO - Atoms: 63863/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 1105092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.441 Prop: 1221.595 PropClause: 1190.718 Set: 271.365 Check: 0.0 Back: 23.759
INFO - Atoms: 63651/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 1168564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.489 Prop: 1303.285 PropClause: 1270.853 Set: 288.814 Check: 0.0 Back: 25.203
INFO - Atoms: 63472/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1231825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.53 Prop: 1369.398 PropClause: 1335.419 Set: 305.254 Check: 0.0 Back: 26.643
INFO - Atoms: 63261/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 1294908 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.568 Prop: 1442.926 PropClause: 1407.375 Set: 322.085 Check: 0.0 Back: 28.082
INFO - Atoms: 63083/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 1357779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.605 Prop: 1507.193 PropClause: 1470.103 Set: 338.3 Check: 0.0 Back: 29.523
INFO - Atoms: 62871/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 1420454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.644 Prop: 1568.985 PropClause: 1530.365 Set: 348.954 Check: 0.0 Back: 30.931
INFO - Atoms: 62675/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 1482935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.68 Prop: 1629.591 PropClause: 1589.442 Set: 359.63 Check: 0.0 Back: 32.339
INFO - Atoms: 62481/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 1545239 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.718 Prop: 1692.149 PropClause: 1650.481 Set: 370.373 Check: 0.0 Back: 33.745
INFO - Atoms: 62304/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 1607330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.757 Prop: 1753.6 PropClause: 1710.396 Set: 381.019 Check: 0.0 Back: 35.146
INFO - Atoms: 62091/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 1669225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.793 Prop: 1816.645 PropClause: 1771.928 Set: 391.717 Check: 0.0 Back: 36.561
INFO - Atoms: 61895/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 1730926 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.835 Prop: 1877.217 PropClause: 1830.984 Set: 402.253 Check: 0.0 Back: 37.962
INFO - Atoms: 61701/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 1792431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.869 Prop: 1938.45 PropClause: 1890.71 Set: 412.797 Check: 0.0 Back: 39.355
INFO - Atoms: 61505/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 1853742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.908 Prop: 1998.395 PropClause: 1949.154 Set: 423.198 Check: 0.0 Back: 40.735
INFO - Atoms: 61311/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 1914875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.95 Prop: 2057.977 PropClause: 2007.234 Set: 433.682 Check: 0.0 Back: 42.12
INFO - Atoms: 61133/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 1975796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.985 Prop: 2118.781 PropClause: 2066.547 Set: 444.053 Check: 0.0 Back: 43.502
INFO - Atoms: 60921/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 2036521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.024 Prop: 2181.527 PropClause: 2127.807 Set: 454.49 Check: 0.0 Back: 44.89
INFO - Atoms: 60725/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 2097052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.061 Prop: 2239.853 PropClause: 2184.649 Set: 464.764 Check: 0.0 Back: 46.26
INFO - Atoms: 60531/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 2157405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.097 Prop: 2300.409 PropClause: 2243.727 Set: 475.045 Check: 0.0 Back: 47.624
INFO - Atoms: 60353/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 2217546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.137 Prop: 2358.95 PropClause: 2300.795 Set: 485.284 Check: 0.0 Back: 48.995
INFO - Atoms: 60141/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 2277508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.177 Prop: 2421.136 PropClause: 2361.501 Set: 495.602 Check: 0.0 Back: 50.358
INFO - Atoms: 59962/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 2337259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.215 Prop: 2479.955 PropClause: 2418.858 Set: 505.716 Check: 0.0 Back: 51.707
INFO - Atoms: 59751/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 2396832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.259 Prop: 2545.23 PropClause: 2482.674 Set: 521.954 Check: 0.0 Back: 53.053
INFO - Atoms: 59573/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 2456193 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.304 Prop: 2610.558 PropClause: 2546.54 Set: 537.533 Check: 0.0 Back: 54.419
INFO - Atoms: 59361/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 2515376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.348 Prop: 2673.384 PropClause: 2607.91 Set: 547.677 Check: 0.0 Back: 55.788
INFO - Atoms: 59183/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 2574347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.395 Prop: 2732.457 PropClause: 2665.537 Set: 557.668 Check: 0.0 Back: 57.13
INFO - Atoms: 58971/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 2633122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.454 Prop: 2798.667 PropClause: 2730.292 Set: 567.8 Check: 0.0 Back: 58.466
INFO - Atoms: 58775/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 2691703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.493 Prop: 2856.036 PropClause: 2786.208 Set: 577.712 Check: 0.0 Back: 59.813
INFO - Atoms: 58581/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 2750106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.535 Prop: 2915.712 PropClause: 2844.445 Set: 587.681 Check: 0.0 Back: 61.156
INFO - Atoms: 58403/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 2808297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.58 Prop: 2973.534 PropClause: 2900.833 Set: 597.524 Check: 0.0 Back: 62.488
INFO - Atoms: 58191/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 2866292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.623 Prop: 3031.612 PropClause: 2957.478 Set: 607.403 Check: 0.0 Back: 63.818
INFO - Atoms: 57995/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 2924093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.665 Prop: 3089.333 PropClause: 3013.767 Set: 617.269 Check: 0.0 Back: 65.138
INFO - Atoms: 57801/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 2981698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.709 Prop: 3156.042 PropClause: 3079.046 Set: 627.319 Check: 0.0 Back: 66.469
INFO - Atoms: 57605/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 3039109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.752 Prop: 3213.607 PropClause: 3135.193 Set: 637.068 Check: 0.0 Back: 67.786
INFO - Atoms: 57411/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 3096342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.795 Prop: 3270.573 PropClause: 3190.748 Set: 646.848 Check: 0.0 Back: 69.101
INFO - Atoms: 57233/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 3153363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.838 Prop: 3326.351 PropClause: 3245.123 Set: 656.467 Check: 0.0 Back: 70.402
INFO - Atoms: 57021/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 3210206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.983 Prop: 3384.872 PropClause: 3302.237 Set: 666.122 Check: 0.0 Back: 71.704
INFO - Atoms: 56843/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 3266837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.003 Prop: 3442.375 PropClause: 3358.341 Set: 675.726 Check: 0.0 Back: 73.0
INFO - Atoms: 56631/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 3323290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.023 Prop: 3498.973 PropClause: 3413.544 Set: 685.352 Check: 0.0 Back: 74.283
INFO - Atoms: 56453/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 3379531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.044 Prop: 3553.382 PropClause: 3466.574 Set: 694.826 Check: 0.0 Back: 75.555
INFO - Atoms: 56241/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 3435594 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.067 Prop: 3611.813 PropClause: 3523.622 Set: 704.38 Check: 0.0 Back: 76.825
INFO - Atoms: 56063/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 3491445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.087 Prop: 3666.802 PropClause: 3577.225 Set: 713.815 Check: 0.0 Back: 78.109
INFO - Atoms: 55851/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 3547118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.108 Prop: 3723.201 PropClause: 3632.241 Set: 723.313 Check: 0.0 Back: 79.384
INFO - Atoms: 55673/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 3602579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.13 Prop: 3779.495 PropClause: 3687.167 Set: 732.693 Check: 0.0 Back: 80.661
INFO - Atoms: 55461/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 3657862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.15 Prop: 3834.767 PropClause: 3741.078 Set: 742.1 Check: 0.0 Back: 81.935
INFO - Atoms: 55283/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 3712933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.172 Prop: 3889.527 PropClause: 3794.474 Set: 751.442 Check: 0.0 Back: 83.183
INFO - Atoms: 55071/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 3767808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.194 Prop: 3945.468 PropClause: 3849.06 Set: 760.76 Check: 0.0 Back: 84.435
INFO - Atoms: 54875/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 3822489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.217 Prop: 3999.054 PropClause: 3901.297 Set: 770.003 Check: 0.0 Back: 85.685
INFO - Atoms: 54681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 3876993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.233 Prop: 4055.043 PropClause: 3955.934 Set: 779.257 Check: 0.0 Back: 86.934
INFO - Atoms: 54504/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 3931284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.337 Prop: 4116.319 PropClause: 4015.85 Set: 788.584 Check: 0.0 Back: 88.177
INFO - Atoms: 54291/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 3985397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.356 Prop: 4170.126 PropClause: 4068.311 Set: 797.737 Check: 0.0 Back: 89.421
INFO - Atoms: 54113/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 4039298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.373 Prop: 4224.453 PropClause: 4121.287 Set: 806.878 Check: 0.0 Back: 90.646
INFO - Atoms: 53901/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 4093021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.392 Prop: 4281.307 PropClause: 4176.812 Set: 816.043 Check: 0.0 Back: 91.883
INFO - Atoms: 53723/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 4146532 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.408 Prop: 4335.147 PropClause: 4229.317 Set: 825.071 Check: 0.0 Back: 93.107
INFO - Atoms: 53511/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 4199847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.423 Prop: 4386.389 PropClause: 4279.239 Set: 834.061 Check: 0.0 Back: 94.327
INFO - Atoms: 53315/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 4252968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.44 Prop: 4438.321 PropClause: 4329.856 Set: 843.047 Check: 0.0 Back: 95.541
INFO - Atoms: 53121/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 4305911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.459 Prop: 4493.469 PropClause: 4383.678 Set: 852.029 Check: 0.0 Back: 96.768
INFO - Atoms: 52943/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 4358642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.476 Prop: 4544.173 PropClause: 4433.075 Set: 860.892 Check: 0.0 Back: 97.982
INFO - Atoms: 52731/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 4411177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.492 Prop: 4595.158 PropClause: 4482.77 Set: 869.793 Check: 0.0 Back: 99.192
INFO - Atoms: 52535/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 4463518 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.508 Prop: 4645.466 PropClause: 4531.79 Set: 878.485 Check: 0.0 Back: 100.386
INFO - Atoms: 52341/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 4515681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.524 Prop: 4692.188 PropClause: 4577.233 Set: 887.087 Check: 0.0 Back: 101.575
INFO - Atoms: 52163/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 4567632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.54 Prop: 4740.062 PropClause: 4623.825 Set: 895.726 Check: 0.0 Back: 102.753
INFO - Atoms: 51951/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 4619404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.554 Prop: 4788.537 PropClause: 4671.03 Set: 904.326 Check: 0.0 Back: 103.934
INFO - Atoms: 51772/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 4670965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.568 Prop: 4836.877 PropClause: 4718.103 Set: 912.886 Check: 0.0 Back: 105.104
INFO - Atoms: 51561/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 4722348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.584 Prop: 4884.1 PropClause: 4764.061 Set: 921.316 Check: 0.0 Back: 106.284
INFO - Atoms: 51383/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 4773519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.601 Prop: 4929.914 PropClause: 4808.618 Set: 929.762 Check: 0.0 Back: 107.455
INFO - Atoms: 51171/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 4824511 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.616 Prop: 4979.084 PropClause: 4856.531 Set: 938.242 Check: 0.0 Back: 108.606
INFO - Atoms: 50992/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 4875292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.635 Prop: 5027.517 PropClause: 4903.711 Set: 946.693 Check: 0.0 Back: 109.781
INFO - Atoms: 50781/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 4925877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.649 Prop: 5072.463 PropClause: 4947.407 Set: 955.023 Check: 0.0 Back: 110.937
INFO - Atoms: 50585/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 4976268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.663 Prop: 5117.43 PropClause: 4991.136 Set: 963.327 Check: 0.0 Back: 112.091
INFO - Atoms: 50391/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 5026463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.679 Prop: 5161.951 PropClause: 5034.42 Set: 971.565 Check: 0.0 Back: 113.248
INFO - Atoms: 50195/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 5076464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.696 Prop: 5205.028 PropClause: 5076.261 Set: 979.755 Check: 0.0 Back: 114.403
INFO - Atoms: 50001/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 5126288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.711 Prop: 5249.59 PropClause: 5119.524 Set: 987.933 Check: 0.0 Back: 115.542
INFO - Atoms: 49824/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 5175899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.726 Prop: 5292.641 PropClause: 5161.352 Set: 996.056 Check: 0.0 Back: 116.666
INFO - Atoms: 49611/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 5225314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.741 Prop: 5336.038 PropClause: 5203.522 Set: 1004.237 Check: 0.0 Back: 117.787
INFO - Atoms: 49415/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 5274535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.757 Prop: 5378.244 PropClause: 5244.511 Set: 1012.306 Check: 0.0 Back: 118.91
INFO - Atoms: 49221/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 5323578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.774 Prop: 5422.584 PropClause: 5287.634 Set: 1020.376 Check: 0.0 Back: 120.04
INFO - Atoms: 49043/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 5372409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.788 Prop: 5463.222 PropClause: 5327.072 Set: 1028.309 Check: 0.0 Back: 121.162
INFO - Atoms: 48831/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 5421062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.833 Prop: 5503.942 PropClause: 5366.587 Set: 1036.237 Check: 0.0 Back: 122.27
INFO - Atoms: 48653/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 5469503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.894 Prop: 5544.371 PropClause: 5405.835 Set: 1044.108 Check: 0.0 Back: 123.37
INFO - Atoms: 48441/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 5517748 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.905 Prop: 5585.328 PropClause: 5445.609 Set: 1051.966 Check: 0.0 Back: 124.464
INFO - Atoms: 48245/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 5565799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.917 Prop: 5627.397 PropClause: 5486.49 Set: 1059.795 Check: 0.0 Back: 125.563
INFO - Atoms: 48051/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 5613654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.928 Prop: 5668.198 PropClause: 5526.101 Set: 1067.683 Check: 0.0 Back: 126.652
INFO - Atoms: 47855/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 5661315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.94 Prop: 5707.64 PropClause: 5564.372 Set: 1075.405 Check: 0.0 Back: 127.738
INFO - Atoms: 47661/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 5708798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.952 Prop: 5748.121 PropClause: 5603.678 Set: 1083.191 Check: 0.0 Back: 128.821
INFO - Atoms: 47483/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 5756069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.962 Prop: 5787.533 PropClause: 5641.928 Set: 1090.842 Check: 0.0 Back: 129.911
INFO - Atoms: 47271/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 5803161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.975 Prop: 5828.393 PropClause: 5681.635 Set: 1098.459 Check: 0.0 Back: 130.985
INFO - Atoms: 47092/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 5850042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.986 Prop: 5867.316 PropClause: 5719.407 Set: 1106.042 Check: 0.0 Back: 132.06
INFO - Atoms: 46881/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 5896745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.997 Prop: 5905.786 PropClause: 5756.73 Set: 1113.62 Check: 0.0 Back: 133.125
INFO - Atoms: 46703/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 5943236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.005 Prop: 5942.934 PropClause: 5792.743 Set: 1121.097 Check: 0.0 Back: 134.174
INFO - Atoms: 46491/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 5989549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.015 Prop: 5981.792 PropClause: 5830.471 Set: 1128.55 Check: 0.0 Back: 135.217
INFO - Atoms: 46313/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 6035650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.026 Prop: 6019.023 PropClause: 5866.579 Set: 1135.974 Check: 0.0 Back: 136.259
INFO - Atoms: 46101/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 6081555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.038 Prop: 6059.592 PropClause: 5906.015 Set: 1143.488 Check: 0.0 Back: 137.302
INFO - Atoms: 45905/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 6127266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.049 Prop: 6096.876 PropClause: 5942.174 Set: 1150.866 Check: 0.0 Back: 138.353
INFO - Atoms: 45711/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 6172799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.06 Prop: 6133.453 PropClause: 5977.634 Set: 1158.196 Check: 0.0 Back: 139.38
INFO - Atoms: 45533/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 6218120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.071 Prop: 6170.751 PropClause: 6013.813 Set: 1165.484 Check: 0.0 Back: 140.403
INFO - Atoms: 45321/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 6263245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.082 Prop: 6207.375 PropClause: 6049.328 Set: 1172.785 Check: 0.0 Back: 141.431
INFO - Atoms: 45125/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 6308176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.092 Prop: 6243.003 PropClause: 6083.853 Set: 1179.968 Check: 0.0 Back: 142.452
INFO - Atoms: 44931/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 6352929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.104 Prop: 6279.256 PropClause: 6119.006 Set: 1187.176 Check: 0.0 Back: 143.467
INFO - Atoms: 44753/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 6397470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.115 Prop: 6315.796 PropClause: 6154.453 Set: 1194.358 Check: 0.0 Back: 144.476
INFO - Atoms: 44541/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 6441815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.125 Prop: 6352.573 PropClause: 6190.135 Set: 1201.561 Check: 0.0 Back: 145.492
INFO - Atoms: 44345/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 6487328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.141 Prop: 6389.507 PropClause: 6225.951 Set: 1209.063 Check: 0.0 Back: 146.494
INFO - Atoms: 45513/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 6532817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.187 Prop: 6426.903 PropClause: 6262.225 Set: 1216.487 Check: 0.0 Back: 147.534
INFO - Atoms: 45489/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 6577738 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.2 Prop: 6463.962 PropClause: 6298.183 Set: 1223.79 Check: 0.0 Back: 148.571
INFO - Atoms: 44921/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 6623230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.212 Prop: 6501.162 PropClause: 6334.262 Set: 1231.261 Check: 0.0 Back: 149.59
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 6668745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.223 Prop: 6537.576 PropClause: 6369.561 Set: 1238.66 Check: 0.0 Back: 150.614
INFO - Atoms: 45515/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 6714443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.235 Prop: 6575.499 PropClause: 6406.366 Set: 1246.119 Check: 0.0 Back: 151.636
INFO - Atoms: 45698/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 6759935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.247 Prop: 6613.12 PropClause: 6442.867 Set: 1253.6 Check: 0.0 Back: 152.674
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 6805594 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.258 Prop: 6650.019 PropClause: 6478.645 Set: 1261.111 Check: 0.0 Back: 153.713
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 6851278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.271 Prop: 6686.947 PropClause: 6514.454 Set: 1268.599 Check: 0.0 Back: 154.749
INFO - Atoms: 45684/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 6896936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.283 Prop: 6724.531 PropClause: 6550.915 Set: 1276.109 Check: 0.0 Back: 155.78
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 6942430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.297 Prop: 6761.437 PropClause: 6586.704 Set: 1283.567 Check: 0.0 Back: 156.818
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 6988111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.31 Prop: 6798.49 PropClause: 6622.629 Set: 1291.092 Check: 0.0 Back: 157.852
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 7033603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.322 Prop: 6836.15 PropClause: 6659.175 Set: 1298.57 Check: 0.0 Back: 158.893
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 7079262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.334 Prop: 6873.61 PropClause: 6695.509 Set: 1306.091 Check: 0.0 Back: 159.938
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 7124188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.348 Prop: 6912.674 PropClause: 6733.458 Set: 1313.425 Check: 0.0 Back: 160.973
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 7169846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.361 Prop: 6950.938 PropClause: 6770.596 Set: 1320.984 Check: 0.0 Back: 161.996
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 7215361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.374 Prop: 6989.348 PropClause: 6807.88 Set: 1328.535 Check: 0.0 Back: 163.032
INFO - Atoms: 45515/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 7261061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.387 Prop: 7026.634 PropClause: 6844.042 Set: 1336.105 Check: 0.0 Back: 164.076
INFO - Atoms: 45700/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 7306553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.399 Prop: 7064.717 PropClause: 6880.998 Set: 1343.642 Check: 0.0 Back: 165.11
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 7352210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.412 Prop: 7103.314 PropClause: 6918.459 Set: 1351.228 Check: 0.0 Back: 166.153
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 7397136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.424 Prop: 7140.847 PropClause: 6954.876 Set: 1358.618 Check: 0.0 Back: 167.2
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 7442792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.436 Prop: 7177.999 PropClause: 6990.899 Set: 1366.224 Check: 0.0 Back: 168.233
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 7488309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.449 Prop: 7214.074 PropClause: 7025.84 Set: 1373.747 Check: 0.0 Back: 169.296
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 7533990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.462 Prop: 7250.847 PropClause: 7061.474 Set: 1381.292 Check: 0.0 Back: 170.359
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 7579482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.475 Prop: 7289.567 PropClause: 7099.065 Set: 1388.803 Check: 0.0 Back: 171.409
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 7625139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.487 Prop: 7326.383 PropClause: 7134.751 Set: 1396.327 Check: 0.0 Back: 172.454
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 7670065 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.5 Prop: 7362.917 PropClause: 7170.176 Set: 1403.705 Check: 0.0 Back: 173.511
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 7715721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.512 Prop: 7401.03 PropClause: 7207.161 Set: 1411.327 Check: 0.0 Back: 174.545
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 7761238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.523 Prop: 7438.96 PropClause: 7243.974 Set: 1418.877 Check: 0.0 Back: 175.591
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 7806938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.54 Prop: 7483.083 PropClause: 7286.962 Set: 1426.667 Check: 0.0 Back: 176.624
INFO - Atoms: 45700/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 7852430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.551 Prop: 7523.745 PropClause: 7326.498 Set: 1434.226 Check: 0.0 Back: 177.67
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 7898087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.564 Prop: 7562.262 PropClause: 7363.89 Set: 1441.821 Check: 0.0 Back: 178.702
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 7943769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.577 Prop: 7601.525 PropClause: 7402.009 Set: 1449.439 Check: 0.0 Back: 179.733
INFO - Atoms: 45682/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 7989428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.591 Prop: 7642.54 PropClause: 7441.884 Set: 1457.183 Check: 0.0 Back: 180.8
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 8034922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.603 Prop: 7680.441 PropClause: 7478.643 Set: 1464.749 Check: 0.0 Back: 181.862
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 8080603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.615 Prop: 7722.826 PropClause: 7519.892 Set: 1472.522 Check: 0.0 Back: 182.937
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 8126095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.626 Prop: 7757.942 PropClause: 7553.882 Set: 1479.972 Check: 0.0 Back: 183.98
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 8171754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.637 Prop: 7793.601 PropClause: 7588.413 Set: 1487.487 Check: 0.0 Back: 185.012
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 8216680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.646 Prop: 7829.178 PropClause: 7622.88 Set: 1494.814 Check: 0.0 Back: 186.054
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 8262338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.656 Prop: 7864.33 PropClause: 7656.911 Set: 1502.333 Check: 0.0 Back: 187.07
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 8307853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.668 Prop: 7899.202 PropClause: 7690.66 Set: 1509.758 Check: 0.0 Back: 188.107
INFO - Atoms: 45515/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 8353534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.677 Prop: 7932.639 PropClause: 7722.975 Set: 1517.218 Check: 0.0 Back: 189.134
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 8399026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.688 Prop: 7967.36 PropClause: 7756.572 Set: 1524.658 Check: 0.0 Back: 190.165
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 8444683 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.696 Prop: 8002.086 PropClause: 7790.174 Set: 1532.173 Check: 0.0 Back: 191.189
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 8489609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.707 Prop: 8036.306 PropClause: 7823.289 Set: 1539.468 Check: 0.0 Back: 192.222
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 8535266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.718 Prop: 8074.645 PropClause: 7860.5 Set: 1547.109 Check: 0.0 Back: 193.24
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 8580782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.73 Prop: 8112.478 PropClause: 7897.212 Set: 1554.687 Check: 0.0 Back: 194.263
INFO - Atoms: 45516/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 8626482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.74 Prop: 8147.049 PropClause: 7930.647 Set: 1562.181 Check: 0.0 Back: 195.297
INFO - Atoms: 45700/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 8671974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.75 Prop: 8182.936 PropClause: 7965.417 Set: 1569.626 Check: 0.0 Back: 196.331
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 8717631 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.761 Prop: 8222.113 PropClause: 8003.473 Set: 1577.223 Check: 0.0 Back: 197.356
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 8762557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.773 Prop: 8257.102 PropClause: 8037.364 Set: 1584.516 Check: 0.0 Back: 198.385
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 8808214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.784 Prop: 8291.575 PropClause: 8070.716 Set: 1592.047 Check: 0.0 Back: 199.402
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 8853730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.793 Prop: 8326.39 PropClause: 8104.411 Set: 1599.52 Check: 0.0 Back: 200.434
INFO - Atoms: 45516/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 8899411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.802 Prop: 8361.498 PropClause: 8138.402 Set: 1607.015 Check: 0.0 Back: 201.466
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 8944903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.813 Prop: 8396.519 PropClause: 8172.309 Set: 1614.49 Check: 0.0 Back: 202.5
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 8990560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.824 Prop: 8431.509 PropClause: 8206.183 Set: 1621.966 Check: 0.0 Back: 203.514
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 9035486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.835 Prop: 8465.419 PropClause: 8238.99 Set: 1629.251 Check: 0.0 Back: 204.534
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 9081142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.846 Prop: 8500.993 PropClause: 8273.44 Set: 1636.808 Check: 0.0 Back: 205.554
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 9126659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.859 Prop: 8535.769 PropClause: 8307.096 Set: 1644.312 Check: 0.0 Back: 206.592
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 9172358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.87 Prop: 8570.77 PropClause: 8340.974 Set: 1651.801 Check: 0.0 Back: 207.634
INFO - Atoms: 45699/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 9217850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.882 Prop: 8605.733 PropClause: 8374.828 Set: 1659.201 Check: 0.0 Back: 208.683
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 9263507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.894 Prop: 8644.616 PropClause: 8412.586 Set: 1666.749 Check: 0.0 Back: 209.71
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 9308433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.905 Prop: 8683.394 PropClause: 8450.254 Set: 1674.144 Check: 0.0 Back: 210.752
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 9354090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.916 Prop: 8722.301 PropClause: 8488.042 Set: 1681.678 Check: 0.0 Back: 211.776
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 9399606 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.927 Prop: 8759.09 PropClause: 8523.719 Set: 1689.18 Check: 0.0 Back: 212.798
INFO - Atoms: 45516/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 9445287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.939 Prop: 8795.451 PropClause: 8558.958 Set: 1696.762 Check: 0.0 Back: 213.822
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 9490779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.951 Prop: 8834.167 PropClause: 8596.552 Set: 1704.35 Check: 0.0 Back: 214.847
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 9536436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.988 Prop: 8872.077 PropClause: 8633.336 Set: 1711.96 Check: 0.0 Back: 215.877
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 9581362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.02 Prop: 8908.862 PropClause: 8669.01 Set: 1719.345 Check: 0.0 Back: 216.919
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 9627018 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.038 Prop: 8945.437 PropClause: 8704.464 Set: 1726.927 Check: 0.0 Back: 217.941
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 9672535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.05 Prop: 8981.6 PropClause: 8739.508 Set: 1734.433 Check: 0.0 Back: 219.038
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 9718216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.061 Prop: 9019.254 PropClause: 8776.041 Set: 1741.981 Check: 0.0 Back: 220.082
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 9763708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.073 Prop: 9056.597 PropClause: 8812.266 Set: 1749.502 Check: 0.0 Back: 221.111
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 9809365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.084 Prop: 9093.262 PropClause: 8847.804 Set: 1757.035 Check: 0.0 Back: 222.144
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 9854291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.095 Prop: 9129.389 PropClause: 8882.825 Set: 1764.434 Check: 0.0 Back: 223.183
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 9899947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.106 Prop: 9167.212 PropClause: 8919.523 Set: 1772.061 Check: 0.0 Back: 224.196
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 9945464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.118 Prop: 9203.687 PropClause: 8954.873 Set: 1779.574 Check: 0.0 Back: 225.229
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 9991145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.13 Prop: 9246.619 PropClause: 8996.665 Set: 1787.428 Check: 0.0 Back: 226.259
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 10036637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.14 Prop: 9283.565 PropClause: 9032.486 Set: 1794.958 Check: 0.0 Back: 227.306
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 10082294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.151 Prop: 9320.874 PropClause: 9068.669 Set: 1802.522 Check: 0.0 Back: 228.345
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 10127220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.163 Prop: 9357.855 PropClause: 9104.535 Set: 1809.871 Check: 0.0 Back: 229.381
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 10172876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.175 Prop: 9395.256 PropClause: 9140.809 Set: 1817.488 Check: 0.0 Back: 230.404
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 10218393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.185 Prop: 9431.984 PropClause: 9176.416 Set: 1824.987 Check: 0.0 Back: 231.446
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 10263336 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.195 Prop: 9468.083 PropClause: 9211.406 Set: 1832.374 Check: 0.0 Back: 232.487
INFO - Atoms: 44943/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 10308850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.209 Prop: 9508.801 PropClause: 9250.995 Set: 1840.018 Check: 0.0 Back: 233.5
INFO - Atoms: 45514/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 10354509 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.221 Prop: 9551.15 PropClause: 9292.175 Set: 1848.015 Check: 0.0 Back: 234.557
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 10400191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.233 Prop: 9591.118 PropClause: 9331.007 Set: 1855.751 Check: 0.0 Back: 235.603
INFO - Atoms: 45682/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 10445847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.246 Prop: 9629.065 PropClause: 9367.82 Set: 1863.414 Check: 0.0 Back: 236.66
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 10491341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.257 Prop: 9669.61 PropClause: 9407.241 Set: 1871.064 Check: 0.0 Back: 237.709
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 10536283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.268 Prop: 9705.444 PropClause: 9441.967 Set: 1878.459 Check: 0.0 Back: 238.754
INFO - Atoms: 44942/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 10581797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.279 Prop: 9741.46 PropClause: 9476.864 Set: 1885.98 Check: 0.0 Back: 239.775
INFO - Atoms: 45514/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 10627456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.29 Prop: 9777.493 PropClause: 9511.774 Set: 1893.572 Check: 0.0 Back: 240.806
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 10672382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.302 Prop: 9814.627 PropClause: 9547.792 Set: 1900.999 Check: 0.0 Back: 241.842
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 10718039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.313 Prop: 9852.385 PropClause: 9584.427 Set: 1908.627 Check: 0.0 Back: 242.874
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 10763555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.326 Prop: 9889.814 PropClause: 9620.727 Set: 1930.11 Check: 0.0 Back: 243.916
INFO - Atoms: 45516/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 10809236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.336 Prop: 9925.518 PropClause: 9655.305 Set: 1937.721 Check: 0.0 Back: 244.944
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 10854728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.349 Prop: 9962.401 PropClause: 9691.068 Set: 1945.29 Check: 0.0 Back: 245.976
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 10900387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.359 Prop: 9998.089 PropClause: 9725.618 Set: 1952.868 Check: 0.0 Back: 247.016
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 10945313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.37 Prop: 10033.104 PropClause: 9759.524 Set: 1960.223 Check: 0.0 Back: 248.054
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 10990969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.384 Prop: 10068.479 PropClause: 9793.772 Set: 1967.795 Check: 0.0 Back: 249.078
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 11036486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.394 Prop: 10104.584 PropClause: 9828.756 Set: 1975.281 Check: 0.0 Back: 250.109
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 11082186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.404 Prop: 10139.867 PropClause: 9862.91 Set: 1982.893 Check: 0.0 Back: 251.134
INFO - Atoms: 45700/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 11127678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.414 Prop: 10175.788 PropClause: 9897.7 Set: 1990.394 Check: 0.0 Back: 252.175
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 11173335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.424 Prop: 10210.138 PropClause: 9930.926 Set: 1997.914 Check: 0.0 Back: 253.204
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 11218261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.434 Prop: 10243.774 PropClause: 9963.45 Set: 2005.212 Check: 0.0 Back: 254.234
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 11263918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.445 Prop: 10278.11 PropClause: 9996.659 Set: 2012.762 Check: 0.0 Back: 255.243
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 11309434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.455 Prop: 10312.03 PropClause: 10029.461 Set: 2020.285 Check: 0.0 Back: 256.273
INFO - Atoms: 45516/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 11355115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.464 Prop: 10347.106 PropClause: 10063.418 Set: 2027.826 Check: 0.0 Back: 257.3
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 11400607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.476 Prop: 10384.102 PropClause: 10099.288 Set: 2035.436 Check: 0.0 Back: 258.334
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 11446264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.487 Prop: 10420.974 PropClause: 10135.023 Set: 2043.064 Check: 0.0 Back: 259.372
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 11491190 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.498 Prop: 10457.078 PropClause: 10170.007 Set: 2050.55 Check: 0.0 Back: 260.413
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 11536847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.509 Prop: 10492.508 PropClause: 10204.306 Set: 2058.126 Check: 0.0 Back: 261.446
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 11582363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.52 Prop: 10527.915 PropClause: 10238.577 Set: 2065.718 Check: 0.0 Back: 262.48
INFO - Atoms: 45516/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 11628062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.53 Prop: 10566.227 PropClause: 10275.761 Set: 2073.376 Check: 0.0 Back: 263.521
INFO - Atoms: 45699/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 11673554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.542 Prop: 10602.669 PropClause: 10311.076 Set: 2080.977 Check: 0.0 Back: 264.558
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 11719211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.552 Prop: 10638.309 PropClause: 10345.567 Set: 2088.644 Check: 0.0 Back: 265.601
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 11764137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.562 Prop: 10676.232 PropClause: 10382.367 Set: 2096.262 Check: 0.0 Back: 266.645
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 11809793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.572 Prop: 10716.835 PropClause: 10421.826 Set: 2103.947 Check: 0.0 Back: 267.692
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 11855310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.582 Prop: 10751.04 PropClause: 10454.894 Set: 2111.509 Check: 0.0 Back: 268.742
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 11900991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.593 Prop: 10788.676 PropClause: 10491.392 Set: 2119.163 Check: 0.0 Back: 269.782
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 11946483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.603 Prop: 10828.287 PropClause: 10529.867 Set: 2126.906 Check: 0.0 Back: 270.827
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 11992140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.614 Prop: 10863.037 PropClause: 10563.491 Set: 2134.439 Check: 0.0 Back: 271.882
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 12037066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.624 Prop: 10897.097 PropClause: 10596.45 Set: 2141.764 Check: 0.0 Back: 272.911
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 12082722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.635 Prop: 10931.298 PropClause: 10629.526 Set: 2149.324 Check: 0.0 Back: 273.932
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 12128239 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.645 Prop: 10965.768 PropClause: 10662.873 Set: 2156.839 Check: 0.0 Back: 274.967
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 12173920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.655 Prop: 11000.8 PropClause: 10696.782 Set: 2164.434 Check: 0.0 Back: 276.003
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 12219412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.665 Prop: 11035.689 PropClause: 10730.55 Set: 2171.953 Check: 0.0 Back: 277.024
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 12265069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.677 Prop: 11069.632 PropClause: 10763.368 Set: 2179.539 Check: 0.0 Back: 278.054
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 12309995 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.687 Prop: 11104.403 PropClause: 10797.033 Set: 2186.892 Check: 0.0 Back: 279.087
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 12355651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.697 Prop: 11138.703 PropClause: 10830.21 Set: 2194.455 Check: 0.0 Back: 280.099
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 12401168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.707 Prop: 11172.902 PropClause: 10863.292 Set: 2201.931 Check: 0.0 Back: 281.127
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 12446849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.719 Prop: 11209.225 PropClause: 10898.494 Set: 2209.553 Check: 0.0 Back: 282.148
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 12492341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.73 Prop: 11244.827 PropClause: 10932.974 Set: 2217.097 Check: 0.0 Back: 283.184
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 12537998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.74 Prop: 11279.28 PropClause: 10966.304 Set: 2224.643 Check: 0.0 Back: 284.21
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 12582924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.75 Prop: 11312.736 PropClause: 10998.651 Set: 2232.025 Check: 0.0 Back: 285.239
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 12628580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.76 Prop: 11348.585 PropClause: 11033.383 Set: 2239.592 Check: 0.0 Back: 286.264
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 12674097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.77 Prop: 11383.473 PropClause: 11067.154 Set: 2247.131 Check: 0.0 Back: 287.295
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 12719796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.782 Prop: 11421.674 PropClause: 11104.221 Set: 2254.798 Check: 0.0 Back: 288.319
INFO - Atoms: 45699/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 12765288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.793 Prop: 11456.55 PropClause: 11137.981 Set: 2262.313 Check: 0.0 Back: 289.35
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 12810945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.803 Prop: 11491.444 PropClause: 11171.753 Set: 2269.854 Check: 0.0 Back: 290.376
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 12855871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.817 Prop: 11525.862 PropClause: 11205.071 Set: 2277.21 Check: 0.0 Back: 291.404
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 12901527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.825 Prop: 11560.389 PropClause: 11238.48 Set: 2284.753 Check: 0.0 Back: 292.424
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 12947044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.832 Prop: 11594.99 PropClause: 11271.953 Set: 2292.238 Check: 0.0 Back: 293.45
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 12992742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.839 Prop: 11630.213 PropClause: 11306.057 Set: 2299.785 Check: 0.0 Back: 294.494
INFO - Atoms: 45698/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 13038234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.844 Prop: 11665.612 PropClause: 11340.34 Set: 2307.325 Check: 0.0 Back: 295.533
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 13083891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.849 Prop: 11700.069 PropClause: 11373.667 Set: 2314.859 Check: 0.0 Back: 296.558
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 13128817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.856 Prop: 11733.654 PropClause: 11406.135 Set: 2322.2 Check: 0.0 Back: 297.585
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 13174473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.864 Prop: 11770.517 PropClause: 11441.867 Set: 2330.015 Check: 0.0 Back: 298.607
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 13219990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.87 Prop: 11806.415 PropClause: 11476.641 Set: 2337.52 Check: 0.0 Back: 299.646
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 13265671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.877 Prop: 11844.838 PropClause: 11513.932 Set: 2345.184 Check: 0.0 Back: 300.686
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 13311163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.885 Prop: 11879.134 PropClause: 11547.109 Set: 2352.691 Check: 0.0 Back: 301.725
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 13356820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.891 Prop: 11913.985 PropClause: 11580.834 Set: 2360.241 Check: 0.0 Back: 302.756
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 13401746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.897 Prop: 11948.859 PropClause: 11614.601 Set: 2367.783 Check: 0.0 Back: 303.792
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 13447403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.906 Prop: 11987.85 PropClause: 11652.461 Set: 2375.515 Check: 0.0 Back: 304.803
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 13492919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.914 Prop: 12024.588 PropClause: 11688.08 Set: 2383.081 Check: 0.0 Back: 305.834
INFO - Atoms: 45516/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 13538600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.92 Prop: 12060.73 PropClause: 11723.104 Set: 2390.687 Check: 0.0 Back: 306.864
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 13584092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.927 Prop: 12096.886 PropClause: 11758.13 Set: 2398.258 Check: 0.0 Back: 307.891
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 13629749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.935 Prop: 12134.711 PropClause: 11794.835 Set: 2405.919 Check: 0.0 Back: 308.916
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 13674675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.941 Prop: 12171.67 PropClause: 11830.683 Set: 2413.373 Check: 0.0 Back: 309.948
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 13720331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.947 Prop: 12210.303 PropClause: 11868.173 Set: 2421.121 Check: 0.0 Back: 310.965
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 13765848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.953 Prop: 12245.584 PropClause: 11902.338 Set: 2428.609 Check: 0.0 Back: 312.009
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 13811547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.959 Prop: 12280.742 PropClause: 11936.374 Set: 2436.201 Check: 0.0 Back: 313.035
INFO - Atoms: 45699/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 13857039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.967 Prop: 12316.145 PropClause: 11970.65 Set: 2443.754 Check: 0.0 Back: 314.063
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 13902696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.973 Prop: 12352.181 PropClause: 12005.562 Set: 2451.367 Check: 0.0 Back: 315.092
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 13947622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.98 Prop: 12388.063 PropClause: 12040.338 Set: 2458.765 Check: 0.0 Back: 316.127
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 13993278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.987 Prop: 12424.514 PropClause: 12075.664 Set: 2466.408 Check: 0.0 Back: 317.143
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 14038795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.995 Prop: 12459.763 PropClause: 12109.799 Set: 2473.943 Check: 0.0 Back: 318.172
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 14084476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.002 Prop: 12495.286 PropClause: 12144.199 Set: 2481.523 Check: 0.0 Back: 319.196
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 14129968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.009 Prop: 12530.524 PropClause: 12178.318 Set: 2489.087 Check: 0.0 Back: 320.228
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 14175625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.016 Prop: 12566.21 PropClause: 12212.878 Set: 2496.646 Check: 0.0 Back: 321.256
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 14220551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.023 Prop: 12602.114 PropClause: 12247.671 Set: 2504.064 Check: 0.0 Back: 322.295
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 14266207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.028 Prop: 12640.732 PropClause: 12285.166 Set: 2511.708 Check: 0.0 Back: 323.313
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 14311724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.035 Prop: 12678.03 PropClause: 12321.347 Set: 2519.262 Check: 0.0 Back: 324.349
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 14357405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.041 Prop: 12714.734 PropClause: 12356.921 Set: 2526.919 Check: 0.0 Back: 325.376
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 14402897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.047 Prop: 12751.379 PropClause: 12392.45 Set: 2534.484 Check: 0.0 Back: 326.414
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 14448554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.056 Prop: 12790.224 PropClause: 12430.175 Set: 2542.181 Check: 0.0 Back: 327.445
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 14494236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.063 Prop: 12827.661 PropClause: 12466.486 Set: 2549.855 Check: 0.0 Back: 328.498
INFO - Atoms: 45682/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 14539895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.07 Prop: 12865.34 PropClause: 12503.042 Set: 2557.531 Check: 0.0 Back: 329.531
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 14585389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.078 Prop: 12902.367 PropClause: 12538.956 Set: 2565.145 Check: 0.0 Back: 330.573
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 14631089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.085 Prop: 12937.967 PropClause: 12573.44 Set: 2572.729 Check: 0.0 Back: 331.596
INFO - Atoms: 45700/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 14676581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.092 Prop: 12973.246 PropClause: 12607.599 Set: 2580.291 Check: 0.0 Back: 332.623
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 14722240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.098 Prop: 13008.414 PropClause: 12641.64 Set: 2587.95 Check: 0.0 Back: 333.653
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 14767166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.105 Prop: 13045.026 PropClause: 12677.138 Set: 2595.404 Check: 0.0 Back: 334.679
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 14812824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.111 Prop: 13081.145 PropClause: 12712.133 Set: 2603.057 Check: 0.0 Back: 335.696
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 14858339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.117 Prop: 13116.367 PropClause: 12746.226 Set: 2610.58 Check: 0.0 Back: 336.731
INFO - Atoms: 45515/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 14904020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.124 Prop: 13152.42 PropClause: 12781.161 Set: 2618.185 Check: 0.0 Back: 337.762
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 14949512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.13 Prop: 13188.463 PropClause: 12816.085 Set: 2625.795 Check: 0.0 Back: 338.8
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 14995169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.138 Prop: 13227.039 PropClause: 12853.534 Set: 2633.504 Check: 0.0 Back: 339.833
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 15040095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.146 Prop: 13264.952 PropClause: 12890.339 Set: 2640.967 Check: 0.0 Back: 340.868
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 15085752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.154 Prop: 13304.727 PropClause: 12928.99 Set: 2648.744 Check: 0.0 Back: 341.883
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 15131268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.162 Prop: 13344.891 PropClause: 12968.032 Set: 2656.386 Check: 0.0 Back: 342.947
INFO - Atoms: 45516/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 15176949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.169 Prop: 13381.453 PropClause: 13003.468 Set: 2664.054 Check: 0.0 Back: 343.976
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 15222441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.175 Prop: 13417.904 PropClause: 13038.796 Set: 2671.656 Check: 0.0 Back: 345.012
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 15268098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.183 Prop: 13453.767 PropClause: 13073.534 Set: 2679.313 Check: 0.0 Back: 346.045
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 15313024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.19 Prop: 13489.238 PropClause: 13107.901 Set: 2686.736 Check: 0.0 Back: 347.08
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 15358680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.198 Prop: 13525.468 PropClause: 13143.007 Set: 2694.423 Check: 0.0 Back: 348.096
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 15404197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.205 Prop: 13561.507 PropClause: 13177.925 Set: 2702.037 Check: 0.0 Back: 349.125
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 15449896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.211 Prop: 13599.184 PropClause: 13214.474 Set: 2709.731 Check: 0.0 Back: 350.162
INFO - Atoms: 45699/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 15495388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.218 Prop: 13636.81 PropClause: 13250.974 Set: 2717.306 Check: 0.0 Back: 351.198
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 15541045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.225 Prop: 13674.857 PropClause: 13287.888 Set: 2725.024 Check: 0.0 Back: 352.231
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 15585971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.233 Prop: 13712.511 PropClause: 13324.432 Set: 2732.486 Check: 0.0 Back: 353.257
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 15631627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.241 Prop: 13748.386 PropClause: 13359.189 Set: 2740.138 Check: 0.0 Back: 354.281
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 15677144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.247 Prop: 13786.197 PropClause: 13395.887 Set: 2747.693 Check: 0.0 Back: 355.313
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 15722843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.254 Prop: 13821.666 PropClause: 13430.239 Set: 2755.293 Check: 0.0 Back: 356.334
INFO - Atoms: 45699/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 15768335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.263 Prop: 13862.716 PropClause: 13470.172 Set: 2762.994 Check: 0.0 Back: 357.358
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 15813992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.27 Prop: 13897.737 PropClause: 13504.074 Set: 2770.642 Check: 0.0 Back: 358.385
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 15858918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.277 Prop: 13934.545 PropClause: 13539.768 Set: 2778.199 Check: 0.0 Back: 359.416
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 15904574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.284 Prop: 13968.062 PropClause: 13572.161 Set: 2785.742 Check: 0.0 Back: 360.44
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 15950091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.29 Prop: 14002.209 PropClause: 13605.179 Set: 2793.259 Check: 0.0 Back: 361.477
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 15995789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.297 Prop: 14038.995 PropClause: 13640.832 Set: 2800.858 Check: 0.0 Back: 362.505
INFO - Atoms: 45698/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 16041281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.305 Prop: 14073.285 PropClause: 13674.004 Set: 2808.42 Check: 0.0 Back: 363.544
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 16086938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.311 Prop: 14106.508 PropClause: 13706.105 Set: 2815.967 Check: 0.0 Back: 364.572
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 16131864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.319 Prop: 14139.978 PropClause: 13738.47 Set: 2823.319 Check: 0.0 Back: 365.611
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 16177520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.325 Prop: 14175.291 PropClause: 13772.654 Set: 2830.965 Check: 0.0 Back: 366.626
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 16223037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.331 Prop: 14209.705 PropClause: 13805.948 Set: 2838.507 Check: 0.0 Back: 367.654
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 16268718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.339 Prop: 14246.187 PropClause: 13841.306 Set: 2846.103 Check: 0.0 Back: 368.686
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 16314210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.345 Prop: 14279.68 PropClause: 13873.682 Set: 2853.596 Check: 0.0 Back: 369.718
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 16359867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.35 Prop: 14314.06 PropClause: 13906.935 Set: 2861.159 Check: 0.0 Back: 370.75
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 16404793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.357 Prop: 14347.938 PropClause: 13939.705 Set: 2868.555 Check: 0.0 Back: 371.783
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 16450450 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.363 Prop: 14382.494 PropClause: 13973.147 Set: 2876.097 Check: 0.0 Back: 372.798
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 16495966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.369 Prop: 14416.726 PropClause: 14006.26 Set: 2883.608 Check: 0.0 Back: 373.828
INFO - Atoms: 45516/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 16541665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.376 Prop: 14451.661 PropClause: 14040.071 Set: 2900.038 Check: 0.0 Back: 374.855
INFO - Atoms: 45699/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 16587157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.411 Prop: 14486.402 PropClause: 14073.693 Set: 2907.572 Check: 0.0 Back: 375.884
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 16632814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.45 Prop: 14521.489 PropClause: 14107.657 Set: 2915.204 Check: 0.0 Back: 376.911
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 16678496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.455 Prop: 14556.551 PropClause: 14141.595 Set: 2922.797 Check: 0.0 Back: 377.939
INFO - Atoms: 45682/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 16724155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.462 Prop: 14591.492 PropClause: 14175.413 Set: 2930.356 Check: 0.0 Back: 378.97
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 16769649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.469 Prop: 14625.976 PropClause: 14208.779 Set: 2937.894 Check: 0.0 Back: 379.989
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 16814591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.476 Prop: 14660.972 PropClause: 14242.682 Set: 2945.229 Check: 0.0 Back: 381.011
INFO - Atoms: 44942/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 16860107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.483 Prop: 14696.246 PropClause: 14276.825 Set: 2952.762 Check: 0.0 Back: 382.03
INFO - Atoms: 45516/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 16905764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.489 Prop: 14730.968 PropClause: 14310.428 Set: 2960.387 Check: 0.0 Back: 383.05
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 16951448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.497 Prop: 14765.259 PropClause: 14343.601 Set: 2967.931 Check: 0.0 Back: 384.071
INFO - Atoms: 45684/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 16997106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.504 Prop: 14799.431 PropClause: 14376.654 Set: 2975.492 Check: 0.0 Back: 385.097
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 17042600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.512 Prop: 14835.676 PropClause: 14411.78 Set: 2983.033 Check: 0.0 Back: 386.199
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 17087525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.519 Prop: 14872.055 PropClause: 14447.049 Set: 2990.541 Check: 0.0 Back: 387.227
INFO - Atoms: 44925/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 17133039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.526 Prop: 14907.705 PropClause: 14481.588 Set: 2998.062 Check: 0.0 Back: 388.243
INFO - Atoms: 45514/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 17178698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.532 Prop: 14942.773 PropClause: 14515.539 Set: 3005.665 Check: 0.0 Back: 389.268
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 17223624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.54 Prop: 14977.888 PropClause: 14549.543 Set: 3013.124 Check: 0.0 Back: 390.293
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 17269281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.548 Prop: 15013.539 PropClause: 14584.07 Set: 3020.748 Check: 0.0 Back: 391.316
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 17314797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.554 Prop: 15049.235 PropClause: 14618.64 Set: 3028.306 Check: 0.0 Back: 392.335
INFO - Atoms: 45516/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 17360478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.559 Prop: 15085.63 PropClause: 14653.913 Set: 3035.953 Check: 0.0 Back: 393.361
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 17405970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.567 Prop: 15123.755 PropClause: 14690.918 Set: 3043.687 Check: 0.0 Back: 394.392
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 17451629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.573 Prop: 15160.798 PropClause: 14726.831 Set: 3051.352 Check: 0.0 Back: 395.415
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 17496555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.579 Prop: 15196.535 PropClause: 14761.454 Set: 3058.824 Check: 0.0 Back: 396.448
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 17542211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.586 Prop: 15233.285 PropClause: 14797.076 Set: 3066.541 Check: 0.0 Back: 397.465
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 17587728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.591 Prop: 15268.637 PropClause: 14831.304 Set: 3074.175 Check: 0.0 Back: 398.5
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 17633409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.599 Prop: 15305.021 PropClause: 14866.565 Set: 3081.825 Check: 0.0 Back: 399.529
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 17678901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.605 Prop: 15340.962 PropClause: 14901.383 Set: 3089.441 Check: 0.0 Back: 400.563
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 17724558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.613 Prop: 15378.543 PropClause: 14937.827 Set: 3097.168 Check: 0.0 Back: 401.596
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 17769484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.62 Prop: 15414.987 PropClause: 14973.165 Set: 3104.675 Check: 0.0 Back: 402.666
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 17815140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.627 Prop: 15450.876 PropClause: 15007.923 Set: 3112.372 Check: 0.0 Back: 403.697
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 17860657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.633 Prop: 15486.852 PropClause: 15042.773 Set: 3120.016 Check: 0.0 Back: 404.734
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 17906338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.64 Prop: 15522.389 PropClause: 15077.181 Set: 3127.638 Check: 0.0 Back: 405.768
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 17951830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.647 Prop: 15558.119 PropClause: 15111.786 Set: 3135.305 Check: 0.0 Back: 406.803
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 17997487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.654 Prop: 15593.725 PropClause: 15146.26 Set: 3143.044 Check: 0.0 Back: 407.842
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 18042413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.661 Prop: 15629.57 PropClause: 15180.987 Set: 3150.553 Check: 0.0 Back: 408.883
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 18088070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.668 Prop: 15665.432 PropClause: 15215.729 Set: 3158.233 Check: 0.0 Back: 409.906
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 18133586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.674 Prop: 15701.168 PropClause: 15250.35 Set: 3165.862 Check: 0.0 Back: 410.93
INFO - Atoms: 45516/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 18179286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.681 Prop: 15736.578 PropClause: 15284.637 Set: 3173.507 Check: 0.0 Back: 411.962
INFO - Atoms: 45700/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 18224778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.688 Prop: 15772.815 PropClause: 15319.755 Set: 3181.207 Check: 0.0 Back: 412.992
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 18270435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.697 Prop: 15809.688 PropClause: 15355.504 Set: 3188.938 Check: 0.0 Back: 414.021
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 18315361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.703 Prop: 15846.174 PropClause: 15390.883 Set: 3196.435 Check: 0.0 Back: 415.055
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 18361018 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.709 Prop: 15882.19 PropClause: 15425.776 Set: 3204.146 Check: 0.0 Back: 416.075
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 18406534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.717 Prop: 15918.435 PropClause: 15460.899 Set: 3211.799 Check: 0.0 Back: 417.108
INFO - Atoms: 45516/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 18452215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.724 Prop: 15956.57 PropClause: 15497.901 Set: 3227.51 Check: 0.0 Back: 418.15
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 18497707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.731 Prop: 15992.301 PropClause: 15532.509 Set: 3235.149 Check: 0.0 Back: 419.191
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 18543364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.738 Prop: 16027.43 PropClause: 15566.515 Set: 3242.789 Check: 0.0 Back: 420.216
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 18588290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.744 Prop: 16063.388 PropClause: 15601.362 Set: 3250.286 Check: 0.0 Back: 421.248
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 18633946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.751 Prop: 16098.69 PropClause: 15635.541 Set: 3257.942 Check: 0.0 Back: 422.263
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 18679463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.758 Prop: 16135.38 PropClause: 15671.114 Set: 3265.588 Check: 0.0 Back: 423.296
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 18725162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.765 Prop: 16171.919 PropClause: 15706.523 Set: 3273.367 Check: 0.0 Back: 424.325
INFO - Atoms: 45699/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 18770654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.772 Prop: 16208.989 PropClause: 15742.48 Set: 3280.987 Check: 0.0 Back: 425.357
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 18816311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.778 Prop: 16245.102 PropClause: 15777.471 Set: 3288.643 Check: 0.0 Back: 426.388
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 18861237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.785 Prop: 16282.74 PropClause: 15814.011 Set: 3296.177 Check: 0.0 Back: 427.415
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 18906893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.793 Prop: 16318.661 PropClause: 15848.812 Set: 3303.824 Check: 0.0 Back: 428.44
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 18952410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.8 Prop: 16355.543 PropClause: 15884.581 Set: 3311.444 Check: 0.0 Back: 429.463
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 18998109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.807 Prop: 16392.169 PropClause: 15920.089 Set: 3319.08 Check: 0.0 Back: 430.488
INFO - Atoms: 45699/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 19043601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.823 Prop: 16428.21 PropClause: 15955.016 Set: 3326.67 Check: 0.0 Back: 431.513
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 19089258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.829 Prop: 16465.734 PropClause: 15991.422 Set: 3334.382 Check: 0.0 Back: 432.542
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 19134184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.836 Prop: 16501.655 PropClause: 16026.246 Set: 3341.816 Check: 0.0 Back: 433.571
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 19179840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.843 Prop: 16540.695 PropClause: 16064.169 Set: 3349.451 Check: 0.0 Back: 434.58
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 19225357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.849 Prop: 16576.906 PropClause: 16099.267 Set: 3357.045 Check: 0.0 Back: 435.602
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 19271038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.857 Prop: 16614.29 PropClause: 16135.524 Set: 3364.808 Check: 0.0 Back: 436.631
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 19316530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.863 Prop: 16650.95 PropClause: 16171.063 Set: 3372.431 Check: 0.0 Back: 437.67
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 19362187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.871 Prop: 16687.533 PropClause: 16206.515 Set: 3380.153 Check: 0.0 Back: 438.696
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 19407113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.878 Prop: 16723.835 PropClause: 16241.721 Set: 3387.615 Check: 0.0 Back: 439.727
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 19452769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.885 Prop: 16762.877 PropClause: 16279.633 Set: 3395.381 Check: 0.0 Back: 440.736
INFO - Atoms: 45656/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 19498286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.891 Prop: 16799.638 PropClause: 16315.28 Set: 3403.027 Check: 0.0 Back: 441.753
INFO - Atoms: 45517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 19543985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.898 Prop: 16837.6 PropClause: 16352.117 Set: 3410.722 Check: 0.0 Back: 442.776
INFO - Atoms: 45699/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 19589477 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.903 Prop: 16874.587 PropClause: 16387.99 Set: 3418.308 Check: 0.0 Back: 443.804
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 19635134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.91 Prop: 16912.579 PropClause: 16424.869 Set: 3425.97 Check: 0.0 Back: 444.84
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 19680060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.917 Prop: 16954.218 PropClause: 16465.391 Set: 3433.624 Check: 0.0 Back: 445.87
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 19725717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.925 Prop: 16994.606 PropClause: 16504.659 Set: 3441.334 Check: 0.0 Back: 446.89
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 19771233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.931 Prop: 17031.078 PropClause: 16540.019 Set: 3449.046 Check: 0.0 Back: 447.916
INFO - Atoms: 45516/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 19816914 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.939 Prop: 17067.63 PropClause: 16575.451 Set: 3456.717 Check: 0.0 Back: 448.937
INFO - Atoms: 45681/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 19862406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.946 Prop: 17105.781 PropClause: 16612.487 Set: 3464.41 Check: 0.0 Back: 449.964
INFO - Atoms: 45492/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 19908063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.954 Prop: 17141.91 PropClause: 16647.494 Set: 3472.051 Check: 0.0 Back: 450.996
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 19953745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.962 Prop: 17180.19 PropClause: 16684.652 Set: 3479.941 Check: 0.0 Back: 452.022
INFO - Atoms: 45682/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 19999403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.967 Prop: 17215.323 PropClause: 16718.666 Set: 3487.563 Check: 0.0 Back: 453.055
INFO - Atoms: 45658/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 20044897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.974 Prop: 17252.6 PropClause: 16754.834 Set: 3495.4 Check: 0.0 Back: 454.081
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 20089822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.98 Prop: 17287.557 PropClause: 16788.692 Set: 3502.815 Check: 0.0 Back: 455.11
INFO - Atoms: 44925/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 20135338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.988 Prop: 17323.608 PropClause: 16823.635 Set: 3510.414 Check: 0.0 Back: 456.122
INFO - Atoms: 45516/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 20180995 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.995 Prop: 17360.462 PropClause: 16859.364 Set: 3518.059 Check: 0.0 Back: 457.139
INFO - Atoms: 45657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 20226679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.002 Prop: 17396.009 PropClause: 16893.795 Set: 3534.465 Check: 0.0 Back: 458.166
INFO - Atoms: 45684/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 20272338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.009 Prop: 17430.877 PropClause: 16927.551 Set: 3542.06 Check: 0.0 Back: 459.197
INFO - Atoms: 45659/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 20317832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.015 Prop: 17466.386 PropClause: 16961.953 Set: 3549.612 Check: 0.0 Back: 460.217
INFO - Atoms: 45494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 20362757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.021 Prop: 17500.794 PropClause: 16995.269 Set: 3557.041 Check: 0.0 Back: 461.236
INFO - Atoms: 44925/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 20408262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.027 Prop: 17537.356 PropClause: 17030.723 Set: 3564.668 Check: 0.0 Back: 462.235
INFO - Atoms: 45505/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 20453843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.036 Prop: 17572.132 PropClause: 17064.392 Set: 3572.215 Check: 0.0 Back: 463.246
INFO - Atoms: 45581/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 20498769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.042 Prop: 17606.602 PropClause: 17097.769 Set: 3579.572 Check: 0.0 Back: 464.266
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 20544258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.049 Prop: 17641.225 PropClause: 17131.286 Set: 3587.108 Check: 0.0 Back: 465.271
INFO - Atoms: 45489/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 20589676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.056 Prop: 17680.411 PropClause: 17169.368 Set: 3594.734 Check: 0.0 Back: 466.284
INFO - Atoms: 45418/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 20635198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.063 Prop: 17717.547 PropClause: 17205.39 Set: 3602.334 Check: 0.0 Back: 467.316
INFO - Atoms: 45522/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 20680510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.071 Prop: 17754.087 PropClause: 17240.816 Set: 3609.889 Check: 0.0 Back: 468.335
INFO - Atoms: 45312/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 20725825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.077 Prop: 17789.318 PropClause: 17274.94 Set: 3617.425 Check: 0.0 Back: 469.355
INFO - Atoms: 45315/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 20770751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.084 Prop: 17824.506 PropClause: 17309.036 Set: 3624.843 Check: 0.0 Back: 470.37
INFO - Atoms: 44926/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 20815873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.238 Prop: 17860.958 PropClause: 17344.38 Set: 3632.377 Check: 0.0 Back: 471.374
INFO - Atoms: 45122/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 20860996 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.372 Prop: 17896.047 PropClause: 17378.365 Set: 3639.848 Check: 0.0 Back: 472.385
INFO - Atoms: 45123/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 20906118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.443 Prop: 17931.163 PropClause: 17412.381 Set: 3647.296 Check: 0.0 Back: 473.398
INFO - Atoms: 45122/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 20951049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.455 Prop: 17967.072 PropClause: 17447.185 Set: 3654.794 Check: 0.0 Back: 474.405
INFO - Atoms: 44931/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 20996145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.467 Prop: 18002.485 PropClause: 17481.487 Set: 3662.335 Check: 0.0 Back: 475.415
INFO - Atoms: 45096/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 21041052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.48 Prop: 18037.581 PropClause: 17515.474 Set: 3669.797 Check: 0.0 Back: 476.44
INFO - Atoms: 44907/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 21086168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.501 Prop: 18072.379 PropClause: 17549.163 Set: 3687.021 Check: 0.0 Back: 477.453
INFO - Atoms: 45116/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 21131083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.536 Prop: 18107.203 PropClause: 17582.893 Set: 3694.38 Check: 0.0 Back: 478.457
INFO - Atoms: 44915/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 21176218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.549 Prop: 18141.762 PropClause: 17616.348 Set: 3701.826 Check: 0.0 Back: 479.461
INFO - Atoms: 45135/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 21221139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.562 Prop: 18177.576 PropClause: 17651.058 Set: 3709.274 Check: 0.0 Back: 480.466
INFO - Atoms: 44921/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 21265862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.574 Prop: 18212.321 PropClause: 17684.712 Set: 3716.609 Check: 0.0 Back: 481.474
INFO - Atoms: 44723/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 21310382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.657 Prop: 18249.224 PropClause: 17720.527 Set: 3727.479 Check: 0.0 Back: 482.483
INFO - Atoms: 44520/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 21355099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.666 Prop: 18282.189 PropClause: 17752.399 Set: 3734.467 Check: 0.0 Back: 483.534
INFO - Atoms: 44717/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 21400035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.677 Prop: 18315.721 PropClause: 17784.83 Set: 3741.541 Check: 0.0 Back: 484.536
INFO - Atoms: 44936/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 21445142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.69 Prop: 18348.77 PropClause: 17816.769 Set: 3748.585 Check: 0.0 Back: 485.542
INFO - Atoms: 45107/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 21490466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.699 Prop: 18386.266 PropClause: 17853.153 Set: 3755.74 Check: 0.0 Back: 486.554
INFO - Atoms: 45324/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 21535963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.712 Prop: 18426.393 PropClause: 17892.157 Set: 3763.066 Check: 0.0 Back: 487.581
INFO - Atoms: 45497/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 449 Props: 21581677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.723 Prop: 18462.595 PropClause: 17927.232 Set: 3770.248 Check: 0.0 Back: 488.613
INFO - Atoms: 45714/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 21627564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.735 Prop: 18497.996 PropClause: 17961.509 Set: 3777.405 Check: 0.0 Back: 489.642
INFO - Atoms: 45887/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 451 Props: 21673668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.744 Prop: 18534.757 PropClause: 17997.15 Set: 3784.636 Check: 0.0 Back: 490.667
INFO - Atoms: 46104/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 21719945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.756 Prop: 18572.131 PropClause: 18033.386 Set: 3791.964 Check: 0.0 Back: 491.712
INFO - Atoms: 46277/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 453 Props: 21766439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.767 Prop: 18616.358 PropClause: 18076.47 Set: 3799.47 Check: 0.0 Back: 492.757
INFO - Atoms: 46494/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 454 Props: 21813106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.777 Prop: 18656.928 PropClause: 18115.892 Set: 3806.995 Check: 0.0 Back: 493.813
INFO - Atoms: 46667/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 455 Props: 21859990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.789 Prop: 18697.121 PropClause: 18154.928 Set: 3814.487 Check: 0.0 Back: 494.875
INFO - Atoms: 46884/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 456 Props: 21907047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.8 Prop: 18735.23 PropClause: 18191.878 Set: 3821.976 Check: 0.0 Back: 495.941
INFO - Atoms: 47057/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 457 Props: 21954321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.812 Prop: 18783.661 PropClause: 18239.142 Set: 3829.538 Check: 0.0 Back: 497.007
INFO - Atoms: 47274/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 458 Props: 22001768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.823 Prop: 18824.585 PropClause: 18278.896 Set: 3837.202 Check: 0.0 Back: 498.079
INFO - Atoms: 47447/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 459 Props: 22049432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.833 Prop: 18864.597 PropClause: 18317.737 Set: 3844.814 Check: 0.0 Back: 499.16
INFO - Atoms: 47664/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 22097269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.845 Prop: 18904.797 PropClause: 18356.762 Set: 3852.421 Check: 0.0 Back: 500.233
INFO - Atoms: 47837/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 461 Props: 22145323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.857 Prop: 18943.299 PropClause: 18394.084 Set: 3860.106 Check: 0.0 Back: 501.313
INFO - Atoms: 48054/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 22193550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.866 Prop: 18985.166 PropClause: 18434.763 Set: 3867.872 Check: 0.0 Back: 502.396
INFO - Atoms: 48227/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 463 Props: 22241994 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.881 Prop: 19027.578 PropClause: 18475.978 Set: 3875.998 Check: 0.0 Back: 503.484
INFO - Atoms: 48444/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 464 Props: 22290611 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.892 Prop: 19067.691 PropClause: 18514.899 Set: 3883.778 Check: 0.0 Back: 504.58
INFO - Atoms: 48617/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 465 Props: 22339445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.901 Prop: 19108.465 PropClause: 18554.469 Set: 3891.624 Check: 0.0 Back: 505.687
INFO - Atoms: 48834/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 466 Props: 22388452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.911 Prop: 19151.378 PropClause: 18596.177 Set: 3899.475 Check: 0.0 Back: 506.788
INFO - Atoms: 49007/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 22437676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.921 Prop: 19192.538 PropClause: 18636.122 Set: 3907.376 Check: 0.0 Back: 507.903
INFO - Atoms: 49224/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 468 Props: 22487073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.934 Prop: 19235.493 PropClause: 18677.859 Set: 3915.394 Check: 0.0 Back: 509.017
INFO - Atoms: 49397/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 469 Props: 22536687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.945 Prop: 19280.92 PropClause: 18722.052 Set: 3923.561 Check: 0.0 Back: 510.144
INFO - Atoms: 49614/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 470 Props: 22586474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.957 Prop: 19322.71 PropClause: 18762.608 Set: 3931.546 Check: 0.0 Back: 511.277
INFO - Atoms: 49787/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 471 Props: 22636478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.969 Prop: 19365.45 PropClause: 18804.111 Set: 3939.645 Check: 0.0 Back: 512.41
INFO - Atoms: 50004/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 472 Props: 22686655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.982 Prop: 19406.952 PropClause: 18844.373 Set: 3947.728 Check: 0.0 Back: 513.557
INFO - Atoms: 50177/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 473 Props: 22737049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.995 Prop: 19451.726 PropClause: 18887.898 Set: 3955.959 Check: 0.0 Back: 514.715
INFO - Atoms: 50394/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 474 Props: 22787616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.007 Prop: 19494.122 PropClause: 18929.048 Set: 3964.106 Check: 0.0 Back: 515.864
INFO - Atoms: 50567/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 475 Props: 22838400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.018 Prop: 19536.566 PropClause: 18970.243 Set: 3972.291 Check: 0.0 Back: 517.021
INFO - Atoms: 50784/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 476 Props: 22889357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.03 Prop: 19579.749 PropClause: 19012.152 Set: 3980.521 Check: 0.0 Back: 518.185
INFO - Atoms: 50957/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 477 Props: 22940531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.042 Prop: 19624.571 PropClause: 19055.703 Set: 3988.829 Check: 0.0 Back: 519.352
INFO - Atoms: 51174/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 478 Props: 22991878 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.056 Prop: 19668.805 PropClause: 19098.668 Set: 3997.11 Check: 0.0 Back: 520.517
INFO - Atoms: 51347/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 479 Props: 23043442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.067 Prop: 19713.617 PropClause: 19142.216 Set: 4005.474 Check: 0.0 Back: 521.687
INFO - Atoms: 51564/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 480 Props: 23095179 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.081 Prop: 19756.705 PropClause: 19184.03 Set: 4013.778 Check: 0.0 Back: 522.862
INFO - Atoms: 51737/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 481 Props: 23147133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.093 Prop: 19801.157 PropClause: 19227.212 Set: 4022.091 Check: 0.0 Back: 524.041
INFO - Atoms: 51954/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 482 Props: 23199260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.103 Prop: 19844.4 PropClause: 19269.174 Set: 4030.407 Check: 0.0 Back: 525.216
INFO - Atoms: 52127/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 483 Props: 23251604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.115 Prop: 19893.479 PropClause: 19316.962 Set: 4038.976 Check: 0.0 Back: 526.393
INFO - Atoms: 52344/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 484 Props: 23304121 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.126 Prop: 19939.075 PropClause: 19361.265 Set: 4047.471 Check: 0.0 Back: 527.567
INFO - Atoms: 52517/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 485 Props: 23356855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.137 Prop: 19985.408 PropClause: 19406.295 Set: 4056.036 Check: 0.0 Back: 528.752
INFO - Atoms: 52734/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 486 Props: 23409762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.149 Prop: 20030.024 PropClause: 19449.615 Set: 4064.507 Check: 0.0 Back: 529.95
INFO - Atoms: 52907/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 487 Props: 23462886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.16 Prop: 20075.735 PropClause: 19494.014 Set: 4073.13 Check: 0.0 Back: 531.139
INFO - Atoms: 53124/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 488 Props: 23516183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.17 Prop: 20122.449 PropClause: 19539.419 Set: 4081.693 Check: 0.0 Back: 532.337
INFO - Atoms: 53297/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 489 Props: 23569697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.18 Prop: 20168.03 PropClause: 19583.684 Set: 4090.358 Check: 0.0 Back: 533.533
INFO - Atoms: 53514/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 490 Props: 23623384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.191 Prop: 20213.559 PropClause: 19627.89 Set: 4099.001 Check: 0.0 Back: 534.742
INFO - Atoms: 53687/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 491 Props: 23677288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.204 Prop: 20261.412 PropClause: 19674.417 Set: 4107.739 Check: 0.0 Back: 535.963
INFO - Atoms: 53904/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 492 Props: 23731365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.216 Prop: 20313.666 PropClause: 19725.343 Set: 4116.66 Check: 0.0 Back: 537.174
INFO - Atoms: 54077/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 493 Props: 23785659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.225 Prop: 20361.292 PropClause: 19771.636 Set: 4125.443 Check: 0.0 Back: 538.4
INFO - Atoms: 54294/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 494 Props: 23840126 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.236 Prop: 20410.006 PropClause: 19819.014 Set: 4134.169 Check: 0.0 Back: 539.626
INFO - Atoms: 54467/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 495 Props: 23894810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.245 Prop: 20459.283 PropClause: 19866.949 Set: 4143.011 Check: 0.0 Back: 540.855
INFO - Atoms: 54684/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 496 Props: 23949667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.258 Prop: 20510.144 PropClause: 19916.458 Set: 4151.915 Check: 0.0 Back: 542.087
INFO - Atoms: 54857/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 497 Props: 24004741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.269 Prop: 20560.836 PropClause: 19965.8 Set: 4160.887 Check: 0.0 Back: 543.343
INFO - Atoms: 55074/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 498 Props: 24059988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.281 Prop: 20611.212 PropClause: 20014.823 Set: 4169.851 Check: 0.0 Back: 544.586
INFO - Atoms: 55247/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 499 Props: 24115452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.291 Prop: 20662.554 PropClause: 20064.8 Set: 4178.924 Check: 0.0 Back: 545.836
INFO - Atoms: 55464/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 58822 Tprops: 15184 Decides: 69115 RSplits: 0
INFO - Times: Expl: 314.636 Prop: 52831.871 PropClause: 18.399 Set: 10588.78 Check: 498.001 Back: 296.622
INFO - Atoms: 792/1014 Clauses: 500 Axioms: 1014
INFO - CCTimes: iE 553042 eq 29190618 cc 84750586 setRep 60002435
INFO - Merges: 509846, cc:929945
INFO - BVTimes: BB 155888163 BB_DPLL 46995234535 Graph 286031035
INFO - BitBlastingClauses: 555166 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 500 Props: 24171089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.303 Prop: 20711.318 PropClause: 20112.201 Set: 4187.913 Check: 0.0 Back: 547.082
INFO - Atoms: 55637/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 501 Props: 24226943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.315 Prop: 20763.444 PropClause: 20162.964 Set: 4197.039 Check: 0.0 Back: 548.343
INFO - Atoms: 55854/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 502 Props: 24282970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.326 Prop: 20815.803 PropClause: 20213.939 Set: 4219.105 Check: 0.0 Back: 549.599
INFO - Atoms: 56027/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 503 Props: 24339214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.336 Prop: 20868.324 PropClause: 20265.075 Set: 4228.324 Check: 0.0 Back: 550.868
INFO - Atoms: 56244/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 504 Props: 24395631 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.349 Prop: 20920.988 PropClause: 20316.353 Set: 4237.543 Check: 0.0 Back: 552.142
INFO - Atoms: 56417/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 505 Props: 24452265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.362 Prop: 20982.149 PropClause: 20376.104 Set: 4251.108 Check: 0.0 Back: 553.42
INFO - Atoms: 56634/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 506 Props: 24509072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.372 Prop: 21034.811 PropClause: 20427.367 Set: 4260.396 Check: 0.0 Back: 554.704
INFO - Atoms: 56807/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 507 Props: 24566096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.382 Prop: 21090.962 PropClause: 20482.116 Set: 4269.746 Check: 0.0 Back: 555.99
INFO - Atoms: 57024/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 508 Props: 24623293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.394 Prop: 21148.842 PropClause: 20538.584 Set: 4279.087 Check: 0.0 Back: 557.282
INFO - Atoms: 57197/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 509 Props: 24680707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.406 Prop: 21200.097 PropClause: 20588.424 Set: 4288.48 Check: 0.0 Back: 558.568
INFO - Atoms: 57414/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 510 Props: 24738294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.416 Prop: 21253.479 PropClause: 20640.391 Set: 4297.869 Check: 0.0 Back: 559.871
INFO - Atoms: 57587/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 511 Props: 24796098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.426 Prop: 21305.789 PropClause: 20691.293 Set: 4307.188 Check: 0.0 Back: 561.171
INFO - Atoms: 57804/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 512 Props: 24854075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.436 Prop: 21357.142 PropClause: 20741.238 Set: 4316.545 Check: 0.0 Back: 562.465
INFO - Atoms: 57977/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 513 Props: 24912269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.445 Prop: 21410.086 PropClause: 20792.763 Set: 4325.963 Check: 0.0 Back: 563.765
INFO - Atoms: 58194/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 514 Props: 24970636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.455 Prop: 21463.005 PropClause: 20844.263 Set: 4335.407 Check: 0.0 Back: 565.067
INFO - Atoms: 58367/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 515 Props: 25029220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.465 Prop: 21516.423 PropClause: 20896.237 Set: 4344.881 Check: 0.0 Back: 566.37
INFO - Atoms: 58584/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 516 Props: 25087977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.476 Prop: 21568.972 PropClause: 20947.361 Set: 4354.359 Check: 0.0 Back: 567.679
INFO - Atoms: 58757/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 517 Props: 25146951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.487 Prop: 21623.455 PropClause: 21000.397 Set: 4363.943 Check: 0.0 Back: 568.988
INFO - Atoms: 58974/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 518 Props: 25206098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.497 Prop: 21676.609 PropClause: 21052.111 Set: 4373.503 Check: 0.0 Back: 570.306
INFO - Atoms: 59147/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 519 Props: 25265462 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.508 Prop: 21730.142 PropClause: 21104.2 Set: 4383.106 Check: 0.0 Back: 571.63
INFO - Atoms: 59364/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 520 Props: 25324999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.519 Prop: 21784.033 PropClause: 21156.636 Set: 4392.717 Check: 0.0 Back: 572.956
INFO - Atoms: 59537/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 521 Props: 25384753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.528 Prop: 21838.692 PropClause: 21209.833 Set: 4402.419 Check: 0.0 Back: 574.29
INFO - Atoms: 59754/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 522 Props: 25444680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.546 Prop: 21892.738 PropClause: 21262.421 Set: 4412.081 Check: 0.0 Back: 575.63
INFO - Atoms: 59927/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 523 Props: 25504824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.554 Prop: 21949.906 PropClause: 21318.124 Set: 4421.885 Check: 0.0 Back: 576.973
INFO - Atoms: 60144/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 524 Props: 25565141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.566 Prop: 22008.786 PropClause: 21375.519 Set: 4431.827 Check: 0.0 Back: 578.324
INFO - Atoms: 60317/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 525 Props: 25625675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.578 Prop: 22064.943 PropClause: 21430.194 Set: 4441.776 Check: 0.0 Back: 579.677
INFO - Atoms: 60534/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 526 Props: 25686382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.589 Prop: 22120.245 PropClause: 21484.02 Set: 4451.6 Check: 0.0 Back: 581.044
INFO - Atoms: 60707/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 527 Props: 25747306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.602 Prop: 22175.945 PropClause: 21538.24 Set: 4461.543 Check: 0.0 Back: 582.411
INFO - Atoms: 60924/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 528 Props: 25808403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.614 Prop: 22231.233 PropClause: 21592.045 Set: 4471.398 Check: 0.0 Back: 583.774
INFO - Atoms: 61097/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 529 Props: 25869717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.625 Prop: 22288.591 PropClause: 21647.897 Set: 4481.342 Check: 0.0 Back: 585.138
INFO - Atoms: 61314/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 530 Props: 25931204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.634 Prop: 22347.142 PropClause: 21704.953 Set: 4491.303 Check: 0.0 Back: 586.531
INFO - Atoms: 61487/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 531 Props: 25992908 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.645 Prop: 22407.944 PropClause: 21764.251 Set: 4501.512 Check: 0.0 Back: 587.907
INFO - Atoms: 61704/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 532 Props: 26054785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.655 Prop: 22467.237 PropClause: 21822.032 Set: 4511.664 Check: 0.0 Back: 589.297
INFO - Atoms: 61877/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 533 Props: 26116879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.669 Prop: 22528.229 PropClause: 21881.515 Set: 4521.866 Check: 0.0 Back: 590.688
INFO - Atoms: 62094/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 534 Props: 26179146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.687 Prop: 22593.013 PropClause: 21944.786 Set: 4532.065 Check: 0.0 Back: 592.081
INFO - Atoms: 62267/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 535 Props: 26241630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.699 Prop: 22653.705 PropClause: 22003.944 Set: 4557.676 Check: 0.0 Back: 593.479
INFO - Atoms: 62484/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 536 Props: 26304287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.71 Prop: 22713.395 PropClause: 22062.113 Set: 4567.917 Check: 0.0 Back: 594.873
INFO - Atoms: 62657/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 537 Props: 26367161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.721 Prop: 22778.307 PropClause: 22125.487 Set: 4578.356 Check: 0.0 Back: 596.283
INFO - Atoms: 62874/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 538 Props: 26430208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.732 Prop: 22841.803 PropClause: 22187.433 Set: 4588.808 Check: 0.0 Back: 597.706
INFO - Atoms: 63047/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 539 Props: 26493472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.742 Prop: 22904.883 PropClause: 22248.96 Set: 4599.285 Check: 0.0 Back: 599.129
INFO - Atoms: 63264/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 540 Props: 26556909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.753 Prop: 22968.651 PropClause: 22311.177 Set: 4609.732 Check: 0.0 Back: 600.551
INFO - Atoms: 63437/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 541 Props: 26620563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.764 Prop: 23034.147 PropClause: 22375.115 Set: 4620.345 Check: 0.0 Back: 601.978
INFO - Atoms: 63654/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 542 Props: 26684390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.774 Prop: 23100.431 PropClause: 22439.81 Set: 4631.055 Check: 0.0 Back: 603.425
INFO - Atoms: 63827/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 543 Props: 26748434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.785 Prop: 23164.81 PropClause: 22502.623 Set: 4641.648 Check: 0.0 Back: 604.873
INFO - Atoms: 64044/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 544 Props: 26812651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.798 Prop: 23229.797 PropClause: 22566.029 Set: 4652.26 Check: 0.0 Back: 606.319
INFO - Atoms: 64217/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 545 Props: 26877085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.808 Prop: 23298.555 PropClause: 22633.185 Set: 4663.018 Check: 0.0 Back: 607.764
INFO - Atoms: 64434/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 546 Props: 26941692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.82 Prop: 23364.67 PropClause: 22697.713 Set: 4673.859 Check: 0.0 Back: 609.215
INFO - Atoms: 64607/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 547 Props: 27006515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.833 Prop: 23429.748 PropClause: 22761.201 Set: 4684.562 Check: 0.0 Back: 610.671
INFO - Atoms: 64823/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 548 Props: 27071512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.843 Prop: 23497.52 PropClause: 22827.376 Set: 4695.268 Check: 0.0 Back: 612.13
INFO - Atoms: 64997/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 549 Props: 27136725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.856 Prop: 23563.767 PropClause: 22892.028 Set: 4706.147 Check: 0.0 Back: 613.588
INFO - Atoms: 65213/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 550 Props: 27202112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.869 Prop: 23629.571 PropClause: 22956.235 Set: 4716.941 Check: 0.0 Back: 615.05
INFO - Atoms: 65387/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 551 Props: 27267857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.88 Prop: 23702.477 PropClause: 23027.512 Set: 4728.03 Check: 0.0 Back: 616.523
INFO - Atoms: 65745/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 552 Props: 27333798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.892 Prop: 23768.418 PropClause: 23091.834 Set: 4738.963 Check: 0.0 Back: 618.003
INFO - Atoms: 65941/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 553 Props: 27399768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.903 Prop: 23835.675 PropClause: 23157.468 Set: 4749.934 Check: 0.0 Back: 619.498
INFO - Atoms: 65970/65984 Clauses: 677 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1053 Props: 29226505 Tprops: 0 Decides: 4631 RSplits: 0
INFO - Times: Expl: 921.765 Prop: 25133.826 PropClause: 24408.007 Set: 4795.287 Check: 0.117 Back: 663.283
INFO - Atoms: 21829/65984 Clauses: 1176 Axioms: 217842
INFO - Restart
INFO - Confl: 1553 Props: 31032301 Tprops: 0 Decides: 10098 RSplits: 0
INFO - Times: Expl: 1440.123 Prop: 26505.265 PropClause: 25731.684 Set: 4837.422 Check: 0.256 Back: 705.735
INFO - Atoms: 21837/65984 Clauses: 1676 Axioms: 217842
INFO - Confl: 1869 Props: 32057205 Tprops: 0 Decides: 12410 RSplits: 0
INFO - Times: Expl: 1737.722 Prop: 27258.672 PropClause: 26458.228 Set: 4861.681 Check: 0.316 Back: 729.854
INFO - Atoms: 22998/65984 Clauses: 1992 Axioms: 217842
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 555 Props: 65037 Tprops: 15186 Decides: 70603 RSplits: 0
INFO - Times: Expl: 346.317 Prop: 65083.426 PropClause: 21.144 Set: 11532.437 Check: 526.936 Back: 313.969
INFO - Atoms: 1014/1014 Clauses: 555 Axioms: 1014
INFO - CCTimes: iE 558180 eq 31320370 cc 93154554 setRep 68504252
INFO - Merges: 582431, cc:1567267
INFO - BVTimes: BB 155888163 BB_DPLL 58468428575 Graph 293735371
INFO - BitBlastingClauses: 592346 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat