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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 219243313
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 75260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.722 Prop: 164.676 PropClause: 158.439 Set: 221.606 Check: 0.0 Back: 0.0
INFO - Atoms: 75260/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 150014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.797 Prop: 320.018 PropClause: 308.606 Set: 308.235 Check: 0.0 Back: 2.028
INFO - Atoms: 74754/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 224768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.856 Prop: 428.138 PropClause: 413.844 Set: 323.186 Check: 0.0 Back: 4.015
INFO - Atoms: 74754/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 299523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.898 Prop: 558.731 PropClause: 541.499 Set: 350.201 Check: 0.0 Back: 5.936
INFO - Atoms: 74755/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 374278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.939 Prop: 649.741 PropClause: 630.434 Set: 363.843 Check: 0.0 Back: 7.906
INFO - Atoms: 74755/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 449032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.008 Prop: 749.445 PropClause: 727.225 Set: 380.079 Check: 0.0 Back: 9.823
INFO - Atoms: 74754/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 523780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.06 Prop: 874.588 PropClause: 849.785 Set: 399.35 Check: 0.0 Back: 11.764
INFO - Atoms: 74748/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 598273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.111 Prop: 1005.306 PropClause: 977.88 Set: 417.94 Check: 0.0 Back: 13.675
INFO - Atoms: 74493/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 672508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.16 Prop: 1125.255 PropClause: 1095.216 Set: 446.577 Check: 0.0 Back: 15.584
INFO - Atoms: 74235/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 746483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.204 Prop: 1237.655 PropClause: 1204.946 Set: 473.735 Check: 0.0 Back: 17.474
INFO - Atoms: 73975/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 820200 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.249 Prop: 1324.461 PropClause: 1289.719 Set: 486.858 Check: 0.0 Back: 19.436
INFO - Atoms: 73717/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 893657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.327 Prop: 1412.771 PropClause: 1376.017 Set: 500.494 Check: 0.0 Back: 21.447
INFO - Atoms: 73457/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 966856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.372 Prop: 1503.736 PropClause: 1464.96 Set: 513.73 Check: 0.0 Back: 23.424
INFO - Atoms: 73199/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 1039795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.438 Prop: 1590.353 PropClause: 1549.587 Set: 526.957 Check: 0.0 Back: 25.384
INFO - Atoms: 72939/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 1112476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.484 Prop: 1676.442 PropClause: 1633.681 Set: 540.316 Check: 0.0 Back: 27.247
INFO - Atoms: 72681/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 1184897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.525 Prop: 1764.477 PropClause: 1719.739 Set: 553.377 Check: 0.0 Back: 29.097
INFO - Atoms: 72421/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 1257060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.564 Prop: 1845.846 PropClause: 1799.138 Set: 566.564 Check: 0.0 Back: 30.933
INFO - Atoms: 72163/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 1328963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.632 Prop: 1930.512 PropClause: 1881.826 Set: 579.59 Check: 0.0 Back: 32.879
INFO - Atoms: 71903/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1400608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.699 Prop: 2012.635 PropClause: 1962.0 Set: 592.214 Check: 0.0 Back: 34.759
INFO - Atoms: 71645/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 1471993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.744 Prop: 2094.885 PropClause: 2042.295 Set: 612.707 Check: 0.0 Back: 36.718
INFO - Atoms: 71385/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 1543120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.796 Prop: 2182.284 PropClause: 2127.755 Set: 633.037 Check: 0.0 Back: 38.64
INFO - Atoms: 71127/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 1613987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.837 Prop: 2270.342 PropClause: 2213.876 Set: 653.425 Check: 0.0 Back: 40.538
INFO - Atoms: 70867/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 1684596 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.878 Prop: 2354.872 PropClause: 2296.479 Set: 672.56 Check: 0.0 Back: 42.445
INFO - Atoms: 70609/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 1754945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.924 Prop: 2444.909 PropClause: 2384.587 Set: 691.725 Check: 0.0 Back: 44.385
INFO - Atoms: 70349/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 1825036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.967 Prop: 2526.096 PropClause: 2463.856 Set: 704.24 Check: 0.0 Back: 46.263
INFO - Atoms: 70091/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 1894867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.014 Prop: 2612.554 PropClause: 2548.386 Set: 717.261 Check: 0.0 Back: 48.172
INFO - Atoms: 69831/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 1964440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.055 Prop: 2697.009 PropClause: 2630.932 Set: 729.847 Check: 0.0 Back: 50.028
INFO - Atoms: 69573/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 2033753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.094 Prop: 2780.05 PropClause: 2712.075 Set: 742.536 Check: 0.0 Back: 51.92
INFO - Atoms: 69313/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 2102808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.139 Prop: 2866.806 PropClause: 2796.929 Set: 755.045 Check: 0.0 Back: 53.789
INFO - Atoms: 69055/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 2171603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.178 Prop: 2951.352 PropClause: 2879.576 Set: 767.802 Check: 0.0 Back: 55.629
INFO - Atoms: 68795/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 2240140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.214 Prop: 3029.152 PropClause: 2955.497 Set: 780.169 Check: 0.0 Back: 57.489
INFO - Atoms: 68537/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 2308417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.267 Prop: 3117.256 PropClause: 3041.714 Set: 792.602 Check: 0.0 Back: 59.362
INFO - Atoms: 68277/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 2376436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.307 Prop: 3196.708 PropClause: 3119.302 Set: 804.567 Check: 0.0 Back: 61.201
INFO - Atoms: 68019/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 2444195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.348 Prop: 3278.801 PropClause: 3199.53 Set: 817.124 Check: 0.0 Back: 63.067
INFO - Atoms: 67759/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 2511696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.383 Prop: 3358.061 PropClause: 3276.937 Set: 829.01 Check: 0.0 Back: 64.893
INFO - Atoms: 67501/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 2578937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.421 Prop: 3439.851 PropClause: 3356.859 Set: 841.347 Check: 0.0 Back: 66.688
INFO - Atoms: 67241/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 2645920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.464 Prop: 3515.164 PropClause: 3430.326 Set: 853.395 Check: 0.0 Back: 68.464
INFO - Atoms: 66983/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 2712643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.509 Prop: 3599.328 PropClause: 3512.66 Set: 865.489 Check: 0.0 Back: 70.282
INFO - Atoms: 66723/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 2779108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.551 Prop: 3679.963 PropClause: 3591.476 Set: 877.602 Check: 0.0 Back: 72.044
INFO - Atoms: 66465/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 2845313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.593 Prop: 3756.758 PropClause: 3666.447 Set: 889.712 Check: 0.0 Back: 73.884
INFO - Atoms: 66205/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 2911260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.636 Prop: 3837.371 PropClause: 3745.246 Set: 901.467 Check: 0.0 Back: 75.662
INFO - Atoms: 65947/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 2976947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.686 Prop: 3917.16 PropClause: 3823.224 Set: 913.406 Check: 0.0 Back: 77.421
INFO - Atoms: 65687/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 3042376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.73 Prop: 3993.177 PropClause: 3897.445 Set: 924.841 Check: 0.0 Back: 79.167
INFO - Atoms: 65429/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 3107545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.773 Prop: 4072.173 PropClause: 3974.659 Set: 942.246 Check: 0.0 Back: 80.95
INFO - Atoms: 65169/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 3172456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.813 Prop: 4148.798 PropClause: 4049.502 Set: 959.468 Check: 0.0 Back: 82.656
INFO - Atoms: 64911/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 3237107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.855 Prop: 4226.338 PropClause: 4125.271 Set: 971.035 Check: 0.0 Back: 84.432
INFO - Atoms: 64651/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 3301500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.895 Prop: 4304.805 PropClause: 4201.938 Set: 982.462 Check: 0.0 Back: 86.162
INFO - Atoms: 64393/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 3365633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.934 Prop: 4380.317 PropClause: 4275.695 Set: 994.186 Check: 0.0 Back: 87.848
INFO - Atoms: 64133/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 3429508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.977 Prop: 4452.435 PropClause: 4346.041 Set: 1005.36 Check: 0.0 Back: 89.568
INFO - Atoms: 63875/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 3493123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.022 Prop: 4532.439 PropClause: 4424.28 Set: 1016.779 Check: 0.0 Back: 91.278
INFO - Atoms: 63615/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 3556480 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.063 Prop: 4608.53 PropClause: 4498.635 Set: 1028.162 Check: 0.0 Back: 92.964
INFO - Atoms: 63357/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 3619577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.1 Prop: 4678.925 PropClause: 4567.289 Set: 1039.575 Check: 0.0 Back: 94.643
INFO - Atoms: 63097/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 3682416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.254 Prop: 4750.619 PropClause: 4637.256 Set: 1050.461 Check: 0.0 Back: 96.301
INFO - Atoms: 62839/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 3744995 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.274 Prop: 4823.597 PropClause: 4708.496 Set: 1061.463 Check: 0.0 Back: 97.993
INFO - Atoms: 62579/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 3807316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.295 Prop: 4889.326 PropClause: 4772.518 Set: 1072.248 Check: 0.0 Back: 99.632
INFO - Atoms: 62321/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 3869377 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.317 Prop: 4954.586 PropClause: 4836.068 Set: 1083.316 Check: 0.0 Back: 101.29
INFO - Atoms: 62061/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 3931180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.339 Prop: 5024.168 PropClause: 4903.961 Set: 1093.986 Check: 0.0 Back: 102.922
INFO - Atoms: 61803/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 3992723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.362 Prop: 5089.523 PropClause: 4967.614 Set: 1104.915 Check: 0.0 Back: 104.539
INFO - Atoms: 61543/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 4054008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.386 Prop: 5151.987 PropClause: 5028.398 Set: 1115.425 Check: 0.0 Back: 106.152
INFO - Atoms: 61285/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 4115033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.407 Prop: 5220.86 PropClause: 5095.608 Set: 1126.212 Check: 0.0 Back: 107.776
INFO - Atoms: 61025/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 4175800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.427 Prop: 5285.68 PropClause: 5158.769 Set: 1136.767 Check: 0.0 Back: 109.359
INFO - Atoms: 60767/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 4236307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.447 Prop: 5348.204 PropClause: 5219.635 Set: 1147.225 Check: 0.0 Back: 110.962
INFO - Atoms: 60507/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 4296556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.468 Prop: 5411.006 PropClause: 5280.785 Set: 1157.779 Check: 0.0 Back: 112.564
INFO - Atoms: 60249/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 4356545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.492 Prop: 5482.626 PropClause: 5350.732 Set: 1168.77 Check: 0.0 Back: 114.147
INFO - Atoms: 59989/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 4416276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.513 Prop: 5543.377 PropClause: 5409.852 Set: 1179.155 Check: 0.0 Back: 115.725
INFO - Atoms: 59731/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 4475747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.536 Prop: 5604.64 PropClause: 5469.49 Set: 1189.395 Check: 0.0 Back: 117.297
INFO - Atoms: 59471/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 4534960 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.558 Prop: 5669.314 PropClause: 5532.539 Set: 1199.538 Check: 0.0 Back: 118.815
INFO - Atoms: 59213/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 4593913 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.579 Prop: 5732.806 PropClause: 5594.423 Set: 1209.875 Check: 0.0 Back: 120.381
INFO - Atoms: 58953/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 4652608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.599 Prop: 5790.293 PropClause: 5650.301 Set: 1219.865 Check: 0.0 Back: 121.91
INFO - Atoms: 58695/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 4711043 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.622 Prop: 5853.662 PropClause: 5712.072 Set: 1230.232 Check: 0.0 Back: 123.433
INFO - Atoms: 58435/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 4769220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.645 Prop: 5917.874 PropClause: 5774.699 Set: 1240.376 Check: 0.0 Back: 124.935
INFO - Atoms: 58177/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 4827137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.668 Prop: 5977.163 PropClause: 5832.394 Set: 1250.381 Check: 0.0 Back: 126.462
INFO - Atoms: 57917/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 4884796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.689 Prop: 6035.184 PropClause: 5888.839 Set: 1260.148 Check: 0.0 Back: 127.978
INFO - Atoms: 57659/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 4942195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.712 Prop: 6099.477 PropClause: 5951.566 Set: 1270.137 Check: 0.0 Back: 129.493
INFO - Atoms: 57399/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 4999336 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.739 Prop: 6159.077 PropClause: 6009.587 Set: 1280.221 Check: 0.0 Back: 130.987
INFO - Atoms: 57141/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 5056217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.762 Prop: 6223.055 PropClause: 6071.984 Set: 1290.423 Check: 0.0 Back: 132.512
INFO - Atoms: 56881/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 5112840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.818 Prop: 6285.888 PropClause: 6133.265 Set: 1300.221 Check: 0.0 Back: 134.011
INFO - Atoms: 56623/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 5169203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.891 Prop: 6350.615 PropClause: 6196.439 Set: 1310.188 Check: 0.0 Back: 135.483
INFO - Atoms: 56363/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 5225308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.916 Prop: 6406.456 PropClause: 6250.747 Set: 1319.796 Check: 0.0 Back: 136.914
INFO - Atoms: 56105/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 5281153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.941 Prop: 6464.111 PropClause: 6306.874 Set: 1329.666 Check: 0.0 Back: 138.392
INFO - Atoms: 55845/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 5336740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.962 Prop: 6525.41 PropClause: 6366.651 Set: 1339.178 Check: 0.0 Back: 139.829
INFO - Atoms: 55587/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 5392067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.983 Prop: 6587.435 PropClause: 6427.161 Set: 1348.774 Check: 0.0 Back: 141.282
INFO - Atoms: 55327/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 5447136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.063 Prop: 6643.265 PropClause: 6481.478 Set: 1358.126 Check: 0.0 Back: 142.722
INFO - Atoms: 55069/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 5501945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.086 Prop: 6702.849 PropClause: 6539.543 Set: 1367.56 Check: 0.0 Back: 144.158
INFO - Atoms: 54809/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 5556496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.18 Prop: 6768.195 PropClause: 6603.326 Set: 1377.44 Check: 0.0 Back: 145.588
INFO - Atoms: 54551/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 5610787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.19 Prop: 6822.149 PropClause: 6655.788 Set: 1386.701 Check: 0.0 Back: 147.015
INFO - Atoms: 54291/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 5664820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.201 Prop: 6874.161 PropClause: 6706.319 Set: 1395.989 Check: 0.0 Back: 148.452
INFO - Atoms: 54033/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 5718593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.211 Prop: 6930.109 PropClause: 6760.778 Set: 1405.359 Check: 0.0 Back: 149.853
INFO - Atoms: 53773/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 5772108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.224 Prop: 6989.314 PropClause: 6818.521 Set: 1414.651 Check: 0.0 Back: 151.238
INFO - Atoms: 53515/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 5825363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.237 Prop: 7041.21 PropClause: 6868.957 Set: 1423.676 Check: 0.0 Back: 152.615
INFO - Atoms: 53255/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 5878360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.248 Prop: 7094.382 PropClause: 6920.68 Set: 1432.787 Check: 0.0 Back: 153.99
INFO - Atoms: 52997/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 5931097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.257 Prop: 7151.27 PropClause: 6976.13 Set: 1441.942 Check: 0.0 Back: 155.374
INFO - Atoms: 52737/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 5983576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.268 Prop: 7207.394 PropClause: 7030.821 Set: 1450.867 Check: 0.0 Back: 156.738
INFO - Atoms: 52479/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 6035795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.279 Prop: 7258.165 PropClause: 7080.165 Set: 1459.893 Check: 0.0 Back: 158.116
INFO - Atoms: 52219/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 6087756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.289 Prop: 7306.671 PropClause: 7127.252 Set: 1468.546 Check: 0.0 Back: 159.458
INFO - Atoms: 51961/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 6139457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.3 Prop: 7357.944 PropClause: 7177.104 Set: 1477.433 Check: 0.0 Back: 160.794
INFO - Atoms: 51701/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 6190900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.311 Prop: 7412.989 PropClause: 7230.731 Set: 1486.065 Check: 0.0 Back: 162.112
INFO - Atoms: 51443/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 6242083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.321 Prop: 7462.103 PropClause: 7278.445 Set: 1494.782 Check: 0.0 Back: 163.431
INFO - Atoms: 51183/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 6293008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.332 Prop: 7508.247 PropClause: 7323.197 Set: 1503.186 Check: 0.0 Back: 164.752
INFO - Atoms: 50925/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 6343672 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.346 Prop: 7557.319 PropClause: 7370.882 Set: 1511.831 Check: 0.0 Back: 166.077
INFO - Atoms: 50664/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 6395865 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.361 Prop: 7612.067 PropClause: 7424.209 Set: 1520.767 Check: 0.0 Back: 167.368
INFO - Atoms: 52193/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 6448057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.375 Prop: 7660.698 PropClause: 7471.414 Set: 1529.746 Check: 0.0 Back: 168.727
INFO - Atoms: 52192/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 6499490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.391 Prop: 7709.046 PropClause: 7518.353 Set: 1538.574 Check: 0.0 Back: 170.076
INFO - Atoms: 51433/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 6551685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.405 Prop: 7759.144 PropClause: 7567.019 Set: 1547.518 Check: 0.0 Back: 171.422
INFO - Atoms: 52195/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 6604128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.417 Prop: 7814.842 PropClause: 7621.29 Set: 1556.677 Check: 0.0 Back: 172.786
INFO - Atoms: 52443/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 6656574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.432 Prop: 7871.487 PropClause: 7676.506 Set: 1565.845 Check: 0.0 Back: 174.137
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 6708770 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.474 Prop: 7920.189 PropClause: 7723.781 Set: 1574.673 Check: 0.0 Back: 175.515
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 6761215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.487 Prop: 7976.158 PropClause: 7778.046 Set: 1585.127 Check: 0.0 Back: 176.889
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 6813662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.498 Prop: 8032.527 PropClause: 7832.979 Set: 1594.236 Check: 0.0 Back: 178.25
INFO - Atoms: 52447/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 6866106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.508 Prop: 8082.751 PropClause: 7881.764 Set: 1603.234 Check: 0.0 Back: 179.597
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 6918303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.519 Prop: 8132.863 PropClause: 7930.438 Set: 1612.11 Check: 0.0 Back: 180.956
INFO - Atoms: 52197/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 6970749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.53 Prop: 8185.852 PropClause: 7981.971 Set: 1621.227 Check: 0.0 Back: 182.321
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 7022945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.541 Prop: 8244.229 PropClause: 8038.916 Set: 1630.474 Check: 0.0 Back: 183.685
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 7075390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.553 Prop: 8293.027 PropClause: 8086.268 Set: 1639.583 Check: 0.0 Back: 185.053
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 7126828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.563 Prop: 8343.233 PropClause: 8135.065 Set: 1648.324 Check: 0.0 Back: 186.4
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 7179272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.574 Prop: 8394.314 PropClause: 8184.703 Set: 1657.434 Check: 0.0 Back: 187.737
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 7231717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.584 Prop: 8448.9 PropClause: 8237.859 Set: 1666.51 Check: 0.0 Back: 189.093
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 7284163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.596 Prop: 8500.327 PropClause: 8287.862 Set: 1675.503 Check: 0.0 Back: 190.447
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 7336359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.605 Prop: 8547.53 PropClause: 8333.637 Set: 1684.403 Check: 0.0 Back: 191.811
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 7388804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.615 Prop: 8597.435 PropClause: 8382.095 Set: 1693.413 Check: 0.0 Back: 193.156
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 7440242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.625 Prop: 8652.034 PropClause: 8435.277 Set: 1702.242 Check: 0.0 Back: 194.514
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 7492686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.637 Prop: 8700.327 PropClause: 8482.143 Set: 1711.296 Check: 0.0 Back: 195.836
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 7545131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.647 Prop: 8747.395 PropClause: 8527.774 Set: 1720.234 Check: 0.0 Back: 197.198
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 7597577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.656 Prop: 8799.382 PropClause: 8578.324 Set: 1729.253 Check: 0.0 Back: 198.568
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 7649773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.665 Prop: 8853.25 PropClause: 8630.755 Set: 1738.325 Check: 0.0 Back: 199.922
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 7702218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.676 Prop: 8905.091 PropClause: 8681.154 Set: 1747.191 Check: 0.0 Back: 201.247
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 7753656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.689 Prop: 8952.646 PropClause: 8727.307 Set: 1755.873 Check: 0.0 Back: 202.603
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 7806100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.7 Prop: 9000.784 PropClause: 8773.998 Set: 1764.836 Check: 0.0 Back: 203.931
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 7858545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.712 Prop: 9058.907 PropClause: 8830.667 Set: 1774.007 Check: 0.0 Back: 205.276
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 7909982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.722 Prop: 9113.149 PropClause: 8883.509 Set: 1782.816 Check: 0.0 Back: 206.647
INFO - Atoms: 51437/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 7962426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.733 Prop: 9163.28 PropClause: 8932.184 Set: 1791.93 Check: 0.0 Back: 207.987
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 8014871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.744 Prop: 9212.469 PropClause: 8979.928 Set: 1800.882 Check: 0.0 Back: 209.32
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 8067318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.755 Prop: 9267.183 PropClause: 9033.221 Set: 1810.124 Check: 0.0 Back: 210.721
INFO - Atoms: 52447/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 8119762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.764 Prop: 9319.484 PropClause: 9084.087 Set: 1819.147 Check: 0.0 Back: 212.074
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 8171959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.776 Prop: 9367.289 PropClause: 9130.457 Set: 1828.304 Check: 0.0 Back: 213.422
INFO - Atoms: 52197/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 8223396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.785 Prop: 9414.756 PropClause: 9176.519 Set: 1837.079 Check: 0.0 Back: 214.773
INFO - Atoms: 51437/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 8275840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.796 Prop: 9467.29 PropClause: 9227.636 Set: 1846.025 Check: 0.0 Back: 216.089
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 8328285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.805 Prop: 9520.83 PropClause: 9279.736 Set: 1855.22 Check: 0.0 Back: 217.444
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 8380732 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.816 Prop: 9570.424 PropClause: 9327.888 Set: 1864.341 Check: 0.0 Back: 218.752
INFO - Atoms: 52447/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 8433176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.828 Prop: 9622.248 PropClause: 9378.275 Set: 1873.612 Check: 0.0 Back: 220.119
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 8485373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.837 Prop: 9679.005 PropClause: 9433.605 Set: 1882.81 Check: 0.0 Back: 221.478
INFO - Atoms: 52197/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 8537819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.85 Prop: 9732.738 PropClause: 9485.901 Set: 1892.124 Check: 0.0 Back: 222.839
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 8590015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.86 Prop: 9781.751 PropClause: 9533.483 Set: 1901.058 Check: 0.0 Back: 224.192
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 8642460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.87 Prop: 9833.787 PropClause: 9584.084 Set: 1910.188 Check: 0.0 Back: 225.558
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 8693898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.883 Prop: 9890.597 PropClause: 9639.482 Set: 1919.21 Check: 0.0 Back: 226.919
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 8746342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.894 Prop: 9947.879 PropClause: 9695.304 Set: 1928.724 Check: 0.0 Back: 228.237
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 8798787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.904 Prop: 10002.476 PropClause: 9748.442 Set: 1937.877 Check: 0.0 Back: 229.599
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 8851233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.916 Prop: 10056.649 PropClause: 9801.17 Set: 1947.089 Check: 0.0 Back: 230.967
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 8903429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.926 Prop: 10115.146 PropClause: 9858.229 Set: 1956.426 Check: 0.0 Back: 232.317
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 8955874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.935 Prop: 10170.88 PropClause: 9912.507 Set: 1965.727 Check: 0.0 Back: 233.684
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 9007312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.948 Prop: 10224.205 PropClause: 9964.416 Set: 1974.619 Check: 0.0 Back: 235.031
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 9059756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.958 Prop: 10279.485 PropClause: 10018.251 Set: 1983.813 Check: 0.0 Back: 236.379
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 9112201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.967 Prop: 10336.079 PropClause: 10073.41 Set: 1993.027 Check: 0.0 Back: 237.727
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 9164647 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.979 Prop: 10390.227 PropClause: 10126.116 Set: 2002.345 Check: 0.0 Back: 239.094
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 9216843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.991 Prop: 10443.236 PropClause: 10177.694 Set: 2011.363 Check: 0.0 Back: 240.46
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 9269288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.002 Prop: 10498.126 PropClause: 10231.142 Set: 2020.567 Check: 0.0 Back: 241.809
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 9320726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.014 Prop: 10555.605 PropClause: 10287.208 Set: 2029.642 Check: 0.0 Back: 243.151
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 9373170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.026 Prop: 10610.551 PropClause: 10340.692 Set: 2038.884 Check: 0.0 Back: 244.487
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 9425615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.038 Prop: 10665.523 PropClause: 10394.218 Set: 2048.236 Check: 0.0 Back: 245.845
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 9478061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.047 Prop: 10721.121 PropClause: 10448.37 Set: 2057.651 Check: 0.0 Back: 247.206
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 9530257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.057 Prop: 10778.644 PropClause: 10504.467 Set: 2066.936 Check: 0.0 Back: 248.57
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 9582702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.07 Prop: 10832.248 PropClause: 10556.634 Set: 2076.2 Check: 0.0 Back: 249.91
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 9634140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.083 Prop: 10887.268 PropClause: 10610.23 Set: 2104.794 Check: 0.0 Back: 251.272
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 9686584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.095 Prop: 10942.268 PropClause: 10663.795 Set: 2114.003 Check: 0.0 Back: 252.593
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 9739029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.108 Prop: 10998.245 PropClause: 10718.328 Set: 2123.172 Check: 0.0 Back: 253.95
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 9791475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.12 Prop: 11048.449 PropClause: 10767.095 Set: 2132.205 Check: 0.0 Back: 255.32
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 9843671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.131 Prop: 11098.648 PropClause: 10815.866 Set: 2141.25 Check: 0.0 Back: 256.708
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 9896116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.142 Prop: 11153.732 PropClause: 10869.507 Set: 2150.629 Check: 0.0 Back: 258.083
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 9947554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.154 Prop: 11210.463 PropClause: 10924.811 Set: 2159.524 Check: 0.0 Back: 259.442
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 9999998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.166 Prop: 11260.586 PropClause: 10973.492 Set: 2168.752 Check: 0.0 Back: 260.801
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 10052443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.177 Prop: 11309.379 PropClause: 11020.842 Set: 2177.955 Check: 0.0 Back: 262.175
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 10104889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.19 Prop: 11365.331 PropClause: 11075.346 Set: 2187.358 Check: 0.0 Back: 263.535
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 10157085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.202 Prop: 11420.896 PropClause: 11129.487 Set: 2196.569 Check: 0.0 Back: 264.89
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 10209530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.213 Prop: 11470.299 PropClause: 11177.448 Set: 2205.783 Check: 0.0 Back: 266.232
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 10260968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.224 Prop: 11520.079 PropClause: 11225.796 Set: 2214.697 Check: 0.0 Back: 267.579
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 10313412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.236 Prop: 11575.808 PropClause: 11280.066 Set: 2223.936 Check: 0.0 Back: 268.922
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 10365857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.289 Prop: 11632.759 PropClause: 11335.575 Set: 2233.355 Check: 0.0 Back: 270.278
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 10418303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.329 Prop: 11683.425 PropClause: 11384.804 Set: 2242.716 Check: 0.0 Back: 271.656
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 10470499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.37 Prop: 11731.464 PropClause: 11431.412 Set: 2251.73 Check: 0.0 Back: 273.013
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 10522944 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.382 Prop: 11785.064 PropClause: 11483.576 Set: 2260.864 Check: 0.0 Back: 274.351
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 10574382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.395 Prop: 11839.965 PropClause: 11537.054 Set: 2286.115 Check: 0.0 Back: 275.682
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 10626826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.406 Prop: 11886.261 PropClause: 11581.906 Set: 2295.043 Check: 0.0 Back: 277.001
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 10679271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.417 Prop: 11933.353 PropClause: 11627.563 Set: 2303.988 Check: 0.0 Back: 278.341
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 10731717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.428 Prop: 11986.077 PropClause: 11678.842 Set: 2313.104 Check: 0.0 Back: 279.69
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 10783913 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.438 Prop: 12038.552 PropClause: 11729.882 Set: 2322.135 Check: 0.0 Back: 281.01
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 10836358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.449 Prop: 12086.662 PropClause: 11776.558 Set: 2331.106 Check: 0.0 Back: 282.361
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 10887796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.461 Prop: 12133.286 PropClause: 11821.778 Set: 2339.896 Check: 0.0 Back: 283.711
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 10940240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.47 Prop: 12184.933 PropClause: 11871.978 Set: 2349.152 Check: 0.0 Back: 285.03
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 10992685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.48 Prop: 12236.957 PropClause: 11922.566 Set: 2358.16 Check: 0.0 Back: 286.367
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 11045131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.492 Prop: 12283.66 PropClause: 11967.843 Set: 2367.182 Check: 0.0 Back: 287.706
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 11097327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.504 Prop: 12331.521 PropClause: 12014.274 Set: 2376.259 Check: 0.0 Back: 289.04
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 11149772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.514 Prop: 12383.159 PropClause: 12064.476 Set: 2385.391 Check: 0.0 Back: 290.38
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 11201210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.527 Prop: 12438.26 PropClause: 12118.18 Set: 2394.261 Check: 0.0 Back: 291.701
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 11253654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.538 Prop: 12485.099 PropClause: 12163.589 Set: 2403.188 Check: 0.0 Back: 293.025
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 11306099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.55 Prop: 12534.275 PropClause: 12211.316 Set: 2412.297 Check: 0.0 Back: 294.362
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 11358545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.56 Prop: 12583.442 PropClause: 12259.046 Set: 2421.475 Check: 0.0 Back: 295.696
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 11410741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.571 Prop: 12640.977 PropClause: 12315.137 Set: 2430.726 Check: 0.0 Back: 297.067
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 11463186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.582 Prop: 12690.981 PropClause: 12363.687 Set: 2467.138 Check: 0.0 Back: 298.427
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 11514624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.593 Prop: 12738.932 PropClause: 12410.21 Set: 2475.968 Check: 0.0 Back: 299.717
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 11567068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.604 Prop: 12792.041 PropClause: 12461.856 Set: 2485.301 Check: 0.0 Back: 301.035
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 11619513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.616 Prop: 12848.975 PropClause: 12517.363 Set: 2494.48 Check: 0.0 Back: 302.367
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 11671959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.627 Prop: 12897.603 PropClause: 12564.552 Set: 2503.644 Check: 0.0 Back: 303.691
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 11724155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.639 Prop: 12946.299 PropClause: 12611.823 Set: 2512.644 Check: 0.0 Back: 305.025
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 11776600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.651 Prop: 12998.948 PropClause: 12663.044 Set: 2521.682 Check: 0.0 Back: 306.382
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 11828038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.662 Prop: 13053.937 PropClause: 12716.615 Set: 2530.787 Check: 0.0 Back: 307.734
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 11880482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.674 Prop: 13106.376 PropClause: 12767.617 Set: 2539.867 Check: 0.0 Back: 309.061
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 11932927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.684 Prop: 13155.837 PropClause: 12815.64 Set: 2549.084 Check: 0.0 Back: 310.423
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 11985373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.694 Prop: 13208.473 PropClause: 12866.82 Set: 2558.279 Check: 0.0 Back: 311.762
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 12037569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.705 Prop: 13264.511 PropClause: 12921.441 Set: 2567.517 Check: 0.0 Back: 313.089
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 12090014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.716 Prop: 13315.395 PropClause: 12970.883 Set: 2576.834 Check: 0.0 Back: 314.412
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 12141452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.732 Prop: 13364.644 PropClause: 13018.725 Set: 2585.795 Check: 0.0 Back: 315.759
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 12193896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.745 Prop: 13418.305 PropClause: 13070.954 Set: 2595.161 Check: 0.0 Back: 317.091
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 12246341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.755 Prop: 13474.417 PropClause: 13125.625 Set: 2604.425 Check: 0.0 Back: 318.418
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 12298787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.766 Prop: 13525.158 PropClause: 13174.93 Set: 2613.645 Check: 0.0 Back: 319.766
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 12350983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.778 Prop: 13577.305 PropClause: 13225.645 Set: 2638.741 Check: 0.0 Back: 321.117
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 12403428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.793 Prop: 13633.867 PropClause: 13280.748 Set: 2648.413 Check: 0.0 Back: 322.461
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 12454866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.806 Prop: 13689.361 PropClause: 13334.829 Set: 2657.501 Check: 0.0 Back: 323.801
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 12507310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.82 Prop: 13745.387 PropClause: 13389.148 Set: 2668.42 Check: 0.0 Back: 325.136
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 12559755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.833 Prop: 13803.017 PropClause: 13445.312 Set: 2678.057 Check: 0.0 Back: 326.55
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 12612201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.845 Prop: 13858.865 PropClause: 13499.714 Set: 2687.426 Check: 0.0 Back: 327.918
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 12664397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.856 Prop: 13915.286 PropClause: 13554.665 Set: 2696.729 Check: 0.0 Back: 329.265
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 12716842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.867 Prop: 13973.087 PropClause: 13610.562 Set: 2708.522 Check: 0.0 Back: 330.609
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 12768280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.879 Prop: 14028.002 PropClause: 13663.762 Set: 2719.158 Check: 0.0 Back: 331.994
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 12820724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.891 Prop: 14083.774 PropClause: 13718.103 Set: 2728.53 Check: 0.0 Back: 333.309
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 12873169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.903 Prop: 14134.969 PropClause: 13767.864 Set: 2737.618 Check: 0.0 Back: 334.68
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 12925615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.917 Prop: 14185.662 PropClause: 13817.107 Set: 2746.807 Check: 0.0 Back: 336.049
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 12977811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.928 Prop: 14240.011 PropClause: 13870.018 Set: 2756.087 Check: 0.0 Back: 337.394
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 13030256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.94 Prop: 14294.963 PropClause: 13923.528 Set: 2765.378 Check: 0.0 Back: 338.744
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 13081694 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.952 Prop: 14347.145 PropClause: 13974.296 Set: 2774.469 Check: 0.0 Back: 340.1
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 13134138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.965 Prop: 14402.23 PropClause: 14027.942 Set: 2783.861 Check: 0.0 Back: 341.432
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 13186583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.976 Prop: 14459.783 PropClause: 14084.054 Set: 2793.155 Check: 0.0 Back: 342.757
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 13239029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.989 Prop: 14517.708 PropClause: 14140.524 Set: 2802.742 Check: 0.0 Back: 344.112
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 13291225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.001 Prop: 14578.606 PropClause: 14199.963 Set: 2812.126 Check: 0.0 Back: 345.474
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 13343670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.012 Prop: 14632.38 PropClause: 14252.293 Set: 2821.545 Check: 0.0 Back: 346.819
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 13395108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.025 Prop: 14683.718 PropClause: 14302.206 Set: 2830.509 Check: 0.0 Back: 348.17
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 13447552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.049 Prop: 14740.633 PropClause: 14357.686 Set: 2839.876 Check: 0.0 Back: 349.48
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 13499997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.06 Prop: 14796.75 PropClause: 14412.359 Set: 2849.369 Check: 0.0 Back: 350.803
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 13552443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.072 Prop: 14852.879 PropClause: 14467.05 Set: 2858.584 Check: 0.0 Back: 352.15
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 13604639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.083 Prop: 14907.976 PropClause: 14520.718 Set: 2867.828 Check: 0.0 Back: 353.5
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 13657084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.095 Prop: 14963.347 PropClause: 14574.652 Set: 2877.054 Check: 0.0 Back: 354.828
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 13708522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.108 Prop: 15016.47 PropClause: 14626.366 Set: 2885.986 Check: 0.0 Back: 356.186
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 13760966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.12 Prop: 15071.444 PropClause: 14679.891 Set: 2895.303 Check: 0.0 Back: 357.485
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 13813411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.132 Prop: 15127.181 PropClause: 14734.181 Set: 2904.607 Check: 0.0 Back: 358.835
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 13865857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.143 Prop: 15181.129 PropClause: 14786.674 Set: 2914.038 Check: 0.0 Back: 360.187
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 13918053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.154 Prop: 15235.527 PropClause: 14839.634 Set: 2923.26 Check: 0.0 Back: 361.548
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 13970498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.165 Prop: 15288.932 PropClause: 14891.596 Set: 2932.515 Check: 0.0 Back: 362.888
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 14021936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.175 Prop: 15340.03 PropClause: 14941.285 Set: 2941.354 Check: 0.0 Back: 364.268
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 14074380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.185 Prop: 15391.254 PropClause: 14991.068 Set: 2950.49 Check: 0.0 Back: 365.581
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 14126825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.194 Prop: 15442.186 PropClause: 15040.566 Set: 2959.6 Check: 0.0 Back: 366.923
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 14179271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.204 Prop: 15496.666 PropClause: 15093.611 Set: 2968.815 Check: 0.0 Back: 368.266
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 14231467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.214 Prop: 15547.018 PropClause: 15142.535 Set: 2977.947 Check: 0.0 Back: 369.59
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 14283912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.227 Prop: 15597.573 PropClause: 15191.654 Set: 2987.169 Check: 0.0 Back: 370.912
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 14335350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.237 Prop: 15647.677 PropClause: 15240.351 Set: 2995.992 Check: 0.0 Back: 372.266
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 14387794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.248 Prop: 15699.581 PropClause: 15290.821 Set: 3005.181 Check: 0.0 Back: 373.586
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 14440239 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.256 Prop: 15751.286 PropClause: 15341.087 Set: 3014.309 Check: 0.0 Back: 374.922
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 14492685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.268 Prop: 15803.64 PropClause: 15392.001 Set: 3023.58 Check: 0.0 Back: 376.265
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 14544881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.28 Prop: 15855.261 PropClause: 15442.195 Set: 3032.62 Check: 0.0 Back: 377.644
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 14597326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.291 Prop: 15906.124 PropClause: 15491.623 Set: 3041.844 Check: 0.0 Back: 378.971
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 14648764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.301 Prop: 15956.763 PropClause: 15540.84 Set: 3050.871 Check: 0.0 Back: 380.307
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 14701208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.312 Prop: 16008.201 PropClause: 15590.841 Set: 3060.238 Check: 0.0 Back: 381.616
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 14753653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.322 Prop: 16061.534 PropClause: 15642.739 Set: 3069.498 Check: 0.0 Back: 382.951
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 14806099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.334 Prop: 16113.763 PropClause: 15693.526 Set: 3078.755 Check: 0.0 Back: 384.294
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 14858295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.347 Prop: 16167.389 PropClause: 15745.701 Set: 3104.795 Check: 0.0 Back: 385.645
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 14910740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.358 Prop: 16221.664 PropClause: 15798.526 Set: 3114.054 Check: 0.0 Back: 386.969
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 14962178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.368 Prop: 16274.833 PropClause: 15850.242 Set: 3123.098 Check: 0.0 Back: 388.322
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 15014622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.38 Prop: 16331.114 PropClause: 15905.074 Set: 3132.341 Check: 0.0 Back: 389.646
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 15067067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.392 Prop: 16386.622 PropClause: 15959.123 Set: 3141.665 Check: 0.0 Back: 391.003
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 15119513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.402 Prop: 16439.556 PropClause: 16010.609 Set: 3150.961 Check: 0.0 Back: 392.364
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 15171709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.414 Prop: 16494.511 PropClause: 16064.099 Set: 3160.255 Check: 0.0 Back: 393.723
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 15224154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.427 Prop: 16549.03 PropClause: 16117.145 Set: 3169.623 Check: 0.0 Back: 395.09
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 15275592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.438 Prop: 16601.536 PropClause: 16168.22 Set: 3178.608 Check: 0.0 Back: 396.445
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 15328036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.452 Prop: 16655.476 PropClause: 16220.689 Set: 3187.916 Check: 0.0 Back: 397.764
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 15380481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.463 Prop: 16710.49 PropClause: 16274.246 Set: 3197.242 Check: 0.0 Back: 399.114
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 15431918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.474 Prop: 16764.831 PropClause: 16327.16 Set: 3206.274 Check: 0.0 Back: 400.489
INFO - Atoms: 51437/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 15484362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.486 Prop: 16817.858 PropClause: 16378.737 Set: 3215.724 Check: 0.0 Back: 401.812
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 15536807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.497 Prop: 16871.797 PropClause: 16431.224 Set: 3225.095 Check: 0.0 Back: 403.161
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 15588245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.51 Prop: 16925.084 PropClause: 16483.085 Set: 3234.128 Check: 0.0 Back: 404.502
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 15640689 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.523 Prop: 16980.586 PropClause: 16537.093 Set: 3268.564 Check: 0.0 Back: 405.829
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 15693134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.536 Prop: 17035.886 PropClause: 16590.924 Set: 3277.999 Check: 0.0 Back: 407.142
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 15744571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.548 Prop: 17089.16 PropClause: 16642.78 Set: 3286.979 Check: 0.0 Back: 408.494
INFO - Atoms: 51437/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 15797015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.561 Prop: 17144.856 PropClause: 16697.028 Set: 3296.586 Check: 0.0 Back: 409.815
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 15849460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.572 Prop: 17200.529 PropClause: 16751.248 Set: 3306.083 Check: 0.0 Back: 411.185
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 15901907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.584 Prop: 17257.048 PropClause: 16806.299 Set: 3315.553 Check: 0.0 Back: 412.533
INFO - Atoms: 52447/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 15954351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.595 Prop: 17312.125 PropClause: 16859.924 Set: 3324.981 Check: 0.0 Back: 413.907
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 16006548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.607 Prop: 17365.97 PropClause: 16912.329 Set: 3334.184 Check: 0.0 Back: 415.273
INFO - Atoms: 52197/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 16058994 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.619 Prop: 17420.447 PropClause: 16965.36 Set: 3343.422 Check: 0.0 Back: 416.609
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 16111190 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.629 Prop: 17473.879 PropClause: 17017.354 Set: 3352.712 Check: 0.0 Back: 417.952
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 16163635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.639 Prop: 17526.836 PropClause: 17068.863 Set: 3361.948 Check: 0.0 Back: 419.284
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 16215073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.648 Prop: 17579.679 PropClause: 17120.291 Set: 3370.912 Check: 0.0 Back: 420.62
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 16267517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.657 Prop: 17632.758 PropClause: 17171.927 Set: 3380.256 Check: 0.0 Back: 421.929
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 16319962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.666 Prop: 17686.409 PropClause: 17224.13 Set: 3389.567 Check: 0.0 Back: 423.267
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 16372408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.676 Prop: 17738.818 PropClause: 17275.091 Set: 3398.84 Check: 0.0 Back: 424.621
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 16424604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.689 Prop: 17793.151 PropClause: 17327.975 Set: 3429.403 Check: 0.0 Back: 425.957
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 16477049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.701 Prop: 17848.173 PropClause: 17381.481 Set: 3439.162 Check: 0.0 Back: 427.291
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 16528487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.712 Prop: 17902.3 PropClause: 17434.178 Set: 3448.265 Check: 0.0 Back: 428.653
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 16580931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.724 Prop: 17955.257 PropClause: 17485.679 Set: 3457.557 Check: 0.0 Back: 429.959
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 16633376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.735 Prop: 18009.842 PropClause: 17538.816 Set: 3466.936 Check: 0.0 Back: 431.295
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 16685822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.745 Prop: 18063.601 PropClause: 17591.118 Set: 3476.303 Check: 0.0 Back: 432.646
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 16738018 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.758 Prop: 18118.343 PropClause: 17644.407 Set: 3485.637 Check: 0.0 Back: 433.989
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 16790463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.768 Prop: 18172.002 PropClause: 17696.592 Set: 3495.025 Check: 0.0 Back: 435.35
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 16841901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.779 Prop: 18224.808 PropClause: 17747.973 Set: 3504.04 Check: 0.0 Back: 436.694
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 16894345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.789 Prop: 18277.069 PropClause: 17798.785 Set: 3513.258 Check: 0.0 Back: 438.005
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 16946790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.799 Prop: 18330.273 PropClause: 17850.536 Set: 3522.612 Check: 0.0 Back: 439.338
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 16999236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.814 Prop: 18384.651 PropClause: 17903.44 Set: 3532.012 Check: 0.0 Back: 440.67
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 17051432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.823 Prop: 18438.204 PropClause: 17955.544 Set: 3541.369 Check: 0.0 Back: 442.017
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 17103877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.834 Prop: 18492.338 PropClause: 18008.213 Set: 3550.674 Check: 0.0 Back: 443.344
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 17155315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.847 Prop: 18547.578 PropClause: 18062.006 Set: 3560.021 Check: 0.0 Back: 444.699
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 17207759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.859 Prop: 18600.62 PropClause: 18113.598 Set: 3569.225 Check: 0.0 Back: 446.007
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 17260204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.87 Prop: 18653.367 PropClause: 18164.906 Set: 3578.471 Check: 0.0 Back: 447.34
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 17312650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.881 Prop: 18706.629 PropClause: 18216.723 Set: 3587.78 Check: 0.0 Back: 448.677
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 17364846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.892 Prop: 18760.169 PropClause: 18268.828 Set: 3596.945 Check: 0.0 Back: 450.007
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 17417291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.903 Prop: 18812.614 PropClause: 18319.837 Set: 3606.235 Check: 0.0 Back: 451.336
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 17468729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.916 Prop: 18866.965 PropClause: 18372.776 Set: 3615.354 Check: 0.0 Back: 452.686
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 17521173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.926 Prop: 18919.644 PropClause: 18424.013 Set: 3624.699 Check: 0.0 Back: 454.005
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 17573618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.939 Prop: 18972.808 PropClause: 18475.733 Set: 3634.014 Check: 0.0 Back: 455.368
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 17626064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.951 Prop: 19025.378 PropClause: 18526.865 Set: 3643.221 Check: 0.0 Back: 456.705
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 17678260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.963 Prop: 19079.479 PropClause: 18579.527 Set: 3652.5 Check: 0.0 Back: 458.048
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 17730705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.975 Prop: 19134.966 PropClause: 18633.562 Set: 3661.865 Check: 0.0 Back: 459.396
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 17782143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.997 Prop: 19190.436 PropClause: 18687.604 Set: 3671.048 Check: 0.0 Back: 460.762
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 17834587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.009 Prop: 19239.718 PropClause: 18735.445 Set: 3680.249 Check: 0.0 Back: 462.073
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 17887032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.021 Prop: 19296.344 PropClause: 18790.451 Set: 3690.537 Check: 0.0 Back: 463.415
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 17939478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.033 Prop: 19355.938 PropClause: 18848.46 Set: 3700.822 Check: 0.0 Back: 464.755
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 17991674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.044 Prop: 19407.497 PropClause: 18898.582 Set: 3710.06 Check: 0.0 Back: 466.059
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 18044119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.053 Prop: 19460.157 PropClause: 18949.809 Set: 3719.207 Check: 0.0 Back: 467.378
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 18095557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.06 Prop: 19514.402 PropClause: 19002.635 Set: 3728.316 Check: 0.0 Back: 468.708
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 18148001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.07 Prop: 19567.397 PropClause: 19054.181 Set: 3737.714 Check: 0.0 Back: 470.0
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 18200446 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.079 Prop: 19619.331 PropClause: 19104.666 Set: 3746.971 Check: 0.0 Back: 471.325
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 18252892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.088 Prop: 19670.361 PropClause: 19154.25 Set: 3756.018 Check: 0.0 Back: 472.659
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 18305088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.098 Prop: 19722.709 PropClause: 19205.174 Set: 3765.164 Check: 0.0 Back: 473.975
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 18357533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.109 Prop: 19774.716 PropClause: 19255.755 Set: 3774.397 Check: 0.0 Back: 475.302
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 18408971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.118 Prop: 19830.223 PropClause: 19309.86 Set: 3783.354 Check: 0.0 Back: 476.621
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 18461415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.128 Prop: 19880.812 PropClause: 19359.013 Set: 3792.564 Check: 0.0 Back: 477.922
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 18513860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.137 Prop: 19936.239 PropClause: 19413.013 Set: 3801.894 Check: 0.0 Back: 479.259
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 18566306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.146 Prop: 19989.189 PropClause: 19464.534 Set: 3811.109 Check: 0.0 Back: 480.577
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 18618502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.154 Prop: 20042.71 PropClause: 19516.608 Set: 3820.463 Check: 0.0 Back: 481.896
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 18670947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.163 Prop: 20097.166 PropClause: 19569.62 Set: 3829.714 Check: 0.0 Back: 483.215
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 18722385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.171 Prop: 20150.235 PropClause: 19621.28 Set: 3838.6 Check: 0.0 Back: 484.538
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 18774829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.182 Prop: 20200.611 PropClause: 19670.214 Set: 3847.659 Check: 0.0 Back: 485.847
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 18827274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.192 Prop: 20254.198 PropClause: 19722.372 Set: 3857.055 Check: 0.0 Back: 487.173
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 18879720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.205 Prop: 20307.925 PropClause: 19774.636 Set: 3866.446 Check: 0.0 Back: 488.518
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 18931916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.217 Prop: 20360.743 PropClause: 19826.033 Set: 3875.505 Check: 0.0 Back: 489.873
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 18984361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.229 Prop: 20414.975 PropClause: 19878.803 Set: 3884.738 Check: 0.0 Back: 491.186
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 19035799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.241 Prop: 20466.513 PropClause: 19928.927 Set: 3893.699 Check: 0.0 Back: 492.532
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 19088243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.253 Prop: 20519.502 PropClause: 19980.473 Set: 3903.014 Check: 0.0 Back: 493.817
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 19140688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.265 Prop: 20573.809 PropClause: 20033.329 Set: 3912.299 Check: 0.0 Back: 495.141
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 19192125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.278 Prop: 20628.028 PropClause: 20086.142 Set: 3921.32 Check: 0.0 Back: 496.483
INFO - Atoms: 51437/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 19244569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.289 Prop: 20683.379 PropClause: 20140.064 Set: 3930.795 Check: 0.0 Back: 497.786
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 19297014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.3 Prop: 20736.887 PropClause: 20192.137 Set: 3940.106 Check: 0.0 Back: 499.102
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 19348452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.311 Prop: 20790.229 PropClause: 20244.071 Set: 3949.153 Check: 0.0 Back: 500.412
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 19400896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.323 Prop: 20843.631 PropClause: 20296.024 Set: 3958.626 Check: 0.0 Back: 501.717
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 19453341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.334 Prop: 20899.937 PropClause: 20350.855 Set: 3968.251 Check: 0.0 Back: 503.035
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 19504778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.347 Prop: 20954.157 PropClause: 20403.668 Set: 3977.395 Check: 0.0 Back: 504.402
INFO - Atoms: 51437/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 19557222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.359 Prop: 21008.818 PropClause: 20456.883 Set: 3986.95 Check: 0.0 Back: 505.707
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 19609667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.371 Prop: 21064.086 PropClause: 20510.708 Set: 3996.277 Check: 0.0 Back: 507.043
INFO - Atoms: 52445/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 19662114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.383 Prop: 21118.76 PropClause: 20563.944 Set: 4005.599 Check: 0.0 Back: 508.387
INFO - Atoms: 52447/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 19714558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.395 Prop: 21171.967 PropClause: 20615.699 Set: 4014.788 Check: 0.0 Back: 509.72
INFO - Atoms: 52444/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 19766755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.405 Prop: 21225.742 PropClause: 20668.044 Set: 4024.077 Check: 0.0 Back: 511.055
INFO - Atoms: 52197/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 19819201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.415 Prop: 21280.614 PropClause: 20721.463 Set: 4033.416 Check: 0.0 Back: 512.386
INFO - Atoms: 52446/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 19871397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.429 Prop: 21335.906 PropClause: 20775.324 Set: 4042.858 Check: 0.0 Back: 513.715
INFO - Atoms: 52196/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 19923722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.439 Prop: 21389.846 PropClause: 20827.825 Set: 4052.136 Check: 0.0 Back: 515.044
INFO - Atoms: 52325/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 19975160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.451 Prop: 21443.701 PropClause: 20880.262 Set: 4061.198 Check: 0.0 Back: 516.367
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 20027363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.463 Prop: 21497.792 PropClause: 20932.919 Set: 4070.619 Check: 0.0 Back: 517.673
INFO - Atoms: 52203/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 20079566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.475 Prop: 21557.583 PropClause: 20991.266 Set: 4080.257 Check: 0.0 Back: 519.002
INFO - Atoms: 52203/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 20131770 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.487 Prop: 21611.043 PropClause: 21043.298 Set: 4089.451 Check: 0.0 Back: 520.353
INFO - Atoms: 52204/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 20183722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.499 Prop: 21665.511 PropClause: 21096.338 Set: 4098.829 Check: 0.0 Back: 521.668
INFO - Atoms: 51952/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 20235675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.509 Prop: 21718.817 PropClause: 21148.22 Set: 4108.017 Check: 0.0 Back: 522.992
INFO - Atoms: 51953/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 20287113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.518 Prop: 21774.721 PropClause: 21202.712 Set: 4117.159 Check: 0.0 Back: 524.279
INFO - Atoms: 51438/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 20338811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.695 Prop: 21827.506 PropClause: 21254.074 Set: 4126.283 Check: 0.0 Back: 525.584
INFO - Atoms: 51698/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 20390509 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.853 Prop: 21881.547 PropClause: 21306.706 Set: 4135.485 Check: 0.0 Back: 526.908
INFO - Atoms: 51698/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 20442175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.875 Prop: 21936.427 PropClause: 21360.17 Set: 4144.763 Check: 0.0 Back: 528.222
INFO - Atoms: 51666/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 20493842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.894 Prop: 21990.426 PropClause: 21412.748 Set: 4153.933 Check: 0.0 Back: 529.55
INFO - Atoms: 51667/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 20545510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.915 Prop: 22043.423 PropClause: 21464.337 Set: 4163.126 Check: 0.0 Back: 530.855
INFO - Atoms: 51668/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 20596927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.936 Prop: 22098.305 PropClause: 21517.811 Set: 4172.254 Check: 0.0 Back: 532.163
INFO - Atoms: 51417/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 20648595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.958 Prop: 22153.304 PropClause: 21571.385 Set: 4181.428 Check: 0.0 Back: 533.477
INFO - Atoms: 51668/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 20700261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.982 Prop: 22208.139 PropClause: 21624.803 Set: 4190.577 Check: 0.0 Back: 534.802
INFO - Atoms: 51666/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 20751929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.006 Prop: 22262.093 PropClause: 21677.339 Set: 4199.789 Check: 0.0 Back: 536.112
INFO - Atoms: 51668/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 20802473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.031 Prop: 22317.766 PropClause: 21731.621 Set: 4208.767 Check: 0.0 Back: 537.422
INFO - Atoms: 50544/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 20852758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.086 Prop: 22371.686 PropClause: 21784.165 Set: 4217.571 Check: 0.0 Back: 538.755
INFO - Atoms: 50285/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 20903661 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.24 Prop: 22435.69 PropClause: 21846.476 Set: 4234.113 Check: 0.0 Back: 540.04
INFO - Atoms: 50903/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 20930604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.257 Prop: 22473.266 PropClause: 21883.115 Set: 4239.541 Check: 0.0 Back: 541.311
INFO - Atoms: 26943/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 20957803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.279 Prop: 22490.006 PropClause: 21898.904 Set: 4273.489 Check: 0.0 Back: 541.988
INFO - Atoms: 27199/75264 Clauses: 581 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 881 Props: 21951704 Tprops: 0 Decides: 1110 RSplits: 0
INFO - Times: Expl: 3491.454 Prop: 23329.376 PropClause: 22707.917 Set: 4301.344 Check: 0.031 Back: 565.191
INFO - Atoms: 24902/75264 Clauses: 1080 Axioms: 249074
INFO - Restart
INFO - Confl: 1381 Props: 23410346 Tprops: 0 Decides: 5228 RSplits: 0
INFO - Times: Expl: 4659.652 Prop: 24481.656 PropClause: 23815.896 Set: 4336.369 Check: 0.129 Back: 598.866
INFO - Atoms: 24902/75264 Clauses: 1580 Axioms: 249074
INFO - Confl: 2330 Props: 27288476 Tprops: 0 Decides: 17488 RSplits: 0
INFO - Times: Expl: 6074.826 Prop: 27959.831 PropClause: 27178.716 Set: 4429.987 Check: 0.429 Back: 688.452
INFO - Atoms: 25718/75264 Clauses: 2529 Axioms: 249074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 422 Props: 45820 Tprops: 12032 Decides: 51048 RSplits: 0
INFO - Times: Expl: 254.832 Prop: 66600.433 PropClause: 19.726 Set: 7291.499 Check: 195.424 Back: 217.899
INFO - Atoms: 773/870 Clauses: 422 Axioms: 870
INFO - CCTimes: iE 437664 eq 34676633 cc 83312903 setRep 53468923
INFO - Merges: 379014, cc:664970
INFO - BVTimes: BB 219222273 BB_DPLL 61137921135 Graph 1294411
INFO - BitBlastingClauses: 470634 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat