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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 325419954
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 75326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.702 Prop: 144.869 PropClause: 139.726 Set: 49.286 Check: 0.0 Back: 0.0
INFO - Atoms: 75326/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 150652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.757 Prop: 257.074 PropClause: 247.208 Set: 68.623 Check: 0.0 Back: 2.005
INFO - Atoms: 75326/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 225978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.822 Prop: 372.796 PropClause: 350.551 Set: 98.376 Check: 0.0 Back: 4.031
INFO - Atoms: 75326/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 300924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.914 Prop: 477.767 PropClause: 452.725 Set: 116.231 Check: 0.0 Back: 5.951
INFO - Atoms: 74946/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 375870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.998 Prop: 574.915 PropClause: 547.69 Set: 131.424 Check: 0.0 Back: 7.859
INFO - Atoms: 74946/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 450816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.083 Prop: 679.722 PropClause: 650.14 Set: 151.757 Check: 0.0 Back: 9.837
INFO - Atoms: 74946/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 525757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.215 Prop: 790.385 PropClause: 758.419 Set: 181.879 Check: 0.0 Back: 11.776
INFO - Atoms: 74941/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 600523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.261 Prop: 881.47 PropClause: 847.328 Set: 205.71 Check: 0.0 Back: 13.718
INFO - Atoms: 74766/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 675079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.334 Prop: 970.011 PropClause: 933.742 Set: 220.501 Check: 0.0 Back: 15.666
INFO - Atoms: 74556/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 749439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.379 Prop: 1055.303 PropClause: 1016.919 Set: 235.457 Check: 0.0 Back: 17.695
INFO - Atoms: 74360/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 823605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.424 Prop: 1145.419 PropClause: 1104.932 Set: 250.402 Check: 0.0 Back: 19.65
INFO - Atoms: 74166/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 897593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.475 Prop: 1230.549 PropClause: 1187.961 Set: 265.156 Check: 0.0 Back: 21.641
INFO - Atoms: 73988/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 971369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.518 Prop: 1321.747 PropClause: 1277.068 Set: 279.973 Check: 0.0 Back: 23.59
INFO - Atoms: 73776/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 1044966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.572 Prop: 1411.034 PropClause: 1364.302 Set: 294.885 Check: 0.0 Back: 25.566
INFO - Atoms: 73597/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 1118352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.622 Prop: 1503.847 PropClause: 1455.024 Set: 314.863 Check: 0.0 Back: 27.544
INFO - Atoms: 73386/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 1191542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.674 Prop: 1597.596 PropClause: 1546.709 Set: 336.682 Check: 0.0 Back: 29.517
INFO - Atoms: 73190/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 1264538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.722 Prop: 1690.133 PropClause: 1637.168 Set: 358.068 Check: 0.0 Back: 31.434
INFO - Atoms: 72996/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 1337338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.805 Prop: 1778.834 PropClause: 1723.789 Set: 372.846 Check: 0.0 Back: 33.397
INFO - Atoms: 72800/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1409944 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.856 Prop: 1882.652 PropClause: 1825.323 Set: 391.482 Check: 0.0 Back: 35.262
INFO - Atoms: 72606/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 1482372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.905 Prop: 1970.813 PropClause: 1911.377 Set: 406.91 Check: 0.0 Back: 37.127
INFO - Atoms: 72428/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 1554588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.947 Prop: 2059.165 PropClause: 1997.669 Set: 421.439 Check: 0.0 Back: 39.075
INFO - Atoms: 72216/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 1626625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.996 Prop: 2145.958 PropClause: 2082.406 Set: 435.851 Check: 0.0 Back: 41.023
INFO - Atoms: 72037/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 1698451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.053 Prop: 2238.467 PropClause: 2172.856 Set: 450.777 Check: 0.0 Back: 42.908
INFO - Atoms: 71826/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 1770099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.105 Prop: 2327.279 PropClause: 2259.584 Set: 466.133 Check: 0.0 Back: 44.82
INFO - Atoms: 71648/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 1841535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.158 Prop: 2415.637 PropClause: 2345.912 Set: 480.686 Check: 0.0 Back: 46.729
INFO - Atoms: 71436/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 1912775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.208 Prop: 2505.804 PropClause: 2433.972 Set: 495.95 Check: 0.0 Back: 48.66
INFO - Atoms: 71240/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 1983821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.262 Prop: 2600.304 PropClause: 2526.442 Set: 510.485 Check: 0.0 Back: 50.531
INFO - Atoms: 71046/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 2054690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.314 Prop: 2686.206 PropClause: 2610.328 Set: 524.76 Check: 0.0 Back: 52.481
INFO - Atoms: 70869/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 2125346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.396 Prop: 2781.534 PropClause: 2703.475 Set: 540.449 Check: 0.0 Back: 54.33
INFO - Atoms: 70656/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 2195806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.445 Prop: 2870.299 PropClause: 2790.24 Set: 554.843 Check: 0.0 Back: 56.254
INFO - Atoms: 70460/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 2266072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.493 Prop: 2959.703 PropClause: 2877.645 Set: 575.266 Check: 0.0 Back: 58.11
INFO - Atoms: 70266/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 2336161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.546 Prop: 3042.331 PropClause: 2958.281 Set: 595.231 Check: 0.0 Back: 60.005
INFO - Atoms: 70089/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 2406037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.597 Prop: 3130.093 PropClause: 3044.057 Set: 609.592 Check: 0.0 Back: 61.841
INFO - Atoms: 69876/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 2475717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.659 Prop: 3215.498 PropClause: 3127.475 Set: 623.52 Check: 0.0 Back: 63.693
INFO - Atoms: 69680/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 2545203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.707 Prop: 3304.562 PropClause: 3214.372 Set: 639.331 Check: 0.0 Back: 65.545
INFO - Atoms: 69486/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 2614493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.785 Prop: 3383.874 PropClause: 3291.741 Set: 653.242 Check: 0.0 Back: 67.436
INFO - Atoms: 69290/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 2683589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.832 Prop: 3467.075 PropClause: 3373.016 Set: 667.1 Check: 0.0 Back: 69.267
INFO - Atoms: 69096/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 2752508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.881 Prop: 3544.248 PropClause: 3448.231 Set: 680.927 Check: 0.0 Back: 71.086
INFO - Atoms: 68919/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 2821214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.93 Prop: 3624.602 PropClause: 3526.655 Set: 694.613 Check: 0.0 Back: 72.868
INFO - Atoms: 68706/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 2889724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.978 Prop: 3702.179 PropClause: 3602.316 Set: 708.24 Check: 0.0 Back: 74.741
INFO - Atoms: 68510/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 2958040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.022 Prop: 3781.769 PropClause: 3679.968 Set: 721.898 Check: 0.0 Back: 76.592
INFO - Atoms: 68316/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 3026178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.081 Prop: 3858.28 PropClause: 3754.539 Set: 735.474 Check: 0.0 Back: 78.434
INFO - Atoms: 68138/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 3094104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.125 Prop: 3937.705 PropClause: 3832.033 Set: 748.863 Check: 0.0 Back: 80.218
INFO - Atoms: 67926/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 3161834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.169 Prop: 4013.719 PropClause: 3906.116 Set: 762.097 Check: 0.0 Back: 82.039
INFO - Atoms: 67730/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 3229370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.215 Prop: 4093.936 PropClause: 3984.459 Set: 775.297 Check: 0.0 Back: 83.773
INFO - Atoms: 67536/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 3296710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.265 Prop: 4167.914 PropClause: 4056.525 Set: 788.554 Check: 0.0 Back: 85.618
INFO - Atoms: 67340/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 3363856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.315 Prop: 4243.848 PropClause: 4130.556 Set: 801.639 Check: 0.0 Back: 87.404
INFO - Atoms: 67146/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 3430806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.362 Prop: 4318.811 PropClause: 4203.605 Set: 814.667 Check: 0.0 Back: 89.211
INFO - Atoms: 66950/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 3497562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.407 Prop: 4395.959 PropClause: 4278.859 Set: 827.672 Check: 0.0 Back: 90.946
INFO - Atoms: 66756/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 3564140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.454 Prop: 4470.395 PropClause: 4351.397 Set: 840.641 Check: 0.0 Back: 92.716
INFO - Atoms: 66578/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 3630506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.502 Prop: 4545.772 PropClause: 4424.891 Set: 853.732 Check: 0.0 Back: 94.45
INFO - Atoms: 66366/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 3696693 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.65 Prop: 4618.021 PropClause: 4495.269 Set: 866.873 Check: 0.0 Back: 96.242
INFO - Atoms: 66187/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 3762669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.673 Prop: 4698.322 PropClause: 4573.709 Set: 880.178 Check: 0.0 Back: 97.983
INFO - Atoms: 65976/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 3828449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.694 Prop: 4772.979 PropClause: 4646.495 Set: 893.237 Check: 0.0 Back: 99.779
INFO - Atoms: 65780/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 3894035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.717 Prop: 4853.104 PropClause: 4724.751 Set: 906.456 Check: 0.0 Back: 101.482
INFO - Atoms: 65586/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 3959444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.741 Prop: 4931.09 PropClause: 4800.873 Set: 919.393 Check: 0.0 Back: 103.227
INFO - Atoms: 65409/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 4024640 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.763 Prop: 5010.935 PropClause: 4878.859 Set: 932.561 Check: 0.0 Back: 104.915
INFO - Atoms: 65196/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 4089640 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.785 Prop: 5085.124 PropClause: 4951.192 Set: 945.454 Check: 0.0 Back: 106.656
INFO - Atoms: 65000/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 4154446 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.808 Prop: 5167.524 PropClause: 5031.764 Set: 958.484 Check: 0.0 Back: 108.318
INFO - Atoms: 64806/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 4219074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.829 Prop: 5240.714 PropClause: 5103.121 Set: 971.139 Check: 0.0 Back: 110.018
INFO - Atoms: 64628/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 4283490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.851 Prop: 5315.799 PropClause: 5176.38 Set: 983.673 Check: 0.0 Back: 111.667
INFO - Atoms: 64416/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 4347710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.874 Prop: 5391.732 PropClause: 5250.525 Set: 996.316 Check: 0.0 Back: 113.391
INFO - Atoms: 64220/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 4411736 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.898 Prop: 5478.998 PropClause: 5335.78 Set: 1012.696 Check: 0.0 Back: 115.054
INFO - Atoms: 64026/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 4475566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.983 Prop: 5549.286 PropClause: 5404.272 Set: 1025.323 Check: 0.0 Back: 116.75
INFO - Atoms: 63830/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 4539202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.003 Prop: 5623.428 PropClause: 5476.63 Set: 1037.807 Check: 0.0 Back: 118.389
INFO - Atoms: 63636/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 4602642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.154 Prop: 5696.101 PropClause: 5547.507 Set: 1050.218 Check: 0.0 Back: 120.069
INFO - Atoms: 63440/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 4665888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.176 Prop: 5771.02 PropClause: 5620.634 Set: 1062.572 Check: 0.0 Back: 121.691
INFO - Atoms: 63246/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 4728956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.199 Prop: 5838.858 PropClause: 5686.674 Set: 1074.925 Check: 0.0 Back: 123.36
INFO - Atoms: 63068/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 4791812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.222 Prop: 5911.551 PropClause: 5757.578 Set: 1087.255 Check: 0.0 Back: 125.012
INFO - Atoms: 62856/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 4854489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.248 Prop: 5984.58 PropClause: 5828.837 Set: 1099.657 Check: 0.0 Back: 126.69
INFO - Atoms: 62677/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 4916955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.271 Prop: 6067.197 PropClause: 5909.516 Set: 1113.63 Check: 0.0 Back: 128.309
INFO - Atoms: 62466/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 4979225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.294 Prop: 6139.447 PropClause: 5980.012 Set: 1126.174 Check: 0.0 Back: 129.956
INFO - Atoms: 62270/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 5041301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.317 Prop: 6213.122 PropClause: 6051.948 Set: 1138.502 Check: 0.0 Back: 131.595
INFO - Atoms: 62076/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 5103181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.339 Prop: 6281.358 PropClause: 6118.444 Set: 1150.83 Check: 0.0 Back: 133.252
INFO - Atoms: 61880/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 5164867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.36 Prop: 6351.163 PropClause: 6186.518 Set: 1163.013 Check: 0.0 Back: 134.87
INFO - Atoms: 61686/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 5226375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.384 Prop: 6416.015 PropClause: 6249.644 Set: 1175.186 Check: 0.0 Back: 136.519
INFO - Atoms: 61508/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 5287671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.407 Prop: 6485.519 PropClause: 6317.422 Set: 1187.208 Check: 0.0 Back: 138.099
INFO - Atoms: 61296/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 5348771 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.442 Prop: 6553.446 PropClause: 6383.589 Set: 1199.205 Check: 0.0 Back: 139.723
INFO - Atoms: 61100/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 5409677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.466 Prop: 6622.037 PropClause: 6450.472 Set: 1211.162 Check: 0.0 Back: 141.315
INFO - Atoms: 60906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 5470387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.49 Prop: 6690.546 PropClause: 6517.247 Set: 1223.224 Check: 0.0 Back: 142.978
INFO - Atoms: 60710/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 5530903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.514 Prop: 6758.625 PropClause: 6583.553 Set: 1235.713 Check: 0.0 Back: 144.578
INFO - Atoms: 60516/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 5591242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.536 Prop: 6822.486 PropClause: 6645.699 Set: 1247.612 Check: 0.0 Back: 146.176
INFO - Atoms: 60339/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 5651368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.557 Prop: 6892.409 PropClause: 6713.928 Set: 1259.521 Check: 0.0 Back: 147.741
INFO - Atoms: 60126/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 5711298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.581 Prop: 6956.23 PropClause: 6776.068 Set: 1271.307 Check: 0.0 Back: 149.326
INFO - Atoms: 59930/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 5771034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.605 Prop: 7024.306 PropClause: 6842.458 Set: 1282.926 Check: 0.0 Back: 150.896
INFO - Atoms: 59736/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 5830574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.629 Prop: 7088.053 PropClause: 6904.518 Set: 1294.601 Check: 0.0 Back: 152.483
INFO - Atoms: 59540/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 5889920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.653 Prop: 7150.81 PropClause: 6965.619 Set: 1306.2 Check: 0.0 Back: 154.04
INFO - Atoms: 59346/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 5949088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.687 Prop: 7212.286 PropClause: 7025.439 Set: 1317.755 Check: 0.0 Back: 155.621
INFO - Atoms: 59168/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 6008044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.71 Prop: 7278.503 PropClause: 7089.969 Set: 1329.272 Check: 0.0 Back: 157.167
INFO - Atoms: 58956/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 6066822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.732 Prop: 7342.492 PropClause: 7152.271 Set: 1340.747 Check: 0.0 Back: 158.742
INFO - Atoms: 58778/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 6125388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.753 Prop: 7407.036 PropClause: 7215.14 Set: 1352.142 Check: 0.0 Back: 160.271
INFO - Atoms: 58566/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 6183775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.772 Prop: 7467.295 PropClause: 7273.714 Set: 1363.294 Check: 0.0 Back: 161.812
INFO - Atoms: 58387/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 6241951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.793 Prop: 7531.519 PropClause: 7336.278 Set: 1374.438 Check: 0.0 Back: 163.292
INFO - Atoms: 58176/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 6299931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.848 Prop: 7592.589 PropClause: 7395.695 Set: 1385.578 Check: 0.0 Back: 164.789
INFO - Atoms: 57980/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 6357717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.91 Prop: 7656.713 PropClause: 7458.164 Set: 1396.662 Check: 0.0 Back: 166.317
INFO - Atoms: 57786/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 6415325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.927 Prop: 7714.825 PropClause: 7514.631 Set: 1407.673 Check: 0.0 Back: 167.827
INFO - Atoms: 57608/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 6472721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.942 Prop: 7779.428 PropClause: 7577.595 Set: 1418.725 Check: 0.0 Back: 169.307
INFO - Atoms: 57396/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 6529938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.961 Prop: 7840.028 PropClause: 7636.56 Set: 1429.812 Check: 0.0 Back: 170.808
INFO - Atoms: 57217/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 6586944 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.017 Prop: 7904.158 PropClause: 7699.059 Set: 1440.755 Check: 0.0 Back: 172.268
INFO - Atoms: 57006/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 6643754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.088 Prop: 7967.364 PropClause: 7760.64 Set: 1478.406 Check: 0.0 Back: 173.74
INFO - Atoms: 56810/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 6700370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.105 Prop: 8028.489 PropClause: 7820.148 Set: 1489.422 Check: 0.0 Back: 175.13
INFO - Atoms: 56616/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 6756790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.122 Prop: 8085.459 PropClause: 7875.506 Set: 1500.357 Check: 0.0 Back: 176.625
INFO - Atoms: 56420/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 6813016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.141 Prop: 8145.877 PropClause: 7934.319 Set: 1511.272 Check: 0.0 Back: 178.081
INFO - Atoms: 56226/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 6869046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.159 Prop: 8203.616 PropClause: 7990.453 Set: 1522.145 Check: 0.0 Back: 179.549
INFO - Atoms: 56030/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 6924882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.176 Prop: 8265.396 PropClause: 8050.634 Set: 1532.985 Check: 0.0 Back: 180.996
INFO - Atoms: 55836/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 6980522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.196 Prop: 8329.486 PropClause: 8113.164 Set: 1543.989 Check: 0.0 Back: 182.456
INFO - Atoms: 55640/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 7035968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.213 Prop: 8392.649 PropClause: 8174.744 Set: 1554.686 Check: 0.0 Back: 183.886
INFO - Atoms: 55446/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 7091237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.232 Prop: 8453.617 PropClause: 8234.129 Set: 1565.318 Check: 0.0 Back: 185.328
INFO - Atoms: 55269/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 7146293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.246 Prop: 8512.496 PropClause: 8291.435 Set: 1575.928 Check: 0.0 Back: 186.758
INFO - Atoms: 55056/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 7201153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.262 Prop: 8570.936 PropClause: 8348.31 Set: 1586.483 Check: 0.0 Back: 188.188
INFO - Atoms: 54860/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 7255819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.279 Prop: 8631.582 PropClause: 8407.407 Set: 1597.005 Check: 0.0 Back: 189.578
INFO - Atoms: 54666/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 7310307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.294 Prop: 8686.861 PropClause: 8461.13 Set: 1607.439 Check: 0.0 Back: 190.999
INFO - Atoms: 54488/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 7364583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.316 Prop: 8755.625 PropClause: 8528.199 Set: 1621.224 Check: 0.0 Back: 192.356
INFO - Atoms: 54276/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 7418681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.362 Prop: 8811.998 PropClause: 8583.024 Set: 1631.693 Check: 0.0 Back: 193.783
INFO - Atoms: 54098/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 7472567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.374 Prop: 8865.963 PropClause: 8635.451 Set: 1641.951 Check: 0.0 Back: 195.166
INFO - Atoms: 53886/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 7526257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.384 Prop: 8918.083 PropClause: 8686.038 Set: 1652.266 Check: 0.0 Back: 196.573
INFO - Atoms: 53690/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 7579753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.396 Prop: 8970.811 PropClause: 8737.245 Set: 1662.478 Check: 0.0 Back: 197.923
INFO - Atoms: 53496/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 7633071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.406 Prop: 9026.886 PropClause: 8791.79 Set: 1672.974 Check: 0.0 Back: 199.313
INFO - Atoms: 53318/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 7686177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.416 Prop: 9083.522 PropClause: 8846.92 Set: 1683.209 Check: 0.0 Back: 200.718
INFO - Atoms: 53106/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 7739087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.426 Prop: 9135.564 PropClause: 8897.464 Set: 1693.257 Check: 0.0 Back: 202.104
INFO - Atoms: 52910/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 7791803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.435 Prop: 9190.675 PropClause: 8951.067 Set: 1703.272 Check: 0.0 Back: 203.43
INFO - Atoms: 52716/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 7844323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.445 Prop: 9247.08 PropClause: 9005.942 Set: 1713.751 Check: 0.0 Back: 204.795
INFO - Atoms: 52520/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 7896649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.457 Prop: 9307.199 PropClause: 9064.567 Set: 1723.885 Check: 0.0 Back: 206.117
INFO - Atoms: 52326/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 7948779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.469 Prop: 9364.15 PropClause: 9120.029 Set: 1734.335 Check: 0.0 Back: 207.47
INFO - Atoms: 52130/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 8000715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.479 Prop: 9419.342 PropClause: 9173.757 Set: 1744.585 Check: 0.0 Back: 208.82
INFO - Atoms: 51936/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 8052474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.49 Prop: 9471.826 PropClause: 9224.758 Set: 1754.495 Check: 0.0 Back: 210.192
INFO - Atoms: 51759/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 8104020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.503 Prop: 9527.507 PropClause: 9278.96 Set: 1764.459 Check: 0.0 Back: 211.484
INFO - Atoms: 51546/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 8155370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.514 Prop: 9581.539 PropClause: 9331.546 Set: 1774.578 Check: 0.0 Back: 212.828
INFO - Atoms: 51350/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 8206526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.524 Prop: 9634.619 PropClause: 9383.157 Set: 1784.436 Check: 0.0 Back: 214.145
INFO - Atoms: 51156/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 8257504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.536 Prop: 9689.368 PropClause: 9436.269 Set: 1795.89 Check: 0.0 Back: 215.463
INFO - Atoms: 50978/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 8308270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.545 Prop: 9742.493 PropClause: 9487.906 Set: 1806.153 Check: 0.0 Back: 216.757
INFO - Atoms: 50766/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 8358839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.556 Prop: 9795.716 PropClause: 9539.641 Set: 1816.477 Check: 0.0 Back: 218.062
INFO - Atoms: 50569/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 8410577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.572 Prop: 9843.737 PropClause: 9586.181 Set: 1826.384 Check: 0.0 Back: 219.354
INFO - Atoms: 51738/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 8462291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.585 Prop: 9890.755 PropClause: 9631.724 Set: 1836.207 Check: 0.0 Back: 220.682
INFO - Atoms: 51714/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 8513437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.6 Prop: 9940.475 PropClause: 9679.985 Set: 1846.039 Check: 0.0 Back: 221.967
INFO - Atoms: 51146/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 8565154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.615 Prop: 9987.736 PropClause: 9725.778 Set: 1855.846 Check: 0.0 Back: 223.284
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 8616894 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.631 Prop: 10040.281 PropClause: 9776.894 Set: 1865.813 Check: 0.0 Back: 224.58
INFO - Atoms: 51740/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 8668800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.644 Prop: 10089.493 PropClause: 9824.634 Set: 1875.627 Check: 0.0 Back: 225.93
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 8720517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.658 Prop: 10142.25 PropClause: 9875.921 Set: 1885.422 Check: 0.0 Back: 227.197
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 8772401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.671 Prop: 10189.978 PropClause: 9922.174 Set: 1895.196 Check: 0.0 Back: 228.523
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 8823552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.738 Prop: 10241.449 PropClause: 9972.193 Set: 1904.993 Check: 0.0 Back: 229.836
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 8875433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.79 Prop: 10291.34 PropClause: 10020.624 Set: 1915.009 Check: 0.0 Back: 231.158
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 8927175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.807 Prop: 10343.249 PropClause: 10071.058 Set: 1924.931 Check: 0.0 Back: 232.478
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 8979081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.824 Prop: 10394.271 PropClause: 10120.569 Set: 1935.325 Check: 0.0 Back: 233.792
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 9030798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.841 Prop: 10450.52 PropClause: 10175.341 Set: 1945.484 Check: 0.0 Back: 235.09
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 9082680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.857 Prop: 10501.746 PropClause: 10225.109 Set: 1955.598 Check: 0.0 Back: 236.429
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 9133831 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.87 Prop: 10550.379 PropClause: 10272.281 Set: 1965.337 Check: 0.0 Back: 237.743
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 9185713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.885 Prop: 10597.271 PropClause: 10317.696 Set: 1975.289 Check: 0.0 Back: 239.06
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 9237454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.901 Prop: 10648.062 PropClause: 10367.016 Set: 1985.254 Check: 0.0 Back: 240.375
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 9289360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.915 Prop: 10694.811 PropClause: 10412.283 Set: 1995.194 Check: 0.0 Back: 241.701
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 9341077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.929 Prop: 10746.586 PropClause: 10462.582 Set: 2005.177 Check: 0.0 Back: 243.005
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 9392959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.943 Prop: 10796.291 PropClause: 10510.819 Set: 2015.093 Check: 0.0 Back: 244.352
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 9444110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.956 Prop: 10848.382 PropClause: 10561.459 Set: 2024.786 Check: 0.0 Back: 245.647
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 9495992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.974 Prop: 10900.125 PropClause: 10611.723 Set: 2034.812 Check: 0.0 Back: 246.959
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 9547733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.99 Prop: 10958.026 PropClause: 10668.141 Set: 2044.863 Check: 0.0 Back: 248.244
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 9599657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.004 Prop: 11013.8 PropClause: 10722.395 Set: 2055.595 Check: 0.0 Back: 249.622
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 9651374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.022 Prop: 11068.132 PropClause: 10775.237 Set: 2066.019 Check: 0.0 Back: 251.01
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 9703256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.04 Prop: 11123.938 PropClause: 10829.491 Set: 2076.767 Check: 0.0 Back: 252.344
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 9754407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.057 Prop: 11184.212 PropClause: 10888.251 Set: 2087.49 Check: 0.0 Back: 253.662
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 9806288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.072 Prop: 11236.299 PropClause: 10938.851 Set: 2097.719 Check: 0.0 Back: 255.001
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 9858030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.088 Prop: 11296.378 PropClause: 10997.405 Set: 2108.759 Check: 0.0 Back: 256.314
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 9909954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.105 Prop: 11352.094 PropClause: 11051.619 Set: 2119.475 Check: 0.0 Back: 257.657
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 9961671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.121 Prop: 11408.258 PropClause: 11106.296 Set: 2130.175 Check: 0.0 Back: 259.008
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 10013553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.137 Prop: 11464.076 PropClause: 11160.562 Set: 2141.238 Check: 0.0 Back: 260.336
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 10064704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.153 Prop: 11529.983 PropClause: 11224.928 Set: 2152.51 Check: 0.0 Back: 261.649
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 10116585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.169 Prop: 11590.036 PropClause: 11283.484 Set: 2162.752 Check: 0.0 Back: 262.97
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 10168327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.184 Prop: 11651.009 PropClause: 11343.01 Set: 2172.975 Check: 0.0 Back: 264.289
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 10220233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.201 Prop: 11707.511 PropClause: 11398.015 Set: 2183.172 Check: 0.0 Back: 265.626
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 10271950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.216 Prop: 11768.21 PropClause: 11457.252 Set: 2193.392 Check: 0.0 Back: 266.926
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 10323832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.23 Prop: 11823.542 PropClause: 11511.13 Set: 2203.589 Check: 0.0 Back: 268.268
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 10374983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.245 Prop: 11879.527 PropClause: 11565.663 Set: 2213.468 Check: 0.0 Back: 269.609
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 10426864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.258 Prop: 11932.735 PropClause: 11617.39 Set: 2223.549 Check: 0.0 Back: 270.91
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 10478606 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.272 Prop: 11991.579 PropClause: 11674.759 Set: 2233.69 Check: 0.0 Back: 272.216
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 10530512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.284 Prop: 12043.982 PropClause: 11725.682 Set: 2243.781 Check: 0.0 Back: 273.535
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 10582229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.332 Prop: 12098.372 PropClause: 11778.595 Set: 2253.838 Check: 0.0 Back: 274.819
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 10634111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.381 Prop: 12154.936 PropClause: 11833.667 Set: 2264.347 Check: 0.0 Back: 276.15
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 10685262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.393 Prop: 12213.024 PropClause: 11890.291 Set: 2274.796 Check: 0.0 Back: 277.476
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 10737144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.406 Prop: 12268.751 PropClause: 11944.552 Set: 2285.311 Check: 0.0 Back: 278.824
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 10788885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.419 Prop: 12328.556 PropClause: 12002.871 Set: 2295.762 Check: 0.0 Back: 280.217
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 10840809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.432 Prop: 12380.17 PropClause: 12052.972 Set: 2306.491 Check: 0.0 Back: 281.58
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 10892526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.444 Prop: 12439.35 PropClause: 12110.632 Set: 2317.684 Check: 0.0 Back: 282.939
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 10944408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.456 Prop: 12497.894 PropClause: 12167.621 Set: 2329.231 Check: 0.0 Back: 284.306
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 10995559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.468 Prop: 12561.437 PropClause: 12229.615 Set: 2340.584 Check: 0.0 Back: 285.661
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 11047440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.481 Prop: 12617.035 PropClause: 12283.745 Set: 2350.901 Check: 0.0 Back: 287.063
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 11099182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.492 Prop: 12672.468 PropClause: 12337.72 Set: 2361.111 Check: 0.0 Back: 288.395
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 11151088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.503 Prop: 12731.928 PropClause: 12395.641 Set: 2372.175 Check: 0.0 Back: 289.723
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 11202805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.516 Prop: 12796.828 PropClause: 12458.761 Set: 2384.779 Check: 0.0 Back: 291.094
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 11254687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.532 Prop: 12854.652 PropClause: 12515.133 Set: 2409.812 Check: 0.0 Back: 292.445
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 11305838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.544 Prop: 12922.304 PropClause: 12581.166 Set: 2422.949 Check: 0.0 Back: 293.816
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 11357720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.555 Prop: 12984.218 PropClause: 12641.417 Set: 2435.356 Check: 0.0 Back: 295.135
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 11409461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.567 Prop: 13037.964 PropClause: 12693.691 Set: 2445.464 Check: 0.0 Back: 296.469
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 11461367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.579 Prop: 13089.923 PropClause: 12744.169 Set: 2455.868 Check: 0.0 Back: 297.796
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 11513084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.591 Prop: 13142.304 PropClause: 12795.063 Set: 2465.879 Check: 0.0 Back: 299.088
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 11564966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.603 Prop: 13193.418 PropClause: 12844.685 Set: 2475.972 Check: 0.0 Back: 300.421
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 11616117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.615 Prop: 13247.528 PropClause: 12897.332 Set: 2486.132 Check: 0.0 Back: 301.715
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 11667998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.628 Prop: 13305.624 PropClause: 12953.951 Set: 2496.747 Check: 0.0 Back: 303.05
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 11719740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.639 Prop: 13360.796 PropClause: 13007.647 Set: 2507.101 Check: 0.0 Back: 304.401
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 11771664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.651 Prop: 13412.383 PropClause: 13057.771 Set: 2517.269 Check: 0.0 Back: 305.756
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 11823381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.663 Prop: 13467.07 PropClause: 13110.998 Set: 2527.555 Check: 0.0 Back: 307.09
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 11875263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.675 Prop: 13519.026 PropClause: 13161.497 Set: 2537.656 Check: 0.0 Back: 308.417
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 11926414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.719 Prop: 13570.572 PropClause: 13211.611 Set: 2547.57 Check: 0.0 Back: 309.735
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 11978296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.739 Prop: 13626.699 PropClause: 13266.215 Set: 2558.644 Check: 0.0 Back: 311.054
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 12030037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.779 Prop: 13681.961 PropClause: 13319.987 Set: 2569.176 Check: 0.0 Back: 312.534
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 12081961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.785 Prop: 13737.654 PropClause: 13374.125 Set: 2580.425 Check: 0.0 Back: 313.886
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 12133678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.791 Prop: 13791.967 PropClause: 13426.975 Set: 2590.559 Check: 0.0 Back: 315.187
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 12185560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.797 Prop: 13847.877 PropClause: 13481.415 Set: 2600.906 Check: 0.0 Back: 316.526
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 12236711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.804 Prop: 13900.94 PropClause: 13533.009 Set: 2610.767 Check: 0.0 Back: 317.86
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 12288593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.81 Prop: 13961.603 PropClause: 13592.091 Set: 2622.576 Check: 0.0 Back: 319.182
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 12340334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.816 Prop: 14013.976 PropClause: 13642.989 Set: 2632.955 Check: 0.0 Back: 320.558
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 12392258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.821 Prop: 14063.512 PropClause: 13691.045 Set: 2643.133 Check: 0.0 Back: 321.934
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 12443975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.827 Prop: 14114.466 PropClause: 13740.526 Set: 2653.533 Check: 0.0 Back: 323.247
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 12495857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.833 Prop: 14175.396 PropClause: 13799.899 Set: 2665.318 Check: 0.0 Back: 324.611
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 12547766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.839 Prop: 14234.351 PropClause: 13857.366 Set: 2676.394 Check: 0.0 Back: 325.992
INFO - Atoms: 51909/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 12599649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.846 Prop: 14297.993 PropClause: 13919.432 Set: 2687.995 Check: 0.0 Back: 327.356
INFO - Atoms: 51883/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 12651368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.852 Prop: 14351.987 PropClause: 13971.988 Set: 2698.026 Check: 0.0 Back: 328.705
INFO - Atoms: 51719/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 12703291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.858 Prop: 14404.861 PropClause: 14023.377 Set: 2708.518 Check: 0.0 Back: 330.049
INFO - Atoms: 51923/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 12755008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.864 Prop: 14466.106 PropClause: 14083.007 Set: 2720.331 Check: 0.0 Back: 331.394
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 12806892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.869 Prop: 14522.193 PropClause: 14137.544 Set: 2731.29 Check: 0.0 Back: 332.735
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 12858043 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.876 Prop: 14579.924 PropClause: 14193.788 Set: 2741.264 Check: 0.0 Back: 334.069
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 12909927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.883 Prop: 14631.839 PropClause: 14244.222 Set: 2751.433 Check: 0.0 Back: 335.401
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 12961666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.889 Prop: 14685.115 PropClause: 14296.052 Set: 2761.521 Check: 0.0 Back: 336.719
INFO - Atoms: 51739/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 13013590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.895 Prop: 14740.045 PropClause: 14349.523 Set: 2771.933 Check: 0.0 Back: 338.05
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 13065307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.901 Prop: 14794.186 PropClause: 14402.223 Set: 2782.05 Check: 0.0 Back: 339.392
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 13117189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.908 Prop: 14854.099 PropClause: 14460.459 Set: 2793.595 Check: 0.0 Back: 340.726
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 13168340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.914 Prop: 14912.092 PropClause: 14516.925 Set: 2804.33 Check: 0.0 Back: 342.398
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 13220221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.92 Prop: 14967.963 PropClause: 14571.312 Set: 2815.212 Check: 0.0 Back: 344.035
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 13271963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.927 Prop: 15032.44 PropClause: 14634.064 Set: 2827.467 Check: 0.0 Back: 345.354
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 13323869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.932 Prop: 15091.62 PropClause: 14691.721 Set: 2838.541 Check: 0.0 Back: 346.683
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 13375586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.94 Prop: 15145.047 PropClause: 14743.667 Set: 2848.57 Check: 0.0 Back: 348.021
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 13427468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.946 Prop: 15200.859 PropClause: 14797.993 Set: 2858.718 Check: 0.0 Back: 349.347
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 13478619 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.952 Prop: 15257.966 PropClause: 14853.634 Set: 2868.582 Check: 0.0 Back: 350.649
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 13530501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.957 Prop: 15307.189 PropClause: 14901.369 Set: 2878.547 Check: 0.0 Back: 351.975
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 13582242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.961 Prop: 15359.642 PropClause: 14952.353 Set: 2888.518 Check: 0.0 Back: 353.281
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 13634167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.968 Prop: 15412.265 PropClause: 15003.493 Set: 2898.625 Check: 0.0 Back: 354.775
INFO - Atoms: 51925/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 13685884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.975 Prop: 15468.022 PropClause: 15057.785 Set: 2908.84 Check: 0.0 Back: 356.077
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 13737766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.981 Prop: 15521.476 PropClause: 15109.741 Set: 2918.973 Check: 0.0 Back: 357.407
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 13788917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.987 Prop: 15572.843 PropClause: 15159.653 Set: 2928.845 Check: 0.0 Back: 358.71
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 13840799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.994 Prop: 15622.777 PropClause: 15208.102 Set: 2938.807 Check: 0.0 Back: 360.023
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 13892540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.999 Prop: 15673.736 PropClause: 15257.585 Set: 2948.814 Check: 0.0 Back: 361.355
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 13944446 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.005 Prop: 15721.018 PropClause: 15303.387 Set: 2958.881 Check: 0.0 Back: 362.688
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 13996163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.013 Prop: 15769.645 PropClause: 15350.53 Set: 2968.801 Check: 0.0 Back: 364.011
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 14048045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.018 Prop: 15819.24 PropClause: 15398.638 Set: 2978.884 Check: 0.0 Back: 365.326
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 14099196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.025 Prop: 15871.079 PropClause: 15449.017 Set: 2988.743 Check: 0.0 Back: 366.643
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 14151078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.031 Prop: 15923.159 PropClause: 15499.619 Set: 2998.79 Check: 0.0 Back: 367.963
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 14202819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.038 Prop: 15975.159 PropClause: 15550.143 Set: 3009.69 Check: 0.0 Back: 369.287
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 14254725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.044 Prop: 16028.645 PropClause: 15602.145 Set: 3035.805 Check: 0.0 Back: 370.616
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 14306442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.05 Prop: 16083.475 PropClause: 15655.498 Set: 3045.917 Check: 0.0 Back: 371.914
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 14358324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.056 Prop: 16140.113 PropClause: 15710.655 Set: 3056.131 Check: 0.0 Back: 373.248
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 14409475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.06 Prop: 16191.551 PropClause: 15760.632 Set: 3065.978 Check: 0.0 Back: 374.561
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 14461356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.066 Prop: 16243.204 PropClause: 15810.794 Set: 3075.98 Check: 0.0 Back: 375.885
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 14513098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.072 Prop: 16295.162 PropClause: 15861.281 Set: 3086.077 Check: 0.0 Back: 377.194
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 14565022 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.077 Prop: 16347.044 PropClause: 15911.678 Set: 3096.162 Check: 0.0 Back: 378.517
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 14616739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.082 Prop: 16403.453 PropClause: 15966.611 Set: 3106.319 Check: 0.0 Back: 379.818
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 14668621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.089 Prop: 16455.099 PropClause: 16016.803 Set: 3116.434 Check: 0.0 Back: 381.154
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 14719772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.094 Prop: 16506.86 PropClause: 16067.106 Set: 3126.294 Check: 0.0 Back: 382.477
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 14771653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.1 Prop: 16558.709 PropClause: 16117.501 Set: 3136.421 Check: 0.0 Back: 383.788
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 14823395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.106 Prop: 16607.188 PropClause: 16164.502 Set: 3146.362 Check: 0.0 Back: 385.104
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 14874545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.112 Prop: 16655.741 PropClause: 16211.595 Set: 3156.418 Check: 0.0 Back: 386.44
INFO - Atoms: 51150/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 14926284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.119 Prop: 16703.939 PropClause: 16258.311 Set: 3166.335 Check: 0.0 Back: 387.745
INFO - Atoms: 51739/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 14978168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.123 Prop: 16751.39 PropClause: 16304.279 Set: 3176.33 Check: 0.0 Back: 389.078
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 15029319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.129 Prop: 16799.568 PropClause: 16350.986 Set: 3186.155 Check: 0.0 Back: 390.39
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 15081203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.135 Prop: 16849.954 PropClause: 16399.893 Set: 3219.183 Check: 0.0 Back: 391.702
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 15132942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.141 Prop: 16902.303 PropClause: 16450.763 Set: 3229.203 Check: 0.0 Back: 392.959
INFO - Atoms: 51739/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 15184110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.147 Prop: 16956.302 PropClause: 16503.298 Set: 3239.026 Check: 0.0 Back: 394.282
INFO - Atoms: 51168/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 15235851 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.153 Prop: 17015.573 PropClause: 16561.083 Set: 3249.564 Check: 0.0 Back: 395.597
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 15287733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.158 Prop: 17069.234 PropClause: 16613.246 Set: 3259.833 Check: 0.0 Back: 396.938
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 15339640 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.165 Prop: 17119.387 PropClause: 16661.928 Set: 3269.934 Check: 0.0 Back: 398.273
INFO - Atoms: 51907/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 15391521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.171 Prop: 17171.34 PropClause: 16712.421 Set: 3280.344 Check: 0.0 Back: 399.639
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 15443240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.177 Prop: 17225.455 PropClause: 16764.947 Set: 3291.457 Check: 0.0 Back: 400.959
INFO - Atoms: 51719/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 15495163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.183 Prop: 17275.73 PropClause: 16813.745 Set: 3301.621 Check: 0.0 Back: 402.323
INFO - Atoms: 51923/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 15546880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.189 Prop: 17325.77 PropClause: 16862.316 Set: 3311.565 Check: 0.0 Back: 403.656
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 15598762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.196 Prop: 17375.559 PropClause: 16910.63 Set: 3321.573 Check: 0.0 Back: 404.983
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 15649913 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.201 Prop: 17422.062 PropClause: 16955.671 Set: 3331.428 Check: 0.0 Back: 406.341
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 15701797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.208 Prop: 17468.805 PropClause: 17000.929 Set: 3341.35 Check: 0.0 Back: 407.66
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 15753536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.214 Prop: 17518.847 PropClause: 17049.503 Set: 3351.388 Check: 0.0 Back: 408.988
INFO - Atoms: 51739/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 15805460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.219 Prop: 17566.215 PropClause: 17095.388 Set: 3361.274 Check: 0.0 Back: 410.31
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 15857177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.225 Prop: 17616.271 PropClause: 17143.969 Set: 3371.364 Check: 0.0 Back: 411.636
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 15909059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.23 Prop: 17666.096 PropClause: 17192.303 Set: 3381.424 Check: 0.0 Back: 412.963
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 15960210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.235 Prop: 17717.053 PropClause: 17241.801 Set: 3391.27 Check: 0.0 Back: 414.301
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 16012091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.24 Prop: 17768.565 PropClause: 17291.834 Set: 3401.384 Check: 0.0 Back: 415.594
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 16063833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.246 Prop: 17820.927 PropClause: 17342.721 Set: 3411.337 Check: 0.0 Back: 416.898
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 16115757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.252 Prop: 17871.998 PropClause: 17392.307 Set: 3421.43 Check: 0.0 Back: 418.224
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 16167474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.259 Prop: 17921.863 PropClause: 17440.702 Set: 3431.412 Check: 0.0 Back: 419.558
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 16219356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.265 Prop: 17971.367 PropClause: 17488.73 Set: 3441.317 Check: 0.0 Back: 420.901
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 16270507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.271 Prop: 18022.333 PropClause: 17538.23 Set: 3451.166 Check: 0.0 Back: 422.23
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 16322389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.278 Prop: 18074.413 PropClause: 17588.824 Set: 3461.345 Check: 0.0 Back: 423.57
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 16374130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.285 Prop: 18127.037 PropClause: 17639.972 Set: 3471.358 Check: 0.0 Back: 424.889
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 16426036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.29 Prop: 18177.213 PropClause: 17688.669 Set: 3481.481 Check: 0.0 Back: 426.232
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 16477753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.295 Prop: 18230.292 PropClause: 17740.262 Set: 3491.503 Check: 0.0 Back: 427.55
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 16529635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.302 Prop: 18278.904 PropClause: 17787.392 Set: 3501.545 Check: 0.0 Back: 428.899
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 16580786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.308 Prop: 18327.983 PropClause: 17835.015 Set: 3511.377 Check: 0.0 Back: 430.228
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 16632668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.314 Prop: 18378.865 PropClause: 17884.412 Set: 3521.733 Check: 0.0 Back: 431.562
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 16684409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.32 Prop: 18427.941 PropClause: 17932.022 Set: 3531.78 Check: 0.0 Back: 432.91
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 16736333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.326 Prop: 18483.212 PropClause: 17985.806 Set: 3542.533 Check: 0.0 Back: 434.274
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 16788050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.333 Prop: 18542.375 PropClause: 18043.414 Set: 3554.396 Check: 0.0 Back: 435.642
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 16839932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.338 Prop: 18599.094 PropClause: 18098.623 Set: 3565.317 Check: 0.0 Back: 436.989
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 16891083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.344 Prop: 18657.807 PropClause: 18155.84 Set: 3576.021 Check: 0.0 Back: 438.342
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 16942965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.349 Prop: 18708.683 PropClause: 18205.239 Set: 3586.285 Check: 0.0 Back: 439.681
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 16994706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.355 Prop: 18762.987 PropClause: 18258.035 Set: 3597.134 Check: 0.0 Back: 441.014
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 17046612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.361 Prop: 18812.683 PropClause: 18306.251 Set: 3607.285 Check: 0.0 Back: 442.363
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 17098329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.367 Prop: 18863.452 PropClause: 18355.548 Set: 3617.237 Check: 0.0 Back: 443.689
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 17150211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.373 Prop: 18914.782 PropClause: 18405.4 Set: 3627.286 Check: 0.0 Back: 445.024
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 17201362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.379 Prop: 18965.604 PropClause: 18454.76 Set: 3637.116 Check: 0.0 Back: 446.301
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 17253243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.385 Prop: 19019.02 PropClause: 18506.694 Set: 3647.261 Check: 0.0 Back: 447.609
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 17304985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.39 Prop: 19073.202 PropClause: 18559.397 Set: 3657.345 Check: 0.0 Back: 448.921
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 17356891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.396 Prop: 19124.114 PropClause: 18608.827 Set: 3667.425 Check: 0.0 Back: 450.253
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 17408608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.402 Prop: 19182.927 PropClause: 18666.167 Set: 3677.759 Check: 0.0 Back: 451.588
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 17460490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.409 Prop: 19235.305 PropClause: 18717.054 Set: 3688.097 Check: 0.0 Back: 452.95
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 17511641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.414 Prop: 19286.667 PropClause: 18766.97 Set: 3698.246 Check: 0.0 Back: 454.278
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 17563522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.42 Prop: 19339.318 PropClause: 18818.15 Set: 3708.879 Check: 0.0 Back: 455.623
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 17615264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.426 Prop: 19395.748 PropClause: 18873.018 Set: 3720.549 Check: 0.0 Back: 456.968
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 17667188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.432 Prop: 19449.26 PropClause: 18925.073 Set: 3730.794 Check: 0.0 Back: 458.313
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 17718905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.438 Prop: 19505.96 PropClause: 18980.286 Set: 3741.501 Check: 0.0 Back: 459.651
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 17770787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.444 Prop: 19560.199 PropClause: 19033.035 Set: 3751.738 Check: 0.0 Back: 461.041
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 17821938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.45 Prop: 19614.828 PropClause: 19086.226 Set: 3761.673 Check: 0.0 Back: 462.397
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 17873820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.456 Prop: 19664.738 PropClause: 19134.663 Set: 3775.992 Check: 0.0 Back: 463.73
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 17925561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.462 Prop: 19714.843 PropClause: 19183.297 Set: 3790.219 Check: 0.0 Back: 465.046
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 17977485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.467 Prop: 19763.967 PropClause: 19230.942 Set: 3800.296 Check: 0.0 Back: 466.383
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 18029202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.473 Prop: 19814.325 PropClause: 19279.82 Set: 3810.281 Check: 0.0 Back: 467.693
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 18081084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.478 Prop: 19875.153 PropClause: 19339.047 Set: 3822.877 Check: 0.0 Back: 469.009
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 18132235 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.484 Prop: 19924.026 PropClause: 19386.46 Set: 3832.689 Check: 0.0 Back: 470.353
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 18184117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.49 Prop: 19973.257 PropClause: 19434.213 Set: 3842.809 Check: 0.0 Back: 471.666
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 18235858 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.495 Prop: 20022.647 PropClause: 19482.135 Set: 3852.781 Check: 0.0 Back: 472.984
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 18287782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.501 Prop: 20071.697 PropClause: 19529.698 Set: 3863.012 Check: 0.0 Back: 474.31
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 18339499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.506 Prop: 20118.666 PropClause: 19575.222 Set: 3872.968 Check: 0.0 Back: 475.685
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 18391381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.512 Prop: 20164.671 PropClause: 19619.738 Set: 3882.889 Check: 0.0 Back: 477.035
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 18442532 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.517 Prop: 20210.677 PropClause: 19664.297 Set: 3892.698 Check: 0.0 Back: 478.348
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 18494413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.524 Prop: 20258.035 PropClause: 19710.148 Set: 3903.203 Check: 0.0 Back: 479.679
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 18546155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.528 Prop: 20307.708 PropClause: 19758.349 Set: 3913.198 Check: 0.0 Back: 481.012
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 18597323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.535 Prop: 20357.184 PropClause: 19806.367 Set: 3923.049 Check: 0.0 Back: 482.337
INFO - Atoms: 51168/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 18649062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.54 Prop: 20410.569 PropClause: 19858.29 Set: 3933.274 Check: 0.0 Back: 483.65
INFO - Atoms: 51739/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 18700946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.546 Prop: 20463.061 PropClause: 19909.297 Set: 3943.823 Check: 0.0 Back: 485.003
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 18752097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.552 Prop: 20513.773 PropClause: 19958.551 Set: 3953.763 Check: 0.0 Back: 486.34
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 18803981 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.558 Prop: 20563.87 PropClause: 20007.169 Set: 3963.882 Check: 0.0 Back: 487.679
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 18855720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.564 Prop: 20613.011 PropClause: 20054.834 Set: 3973.964 Check: 0.0 Back: 489.001
INFO - Atoms: 51739/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 18907644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.569 Prop: 20662.365 PropClause: 20102.708 Set: 3983.889 Check: 0.0 Back: 490.323
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 18959361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.575 Prop: 20717.897 PropClause: 20156.767 Set: 3993.963 Check: 0.0 Back: 491.647
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 19011245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.581 Prop: 20766.807 PropClause: 20204.203 Set: 4003.967 Check: 0.0 Back: 492.962
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 19062396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.585 Prop: 20815.009 PropClause: 20250.945 Set: 4013.723 Check: 0.0 Back: 494.287
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 19114278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.591 Prop: 20871.042 PropClause: 20305.251 Set: 4023.856 Check: 0.0 Back: 495.601
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 19166019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.597 Prop: 20921.042 PropClause: 20353.775 Set: 4033.787 Check: 0.0 Back: 496.938
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 19217943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.602 Prop: 20967.251 PropClause: 20398.501 Set: 4043.717 Check: 0.0 Back: 498.265
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 19269660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.608 Prop: 21015.822 PropClause: 20445.602 Set: 4053.697 Check: 0.0 Back: 499.592
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 19321542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.613 Prop: 21064.986 PropClause: 20493.287 Set: 4063.828 Check: 0.0 Back: 500.922
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 19372693 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.618 Prop: 21112.889 PropClause: 20539.733 Set: 4073.621 Check: 0.0 Back: 502.25
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 19424574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.624 Prop: 21163.392 PropClause: 20588.755 Set: 4083.73 Check: 0.0 Back: 503.563
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 19476316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.629 Prop: 21212.472 PropClause: 20636.395 Set: 4093.745 Check: 0.0 Back: 504.923
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 19528222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.636 Prop: 21267.384 PropClause: 20689.841 Set: 4103.961 Check: 0.0 Back: 506.267
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 19579939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.642 Prop: 21321.351 PropClause: 20742.336 Set: 4114.136 Check: 0.0 Back: 507.606
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 19631821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.649 Prop: 21379.094 PropClause: 20798.577 Set: 4141.396 Check: 0.0 Back: 508.943
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 19682972 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.656 Prop: 21429.642 PropClause: 20847.704 Set: 4151.356 Check: 0.0 Back: 510.274
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 19734854 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.662 Prop: 21482.055 PropClause: 20898.673 Set: 4161.658 Check: 0.0 Back: 511.604
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 19786595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.668 Prop: 21536.508 PropClause: 20951.623 Set: 4172.565 Check: 0.0 Back: 512.945
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 19838520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.675 Prop: 21595.524 PropClause: 21009.092 Set: 4183.868 Check: 0.0 Back: 514.299
INFO - Atoms: 51925/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 19890237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.681 Prop: 21654.598 PropClause: 21066.559 Set: 4195.875 Check: 0.0 Back: 515.666
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 19942119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.686 Prop: 21714.652 PropClause: 21125.02 Set: 4208.106 Check: 0.0 Back: 516.995
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 19993270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.692 Prop: 21769.476 PropClause: 21178.373 Set: 4218.466 Check: 0.0 Back: 518.363
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 20045152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.7 Prop: 21828.624 PropClause: 21235.981 Set: 4230.0 Check: 0.0 Back: 519.703
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 20096893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.705 Prop: 21880.975 PropClause: 21286.866 Set: 4240.248 Check: 0.0 Back: 521.054
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 20148817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.711 Prop: 21936.5 PropClause: 21340.741 Set: 4252.217 Check: 0.0 Back: 522.412
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 20200534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.717 Prop: 21992.862 PropClause: 21395.579 Set: 4263.399 Check: 0.0 Back: 523.794
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 20252416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.722 Prop: 22041.124 PropClause: 21442.357 Set: 4273.53 Check: 0.0 Back: 525.137
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 20303567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.729 Prop: 22092.772 PropClause: 21492.548 Set: 4283.432 Check: 0.0 Back: 526.473
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 20355448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.734 Prop: 22147.862 PropClause: 21546.096 Set: 4294.874 Check: 0.0 Back: 527.788
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 20407190 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.741 Prop: 22199.949 PropClause: 21596.716 Set: 4305.054 Check: 0.0 Back: 529.12
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 20459114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.746 Prop: 22253.34 PropClause: 21648.631 Set: 4335.166 Check: 0.0 Back: 530.478
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 20510831 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.784 Prop: 22311.7 PropClause: 21705.49 Set: 4346.118 Check: 0.0 Back: 531.819
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 20562713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.79 Prop: 22366.532 PropClause: 21758.744 Set: 4357.627 Check: 0.0 Back: 533.155
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 20613864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.795 Prop: 22420.948 PropClause: 21811.702 Set: 4368.168 Check: 0.0 Back: 534.497
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 20665745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.801 Prop: 22474.212 PropClause: 21863.471 Set: 4378.779 Check: 0.0 Back: 535.847
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 20717487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.807 Prop: 22529.403 PropClause: 21917.131 Set: 4389.551 Check: 0.0 Back: 537.207
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 20769393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.813 Prop: 22584.999 PropClause: 21971.252 Set: 4400.053 Check: 0.0 Back: 538.539
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 20821110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.82 Prop: 22641.491 PropClause: 22026.197 Set: 4411.429 Check: 0.0 Back: 539.889
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 20872992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.826 Prop: 22699.382 PropClause: 22082.597 Set: 4422.323 Check: 0.0 Back: 541.244
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 20924143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.831 Prop: 22755.529 PropClause: 22137.237 Set: 4433.225 Check: 0.0 Back: 542.612
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 20976024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.837 Prop: 22814.56 PropClause: 22194.718 Set: 4444.933 Check: 0.0 Back: 543.96
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 21027766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.842 Prop: 22868.313 PropClause: 22247.004 Set: 4455.317 Check: 0.0 Back: 545.314
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 21079690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.849 Prop: 22925.89 PropClause: 22303.104 Set: 4466.128 Check: 0.0 Back: 546.656
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 21131407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.855 Prop: 22981.983 PropClause: 22357.729 Set: 4476.42 Check: 0.0 Back: 548.038
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 21183289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.862 Prop: 23039.973 PropClause: 22414.212 Set: 4487.457 Check: 0.0 Back: 549.382
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 21234440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.868 Prop: 23094.41 PropClause: 22467.178 Set: 4498.117 Check: 0.0 Back: 550.737
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 21286322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.875 Prop: 23151.159 PropClause: 22522.347 Set: 4509.705 Check: 0.0 Back: 552.051
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 21338063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.881 Prop: 23211.93 PropClause: 22581.554 Set: 4521.427 Check: 0.0 Back: 553.459
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 21389969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.886 Prop: 23263.601 PropClause: 22631.687 Set: 4532.43 Check: 0.0 Back: 554.817
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 21441686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.892 Prop: 23314.615 PropClause: 22681.238 Set: 4542.663 Check: 0.0 Back: 556.165
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 21493568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.897 Prop: 23365.031 PropClause: 22730.2 Set: 4552.772 Check: 0.0 Back: 557.548
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 21544719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.902 Prop: 23416.632 PropClause: 22780.341 Set: 4563.065 Check: 0.0 Back: 558.895
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 21596600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.908 Prop: 23465.38 PropClause: 22827.616 Set: 4573.178 Check: 0.0 Back: 560.225
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 21648342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.913 Prop: 23516.436 PropClause: 22877.218 Set: 4583.521 Check: 0.0 Back: 561.584
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 21700266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.918 Prop: 23568.085 PropClause: 22927.39 Set: 4594.065 Check: 0.0 Back: 562.916
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 21751983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.924 Prop: 23621.076 PropClause: 22978.91 Set: 4604.601 Check: 0.0 Back: 564.277
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 21803865 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.929 Prop: 23675.693 PropClause: 23032.036 Set: 4615.222 Check: 0.0 Back: 565.643
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 21855016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.935 Prop: 23724.948 PropClause: 23079.846 Set: 4625.282 Check: 0.0 Back: 566.998
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 21906897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.941 Prop: 23778.213 PropClause: 23131.601 Set: 4636.225 Check: 0.0 Back: 568.342
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 21958639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.946 Prop: 23829.157 PropClause: 23181.084 Set: 4646.511 Check: 0.0 Back: 569.705
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 22010562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.952 Prop: 23883.045 PropClause: 23233.48 Set: 4656.927 Check: 0.0 Back: 571.054
INFO - Atoms: 51923/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 22062279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.958 Prop: 23936.468 PropClause: 23285.446 Set: 4667.284 Check: 0.0 Back: 572.397
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 22114161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.963 Prop: 23987.658 PropClause: 23335.17 Set: 4677.466 Check: 0.0 Back: 573.751
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 22165312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.97 Prop: 24041.07 PropClause: 23387.113 Set: 4687.903 Check: 0.0 Back: 575.086
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 22217194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.977 Prop: 24093.536 PropClause: 23438.112 Set: 4698.349 Check: 0.0 Back: 576.47
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 22268935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.984 Prop: 24143.116 PropClause: 23486.215 Set: 4708.515 Check: 0.0 Back: 577.818
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 22320103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.989 Prop: 24194.704 PropClause: 23536.369 Set: 4718.423 Check: 0.0 Back: 579.193
INFO - Atoms: 51168/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 22371842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.995 Prop: 24247.039 PropClause: 23587.217 Set: 4729.029 Check: 0.0 Back: 580.522
INFO - Atoms: 51739/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 22423726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.001 Prop: 24298.41 PropClause: 23637.12 Set: 4739.183 Check: 0.0 Back: 581.89
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 22474877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.006 Prop: 24353.886 PropClause: 23691.018 Set: 4750.381 Check: 0.0 Back: 583.24
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 22526761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.012 Prop: 24406.103 PropClause: 23741.766 Set: 4760.8 Check: 0.0 Back: 584.617
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 22578500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.018 Prop: 24460.064 PropClause: 23794.251 Set: 4771.182 Check: 0.0 Back: 585.992
INFO - Atoms: 51739/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 22629667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.024 Prop: 24513.975 PropClause: 23846.698 Set: 4781.37 Check: 0.0 Back: 587.333
INFO - Atoms: 51167/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 22681408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.031 Prop: 24568.602 PropClause: 23899.867 Set: 4791.645 Check: 0.0 Back: 588.664
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 22733290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.038 Prop: 24623.082 PropClause: 23952.862 Set: 4802.215 Check: 0.0 Back: 589.992
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 22785199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.045 Prop: 24676.458 PropClause: 24004.776 Set: 4812.537 Check: 0.0 Back: 591.349
INFO - Atoms: 51909/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 22837081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.05 Prop: 24730.5 PropClause: 24057.345 Set: 4838.696 Check: 0.0 Back: 592.705
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 22888800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.056 Prop: 24791.58 PropClause: 24116.852 Set: 4851.139 Check: 0.0 Back: 594.038
INFO - Atoms: 51719/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 22940706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.062 Prop: 24846.603 PropClause: 24170.376 Set: 4861.956 Check: 0.0 Back: 595.4
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 22992423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.069 Prop: 24903.454 PropClause: 24225.691 Set: 4873.38 Check: 0.0 Back: 596.778
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 23044305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.074 Prop: 24957.67 PropClause: 24278.402 Set: 4883.636 Check: 0.0 Back: 598.13
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 23095456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.08 Prop: 25013.706 PropClause: 24332.919 Set: 4895.067 Check: 0.0 Back: 599.51
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 23147340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.086 Prop: 25070.412 PropClause: 24388.103 Set: 4906.212 Check: 0.0 Back: 600.853
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 23199079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.093 Prop: 25124.12 PropClause: 24440.338 Set: 4916.733 Check: 0.0 Back: 602.227
INFO - Atoms: 51739/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 23250985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.099 Prop: 25179.882 PropClause: 24494.623 Set: 4926.967 Check: 0.0 Back: 603.61
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 23302702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.106 Prop: 25237.118 PropClause: 24550.352 Set: 4938.509 Check: 0.0 Back: 604.949
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 23354584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.111 Prop: 25289.781 PropClause: 24601.547 Set: 4948.65 Check: 0.0 Back: 606.291
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 23405735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.117 Prop: 25340.798 PropClause: 24651.093 Set: 4958.823 Check: 0.0 Back: 607.629
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 23457616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.122 Prop: 25397.948 PropClause: 24706.723 Set: 4969.865 Check: 0.0 Back: 608.946
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 23509358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.129 Prop: 25453.37 PropClause: 24760.662 Set: 4980.642 Check: 0.0 Back: 610.292
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 23561283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.135 Prop: 25506.55 PropClause: 24812.373 Set: 4990.96 Check: 0.0 Back: 611.649
INFO - Atoms: 51925/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 23613000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.141 Prop: 25560.527 PropClause: 24864.892 Set: 5017.332 Check: 0.0 Back: 613.01
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 23664882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.149 Prop: 25614.977 PropClause: 24917.878 Set: 5027.581 Check: 0.0 Back: 614.378
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 23716033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.155 Prop: 25667.556 PropClause: 24969.0 Set: 5037.6 Check: 0.0 Back: 615.717
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 23767915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.16 Prop: 25723.231 PropClause: 25023.158 Set: 5048.47 Check: 0.0 Back: 617.047
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 23819656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.166 Prop: 25774.133 PropClause: 25072.589 Set: 5058.873 Check: 0.0 Back: 618.539
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 23871562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.172 Prop: 25830.0 PropClause: 25126.956 Set: 5069.786 Check: 0.0 Back: 619.943
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 23923279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.177 Prop: 25880.095 PropClause: 25175.569 Set: 5079.935 Check: 0.0 Back: 621.311
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 23975161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.182 Prop: 25931.178 PropClause: 25225.176 Set: 5090.023 Check: 0.0 Back: 622.633
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 24026312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.188 Prop: 25981.618 PropClause: 25274.153 Set: 5100.066 Check: 0.0 Back: 623.98
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 24078193 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.194 Prop: 26032.863 PropClause: 25323.944 Set: 5110.29 Check: 0.0 Back: 625.293
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 24129935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.199 Prop: 26084.644 PropClause: 25374.267 Set: 5120.495 Check: 0.0 Back: 626.672
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 24181859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.205 Prop: 26139.725 PropClause: 25427.891 Set: 5130.743 Check: 0.0 Back: 628.014
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 24233576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.211 Prop: 26191.04 PropClause: 25477.741 Set: 5140.947 Check: 0.0 Back: 629.372
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 24285458 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.217 Prop: 26246.854 PropClause: 25532.073 Set: 5151.838 Check: 0.0 Back: 630.696
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 24336609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.222 Prop: 26299.746 PropClause: 25583.519 Set: 5162.058 Check: 0.0 Back: 632.083
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 24388490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.229 Prop: 26352.389 PropClause: 25634.666 Set: 5172.333 Check: 0.0 Back: 633.409
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 24440232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.235 Prop: 26404.867 PropClause: 25685.67 Set: 5182.525 Check: 0.0 Back: 634.737
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 24492156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.242 Prop: 26456.552 PropClause: 25735.864 Set: 5192.686 Check: 0.0 Back: 636.062
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 24543873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.249 Prop: 26519.344 PropClause: 25797.027 Set: 5205.649 Check: 0.0 Back: 637.388
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 24595755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.255 Prop: 26574.133 PropClause: 25850.369 Set: 5215.848 Check: 0.0 Back: 638.72
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 24646906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.261 Prop: 26630.697 PropClause: 25905.367 Set: 5227.487 Check: 0.0 Back: 640.04
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 24698788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.266 Prop: 26683.838 PropClause: 25957.025 Set: 5237.713 Check: 0.0 Back: 641.345
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 449 Props: 24750529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.271 Prop: 26736.114 PropClause: 26007.838 Set: 5247.912 Check: 0.0 Back: 642.692
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 24802435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.276 Prop: 26792.538 PropClause: 26062.773 Set: 5258.66 Check: 0.0 Back: 644.004
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 451 Props: 24854152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.282 Prop: 26846.504 PropClause: 26115.264 Set: 5269.264 Check: 0.0 Back: 645.365
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 24906034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.288 Prop: 26903.486 PropClause: 26170.629 Set: 5281.54 Check: 0.0 Back: 646.695
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 453 Props: 24957185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.294 Prop: 26953.939 PropClause: 26219.628 Set: 5291.42 Check: 0.0 Back: 648.032
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 454 Props: 25009066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.299 Prop: 27004.036 PropClause: 26268.245 Set: 5301.61 Check: 0.0 Back: 649.347
INFO - Atoms: 51881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 455 Props: 25060808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.306 Prop: 27057.735 PropClause: 26320.392 Set: 5312.852 Check: 0.0 Back: 650.684
INFO - Atoms: 51742/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 456 Props: 25112714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.312 Prop: 27112.199 PropClause: 26373.265 Set: 5324.563 Check: 0.0 Back: 652.031
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 457 Props: 25164431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.317 Prop: 27161.358 PropClause: 26420.937 Set: 5334.636 Check: 0.0 Back: 653.383
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 458 Props: 25216313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.324 Prop: 27211.08 PropClause: 26469.19 Set: 5344.663 Check: 0.0 Back: 654.707
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 459 Props: 25267464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.33 Prop: 27260.842 PropClause: 26517.483 Set: 5355.015 Check: 0.0 Back: 656.054
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 25319346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.336 Prop: 27308.003 PropClause: 26563.169 Set: 5365.142 Check: 0.0 Back: 657.373
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 461 Props: 25371087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.34 Prop: 27355.764 PropClause: 26609.466 Set: 5375.25 Check: 0.0 Back: 658.722
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 25423011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.346 Prop: 27404.146 PropClause: 26656.374 Set: 5385.315 Check: 0.0 Back: 660.047
INFO - Atoms: 51924/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 463 Props: 25474728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.352 Prop: 27455.133 PropClause: 26705.895 Set: 5395.507 Check: 0.0 Back: 661.39
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 464 Props: 25526610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.358 Prop: 27506.03 PropClause: 26755.315 Set: 5405.586 Check: 0.0 Back: 662.699
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 465 Props: 25577761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.364 Prop: 27559.936 PropClause: 26807.741 Set: 5416.543 Check: 0.0 Back: 664.06
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 466 Props: 25629643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.37 Prop: 27616.82 PropClause: 26863.072 Set: 5427.96 Check: 0.0 Back: 665.403
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 25681384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.375 Prop: 27667.051 PropClause: 26911.839 Set: 5438.212 Check: 0.0 Back: 666.767
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 468 Props: 25733307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.381 Prop: 27718.685 PropClause: 26962.0 Set: 5448.269 Check: 0.0 Back: 668.104
INFO - Atoms: 51923/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 469 Props: 25785024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.387 Prop: 27767.206 PropClause: 27009.029 Set: 5458.291 Check: 0.0 Back: 669.446
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 470 Props: 25836906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.393 Prop: 27817.675 PropClause: 27058.039 Set: 5468.195 Check: 0.0 Back: 670.782
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 471 Props: 25888057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.399 Prop: 27865.185 PropClause: 27104.125 Set: 5478.047 Check: 0.0 Back: 672.134
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 472 Props: 25939939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.404 Prop: 27914.499 PropClause: 27151.961 Set: 5488.188 Check: 0.0 Back: 673.473
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 473 Props: 25991680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.41 Prop: 27962.357 PropClause: 27198.354 Set: 5498.251 Check: 0.0 Back: 674.816
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 474 Props: 26042848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.415 Prop: 28011.619 PropClause: 27246.187 Set: 5508.183 Check: 0.0 Back: 676.133
INFO - Atoms: 51168/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 475 Props: 26094587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.421 Prop: 28064.98 PropClause: 27297.999 Set: 5519.378 Check: 0.0 Back: 677.455
INFO - Atoms: 51739/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 476 Props: 26146471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.427 Prop: 28119.652 PropClause: 27351.192 Set: 5529.63 Check: 0.0 Back: 678.789
INFO - Atoms: 51884/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 477 Props: 26197622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.433 Prop: 28171.437 PropClause: 27401.457 Set: 5540.322 Check: 0.0 Back: 680.129
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 478 Props: 26249505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.439 Prop: 28228.566 PropClause: 27456.916 Set: 5553.136 Check: 0.0 Back: 681.532
INFO - Atoms: 51883/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 479 Props: 26301245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.444 Prop: 28277.583 PropClause: 27504.475 Set: 5563.291 Check: 0.0 Back: 682.88
INFO - Atoms: 51740/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 480 Props: 26352413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.449 Prop: 28329.211 PropClause: 27554.672 Set: 5573.291 Check: 0.0 Back: 684.208
INFO - Atoms: 51168/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 481 Props: 26404154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.455 Prop: 28377.626 PropClause: 27601.628 Set: 5583.551 Check: 0.0 Back: 685.535
INFO - Atoms: 51741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 482 Props: 26456036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.462 Prop: 28427.541 PropClause: 27650.07 Set: 5593.601 Check: 0.0 Back: 686.877
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 483 Props: 26507945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.468 Prop: 28476.804 PropClause: 27697.858 Set: 5603.785 Check: 0.0 Back: 688.2
INFO - Atoms: 51909/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 484 Props: 26559827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.473 Prop: 28531.169 PropClause: 27750.739 Set: 5614.418 Check: 0.0 Back: 689.537
INFO - Atoms: 51882/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 485 Props: 26611546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.479 Prop: 28583.137 PropClause: 27801.264 Set: 5624.655 Check: 0.0 Back: 690.876
INFO - Atoms: 51719/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 486 Props: 26663452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.484 Prop: 28638.785 PropClause: 27855.461 Set: 5635.031 Check: 0.0 Back: 692.2
INFO - Atoms: 51906/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 487 Props: 26715169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.49 Prop: 28690.179 PropClause: 27905.375 Set: 5645.286 Check: 0.0 Back: 693.556
INFO - Atoms: 51717/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 488 Props: 26766974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.496 Prop: 28742.579 PropClause: 27956.294 Set: 5655.45 Check: 0.0 Back: 694.892
INFO - Atoms: 51805/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 489 Props: 26818125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.502 Prop: 28793.139 PropClause: 28005.394 Set: 5665.444 Check: 0.0 Back: 696.229
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 490 Props: 26869840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.507 Prop: 28846.481 PropClause: 28057.246 Set: 5676.009 Check: 0.0 Back: 697.532
INFO - Atoms: 51715/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 491 Props: 26921482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.514 Prop: 28899.217 PropClause: 28108.524 Set: 5686.328 Check: 0.0 Back: 698.876
INFO - Atoms: 51642/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 492 Props: 26973228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.519 Prop: 28956.33 PropClause: 28164.181 Set: 5696.866 Check: 0.0 Back: 700.216
INFO - Atoms: 51746/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 493 Props: 27024765 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.524 Prop: 29007.679 PropClause: 28214.087 Set: 5707.123 Check: 0.0 Back: 701.547
INFO - Atoms: 51537/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 494 Props: 27076305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.529 Prop: 29059.963 PropClause: 28264.918 Set: 5717.329 Check: 0.0 Back: 702.877
INFO - Atoms: 51540/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 495 Props: 27127456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.535 Prop: 29112.306 PropClause: 28315.804 Set: 5727.332 Check: 0.0 Back: 704.21
INFO - Atoms: 51151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 496 Props: 27178803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.655 Prop: 29163.37 PropClause: 28365.426 Set: 5737.552 Check: 0.0 Back: 705.527
INFO - Atoms: 51347/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 497 Props: 27230151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.76 Prop: 29215.096 PropClause: 28415.673 Set: 5748.146 Check: 0.0 Back: 706.912
INFO - Atoms: 51348/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 498 Props: 27281498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.924 Prop: 29265.536 PropClause: 28464.682 Set: 5758.167 Check: 0.0 Back: 708.269
INFO - Atoms: 51347/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 499 Props: 27332653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.934 Prop: 29313.559 PropClause: 28511.26 Set: 5768.163 Check: 0.0 Back: 709.615
INFO - Atoms: 51155/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 500 Props: 27383973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.947 Prop: 29362.62 PropClause: 28558.865 Set: 5778.213 Check: 0.0 Back: 710.948
INFO - Atoms: 51320/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 75174 Tprops: 18684 Decides: 83722 RSplits: 0
INFO - Times: Expl: 390.848 Prop: 71209.505 PropClause: 36.448 Set: 15672.272 Check: 368.547 Back: 412.99
INFO - Atoms: 4/1158 Clauses: 500 Axioms: 1158
INFO - CCTimes: iE 727805 eq 42882320 cc 187002291 setRep 97177362
INFO - Merges: 656082, cc:1266886
INFO - BVTimes: BB 325394886 BB_DPLL 63701512309 Graph 2116260
INFO - BitBlastingClauses: 634690 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 501 Props: 27435104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.96 Prop: 29413.973 PropClause: 28608.727 Set: 5788.248 Check: 0.0 Back: 712.268
INFO - Atoms: 51131/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 502 Props: 27486444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.972 Prop: 29465.16 PropClause: 28658.445 Set: 5798.227 Check: 0.0 Back: 713.572
INFO - Atoms: 51340/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 503 Props: 27536925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.048 Prop: 29517.921 PropClause: 28709.795 Set: 5807.97 Check: 0.0 Back: 714.872
INFO - Atoms: 50481/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 504 Props: 27587619 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.097 Prop: 29571.294 PropClause: 28761.721 Set: 5817.616 Check: 0.0 Back: 716.154
INFO - Atoms: 50694/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 505 Props: 27638099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.11 Prop: 29620.651 PropClause: 28809.648 Set: 5827.296 Check: 0.0 Back: 717.459
INFO - Atoms: 50480/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 506 Props: 27688383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.121 Prop: 29672.763 PropClause: 28860.341 Set: 5837.097 Check: 0.0 Back: 718.755
INFO - Atoms: 50284/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 507 Props: 27739127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.133 Prop: 29727.101 PropClause: 28913.231 Set: 5847.072 Check: 0.0 Back: 720.054
INFO - Atoms: 50744/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 508 Props: 27790068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.148 Prop: 29783.503 PropClause: 28968.141 Set: 5857.468 Check: 0.0 Back: 721.366
INFO - Atoms: 50941/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 509 Props: 27841228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.158 Prop: 29836.132 PropClause: 29019.338 Set: 5867.487 Check: 0.0 Back: 722.662
INFO - Atoms: 51160/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 510 Props: 27892559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.171 Prop: 29887.858 PropClause: 29069.615 Set: 5877.38 Check: 0.0 Back: 723.96
INFO - Atoms: 51331/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 511 Props: 27944107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.184 Prop: 29938.091 PropClause: 29118.387 Set: 5887.287 Check: 0.0 Back: 725.283
INFO - Atoms: 51548/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 512 Props: 27995828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.195 Prop: 29991.746 PropClause: 29170.568 Set: 5897.198 Check: 0.0 Back: 726.58
INFO - Atoms: 51721/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 513 Props: 28047766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.207 Prop: 30040.846 PropClause: 29218.188 Set: 5907.219 Check: 0.0 Back: 727.887
INFO - Atoms: 51938/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 514 Props: 28099877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.22 Prop: 30094.119 PropClause: 29270.002 Set: 5917.397 Check: 0.0 Back: 729.224
INFO - Atoms: 52111/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 515 Props: 28152205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.233 Prop: 30148.685 PropClause: 29323.061 Set: 5928.029 Check: 0.0 Back: 730.565
INFO - Atoms: 52328/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 516 Props: 28204706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.244 Prop: 30202.544 PropClause: 29375.432 Set: 5938.544 Check: 0.0 Back: 731.927
INFO - Atoms: 52501/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 517 Props: 28257424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.256 Prop: 30254.588 PropClause: 29425.997 Set: 5948.875 Check: 0.0 Back: 733.278
INFO - Atoms: 52718/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 518 Props: 28310315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.267 Prop: 30310.826 PropClause: 29480.742 Set: 5959.072 Check: 0.0 Back: 734.63
INFO - Atoms: 52891/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 519 Props: 28363423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.279 Prop: 30363.2 PropClause: 29531.609 Set: 5969.2 Check: 0.0 Back: 735.965
INFO - Atoms: 53108/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 520 Props: 28416704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.294 Prop: 30419.174 PropClause: 29586.066 Set: 5979.461 Check: 0.0 Back: 737.304
INFO - Atoms: 53281/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 521 Props: 28470202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.306 Prop: 30473.809 PropClause: 29639.182 Set: 5989.899 Check: 0.0 Back: 738.673
INFO - Atoms: 53498/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 522 Props: 28523873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.324 Prop: 30536.953 PropClause: 29700.81 Set: 6000.711 Check: 0.0 Back: 740.041
INFO - Atoms: 53671/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 523 Props: 28577761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.336 Prop: 30590.587 PropClause: 29752.915 Set: 6028.006 Check: 0.0 Back: 741.438
INFO - Atoms: 53888/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 524 Props: 28631822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.349 Prop: 30644.183 PropClause: 29804.972 Set: 6038.345 Check: 0.0 Back: 742.813
INFO - Atoms: 54061/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 525 Props: 28686100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.36 Prop: 30697.244 PropClause: 29856.488 Set: 6048.739 Check: 0.0 Back: 744.197
INFO - Atoms: 54278/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 526 Props: 28740551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.372 Prop: 30750.799 PropClause: 29908.493 Set: 6059.07 Check: 0.0 Back: 745.615
INFO - Atoms: 54451/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 527 Props: 28795219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.384 Prop: 30805.034 PropClause: 29961.172 Set: 6069.448 Check: 0.0 Back: 746.997
INFO - Atoms: 54668/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 528 Props: 28850060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.395 Prop: 30859.438 PropClause: 30014.013 Set: 6079.886 Check: 0.0 Back: 748.386
INFO - Atoms: 54841/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 529 Props: 28905118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.407 Prop: 30913.007 PropClause: 30066.027 Set: 6090.44 Check: 0.0 Back: 749.785
INFO - Atoms: 55058/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 530 Props: 28960349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.418 Prop: 30969.969 PropClause: 30121.424 Set: 6101.005 Check: 0.0 Back: 751.172
INFO - Atoms: 55231/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 531 Props: 29015797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.429 Prop: 31025.712 PropClause: 30175.587 Set: 6111.976 Check: 0.0 Back: 752.587
INFO - Atoms: 55448/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 532 Props: 29071418 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.442 Prop: 31078.21 PropClause: 30226.514 Set: 6122.637 Check: 0.0 Back: 753.992
INFO - Atoms: 55621/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 533 Props: 29127256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.453 Prop: 31129.532 PropClause: 30276.255 Set: 6133.243 Check: 0.0 Back: 755.424
INFO - Atoms: 55838/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 534 Props: 29183267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.465 Prop: 31198.124 PropClause: 30343.109 Set: 6147.16 Check: 0.0 Back: 756.852
INFO - Atoms: 56011/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 535 Props: 29239495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.519 Prop: 31259.754 PropClause: 30403.133 Set: 6158.053 Check: 0.0 Back: 758.312
INFO - Atoms: 56228/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 536 Props: 29295896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.553 Prop: 31318.498 PropClause: 30460.294 Set: 6169.024 Check: 0.0 Back: 759.758
INFO - Atoms: 56401/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 537 Props: 29352514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.558 Prop: 31375.562 PropClause: 30515.744 Set: 6180.007 Check: 0.0 Back: 761.22
INFO - Atoms: 56618/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 538 Props: 29409305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.564 Prop: 31439.376 PropClause: 30577.901 Set: 6191.535 Check: 0.0 Back: 762.67
INFO - Atoms: 56791/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 539 Props: 29466313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.569 Prop: 31498.702 PropClause: 30635.579 Set: 6203.025 Check: 0.0 Back: 764.137
INFO - Atoms: 57008/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 540 Props: 29523494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.575 Prop: 31561.038 PropClause: 30696.299 Set: 6214.152 Check: 0.0 Back: 765.616
INFO - Atoms: 57181/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 541 Props: 29580892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.58 Prop: 31617.962 PropClause: 30751.587 Set: 6225.179 Check: 0.0 Back: 767.083
INFO - Atoms: 57398/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 542 Props: 29638463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.585 Prop: 31679.129 PropClause: 30811.116 Set: 6236.253 Check: 0.0 Back: 768.551
INFO - Atoms: 57571/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 543 Props: 29696251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.59 Prop: 31736.788 PropClause: 30867.146 Set: 6247.368 Check: 0.0 Back: 770.009
INFO - Atoms: 57788/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 544 Props: 29754212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.596 Prop: 31798.245 PropClause: 30926.968 Set: 6258.577 Check: 0.0 Back: 771.49
INFO - Atoms: 57961/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 545 Props: 29812390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.601 Prop: 31859.584 PropClause: 30986.664 Set: 6269.867 Check: 0.0 Back: 772.979
INFO - Atoms: 58178/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 546 Props: 29870741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.606 Prop: 31919.528 PropClause: 31044.953 Set: 6281.07 Check: 0.0 Back: 774.496
INFO - Atoms: 58351/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 547 Props: 29929309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.612 Prop: 31979.905 PropClause: 31103.678 Set: 6292.628 Check: 0.0 Back: 775.979
INFO - Atoms: 58568/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 548 Props: 29988050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.617 Prop: 32042.257 PropClause: 31164.363 Set: 6303.909 Check: 0.0 Back: 777.473
INFO - Atoms: 58741/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 549 Props: 30047008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.622 Prop: 32101.453 PropClause: 31221.877 Set: 6329.977 Check: 0.0 Back: 778.998
INFO - Atoms: 58958/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 550 Props: 30106139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.627 Prop: 32163.658 PropClause: 31282.392 Set: 6341.45 Check: 0.0 Back: 780.508
INFO - Atoms: 59131/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 551 Props: 30165487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.633 Prop: 32222.497 PropClause: 31339.541 Set: 6352.923 Check: 0.0 Back: 782.013
INFO - Atoms: 59348/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 552 Props: 30225008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.639 Prop: 32283.401 PropClause: 31398.694 Set: 6364.332 Check: 0.0 Back: 783.547
INFO - Atoms: 59521/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 553 Props: 30284746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.645 Prop: 32344.351 PropClause: 31457.943 Set: 6375.935 Check: 0.0 Back: 785.087
INFO - Atoms: 59738/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 554 Props: 30344657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.65 Prop: 32410.469 PropClause: 31522.365 Set: 6387.491 Check: 0.0 Back: 786.63
INFO - Atoms: 59911/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 555 Props: 30404785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.654 Prop: 32472.44 PropClause: 31582.623 Set: 6399.127 Check: 0.0 Back: 788.173
INFO - Atoms: 60128/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 556 Props: 30465086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.658 Prop: 32538.582 PropClause: 31647.044 Set: 6410.695 Check: 0.0 Back: 789.715
INFO - Atoms: 60301/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 557 Props: 30525604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.663 Prop: 32604.419 PropClause: 31711.149 Set: 6422.455 Check: 0.0 Back: 791.285
INFO - Atoms: 60518/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 558 Props: 30586295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.667 Prop: 32677.047 PropClause: 31782.016 Set: 6434.401 Check: 0.0 Back: 792.822
INFO - Atoms: 60691/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 559 Props: 30647203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.672 Prop: 32742.791 PropClause: 31846.022 Set: 6446.321 Check: 0.0 Back: 794.373
INFO - Atoms: 60908/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 560 Props: 30708284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.677 Prop: 32809.564 PropClause: 31911.057 Set: 6458.212 Check: 0.0 Back: 795.936
INFO - Atoms: 61081/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 561 Props: 30769582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.684 Prop: 32875.945 PropClause: 31975.684 Set: 6470.323 Check: 0.0 Back: 797.484
INFO - Atoms: 61298/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 562 Props: 30831053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.69 Prop: 32945.689 PropClause: 32043.677 Set: 6482.331 Check: 0.0 Back: 799.059
INFO - Atoms: 61471/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 563 Props: 30892741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.695 Prop: 33016.392 PropClause: 32112.607 Set: 6494.393 Check: 0.0 Back: 800.642
INFO - Atoms: 61688/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 564 Props: 30954602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.7 Prop: 33085.15 PropClause: 32179.597 Set: 6506.356 Check: 0.0 Back: 802.212
INFO - Atoms: 61861/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 565 Props: 31016680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.705 Prop: 33151.303 PropClause: 32243.979 Set: 6518.351 Check: 0.0 Back: 803.813
INFO - Atoms: 62078/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 566 Props: 31078931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.71 Prop: 33222.897 PropClause: 32313.801 Set: 6530.554 Check: 0.0 Back: 805.418
INFO - Atoms: 62251/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 567 Props: 31141399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.715 Prop: 33287.154 PropClause: 32376.282 Set: 6542.637 Check: 0.0 Back: 807.01
INFO - Atoms: 62468/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 568 Props: 31204040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.72 Prop: 33355.37 PropClause: 32442.699 Set: 6554.788 Check: 0.0 Back: 808.609
INFO - Atoms: 62641/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 569 Props: 31266898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.726 Prop: 33420.126 PropClause: 32505.668 Set: 6566.918 Check: 0.0 Back: 810.224
INFO - Atoms: 62858/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 570 Props: 31329929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.732 Prop: 33488.994 PropClause: 32572.745 Set: 6579.206 Check: 0.0 Back: 811.843
INFO - Atoms: 63031/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 571 Props: 31393177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.736 Prop: 33554.59 PropClause: 32636.536 Set: 6591.491 Check: 0.0 Back: 813.484
INFO - Atoms: 63248/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 572 Props: 31456598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.741 Prop: 33625.985 PropClause: 32706.113 Set: 6603.915 Check: 0.0 Back: 815.112
INFO - Atoms: 63421/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 573 Props: 31520236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.746 Prop: 33695.643 PropClause: 32773.946 Set: 6616.582 Check: 0.0 Back: 816.746
INFO - Atoms: 63638/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 574 Props: 31584047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.751 Prop: 33767.489 PropClause: 32843.975 Set: 6629.364 Check: 0.0 Back: 818.392
INFO - Atoms: 63811/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 575 Props: 31648075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.757 Prop: 33838.062 PropClause: 32912.746 Set: 6641.998 Check: 0.0 Back: 820.034
INFO - Atoms: 64028/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 576 Props: 31712276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.762 Prop: 33908.846 PropClause: 32981.739 Set: 6654.528 Check: 0.0 Back: 821.667
INFO - Atoms: 64201/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 577 Props: 31776694 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.769 Prop: 33978.732 PropClause: 33049.818 Set: 6667.099 Check: 0.0 Back: 823.348
INFO - Atoms: 64418/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 578 Props: 31841285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.775 Prop: 34050.812 PropClause: 33120.059 Set: 6679.678 Check: 0.0 Back: 825.033
INFO - Atoms: 64591/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 579 Props: 31906093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.78 Prop: 34124.373 PropClause: 33191.791 Set: 6692.694 Check: 0.0 Back: 826.734
INFO - Atoms: 64808/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 580 Props: 31971074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.785 Prop: 34201.378 PropClause: 33266.952 Set: 6705.676 Check: 0.0 Back: 828.4
INFO - Atoms: 64981/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 581 Props: 32036272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.79 Prop: 34277.564 PropClause: 33341.315 Set: 6718.668 Check: 0.0 Back: 830.166
INFO - Atoms: 65198/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 582 Props: 32101643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.796 Prop: 34362.736 PropClause: 33424.612 Set: 6732.285 Check: 0.0 Back: 831.898
INFO - Atoms: 65371/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 583 Props: 32167231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.802 Prop: 34433.932 PropClause: 33493.98 Set: 6745.341 Check: 0.0 Back: 833.782
INFO - Atoms: 65588/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 584 Props: 32232992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.808 Prop: 34510.859 PropClause: 33569.062 Set: 6758.44 Check: 0.0 Back: 835.492
INFO - Atoms: 65761/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 585 Props: 32298970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.812 Prop: 34585.586 PropClause: 33641.909 Set: 6771.715 Check: 0.0 Back: 837.193
INFO - Atoms: 65978/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 586 Props: 32365121 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.819 Prop: 34664.327 PropClause: 33718.762 Set: 6784.907 Check: 0.0 Back: 838.909
INFO - Atoms: 66151/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 587 Props: 32431489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.824 Prop: 34739.253 PropClause: 33791.835 Set: 6798.107 Check: 0.0 Back: 840.636
INFO - Atoms: 66368/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 588 Props: 32498030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.829 Prop: 34819.251 PropClause: 33869.85 Set: 6812.597 Check: 0.0 Back: 842.362
INFO - Atoms: 66541/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 589 Props: 32564788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.834 Prop: 34893.326 PropClause: 33942.063 Set: 6825.771 Check: 0.0 Back: 844.096
INFO - Atoms: 66758/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 590 Props: 32631719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.839 Prop: 34972.719 PropClause: 34019.541 Set: 6839.195 Check: 0.0 Back: 845.835
INFO - Atoms: 66931/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 591 Props: 32698867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.844 Prop: 35045.981 PropClause: 34090.938 Set: 6852.256 Check: 0.0 Back: 847.582
INFO - Atoms: 67148/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 592 Props: 32766188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.85 Prop: 35118.124 PropClause: 34161.166 Set: 6865.358 Check: 0.0 Back: 849.33
INFO - Atoms: 67321/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 593 Props: 32833726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.854 Prop: 35187.748 PropClause: 34228.86 Set: 6878.436 Check: 0.0 Back: 851.091
INFO - Atoms: 67538/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 594 Props: 32901437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.86 Prop: 35260.666 PropClause: 34299.853 Set: 6891.455 Check: 0.0 Back: 852.824
INFO - Atoms: 67711/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 595 Props: 32969365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.866 Prop: 35335.528 PropClause: 34372.787 Set: 6904.744 Check: 0.0 Back: 854.587
INFO - Atoms: 67928/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 596 Props: 33037466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.87 Prop: 35410.842 PropClause: 34446.162 Set: 6917.87 Check: 0.0 Back: 856.346
INFO - Atoms: 68101/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 597 Props: 33105784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.875 Prop: 35482.626 PropClause: 34515.999 Set: 6931.013 Check: 0.0 Back: 858.124
INFO - Atoms: 68318/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 598 Props: 33174275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.881 Prop: 35556.519 PropClause: 34587.941 Set: 6944.383 Check: 0.0 Back: 859.891
INFO - Atoms: 68491/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 599 Props: 33242983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.887 Prop: 35627.051 PropClause: 34656.514 Set: 6958.006 Check: 0.0 Back: 861.692
INFO - Atoms: 68708/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 600 Props: 33311864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.892 Prop: 35701.08 PropClause: 34728.586 Set: 6971.298 Check: 0.0 Back: 863.489
INFO - Atoms: 68881/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 601 Props: 33380962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.896 Prop: 35774.701 PropClause: 34800.24 Set: 6984.765 Check: 0.0 Back: 865.308
INFO - Atoms: 69098/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 602 Props: 33450233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.908 Prop: 35857.843 PropClause: 34881.456 Set: 6998.535 Check: 0.0 Back: 867.129
INFO - Atoms: 69271/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 603 Props: 33519721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.914 Prop: 35933.486 PropClause: 34955.111 Set: 7012.077 Check: 0.0 Back: 868.966
INFO - Atoms: 69488/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 604 Props: 33589382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.919 Prop: 36015.206 PropClause: 35034.838 Set: 7025.813 Check: 0.0 Back: 870.773
INFO - Atoms: 69661/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 605 Props: 33659260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.924 Prop: 36089.749 PropClause: 35107.39 Set: 7039.404 Check: 0.0 Back: 872.598
INFO - Atoms: 69878/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 606 Props: 33729311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.928 Prop: 36170.153 PropClause: 35185.795 Set: 7053.103 Check: 0.0 Back: 874.402
INFO - Atoms: 70051/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 607 Props: 33799579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.933 Prop: 36242.969 PropClause: 35256.61 Set: 7066.664 Check: 0.0 Back: 876.22
INFO - Atoms: 70268/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 608 Props: 33870020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.939 Prop: 36325.094 PropClause: 35336.75 Set: 7080.571 Check: 0.0 Back: 878.049
INFO - Atoms: 70441/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 609 Props: 33940678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.945 Prop: 36401.239 PropClause: 35410.894 Set: 7094.401 Check: 0.0 Back: 879.896
INFO - Atoms: 70658/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 610 Props: 34011509 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.948 Prop: 36479.877 PropClause: 35487.502 Set: 7108.151 Check: 0.0 Back: 881.75
INFO - Atoms: 70831/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 611 Props: 34082557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.953 Prop: 36555.499 PropClause: 35561.106 Set: 7143.813 Check: 0.0 Back: 883.648
INFO - Atoms: 71048/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 612 Props: 34153778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.959 Prop: 36637.238 PropClause: 35640.823 Set: 7157.841 Check: 0.0 Back: 885.482
INFO - Atoms: 71221/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 613 Props: 34225216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.964 Prop: 36717.466 PropClause: 35719.008 Set: 7172.336 Check: 0.0 Back: 887.35
INFO - Atoms: 71438/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 614 Props: 34296827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.97 Prop: 36800.971 PropClause: 35800.473 Set: 7186.613 Check: 0.0 Back: 889.235
INFO - Atoms: 71611/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 615 Props: 34368655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.975 Prop: 36877.932 PropClause: 35875.39 Set: 7200.629 Check: 0.0 Back: 891.115
INFO - Atoms: 71828/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 616 Props: 34440656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.98 Prop: 36958.652 PropClause: 35954.058 Set: 7214.733 Check: 0.0 Back: 893.003
INFO - Atoms: 72001/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 617 Props: 34512874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.985 Prop: 37036.87 PropClause: 36030.221 Set: 7228.978 Check: 0.0 Back: 894.904
INFO - Atoms: 72218/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 618 Props: 34585265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.991 Prop: 37120.115 PropClause: 36111.404 Set: 7243.257 Check: 0.0 Back: 896.802
INFO - Atoms: 72391/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 619 Props: 34657873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.998 Prop: 37200.958 PropClause: 36190.187 Set: 7257.565 Check: 0.0 Back: 898.719
INFO - Atoms: 72608/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 620 Props: 34730654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.004 Prop: 37285.272 PropClause: 36272.432 Set: 7271.888 Check: 0.0 Back: 900.606
INFO - Atoms: 72781/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 621 Props: 34803652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.009 Prop: 37371.485 PropClause: 36356.563 Set: 7286.516 Check: 0.0 Back: 902.508
INFO - Atoms: 72998/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 622 Props: 34876823 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.016 Prop: 37464.148 PropClause: 36447.126 Set: 7301.449 Check: 0.0 Back: 904.405
INFO - Atoms: 73171/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 623 Props: 34950211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.022 Prop: 37548.9 PropClause: 36529.796 Set: 7316.644 Check: 0.0 Back: 906.399
INFO - Atoms: 73388/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 624 Props: 35023772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.027 Prop: 37637.367 PropClause: 36616.169 Set: 7331.275 Check: 0.0 Back: 908.358
INFO - Atoms: 73561/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 625 Props: 35097550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.032 Prop: 37723.375 PropClause: 36700.079 Set: 7345.919 Check: 0.0 Back: 910.322
INFO - Atoms: 73778/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 626 Props: 35171501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.038 Prop: 37812.307 PropClause: 36786.914 Set: 7360.605 Check: 0.0 Back: 912.263
INFO - Atoms: 73951/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 627 Props: 35245668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.044 Prop: 37899.342 PropClause: 36871.872 Set: 7375.482 Check: 0.0 Back: 914.248
INFO - Atoms: 74167/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 628 Props: 35320009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.049 Prop: 37988.151 PropClause: 36958.555 Set: 7390.24 Check: 0.0 Back: 916.192
INFO - Atoms: 74341/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 629 Props: 35394566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.054 Prop: 38072.243 PropClause: 37040.53 Set: 7404.98 Check: 0.0 Back: 918.168
INFO - Atoms: 74557/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 630 Props: 35469297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.06 Prop: 38158.527 PropClause: 37124.716 Set: 7419.994 Check: 0.0 Back: 920.16
INFO - Atoms: 74731/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 631 Props: 35544386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.065 Prop: 38243.72 PropClause: 37207.826 Set: 7434.923 Check: 0.0 Back: 922.168
INFO - Atoms: 75089/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 632 Props: 35619671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.071 Prop: 38333.458 PropClause: 37295.426 Set: 7449.895 Check: 0.0 Back: 924.214
INFO - Atoms: 75285/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 633 Props: 35694985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.077 Prop: 38419.11 PropClause: 37378.983 Set: 7464.852 Check: 0.0 Back: 926.215
INFO - Atoms: 75314/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 634 Props: 35745925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 10.147 Prop: 38495.419 PropClause: 37453.765 Set: 7479.708 Check: 0.0 Back: 928.207
INFO - Atoms: 50940/75328 Clauses: 773 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1134 Props: 38117106 Tprops: 0 Decides: 6159 RSplits: 0
INFO - Times: Expl: 1715.774 Prop: 40392.98 PropClause: 39278.198 Set: 7541.683 Check: 0.15 Back: 986.504
INFO - Atoms: 24933/75328 Clauses: 1272 Axioms: 248690
INFO - Restart
INFO - Confl: 1634 Props: 39892386 Tprops: 0 Decides: 10809 RSplits: 0
INFO - Times: Expl: 2553.989 Prop: 41683.2 PropClause: 40514.063 Set: 7585.515 Check: 0.269 Back: 1029.133
INFO - Atoms: 24934/75328 Clauses: 1772 Axioms: 248690
INFO - Confl: 2222 Props: 41568404 Tprops: 0 Decides: 14264 RSplits: 0
INFO - Times: Expl: 3361.49 Prop: 42951.848 PropClause: 41728.624 Set: 7627.839 Check: 0.359 Back: 1070.295
INFO - Atoms: 26287/75328 Clauses: 2360 Axioms: 248690
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 643 Props: 80320 Tprops: 19953 Decides: 91533 RSplits: 0
INFO - Times: Expl: 419.231 Prop: 99438.497 PropClause: 39.714 Set: 16112.508 Check: 381.584 Back: 445.116
INFO - Atoms: 1007/1158 Clauses: 643 Axioms: 1158
INFO - CCTimes: iE 750753 eq 43895207 cc 195580060 setRep 98926961
INFO - Merges: 665928, cc:1310759
INFO - BVTimes: BB 325394886 BB_DPLL 89909760409 Graph 2295371
INFO - BitBlastingClauses: 738910 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat