/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_159_080.smt2 -------------------------------------------------------------------------------- INFO - Starting Bitblasting INFO - Finished Bitblasting in: 279275665 INFO - Bitblasting DPLL: INFO - Confl: 1 Props: 78395 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.633 Prop: 120.707 PropClause: 113.778 Set: 149.955 Check: 0.0 Back: 0.0 INFO - Atoms: 78395/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2 Props: 156157 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.701 Prop: 260.881 PropClause: 250.982 Set: 169.386 Check: 0.0 Back: 2.054 INFO - Atoms: 77762/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3 Props: 233919 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.741 Prop: 370.551 PropClause: 357.466 Set: 187.609 Check: 0.0 Back: 4.086 INFO - Atoms: 77762/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 4 Props: 311681 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.836 Prop: 469.63 PropClause: 454.43 Set: 209.757 Check: 0.0 Back: 5.969 INFO - Atoms: 77762/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 5 Props: 389437 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.895 Prop: 564.095 PropClause: 546.801 Set: 283.444 Check: 0.0 Back: 8.008 INFO - Atoms: 77756/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 6 Props: 467194 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.979 Prop: 653.474 PropClause: 634.247 Set: 298.834 Check: 0.0 Back: 9.864 INFO - Atoms: 77757/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 7 Props: 544950 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.031 Prop: 746.18 PropClause: 725.035 Set: 314.192 Check: 0.0 Back: 11.694 INFO - Atoms: 77756/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 8 Props: 622705 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.545 Prop: 868.685 PropClause: 845.316 Set: 336.059 Check: 0.0 Back: 13.505 INFO - Atoms: 77755/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 9 Props: 700143 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.593 Prop: 987.391 PropClause: 961.774 Set: 355.292 Check: 0.0 Back: 15.499 INFO - Atoms: 77438/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10 Props: 777316 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.646 Prop: 1112.002 PropClause: 1084.168 Set: 376.704 Check: 0.0 Back: 17.331 INFO - Atoms: 77173/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11 Props: 854108 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.697 Prop: 1229.242 PropClause: 1199.131 Set: 408.246 Check: 0.0 Back: 19.309 INFO - Atoms: 76792/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 12 Props: 930634 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.755 Prop: 1346.094 PropClause: 1313.696 Set: 439.076 Check: 0.0 Back: 21.243 INFO - Atoms: 76526/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 13 Props: 1006780 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.828 Prop: 1437.352 PropClause: 1403.077 Set: 487.626 Check: 0.0 Back: 23.219 INFO - Atoms: 76146/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 14 Props: 1082602 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.875 Prop: 1524.676 PropClause: 1488.537 Set: 502.625 Check: 0.0 Back: 25.164 INFO - Atoms: 75822/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 15 Props: 1158102 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.925 Prop: 1620.888 PropClause: 1582.837 Set: 518.112 Check: 0.0 Back: 27.108 INFO - Atoms: 75500/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 16 Props: 1233278 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.975 Prop: 1714.729 PropClause: 1674.821 Set: 533.094 Check: 0.0 Back: 28.865 INFO - Atoms: 75176/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 17 Props: 1308132 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.032 Prop: 1800.635 PropClause: 1758.886 Set: 547.513 Check: 0.0 Back: 30.661 INFO - Atoms: 74854/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 18 Props: 1382721 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.081 Prop: 1892.34 PropClause: 1848.698 Set: 609.984 Check: 0.0 Back: 32.418 INFO - Atoms: 74589/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 19 Props: 1456929 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.127 Prop: 1987.135 PropClause: 1941.623 Set: 624.746 Check: 0.0 Back: 34.235 INFO - Atoms: 74208/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 20 Props: 1530813 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.171 Prop: 2071.961 PropClause: 2024.628 Set: 639.085 Check: 0.0 Back: 36.012 INFO - Atoms: 73884/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21 Props: 1604375 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.218 Prop: 2160.302 PropClause: 2111.134 Set: 653.492 Check: 0.0 Back: 37.751 INFO - Atoms: 73562/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 22 Props: 1677613 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.269 Prop: 2257.163 PropClause: 2205.989 Set: 669.264 Check: 0.0 Back: 39.551 INFO - Atoms: 73238/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 23 Props: 1750529 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.318 Prop: 2356.086 PropClause: 2302.839 Set: 686.979 Check: 0.0 Back: 41.28 INFO - Atoms: 72916/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24 Props: 1823180 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.367 Prop: 2457.764 PropClause: 2402.31 Set: 712.067 Check: 0.0 Back: 43.135 INFO - Atoms: 72651/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 25 Props: 1895450 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.413 Prop: 2541.789 PropClause: 2484.548 Set: 734.645 Check: 0.0 Back: 44.856 INFO - Atoms: 72270/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 26 Props: 1967396 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.46 Prop: 2630.076 PropClause: 2571.037 Set: 757.434 Check: 0.0 Back: 46.596 INFO - Atoms: 71946/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 27 Props: 2039020 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.507 Prop: 2714.997 PropClause: 2654.185 Set: 779.83 Check: 0.0 Back: 48.317 INFO - Atoms: 71624/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 28 Props: 2110379 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.555 Prop: 2798.576 PropClause: 2736.014 Set: 801.716 Check: 0.0 Back: 50.032 INFO - Atoms: 71359/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 29 Props: 2181357 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.604 Prop: 2878.843 PropClause: 2814.533 Set: 840.433 Check: 0.0 Back: 51.727 INFO - Atoms: 70978/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 30 Props: 2252011 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.651 Prop: 2962.398 PropClause: 2896.337 Set: 854.067 Check: 0.0 Back: 53.426 INFO - Atoms: 70654/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 31 Props: 2322343 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.698 Prop: 3037.797 PropClause: 2969.993 Set: 867.092 Check: 0.0 Back: 55.076 INFO - Atoms: 70332/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 32 Props: 2392409 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.747 Prop: 3115.85 PropClause: 3046.299 Set: 880.421 Check: 0.0 Back: 56.741 INFO - Atoms: 70066/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 33 Props: 2462095 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.794 Prop: 3194.616 PropClause: 3123.358 Set: 893.695 Check: 0.0 Back: 58.386 INFO - Atoms: 69686/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 34 Props: 2531515 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.852 Prop: 3278.889 PropClause: 3205.927 Set: 907.112 Check: 0.0 Back: 60.046 INFO - Atoms: 69420/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 35 Props: 2600555 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.902 Prop: 3357.686 PropClause: 3283.017 Set: 920.481 Check: 0.0 Back: 61.741 INFO - Atoms: 69040/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 36 Props: 2669329 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.951 Prop: 3438.96 PropClause: 3362.604 Set: 933.735 Check: 0.0 Back: 63.443 INFO - Atoms: 68774/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 37 Props: 2737723 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.009 Prop: 3516.781 PropClause: 3438.721 Set: 946.563 Check: 0.0 Back: 65.052 INFO - Atoms: 68394/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 38 Props: 2805851 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.058 Prop: 3591.657 PropClause: 3511.927 Set: 959.335 Check: 0.0 Back: 66.733 INFO - Atoms: 68128/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 39 Props: 2873599 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.1 Prop: 3665.973 PropClause: 3584.582 Set: 971.812 Check: 0.0 Back: 68.351 INFO - Atoms: 67748/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 40 Props: 2941080 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.143 Prop: 3741.488 PropClause: 3658.427 Set: 984.698 Check: 0.0 Back: 69.967 INFO - Atoms: 67481/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 41 Props: 3008182 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.194 Prop: 3815.197 PropClause: 3730.475 Set: 997.116 Check: 0.0 Back: 71.544 INFO - Atoms: 67102/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 42 Props: 3074960 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.249 Prop: 3892.272 PropClause: 3805.904 Set: 1009.87 Check: 0.0 Back: 73.179 INFO - Atoms: 66778/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 43 Props: 3141416 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.298 Prop: 3970.533 PropClause: 3882.42 Set: 1023.124 Check: 0.0 Back: 74.788 INFO - Atoms: 66456/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 44 Props: 3207548 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.344 Prop: 4041.412 PropClause: 3951.687 Set: 1035.598 Check: 0.0 Back: 76.418 INFO - Atoms: 66132/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 45 Props: 3273358 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.39 Prop: 4111.67 PropClause: 4020.344 Set: 1047.954 Check: 0.0 Back: 77.983 INFO - Atoms: 65810/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 46 Props: 3338902 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.445 Prop: 4188.604 PropClause: 4095.659 Set: 1060.354 Check: 0.0 Back: 79.577 INFO - Atoms: 65544/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 47 Props: 3404066 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.494 Prop: 4264.659 PropClause: 4170.116 Set: 1072.768 Check: 0.0 Back: 81.133 INFO - Atoms: 65164/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 48 Props: 3468906 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.545 Prop: 4343.001 PropClause: 4246.834 Set: 1085.441 Check: 0.0 Back: 82.692 INFO - Atoms: 64840/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 49 Props: 3533424 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.6 Prop: 4419.387 PropClause: 4321.527 Set: 1098.576 Check: 0.0 Back: 84.362 INFO - Atoms: 64518/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 50 Props: 3597676 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.651 Prop: 4496.713 PropClause: 4397.281 Set: 1110.904 Check: 0.0 Back: 86.052 INFO - Atoms: 64252/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 51 Props: 3661548 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.696 Prop: 4564.5 PropClause: 4463.504 Set: 1123.029 Check: 0.0 Back: 87.585 INFO - Atoms: 63872/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 52 Props: 3725096 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.743 Prop: 4634.091 PropClause: 4531.548 Set: 1135.011 Check: 0.0 Back: 89.129 INFO - Atoms: 63548/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 53 Props: 3788322 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.895 Prop: 4706.046 PropClause: 4601.935 Set: 1153.977 Check: 0.0 Back: 90.65 INFO - Atoms: 63226/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 54 Props: 3851283 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.917 Prop: 4787.176 PropClause: 4681.441 Set: 1173.237 Check: 0.0 Back: 92.192 INFO - Atoms: 62961/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 55 Props: 3913863 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.938 Prop: 4858.729 PropClause: 4751.462 Set: 1191.333 Check: 0.0 Back: 93.758 INFO - Atoms: 62580/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 56 Props: 3976177 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.959 Prop: 4931.44 PropClause: 4822.649 Set: 1203.208 Check: 0.0 Back: 95.279 INFO - Atoms: 62314/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 57 Props: 4038111 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.981 Prop: 5000.599 PropClause: 4890.292 Set: 1214.779 Check: 0.0 Back: 96.772 INFO - Atoms: 61934/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 58 Props: 4099721 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.005 Prop: 5068.327 PropClause: 4956.513 Set: 1226.481 Check: 0.0 Back: 98.283 INFO - Atoms: 61610/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 59 Props: 4161009 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.028 Prop: 5138.389 PropClause: 5025.061 Set: 1238.08 Check: 0.0 Back: 99.77 INFO - Atoms: 61288/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 60 Props: 4222031 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.053 Prop: 5211.99 PropClause: 5097.141 Set: 1249.967 Check: 0.0 Back: 101.285 INFO - Atoms: 61022/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 61 Props: 4282673 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.076 Prop: 5282.958 PropClause: 5166.609 Set: 1261.539 Check: 0.0 Back: 102.783 INFO - Atoms: 60642/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 62 Props: 4343048 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.099 Prop: 5349.392 PropClause: 5231.56 Set: 1272.96 Check: 0.0 Back: 104.295 INFO - Atoms: 60375/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 63 Props: 4403044 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.122 Prop: 5413.918 PropClause: 5294.614 Set: 1284.231 Check: 0.0 Back: 105.761 INFO - Atoms: 59996/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 64 Props: 4462716 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.147 Prop: 5485.012 PropClause: 5364.223 Set: 1295.996 Check: 0.0 Back: 107.261 INFO - Atoms: 59672/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 65 Props: 4522066 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.165 Prop: 5548.103 PropClause: 5425.866 Set: 1306.858 Check: 0.0 Back: 108.712 INFO - Atoms: 59350/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 66 Props: 4581092 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.187 Prop: 5608.733 PropClause: 5485.047 Set: 1317.917 Check: 0.0 Back: 110.15 INFO - Atoms: 59026/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 67 Props: 4639796 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.206 Prop: 5668.176 PropClause: 5543.058 Set: 1328.775 Check: 0.0 Back: 111.583 INFO - Atoms: 58704/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 68 Props: 4698176 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.224 Prop: 5734.358 PropClause: 5607.813 Set: 1339.786 Check: 0.0 Back: 113.036 INFO - Atoms: 58380/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 69 Props: 4756234 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.246 Prop: 5799.29 PropClause: 5671.329 Set: 1350.454 Check: 0.0 Back: 114.441 INFO - Atoms: 58058/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 70 Props: 4814026 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.268 Prop: 5864.352 PropClause: 5734.975 Set: 1361.255 Check: 0.0 Back: 115.896 INFO - Atoms: 57792/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 71 Props: 4871438 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.289 Prop: 5927.981 PropClause: 5797.196 Set: 1371.952 Check: 0.0 Back: 117.288 INFO - Atoms: 57412/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 72 Props: 4928526 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.31 Prop: 5992.519 PropClause: 5860.332 Set: 1382.688 Check: 0.0 Back: 118.698 INFO - Atoms: 57088/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 73 Props: 4985292 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.33 Prop: 6051.947 PropClause: 5918.362 Set: 1393.176 Check: 0.0 Back: 120.009 INFO - Atoms: 56766/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 74 Props: 5041734 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.347 Prop: 6112.483 PropClause: 5977.523 Set: 1403.668 Check: 0.0 Back: 121.388 INFO - Atoms: 56442/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 75 Props: 5097854 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.367 Prop: 6170.597 PropClause: 6034.268 Set: 1414.039 Check: 0.0 Back: 122.743 INFO - Atoms: 56120/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 76 Props: 5153650 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.386 Prop: 6231.026 PropClause: 6093.319 Set: 1424.455 Check: 0.0 Back: 124.113 INFO - Atoms: 55796/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 77 Props: 5209124 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.406 Prop: 6290.955 PropClause: 6151.885 Set: 1434.758 Check: 0.0 Back: 125.458 INFO - Atoms: 55474/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 78 Props: 5264333 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.424 Prop: 6350.502 PropClause: 6210.074 Set: 1445.091 Check: 0.0 Back: 126.796 INFO - Atoms: 55209/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 79 Props: 5319161 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.443 Prop: 6406.973 PropClause: 6265.208 Set: 1455.015 Check: 0.0 Back: 128.142 INFO - Atoms: 54828/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 80 Props: 5373722 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.463 Prop: 6466.568 PropClause: 6323.468 Set: 1465.173 Check: 0.0 Back: 129.468 INFO - Atoms: 54561/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 81 Props: 5427904 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.48 Prop: 6523.094 PropClause: 6378.676 Set: 1474.953 Check: 0.0 Back: 130.786 INFO - Atoms: 54182/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 82 Props: 5481762 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.496 Prop: 6574.692 PropClause: 6428.955 Set: 1484.782 Check: 0.0 Back: 132.094 INFO - Atoms: 53858/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 83 Props: 5535298 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.52 Prop: 6628.692 PropClause: 6481.636 Set: 1494.602 Check: 0.0 Back: 133.396 INFO - Atoms: 53536/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 84 Props: 5588569 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.543 Prop: 6698.461 PropClause: 6549.869 Set: 1507.292 Check: 0.0 Back: 134.735 INFO - Atoms: 53271/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 85 Props: 5641459 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.615 Prop: 6757.534 PropClause: 6607.606 Set: 1517.254 Check: 0.0 Back: 136.107 INFO - Atoms: 52890/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 86 Props: 5695617 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.626 Prop: 6811.475 PropClause: 6660.197 Set: 1527.558 Check: 0.0 Back: 137.428 INFO - Atoms: 54158/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 87 Props: 5749775 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.635 Prop: 6862.705 PropClause: 6710.096 Set: 1537.592 Check: 0.0 Back: 138.753 INFO - Atoms: 54158/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 88 Props: 5804256 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.646 Prop: 6932.189 PropClause: 6778.026 Set: 1551.658 Check: 0.0 Back: 140.093 INFO - Atoms: 54481/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 89 Props: 5859126 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.657 Prop: 6996.488 PropClause: 6840.75 Set: 1565.794 Check: 0.0 Back: 141.472 INFO - Atoms: 54870/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 90 Props: 5913930 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.668 Prop: 7062.483 PropClause: 6905.171 Set: 1580.05 Check: 0.0 Back: 142.867 INFO - Atoms: 54804/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 91 Props: 5969050 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.68 Prop: 7133.635 PropClause: 6974.751 Set: 1594.595 Check: 0.0 Back: 144.263 INFO - Atoms: 55120/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 92 Props: 6024109 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.692 Prop: 7195.002 PropClause: 7034.643 Set: 1606.054 Check: 0.0 Back: 145.656 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 93 Props: 6078915 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.702 Prop: 7249.051 PropClause: 7087.345 Set: 1616.226 Check: 0.0 Back: 146.978 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 94 Props: 6134095 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.714 Prop: 7311.618 PropClause: 7148.516 Set: 1627.214 Check: 0.0 Back: 148.318 INFO - Atoms: 55180/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 95 Props: 6188899 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.728 Prop: 7373.616 PropClause: 7209.134 Set: 1637.826 Check: 0.0 Back: 149.706 INFO - Atoms: 54804/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 96 Props: 6243956 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.739 Prop: 7430.37 PropClause: 7264.513 Set: 1648.574 Check: 0.0 Back: 151.077 INFO - Atoms: 55057/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 97 Props: 6299078 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.751 Prop: 7489.742 PropClause: 7322.518 Set: 1659.086 Check: 0.0 Back: 152.442 INFO - Atoms: 55122/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 98 Props: 6354135 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.763 Prop: 7549.564 PropClause: 7380.898 Set: 1670.431 Check: 0.0 Back: 153.819 INFO - Atoms: 55057/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 99 Props: 6408941 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.773 Prop: 7608.549 PropClause: 7438.513 Set: 1680.876 Check: 0.0 Back: 155.176 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 100 Props: 6462851 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.784 Prop: 7663.501 PropClause: 7492.129 Set: 1691.006 Check: 0.0 Back: 156.536 INFO - Atoms: 53910/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 101 Props: 6517719 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.83 Prop: 7719.359 PropClause: 7546.624 Set: 1701.232 Check: 0.0 Back: 157.855 INFO - Atoms: 54868/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 102 Props: 6572776 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.886 Prop: 7795.861 PropClause: 7621.532 Set: 1715.157 Check: 0.0 Back: 159.214 INFO - Atoms: 55057/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 103 Props: 6627900 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.956 Prop: 7857.356 PropClause: 7681.659 Set: 1725.748 Check: 0.0 Back: 160.635 INFO - Atoms: 55124/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 104 Props: 6682958 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.969 Prop: 7919.259 PropClause: 7742.041 Set: 1737.486 Check: 0.0 Back: 161.981 INFO - Atoms: 55058/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 105 Props: 6737764 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.98 Prop: 7971.658 PropClause: 7793.097 Set: 1747.672 Check: 0.0 Back: 163.316 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 106 Props: 6791617 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.992 Prop: 8027.746 PropClause: 7847.865 Set: 1757.66 Check: 0.0 Back: 164.659 INFO - Atoms: 53853/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 107 Props: 6846483 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.003 Prop: 8084.795 PropClause: 7903.568 Set: 1768.076 Check: 0.0 Back: 165.994 INFO - Atoms: 54866/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 108 Props: 6901542 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.015 Prop: 8140.353 PropClause: 7957.783 Set: 1778.553 Check: 0.0 Back: 167.368 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 109 Props: 6956666 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.028 Prop: 8197.842 PropClause: 8013.905 Set: 1788.907 Check: 0.0 Back: 168.692 INFO - Atoms: 55124/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 110 Props: 7011725 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.041 Prop: 8262.166 PropClause: 8076.785 Set: 1800.449 Check: 0.0 Back: 170.038 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 111 Props: 7066531 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.054 Prop: 8321.664 PropClause: 8134.933 Set: 1833.449 Check: 0.0 Back: 171.387 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 112 Props: 7120384 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.067 Prop: 8377.862 PropClause: 8189.809 Set: 1843.474 Check: 0.0 Back: 172.734 INFO - Atoms: 53853/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 113 Props: 7175250 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.079 Prop: 8430.645 PropClause: 8241.238 Set: 1853.92 Check: 0.0 Back: 174.05 INFO - Atoms: 54866/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 114 Props: 7230309 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.092 Prop: 8489.522 PropClause: 8298.754 Set: 1864.544 Check: 0.0 Back: 175.417 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 115 Props: 7285431 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.104 Prop: 8547.228 PropClause: 8355.088 Set: 1875.048 Check: 0.0 Back: 176.754 INFO - Atoms: 55122/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 116 Props: 7340490 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.119 Prop: 8606.104 PropClause: 8412.615 Set: 1885.698 Check: 0.0 Back: 178.106 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 117 Props: 7395296 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.132 Prop: 8662.085 PropClause: 8467.242 Set: 1896.559 Check: 0.0 Back: 179.465 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 118 Props: 7450476 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.144 Prop: 8719.762 PropClause: 8523.555 Set: 1907.09 Check: 0.0 Back: 180.803 INFO - Atoms: 55180/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 119 Props: 7505280 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.158 Prop: 8778.026 PropClause: 8580.464 Set: 1917.711 Check: 0.0 Back: 182.133 INFO - Atoms: 54804/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 120 Props: 7560337 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.171 Prop: 8833.811 PropClause: 8634.898 Set: 1928.232 Check: 0.0 Back: 183.504 INFO - Atoms: 55057/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 121 Props: 7615461 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.184 Prop: 8895.391 PropClause: 8694.997 Set: 1939.837 Check: 0.0 Back: 184.861 INFO - Atoms: 55124/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 122 Props: 7670517 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.197 Prop: 8953.598 PropClause: 8751.833 Set: 1950.418 Check: 0.0 Back: 186.262 INFO - Atoms: 55056/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 123 Props: 7725323 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.212 Prop: 9012.396 PropClause: 8809.285 Set: 1961.014 Check: 0.0 Back: 187.607 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 124 Props: 7779233 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.224 Prop: 9074.268 PropClause: 8869.819 Set: 1971.289 Check: 0.0 Back: 189.0 INFO - Atoms: 53910/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 125 Props: 7834101 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.236 Prop: 9139.747 PropClause: 8933.677 Set: 1983.934 Check: 0.0 Back: 190.322 INFO - Atoms: 54868/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 126 Props: 7889158 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.25 Prop: 9201.524 PropClause: 8994.111 Set: 1994.469 Check: 0.0 Back: 191.739 INFO - Atoms: 55057/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 127 Props: 7944282 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.263 Prop: 9258.075 PropClause: 9049.309 Set: 2004.973 Check: 0.0 Back: 193.056 INFO - Atoms: 55124/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 128 Props: 7999341 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.275 Prop: 9314.109 PropClause: 9103.956 Set: 2015.431 Check: 0.0 Back: 194.394 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 129 Props: 8054147 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.292 Prop: 9365.899 PropClause: 9154.398 Set: 2025.717 Check: 0.0 Back: 195.726 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 130 Props: 8108057 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.334 Prop: 9423.457 PropClause: 9210.505 Set: 2036.923 Check: 0.0 Back: 197.091 INFO - Atoms: 53910/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 131 Props: 8162923 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.34 Prop: 9483.514 PropClause: 9269.12 Set: 2048.707 Check: 0.0 Back: 198.47 INFO - Atoms: 54866/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 132 Props: 8217982 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.347 Prop: 9544.08 PropClause: 9328.316 Set: 2059.53 Check: 0.0 Back: 199.888 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 133 Props: 8273104 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.353 Prop: 9600.218 PropClause: 9383.083 Set: 2070.052 Check: 0.0 Back: 201.228 INFO - Atoms: 55122/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 134 Props: 8328162 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.361 Prop: 9660.106 PropClause: 9441.605 Set: 2080.733 Check: 0.0 Back: 202.58 INFO - Atoms: 55058/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 135 Props: 8382968 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.367 Prop: 9715.007 PropClause: 9495.156 Set: 2090.904 Check: 0.0 Back: 203.945 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 136 Props: 8436821 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.374 Prop: 9771.304 PropClause: 9550.11 Set: 2101.243 Check: 0.0 Back: 205.301 INFO - Atoms: 53853/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 137 Props: 8491687 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.382 Prop: 9827.899 PropClause: 9605.234 Set: 2112.665 Check: 0.0 Back: 206.62 INFO - Atoms: 54866/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 138 Props: 8546746 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.389 Prop: 9889.797 PropClause: 9665.657 Set: 2124.666 Check: 0.0 Back: 207.996 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 139 Props: 8601870 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.397 Prop: 9947.474 PropClause: 9721.881 Set: 2135.809 Check: 0.0 Back: 209.354 INFO - Atoms: 55124/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 140 Props: 8656929 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.404 Prop: 10008.183 PropClause: 9781.232 Set: 2146.574 Check: 0.0 Back: 210.714 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 141 Props: 8711735 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.41 Prop: 10064.485 PropClause: 9836.167 Set: 2157.243 Check: 0.0 Back: 212.06 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 142 Props: 8765647 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.416 Prop: 10121.802 PropClause: 9892.151 Set: 2167.568 Check: 0.0 Back: 213.424 INFO - Atoms: 53912/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 143 Props: 8820513 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.424 Prop: 10179.704 PropClause: 9948.697 Set: 2178.165 Check: 0.0 Back: 214.754 INFO - Atoms: 54866/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 144 Props: 8875572 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.431 Prop: 10239.213 PropClause: 10006.84 Set: 2188.975 Check: 0.0 Back: 216.117 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 145 Props: 8930694 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.438 Prop: 10298.85 PropClause: 10065.073 Set: 2199.783 Check: 0.0 Back: 217.467 INFO - Atoms: 55122/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 146 Props: 8985752 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.445 Prop: 10352.657 PropClause: 10117.517 Set: 2210.335 Check: 0.0 Back: 218.867 INFO - Atoms: 55058/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 147 Props: 9040558 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.452 Prop: 10406.871 PropClause: 10170.378 Set: 2220.654 Check: 0.0 Back: 220.218 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 148 Props: 9094411 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.457 Prop: 10462.85 PropClause: 10225.018 Set: 2230.815 Check: 0.0 Back: 221.571 INFO - Atoms: 53853/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 149 Props: 9149277 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.463 Prop: 10518.888 PropClause: 10279.705 Set: 2241.15 Check: 0.0 Back: 222.888 INFO - Atoms: 54866/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 150 Props: 9204336 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.469 Prop: 10573.998 PropClause: 10333.459 Set: 2251.589 Check: 0.0 Back: 224.238 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 151 Props: 9259460 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.475 Prop: 10629.844 PropClause: 10387.945 Set: 2262.241 Check: 0.0 Back: 225.574 INFO - Atoms: 55124/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 152 Props: 9314518 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.482 Prop: 10687.366 PropClause: 10444.114 Set: 2272.85 Check: 0.0 Back: 226.931 INFO - Atoms: 55058/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 153 Props: 9369324 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.488 Prop: 10738.869 PropClause: 10494.268 Set: 2283.147 Check: 0.0 Back: 228.26 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 154 Props: 9423236 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.494 Prop: 10790.686 PropClause: 10544.759 Set: 2293.079 Check: 0.0 Back: 229.609 INFO - Atoms: 53912/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 155 Props: 9478102 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.501 Prop: 10841.415 PropClause: 10594.139 Set: 2303.395 Check: 0.0 Back: 230.93 INFO - Atoms: 54866/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 156 Props: 9533161 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.509 Prop: 10895.23 PropClause: 10646.597 Set: 2313.768 Check: 0.0 Back: 232.276 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 157 Props: 9588283 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.545 Prop: 10952.451 PropClause: 10702.457 Set: 2324.26 Check: 0.0 Back: 233.594 INFO - Atoms: 55122/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 158 Props: 9643341 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.577 Prop: 11007.35 PropClause: 10756.01 Set: 2334.767 Check: 0.0 Back: 234.933 INFO - Atoms: 55058/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 159 Props: 9698147 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.583 Prop: 11060.662 PropClause: 10807.981 Set: 2345.193 Check: 0.0 Back: 236.254 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 160 Props: 9752057 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.589 Prop: 11114.97 PropClause: 10860.961 Set: 2355.25 Check: 0.0 Back: 237.582 INFO - Atoms: 53910/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 161 Props: 9806923 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.593 Prop: 11169.389 PropClause: 10914.016 Set: 2365.584 Check: 0.0 Back: 238.877 INFO - Atoms: 54866/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 162 Props: 9861982 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.598 Prop: 11220.072 PropClause: 10963.347 Set: 2375.811 Check: 0.0 Back: 240.22 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 163 Props: 9917104 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.602 Prop: 11270.083 PropClause: 11011.997 Set: 2386.041 Check: 0.0 Back: 241.546 INFO - Atoms: 55122/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 164 Props: 9972162 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.609 Prop: 11321.008 PropClause: 11061.571 Set: 2396.381 Check: 0.0 Back: 242.891 INFO - Atoms: 55058/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 165 Props: 10026968 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.615 Prop: 11373.518 PropClause: 11112.73 Set: 2406.525 Check: 0.0 Back: 244.21 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 166 Props: 10080821 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.62 Prop: 11429.299 PropClause: 11167.182 Set: 2416.739 Check: 0.0 Back: 245.541 INFO - Atoms: 53853/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 167 Props: 10135687 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.628 Prop: 11483.792 PropClause: 11220.318 Set: 2426.938 Check: 0.0 Back: 246.853 INFO - Atoms: 54866/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 168 Props: 10190746 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.634 Prop: 11538.71 PropClause: 11273.89 Set: 2437.526 Check: 0.0 Back: 248.198 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 169 Props: 10245868 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.64 Prop: 11594.093 PropClause: 11327.915 Set: 2448.023 Check: 0.0 Back: 249.523 INFO - Atoms: 55122/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 170 Props: 10300926 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.646 Prop: 11650.889 PropClause: 11383.377 Set: 2458.547 Check: 0.0 Back: 250.886 INFO - Atoms: 55058/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 171 Props: 10355732 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.652 Prop: 11703.723 PropClause: 11434.862 Set: 2495.596 Check: 0.0 Back: 252.211 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 172 Props: 10409643 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.658 Prop: 11755.002 PropClause: 11484.811 Set: 2505.74 Check: 0.0 Back: 253.533 INFO - Atoms: 53911/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 173 Props: 10464509 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.663 Prop: 11808.062 PropClause: 11536.513 Set: 2516.157 Check: 0.0 Back: 254.846 INFO - Atoms: 54866/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 174 Props: 10519568 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.668 Prop: 11866.5 PropClause: 11593.583 Set: 2526.867 Check: 0.0 Back: 256.191 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 175 Props: 10574690 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.673 Prop: 11924.933 PropClause: 11650.664 Set: 2537.386 Check: 0.0 Back: 257.508 INFO - Atoms: 55122/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 176 Props: 10629749 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.68 Prop: 11981.431 PropClause: 11705.811 Set: 2548.013 Check: 0.0 Back: 258.872 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 177 Props: 10684555 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.686 Prop: 12038.875 PropClause: 11761.908 Set: 2558.494 Check: 0.0 Back: 260.196 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 178 Props: 10738408 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.691 Prop: 12097.301 PropClause: 11819.005 Set: 2568.883 Check: 0.0 Back: 261.543 INFO - Atoms: 53853/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 179 Props: 10793274 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.696 Prop: 12153.711 PropClause: 11874.052 Set: 2579.31 Check: 0.0 Back: 262.86 INFO - Atoms: 54866/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 180 Props: 10848333 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.701 Prop: 12206.702 PropClause: 11925.692 Set: 2589.86 Check: 0.0 Back: 264.199 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 181 Props: 10903455 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.706 Prop: 12262.172 PropClause: 11979.797 Set: 2600.456 Check: 0.0 Back: 265.535 INFO - Atoms: 55122/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 182 Props: 10958514 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.712 Prop: 12318.107 PropClause: 12034.38 Set: 2611.074 Check: 0.0 Back: 266.891 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 183 Props: 11013320 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.718 Prop: 12374.705 PropClause: 12089.622 Set: 2621.613 Check: 0.0 Back: 268.217 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 184 Props: 11067231 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.723 Prop: 12429.887 PropClause: 12143.473 Set: 2631.787 Check: 0.0 Back: 269.568 INFO - Atoms: 53911/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 185 Props: 11122097 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.727 Prop: 12485.274 PropClause: 12197.51 Set: 2642.305 Check: 0.0 Back: 270.885 INFO - Atoms: 54866/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 186 Props: 11177156 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.732 Prop: 12541.942 PropClause: 12252.823 Set: 2652.911 Check: 0.0 Back: 272.232 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 187 Props: 11232280 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.737 Prop: 12597.947 PropClause: 12307.467 Set: 2663.667 Check: 0.0 Back: 273.556 INFO - Atoms: 55124/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 188 Props: 11287338 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.741 Prop: 12650.49 PropClause: 12358.664 Set: 2674.188 Check: 0.0 Back: 274.894 INFO - Atoms: 55058/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 189 Props: 11342144 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.746 Prop: 12704.478 PropClause: 12411.314 Set: 2684.595 Check: 0.0 Back: 276.219 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 190 Props: 11396055 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.753 Prop: 12759.463 PropClause: 12464.97 Set: 2694.845 Check: 0.0 Back: 277.585 INFO - Atoms: 53911/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 191 Props: 11450921 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.759 Prop: 12813.899 PropClause: 12518.047 Set: 2705.333 Check: 0.0 Back: 278.895 INFO - Atoms: 54866/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 192 Props: 11505980 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.765 Prop: 12871.895 PropClause: 12574.686 Set: 2736.568 Check: 0.0 Back: 280.245 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 193 Props: 11561104 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.771 Prop: 12927.962 PropClause: 12629.385 Set: 2747.275 Check: 0.0 Back: 281.568 INFO - Atoms: 55124/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 194 Props: 11616163 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.777 Prop: 12985.175 PropClause: 12685.246 Set: 2758.074 Check: 0.0 Back: 282.915 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 195 Props: 11670969 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.782 Prop: 13045.249 PropClause: 12743.986 Set: 2768.78 Check: 0.0 Back: 284.245 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 196 Props: 11724822 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.787 Prop: 13102.599 PropClause: 12800.015 Set: 2779.019 Check: 0.0 Back: 285.581 INFO - Atoms: 53853/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 197 Props: 11779688 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.792 Prop: 13158.227 PropClause: 12854.289 Set: 2789.667 Check: 0.0 Back: 286.886 INFO - Atoms: 54866/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 198 Props: 11834747 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.798 Prop: 13213.836 PropClause: 12908.544 Set: 2800.356 Check: 0.0 Back: 288.244 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 199 Props: 11889869 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.804 Prop: 13267.218 PropClause: 12960.573 Set: 2810.937 Check: 0.0 Back: 289.583 INFO - Atoms: 55122/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 200 Props: 11944927 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.81 Prop: 13322.534 PropClause: 13014.545 Set: 2821.405 Check: 0.0 Back: 290.938 INFO - Atoms: 55058/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 201 Props: 11999733 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.815 Prop: 13378.403 PropClause: 13069.074 Set: 2831.894 Check: 0.0 Back: 292.259 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 202 Props: 12053586 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.821 Prop: 13432.994 PropClause: 13122.344 Set: 2842.182 Check: 0.0 Back: 293.602 INFO - Atoms: 53853/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 203 Props: 12108452 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.828 Prop: 13487.33 PropClause: 13175.33 Set: 2852.625 Check: 0.0 Back: 294.886 INFO - Atoms: 54866/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 204 Props: 12163511 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.833 Prop: 13542.958 PropClause: 13229.601 Set: 2863.192 Check: 0.0 Back: 296.223 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 205 Props: 12218635 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.837 Prop: 13599.789 PropClause: 13285.061 Set: 2873.85 Check: 0.0 Back: 297.549 INFO - Atoms: 55124/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 206 Props: 12273694 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.842 Prop: 13653.353 PropClause: 13337.261 Set: 2884.632 Check: 0.0 Back: 298.914 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 207 Props: 12328500 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.847 Prop: 13706.063 PropClause: 13388.611 Set: 2895.148 Check: 0.0 Back: 300.254 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 208 Props: 12382411 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.852 Prop: 13758.611 PropClause: 13439.825 Set: 2905.39 Check: 0.0 Back: 301.61 INFO - Atoms: 53911/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 209 Props: 12437277 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.858 Prop: 13812.701 PropClause: 13492.568 Set: 2915.864 Check: 0.0 Back: 302.933 INFO - Atoms: 54866/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 210 Props: 12492336 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.863 Prop: 13871.633 PropClause: 13550.146 Set: 2926.649 Check: 0.0 Back: 304.263 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 211 Props: 12546190 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.87 Prop: 13927.155 PropClause: 13604.349 Set: 2936.837 Check: 0.0 Back: 305.603 INFO - Atoms: 53854/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 212 Props: 12601246 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.876 Prop: 13981.741 PropClause: 13657.581 Set: 2947.354 Check: 0.0 Back: 306.913 INFO - Atoms: 55056/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 213 Props: 12656115 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.881 Prop: 14035.258 PropClause: 13709.751 Set: 2957.737 Check: 0.0 Back: 308.249 INFO - Atoms: 54869/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 214 Props: 12709968 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.889 Prop: 14088.045 PropClause: 13761.211 Set: 2967.817 Check: 0.0 Back: 309.574 INFO - Atoms: 53853/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 215 Props: 12764836 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.895 Prop: 14136.876 PropClause: 13808.703 Set: 2978.117 Check: 0.0 Back: 310.888 INFO - Atoms: 54868/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 216 Props: 12819893 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.901 Prop: 14186.456 PropClause: 13856.937 Set: 2988.489 Check: 0.0 Back: 312.213 INFO - Atoms: 55057/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 217 Props: 12873747 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.908 Prop: 14238.091 PropClause: 13907.245 Set: 2998.556 Check: 0.0 Back: 313.543 INFO - Atoms: 53854/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 218 Props: 12928805 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.915 Prop: 14289.422 PropClause: 13957.232 Set: 3008.836 Check: 0.0 Back: 314.854 INFO - Atoms: 55058/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 219 Props: 12983672 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.921 Prop: 14342.461 PropClause: 14008.913 Set: 3019.243 Check: 0.0 Back: 316.185 INFO - Atoms: 54867/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 220 Props: 13038852 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.927 Prop: 14395.278 PropClause: 14060.363 Set: 3029.89 Check: 0.0 Back: 317.528 INFO - Atoms: 55180/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 221 Props: 13093656 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.933 Prop: 14447.222 PropClause: 14110.958 Set: 3040.292 Check: 0.0 Back: 318.884 INFO - Atoms: 54804/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 222 Props: 13148715 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.941 Prop: 14499.854 PropClause: 14162.24 Set: 3050.775 Check: 0.0 Back: 320.222 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 223 Props: 13203837 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.947 Prop: 14552.938 PropClause: 14213.98 Set: 3061.2 Check: 0.0 Back: 321.579 INFO - Atoms: 55122/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 224 Props: 13258896 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.954 Prop: 14602.712 PropClause: 14262.413 Set: 3071.51 Check: 0.0 Back: 322.932 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 225 Props: 13313702 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.961 Prop: 14657.766 PropClause: 14316.103 Set: 3082.309 Check: 0.0 Back: 324.319 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 226 Props: 13367555 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.967 Prop: 14711.97 PropClause: 14368.979 Set: 3092.408 Check: 0.0 Back: 325.662 INFO - Atoms: 53853/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 227 Props: 13422423 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.974 Prop: 14764.904 PropClause: 14420.55 Set: 3102.874 Check: 0.0 Back: 326.971 INFO - Atoms: 54868/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 228 Props: 13477480 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.98 Prop: 14816.742 PropClause: 14471.03 Set: 3113.313 Check: 0.0 Back: 328.313 INFO - Atoms: 55057/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 229 Props: 13532602 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.987 Prop: 14869.116 PropClause: 14522.051 Set: 3123.683 Check: 0.0 Back: 329.648 INFO - Atoms: 55122/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 230 Props: 13587660 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.994 Prop: 14922.16 PropClause: 14573.737 Set: 3134.267 Check: 0.0 Back: 330.966 INFO - Atoms: 55058/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 231 Props: 13642466 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.001 Prop: 14975.393 PropClause: 14625.637 Set: 3144.528 Check: 0.0 Back: 332.292 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 232 Props: 13696377 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.008 Prop: 15028.647 PropClause: 14677.571 Set: 3154.821 Check: 0.0 Back: 333.598 INFO - Atoms: 53911/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 233 Props: 13751243 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.014 Prop: 15078.705 PropClause: 14726.285 Set: 3165.204 Check: 0.0 Back: 334.907 INFO - Atoms: 54866/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 234 Props: 13806302 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.023 Prop: 15133.654 PropClause: 14779.776 Set: 3176.693 Check: 0.0 Back: 336.253 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 235 Props: 13861426 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.03 Prop: 15186.261 PropClause: 14831.032 Set: 3187.252 Check: 0.0 Back: 337.628 INFO - Atoms: 55124/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 236 Props: 13916484 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.036 Prop: 15241.311 PropClause: 14884.734 Set: 3198.013 Check: 0.0 Back: 338.975 INFO - Atoms: 55058/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 237 Props: 13971290 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.042 Prop: 15296.73 PropClause: 14938.807 Set: 3208.384 Check: 0.0 Back: 340.293 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 238 Props: 14025143 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.049 Prop: 15350.318 PropClause: 14991.081 Set: 3218.516 Check: 0.0 Back: 341.636 INFO - Atoms: 53853/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 239 Props: 14080009 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.056 Prop: 15406.253 PropClause: 15045.677 Set: 3229.152 Check: 0.0 Back: 342.932 INFO - Atoms: 54866/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 240 Props: 14135068 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.063 Prop: 15462.494 PropClause: 15100.524 Set: 3240.375 Check: 0.0 Back: 344.3 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 241 Props: 14190190 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.07 Prop: 15519.639 PropClause: 15156.197 Set: 3252.087 Check: 0.0 Back: 345.627 INFO - Atoms: 55122/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 242 Props: 14245249 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.077 Prop: 15573.591 PropClause: 15208.785 Set: 3262.951 Check: 0.0 Back: 347.014 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 243 Props: 14300055 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.084 Prop: 15625.59 PropClause: 15259.432 Set: 3273.316 Check: 0.0 Back: 348.357 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 244 Props: 14353908 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.092 Prop: 15679.776 PropClause: 15312.293 Set: 3283.657 Check: 0.0 Back: 349.699 INFO - Atoms: 53853/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 245 Props: 14408774 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.098 Prop: 15735.363 PropClause: 15366.536 Set: 3294.181 Check: 0.0 Back: 351.028 INFO - Atoms: 54866/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 246 Props: 14463833 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.105 Prop: 15790.268 PropClause: 15420.084 Set: 3304.781 Check: 0.0 Back: 352.364 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 247 Props: 14518955 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.112 Prop: 15844.476 PropClause: 15472.95 Set: 3315.325 Check: 0.0 Back: 353.671 INFO - Atoms: 55122/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 248 Props: 14574014 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.12 Prop: 15906.842 PropClause: 15533.83 Set: 3328.097 Check: 0.0 Back: 355.004 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 249 Props: 14628820 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.127 Prop: 15963.467 PropClause: 15589.082 Set: 3338.845 Check: 0.0 Back: 356.372 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 250 Props: 14682673 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.134 Prop: 16017.161 PropClause: 15641.442 Set: 3349.049 Check: 0.0 Back: 357.736 INFO - Atoms: 53853/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 251 Props: 14737539 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.14 Prop: 16071.613 PropClause: 15694.558 Set: 3359.635 Check: 0.0 Back: 359.041 INFO - Atoms: 54866/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 252 Props: 14792598 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.147 Prop: 16125.641 PropClause: 15747.242 Set: 3370.181 Check: 0.0 Back: 360.396 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 253 Props: 14847722 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.154 Prop: 16179.794 PropClause: 15800.048 Set: 3380.843 Check: 0.0 Back: 361.737 INFO - Atoms: 55124/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 254 Props: 14902781 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.16 Prop: 16233.906 PropClause: 15852.786 Set: 3391.436 Check: 0.0 Back: 363.079 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 255 Props: 14957587 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.167 Prop: 16290.329 PropClause: 15907.846 Set: 3402.063 Check: 0.0 Back: 364.405 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 256 Props: 15011440 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.173 Prop: 16345.624 PropClause: 15961.763 Set: 3412.623 Check: 0.0 Back: 365.765 INFO - Atoms: 53853/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 257 Props: 15066306 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.18 Prop: 16399.795 PropClause: 16014.551 Set: 3423.173 Check: 0.0 Back: 367.073 INFO - Atoms: 54866/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 258 Props: 15121365 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.187 Prop: 16454.381 PropClause: 16067.793 Set: 3433.768 Check: 0.0 Back: 368.433 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 259 Props: 15176489 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.193 Prop: 16509.259 PropClause: 16121.328 Set: 3467.444 Check: 0.0 Back: 369.767 INFO - Atoms: 55124/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 260 Props: 15231547 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.199 Prop: 16563.175 PropClause: 16173.895 Set: 3478.097 Check: 0.0 Back: 371.081 INFO - Atoms: 55058/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 261 Props: 15286353 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.207 Prop: 16618.063 PropClause: 16227.45 Set: 3488.532 Check: 0.0 Back: 372.467 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 262 Props: 15341474 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.213 Prop: 16672.185 PropClause: 16280.215 Set: 3499.27 Check: 0.0 Back: 373.787 INFO - Atoms: 55121/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 263 Props: 15396278 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.219 Prop: 16727.131 PropClause: 16333.781 Set: 3509.841 Check: 0.0 Back: 375.14 INFO - Atoms: 54804/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 264 Props: 15451335 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.224 Prop: 16779.777 PropClause: 16385.065 Set: 3520.489 Check: 0.0 Back: 376.473 INFO - Atoms: 55057/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 265 Props: 15506459 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.23 Prop: 16833.934 PropClause: 16437.866 Set: 3531.036 Check: 0.0 Back: 377.816 INFO - Atoms: 55124/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 266 Props: 15561516 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.236 Prop: 16887.89 PropClause: 16490.473 Set: 3541.684 Check: 0.0 Back: 379.142 INFO - Atoms: 55057/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 267 Props: 15616322 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.241 Prop: 16941.625 PropClause: 16542.868 Set: 3552.156 Check: 0.0 Back: 380.492 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 268 Props: 15670234 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.248 Prop: 16993.44 PropClause: 16593.364 Set: 3562.364 Check: 0.0 Back: 381.807 INFO - Atoms: 53912/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 269 Props: 15725102 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.253 Prop: 17048.725 PropClause: 16647.307 Set: 3573.047 Check: 0.0 Back: 383.124 INFO - Atoms: 54868/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 270 Props: 15780159 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.258 Prop: 17103.749 PropClause: 16700.977 Set: 3583.737 Check: 0.0 Back: 384.459 INFO - Atoms: 55057/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 271 Props: 15835281 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.265 Prop: 17159.349 PropClause: 16755.194 Set: 3594.465 Check: 0.0 Back: 385.794 INFO - Atoms: 55122/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 272 Props: 15890340 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.272 Prop: 17213.453 PropClause: 16807.945 Set: 3605.064 Check: 0.0 Back: 387.148 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 273 Props: 15945146 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.279 Prop: 17266.565 PropClause: 16859.698 Set: 3615.467 Check: 0.0 Back: 388.496 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 274 Props: 15999056 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.284 Prop: 17318.781 PropClause: 16910.6 Set: 3625.743 Check: 0.0 Back: 389.852 INFO - Atoms: 53910/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 275 Props: 16053922 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.288 Prop: 17372.152 PropClause: 16962.618 Set: 3636.318 Check: 0.0 Back: 391.151 INFO - Atoms: 54866/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 276 Props: 16108981 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.294 Prop: 17424.958 PropClause: 17014.076 Set: 3646.911 Check: 0.0 Back: 392.475 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 277 Props: 16164105 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.3 Prop: 17478.81 PropClause: 17066.565 Set: 3657.516 Check: 0.0 Back: 393.81 INFO - Atoms: 55124/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 278 Props: 16219164 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.306 Prop: 17530.462 PropClause: 17116.863 Set: 3667.83 Check: 0.0 Back: 395.15 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 279 Props: 16273970 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.312 Prop: 17582.579 PropClause: 17167.626 Set: 3678.283 Check: 0.0 Back: 396.485 INFO - Atoms: 54806/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 280 Props: 16327880 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.317 Prop: 17638.67 PropClause: 17222.389 Set: 3688.82 Check: 0.0 Back: 397.821 INFO - Atoms: 53910/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 281 Props: 16382746 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.322 Prop: 17690.83 PropClause: 17273.207 Set: 3699.356 Check: 0.0 Back: 399.121 INFO - Atoms: 54866/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 282 Props: 16437805 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.327 Prop: 17742.436 PropClause: 17323.459 Set: 3710.014 Check: 0.0 Back: 400.43 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 283 Props: 16491659 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.333 Prop: 17793.098 PropClause: 17372.803 Set: 3720.164 Check: 0.0 Back: 401.773 INFO - Atoms: 53854/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 284 Props: 16546715 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.34 Prop: 17842.776 PropClause: 17421.126 Set: 3730.757 Check: 0.0 Back: 403.072 INFO - Atoms: 55056/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 285 Props: 16601584 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.346 Prop: 17894.556 PropClause: 17471.56 Set: 3741.18 Check: 0.0 Back: 404.403 INFO - Atoms: 54869/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 286 Props: 16655437 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.351 Prop: 17943.617 PropClause: 17519.301 Set: 3751.176 Check: 0.0 Back: 405.744 INFO - Atoms: 53853/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 287 Props: 16710305 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.356 Prop: 17991.923 PropClause: 17566.256 Set: 3761.475 Check: 0.0 Back: 407.051 INFO - Atoms: 54868/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 288 Props: 16765362 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.362 Prop: 18040.348 PropClause: 17613.328 Set: 3771.911 Check: 0.0 Back: 408.38 INFO - Atoms: 55057/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 289 Props: 16819216 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.369 Prop: 18091.505 PropClause: 17663.162 Set: 3781.99 Check: 0.0 Back: 409.707 INFO - Atoms: 53854/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 290 Props: 16874274 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.374 Prop: 18141.305 PropClause: 17711.62 Set: 3792.349 Check: 0.0 Back: 410.99 INFO - Atoms: 55058/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 291 Props: 16929141 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.381 Prop: 18193.258 PropClause: 17762.247 Set: 3802.738 Check: 0.0 Back: 412.337 INFO - Atoms: 54867/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 292 Props: 16984262 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.387 Prop: 18243.062 PropClause: 17810.698 Set: 3813.062 Check: 0.0 Back: 413.689 INFO - Atoms: 55121/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 293 Props: 17039066 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.394 Prop: 18293.988 PropClause: 17860.28 Set: 3823.486 Check: 0.0 Back: 415.016 INFO - Atoms: 54804/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 294 Props: 17094125 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.399 Prop: 18343.973 PropClause: 17908.904 Set: 3833.801 Check: 0.0 Back: 416.331 INFO - Atoms: 55059/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 295 Props: 17149247 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.405 Prop: 18394.417 PropClause: 17958.001 Set: 3844.219 Check: 0.0 Back: 417.67 INFO - Atoms: 55122/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 296 Props: 17204184 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.411 Prop: 18442.517 PropClause: 18004.762 Set: 3854.54 Check: 0.0 Back: 418.985 INFO - Atoms: 54937/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 297 Props: 17258989 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.418 Prop: 18491.789 PropClause: 18052.696 Set: 3864.978 Check: 0.0 Back: 420.327 INFO - Atoms: 54805/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 298 Props: 17312842 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.425 Prop: 18540.749 PropClause: 18100.336 Set: 3875.2 Check: 0.0 Back: 421.653 INFO - Atoms: 53853/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 299 Props: 17367527 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.432 Prop: 18592.058 PropClause: 18150.296 Set: 3885.713 Check: 0.0 Back: 422.962 INFO - Atoms: 54685/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 300 Props: 17422309 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.439 Prop: 18642.289 PropClause: 18199.181 Set: 3896.065 Check: 0.0 Back: 424.366 INFO - Atoms: 54782/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 301 Props: 17477125 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.445 Prop: 18694.8 PropClause: 18250.346 Set: 3906.606 Check: 0.0 Back: 425.707 INFO - Atoms: 54816/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 302 Props: 17531623 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.452 Prop: 18744.379 PropClause: 18298.584 Set: 3916.926 Check: 0.0 Back: 427.062 INFO - Atoms: 54498/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 303 Props: 17586119 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.458 Prop: 18796.634 PropClause: 18349.492 Set: 3927.466 Check: 0.0 Back: 428.384 INFO - Atoms: 54496/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 304 Props: 17640030 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.464 Prop: 18845.92 PropClause: 18397.47 Set: 3937.625 Check: 0.0 Back: 429.715 INFO - Atoms: 53911/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 305 Props: 17694209 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.47 Prop: 18894.421 PropClause: 18444.632 Set: 3947.839 Check: 0.0 Back: 431.019 INFO - Atoms: 54179/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 306 Props: 17748387 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.653 Prop: 18940.891 PropClause: 18489.773 Set: 3957.853 Check: 0.0 Back: 432.343 INFO - Atoms: 54178/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 307 Props: 17802284 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.659 Prop: 18987.913 PropClause: 18535.469 Set: 3984.828 Check: 0.0 Back: 433.716 INFO - Atoms: 53897/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 308 Props: 17856436 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.665 Prop: 19037.584 PropClause: 18583.809 Set: 3995.271 Check: 0.0 Back: 434.993 INFO - Atoms: 54152/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 309 Props: 17910523 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.67 Prop: 19089.792 PropClause: 18634.68 Set: 4005.647 Check: 0.0 Back: 436.314 INFO - Atoms: 54087/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 310 Props: 17964677 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.674 Prop: 19139.998 PropClause: 18683.561 Set: 4015.817 Check: 0.0 Back: 437.614 INFO - Atoms: 54154/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 311 Props: 18017888 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.814 Prop: 19191.936 PropClause: 18734.2 Set: 4025.814 Check: 0.0 Back: 438.925 INFO - Atoms: 53211/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 312 Props: 18071099 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.995 Prop: 19241.857 PropClause: 18782.824 Set: 4035.821 Check: 0.0 Back: 440.204 INFO - Atoms: 53211/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 313 Props: 18125090 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.002 Prop: 19293.368 PropClause: 18833.016 Set: 4046.277 Check: 0.0 Back: 441.538 INFO - Atoms: 53991/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 314 Props: 18179210 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.007 Prop: 19340.923 PropClause: 18879.24 Set: 4056.52 Check: 0.0 Back: 442.84 INFO - Atoms: 54120/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 315 Props: 18233363 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.014 Prop: 19392.494 PropClause: 18929.477 Set: 4066.812 Check: 0.0 Back: 444.161 INFO - Atoms: 54153/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 316 Props: 18286575 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.02 Prop: 19443.099 PropClause: 18978.772 Set: 4076.919 Check: 0.0 Back: 445.473 INFO - Atoms: 53212/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 317 Props: 18339463 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.025 Prop: 19495.515 PropClause: 19029.885 Set: 4086.952 Check: 0.0 Back: 446.768 INFO - Atoms: 52888/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 318 Props: 18392656 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.032 Prop: 19553.646 PropClause: 19086.587 Set: 4102.38 Check: 0.0 Back: 448.063 INFO - Atoms: 53193/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 319 Props: 18420813 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.077 Prop: 19589.915 PropClause: 19122.041 Set: 4108.45 Check: 0.0 Back: 449.411 INFO - Atoms: 28157/78400 Clauses: 485 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 819 Props: 24208600 Tprops: 0 Decides: 27720 RSplits: 0 INFO - Times: Expl: 2411.165 Prop: 25975.472 PropClause: 25340.772 Set: 4254.811 Check: 0.685 Back: 589.726 INFO - Atoms: 26025/78400 Clauses: 984 Axioms: 259826 INFO - Confl: 989 Props: 25530460 Tprops: 0 Decides: 31898 RSplits: 0 INFO - Times: Expl: 2891.552 Prop: 27398.638 PropClause: 26726.504 Set: 4287.327 Check: 0.79 Back: 621.284 INFO - Atoms: 27072/78400 Clauses: 1154 Axioms: 259826 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Confl: 350 Props: 33176 Tprops: 8134 Decides: 35295 RSplits: 0 INFO - Times: Expl: 184.118 Prop: 59704.414 PropClause: 12.759 Set: 4359.854 Check: 135.841 Back: 143.798 INFO - Atoms: 726/726 Clauses: 350 Axioms: 726 INFO - CCTimes: iE 397730 eq 21476296 cc 59491570 setRep 39331277 INFO - Merges: 261694, cc:435522 INFO - BVTimes: BB 279250768 BB_DPLL 54741563724 Graph 905045 INFO - BitBlastingClauses: 414706 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Formula is unsat unsat