/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_095_128.smt2


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 238958533
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 75326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.562 Prop: 109.242 PropClause: 105.53 Set: 39.73 Check: 0.0 Back: 0.0
INFO - Atoms: 75326/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 150652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.604 Prop: 197.654 PropClause: 191.47 Set: 54.03 Check: 0.0 Back: 1.753
INFO - Atoms: 75326/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 225978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.664 Prop: 286.63 PropClause: 278.465 Set: 75.931 Check: 0.0 Back: 3.494
INFO - Atoms: 75326/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 300924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.738 Prop: 374.284 PropClause: 364.242 Set: 89.93 Check: 0.0 Back: 5.22
INFO - Atoms: 74946/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 375870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.784 Prop: 459.1 PropClause: 447.193 Set: 103.971 Check: 0.0 Back: 6.935
INFO - Atoms: 74946/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 450816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.094 Prop: 549.585 PropClause: 535.819 Set: 118.069 Check: 0.0 Back: 8.667
INFO - Atoms: 74946/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 525757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.165 Prop: 633.481 PropClause: 617.867 Set: 132.523 Check: 0.0 Back: 10.402
INFO - Atoms: 74941/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 600523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.215 Prop: 723.214 PropClause: 705.736 Set: 154.615 Check: 0.0 Back: 12.136
INFO - Atoms: 74766/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 675079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.263 Prop: 815.249 PropClause: 795.908 Set: 168.973 Check: 0.0 Back: 13.855
INFO - Atoms: 74556/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 749439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.329 Prop: 904.793 PropClause: 883.613 Set: 182.992 Check: 0.0 Back: 15.623
INFO - Atoms: 74360/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 823605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.376 Prop: 993.918 PropClause: 970.898 Set: 197.102 Check: 0.0 Back: 17.331
INFO - Atoms: 74166/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 897593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.425 Prop: 1088.985 PropClause: 1064.111 Set: 211.244 Check: 0.0 Back: 19.069
INFO - Atoms: 73988/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 971369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.473 Prop: 1178.527 PropClause: 1151.829 Set: 225.297 Check: 0.0 Back: 20.776
INFO - Atoms: 73776/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 1044966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.513 Prop: 1267.137 PropClause: 1238.613 Set: 239.009 Check: 0.0 Back: 22.492
INFO - Atoms: 73597/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 1118352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.563 Prop: 1352.561 PropClause: 1322.172 Set: 257.702 Check: 0.0 Back: 24.186
INFO - Atoms: 73386/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 1191542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.608 Prop: 1437.96 PropClause: 1405.758 Set: 278.043 Check: 0.0 Back: 25.895
INFO - Atoms: 73190/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 1264538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.655 Prop: 1523.955 PropClause: 1489.943 Set: 298.267 Check: 0.0 Back: 27.577
INFO - Atoms: 72996/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 1337338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.733 Prop: 1608.802 PropClause: 1572.998 Set: 311.841 Check: 0.0 Back: 29.287
INFO - Atoms: 72800/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1409944 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.777 Prop: 1702.167 PropClause: 1664.571 Set: 325.417 Check: 0.0 Back: 30.966
INFO - Atoms: 72606/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 1482372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.827 Prop: 1786.817 PropClause: 1747.418 Set: 338.999 Check: 0.0 Back: 32.657
INFO - Atoms: 72428/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 1554588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.868 Prop: 1869.138 PropClause: 1827.959 Set: 352.467 Check: 0.0 Back: 34.314
INFO - Atoms: 72216/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 1626625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.909 Prop: 1950.899 PropClause: 1907.927 Set: 365.929 Check: 0.0 Back: 35.984
INFO - Atoms: 72037/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 1698451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.949 Prop: 2034.757 PropClause: 1990.011 Set: 379.491 Check: 0.0 Back: 37.656
INFO - Atoms: 71826/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 1770099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.993 Prop: 2124.012 PropClause: 2077.493 Set: 392.987 Check: 0.0 Back: 39.315
INFO - Atoms: 71648/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 1841535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.037 Prop: 2208.588 PropClause: 2160.3 Set: 406.431 Check: 0.0 Back: 40.957
INFO - Atoms: 71436/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 1912775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.08 Prop: 2294.162 PropClause: 2244.116 Set: 419.813 Check: 0.0 Back: 42.607
INFO - Atoms: 71240/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 1983821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.122 Prop: 2376.633 PropClause: 2324.831 Set: 433.008 Check: 0.0 Back: 44.259
INFO - Atoms: 71046/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 2054690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.177 Prop: 2463.338 PropClause: 2409.78 Set: 446.367 Check: 0.0 Back: 45.943
INFO - Atoms: 70869/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 2125346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.221 Prop: 2550.92 PropClause: 2495.613 Set: 459.678 Check: 0.0 Back: 47.572
INFO - Atoms: 70656/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 2195806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.26 Prop: 2639.952 PropClause: 2582.923 Set: 472.774 Check: 0.0 Back: 49.211
INFO - Atoms: 70460/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 2266072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.302 Prop: 2725.813 PropClause: 2667.037 Set: 491.491 Check: 0.0 Back: 50.833
INFO - Atoms: 70266/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 2336161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.351 Prop: 2809.62 PropClause: 2749.11 Set: 510.22 Check: 0.0 Back: 52.447
INFO - Atoms: 70089/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 2406037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.4 Prop: 2890.935 PropClause: 2828.694 Set: 523.217 Check: 0.0 Back: 54.045
INFO - Atoms: 69876/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 2475717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.448 Prop: 2974.991 PropClause: 2911.008 Set: 536.456 Check: 0.0 Back: 55.666
INFO - Atoms: 69680/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 2545203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.496 Prop: 3055.143 PropClause: 2989.432 Set: 549.544 Check: 0.0 Back: 57.29
INFO - Atoms: 69486/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 2614493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.534 Prop: 3133.401 PropClause: 3065.983 Set: 562.284 Check: 0.0 Back: 58.917
INFO - Atoms: 69290/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 2683589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.575 Prop: 3213.34 PropClause: 3144.212 Set: 575.169 Check: 0.0 Back: 60.507
INFO - Atoms: 69096/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 2752508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.613 Prop: 3292.419 PropClause: 3221.586 Set: 588.031 Check: 0.0 Back: 62.108
INFO - Atoms: 68919/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 2821214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.651 Prop: 3366.373 PropClause: 3293.847 Set: 600.75 Check: 0.0 Back: 63.69
INFO - Atoms: 68706/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 2889724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.691 Prop: 3440.365 PropClause: 3366.155 Set: 613.22 Check: 0.0 Back: 65.265
INFO - Atoms: 68510/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 2958040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.738 Prop: 3515.457 PropClause: 3439.558 Set: 625.652 Check: 0.0 Back: 66.831
INFO - Atoms: 68316/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 3026178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.785 Prop: 3593.564 PropClause: 3515.979 Set: 638.151 Check: 0.0 Back: 68.406
INFO - Atoms: 68138/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 3094104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.826 Prop: 3669.613 PropClause: 3590.338 Set: 650.606 Check: 0.0 Back: 69.968
INFO - Atoms: 67926/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 3161834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.864 Prop: 3746.222 PropClause: 3665.277 Set: 662.989 Check: 0.0 Back: 71.53
INFO - Atoms: 67730/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 3229370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.907 Prop: 3825.178 PropClause: 3742.566 Set: 675.551 Check: 0.0 Back: 73.08
INFO - Atoms: 67536/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 3296710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.948 Prop: 3905.478 PropClause: 3821.197 Set: 687.935 Check: 0.0 Back: 74.662
INFO - Atoms: 67340/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 3363856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.985 Prop: 3979.607 PropClause: 3893.661 Set: 700.159 Check: 0.0 Back: 76.218
INFO - Atoms: 67146/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 3430806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.034 Prop: 4054.044 PropClause: 3966.434 Set: 712.477 Check: 0.0 Back: 77.766
INFO - Atoms: 66950/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 3497562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.073 Prop: 4128.243 PropClause: 4038.982 Set: 724.714 Check: 0.0 Back: 79.299
INFO - Atoms: 66756/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 3564140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.121 Prop: 4204.235 PropClause: 4113.336 Set: 736.821 Check: 0.0 Back: 80.828
INFO - Atoms: 66578/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 3630506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.16 Prop: 4282.601 PropClause: 4190.075 Set: 749.151 Check: 0.0 Back: 82.353
INFO - Atoms: 66366/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 3696693 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.293 Prop: 4356.471 PropClause: 4262.317 Set: 761.229 Check: 0.0 Back: 83.875
INFO - Atoms: 66187/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 3762669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.314 Prop: 4432.989 PropClause: 4337.191 Set: 773.288 Check: 0.0 Back: 85.392
INFO - Atoms: 65976/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 3828449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.334 Prop: 4506.431 PropClause: 4409.013 Set: 785.166 Check: 0.0 Back: 86.919
INFO - Atoms: 65780/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 3894035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.353 Prop: 4577.873 PropClause: 4478.816 Set: 797.164 Check: 0.0 Back: 88.427
INFO - Atoms: 65586/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 3959444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.372 Prop: 4651.921 PropClause: 4551.253 Set: 809.008 Check: 0.0 Back: 89.938
INFO - Atoms: 65409/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 4024640 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.404 Prop: 4725.062 PropClause: 4622.767 Set: 821.129 Check: 0.0 Back: 91.442
INFO - Atoms: 65196/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 4089640 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.421 Prop: 4798.885 PropClause: 4694.97 Set: 832.964 Check: 0.0 Back: 92.969
INFO - Atoms: 65000/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 4154446 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.44 Prop: 4869.765 PropClause: 4764.25 Set: 844.789 Check: 0.0 Back: 94.457
INFO - Atoms: 64806/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 4219074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.456 Prop: 4941.422 PropClause: 4834.312 Set: 856.558 Check: 0.0 Back: 95.963
INFO - Atoms: 64628/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 4283490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.474 Prop: 5011.675 PropClause: 4902.978 Set: 868.244 Check: 0.0 Back: 97.434
INFO - Atoms: 64416/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 4347710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.494 Prop: 5084.259 PropClause: 4973.975 Set: 879.931 Check: 0.0 Back: 98.928
INFO - Atoms: 64220/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 4411736 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.512 Prop: 5162.265 PropClause: 5050.395 Set: 891.9 Check: 0.0 Back: 100.408
INFO - Atoms: 64026/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 4475566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.594 Prop: 5235.306 PropClause: 5121.861 Set: 903.553 Check: 0.0 Back: 101.884
INFO - Atoms: 63830/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 4539202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.612 Prop: 5307.856 PropClause: 5192.835 Set: 915.276 Check: 0.0 Back: 103.35
INFO - Atoms: 63636/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 4602642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.629 Prop: 5379.124 PropClause: 5262.531 Set: 926.843 Check: 0.0 Back: 104.82
INFO - Atoms: 63440/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 4665888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.648 Prop: 5448.529 PropClause: 5330.363 Set: 938.412 Check: 0.0 Back: 106.275
INFO - Atoms: 63246/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 4728956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.665 Prop: 5519.402 PropClause: 5399.677 Set: 949.942 Check: 0.0 Back: 107.737
INFO - Atoms: 63068/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 4791812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.686 Prop: 5591.36 PropClause: 5470.069 Set: 961.478 Check: 0.0 Back: 109.191
INFO - Atoms: 62856/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 4854489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.703 Prop: 5665.689 PropClause: 5542.849 Set: 973.003 Check: 0.0 Back: 110.641
INFO - Atoms: 62677/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 4916955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.728 Prop: 5737.843 PropClause: 5613.454 Set: 984.536 Check: 0.0 Back: 112.083
INFO - Atoms: 62466/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 4979225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.75 Prop: 5814.706 PropClause: 5688.784 Set: 995.918 Check: 0.0 Back: 113.541
INFO - Atoms: 62270/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 5041301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.768 Prop: 5884.847 PropClause: 5757.401 Set: 1007.158 Check: 0.0 Back: 114.977
INFO - Atoms: 62076/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 5103181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.784 Prop: 5953.209 PropClause: 5824.237 Set: 1018.387 Check: 0.0 Back: 116.415
INFO - Atoms: 61880/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 5164867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.801 Prop: 6023.07 PropClause: 5892.586 Set: 1029.533 Check: 0.0 Back: 117.832
INFO - Atoms: 61686/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 5226375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.817 Prop: 6091.039 PropClause: 5959.044 Set: 1040.65 Check: 0.0 Back: 119.252
INFO - Atoms: 61508/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 5287671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.834 Prop: 6155.391 PropClause: 6021.879 Set: 1051.657 Check: 0.0 Back: 120.659
INFO - Atoms: 61296/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 5348771 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.852 Prop: 6222.308 PropClause: 6087.283 Set: 1062.734 Check: 0.0 Back: 122.075
INFO - Atoms: 61100/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 5409677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.871 Prop: 6286.033 PropClause: 6149.507 Set: 1073.536 Check: 0.0 Back: 123.471
INFO - Atoms: 60906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 5470387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.889 Prop: 6348.051 PropClause: 6210.033 Set: 1084.375 Check: 0.0 Back: 124.868
INFO - Atoms: 60710/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 5530903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.907 Prop: 6409.172 PropClause: 6269.657 Set: 1095.118 Check: 0.0 Back: 126.249
INFO - Atoms: 60516/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 5591242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.923 Prop: 6472.668 PropClause: 6331.671 Set: 1105.897 Check: 0.0 Back: 127.657
INFO - Atoms: 60339/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 5651368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.94 Prop: 6535.488 PropClause: 6393.017 Set: 1116.633 Check: 0.0 Back: 129.044
INFO - Atoms: 60126/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 5711298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.964 Prop: 6595.759 PropClause: 6451.808 Set: 1127.228 Check: 0.0 Back: 130.427
INFO - Atoms: 59930/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 5771034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.981 Prop: 6657.619 PropClause: 6512.182 Set: 1137.955 Check: 0.0 Back: 131.798
INFO - Atoms: 59736/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 5830574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.996 Prop: 6719.034 PropClause: 6572.13 Set: 1148.55 Check: 0.0 Back: 133.183
INFO - Atoms: 59540/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 5889920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.013 Prop: 6783.833 PropClause: 6635.462 Set: 1159.229 Check: 0.0 Back: 134.547
INFO - Atoms: 59346/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 5949088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.028 Prop: 6845.651 PropClause: 6695.817 Set: 1169.839 Check: 0.0 Back: 135.933
INFO - Atoms: 59168/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 6008044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.045 Prop: 6906.631 PropClause: 6755.34 Set: 1196.181 Check: 0.0 Back: 137.294
INFO - Atoms: 58956/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 6066822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.061 Prop: 6968.011 PropClause: 6815.266 Set: 1206.672 Check: 0.0 Back: 138.659
INFO - Atoms: 58778/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 6125388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.077 Prop: 7028.24 PropClause: 6874.045 Set: 1217.234 Check: 0.0 Back: 140.01
INFO - Atoms: 58566/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 6183775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.093 Prop: 7089.422 PropClause: 6933.785 Set: 1227.627 Check: 0.0 Back: 141.373
INFO - Atoms: 58387/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 6241951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.108 Prop: 7148.0 PropClause: 6990.922 Set: 1238.024 Check: 0.0 Back: 142.714
INFO - Atoms: 58176/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 6299931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.157 Prop: 7208.162 PropClause: 7049.655 Set: 1248.333 Check: 0.0 Back: 144.055
INFO - Atoms: 57980/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 6357717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.211 Prop: 7266.739 PropClause: 7106.801 Set: 1258.636 Check: 0.0 Back: 145.383
INFO - Atoms: 57786/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 6415325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.224 Prop: 7326.556 PropClause: 7165.189 Set: 1268.893 Check: 0.0 Back: 146.717
INFO - Atoms: 57608/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 6472721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.238 Prop: 7389.026 PropClause: 7226.244 Set: 1279.125 Check: 0.0 Back: 148.041
INFO - Atoms: 57396/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 6529938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.249 Prop: 7448.319 PropClause: 7284.133 Set: 1289.239 Check: 0.0 Back: 149.383
INFO - Atoms: 57217/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 6586944 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.259 Prop: 7504.889 PropClause: 7339.302 Set: 1299.32 Check: 0.0 Back: 150.687
INFO - Atoms: 57006/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 6643754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.272 Prop: 7564.1 PropClause: 7397.109 Set: 1309.445 Check: 0.0 Back: 152.001
INFO - Atoms: 56810/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 6700370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.285 Prop: 7622.383 PropClause: 7453.949 Set: 1319.415 Check: 0.0 Back: 153.298
INFO - Atoms: 56616/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 6756790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.296 Prop: 7678.783 PropClause: 7508.965 Set: 1329.366 Check: 0.0 Back: 154.604
INFO - Atoms: 56420/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 6813016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.306 Prop: 7734.127 PropClause: 7562.923 Set: 1339.296 Check: 0.0 Back: 155.892
INFO - Atoms: 56226/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 6869046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.318 Prop: 7791.112 PropClause: 7618.522 Set: 1349.261 Check: 0.0 Back: 157.189
INFO - Atoms: 56030/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 6924882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.329 Prop: 7846.085 PropClause: 7672.117 Set: 1359.132 Check: 0.0 Back: 158.472
INFO - Atoms: 55836/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 6980522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.339 Prop: 7901.45 PropClause: 7726.104 Set: 1368.992 Check: 0.0 Back: 159.746
INFO - Atoms: 55640/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 7035968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.354 Prop: 7957.088 PropClause: 7780.362 Set: 1378.901 Check: 0.0 Back: 161.022
INFO - Atoms: 55446/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 7091237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.365 Prop: 8012.802 PropClause: 7834.714 Set: 1388.734 Check: 0.0 Back: 162.301
INFO - Atoms: 55269/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 7146293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.376 Prop: 8069.032 PropClause: 7889.579 Set: 1398.545 Check: 0.0 Back: 163.561
INFO - Atoms: 55056/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 7201153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.386 Prop: 8124.6 PropClause: 7943.787 Set: 1408.281 Check: 0.0 Back: 164.836
INFO - Atoms: 54860/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 7255819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.395 Prop: 8178.264 PropClause: 7996.101 Set: 1417.961 Check: 0.0 Back: 166.102
INFO - Atoms: 54666/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 7310307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.404 Prop: 8233.556 PropClause: 8050.048 Set: 1427.635 Check: 0.0 Back: 167.37
INFO - Atoms: 54488/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 7364583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.418 Prop: 8286.641 PropClause: 8101.797 Set: 1437.164 Check: 0.0 Back: 168.616
INFO - Atoms: 54276/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 7418681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.429 Prop: 8342.603 PropClause: 8156.42 Set: 1446.891 Check: 0.0 Back: 169.863
INFO - Atoms: 54098/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 7472567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.443 Prop: 8400.007 PropClause: 8212.487 Set: 1456.822 Check: 0.0 Back: 171.105
INFO - Atoms: 53886/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 7526257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.455 Prop: 8455.652 PropClause: 8266.805 Set: 1466.386 Check: 0.0 Back: 172.355
INFO - Atoms: 53690/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 7579753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.465 Prop: 8509.049 PropClause: 8318.885 Set: 1475.893 Check: 0.0 Back: 173.592
INFO - Atoms: 53496/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 7633071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.475 Prop: 8565.084 PropClause: 8373.601 Set: 1485.456 Check: 0.0 Back: 174.824
INFO - Atoms: 53318/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 7686177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.486 Prop: 8617.468 PropClause: 8424.673 Set: 1494.854 Check: 0.0 Back: 176.047
INFO - Atoms: 53106/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 7739087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.499 Prop: 8671.825 PropClause: 8477.718 Set: 1504.27 Check: 0.0 Back: 177.284
INFO - Atoms: 52910/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 7791803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.511 Prop: 8726.362 PropClause: 8530.954 Set: 1513.695 Check: 0.0 Back: 178.498
INFO - Atoms: 52716/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 7844323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.521 Prop: 8780.838 PropClause: 8584.136 Set: 1522.977 Check: 0.0 Back: 179.713
INFO - Atoms: 52520/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 7896649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.532 Prop: 8833.649 PropClause: 8635.654 Set: 1532.349 Check: 0.0 Back: 180.932
INFO - Atoms: 52326/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 7948779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.544 Prop: 8887.414 PropClause: 8688.129 Set: 1541.599 Check: 0.0 Back: 182.131
INFO - Atoms: 52130/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 8000715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.554 Prop: 8938.16 PropClause: 8737.596 Set: 1550.756 Check: 0.0 Back: 183.394
INFO - Atoms: 51936/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 8052474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.567 Prop: 8993.547 PropClause: 8791.711 Set: 1559.912 Check: 0.0 Back: 184.59
INFO - Atoms: 51759/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 8104020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.579 Prop: 9045.204 PropClause: 8842.086 Set: 1581.099 Check: 0.0 Back: 185.787
INFO - Atoms: 51546/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 8155370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.59 Prop: 9094.258 PropClause: 8889.85 Set: 1590.024 Check: 0.0 Back: 186.983
INFO - Atoms: 51350/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 8206526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.601 Prop: 9142.195 PropClause: 8936.518 Set: 1598.945 Check: 0.0 Back: 188.164
INFO - Atoms: 51156/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 8257504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.611 Prop: 9194.314 PropClause: 8987.372 Set: 1607.881 Check: 0.0 Back: 189.338
INFO - Atoms: 50978/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 8308270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.625 Prop: 9245.037 PropClause: 9036.826 Set: 1616.799 Check: 0.0 Back: 190.512
INFO - Atoms: 50766/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 8358839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.636 Prop: 9294.562 PropClause: 9085.091 Set: 1625.654 Check: 0.0 Back: 191.676
INFO - Atoms: 50569/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 8410577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.649 Prop: 9346.207 PropClause: 9135.454 Set: 1635.107 Check: 0.0 Back: 192.849
INFO - Atoms: 51738/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 8462291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.662 Prop: 9400.807 PropClause: 9188.77 Set: 1644.358 Check: 0.0 Back: 194.06
INFO - Atoms: 51714/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 8513437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.675 Prop: 9449.845 PropClause: 9236.544 Set: 1653.384 Check: 0.0 Back: 195.261
INFO - Atoms: 51146/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 8565154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.687 Prop: 9500.999 PropClause: 9286.412 Set: 1662.86 Check: 0.0 Back: 196.46
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 8616894 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.696 Prop: 9546.445 PropClause: 9330.582 Set: 1671.844 Check: 0.0 Back: 197.644
INFO - Atoms: 51740/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 8668800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.707 Prop: 9592.632 PropClause: 9375.49 Set: 1680.87 Check: 0.0 Back: 198.832
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 8720517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.719 Prop: 9639.306 PropClause: 9420.874 Set: 1689.951 Check: 0.0 Back: 200.018
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 8772401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.733 Prop: 9690.078 PropClause: 9470.36 Set: 1709.67 Check: 0.0 Back: 201.217
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 8823552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.744 Prop: 9736.109 PropClause: 9515.133 Set: 1718.552 Check: 0.0 Back: 202.437
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 8875433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.754 Prop: 9783.51 PropClause: 9561.259 Set: 1727.676 Check: 0.0 Back: 203.602
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 8927175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.769 Prop: 9831.088 PropClause: 9607.567 Set: 1736.71 Check: 0.0 Back: 204.783
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 8979081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.782 Prop: 9878.855 PropClause: 9654.053 Set: 1745.851 Check: 0.0 Back: 205.972
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 9030798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.791 Prop: 9927.759 PropClause: 9701.683 Set: 1754.977 Check: 0.0 Back: 207.164
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 9082680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.8 Prop: 9981.11 PropClause: 9753.751 Set: 1764.267 Check: 0.0 Back: 208.352
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 9133831 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.811 Prop: 10028.941 PropClause: 9800.319 Set: 1773.267 Check: 0.0 Back: 209.545
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 9185713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.821 Prop: 10078.043 PropClause: 9848.136 Set: 1782.523 Check: 0.0 Back: 210.724
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 9237454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.832 Prop: 10125.997 PropClause: 9894.808 Set: 1791.696 Check: 0.0 Back: 211.915
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 9289360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.841 Prop: 10175.773 PropClause: 9943.301 Set: 1800.895 Check: 0.0 Back: 213.106
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 9341077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.856 Prop: 10225.212 PropClause: 9991.459 Set: 1810.038 Check: 0.0 Back: 214.294
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 9392959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.868 Prop: 10273.855 PropClause: 10038.812 Set: 1819.167 Check: 0.0 Back: 215.482
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 9444110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.877 Prop: 10320.574 PropClause: 10084.266 Set: 1828.119 Check: 0.0 Back: 216.68
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 9495992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.886 Prop: 10370.368 PropClause: 10132.774 Set: 1837.406 Check: 0.0 Back: 217.854
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 9547733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.896 Prop: 10418.611 PropClause: 10179.736 Set: 1846.549 Check: 0.0 Back: 219.048
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 9599657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.911 Prop: 10479.567 PropClause: 10239.409 Set: 1855.762 Check: 0.0 Back: 220.245
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 9651374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.922 Prop: 10531.786 PropClause: 10290.353 Set: 1865.03 Check: 0.0 Back: 221.412
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 9703256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.935 Prop: 10583.696 PropClause: 10340.987 Set: 1874.19 Check: 0.0 Back: 222.6
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 9754407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.945 Prop: 10630.482 PropClause: 10386.512 Set: 1882.999 Check: 0.0 Back: 223.78
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 9806288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.956 Prop: 10681.557 PropClause: 10436.302 Set: 1892.309 Check: 0.0 Back: 224.953
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 9858030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.966 Prop: 10732.787 PropClause: 10486.253 Set: 1901.474 Check: 0.0 Back: 226.135
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 9909954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.976 Prop: 10781.083 PropClause: 10533.274 Set: 1910.56 Check: 0.0 Back: 227.318
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 9961671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.987 Prop: 10828.113 PropClause: 10579.025 Set: 1919.621 Check: 0.0 Back: 228.502
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 10013553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.998 Prop: 10875.675 PropClause: 10625.3 Set: 1928.706 Check: 0.0 Back: 229.689
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 10064704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.008 Prop: 10921.919 PropClause: 10670.27 Set: 1937.684 Check: 0.0 Back: 230.887
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 10116585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.019 Prop: 10970.03 PropClause: 10717.081 Set: 1946.869 Check: 0.0 Back: 232.065
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 10168327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.028 Prop: 11016.686 PropClause: 10762.467 Set: 1955.943 Check: 0.0 Back: 233.255
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 10220233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.041 Prop: 11064.34 PropClause: 10808.846 Set: 1965.07 Check: 0.0 Back: 234.442
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 10271950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.052 Prop: 11113.455 PropClause: 10856.693 Set: 1974.196 Check: 0.0 Back: 235.636
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 10323832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.063 Prop: 11161.998 PropClause: 10903.959 Set: 1983.314 Check: 0.0 Back: 236.892
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 10374983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.074 Prop: 11212.274 PropClause: 10952.971 Set: 1992.289 Check: 0.0 Back: 238.078
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 10426864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.084 Prop: 11262.634 PropClause: 11002.05 Set: 2001.509 Check: 0.0 Back: 239.266
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 10478606 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.098 Prop: 11313.177 PropClause: 11051.31 Set: 2010.743 Check: 0.0 Back: 240.449
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 10530512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.108 Prop: 11361.81 PropClause: 11098.662 Set: 2019.97 Check: 0.0 Back: 241.644
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 10582229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.12 Prop: 11411.368 PropClause: 11146.94 Set: 2029.155 Check: 0.0 Back: 242.835
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 10634111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.133 Prop: 11464.231 PropClause: 11198.52 Set: 2038.435 Check: 0.0 Back: 244.034
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 10685262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.143 Prop: 11513.715 PropClause: 11246.74 Set: 2047.494 Check: 0.0 Back: 245.228
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 10737144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.153 Prop: 11565.374 PropClause: 11297.115 Set: 2056.9 Check: 0.0 Back: 246.408
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 10788885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.166 Prop: 11615.148 PropClause: 11345.596 Set: 2066.133 Check: 0.0 Back: 247.605
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 10840809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.176 Prop: 11665.334 PropClause: 11394.498 Set: 2075.374 Check: 0.0 Back: 248.797
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 10892526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.188 Prop: 11716.514 PropClause: 11444.399 Set: 2084.663 Check: 0.0 Back: 249.987
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 10944408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.2 Prop: 11766.826 PropClause: 11493.429 Set: 2093.879 Check: 0.0 Back: 251.178
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 10995559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.209 Prop: 11816.93 PropClause: 11542.265 Set: 2102.959 Check: 0.0 Back: 252.37
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 11047440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.256 Prop: 11868.265 PropClause: 11592.313 Set: 2112.341 Check: 0.0 Back: 253.55
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 11099182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.292 Prop: 11918.241 PropClause: 11641.011 Set: 2121.576 Check: 0.0 Back: 254.737
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 11151088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.331 Prop: 11973.676 PropClause: 11695.15 Set: 2131.005 Check: 0.0 Back: 255.927
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 11202805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.344 Prop: 12027.503 PropClause: 11747.693 Set: 2140.256 Check: 0.0 Back: 257.116
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 11254687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.354 Prop: 12080.189 PropClause: 11799.09 Set: 2149.569 Check: 0.0 Back: 258.305
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 11305838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.365 Prop: 12129.765 PropClause: 11847.382 Set: 2158.634 Check: 0.0 Back: 259.487
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 11357720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.378 Prop: 12180.862 PropClause: 11897.202 Set: 2167.912 Check: 0.0 Back: 260.664
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 11409461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.389 Prop: 12231.682 PropClause: 11946.753 Set: 2176.998 Check: 0.0 Back: 261.861
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 11461367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.4 Prop: 12282.151 PropClause: 11995.946 Set: 2186.132 Check: 0.0 Back: 263.058
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 11513084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.415 Prop: 12329.262 PropClause: 12041.787 Set: 2195.181 Check: 0.0 Back: 264.252
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 11564966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.454 Prop: 12377.274 PropClause: 12088.52 Set: 2204.288 Check: 0.0 Back: 265.434
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 11616117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.461 Prop: 12425.653 PropClause: 12135.638 Set: 2213.306 Check: 0.0 Back: 266.619
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 11667998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.467 Prop: 12476.551 PropClause: 12185.248 Set: 2222.672 Check: 0.0 Back: 267.822
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 11719740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.474 Prop: 12524.261 PropClause: 12231.68 Set: 2231.847 Check: 0.0 Back: 269.012
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 11771664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.48 Prop: 12573.554 PropClause: 12279.694 Set: 2241.092 Check: 0.0 Back: 270.205
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 11823381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.487 Prop: 12624.22 PropClause: 12329.084 Set: 2250.396 Check: 0.0 Back: 271.391
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 11875263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.493 Prop: 12671.526 PropClause: 12375.11 Set: 2259.479 Check: 0.0 Back: 272.582
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 11926414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.5 Prop: 12717.181 PropClause: 12419.508 Set: 2268.337 Check: 0.0 Back: 273.777
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 11978296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.506 Prop: 12763.179 PropClause: 12464.231 Set: 2277.498 Check: 0.0 Back: 274.945
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 12030037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.513 Prop: 12814.556 PropClause: 12514.335 Set: 2286.694 Check: 0.0 Back: 276.126
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 12081961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.518 Prop: 12860.781 PropClause: 12559.288 Set: 2295.76 Check: 0.0 Back: 277.305
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 12133678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.526 Prop: 12909.717 PropClause: 12606.932 Set: 2304.924 Check: 0.0 Back: 278.484
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 12185560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.533 Prop: 12958.053 PropClause: 12653.981 Set: 2314.191 Check: 0.0 Back: 279.675
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 12236711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.54 Prop: 13004.46 PropClause: 12699.12 Set: 2323.102 Check: 0.0 Back: 280.863
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 12288593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.548 Prop: 13053.454 PropClause: 12746.821 Set: 2332.59 Check: 0.0 Back: 282.175
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 12340334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.557 Prop: 13101.874 PropClause: 12793.949 Set: 2341.738 Check: 0.0 Back: 283.373
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 12392258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.564 Prop: 13150.417 PropClause: 12841.199 Set: 2350.947 Check: 0.0 Back: 284.567
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 12443975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.572 Prop: 13197.727 PropClause: 12887.233 Set: 2360.199 Check: 0.0 Back: 285.769
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 12495857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.58 Prop: 13245.564 PropClause: 12933.79 Set: 2369.371 Check: 0.0 Back: 286.965
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 12547766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.587 Prop: 13293.232 PropClause: 12980.172 Set: 2378.547 Check: 0.0 Back: 288.162
INFO - Atoms: 51909/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 12599649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.594 Prop: 13343.122 PropClause: 13028.782 Set: 2387.783 Check: 0.0 Back: 289.357
INFO - Atoms: 51883/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 12651368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.601 Prop: 13390.469 PropClause: 13074.856 Set: 2396.851 Check: 0.0 Back: 290.561
INFO - Atoms: 51719/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 12703291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.607 Prop: 13439.937 PropClause: 13123.047 Set: 2405.986 Check: 0.0 Back: 291.764
INFO - Atoms: 51923/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 12755008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.612 Prop: 13487.202 PropClause: 13169.04 Set: 2415.066 Check: 0.0 Back: 292.951
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 12806892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.618 Prop: 13538.145 PropClause: 13218.696 Set: 2424.242 Check: 0.0 Back: 294.141
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 12858043 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.627 Prop: 13586.692 PropClause: 13265.987 Set: 2433.154 Check: 0.0 Back: 295.336
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 12909927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.633 Prop: 13635.18 PropClause: 13313.197 Set: 2442.331 Check: 0.0 Back: 296.497
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 12961666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.639 Prop: 13682.595 PropClause: 13359.336 Set: 2451.338 Check: 0.0 Back: 297.679
INFO - Atoms: 51739/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 13013590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.645 Prop: 13733.362 PropClause: 13408.816 Set: 2460.569 Check: 0.0 Back: 298.857
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 13065307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.652 Prop: 13782.053 PropClause: 13456.234 Set: 2469.614 Check: 0.0 Back: 300.053
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 13117189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.657 Prop: 13830.876 PropClause: 13503.778 Set: 2478.928 Check: 0.0 Back: 301.24
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 13168340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.664 Prop: 13877.386 PropClause: 13549.022 Set: 2487.86 Check: 0.0 Back: 302.423
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 13220221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.67 Prop: 13924.593 PropClause: 13594.946 Set: 2497.055 Check: 0.0 Back: 303.608
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 13271963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.677 Prop: 13975.449 PropClause: 13644.53 Set: 2506.446 Check: 0.0 Back: 304.8
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 13323869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.683 Prop: 14026.728 PropClause: 13694.523 Set: 2515.724 Check: 0.0 Back: 305.985
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 13375586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.689 Prop: 14074.838 PropClause: 13741.361 Set: 2524.796 Check: 0.0 Back: 307.172
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 13427468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.696 Prop: 14123.643 PropClause: 13788.887 Set: 2534.055 Check: 0.0 Back: 308.379
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 13478619 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.704 Prop: 14171.493 PropClause: 13835.476 Set: 2556.327 Check: 0.0 Back: 309.579
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 13530501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.709 Prop: 14221.171 PropClause: 13883.875 Set: 2565.581 Check: 0.0 Back: 310.752
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 13582242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.715 Prop: 14269.038 PropClause: 13930.471 Set: 2574.727 Check: 0.0 Back: 311.941
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 13634167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.721 Prop: 14318.035 PropClause: 13978.182 Set: 2583.94 Check: 0.0 Back: 313.136
INFO - Atoms: 51925/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 13685884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.727 Prop: 14367.426 PropClause: 14026.303 Set: 2593.182 Check: 0.0 Back: 314.326
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 13737766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.734 Prop: 14417.568 PropClause: 14075.151 Set: 2602.519 Check: 0.0 Back: 315.527
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 13788917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.741 Prop: 14466.748 PropClause: 14123.057 Set: 2611.577 Check: 0.0 Back: 316.726
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 13840799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.747 Prop: 14516.279 PropClause: 14171.305 Set: 2620.882 Check: 0.0 Back: 317.919
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 13892540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.755 Prop: 14566.23 PropClause: 14219.969 Set: 2646.923 Check: 0.0 Back: 319.118
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 13944446 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.76 Prop: 14617.236 PropClause: 14269.69 Set: 2656.289 Check: 0.0 Back: 320.298
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 13996163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.767 Prop: 14670.179 PropClause: 14321.323 Set: 2665.615 Check: 0.0 Back: 321.492
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 14048045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.773 Prop: 14723.652 PropClause: 14373.514 Set: 2674.941 Check: 0.0 Back: 322.717
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 14099196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.78 Prop: 14775.237 PropClause: 14423.827 Set: 2684.02 Check: 0.0 Back: 323.931
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 14151078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.786 Prop: 14827.346 PropClause: 14474.645 Set: 2693.361 Check: 0.0 Back: 325.108
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 14202819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.792 Prop: 14879.867 PropClause: 14525.889 Set: 2702.624 Check: 0.0 Back: 326.304
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 14254725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.799 Prop: 14932.249 PropClause: 14576.972 Set: 2711.974 Check: 0.0 Back: 327.495
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 14306442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.805 Prop: 14984.999 PropClause: 14628.443 Set: 2721.295 Check: 0.0 Back: 328.694
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 14358324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.811 Prop: 15037.426 PropClause: 14679.585 Set: 2730.739 Check: 0.0 Back: 329.886
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 14409475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.817 Prop: 15092.457 PropClause: 14733.355 Set: 2739.961 Check: 0.0 Back: 331.087
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 14461356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.824 Prop: 15146.575 PropClause: 14786.188 Set: 2749.381 Check: 0.0 Back: 332.283
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 14513098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.829 Prop: 15197.476 PropClause: 14835.813 Set: 2758.598 Check: 0.0 Back: 333.485
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 14565022 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.835 Prop: 15251.714 PropClause: 14888.756 Set: 2767.911 Check: 0.0 Back: 334.679
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 14616739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.841 Prop: 15305.79 PropClause: 14941.557 Set: 2777.214 Check: 0.0 Back: 335.869
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 14668621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.847 Prop: 15359.157 PropClause: 14993.62 Set: 2786.646 Check: 0.0 Back: 337.062
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 14719772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.854 Prop: 15409.012 PropClause: 15042.21 Set: 2795.719 Check: 0.0 Back: 338.275
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 14771653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.862 Prop: 15461.604 PropClause: 15093.004 Set: 2805.239 Check: 0.0 Back: 339.463
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 14823395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.87 Prop: 15511.72 PropClause: 15141.8 Set: 2814.507 Check: 0.0 Back: 340.657
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 14874545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.877 Prop: 15562.591 PropClause: 15191.407 Set: 2823.625 Check: 0.0 Back: 341.85
INFO - Atoms: 51150/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 14926284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.884 Prop: 15610.96 PropClause: 15238.49 Set: 2832.883 Check: 0.0 Back: 343.022
INFO - Atoms: 51739/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 14978168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.889 Prop: 15660.384 PropClause: 15286.629 Set: 2842.393 Check: 0.0 Back: 344.208
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 15029319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.897 Prop: 15709.639 PropClause: 15334.629 Set: 2851.491 Check: 0.0 Back: 345.431
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 15081203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.904 Prop: 15760.877 PropClause: 15384.585 Set: 2860.953 Check: 0.0 Back: 346.612
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 15132942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.912 Prop: 15808.577 PropClause: 15431.001 Set: 2870.188 Check: 0.0 Back: 347.805
INFO - Atoms: 51739/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 15184110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.919 Prop: 15854.384 PropClause: 15475.554 Set: 2879.351 Check: 0.0 Back: 349.03
INFO - Atoms: 51168/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 15235851 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.925 Prop: 15899.194 PropClause: 15519.096 Set: 2888.485 Check: 0.0 Back: 350.204
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 15287733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.93 Prop: 15945.666 PropClause: 15564.292 Set: 2897.655 Check: 0.0 Back: 351.389
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 15339640 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.939 Prop: 15993.335 PropClause: 15610.678 Set: 2907.052 Check: 0.0 Back: 352.633
INFO - Atoms: 51907/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 15391521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.946 Prop: 16040.044 PropClause: 15656.102 Set: 2916.366 Check: 0.0 Back: 353.832
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 15443240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.953 Prop: 16087.466 PropClause: 15702.252 Set: 2925.572 Check: 0.0 Back: 355.033
INFO - Atoms: 51719/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 15495163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.96 Prop: 16133.762 PropClause: 15747.271 Set: 2934.81 Check: 0.0 Back: 356.221
INFO - Atoms: 51923/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 15546880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.967 Prop: 16182.602 PropClause: 15794.772 Set: 2944.05 Check: 0.0 Back: 357.406
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 15598762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.974 Prop: 16230.449 PropClause: 15841.333 Set: 2953.374 Check: 0.0 Back: 358.602
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 15649913 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.98 Prop: 16277.971 PropClause: 15887.594 Set: 2962.556 Check: 0.0 Back: 359.802
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 15701797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.987 Prop: 16325.596 PropClause: 15933.937 Set: 2971.849 Check: 0.0 Back: 360.992
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 15753536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.993 Prop: 16371.916 PropClause: 15978.966 Set: 2981.089 Check: 0.0 Back: 362.172
INFO - Atoms: 51739/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 15805460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.998 Prop: 16420.494 PropClause: 16026.264 Set: 2990.48 Check: 0.0 Back: 363.365
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 15857177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.004 Prop: 16468.16 PropClause: 16072.645 Set: 2999.754 Check: 0.0 Back: 364.571
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 15909059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.012 Prop: 16517.54 PropClause: 16120.744 Set: 3009.161 Check: 0.0 Back: 365.767
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 15960210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.017 Prop: 16563.476 PropClause: 16165.409 Set: 3018.208 Check: 0.0 Back: 366.962
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 16012091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.023 Prop: 16612.384 PropClause: 16213.042 Set: 3027.514 Check: 0.0 Back: 368.147
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 16063833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.028 Prop: 16660.165 PropClause: 16259.547 Set: 3036.706 Check: 0.0 Back: 369.331
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 16115757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.034 Prop: 16707.891 PropClause: 16306.0 Set: 3046.01 Check: 0.0 Back: 370.522
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 16167474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.04 Prop: 16753.609 PropClause: 16350.45 Set: 3055.122 Check: 0.0 Back: 371.707
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 16219356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.046 Prop: 16802.196 PropClause: 16397.766 Set: 3064.369 Check: 0.0 Back: 372.897
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 16270507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.053 Prop: 16849.295 PropClause: 16443.612 Set: 3073.418 Check: 0.0 Back: 374.077
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 16322389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.06 Prop: 16894.133 PropClause: 16487.174 Set: 3082.66 Check: 0.0 Back: 375.246
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 16374130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.066 Prop: 16940.81 PropClause: 16532.577 Set: 3091.869 Check: 0.0 Back: 376.429
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 16426036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.071 Prop: 16986.665 PropClause: 16577.161 Set: 3101.072 Check: 0.0 Back: 377.611
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 16477753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.077 Prop: 17032.83 PropClause: 16622.052 Set: 3110.24 Check: 0.0 Back: 378.797
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 16529635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.085 Prop: 17079.544 PropClause: 16667.494 Set: 3119.495 Check: 0.0 Back: 379.986
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 16580786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.091 Prop: 17125.557 PropClause: 16712.253 Set: 3128.555 Check: 0.0 Back: 381.187
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 16632668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.097 Prop: 17174.498 PropClause: 16759.905 Set: 3137.868 Check: 0.0 Back: 382.355
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 16684409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.103 Prop: 17220.69 PropClause: 16804.829 Set: 3147.046 Check: 0.0 Back: 383.543
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 16736333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.11 Prop: 17267.903 PropClause: 16850.77 Set: 3156.298 Check: 0.0 Back: 384.73
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 16788050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.117 Prop: 17316.282 PropClause: 16897.882 Set: 3165.475 Check: 0.0 Back: 385.914
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 16839932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.123 Prop: 17366.26 PropClause: 16946.573 Set: 3174.825 Check: 0.0 Back: 387.096
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 16891083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.129 Prop: 17415.281 PropClause: 16994.332 Set: 3183.93 Check: 0.0 Back: 388.287
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 16942965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.134 Prop: 17463.558 PropClause: 17041.333 Set: 3193.383 Check: 0.0 Back: 389.464
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 16994706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.14 Prop: 17511.357 PropClause: 17087.863 Set: 3202.666 Check: 0.0 Back: 390.65
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 17046612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.147 Prop: 17561.483 PropClause: 17136.692 Set: 3212.118 Check: 0.0 Back: 391.843
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 17098329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.154 Prop: 17610.437 PropClause: 17184.371 Set: 3221.423 Check: 0.0 Back: 393.047
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 17150211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.161 Prop: 17660.269 PropClause: 17232.927 Set: 3230.788 Check: 0.0 Back: 394.244
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 17201362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.166 Prop: 17708.657 PropClause: 17280.057 Set: 3239.94 Check: 0.0 Back: 395.427
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 17253243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.172 Prop: 17757.572 PropClause: 17327.699 Set: 3249.329 Check: 0.0 Back: 396.603
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 17304985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.178 Prop: 17806.518 PropClause: 17375.371 Set: 3258.561 Check: 0.0 Back: 397.786
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 17356891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.183 Prop: 17855.109 PropClause: 17422.676 Set: 3267.862 Check: 0.0 Back: 398.978
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 17408608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.191 Prop: 17905.946 PropClause: 17472.234 Set: 3277.206 Check: 0.0 Back: 400.165
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 17460490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.199 Prop: 17955.415 PropClause: 17520.425 Set: 3286.605 Check: 0.0 Back: 401.365
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 17511641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.207 Prop: 18004.567 PropClause: 17568.309 Set: 3295.779 Check: 0.0 Back: 402.565
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 17563522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.214 Prop: 18055.155 PropClause: 17617.605 Set: 3305.248 Check: 0.0 Back: 403.742
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 17615264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.221 Prop: 18107.453 PropClause: 17668.604 Set: 3314.661 Check: 0.0 Back: 404.942
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 17667188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.228 Prop: 18160.451 PropClause: 17720.325 Set: 3324.019 Check: 0.0 Back: 406.128
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 17718905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.234 Prop: 18210.131 PropClause: 17768.73 Set: 3333.265 Check: 0.0 Back: 407.33
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 17770787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.239 Prop: 18259.185 PropClause: 17816.501 Set: 3342.534 Check: 0.0 Back: 408.542
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 17821938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.245 Prop: 18307.172 PropClause: 17863.226 Set: 3351.594 Check: 0.0 Back: 409.727
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 17873820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.25 Prop: 18357.816 PropClause: 17912.591 Set: 3366.363 Check: 0.0 Back: 410.899
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 17925561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.257 Prop: 18407.931 PropClause: 17961.437 Set: 3387.17 Check: 0.0 Back: 412.084
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 17977485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.262 Prop: 18455.845 PropClause: 18008.07 Set: 3396.512 Check: 0.0 Back: 413.269
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 18029202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.268 Prop: 18503.798 PropClause: 18054.742 Set: 3405.734 Check: 0.0 Back: 414.453
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 18081084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.273 Prop: 18551.8 PropClause: 18101.47 Set: 3415.002 Check: 0.0 Back: 415.635
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 18132235 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.279 Prop: 18600.07 PropClause: 18148.486 Set: 3424.06 Check: 0.0 Back: 416.824
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 18184117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.284 Prop: 18646.923 PropClause: 18194.067 Set: 3433.335 Check: 0.0 Back: 417.995
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 18235858 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.289 Prop: 18693.834 PropClause: 18239.707 Set: 3442.553 Check: 0.0 Back: 419.189
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 18287782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.297 Prop: 18747.01 PropClause: 18291.612 Set: 3451.925 Check: 0.0 Back: 420.382
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 18339499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.305 Prop: 18798.123 PropClause: 18341.442 Set: 3461.312 Check: 0.0 Back: 421.568
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 18391381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.31 Prop: 18846.616 PropClause: 18388.655 Set: 3470.635 Check: 0.0 Back: 422.752
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 18442532 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.316 Prop: 18894.824 PropClause: 18435.595 Set: 3479.756 Check: 0.0 Back: 423.94
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 18494413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.321 Prop: 18942.675 PropClause: 18482.175 Set: 3489.272 Check: 0.0 Back: 425.131
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 18546155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.326 Prop: 18988.728 PropClause: 18526.952 Set: 3498.467 Check: 0.0 Back: 426.33
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 18597323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.331 Prop: 19035.6 PropClause: 18572.566 Set: 3507.532 Check: 0.0 Back: 427.518
INFO - Atoms: 51168/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 18649062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.337 Prop: 19084.609 PropClause: 18620.299 Set: 3516.867 Check: 0.0 Back: 428.683
INFO - Atoms: 51739/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 18700946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.342 Prop: 19132.257 PropClause: 18666.671 Set: 3526.148 Check: 0.0 Back: 429.883
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 18752097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.348 Prop: 19182.854 PropClause: 18716.01 Set: 3535.426 Check: 0.0 Back: 431.079
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 18803981 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.354 Prop: 19230.86 PropClause: 18762.741 Set: 3544.791 Check: 0.0 Back: 432.265
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 18855720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.362 Prop: 19278.729 PropClause: 18809.329 Set: 3554.121 Check: 0.0 Back: 433.451
INFO - Atoms: 51739/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 18907644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.369 Prop: 19329.628 PropClause: 18858.932 Set: 3563.662 Check: 0.0 Back: 434.634
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 18959361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.375 Prop: 19377.928 PropClause: 18905.948 Set: 3572.931 Check: 0.0 Back: 435.84
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 19011245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.381 Prop: 19427.901 PropClause: 18954.642 Set: 3582.374 Check: 0.0 Back: 437.022
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 19062396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.387 Prop: 19478.695 PropClause: 19004.177 Set: 3591.579 Check: 0.0 Back: 438.219
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 19114278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.393 Prop: 19530.128 PropClause: 19054.333 Set: 3601.107 Check: 0.0 Back: 439.401
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 19166019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.399 Prop: 19578.037 PropClause: 19100.968 Set: 3610.367 Check: 0.0 Back: 440.589
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 19217943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.404 Prop: 19626.976 PropClause: 19148.624 Set: 3619.67 Check: 0.0 Back: 441.772
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 19269660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.41 Prop: 19676.588 PropClause: 19196.964 Set: 3629.013 Check: 0.0 Back: 442.96
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 19321542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.417 Prop: 19726.138 PropClause: 19245.237 Set: 3638.411 Check: 0.0 Back: 444.141
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 19372693 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.423 Prop: 19775.836 PropClause: 19293.672 Set: 3647.543 Check: 0.0 Back: 445.341
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 19424574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.429 Prop: 19823.549 PropClause: 19340.111 Set: 3656.866 Check: 0.0 Back: 446.526
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 19476316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.434 Prop: 19873.786 PropClause: 19389.08 Set: 3666.275 Check: 0.0 Back: 447.704
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 19528222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.441 Prop: 19928.156 PropClause: 19442.151 Set: 3676.122 Check: 0.0 Back: 448.894
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 19579939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.447 Prop: 19978.604 PropClause: 19491.315 Set: 3685.411 Check: 0.0 Back: 450.104
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 19631821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.452 Prop: 20027.452 PropClause: 19538.885 Set: 3694.749 Check: 0.0 Back: 451.302
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 19682972 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.457 Prop: 20072.704 PropClause: 19582.879 Set: 3703.721 Check: 0.0 Back: 452.491
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 19734854 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.465 Prop: 20119.987 PropClause: 19628.885 Set: 3723.732 Check: 0.0 Back: 453.661
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 19786595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.471 Prop: 20166.504 PropClause: 19674.128 Set: 3733.098 Check: 0.0 Back: 454.851
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 19838520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.476 Prop: 20215.987 PropClause: 19722.326 Set: 3742.53 Check: 0.0 Back: 456.039
INFO - Atoms: 51925/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 19890237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.483 Prop: 20265.958 PropClause: 19771.019 Set: 3751.874 Check: 0.0 Back: 457.238
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 19942119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.489 Prop: 20318.885 PropClause: 19822.67 Set: 3761.515 Check: 0.0 Back: 458.43
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 19993270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.495 Prop: 20369.6 PropClause: 19872.125 Set: 3770.869 Check: 0.0 Back: 459.624
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 20045152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.502 Prop: 20418.857 PropClause: 19920.089 Set: 3780.243 Check: 0.0 Back: 460.814
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 20096893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.509 Prop: 20466.458 PropClause: 19966.421 Set: 3789.516 Check: 0.0 Back: 462.018
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 20148817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.515 Prop: 20516.423 PropClause: 20015.11 Set: 3798.832 Check: 0.0 Back: 463.229
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 20200534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.521 Prop: 20564.239 PropClause: 20061.638 Set: 3808.112 Check: 0.0 Back: 464.412
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 20252416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.528 Prop: 20611.182 PropClause: 20107.297 Set: 3817.419 Check: 0.0 Back: 465.592
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 20303567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.533 Prop: 20658.857 PropClause: 20153.716 Set: 3826.528 Check: 0.0 Back: 466.779
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 20355448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.539 Prop: 20706.254 PropClause: 20199.831 Set: 3835.888 Check: 0.0 Back: 467.961
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 20407190 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.546 Prop: 20754.617 PropClause: 20246.919 Set: 3845.206 Check: 0.0 Back: 469.151
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 20459114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.552 Prop: 20805.037 PropClause: 20296.057 Set: 3854.617 Check: 0.0 Back: 470.339
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 20510831 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.558 Prop: 20855.689 PropClause: 20345.433 Set: 3863.988 Check: 0.0 Back: 471.527
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 20562713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.566 Prop: 20905.733 PropClause: 20394.196 Set: 3873.416 Check: 0.0 Back: 472.721
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 20613864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.571 Prop: 20955.443 PropClause: 20442.647 Set: 3882.57 Check: 0.0 Back: 473.93
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 20665745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.579 Prop: 21005.699 PropClause: 20491.617 Set: 3892.114 Check: 0.0 Back: 475.105
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 20717487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.587 Prop: 21056.965 PropClause: 20541.605 Set: 3901.505 Check: 0.0 Back: 476.3
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 20769393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.593 Prop: 21109.006 PropClause: 20592.366 Set: 3911.041 Check: 0.0 Back: 477.493
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 20821110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.6 Prop: 21158.017 PropClause: 20640.092 Set: 3920.354 Check: 0.0 Back: 478.689
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 20872992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.607 Prop: 21207.685 PropClause: 20688.481 Set: 3929.775 Check: 0.0 Back: 479.895
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 20924143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.614 Prop: 21258.89 PropClause: 20738.419 Set: 3939.001 Check: 0.0 Back: 481.084
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 20976024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.621 Prop: 21309.334 PropClause: 20787.583 Set: 3948.507 Check: 0.0 Back: 482.254
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 21027766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.628 Prop: 21360.574 PropClause: 20837.548 Set: 3957.937 Check: 0.0 Back: 483.454
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 21079690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.635 Prop: 21414.339 PropClause: 20890.026 Set: 3967.387 Check: 0.0 Back: 484.643
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 21131407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.642 Prop: 21464.865 PropClause: 20939.268 Set: 3976.827 Check: 0.0 Back: 485.832
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 21183289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.649 Prop: 21513.89 PropClause: 20987.016 Set: 3986.229 Check: 0.0 Back: 487.026
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 21234440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.653 Prop: 21561.029 PropClause: 21032.894 Set: 3995.303 Check: 0.0 Back: 488.226
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 21286322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.659 Prop: 21609.365 PropClause: 21079.952 Set: 4004.631 Check: 0.0 Back: 489.399
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 21338063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.666 Prop: 21657.778 PropClause: 21127.093 Set: 4013.925 Check: 0.0 Back: 490.588
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 21389969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.674 Prop: 21706.726 PropClause: 21174.757 Set: 4023.326 Check: 0.0 Back: 491.8
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 21441686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.681 Prop: 21754.509 PropClause: 21221.263 Set: 4032.639 Check: 0.0 Back: 493.011
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 21493568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.688 Prop: 21803.967 PropClause: 21269.433 Set: 4058.831 Check: 0.0 Back: 494.202
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 21544719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.696 Prop: 21854.127 PropClause: 21318.328 Set: 4068.022 Check: 0.0 Back: 495.383
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 21596600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.702 Prop: 21902.432 PropClause: 21365.351 Set: 4077.444 Check: 0.0 Back: 496.577
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 21648342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.708 Prop: 21953.031 PropClause: 21414.67 Set: 4086.805 Check: 0.0 Back: 497.793
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 21700266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.714 Prop: 22001.624 PropClause: 21461.978 Set: 4096.188 Check: 0.0 Back: 498.992
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 21751983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.72 Prop: 22050.877 PropClause: 21509.947 Set: 4105.652 Check: 0.0 Back: 500.198
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 21803865 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.726 Prop: 22098.682 PropClause: 21556.473 Set: 4114.936 Check: 0.0 Back: 501.39
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 21855016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.741 Prop: 22146.401 PropClause: 21602.928 Set: 4124.098 Check: 0.0 Back: 502.589
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 21906897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.746 Prop: 22197.618 PropClause: 21652.859 Set: 4133.575 Check: 0.0 Back: 503.761
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 21958639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.753 Prop: 22245.892 PropClause: 21699.854 Set: 4142.922 Check: 0.0 Back: 504.964
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 22010562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.758 Prop: 22294.877 PropClause: 21747.556 Set: 4152.377 Check: 0.0 Back: 506.171
INFO - Atoms: 51923/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 22062279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.765 Prop: 22344.141 PropClause: 21795.543 Set: 4161.823 Check: 0.0 Back: 507.356
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 22114161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.772 Prop: 22394.537 PropClause: 21844.656 Set: 4171.205 Check: 0.0 Back: 508.538
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 22165312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.778 Prop: 22441.052 PropClause: 21889.914 Set: 4180.358 Check: 0.0 Back: 509.734
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 22217194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.784 Prop: 22488.484 PropClause: 21936.065 Set: 4189.771 Check: 0.0 Back: 510.919
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 22268935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.789 Prop: 22534.884 PropClause: 21981.193 Set: 4198.976 Check: 0.0 Back: 512.119
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 22320103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.794 Prop: 22584.226 PropClause: 22029.274 Set: 4208.199 Check: 0.0 Back: 513.3
INFO - Atoms: 51168/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 22371842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.802 Prop: 22631.349 PropClause: 22075.121 Set: 4217.56 Check: 0.0 Back: 514.473
INFO - Atoms: 51739/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 22423726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.809 Prop: 22678.688 PropClause: 22121.178 Set: 4226.909 Check: 0.0 Back: 515.658
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 22474877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.816 Prop: 22727.46 PropClause: 22168.679 Set: 4236.101 Check: 0.0 Back: 516.859
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 22526761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.823 Prop: 22775.002 PropClause: 22214.943 Set: 4245.515 Check: 0.0 Back: 518.04
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 22578500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.831 Prop: 22823.849 PropClause: 22262.516 Set: 4254.874 Check: 0.0 Back: 519.223
INFO - Atoms: 51739/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 22629667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.836 Prop: 22873.089 PropClause: 22310.494 Set: 4264.017 Check: 0.0 Back: 520.407
INFO - Atoms: 51167/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 22681408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.843 Prop: 22922.556 PropClause: 22358.684 Set: 4273.326 Check: 0.0 Back: 521.571
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 22733290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.848 Prop: 22970.172 PropClause: 22405.027 Set: 4282.696 Check: 0.0 Back: 522.764
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 22785199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.855 Prop: 23016.794 PropClause: 22450.353 Set: 4291.982 Check: 0.0 Back: 523.954
INFO - Atoms: 51909/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 22837081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.865 Prop: 23065.115 PropClause: 22497.397 Set: 4301.357 Check: 0.0 Back: 525.134
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 22888800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.871 Prop: 23112.432 PropClause: 22543.447 Set: 4310.588 Check: 0.0 Back: 526.325
INFO - Atoms: 51719/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 22940706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.878 Prop: 23160.063 PropClause: 22589.797 Set: 4319.844 Check: 0.0 Back: 527.503
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 22992423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.884 Prop: 23205.494 PropClause: 22633.956 Set: 4329.012 Check: 0.0 Back: 528.696
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 23044305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.888 Prop: 23251.669 PropClause: 22678.859 Set: 4338.25 Check: 0.0 Back: 529.872
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 23095456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.893 Prop: 23298.08 PropClause: 22724.019 Set: 4347.287 Check: 0.0 Back: 531.075
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 23147340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.899 Prop: 23344.784 PropClause: 22769.451 Set: 4356.552 Check: 0.0 Back: 532.239
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 23199079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.904 Prop: 23390.223 PropClause: 22813.623 Set: 4365.678 Check: 0.0 Back: 533.435
INFO - Atoms: 51739/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 23250985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.911 Prop: 23435.704 PropClause: 22857.832 Set: 4374.974 Check: 0.0 Back: 534.613
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 23302702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.918 Prop: 23481.486 PropClause: 22902.34 Set: 4384.189 Check: 0.0 Back: 535.793
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 23354584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.924 Prop: 23526.726 PropClause: 22946.3 Set: 4393.362 Check: 0.0 Back: 536.972
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 23405735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.933 Prop: 23573.402 PropClause: 22991.719 Set: 4402.458 Check: 0.0 Back: 538.154
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 23457616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.94 Prop: 23618.664 PropClause: 23035.708 Set: 4411.735 Check: 0.0 Back: 539.32
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 23509358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.945 Prop: 23666.578 PropClause: 23082.348 Set: 4421.092 Check: 0.0 Back: 540.504
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 23561283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.953 Prop: 23714.414 PropClause: 23128.902 Set: 4430.486 Check: 0.0 Back: 541.693
INFO - Atoms: 51925/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 23613000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.959 Prop: 23761.886 PropClause: 23175.105 Set: 4439.729 Check: 0.0 Back: 542.891
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 23664882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.966 Prop: 23809.069 PropClause: 23221.016 Set: 4449.018 Check: 0.0 Back: 544.074
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 23716033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.972 Prop: 23855.939 PropClause: 23266.632 Set: 4458.068 Check: 0.0 Back: 545.248
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 23767915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.979 Prop: 23905.001 PropClause: 23314.42 Set: 4467.485 Check: 0.0 Back: 546.413
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 23819656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.985 Prop: 23954.493 PropClause: 23362.638 Set: 4476.796 Check: 0.0 Back: 547.598
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 23871562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.991 Prop: 24001.255 PropClause: 23408.121 Set: 4486.154 Check: 0.0 Back: 548.781
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 23923279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.998 Prop: 24048.837 PropClause: 23454.427 Set: 4495.388 Check: 0.0 Back: 549.973
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 23975161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.005 Prop: 24098.343 PropClause: 23502.649 Set: 4504.876 Check: 0.0 Back: 551.155
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 24026312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.01 Prop: 24148.725 PropClause: 23551.766 Set: 4514.136 Check: 0.0 Back: 552.353
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 24078193 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.017 Prop: 24199.66 PropClause: 23601.41 Set: 4523.725 Check: 0.0 Back: 553.538
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 24129935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.024 Prop: 24249.984 PropClause: 23650.452 Set: 4533.132 Check: 0.0 Back: 554.742
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 24181859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.029 Prop: 24299.591 PropClause: 23698.768 Set: 4542.592 Check: 0.0 Back: 555.932
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 24233576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.035 Prop: 24350.116 PropClause: 23748.015 Set: 4551.953 Check: 0.0 Back: 557.12
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 24285458 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.043 Prop: 24398.762 PropClause: 23795.383 Set: 4561.344 Check: 0.0 Back: 558.315
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 24336609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.048 Prop: 24447.724 PropClause: 23843.083 Set: 4570.551 Check: 0.0 Back: 559.501
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 24388490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.057 Prop: 24497.712 PropClause: 23891.79 Set: 4580.111 Check: 0.0 Back: 560.676
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 24440232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.062 Prop: 24548.631 PropClause: 23941.436 Set: 4589.571 Check: 0.0 Back: 561.861
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 24492156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.068 Prop: 24598.674 PropClause: 23990.199 Set: 4599.1 Check: 0.0 Back: 563.058
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 24543873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.076 Prop: 24651.068 PropClause: 24041.314 Set: 4608.588 Check: 0.0 Back: 564.25
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 24595755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.082 Prop: 24702.64 PropClause: 24091.606 Set: 4618.1 Check: 0.0 Back: 565.441
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 24646906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.088 Prop: 24753.597 PropClause: 24141.303 Set: 4627.382 Check: 0.0 Back: 566.633
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 24698788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.096 Prop: 24807.76 PropClause: 24194.191 Set: 4636.889 Check: 0.0 Back: 567.813
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 449 Props: 24750529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.102 Prop: 24861.223 PropClause: 24246.357 Set: 4646.433 Check: 0.0 Back: 568.999
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 24802435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.11 Prop: 24912.456 PropClause: 24296.302 Set: 4656.03 Check: 0.0 Back: 570.186
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 451 Props: 24854152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.116 Prop: 24960.922 PropClause: 24343.483 Set: 4665.369 Check: 0.0 Back: 571.371
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 24906034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.123 Prop: 25008.464 PropClause: 24389.741 Set: 4685.181 Check: 0.0 Back: 572.557
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 453 Props: 24957185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.13 Prop: 25057.026 PropClause: 24437.049 Set: 4694.345 Check: 0.0 Back: 573.754
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 454 Props: 25009066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.137 Prop: 25106.478 PropClause: 24485.227 Set: 4703.772 Check: 0.0 Back: 574.926
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 455 Props: 25060808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.143 Prop: 25155.751 PropClause: 24533.227 Set: 4713.162 Check: 0.0 Back: 576.118
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 456 Props: 25112714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.15 Prop: 25204.856 PropClause: 24581.048 Set: 4722.593 Check: 0.0 Back: 577.301
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 457 Props: 25164431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.157 Prop: 25253.903 PropClause: 24628.824 Set: 4731.918 Check: 0.0 Back: 578.506
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 458 Props: 25216313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.162 Prop: 25301.251 PropClause: 24674.896 Set: 4741.283 Check: 0.0 Back: 579.689
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 459 Props: 25267464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.167 Prop: 25349.322 PropClause: 24721.705 Set: 4750.524 Check: 0.0 Back: 580.882
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 25319346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.175 Prop: 25399.041 PropClause: 24770.139 Set: 4759.999 Check: 0.0 Back: 582.057
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 461 Props: 25371087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.182 Prop: 25448.321 PropClause: 24818.139 Set: 4769.344 Check: 0.0 Back: 583.257
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 25423011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.187 Prop: 25496.683 PropClause: 24865.222 Set: 4778.785 Check: 0.0 Back: 584.445
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 463 Props: 25474728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.192 Prop: 25546.289 PropClause: 24913.544 Set: 4788.175 Check: 0.0 Back: 585.64
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 464 Props: 25526610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.198 Prop: 25595.65 PropClause: 24961.63 Set: 4797.627 Check: 0.0 Back: 586.825
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 465 Props: 25577761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.204 Prop: 25644.781 PropClause: 25009.505 Set: 4806.822 Check: 0.0 Back: 588.023
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 466 Props: 25629643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.211 Prop: 25692.826 PropClause: 25056.271 Set: 4816.192 Check: 0.0 Back: 589.195
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 25681384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.217 Prop: 25741.652 PropClause: 25103.824 Set: 4825.504 Check: 0.0 Back: 590.372
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 468 Props: 25733307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.222 Prop: 25789.005 PropClause: 25149.903 Set: 4834.863 Check: 0.0 Back: 591.558
INFO - Atoms: 51923/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 469 Props: 25785024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.231 Prop: 25837.831 PropClause: 25197.44 Set: 4844.274 Check: 0.0 Back: 592.745
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 470 Props: 25836906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.237 Prop: 25888.239 PropClause: 25246.569 Set: 4853.714 Check: 0.0 Back: 593.94
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 471 Props: 25888057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.242 Prop: 25935.496 PropClause: 25292.564 Set: 4862.891 Check: 0.0 Back: 595.143
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 472 Props: 25939939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.25 Prop: 25981.799 PropClause: 25337.588 Set: 4872.245 Check: 0.0 Back: 596.327
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 473 Props: 25991680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.259 Prop: 26029.911 PropClause: 25384.422 Set: 4881.575 Check: 0.0 Back: 597.52
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 474 Props: 26042848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.264 Prop: 26076.148 PropClause: 25429.397 Set: 4890.702 Check: 0.0 Back: 598.73
INFO - Atoms: 51168/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 475 Props: 26094587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.271 Prop: 26126.455 PropClause: 25478.422 Set: 4900.157 Check: 0.0 Back: 599.902
INFO - Atoms: 51739/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 476 Props: 26146471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.277 Prop: 26173.437 PropClause: 25524.129 Set: 4909.506 Check: 0.0 Back: 601.1
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 477 Props: 26197622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.282 Prop: 26223.825 PropClause: 25573.249 Set: 4918.695 Check: 0.0 Back: 602.288
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 478 Props: 26249505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.289 Prop: 26271.499 PropClause: 25619.651 Set: 4928.056 Check: 0.0 Back: 603.456
INFO - Atoms: 51883/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 479 Props: 26301245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.294 Prop: 26318.239 PropClause: 25665.121 Set: 4937.321 Check: 0.0 Back: 604.646
INFO - Atoms: 51740/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 480 Props: 26352413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.298 Prop: 26365.081 PropClause: 25710.71 Set: 4946.498 Check: 0.0 Back: 605.834
INFO - Atoms: 51168/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 481 Props: 26404154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.304 Prop: 26413.112 PropClause: 25757.468 Set: 4955.805 Check: 0.0 Back: 607.004
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 482 Props: 26456036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.31 Prop: 26461.827 PropClause: 25804.91 Set: 4965.249 Check: 0.0 Back: 608.187
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 483 Props: 26507945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.316 Prop: 26509.498 PropClause: 25851.307 Set: 4974.569 Check: 0.0 Back: 609.37
INFO - Atoms: 51909/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 484 Props: 26559827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.322 Prop: 26559.985 PropClause: 25900.513 Set: 4984.011 Check: 0.0 Back: 610.585
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 485 Props: 26611546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.328 Prop: 26607.288 PropClause: 25946.544 Set: 4993.488 Check: 0.0 Back: 611.785
INFO - Atoms: 51719/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 486 Props: 26663452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.336 Prop: 26655.691 PropClause: 25993.674 Set: 5002.818 Check: 0.0 Back: 612.977
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 487 Props: 26715169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.343 Prop: 26702.471 PropClause: 26039.174 Set: 5012.934 Check: 0.0 Back: 614.157
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 488 Props: 26766974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.351 Prop: 26750.554 PropClause: 26085.98 Set: 5022.158 Check: 0.0 Back: 615.348
INFO - Atoms: 51805/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 489 Props: 26818125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.359 Prop: 26796.443 PropClause: 26130.614 Set: 5031.298 Check: 0.0 Back: 616.537
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 490 Props: 26869840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.366 Prop: 26845.22 PropClause: 26178.125 Set: 5040.782 Check: 0.0 Back: 617.702
INFO - Atoms: 51715/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 491 Props: 26921482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.372 Prop: 26892.809 PropClause: 26224.448 Set: 5050.065 Check: 0.0 Back: 618.88
INFO - Atoms: 51642/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 492 Props: 26973228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.378 Prop: 26938.233 PropClause: 26268.605 Set: 5059.269 Check: 0.0 Back: 620.061
INFO - Atoms: 51746/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 493 Props: 27024765 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.382 Prop: 26982.421 PropClause: 26311.522 Set: 5068.385 Check: 0.0 Back: 621.249
INFO - Atoms: 51537/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 494 Props: 27076305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.388 Prop: 27026.892 PropClause: 26354.732 Set: 5077.531 Check: 0.0 Back: 622.435
INFO - Atoms: 51540/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 495 Props: 27127456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.393 Prop: 27071.696 PropClause: 26398.281 Set: 5086.604 Check: 0.0 Back: 623.613
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 496 Props: 27178803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.544 Prop: 27116.866 PropClause: 26442.191 Set: 5095.724 Check: 0.0 Back: 624.775
INFO - Atoms: 51347/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 497 Props: 27230151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.55 Prop: 27162.409 PropClause: 26486.47 Set: 5104.918 Check: 0.0 Back: 625.954
INFO - Atoms: 51348/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 498 Props: 27281498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.652 Prop: 27208.053 PropClause: 26530.854 Set: 5114.096 Check: 0.0 Back: 627.127
INFO - Atoms: 51347/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 499 Props: 27332653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.657 Prop: 27254.807 PropClause: 26576.343 Set: 5123.238 Check: 0.0 Back: 628.295
INFO - Atoms: 51155/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 500 Props: 27383973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.661 Prop: 27299.186 PropClause: 26619.462 Set: 5132.354 Check: 0.0 Back: 629.462
INFO - Atoms: 51320/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 75174 Tprops: 18684 Decides: 83722 RSplits: 0
INFO - Times: Expl: 390.977 Prop: 67149.427 PropClause: 32.945 Set: 15796.83 Check: 701.714 Back: 407.609
INFO - Atoms: 4/1158 Clauses: 500 Axioms: 1158
INFO - CCTimes: iE 919676 eq 39748876 cc 154225732 setRep 102898950
INFO - Merges: 656082, cc:1266886
INFO - BVTimes: BB 238945919 BB_DPLL 60110618909 Graph 352899576
INFO - BitBlastingClauses: 634690 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 501 Props: 27435104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.668 Prop: 27346.787 PropClause: 26665.806 Set: 5141.303 Check: 0.0 Back: 630.632
INFO - Atoms: 51131/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 502 Props: 27486444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.673 Prop: 27391.812 PropClause: 26709.567 Set: 5150.246 Check: 0.0 Back: 631.806
INFO - Atoms: 51340/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 503 Props: 27536925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.781 Prop: 27437.079 PropClause: 26753.591 Set: 5158.947 Check: 0.0 Back: 632.98
INFO - Atoms: 50481/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 504 Props: 27587619 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.786 Prop: 27482.626 PropClause: 26797.895 Set: 5167.765 Check: 0.0 Back: 634.131
INFO - Atoms: 50694/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 505 Props: 27638099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.792 Prop: 27527.958 PropClause: 26841.992 Set: 5176.468 Check: 0.0 Back: 635.281
INFO - Atoms: 50480/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 506 Props: 27688383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.8 Prop: 27572.695 PropClause: 26885.496 Set: 5185.101 Check: 0.0 Back: 636.445
INFO - Atoms: 50284/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 507 Props: 27739127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.806 Prop: 27621.035 PropClause: 26932.57 Set: 5194.02 Check: 0.0 Back: 637.59
INFO - Atoms: 50744/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 508 Props: 27790068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.814 Prop: 27669.932 PropClause: 26980.205 Set: 5202.973 Check: 0.0 Back: 638.756
INFO - Atoms: 50941/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 509 Props: 27841228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.826 Prop: 27718.017 PropClause: 27027.019 Set: 5211.964 Check: 0.0 Back: 639.936
INFO - Atoms: 51160/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 510 Props: 27892559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.834 Prop: 27766.176 PropClause: 27073.906 Set: 5220.997 Check: 0.0 Back: 641.1
INFO - Atoms: 51331/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 511 Props: 27944107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.841 Prop: 27816.133 PropClause: 27122.588 Set: 5230.093 Check: 0.0 Back: 642.286
INFO - Atoms: 51548/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 512 Props: 27995828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.848 Prop: 27866.63 PropClause: 27171.802 Set: 5239.368 Check: 0.0 Back: 643.47
INFO - Atoms: 51721/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 513 Props: 28047766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.855 Prop: 27916.331 PropClause: 27220.201 Set: 5248.53 Check: 0.0 Back: 644.654
INFO - Atoms: 51938/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 514 Props: 28099877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.862 Prop: 27964.38 PropClause: 27266.964 Set: 5257.697 Check: 0.0 Back: 645.85
INFO - Atoms: 52111/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 515 Props: 28152205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.867 Prop: 28014.577 PropClause: 27315.863 Set: 5266.945 Check: 0.0 Back: 647.047
INFO - Atoms: 52328/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 516 Props: 28204706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.871 Prop: 28064.142 PropClause: 27364.136 Set: 5276.164 Check: 0.0 Back: 648.254
INFO - Atoms: 52501/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 517 Props: 28257424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.878 Prop: 28114.144 PropClause: 27412.837 Set: 5285.435 Check: 0.0 Back: 649.456
INFO - Atoms: 52718/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 518 Props: 28310315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.884 Prop: 28164.897 PropClause: 27462.283 Set: 5294.851 Check: 0.0 Back: 650.688
INFO - Atoms: 52891/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 519 Props: 28363423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.89 Prop: 28215.499 PropClause: 27511.573 Set: 5304.21 Check: 0.0 Back: 651.911
INFO - Atoms: 53108/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 520 Props: 28416704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.896 Prop: 28266.497 PropClause: 27561.254 Set: 5313.621 Check: 0.0 Back: 653.132
INFO - Atoms: 53281/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 521 Props: 28470202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.902 Prop: 28317.0 PropClause: 27610.428 Set: 5323.123 Check: 0.0 Back: 654.357
INFO - Atoms: 53498/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 522 Props: 28523873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.911 Prop: 28372.277 PropClause: 27664.387 Set: 5332.829 Check: 0.0 Back: 655.586
INFO - Atoms: 53671/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 523 Props: 28577761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.918 Prop: 28427.109 PropClause: 27717.857 Set: 5342.576 Check: 0.0 Back: 656.839
INFO - Atoms: 53888/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 524 Props: 28631822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.924 Prop: 28479.385 PropClause: 27768.792 Set: 5352.153 Check: 0.0 Back: 658.086
INFO - Atoms: 54061/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 525 Props: 28686100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.93 Prop: 28529.954 PropClause: 27818.016 Set: 5361.773 Check: 0.0 Back: 659.333
INFO - Atoms: 54278/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 526 Props: 28740551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.937 Prop: 28581.791 PropClause: 27868.508 Set: 5371.496 Check: 0.0 Back: 660.575
INFO - Atoms: 54451/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 527 Props: 28795219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.944 Prop: 28639.101 PropClause: 27924.461 Set: 5381.232 Check: 0.0 Back: 661.82
INFO - Atoms: 54668/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 528 Props: 28850060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.95 Prop: 28695.255 PropClause: 27979.269 Set: 5390.971 Check: 0.0 Back: 663.071
INFO - Atoms: 54841/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 529 Props: 28905118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.957 Prop: 28747.973 PropClause: 28030.629 Set: 5400.782 Check: 0.0 Back: 664.326
INFO - Atoms: 55058/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 530 Props: 28960349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.964 Prop: 28802.086 PropClause: 28083.379 Set: 5410.61 Check: 0.0 Back: 665.584
INFO - Atoms: 55231/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 531 Props: 29015797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.969 Prop: 28856.085 PropClause: 28136.008 Set: 5420.404 Check: 0.0 Back: 666.856
INFO - Atoms: 55448/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 532 Props: 29071418 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.975 Prop: 28909.341 PropClause: 28187.899 Set: 5430.271 Check: 0.0 Back: 668.126
INFO - Atoms: 55621/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 533 Props: 29127256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.98 Prop: 28963.977 PropClause: 28241.157 Set: 5440.3 Check: 0.0 Back: 669.403
INFO - Atoms: 55838/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 534 Props: 29183267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.987 Prop: 29019.769 PropClause: 28295.565 Set: 5450.249 Check: 0.0 Back: 670.679
INFO - Atoms: 56011/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 535 Props: 29239495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.993 Prop: 29074.722 PropClause: 28349.136 Set: 5460.197 Check: 0.0 Back: 671.975
INFO - Atoms: 56228/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 536 Props: 29295896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.999 Prop: 29130.033 PropClause: 28403.051 Set: 5470.267 Check: 0.0 Back: 673.265
INFO - Atoms: 56401/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 537 Props: 29352514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.004 Prop: 29185.784 PropClause: 28457.4 Set: 5480.281 Check: 0.0 Back: 674.557
INFO - Atoms: 56618/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 538 Props: 29409305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.01 Prop: 29241.848 PropClause: 28512.066 Set: 5490.411 Check: 0.0 Back: 675.857
INFO - Atoms: 56791/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 539 Props: 29466313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.015 Prop: 29298.02 PropClause: 28566.835 Set: 5500.652 Check: 0.0 Back: 677.161
INFO - Atoms: 57008/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 540 Props: 29523494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.021 Prop: 29354.762 PropClause: 28622.159 Set: 5510.943 Check: 0.0 Back: 678.467
INFO - Atoms: 57181/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 541 Props: 29580892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.025 Prop: 29411.631 PropClause: 28677.615 Set: 5521.205 Check: 0.0 Back: 679.783
INFO - Atoms: 57398/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 542 Props: 29638463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.033 Prop: 29471.402 PropClause: 28735.963 Set: 5531.587 Check: 0.0 Back: 681.092
INFO - Atoms: 57571/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 543 Props: 29696251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.038 Prop: 29530.695 PropClause: 28793.835 Set: 5541.841 Check: 0.0 Back: 682.413
INFO - Atoms: 57788/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 544 Props: 29754212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.045 Prop: 29590.029 PropClause: 28851.734 Set: 5552.225 Check: 0.0 Back: 683.75
INFO - Atoms: 57961/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 545 Props: 29812390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.052 Prop: 29650.8 PropClause: 28911.068 Set: 5562.729 Check: 0.0 Back: 685.081
INFO - Atoms: 58178/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 546 Props: 29870741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.059 Prop: 29712.704 PropClause: 28971.515 Set: 5573.419 Check: 0.0 Back: 686.414
INFO - Atoms: 58351/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 547 Props: 29929309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.067 Prop: 29771.597 PropClause: 29028.96 Set: 5583.939 Check: 0.0 Back: 687.765
INFO - Atoms: 58568/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 548 Props: 29988050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.073 Prop: 29830.04 PropClause: 29085.943 Set: 5594.464 Check: 0.0 Back: 689.12
INFO - Atoms: 58741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 549 Props: 30047008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.08 Prop: 29888.989 PropClause: 29143.432 Set: 5605.007 Check: 0.0 Back: 690.47
INFO - Atoms: 58958/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 550 Props: 30106139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.086 Prop: 29946.427 PropClause: 29199.409 Set: 5615.528 Check: 0.0 Back: 691.827
INFO - Atoms: 59131/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 551 Props: 30165487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.092 Prop: 30008.105 PropClause: 29259.611 Set: 5626.271 Check: 0.0 Back: 693.194
INFO - Atoms: 59348/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 552 Props: 30225008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.098 Prop: 30071.572 PropClause: 29321.595 Set: 5637.1 Check: 0.0 Back: 694.568
INFO - Atoms: 59521/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 553 Props: 30284746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.104 Prop: 30130.516 PropClause: 29379.057 Set: 5647.799 Check: 0.0 Back: 695.963
INFO - Atoms: 59738/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 554 Props: 30344657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.11 Prop: 30190.475 PropClause: 29437.531 Set: 5658.515 Check: 0.0 Back: 697.335
INFO - Atoms: 59911/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 555 Props: 30404785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.118 Prop: 30251.219 PropClause: 29496.782 Set: 5685.816 Check: 0.0 Back: 698.712
INFO - Atoms: 60128/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 556 Props: 30465086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.124 Prop: 30312.042 PropClause: 29556.101 Set: 5696.678 Check: 0.0 Back: 700.087
INFO - Atoms: 60301/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 557 Props: 30525604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.133 Prop: 30376.209 PropClause: 29618.771 Set: 5707.64 Check: 0.0 Back: 701.478
INFO - Atoms: 60518/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 558 Props: 30586295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.14 Prop: 30440.59 PropClause: 29681.66 Set: 5718.743 Check: 0.0 Back: 702.869
INFO - Atoms: 60691/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 559 Props: 30647203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.147 Prop: 30503.867 PropClause: 29743.429 Set: 5729.776 Check: 0.0 Back: 704.257
INFO - Atoms: 60908/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 560 Props: 30708284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.153 Prop: 30562.9 PropClause: 29800.952 Set: 5740.601 Check: 0.0 Back: 705.656
INFO - Atoms: 61081/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 561 Props: 30769582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.158 Prop: 30621.981 PropClause: 29858.519 Set: 5751.506 Check: 0.0 Back: 707.045
INFO - Atoms: 61298/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 562 Props: 30831053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.163 Prop: 30682.451 PropClause: 29917.482 Set: 5762.418 Check: 0.0 Back: 708.447
INFO - Atoms: 61471/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 563 Props: 30892741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.17 Prop: 30744.257 PropClause: 29977.773 Set: 5773.374 Check: 0.0 Back: 709.852
INFO - Atoms: 61688/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 564 Props: 30954602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.175 Prop: 30803.413 PropClause: 30035.409 Set: 5784.335 Check: 0.0 Back: 711.254
INFO - Atoms: 61861/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 565 Props: 31016680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.18 Prop: 30862.634 PropClause: 30093.1 Set: 5795.359 Check: 0.0 Back: 712.669
INFO - Atoms: 62078/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 566 Props: 31078931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.187 Prop: 30922.568 PropClause: 30151.488 Set: 5806.49 Check: 0.0 Back: 714.086
INFO - Atoms: 62251/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 567 Props: 31141399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.194 Prop: 30983.527 PropClause: 30210.913 Set: 5817.623 Check: 0.0 Back: 715.528
INFO - Atoms: 62468/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 568 Props: 31204040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.201 Prop: 31044.356 PropClause: 30270.2 Set: 5856.716 Check: 0.0 Back: 716.957
INFO - Atoms: 62641/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 569 Props: 31266898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.206 Prop: 31105.119 PropClause: 30329.406 Set: 5867.933 Check: 0.0 Back: 718.369
INFO - Atoms: 62858/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 570 Props: 31329929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.212 Prop: 31165.895 PropClause: 30388.636 Set: 5879.128 Check: 0.0 Back: 719.809
INFO - Atoms: 63031/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 571 Props: 31393177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.218 Prop: 31231.125 PropClause: 30452.307 Set: 5890.536 Check: 0.0 Back: 721.246
INFO - Atoms: 63248/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 572 Props: 31456598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.223 Prop: 31294.351 PropClause: 30513.98 Set: 5901.855 Check: 0.0 Back: 722.69
INFO - Atoms: 63421/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 573 Props: 31520236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.228 Prop: 31360.523 PropClause: 30578.589 Set: 5913.34 Check: 0.0 Back: 724.138
INFO - Atoms: 63638/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 574 Props: 31584047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.233 Prop: 31425.787 PropClause: 30642.28 Set: 5924.798 Check: 0.0 Back: 725.594
INFO - Atoms: 63811/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 575 Props: 31648075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.238 Prop: 31492.679 PropClause: 30707.605 Set: 5936.348 Check: 0.0 Back: 727.052
INFO - Atoms: 64028/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 576 Props: 31712276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.244 Prop: 31559.221 PropClause: 30772.575 Set: 5947.933 Check: 0.0 Back: 728.512
INFO - Atoms: 64201/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 577 Props: 31776694 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.249 Prop: 31625.659 PropClause: 30837.429 Set: 5959.489 Check: 0.0 Back: 729.979
INFO - Atoms: 64418/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 578 Props: 31841285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.255 Prop: 31691.962 PropClause: 30902.138 Set: 5971.104 Check: 0.0 Back: 731.455
INFO - Atoms: 64591/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 579 Props: 31906093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.261 Prop: 31759.613 PropClause: 30968.189 Set: 5982.857 Check: 0.0 Back: 732.924
INFO - Atoms: 64808/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 580 Props: 31971074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.266 Prop: 31829.145 PropClause: 31036.128 Set: 5994.626 Check: 0.0 Back: 734.415
INFO - Atoms: 64981/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 581 Props: 32036272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.272 Prop: 31900.6 PropClause: 31105.983 Set: 6006.459 Check: 0.0 Back: 735.909
INFO - Atoms: 65198/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 582 Props: 32101643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.28 Prop: 31971.813 PropClause: 31175.586 Set: 6018.293 Check: 0.0 Back: 737.411
INFO - Atoms: 65371/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 583 Props: 32167231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.287 Prop: 32042.235 PropClause: 31244.395 Set: 6030.189 Check: 0.0 Back: 738.919
INFO - Atoms: 65588/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 584 Props: 32232992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.293 Prop: 32111.877 PropClause: 31312.42 Set: 6042.106 Check: 0.0 Back: 740.412
INFO - Atoms: 65761/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 585 Props: 32298970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.3 Prop: 32181.52 PropClause: 31380.444 Set: 6054.087 Check: 0.0 Back: 741.916
INFO - Atoms: 65978/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 586 Props: 32365121 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.308 Prop: 32253.068 PropClause: 31450.369 Set: 6066.135 Check: 0.0 Back: 743.428
INFO - Atoms: 66151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 587 Props: 32431489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.314 Prop: 32326.826 PropClause: 31522.503 Set: 6078.248 Check: 0.0 Back: 744.94
INFO - Atoms: 66368/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 588 Props: 32498030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.321 Prop: 32395.845 PropClause: 31589.893 Set: 6090.21 Check: 0.0 Back: 746.491
INFO - Atoms: 66541/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 589 Props: 32564788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.329 Prop: 32466.983 PropClause: 31659.394 Set: 6102.322 Check: 0.0 Back: 748.007
INFO - Atoms: 66758/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 590 Props: 32631719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.335 Prop: 32537.257 PropClause: 31728.022 Set: 6114.386 Check: 0.0 Back: 749.54
INFO - Atoms: 66931/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 591 Props: 32698867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.34 Prop: 32609.054 PropClause: 31798.168 Set: 6126.609 Check: 0.0 Back: 751.069
INFO - Atoms: 67148/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 592 Props: 32766188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.348 Prop: 32678.91 PropClause: 31866.358 Set: 6149.962 Check: 0.0 Back: 752.608
INFO - Atoms: 67321/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 593 Props: 32833726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.353 Prop: 32750.465 PropClause: 31936.261 Set: 6162.219 Check: 0.0 Back: 754.143
INFO - Atoms: 67538/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 594 Props: 32901437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.361 Prop: 32822.624 PropClause: 32006.756 Set: 6174.558 Check: 0.0 Back: 755.677
INFO - Atoms: 67711/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 595 Props: 32969365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.367 Prop: 32899.408 PropClause: 32081.868 Set: 6186.998 Check: 0.0 Back: 757.228
INFO - Atoms: 67928/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 596 Props: 33037466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.375 Prop: 32971.378 PropClause: 32152.157 Set: 6199.347 Check: 0.0 Back: 758.777
INFO - Atoms: 68101/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 597 Props: 33105784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.381 Prop: 33052.053 PropClause: 32231.162 Set: 6211.912 Check: 0.0 Back: 760.328
INFO - Atoms: 68318/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 598 Props: 33174275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.386 Prop: 33126.918 PropClause: 32304.356 Set: 6224.277 Check: 0.0 Back: 761.89
INFO - Atoms: 68491/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 599 Props: 33242983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.391 Prop: 33200.334 PropClause: 32376.092 Set: 6236.822 Check: 0.0 Back: 763.452
INFO - Atoms: 68708/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 600 Props: 33311864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.397 Prop: 33279.589 PropClause: 32453.656 Set: 6249.527 Check: 0.0 Back: 765.027
INFO - Atoms: 68881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 601 Props: 33380962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.402 Prop: 33357.544 PropClause: 32529.918 Set: 6262.142 Check: 0.0 Back: 766.602
INFO - Atoms: 69098/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 602 Props: 33450233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.408 Prop: 33432.805 PropClause: 32603.466 Set: 6274.755 Check: 0.0 Back: 768.174
INFO - Atoms: 69271/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 603 Props: 33519721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.415 Prop: 33513.139 PropClause: 32682.091 Set: 6287.52 Check: 0.0 Back: 769.762
INFO - Atoms: 69488/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 604 Props: 33589382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.42 Prop: 33592.115 PropClause: 32759.358 Set: 6300.239 Check: 0.0 Back: 771.342
INFO - Atoms: 69661/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 605 Props: 33659260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.425 Prop: 33668.376 PropClause: 32833.906 Set: 6312.939 Check: 0.0 Back: 772.938
INFO - Atoms: 69878/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 606 Props: 33729311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.431 Prop: 33742.611 PropClause: 32906.429 Set: 6325.619 Check: 0.0 Back: 774.541
INFO - Atoms: 70051/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 607 Props: 33799579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.436 Prop: 33819.529 PropClause: 32981.624 Set: 6338.403 Check: 0.0 Back: 776.142
INFO - Atoms: 70268/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 608 Props: 33870020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.443 Prop: 33895.125 PropClause: 33055.434 Set: 6351.23 Check: 0.0 Back: 777.745
INFO - Atoms: 70441/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 609 Props: 33940678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.448 Prop: 33971.812 PropClause: 33130.383 Set: 6364.17 Check: 0.0 Back: 779.367
INFO - Atoms: 70658/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 610 Props: 34011509 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.454 Prop: 34052.633 PropClause: 33209.462 Set: 6377.355 Check: 0.0 Back: 780.992
INFO - Atoms: 70831/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 611 Props: 34082557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.46 Prop: 34134.112 PropClause: 33289.186 Set: 6390.437 Check: 0.0 Back: 782.631
INFO - Atoms: 71048/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 612 Props: 34153778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.466 Prop: 34211.957 PropClause: 33365.279 Set: 6403.442 Check: 0.0 Back: 784.257
INFO - Atoms: 71221/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 613 Props: 34225216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.473 Prop: 34290.638 PropClause: 33442.206 Set: 6427.95 Check: 0.0 Back: 785.914
INFO - Atoms: 71438/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 614 Props: 34296827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.481 Prop: 34366.741 PropClause: 33516.546 Set: 6441.034 Check: 0.0 Back: 787.54
INFO - Atoms: 71611/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 615 Props: 34368655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.487 Prop: 34443.016 PropClause: 33591.065 Set: 6453.977 Check: 0.0 Back: 789.176
INFO - Atoms: 71828/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 616 Props: 34440656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.493 Prop: 34518.54 PropClause: 33664.819 Set: 6467.095 Check: 0.0 Back: 790.82
INFO - Atoms: 72001/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 617 Props: 34512874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.497 Prop: 34595.136 PropClause: 33739.641 Set: 6480.25 Check: 0.0 Back: 792.47
INFO - Atoms: 72218/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 618 Props: 34585265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.504 Prop: 34677.969 PropClause: 33820.68 Set: 6493.644 Check: 0.0 Back: 794.116
INFO - Atoms: 72391/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 619 Props: 34657873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.511 Prop: 34757.077 PropClause: 33897.985 Set: 6506.898 Check: 0.0 Back: 795.775
INFO - Atoms: 72608/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 620 Props: 34730654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.519 Prop: 34835.744 PropClause: 33974.844 Set: 6520.235 Check: 0.0 Back: 797.453
INFO - Atoms: 72781/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 621 Props: 34803652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.525 Prop: 34913.782 PropClause: 34051.088 Set: 6533.469 Check: 0.0 Back: 799.123
INFO - Atoms: 72998/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 622 Props: 34876823 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.53 Prop: 34990.389 PropClause: 34125.903 Set: 6546.736 Check: 0.0 Back: 800.805
INFO - Atoms: 73171/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 623 Props: 34950211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.538 Prop: 35067.383 PropClause: 34201.11 Set: 6560.056 Check: 0.0 Back: 802.479
INFO - Atoms: 73388/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 624 Props: 35023772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.546 Prop: 35147.729 PropClause: 34279.659 Set: 6573.404 Check: 0.0 Back: 804.163
INFO - Atoms: 73561/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 625 Props: 35097550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.552 Prop: 35226.524 PropClause: 34356.654 Set: 6586.704 Check: 0.0 Back: 805.848
INFO - Atoms: 73778/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 626 Props: 35171501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.56 Prop: 35304.705 PropClause: 34433.016 Set: 6600.196 Check: 0.0 Back: 807.518
INFO - Atoms: 73951/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 627 Props: 35245668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.565 Prop: 35383.014 PropClause: 34509.513 Set: 6613.563 Check: 0.0 Back: 809.211
INFO - Atoms: 74167/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 628 Props: 35320009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.57 Prop: 35460.016 PropClause: 34584.7 Set: 6627.044 Check: 0.0 Back: 810.898
INFO - Atoms: 74341/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 629 Props: 35394566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.577 Prop: 35538.749 PropClause: 34661.599 Set: 6640.597 Check: 0.0 Back: 812.591
INFO - Atoms: 74557/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 630 Props: 35469297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.582 Prop: 35618.433 PropClause: 34739.454 Set: 6654.305 Check: 0.0 Back: 814.29
INFO - Atoms: 74731/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 631 Props: 35544386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.587 Prop: 35697.417 PropClause: 34816.6 Set: 6668.016 Check: 0.0 Back: 815.996
INFO - Atoms: 75089/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 632 Props: 35619671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.593 Prop: 35775.589 PropClause: 34892.936 Set: 6681.551 Check: 0.0 Back: 817.716
INFO - Atoms: 75285/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 633 Props: 35694985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.599 Prop: 35854.803 PropClause: 34970.316 Set: 6695.089 Check: 0.0 Back: 819.428
INFO - Atoms: 75314/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 634 Props: 35745925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.604 Prop: 35918.977 PropClause: 35033.251 Set: 6706.878 Check: 0.0 Back: 821.134
INFO - Atoms: 50940/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1134 Props: 37967825 Tprops: 0 Decides: 6054 RSplits: 0
INFO - Times: Expl: 1345.561 Prop: 37790.456 PropClause: 36845.542 Set: 6763.714 Check: 0.155 Back: 873.955
INFO - Atoms: 24938/75328 Clauses: 1272 Axioms: 248690
INFO - Restart
INFO - Confl: 1634 Props: 39697783 Tprops: 0 Decides: 10367 RSplits: 0
INFO - Times: Expl: 2106.793 Prop: 39256.61 PropClause: 38265.628 Set: 6805.77 Check: 0.268 Back: 914.653
INFO - Atoms: 24949/75328 Clauses: 1772 Axioms: 248690
INFO - Confl: 2262 Props: 41546673 Tprops: 0 Decides: 14180 RSplits: 0
INFO - Times: Expl: 2862.374 Prop: 40643.05 PropClause: 39603.528 Set: 6850.05 Check: 0.373 Back: 957.942
INFO - Atoms: 25023/75328 Clauses: 2400 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 643 Props: 80320 Tprops: 19953 Decides: 91533 RSplits: 0
INFO - Times: Expl: 414.799 Prop: 94381.421 PropClause: 35.879 Set: 16244.596 Check: 758.875 Back: 439.476
INFO - Atoms: 1007/1158 Clauses: 643 Axioms: 1158
INFO - CCTimes: iE 943714 eq 40630243 cc 160606057 setRep 104660889
INFO - Merges: 665928, cc:1310759
INFO - BVTimes: BB 238945919 BB_DPLL 85424367564 Graph 399893636
INFO - BitBlastingClauses: 738910 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat