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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 392318702
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 87708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.753 Prop: 160.072 PropClause: 153.589 Set: 56.0 Check: 0.0 Back: 0.0
INFO - Atoms: 87708/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 175418 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.819 Prop: 270.557 PropClause: 261.147 Set: 72.514 Check: 0.0 Back: 2.336
INFO - Atoms: 87710/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 262684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.879 Prop: 432.196 PropClause: 419.394 Set: 94.171 Check: 0.0 Back: 4.573
INFO - Atoms: 87266/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 349951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.931 Prop: 538.84 PropClause: 523.065 Set: 112.107 Check: 0.0 Back: 6.945
INFO - Atoms: 87267/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 437212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.017 Prop: 643.059 PropClause: 625.065 Set: 128.277 Check: 0.0 Back: 8.963
INFO - Atoms: 87261/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 524474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.085 Prop: 746.503 PropClause: 726.341 Set: 144.476 Check: 0.0 Back: 11.013
INFO - Atoms: 87262/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 611734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.14 Prop: 879.154 PropClause: 848.4 Set: 178.563 Check: 0.0 Back: 13.069
INFO - Atoms: 87260/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 698994 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.223 Prop: 982.303 PropClause: 949.358 Set: 194.922 Check: 0.0 Back: 15.277
INFO - Atoms: 87260/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 786033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.303 Prop: 1084.157 PropClause: 1049.012 Set: 211.473 Check: 0.0 Back: 17.307
INFO - Atoms: 87039/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 872844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.37 Prop: 1190.815 PropClause: 1153.506 Set: 227.688 Check: 0.0 Back: 19.328
INFO - Atoms: 86811/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 959429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.419 Prop: 1298.06 PropClause: 1258.559 Set: 243.861 Check: 0.0 Back: 21.348
INFO - Atoms: 86585/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 1045786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.474 Prop: 1419.07 PropClause: 1376.926 Set: 264.236 Check: 0.0 Back: 23.382
INFO - Atoms: 86357/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 1131917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.524 Prop: 1529.015 PropClause: 1484.714 Set: 280.486 Check: 0.0 Back: 25.687
INFO - Atoms: 86131/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 1217836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.571 Prop: 1632.571 PropClause: 1586.123 Set: 305.186 Check: 0.0 Back: 27.842
INFO - Atoms: 85919/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 1303513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.618 Prop: 1736.484 PropClause: 1687.898 Set: 330.616 Check: 0.0 Back: 29.825
INFO - Atoms: 85677/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 1388962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.662 Prop: 1836.675 PropClause: 1785.958 Set: 354.587 Check: 0.0 Back: 31.807
INFO - Atoms: 85449/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 1474185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.711 Prop: 1941.809 PropClause: 1888.959 Set: 370.517 Check: 0.0 Back: 34.005
INFO - Atoms: 85223/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 1559196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.757 Prop: 2046.025 PropClause: 1991.039 Set: 386.431 Check: 0.0 Back: 36.184
INFO - Atoms: 85011/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1643965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.799 Prop: 2149.0 PropClause: 2091.895 Set: 402.164 Check: 0.0 Back: 38.377
INFO - Atoms: 84769/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 1728506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.849 Prop: 2251.709 PropClause: 2192.487 Set: 417.84 Check: 0.0 Back: 40.349
INFO - Atoms: 84541/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 1812821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.892 Prop: 2355.396 PropClause: 2294.046 Set: 433.532 Check: 0.0 Back: 42.304
INFO - Atoms: 84315/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 1896908 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.94 Prop: 2451.791 PropClause: 2388.341 Set: 448.928 Check: 0.0 Back: 44.273
INFO - Atoms: 84087/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 1980769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.988 Prop: 2552.643 PropClause: 2487.095 Set: 464.455 Check: 0.0 Back: 46.213
INFO - Atoms: 83861/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 2064419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.036 Prop: 2650.21 PropClause: 2582.56 Set: 479.798 Check: 0.0 Back: 48.17
INFO - Atoms: 83650/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 2147826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.086 Prop: 2752.205 PropClause: 2682.407 Set: 496.172 Check: 0.0 Back: 50.135
INFO - Atoms: 83407/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 2231005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.145 Prop: 2849.669 PropClause: 2777.802 Set: 511.509 Check: 0.0 Back: 52.075
INFO - Atoms: 83179/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 2313958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.199 Prop: 2948.806 PropClause: 2874.867 Set: 526.945 Check: 0.0 Back: 53.983
INFO - Atoms: 82953/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 2396683 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.244 Prop: 3043.417 PropClause: 2967.413 Set: 542.027 Check: 0.0 Back: 55.947
INFO - Atoms: 82725/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 2479182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.294 Prop: 3142.219 PropClause: 3064.158 Set: 562.494 Check: 0.0 Back: 57.84
INFO - Atoms: 82499/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 2561469 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.342 Prop: 3240.875 PropClause: 3160.647 Set: 587.334 Check: 0.0 Back: 59.747
INFO - Atoms: 82287/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 2643514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.394 Prop: 3347.081 PropClause: 3264.799 Set: 602.905 Check: 0.0 Back: 61.653
INFO - Atoms: 82045/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 2725347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.438 Prop: 3439.214 PropClause: 3354.882 Set: 617.818 Check: 0.0 Back: 63.562
INFO - Atoms: 81833/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 2806938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.483 Prop: 3531.684 PropClause: 3445.299 Set: 632.738 Check: 0.0 Back: 65.463
INFO - Atoms: 81591/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 2888301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.54 Prop: 3623.433 PropClause: 3535.027 Set: 647.626 Check: 0.0 Back: 67.358
INFO - Atoms: 81363/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 2969438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.595 Prop: 3722.043 PropClause: 3631.615 Set: 662.539 Check: 0.0 Back: 69.231
INFO - Atoms: 81137/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 3050347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.64 Prop: 3814.277 PropClause: 3721.836 Set: 677.439 Check: 0.0 Back: 71.111
INFO - Atoms: 80909/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 3131030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.681 Prop: 3908.606 PropClause: 3814.166 Set: 692.095 Check: 0.0 Back: 72.98
INFO - Atoms: 80683/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 3211485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.729 Prop: 3998.959 PropClause: 3902.49 Set: 706.664 Check: 0.0 Back: 74.842
INFO - Atoms: 80455/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 3291714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.773 Prop: 4092.957 PropClause: 3994.476 Set: 721.476 Check: 0.0 Back: 76.677
INFO - Atoms: 80229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 3371715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.817 Prop: 4182.593 PropClause: 4082.12 Set: 735.841 Check: 0.0 Back: 78.508
INFO - Atoms: 80001/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 3451490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.856 Prop: 4273.123 PropClause: 4170.665 Set: 750.299 Check: 0.0 Back: 80.335
INFO - Atoms: 79775/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 3531037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.911 Prop: 4363.572 PropClause: 4259.138 Set: 764.785 Check: 0.0 Back: 82.168
INFO - Atoms: 79547/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 3610358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.959 Prop: 4455.216 PropClause: 4348.798 Set: 779.443 Check: 0.0 Back: 84.036
INFO - Atoms: 79321/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 3689451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.003 Prop: 4546.66 PropClause: 4438.268 Set: 793.837 Check: 0.0 Back: 85.878
INFO - Atoms: 79093/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 3768318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.047 Prop: 4641.5 PropClause: 4531.135 Set: 808.35 Check: 0.0 Back: 87.697
INFO - Atoms: 78867/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 3846957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.094 Prop: 4729.579 PropClause: 4617.25 Set: 822.6 Check: 0.0 Back: 89.518
INFO - Atoms: 78639/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 3925370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.144 Prop: 4827.767 PropClause: 4713.494 Set: 837.05 Check: 0.0 Back: 91.345
INFO - Atoms: 78413/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 4003572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.19 Prop: 4917.856 PropClause: 4801.645 Set: 851.134 Check: 0.0 Back: 93.178
INFO - Atoms: 78202/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 4081531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.233 Prop: 5011.519 PropClause: 4893.379 Set: 865.389 Check: 0.0 Back: 94.965
INFO - Atoms: 77959/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 4159278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.29 Prop: 5098.029 PropClause: 4977.944 Set: 879.342 Check: 0.0 Back: 96.769
INFO - Atoms: 77747/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 4236783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.338 Prop: 5187.567 PropClause: 5065.547 Set: 893.478 Check: 0.0 Back: 98.567
INFO - Atoms: 77505/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 4314076 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.478 Prop: 5276.844 PropClause: 5152.894 Set: 907.506 Check: 0.0 Back: 100.374
INFO - Atoms: 77293/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 4391127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.499 Prop: 5370.146 PropClause: 5244.285 Set: 921.602 Check: 0.0 Back: 102.165
INFO - Atoms: 77051/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 4467950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.523 Prop: 5462.738 PropClause: 5334.971 Set: 935.33 Check: 0.0 Back: 103.956
INFO - Atoms: 76823/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 4544547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.545 Prop: 5558.387 PropClause: 5428.699 Set: 949.492 Check: 0.0 Back: 105.73
INFO - Atoms: 76597/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 4620916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.564 Prop: 5643.238 PropClause: 5511.635 Set: 963.17 Check: 0.0 Back: 107.496
INFO - Atoms: 76369/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 4697059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.583 Prop: 5732.882 PropClause: 5599.365 Set: 976.943 Check: 0.0 Back: 109.264
INFO - Atoms: 76143/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 4772974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.604 Prop: 5820.84 PropClause: 5685.428 Set: 990.6 Check: 0.0 Back: 111.058
INFO - Atoms: 75915/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 4848663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.622 Prop: 5912.454 PropClause: 5775.151 Set: 1004.426 Check: 0.0 Back: 112.798
INFO - Atoms: 75689/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 4924124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.645 Prop: 6000.141 PropClause: 5860.948 Set: 1018.184 Check: 0.0 Back: 114.563
INFO - Atoms: 75461/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 4999359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.666 Prop: 6091.077 PropClause: 5949.999 Set: 1032.093 Check: 0.0 Back: 116.3
INFO - Atoms: 75235/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 5074383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.685 Prop: 6178.709 PropClause: 6035.761 Set: 1045.726 Check: 0.0 Back: 118.037
INFO - Atoms: 75024/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 5149164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.707 Prop: 6271.506 PropClause: 6126.693 Set: 1059.619 Check: 0.0 Back: 119.754
INFO - Atoms: 74781/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 5223732 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.728 Prop: 6359.373 PropClause: 6212.698 Set: 1072.967 Check: 0.0 Back: 121.481
INFO - Atoms: 74568/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 5298059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.748 Prop: 6453.326 PropClause: 6304.798 Set: 1086.62 Check: 0.0 Back: 123.211
INFO - Atoms: 74327/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 5372173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.769 Prop: 6538.913 PropClause: 6388.539 Set: 1099.999 Check: 0.0 Back: 124.935
INFO - Atoms: 74114/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 5446046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.79 Prop: 6626.942 PropClause: 6474.72 Set: 1113.288 Check: 0.0 Back: 126.628
INFO - Atoms: 73873/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 5519706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.809 Prop: 6708.181 PropClause: 6554.118 Set: 1126.326 Check: 0.0 Back: 128.343
INFO - Atoms: 73660/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 5593125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.827 Prop: 6791.936 PropClause: 6636.038 Set: 1139.501 Check: 0.0 Back: 130.023
INFO - Atoms: 73419/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 5666316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.845 Prop: 6871.755 PropClause: 6714.022 Set: 1152.431 Check: 0.0 Back: 131.721
INFO - Atoms: 73191/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 5739281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.866 Prop: 6951.755 PropClause: 6792.206 Set: 1165.572 Check: 0.0 Back: 133.41
INFO - Atoms: 72965/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 5812034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.888 Prop: 7046.948 PropClause: 6885.237 Set: 1182.384 Check: 0.0 Back: 135.091
INFO - Atoms: 72753/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 5884545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.961 Prop: 7131.707 PropClause: 6968.181 Set: 1195.462 Check: 0.0 Back: 136.992
INFO - Atoms: 72511/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 5956828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.977 Prop: 7212.187 PropClause: 7046.849 Set: 1208.277 Check: 0.0 Back: 138.67
INFO - Atoms: 72283/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 6028885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.992 Prop: 7295.668 PropClause: 7128.533 Set: 1221.293 Check: 0.0 Back: 140.335
INFO - Atoms: 72057/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 6100714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.007 Prop: 7374.786 PropClause: 7205.858 Set: 1233.94 Check: 0.0 Back: 141.983
INFO - Atoms: 71829/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 6172317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.021 Prop: 7456.168 PropClause: 7285.436 Set: 1246.727 Check: 0.0 Back: 143.641
INFO - Atoms: 71603/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 6243692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.036 Prop: 7533.848 PropClause: 7361.333 Set: 1259.361 Check: 0.0 Back: 145.299
INFO - Atoms: 71375/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 6314841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.052 Prop: 7615.405 PropClause: 7441.125 Set: 1272.006 Check: 0.0 Back: 146.941
INFO - Atoms: 71149/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 6385762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.066 Prop: 7692.918 PropClause: 7516.879 Set: 1284.57 Check: 0.0 Back: 148.582
INFO - Atoms: 70921/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 6456457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.081 Prop: 7774.968 PropClause: 7597.171 Set: 1297.181 Check: 0.0 Back: 150.209
INFO - Atoms: 70695/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 6526924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.099 Prop: 7852.723 PropClause: 7673.166 Set: 1309.725 Check: 0.0 Back: 151.853
INFO - Atoms: 70467/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 6597165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.115 Prop: 7935.377 PropClause: 7754.06 Set: 1322.334 Check: 0.0 Back: 153.473
INFO - Atoms: 70241/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 6667178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.13 Prop: 8014.681 PropClause: 7831.611 Set: 1334.78 Check: 0.0 Back: 155.088
INFO - Atoms: 70013/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 6736965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.147 Prop: 8095.593 PropClause: 7910.778 Set: 1347.175 Check: 0.0 Back: 156.707
INFO - Atoms: 69787/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 6806541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.164 Prop: 8170.255 PropClause: 7983.72 Set: 1359.371 Check: 0.0 Back: 158.331
INFO - Atoms: 69576/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 6875874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.181 Prop: 8249.843 PropClause: 8061.585 Set: 1371.831 Check: 0.0 Back: 159.935
INFO - Atoms: 69333/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 6944979 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.197 Prop: 8327.017 PropClause: 8137.03 Set: 1384.157 Check: 0.0 Back: 161.539
INFO - Atoms: 69105/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 7013858 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.216 Prop: 8405.282 PropClause: 8213.565 Set: 1396.588 Check: 0.0 Back: 163.18
INFO - Atoms: 68879/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 7082509 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.234 Prop: 8482.087 PropClause: 8288.655 Set: 1408.651 Check: 0.0 Back: 164.767
INFO - Atoms: 68651/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 7150934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.25 Prop: 8555.033 PropClause: 8359.895 Set: 1421.078 Check: 0.0 Back: 166.519
INFO - Atoms: 68425/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 7219147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.271 Prop: 8627.565 PropClause: 8430.73 Set: 1456.356 Check: 0.0 Back: 168.11
INFO - Atoms: 68213/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 7287118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.289 Prop: 8702.147 PropClause: 8503.614 Set: 1468.36 Check: 0.0 Back: 169.665
INFO - Atoms: 67971/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 7354861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.35 Prop: 8775.091 PropClause: 8574.867 Set: 1480.169 Check: 0.0 Back: 171.224
INFO - Atoms: 67743/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 7422378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.406 Prop: 8851.187 PropClause: 8649.273 Set: 1492.161 Check: 0.0 Back: 172.785
INFO - Atoms: 67517/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 7489667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.418 Prop: 8924.314 PropClause: 8720.72 Set: 1503.829 Check: 0.0 Back: 174.363
INFO - Atoms: 67289/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 7556730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.429 Prop: 8997.403 PropClause: 8792.149 Set: 1515.48 Check: 0.0 Back: 175.917
INFO - Atoms: 67063/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 7623581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.44 Prop: 9068.374 PropClause: 8861.455 Set: 1527.145 Check: 0.0 Back: 177.48
INFO - Atoms: 66851/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 7690190 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.452 Prop: 9143.194 PropClause: 8934.61 Set: 1539.119 Check: 0.0 Back: 179.008
INFO - Atoms: 66609/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 7756587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.462 Prop: 9217.248 PropClause: 9007.004 Set: 1550.816 Check: 0.0 Back: 180.54
INFO - Atoms: 66397/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 7822742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.473 Prop: 9290.241 PropClause: 9078.337 Set: 1562.483 Check: 0.0 Back: 182.086
INFO - Atoms: 66155/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 7888669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.485 Prop: 9357.161 PropClause: 9143.615 Set: 1573.889 Check: 0.0 Back: 183.617
INFO - Atoms: 65927/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 7954370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.497 Prop: 9428.125 PropClause: 9212.943 Set: 1585.573 Check: 0.0 Back: 185.14
INFO - Atoms: 65701/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 8019843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.508 Prop: 9499.457 PropClause: 9282.641 Set: 1596.982 Check: 0.0 Back: 186.659
INFO - Atoms: 65473/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 8085090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.518 Prop: 9567.263 PropClause: 9348.823 Set: 1608.451 Check: 0.0 Back: 188.155
INFO - Atoms: 65247/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 8150109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.527 Prop: 9635.269 PropClause: 9415.204 Set: 1619.785 Check: 0.0 Back: 189.666
INFO - Atoms: 65019/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 8214902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.538 Prop: 9705.902 PropClause: 9484.226 Set: 1631.207 Check: 0.0 Back: 191.153
INFO - Atoms: 64793/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 8279467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.549 Prop: 9773.863 PropClause: 9550.581 Set: 1642.348 Check: 0.0 Back: 192.665
INFO - Atoms: 64565/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 8343806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.561 Prop: 9843.283 PropClause: 9618.397 Set: 1653.692 Check: 0.0 Back: 194.147
INFO - Atoms: 64339/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 8407917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.571 Prop: 9911.35 PropClause: 9684.865 Set: 1664.762 Check: 0.0 Back: 195.631
INFO - Atoms: 64111/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 8471802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.58 Prop: 9981.934 PropClause: 9753.856 Set: 1675.98 Check: 0.0 Back: 197.128
INFO - Atoms: 63885/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 8535459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.591 Prop: 10048.527 PropClause: 9818.857 Set: 1687.007 Check: 0.0 Back: 198.608
INFO - Atoms: 63657/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 8598890 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.6 Prop: 10115.523 PropClause: 9884.264 Set: 1698.033 Check: 0.0 Back: 200.064
INFO - Atoms: 63431/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 8662093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.613 Prop: 10176.494 PropClause: 9943.655 Set: 1708.907 Check: 0.0 Back: 201.52
INFO - Atoms: 63203/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 8725070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.624 Prop: 10241.023 PropClause: 10006.612 Set: 1719.908 Check: 0.0 Back: 202.979
INFO - Atoms: 62977/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 8787836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.635 Prop: 10300.833 PropClause: 10064.868 Set: 1730.595 Check: 0.0 Back: 204.449
INFO - Atoms: 62766/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 8850359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.647 Prop: 10364.603 PropClause: 10127.089 Set: 1741.437 Check: 0.0 Back: 205.882
INFO - Atoms: 62523/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 8912670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.658 Prop: 10428.456 PropClause: 10189.381 Set: 1752.329 Check: 0.0 Back: 207.32
INFO - Atoms: 62311/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 8974739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.67 Prop: 10491.758 PropClause: 10251.142 Set: 1763.057 Check: 0.0 Back: 208.776
INFO - Atoms: 62069/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 9036595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.68 Prop: 10553.578 PropClause: 10311.43 Set: 1773.534 Check: 0.0 Back: 210.198
INFO - Atoms: 61856/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 9098210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.69 Prop: 10617.793 PropClause: 10374.124 Set: 1784.163 Check: 0.0 Back: 211.601
INFO - Atoms: 61615/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 9159612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.7 Prop: 10676.613 PropClause: 10431.421 Set: 1794.562 Check: 0.0 Back: 213.002
INFO - Atoms: 61402/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 9220773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.71 Prop: 10736.667 PropClause: 10489.967 Set: 1804.994 Check: 0.0 Back: 214.395
INFO - Atoms: 61161/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 9281706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.721 Prop: 10797.581 PropClause: 10549.382 Set: 1815.369 Check: 0.0 Back: 215.801
INFO - Atoms: 60933/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 9342413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.731 Prop: 10858.101 PropClause: 10608.391 Set: 1825.815 Check: 0.0 Back: 217.179
INFO - Atoms: 60707/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 9402908 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.743 Prop: 10917.601 PropClause: 10666.388 Set: 1836.168 Check: 0.0 Back: 218.578
INFO - Atoms: 60495/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 9463161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.755 Prop: 10975.646 PropClause: 10722.931 Set: 1846.536 Check: 0.0 Back: 219.995
INFO - Atoms: 60253/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 9523202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.766 Prop: 11031.142 PropClause: 10776.901 Set: 1856.667 Check: 0.0 Back: 221.382
INFO - Atoms: 60041/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 9583001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.777 Prop: 11088.642 PropClause: 10832.912 Set: 1866.921 Check: 0.0 Back: 222.748
INFO - Atoms: 59799/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 9642587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.789 Prop: 11141.9 PropClause: 10884.681 Set: 1876.916 Check: 0.0 Back: 224.132
INFO - Atoms: 59586/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 9701932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.8 Prop: 11199.384 PropClause: 10940.7 Set: 1886.917 Check: 0.0 Back: 225.486
INFO - Atoms: 59345/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 9761049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.812 Prop: 11260.524 PropClause: 11000.318 Set: 1897.455 Check: 0.0 Back: 226.897
INFO - Atoms: 59117/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 9819940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.823 Prop: 11323.954 PropClause: 11062.286 Set: 1907.7 Check: 0.0 Back: 228.251
INFO - Atoms: 58891/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 9879737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.835 Prop: 11383.172 PropClause: 11120.018 Set: 1917.935 Check: 0.0 Back: 229.626
INFO - Atoms: 59797/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 9939741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.847 Prop: 11441.266 PropClause: 11176.627 Set: 1928.326 Check: 0.0 Back: 230.995
INFO - Atoms: 60004/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 9999992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.86 Prop: 11504.422 PropClause: 11238.175 Set: 1939.947 Check: 0.0 Back: 232.362
INFO - Atoms: 60251/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 10060221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.872 Prop: 11566.443 PropClause: 11298.697 Set: 1950.638 Check: 0.0 Back: 233.862
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 10119802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.883 Prop: 11625.975 PropClause: 11356.74 Set: 1960.904 Check: 0.0 Back: 235.276
INFO - Atoms: 59581/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 10180050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.894 Prop: 11687.518 PropClause: 11416.782 Set: 1971.446 Check: 0.0 Back: 236.636
INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 10240279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.906 Prop: 11743.529 PropClause: 11471.298 Set: 1981.72 Check: 0.0 Back: 238.025
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 10299846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.917 Prop: 11802.123 PropClause: 11528.409 Set: 1992.052 Check: 0.0 Back: 239.403
INFO - Atoms: 59567/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 10360075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.927 Prop: 11861.785 PropClause: 11586.568 Set: 2002.464 Check: 0.0 Back: 240.784
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 10420324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.938 Prop: 11920.153 PropClause: 11643.431 Set: 2012.921 Check: 0.0 Back: 242.158
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 10479906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.947 Prop: 11979.251 PropClause: 11701.049 Set: 2023.11 Check: 0.0 Back: 243.545
INFO - Atoms: 59582/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 10540157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.957 Prop: 12042.021 PropClause: 11762.331 Set: 2033.741 Check: 0.0 Back: 244.917
INFO - Atoms: 60251/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 10600386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.967 Prop: 12102.563 PropClause: 11821.376 Set: 2044.23 Check: 0.0 Back: 246.31
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 10660837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.981 Prop: 12166.775 PropClause: 11884.088 Set: 2055.016 Check: 0.0 Back: 247.676
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 10721066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.992 Prop: 12227.046 PropClause: 11942.855 Set: 2065.473 Check: 0.0 Back: 249.093
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 10781496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.001 Prop: 12289.169 PropClause: 12003.474 Set: 2076.231 Check: 0.0 Back: 250.487
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 10841077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.011 Prop: 12347.041 PropClause: 12059.864 Set: 2086.498 Check: 0.0 Back: 251.887
INFO - Atoms: 59581/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 10901325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.023 Prop: 12408.41 PropClause: 12119.732 Set: 2097.11 Check: 0.0 Back: 253.245
INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 10961756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.035 Prop: 12469.304 PropClause: 12179.127 Set: 2107.632 Check: 0.0 Back: 254.632
INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 11022207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.046 Prop: 12526.22 PropClause: 12234.537 Set: 2118.134 Check: 0.0 Back: 256.016
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 11082436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.056 Prop: 12584.616 PropClause: 12291.436 Set: 2128.615 Check: 0.0 Back: 257.414
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 11142864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.067 Prop: 12645.252 PropClause: 12350.564 Set: 2139.218 Check: 0.0 Back: 258.799
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 11202430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.078 Prop: 12703.549 PropClause: 12407.375 Set: 2149.496 Check: 0.0 Back: 260.21
INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 11262679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.088 Prop: 12766.131 PropClause: 12468.451 Set: 2160.045 Check: 0.0 Back: 261.58
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 11323109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.098 Prop: 12828.041 PropClause: 12528.844 Set: 2170.71 Check: 0.0 Back: 262.985
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 11383560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.108 Prop: 12890.166 PropClause: 12589.442 Set: 2181.315 Check: 0.0 Back: 264.378
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 11443789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.118 Prop: 12951.664 PropClause: 12649.443 Set: 2191.805 Check: 0.0 Back: 265.766
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 11504217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.127 Prop: 13011.251 PropClause: 12707.523 Set: 2202.549 Check: 0.0 Back: 267.144
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 11563783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.136 Prop: 13067.779 PropClause: 12762.562 Set: 2212.841 Check: 0.0 Back: 268.543
INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 11624032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.148 Prop: 13127.2 PropClause: 12820.483 Set: 2223.43 Check: 0.0 Back: 269.926
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 11684462 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.157 Prop: 13185.677 PropClause: 12877.452 Set: 2233.921 Check: 0.0 Back: 271.323
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 11744915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.169 Prop: 13247.861 PropClause: 12938.131 Set: 2244.607 Check: 0.0 Back: 272.726
INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 11805144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.18 Prop: 13302.283 PropClause: 12991.055 Set: 2254.909 Check: 0.0 Back: 274.143
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 11865572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.189 Prop: 13357.147 PropClause: 13044.422 Set: 2265.275 Check: 0.0 Back: 275.515
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 11925138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.198 Prop: 13411.593 PropClause: 13097.375 Set: 2275.364 Check: 0.0 Back: 276.896
INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 11985386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.209 Prop: 13467.777 PropClause: 13152.061 Set: 2285.825 Check: 0.0 Back: 278.257
INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 12045817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.22 Prop: 13525.926 PropClause: 13208.705 Set: 2296.256 Check: 0.0 Back: 279.641
INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 12106270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.231 Prop: 13583.922 PropClause: 13265.197 Set: 2306.646 Check: 0.0 Back: 281.016
INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 12166499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.241 Prop: 13641.341 PropClause: 13321.113 Set: 2317.017 Check: 0.0 Back: 282.408
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 12226927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.252 Prop: 13698.855 PropClause: 13377.132 Set: 2327.594 Check: 0.0 Back: 283.776
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 12286509 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.263 Prop: 13762.652 PropClause: 13439.438 Set: 2338.111 Check: 0.0 Back: 285.17
INFO - Atoms: 59582/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 12346758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.272 Prop: 13821.482 PropClause: 13496.762 Set: 2348.623 Check: 0.0 Back: 286.535
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 12407188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.281 Prop: 13876.533 PropClause: 13550.301 Set: 2359.1 Check: 0.0 Back: 287.916
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 12467641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.29 Prop: 13936.016 PropClause: 13608.264 Set: 2369.746 Check: 0.0 Back: 289.313
INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 12527870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.303 Prop: 13993.943 PropClause: 13664.696 Set: 2410.615 Check: 0.0 Back: 290.706
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 12588298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.312 Prop: 14052.932 PropClause: 13722.191 Set: 2421.06 Check: 0.0 Back: 292.079
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 12647864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.323 Prop: 14106.769 PropClause: 13774.545 Set: 2431.195 Check: 0.0 Back: 293.467
INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 12708113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.333 Prop: 14161.957 PropClause: 13828.237 Set: 2441.604 Check: 0.0 Back: 294.823
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 12768543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.342 Prop: 14217.074 PropClause: 13881.851 Set: 2451.999 Check: 0.0 Back: 296.203
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 12828996 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.382 Prop: 14276.19 PropClause: 13939.474 Set: 2462.507 Check: 0.0 Back: 297.576
INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 12889225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.422 Prop: 14334.025 PropClause: 13995.806 Set: 2473.117 Check: 0.0 Back: 298.968
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 12949653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.434 Prop: 14392.999 PropClause: 14053.28 Set: 2483.652 Check: 0.0 Back: 300.352
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 13009219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.444 Prop: 14449.029 PropClause: 14107.83 Set: 2493.814 Check: 0.0 Back: 301.741
INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 13069467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.454 Prop: 14508.133 PropClause: 14165.444 Set: 2504.309 Check: 0.0 Back: 303.095
INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 13129898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.464 Prop: 14565.036 PropClause: 14220.852 Set: 2514.824 Check: 0.0 Back: 304.472
INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 13190349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.472 Prop: 14623.559 PropClause: 14277.874 Set: 2525.584 Check: 0.0 Back: 305.849
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 13250578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.484 Prop: 14682.448 PropClause: 14335.274 Set: 2536.053 Check: 0.0 Back: 307.239
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 13311006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.493 Prop: 14742.115 PropClause: 14393.441 Set: 2546.654 Check: 0.0 Back: 308.618
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 13370572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.507 Prop: 14804.022 PropClause: 14453.818 Set: 2557.531 Check: 0.0 Back: 310.001
INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 13430820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.523 Prop: 14860.576 PropClause: 14508.866 Set: 2568.059 Check: 0.0 Back: 311.381
INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 13491251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.561 Prop: 14916.672 PropClause: 14563.449 Set: 2578.555 Check: 0.0 Back: 312.766
INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 13551702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.567 Prop: 14974.376 PropClause: 14619.645 Set: 2589.18 Check: 0.0 Back: 314.152
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 13611931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.574 Prop: 15033.955 PropClause: 14677.726 Set: 2599.554 Check: 0.0 Back: 315.546
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 13672359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.582 Prop: 15093.386 PropClause: 14735.651 Set: 2610.197 Check: 0.0 Back: 316.92
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 13731925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.589 Prop: 15151.005 PropClause: 14791.789 Set: 2620.438 Check: 0.0 Back: 318.305
INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 13792174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.596 Prop: 15208.927 PropClause: 14848.212 Set: 2631.019 Check: 0.0 Back: 319.677
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 13852604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.603 Prop: 15274.257 PropClause: 14912.017 Set: 2641.795 Check: 0.0 Back: 321.066
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 13913057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.611 Prop: 15335.981 PropClause: 14972.24 Set: 2652.657 Check: 0.0 Back: 322.452
INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 13973286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.617 Prop: 15395.56 PropClause: 15030.315 Set: 2663.152 Check: 0.0 Back: 323.869
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 14033714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.624 Prop: 15455.827 PropClause: 15089.077 Set: 2673.871 Check: 0.0 Back: 325.251
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 14093297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.632 Prop: 15515.36 PropClause: 15147.111 Set: 2684.211 Check: 0.0 Back: 326.64
INFO - Atoms: 59583/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 14153546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.641 Prop: 15575.565 PropClause: 15205.813 Set: 2718.532 Check: 0.0 Back: 328.021
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 14213976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.648 Prop: 15638.12 PropClause: 15266.867 Set: 2729.245 Check: 0.0 Back: 329.399
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 14274427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.655 Prop: 15698.843 PropClause: 15326.073 Set: 2740.079 Check: 0.0 Back: 330.784
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 14334656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.661 Prop: 15761.762 PropClause: 15387.48 Set: 2750.91 Check: 0.0 Back: 332.176
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 14395084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.669 Prop: 15828.671 PropClause: 15452.866 Set: 2761.846 Check: 0.0 Back: 333.562
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 14454650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.675 Prop: 15891.543 PropClause: 15514.252 Set: 2772.275 Check: 0.0 Back: 334.963
INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 14514899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.718 Prop: 15956.328 PropClause: 15577.525 Set: 2783.36 Check: 0.0 Back: 336.325
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 14575329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.764 Prop: 16018.832 PropClause: 15638.521 Set: 2793.989 Check: 0.0 Back: 337.757
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 14635782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.77 Prop: 16083.69 PropClause: 15701.866 Set: 2804.967 Check: 0.0 Back: 339.139
INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 14696011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.777 Prop: 16145.95 PropClause: 15762.615 Set: 2815.977 Check: 0.0 Back: 340.54
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 14756439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.784 Prop: 16206.342 PropClause: 15821.486 Set: 2826.859 Check: 0.0 Back: 341.946
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 14816022 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.791 Prop: 16267.116 PropClause: 15880.772 Set: 2837.31 Check: 0.0 Back: 343.351
INFO - Atoms: 59583/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 14876271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.798 Prop: 16332.161 PropClause: 15944.183 Set: 2849.218 Check: 0.0 Back: 344.717
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 14936701 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.804 Prop: 16396.62 PropClause: 16007.121 Set: 2879.195 Check: 0.0 Back: 346.123
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 14997154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.812 Prop: 16456.149 PropClause: 16065.135 Set: 2890.075 Check: 0.0 Back: 347.525
INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 15057383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.818 Prop: 16516.867 PropClause: 16124.344 Set: 2900.705 Check: 0.0 Back: 348.927
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 15117811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.825 Prop: 16575.334 PropClause: 16181.284 Set: 2911.505 Check: 0.0 Back: 350.328
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 15177393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.831 Prop: 16634.762 PropClause: 16239.229 Set: 2921.874 Check: 0.0 Back: 351.744
INFO - Atoms: 59582/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 15237642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.837 Prop: 16697.192 PropClause: 16300.057 Set: 2933.69 Check: 0.0 Back: 353.119
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 15298072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.844 Prop: 16755.451 PropClause: 16356.799 Set: 2944.341 Check: 0.0 Back: 354.537
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 15358523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.851 Prop: 16815.325 PropClause: 16415.165 Set: 2954.954 Check: 0.0 Back: 355.942
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 15418752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.857 Prop: 16876.9 PropClause: 16475.238 Set: 2965.534 Check: 0.0 Back: 357.343
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 15479180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.864 Prop: 16935.052 PropClause: 16531.884 Set: 2976.117 Check: 0.0 Back: 358.727
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 15538746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.87 Prop: 16994.755 PropClause: 16590.105 Set: 2986.603 Check: 0.0 Back: 360.107
INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 15598995 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.878 Prop: 17056.746 PropClause: 16650.586 Set: 2997.411 Check: 0.0 Back: 361.466
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 15659425 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.883 Prop: 17114.939 PropClause: 16707.272 Set: 3007.956 Check: 0.0 Back: 362.85
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 15719876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.89 Prop: 17175.699 PropClause: 16766.529 Set: 3018.681 Check: 0.0 Back: 364.232
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 15780105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.896 Prop: 17232.948 PropClause: 16822.274 Set: 3029.36 Check: 0.0 Back: 365.617
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 15840533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.902 Prop: 17289.781 PropClause: 16877.595 Set: 3039.951 Check: 0.0 Back: 367.002
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 15900099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.907 Prop: 17344.576 PropClause: 16930.898 Set: 3050.242 Check: 0.0 Back: 368.397
INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 15960348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.913 Prop: 17402.27 PropClause: 16987.081 Set: 3061.182 Check: 0.0 Back: 369.761
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 16020778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.918 Prop: 17462.276 PropClause: 17045.579 Set: 3071.716 Check: 0.0 Back: 371.155
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 16081231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.924 Prop: 17522.123 PropClause: 17103.908 Set: 3082.414 Check: 0.0 Back: 372.535
INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 16141460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.93 Prop: 17584.361 PropClause: 17164.651 Set: 3092.999 Check: 0.0 Back: 373.922
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 16201888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.934 Prop: 17644.199 PropClause: 17222.986 Set: 3103.651 Check: 0.0 Back: 375.307
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 16261471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.941 Prop: 17704.66 PropClause: 17281.957 Set: 3114.196 Check: 0.0 Back: 376.691
INFO - Atoms: 59583/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 16321719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.947 Prop: 17762.916 PropClause: 17338.715 Set: 3124.841 Check: 0.0 Back: 378.055
INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 16382150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.955 Prop: 17823.047 PropClause: 17397.337 Set: 3158.38 Check: 0.0 Back: 379.433
INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 16442603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.962 Prop: 17884.86 PropClause: 17457.65 Set: 3169.165 Check: 0.0 Back: 380.813
INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 16502832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.969 Prop: 17944.213 PropClause: 17515.506 Set: 3179.647 Check: 0.0 Back: 382.212
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 16563260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.977 Prop: 18003.206 PropClause: 17572.993 Set: 3190.362 Check: 0.0 Back: 383.586
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 16622826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.984 Prop: 18059.901 PropClause: 17628.202 Set: 3200.746 Check: 0.0 Back: 384.993
INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 16683074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.99 Prop: 18117.262 PropClause: 17684.061 Set: 3211.428 Check: 0.0 Back: 386.356
INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 16743505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.997 Prop: 18176.313 PropClause: 17741.617 Set: 3222.186 Check: 0.0 Back: 387.744
INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 16803958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.003 Prop: 18236.286 PropClause: 17800.059 Set: 3232.929 Check: 0.0 Back: 389.131
INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 16864187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.01 Prop: 18296.982 PropClause: 17859.255 Set: 3243.635 Check: 0.0 Back: 390.532
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 16924615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.016 Prop: 18360.05 PropClause: 17920.825 Set: 3254.455 Check: 0.0 Back: 391.914
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 16984198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.024 Prop: 18420.806 PropClause: 17980.096 Set: 3264.983 Check: 0.0 Back: 393.309
INFO - Atoms: 59583/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 17044446 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.029 Prop: 18481.824 PropClause: 18039.614 Set: 3275.694 Check: 0.0 Back: 394.675
INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 17104877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.036 Prop: 18541.303 PropClause: 18097.585 Set: 3286.426 Check: 0.0 Back: 396.062
INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 17165330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.042 Prop: 18600.634 PropClause: 18155.406 Set: 3297.164 Check: 0.0 Back: 397.457
INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 17225559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.048 Prop: 18663.216 PropClause: 18216.448 Set: 3308.174 Check: 0.0 Back: 398.853
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 17285987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.054 Prop: 18725.323 PropClause: 18277.025 Set: 3319.106 Check: 0.0 Back: 400.301
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 17345553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.061 Prop: 18785.442 PropClause: 18335.641 Set: 3329.651 Check: 0.0 Back: 401.691
INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 17405802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.069 Prop: 18842.125 PropClause: 18390.826 Set: 3340.347 Check: 0.0 Back: 403.068
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 17466232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.075 Prop: 18902.079 PropClause: 18449.28 Set: 3350.943 Check: 0.0 Back: 404.47
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 17525799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.081 Prop: 18963.419 PropClause: 18509.129 Set: 3361.476 Check: 0.0 Back: 405.857
INFO - Atoms: 59567/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 17586227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.087 Prop: 19022.659 PropClause: 18566.863 Set: 3372.272 Check: 0.0 Back: 407.223
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 17646478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.094 Prop: 19087.503 PropClause: 18630.209 Set: 3383.206 Check: 0.0 Back: 408.618
INFO - Atoms: 60251/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 17706928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.101 Prop: 19147.65 PropClause: 18688.854 Set: 3394.164 Check: 0.0 Back: 410.024
INFO - Atoms: 60450/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 17767356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.108 Prop: 19208.866 PropClause: 18748.566 Set: 3404.939 Check: 0.0 Back: 411.423
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 17827587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.115 Prop: 19270.414 PropClause: 18808.603 Set: 3415.601 Check: 0.0 Back: 412.818
INFO - Atoms: 60231/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 17887154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.122 Prop: 19331.008 PropClause: 18867.712 Set: 3426.233 Check: 0.0 Back: 414.2
INFO - Atoms: 59567/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 17947582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.129 Prop: 19392.409 PropClause: 18927.617 Set: 3437.137 Check: 0.0 Back: 415.587
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 18007833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.136 Prop: 19456.214 PropClause: 18989.916 Set: 3448.169 Check: 0.0 Back: 417.008
INFO - Atoms: 60251/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 18068283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.144 Prop: 19517.479 PropClause: 19049.672 Set: 3459.049 Check: 0.0 Back: 418.455
INFO - Atoms: 60450/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 18128713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.15 Prop: 19582.218 PropClause: 19112.898 Set: 3470.231 Check: 0.0 Back: 419.86
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 18188944 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.157 Prop: 19643.855 PropClause: 19173.024 Set: 3480.968 Check: 0.0 Back: 421.26
INFO - Atoms: 60231/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 18249395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.164 Prop: 19703.52 PropClause: 19231.173 Set: 3491.894 Check: 0.0 Back: 422.656
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 18309624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.17 Prop: 19765.975 PropClause: 19292.109 Set: 3502.796 Check: 0.0 Back: 424.074
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 18370052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.177 Prop: 19825.973 PropClause: 19350.558 Set: 3533.403 Check: 0.0 Back: 425.48
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 18429618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.184 Prop: 19882.613 PropClause: 19405.715 Set: 3543.707 Check: 0.0 Back: 426.885
INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 18489869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.189 Prop: 19937.905 PropClause: 19459.508 Set: 3554.197 Check: 0.0 Back: 428.256
INFO - Atoms: 60251/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 18550297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.195 Prop: 19995.124 PropClause: 19515.223 Set: 3564.78 Check: 0.0 Back: 429.639
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 18610748 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.201 Prop: 20052.334 PropClause: 19570.941 Set: 3575.425 Check: 0.0 Back: 431.034
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 18670977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.207 Prop: 20106.763 PropClause: 19623.881 Set: 3585.878 Check: 0.0 Back: 432.437
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 18731405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.212 Prop: 20163.701 PropClause: 19679.319 Set: 3596.479 Check: 0.0 Back: 433.808
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 18790988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.218 Prop: 20218.489 PropClause: 19732.628 Set: 3606.797 Check: 0.0 Back: 435.203
INFO - Atoms: 59583/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 18851236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.225 Prop: 20278.374 PropClause: 19791.014 Set: 3617.499 Check: 0.0 Back: 436.565
INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 18911667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.231 Prop: 20334.197 PropClause: 19845.331 Set: 3628.018 Check: 0.0 Back: 437.942
INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 18972120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.238 Prop: 20393.502 PropClause: 19903.125 Set: 3638.837 Check: 0.0 Back: 439.333
INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 19032349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.245 Prop: 20449.513 PropClause: 19957.647 Set: 3649.418 Check: 0.0 Back: 440.728
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 19092777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.251 Prop: 20506.51 PropClause: 20013.138 Set: 3660.11 Check: 0.0 Back: 442.119
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 19152359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.257 Prop: 20561.269 PropClause: 20066.415 Set: 3670.449 Check: 0.0 Back: 443.515
INFO - Atoms: 59582/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 19212607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.264 Prop: 20618.185 PropClause: 20121.827 Set: 3681.069 Check: 0.0 Back: 444.886
INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 19273038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.27 Prop: 20674.134 PropClause: 20176.273 Set: 3691.579 Check: 0.0 Back: 446.267
INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 19333491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.276 Prop: 20729.879 PropClause: 20230.514 Set: 3702.179 Check: 0.0 Back: 447.657
INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 19393720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.282 Prop: 20784.829 PropClause: 20283.969 Set: 3712.589 Check: 0.0 Back: 449.044
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 19454148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.289 Prop: 20841.714 PropClause: 20339.351 Set: 3723.359 Check: 0.0 Back: 450.423
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 19513729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.296 Prop: 20896.581 PropClause: 20392.744 Set: 3733.67 Check: 0.0 Back: 451.806
INFO - Atoms: 59581/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 19573977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.303 Prop: 20952.758 PropClause: 20447.417 Set: 3760.743 Check: 0.0 Back: 453.161
INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 19634408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.31 Prop: 21009.728 PropClause: 20502.871 Set: 3771.371 Check: 0.0 Back: 454.543
INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 19694859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.317 Prop: 21067.129 PropClause: 20558.766 Set: 3782.091 Check: 0.0 Back: 455.92
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 19755088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.323 Prop: 21126.179 PropClause: 20616.319 Set: 3792.673 Check: 0.0 Back: 457.316
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 19815516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.331 Prop: 21186.684 PropClause: 20675.328 Set: 3803.529 Check: 0.0 Back: 458.69
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 19875082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.337 Prop: 21247.693 PropClause: 20734.799 Set: 3814.572 Check: 0.0 Back: 460.165
INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 19935330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.344 Prop: 21307.085 PropClause: 20792.69 Set: 3825.501 Check: 0.0 Back: 461.548
INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 19995761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.352 Prop: 21363.699 PropClause: 20847.795 Set: 3836.229 Check: 0.0 Back: 462.983
INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 20056212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.358 Prop: 21420.261 PropClause: 20902.849 Set: 3847.041 Check: 0.0 Back: 464.381
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 20116441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.364 Prop: 21477.367 PropClause: 20958.441 Set: 3857.821 Check: 0.0 Back: 465.781
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 20176869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.372 Prop: 21537.637 PropClause: 21017.207 Set: 3868.707 Check: 0.0 Back: 467.166
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 20236435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.381 Prop: 21598.879 PropClause: 21076.957 Set: 3879.613 Check: 0.0 Back: 468.564
INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 20296684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.389 Prop: 21660.474 PropClause: 21137.039 Set: 3890.516 Check: 0.0 Back: 469.964
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 20357114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.395 Prop: 21716.986 PropClause: 21192.039 Set: 3901.246 Check: 0.0 Back: 471.344
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 20416681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.402 Prop: 21773.448 PropClause: 21247.015 Set: 3911.724 Check: 0.0 Back: 472.726
INFO - Atoms: 59567/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 20477109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.408 Prop: 21832.461 PropClause: 21304.525 Set: 3922.413 Check: 0.0 Back: 474.096
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 20537360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.415 Prop: 21891.641 PropClause: 21362.206 Set: 3933.121 Check: 0.0 Back: 475.481
INFO - Atoms: 60251/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 20596942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.423 Prop: 21951.286 PropClause: 21420.35 Set: 3943.76 Check: 0.0 Back: 476.893
INFO - Atoms: 59582/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 20657192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.429 Prop: 22013.076 PropClause: 21480.638 Set: 3955.026 Check: 0.0 Back: 478.282
INFO - Atoms: 60250/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 20717621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.436 Prop: 22072.053 PropClause: 21538.106 Set: 3965.969 Check: 0.0 Back: 479.717
INFO - Atoms: 60429/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 20778072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.442 Prop: 22128.423 PropClause: 21592.973 Set: 3976.682 Check: 0.0 Back: 481.116
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 20838301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.449 Prop: 22184.94 PropClause: 21647.983 Set: 3987.523 Check: 0.0 Back: 482.513
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 20898731 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.455 Prop: 22242.137 PropClause: 21703.665 Set: 3998.296 Check: 0.0 Back: 483.899
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 20958297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.464 Prop: 22300.88 PropClause: 21760.911 Set: 4008.955 Check: 0.0 Back: 485.321
INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 21018546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.47 Prop: 22360.01 PropClause: 21818.521 Set: 4019.682 Check: 0.0 Back: 486.726
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 21078976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.476 Prop: 22424.092 PropClause: 21881.099 Set: 4030.713 Check: 0.0 Back: 488.12
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 21139427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.482 Prop: 22486.907 PropClause: 21942.391 Set: 4041.6 Check: 0.0 Back: 489.528
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 21199656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.49 Prop: 22545.494 PropClause: 21999.468 Set: 4052.503 Check: 0.0 Back: 490.924
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 21260084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.497 Prop: 22604.007 PropClause: 22056.463 Set: 4063.495 Check: 0.0 Back: 492.307
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 21319650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.504 Prop: 22662.498 PropClause: 22113.467 Set: 4074.103 Check: 0.0 Back: 493.745
INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 21379899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.51 Prop: 22721.863 PropClause: 22171.318 Set: 4085.068 Check: 0.0 Back: 495.117
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 21440329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.517 Prop: 22779.4 PropClause: 22227.338 Set: 4096.208 Check: 0.0 Back: 496.507
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 21500780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.526 Prop: 22834.947 PropClause: 22281.38 Set: 4106.935 Check: 0.0 Back: 497.937
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 21561009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.534 Prop: 22889.548 PropClause: 22334.479 Set: 4117.61 Check: 0.0 Back: 499.39
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 21621437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.54 Prop: 22948.187 PropClause: 22391.573 Set: 4128.68 Check: 0.0 Back: 500.782
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 21681020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.545 Prop: 23004.361 PropClause: 22446.243 Set: 4139.33 Check: 0.0 Back: 502.181
INFO - Atoms: 59583/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 21741269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.552 Prop: 23066.118 PropClause: 22506.407 Set: 4151.333 Check: 0.0 Back: 503.557
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 21801699 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.56 Prop: 23121.87 PropClause: 22560.665 Set: 4162.02 Check: 0.0 Back: 504.969
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 21862150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.567 Prop: 23180.633 PropClause: 22617.922 Set: 4172.755 Check: 0.0 Back: 506.386
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 21922379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.574 Prop: 23237.687 PropClause: 22673.474 Set: 4183.31 Check: 0.0 Back: 507.788
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 21982807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.581 Prop: 23295.444 PropClause: 22729.721 Set: 4194.101 Check: 0.0 Back: 509.175
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 22042373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.588 Prop: 23351.642 PropClause: 22784.414 Set: 4204.596 Check: 0.0 Back: 510.584
INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 22102622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.594 Prop: 23407.566 PropClause: 22838.837 Set: 4215.38 Check: 0.0 Back: 511.948
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 22163052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.601 Prop: 23466.809 PropClause: 22896.537 Set: 4226.619 Check: 0.0 Back: 513.339
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 22223503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.608 Prop: 23523.054 PropClause: 22951.274 Set: 4237.247 Check: 0.0 Back: 514.749
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 22283732 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.614 Prop: 23578.626 PropClause: 23005.347 Set: 4247.817 Check: 0.0 Back: 516.122
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 22344160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.621 Prop: 23633.99 PropClause: 23059.213 Set: 4258.472 Check: 0.0 Back: 517.504
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 22403743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.629 Prop: 23689.908 PropClause: 23113.647 Set: 4269.105 Check: 0.0 Back: 518.89
INFO - Atoms: 59583/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 22463992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.634 Prop: 23749.0 PropClause: 23171.242 Set: 4279.99 Check: 0.0 Back: 520.291
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 22524422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.641 Prop: 23806.21 PropClause: 23226.943 Set: 4290.827 Check: 0.0 Back: 521.684
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 22584873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.647 Prop: 23865.626 PropClause: 23284.85 Set: 4301.775 Check: 0.0 Back: 523.066
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 22645102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.654 Prop: 23924.086 PropClause: 23341.807 Set: 4312.454 Check: 0.0 Back: 524.475
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 22705530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.662 Prop: 23979.802 PropClause: 23396.021 Set: 4323.119 Check: 0.0 Back: 525.866
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 22765112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.668 Prop: 24037.054 PropClause: 23451.785 Set: 4333.573 Check: 0.0 Back: 527.256
INFO - Atoms: 59582/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 22825361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.675 Prop: 24092.711 PropClause: 23505.931 Set: 4344.297 Check: 0.0 Back: 528.622
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 22885791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.682 Prop: 24148.763 PropClause: 23560.478 Set: 4354.944 Check: 0.0 Back: 530.007
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 22946242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.688 Prop: 24206.956 PropClause: 23617.169 Set: 4365.729 Check: 0.0 Back: 531.405
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 23006471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.695 Prop: 24266.677 PropClause: 23675.392 Set: 4376.656 Check: 0.0 Back: 532.807
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 23066899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.701 Prop: 24329.581 PropClause: 23736.794 Set: 4387.781 Check: 0.0 Back: 534.185
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 23126480 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.706 Prop: 24386.986 PropClause: 23792.715 Set: 4398.355 Check: 0.0 Back: 535.579
INFO - Atoms: 59581/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 23186728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.713 Prop: 24442.174 PropClause: 23846.408 Set: 4409.004 Check: 0.0 Back: 536.948
INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 23247159 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.719 Prop: 24501.295 PropClause: 23904.029 Set: 4420.029 Check: 0.0 Back: 538.339
INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 23307610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.725 Prop: 24559.85 PropClause: 23961.077 Set: 4430.998 Check: 0.0 Back: 539.743
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 23367839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.732 Prop: 24615.45 PropClause: 24015.175 Set: 4441.759 Check: 0.0 Back: 541.137
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 23428267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.739 Prop: 24671.766 PropClause: 24069.981 Set: 4452.539 Check: 0.0 Back: 542.522
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 23487833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.744 Prop: 24731.179 PropClause: 24127.903 Set: 4463.196 Check: 0.0 Back: 543.916
INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 23548082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.751 Prop: 24788.525 PropClause: 24183.75 Set: 4474.015 Check: 0.0 Back: 545.288
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 23608512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.758 Prop: 24846.33 PropClause: 24240.048 Set: 4484.789 Check: 0.0 Back: 546.68
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 23668965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.766 Prop: 24902.205 PropClause: 24294.419 Set: 4495.62 Check: 0.0 Back: 548.08
INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 23729194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.772 Prop: 24959.254 PropClause: 24349.967 Set: 4506.363 Check: 0.0 Back: 549.467
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 23789622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.779 Prop: 25017.32 PropClause: 24406.534 Set: 4517.107 Check: 0.0 Back: 550.851
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 23849205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.786 Prop: 25074.136 PropClause: 24461.869 Set: 4527.753 Check: 0.0 Back: 552.237
INFO - Atoms: 59583/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 23909454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.793 Prop: 25133.216 PropClause: 24519.434 Set: 4538.935 Check: 0.0 Back: 553.6
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 23969884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.8 Prop: 25189.074 PropClause: 24573.787 Set: 4549.568 Check: 0.0 Back: 554.983
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 24030337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.806 Prop: 25247.94 PropClause: 24631.139 Set: 4560.437 Check: 0.0 Back: 556.372
INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 24090566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.813 Prop: 25303.088 PropClause: 24684.782 Set: 4571.153 Check: 0.0 Back: 557.768
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 24150994 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.819 Prop: 25359.378 PropClause: 24739.562 Set: 4581.969 Check: 0.0 Back: 559.158
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 24210576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.828 Prop: 25418.145 PropClause: 24796.848 Set: 4598.107 Check: 0.0 Back: 560.549
INFO - Atoms: 59582/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 24270824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.835 Prop: 25474.483 PropClause: 24851.676 Set: 4608.886 Check: 0.0 Back: 561.935
INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 24331255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.842 Prop: 25531.609 PropClause: 24907.3 Set: 4619.605 Check: 0.0 Back: 563.326
INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 24391706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.85 Prop: 25591.127 PropClause: 24965.302 Set: 4630.864 Check: 0.0 Back: 564.709
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 24451935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.856 Prop: 25649.984 PropClause: 25022.66 Set: 4641.775 Check: 0.0 Back: 566.102
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 24512363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.862 Prop: 25706.602 PropClause: 25077.76 Set: 4652.591 Check: 0.0 Back: 567.496
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 24571929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.869 Prop: 25763.399 PropClause: 25133.078 Set: 4663.093 Check: 0.0 Back: 568.884
INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 24632178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.877 Prop: 25825.922 PropClause: 25194.073 Set: 4674.557 Check: 0.0 Back: 570.239
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 24692608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.885 Prop: 25885.229 PropClause: 25251.869 Set: 4685.765 Check: 0.0 Back: 571.642
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 24753059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.891 Prop: 25944.467 PropClause: 25309.587 Set: 4696.694 Check: 0.0 Back: 573.08
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 24813288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.897 Prop: 26002.399 PropClause: 25366.006 Set: 4707.496 Check: 0.0 Back: 574.479
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 24873716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.904 Prop: 26061.461 PropClause: 25423.56 Set: 4718.482 Check: 0.0 Back: 575.878
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 24933298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.91 Prop: 26122.051 PropClause: 25482.587 Set: 4729.831 Check: 0.0 Back: 577.29
INFO - Atoms: 59582/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 24993547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.917 Prop: 26181.091 PropClause: 25540.118 Set: 4740.848 Check: 0.0 Back: 578.713
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 25053977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.923 Prop: 26244.916 PropClause: 25602.368 Set: 4752.775 Check: 0.0 Back: 580.108
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 25114430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.93 Prop: 26304.482 PropClause: 25660.42 Set: 4763.834 Check: 0.0 Back: 581.589
INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 25174659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.937 Prop: 26362.845 PropClause: 25717.274 Set: 4774.682 Check: 0.0 Back: 583.014
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 25235087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.942 Prop: 26422.935 PropClause: 25775.842 Set: 4785.777 Check: 0.0 Back: 584.41
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 25294668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.949 Prop: 26479.486 PropClause: 25830.899 Set: 4796.453 Check: 0.0 Back: 585.804
INFO - Atoms: 59581/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 25354916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.955 Prop: 26537.521 PropClause: 25887.43 Set: 4807.477 Check: 0.0 Back: 587.172
INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 25415347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.963 Prop: 26594.15 PropClause: 25942.499 Set: 4818.731 Check: 0.0 Back: 588.568
INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 25475798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.981 Prop: 26649.448 PropClause: 25996.281 Set: 4829.591 Check: 0.0 Back: 590.134
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 25536027 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.987 Prop: 26706.279 PropClause: 26051.591 Set: 4840.478 Check: 0.0 Back: 591.542
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 25596455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.994 Prop: 26762.892 PropClause: 26106.699 Set: 4851.366 Check: 0.0 Back: 592.957
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 25656037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.0 Prop: 26816.032 PropClause: 26158.346 Set: 4861.748 Check: 0.0 Back: 594.365
INFO - Atoms: 59582/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 25716285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.007 Prop: 26873.246 PropClause: 26214.049 Set: 4872.987 Check: 0.0 Back: 595.748
INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 25776716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.014 Prop: 26933.535 PropClause: 26272.707 Set: 4884.865 Check: 0.0 Back: 597.2
INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 25837167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.021 Prop: 26992.067 PropClause: 26329.715 Set: 4895.972 Check: 0.0 Back: 598.63
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 25897396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.028 Prop: 27046.683 PropClause: 26382.829 Set: 4906.664 Check: 0.0 Back: 600.04
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 25957824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.034 Prop: 27101.211 PropClause: 26435.854 Set: 4917.524 Check: 0.0 Back: 601.44
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 26017405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.042 Prop: 27157.633 PropClause: 26490.768 Set: 4928.118 Check: 0.0 Back: 602.839
INFO - Atoms: 59581/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 26077654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.05 Prop: 27211.943 PropClause: 26543.571 Set: 4938.837 Check: 0.0 Back: 604.217
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 26138084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.056 Prop: 27266.664 PropClause: 26596.77 Set: 4949.668 Check: 0.0 Back: 605.612
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 26197651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.063 Prop: 27322.149 PropClause: 26650.763 Set: 4960.325 Check: 0.0 Back: 607.032
INFO - Atoms: 59567/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 26258079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.069 Prop: 27379.25 PropClause: 26706.352 Set: 4971.234 Check: 0.0 Back: 608.405
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 26318330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.075 Prop: 27434.967 PropClause: 26760.562 Set: 4982.046 Check: 0.0 Back: 609.815
INFO - Atoms: 60251/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 26378795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.081 Prop: 27490.77 PropClause: 26814.846 Set: 4992.831 Check: 0.0 Back: 611.206
INFO - Atoms: 60465/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 26439223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.088 Prop: 27546.477 PropClause: 26869.041 Set: 5003.688 Check: 0.0 Back: 612.597
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 26499454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.094 Prop: 27601.328 PropClause: 26922.369 Set: 5014.31 Check: 0.0 Back: 613.992
INFO - Atoms: 60231/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 26559021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.102 Prop: 27657.005 PropClause: 26976.56 Set: 5025.02 Check: 0.0 Back: 615.386
INFO - Atoms: 59567/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 26619449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.108 Prop: 27713.086 PropClause: 27031.114 Set: 5035.989 Check: 0.0 Back: 616.767
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 26679700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.115 Prop: 27771.391 PropClause: 27087.895 Set: 5046.787 Check: 0.0 Back: 618.177
INFO - Atoms: 60251/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 26740150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.122 Prop: 27827.287 PropClause: 27142.288 Set: 5057.553 Check: 0.0 Back: 619.596
INFO - Atoms: 60450/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 26800580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.128 Prop: 27884.38 PropClause: 27197.852 Set: 5068.394 Check: 0.0 Back: 620.986
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 26860811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.135 Prop: 27940.357 PropClause: 27252.316 Set: 5079.184 Check: 0.0 Back: 622.396
INFO - Atoms: 60231/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 26921262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.142 Prop: 27998.153 PropClause: 27308.595 Set: 5090.104 Check: 0.0 Back: 623.785
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 26981491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.149 Prop: 28056.217 PropClause: 27365.146 Set: 5100.987 Check: 0.0 Back: 625.182
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 27041919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.156 Prop: 28116.989 PropClause: 27424.407 Set: 5112.01 Check: 0.0 Back: 626.561
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 27101501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.161 Prop: 28176.461 PropClause: 27482.387 Set: 5122.728 Check: 0.0 Back: 627.957
INFO - Atoms: 59582/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 27161752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.166 Prop: 28235.931 PropClause: 27540.348 Set: 5133.694 Check: 0.0 Back: 629.34
INFO - Atoms: 60251/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 27222180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.172 Prop: 28291.676 PropClause: 27594.591 Set: 5144.499 Check: 0.0 Back: 630.737
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 27282631 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.178 Prop: 28347.648 PropClause: 27649.058 Set: 5155.375 Check: 0.0 Back: 632.109
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 27342860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.184 Prop: 28404.393 PropClause: 27704.303 Set: 5166.191 Check: 0.0 Back: 633.497
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 27403288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.19 Prop: 28461.101 PropClause: 27759.509 Set: 5177.169 Check: 0.0 Back: 634.879
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 27462854 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.196 Prop: 28519.232 PropClause: 27816.137 Set: 5205.318 Check: 0.0 Back: 636.278
INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 27523103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.201 Prop: 28576.599 PropClause: 27871.997 Set: 5216.136 Check: 0.0 Back: 637.643
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 27583533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.209 Prop: 28634.79 PropClause: 27928.675 Set: 5226.978 Check: 0.0 Back: 639.024
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 27643984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.215 Prop: 28692.074 PropClause: 27984.459 Set: 5237.925 Check: 0.0 Back: 640.406
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 27704213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.221 Prop: 28749.024 PropClause: 28039.908 Set: 5248.807 Check: 0.0 Back: 641.799
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 27764641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.228 Prop: 28804.629 PropClause: 28093.997 Set: 5259.78 Check: 0.0 Back: 643.211
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 27824223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.236 Prop: 28860.721 PropClause: 28148.599 Set: 5270.55 Check: 0.0 Back: 644.61
INFO - Atoms: 59582/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 27884472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.242 Prop: 28919.62 PropClause: 28206.002 Set: 5281.673 Check: 0.0 Back: 645.973
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 27944902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.248 Prop: 28977.567 PropClause: 28262.444 Set: 5292.69 Check: 0.0 Back: 647.371
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 28005355 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.253 Prop: 29034.822 PropClause: 28318.194 Set: 5303.477 Check: 0.0 Back: 648.761
INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 28065584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.26 Prop: 29096.567 PropClause: 28378.434 Set: 5314.717 Check: 0.0 Back: 650.147
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 28126012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.265 Prop: 29152.462 PropClause: 28432.822 Set: 5325.659 Check: 0.0 Back: 651.567
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 28185578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.271 Prop: 29208.03 PropClause: 28486.904 Set: 5336.241 Check: 0.0 Back: 652.953
INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 28245827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.277 Prop: 29265.639 PropClause: 28543.006 Set: 5347.148 Check: 0.0 Back: 654.318
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 28306257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.283 Prop: 29324.006 PropClause: 28599.854 Set: 5358.181 Check: 0.0 Back: 655.706
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 28366710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.288 Prop: 29384.072 PropClause: 28658.413 Set: 5369.292 Check: 0.0 Back: 657.091
INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 28426939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.295 Prop: 29440.572 PropClause: 28713.396 Set: 5380.058 Check: 0.0 Back: 658.503
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 28487367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.301 Prop: 29497.44 PropClause: 28768.748 Set: 5410.03 Check: 0.0 Back: 659.891
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 28546950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.306 Prop: 29553.478 PropClause: 28823.287 Set: 5420.586 Check: 0.0 Back: 661.286
INFO - Atoms: 59583/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 28607198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.312 Prop: 29607.996 PropClause: 28876.299 Set: 5431.447 Check: 0.0 Back: 662.655
INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 28667629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.318 Prop: 29664.534 PropClause: 28931.327 Set: 5442.459 Check: 0.0 Back: 664.047
INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 28728080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.324 Prop: 29722.793 PropClause: 28988.066 Set: 5453.367 Check: 0.0 Back: 665.438
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 28788309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.33 Prop: 29780.103 PropClause: 29043.869 Set: 5464.243 Check: 0.0 Back: 666.833
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 449 Props: 28848737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.336 Prop: 29839.53 PropClause: 29101.796 Set: 5475.58 Check: 0.0 Back: 668.217
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 28908319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.344 Prop: 29899.618 PropClause: 29160.394 Set: 5486.41 Check: 0.0 Back: 669.602
INFO - Atoms: 59582/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 451 Props: 28968567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.349 Prop: 29954.741 PropClause: 29214.018 Set: 5497.191 Check: 0.0 Back: 670.971
INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 29028998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.355 Prop: 30013.636 PropClause: 29271.393 Set: 5508.169 Check: 0.0 Back: 672.353
INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 453 Props: 29089451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.361 Prop: 30070.362 PropClause: 29326.627 Set: 5518.994 Check: 0.0 Back: 673.718
INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 454 Props: 29149680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.368 Prop: 30123.93 PropClause: 29378.702 Set: 5529.527 Check: 0.0 Back: 675.115
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 455 Props: 29210108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.373 Prop: 30183.169 PropClause: 29436.448 Set: 5540.593 Check: 0.0 Back: 676.485
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 456 Props: 29269674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.38 Prop: 30238.929 PropClause: 29490.736 Set: 5551.184 Check: 0.0 Back: 677.872
INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 457 Props: 29329922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.385 Prop: 30296.979 PropClause: 29547.271 Set: 5561.987 Check: 0.0 Back: 679.23
INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 458 Props: 29390353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.39 Prop: 30350.371 PropClause: 29599.167 Set: 5572.595 Check: 0.0 Back: 680.607
INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 459 Props: 29450806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.397 Prop: 30407.789 PropClause: 29655.067 Set: 5583.45 Check: 0.0 Back: 681.986
INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 29511035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.405 Prop: 30462.578 PropClause: 29708.36 Set: 5615.748 Check: 0.0 Back: 683.406
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 461 Props: 29571463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.411 Prop: 30518.115 PropClause: 29762.4 Set: 5626.527 Check: 0.0 Back: 684.805
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 29631046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.416 Prop: 30570.719 PropClause: 29813.524 Set: 5637.047 Check: 0.0 Back: 686.194
INFO - Atoms: 59583/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 463 Props: 29691294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.421 Prop: 30624.855 PropClause: 29866.164 Set: 5647.885 Check: 0.0 Back: 687.558
INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 464 Props: 29751725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.427 Prop: 30680.12 PropClause: 29919.925 Set: 5658.565 Check: 0.0 Back: 688.972
INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 465 Props: 29812176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.434 Prop: 30736.27 PropClause: 29974.57 Set: 5669.579 Check: 0.0 Back: 690.348
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 466 Props: 29872405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.441 Prop: 30793.319 PropClause: 30030.122 Set: 5680.342 Check: 0.0 Back: 691.746
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 29932833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.457 Prop: 30849.688 PropClause: 30084.99 Set: 5691.197 Check: 0.0 Back: 693.12
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 468 Props: 29992399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.461 Prop: 30905.535 PropClause: 30139.362 Set: 5701.628 Check: 0.0 Back: 694.508
INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 469 Props: 30052648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.467 Prop: 30960.164 PropClause: 30192.501 Set: 5712.424 Check: 0.0 Back: 695.862
INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 470 Props: 30113078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.474 Prop: 31017.128 PropClause: 30247.985 Set: 5723.299 Check: 0.0 Back: 697.25
INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 471 Props: 30173529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.479 Prop: 31074.276 PropClause: 30303.622 Set: 5734.175 Check: 0.0 Back: 698.633
INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 472 Props: 30233758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.485 Prop: 31128.579 PropClause: 30356.411 Set: 5744.94 Check: 0.0 Back: 700.014
INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 473 Props: 30294186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.491 Prop: 31185.004 PropClause: 30411.334 Set: 5755.945 Check: 0.0 Back: 701.402
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 474 Props: 30353752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.498 Prop: 31241.455 PropClause: 30466.307 Set: 5766.5 Check: 0.0 Back: 702.83
INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 475 Props: 30414000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.504 Prop: 31299.792 PropClause: 30523.146 Set: 5777.452 Check: 0.0 Back: 704.216
INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 476 Props: 30474431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.509 Prop: 31355.844 PropClause: 30577.694 Set: 5788.475 Check: 0.0 Back: 705.608
INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 477 Props: 30533998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.515 Prop: 31411.121 PropClause: 30631.478 Set: 5799.343 Check: 0.0 Back: 706.987
INFO - Atoms: 59567/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 478 Props: 30594426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.521 Prop: 31467.298 PropClause: 30686.154 Set: 5810.307 Check: 0.0 Back: 708.365
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 479 Props: 30654677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.528 Prop: 31523.918 PropClause: 30741.274 Set: 5821.14 Check: 0.0 Back: 709.773
INFO - Atoms: 60251/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 480 Props: 30715127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.534 Prop: 31579.905 PropClause: 30795.746 Set: 5832.028 Check: 0.0 Back: 711.154
INFO - Atoms: 60450/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 481 Props: 30775554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.54 Prop: 31638.818 PropClause: 30853.154 Set: 5843.206 Check: 0.0 Back: 712.541
INFO - Atoms: 60427/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 482 Props: 30835785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.546 Prop: 31697.648 PropClause: 30910.474 Set: 5854.305 Check: 0.0 Back: 713.929
INFO - Atoms: 60231/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 483 Props: 30895352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.552 Prop: 31756.204 PropClause: 30967.55 Set: 5865.171 Check: 0.0 Back: 715.306
INFO - Atoms: 59567/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 484 Props: 30955780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.558 Prop: 31812.123 PropClause: 31021.957 Set: 5876.272 Check: 0.0 Back: 716.675
INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 485 Props: 31016031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.564 Prop: 31870.241 PropClause: 31078.577 Set: 5887.131 Check: 0.0 Back: 718.085
INFO - Atoms: 60251/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 486 Props: 31076481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.57 Prop: 31927.518 PropClause: 31134.358 Set: 5898.18 Check: 0.0 Back: 719.491
INFO - Atoms: 60450/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 487 Props: 31136815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.577 Prop: 31987.35 PropClause: 31192.684 Set: 5909.197 Check: 0.0 Back: 720.878
INFO - Atoms: 60334/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 488 Props: 31197045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.583 Prop: 32044.365 PropClause: 31248.197 Set: 5920.134 Check: 0.0 Back: 722.266
INFO - Atoms: 60230/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 489 Props: 31257392 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.589 Prop: 32103.568 PropClause: 31305.899 Set: 5931.193 Check: 0.0 Back: 723.649
INFO - Atoms: 60347/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 490 Props: 31317516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.596 Prop: 32161.431 PropClause: 31362.256 Set: 5942.191 Check: 0.0 Back: 725.044
INFO - Atoms: 60124/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 491 Props: 31377744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.602 Prop: 32219.956 PropClause: 31419.277 Set: 5953.112 Check: 0.0 Back: 726.431
INFO - Atoms: 60228/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 492 Props: 31437327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.608 Prop: 32276.969 PropClause: 31474.8 Set: 5963.991 Check: 0.0 Back: 727.842
INFO - Atoms: 59583/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 493 Props: 31497345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.615 Prop: 32335.878 PropClause: 31532.208 Set: 5975.086 Check: 0.0 Back: 729.207
INFO - Atoms: 60018/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 494 Props: 31557364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.622 Prop: 32392.977 PropClause: 31587.808 Set: 5985.806 Check: 0.0 Back: 730.594
INFO - Atoms: 60019/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 495 Props: 31617385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.629 Prop: 32451.359 PropClause: 31644.689 Set: 5996.71 Check: 0.0 Back: 731.984
INFO - Atoms: 60021/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 496 Props: 31677180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.637 Prop: 32512.471 PropClause: 31704.296 Set: 6008.885 Check: 0.0 Back: 733.367
INFO - Atoms: 59795/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 497 Props: 31736975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.772 Prop: 32571.255 PropClause: 31761.582 Set: 6019.628 Check: 0.0 Back: 734.771
INFO - Atoms: 59795/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 498 Props: 31796522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.779 Prop: 32627.657 PropClause: 31816.501 Set: 6030.359 Check: 0.0 Back: 736.142
INFO - Atoms: 59547/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 499 Props: 31855405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.785 Prop: 32687.525 PropClause: 31874.908 Set: 6041.148 Check: 0.0 Back: 737.509
INFO - Atoms: 58883/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 500 Props: 31914954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.791 Prop: 32743.851 PropClause: 31929.742 Set: 6052.029 Check: 0.0 Back: 738.871
INFO - Atoms: 59549/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 75467 Tprops: 19390 Decides: 85080 RSplits: 0
INFO - Times: Expl: 408.678 Prop: 82406.821 PropClause: 34.819 Set: 15627.967 Check: 771.539 Back: 419.109
INFO - Atoms: 4/1158 Clauses: 500 Axioms: 1158
INFO - CCTimes: iE 917944 eq 44270000 cc 179232702 setRep 109949076
INFO - Merges: 659361, cc:1243210
INFO - BVTimes: BB 392298725 BB_DPLL 73710104153 Graph 398744955
INFO - BitBlastingClauses: 675970 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 501 Props: 31974721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.799 Prop: 32802.051 PropClause: 31986.453 Set: 6062.491 Check: 0.0 Back: 740.257
INFO - Atoms: 59767/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 502 Props: 32033506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.028 Prop: 32867.505 PropClause: 32050.197 Set: 6091.504 Check: 0.0 Back: 741.645
INFO - Atoms: 58785/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 503 Props: 32092291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.198 Prop: 32923.98 PropClause: 32105.208 Set: 6101.919 Check: 0.0 Back: 743.147
INFO - Atoms: 58785/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 504 Props: 32151838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.256 Prop: 32980.049 PropClause: 32159.78 Set: 6112.522 Check: 0.0 Back: 744.559
INFO - Atoms: 59547/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 505 Props: 32211585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.396 Prop: 33037.201 PropClause: 32215.434 Set: 6123.055 Check: 0.0 Back: 745.943
INFO - Atoms: 59747/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 506 Props: 32271371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.406 Prop: 33095.221 PropClause: 32271.957 Set: 6133.436 Check: 0.0 Back: 747.319
INFO - Atoms: 59786/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 507 Props: 32330489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.417 Prop: 33152.07 PropClause: 32327.322 Set: 6161.353 Check: 0.0 Back: 748.709
INFO - Atoms: 59118/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 508 Props: 32389378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.428 Prop: 33208.127 PropClause: 32381.906 Set: 6171.545 Check: 0.0 Back: 750.083
INFO - Atoms: 58889/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 509 Props: 32448474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.439 Prop: 33267.35 PropClause: 32439.642 Set: 6181.761 Check: 0.0 Back: 751.428
INFO - Atoms: 59096/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 510 Props: 32507797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.451 Prop: 33326.035 PropClause: 32496.851 Set: 6191.749 Check: 0.0 Back: 752.792
INFO - Atoms: 59323/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 511 Props: 32538648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.464 Prop: 33363.582 PropClause: 32533.494 Set: 6198.002 Check: 0.0 Back: 754.161
INFO - Atoms: 30851/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 512 Props: 32569705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.475 Prop: 33378.345 PropClause: 32547.48 Set: 6202.641 Check: 0.0 Back: 754.977
INFO - Atoms: 31057/87712 Clauses: 773 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1012 Props: 34913034 Tprops: 0 Decides: 6698 RSplits: 0
INFO - Times: Expl: 1930.97 Prop: 35380.412 PropClause: 34485.227 Set: 6263.664 Check: 0.17 Back: 811.721
INFO - Atoms: 29047/87712 Clauses: 1272 Axioms: 289970
INFO - Restart
INFO - Confl: 1512 Props: 37247548 Tprops: 0 Decides: 12563 RSplits: 0
INFO - Times: Expl: 3112.041 Prop: 37342.567 PropClause: 36384.864 Set: 6320.725 Check: 0.317 Back: 867.677
INFO - Atoms: 29052/87712 Clauses: 1772 Axioms: 289970
INFO - Confl: 1995 Props: 39070898 Tprops: 0 Decides: 16285 RSplits: 0
INFO - Times: Expl: 3987.435 Prop: 38772.749 PropClause: 37766.453 Set: 6365.351 Check: 0.416 Back: 911.146
INFO - Atoms: 29925/87712 Clauses: 2255 Axioms: 289970
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 573 Props: 82971 Tprops: 20054 Decides: 85734 RSplits: 0
INFO - Times: Expl: 432.608 Prop: 94147.64 PropClause: 39.045 Set: 16650.761 Check: 789.962 Back: 436.07
INFO - Atoms: 1158/1158 Clauses: 573 Axioms: 1158
INFO - CCTimes: iE 948416 eq 51528833 cc 186275566 setRep 112042801
INFO - Merges: 671117, cc:1307208
INFO - BVTimes: BB 392298725 BB_DPLL 85178341763 Graph 413176526
INFO - BitBlastingClauses: 686006 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat