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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 131063605
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 28700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.729 Prop: 62.056 PropClause: 60.371 Set: 26.377 Check: 0.0 Back: 0.0
INFO - Atoms: 28700/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 57214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.808 Prop: 112.592 PropClause: 108.5 Set: 39.864 Check: 0.0 Back: 0.778
INFO - Atoms: 28514/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 85728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.87 Prop: 151.72 PropClause: 146.26 Set: 47.291 Check: 0.0 Back: 1.528
INFO - Atoms: 28514/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 114101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.924 Prop: 198.429 PropClause: 191.653 Set: 54.08 Check: 0.0 Back: 2.284
INFO - Atoms: 28373/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 142468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.973 Prop: 229.417 PropClause: 221.513 Set: 59.81 Check: 0.0 Back: 2.995
INFO - Atoms: 28367/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 170740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.025 Prop: 270.027 PropClause: 260.824 Set: 67.697 Check: 0.0 Back: 3.706
INFO - Atoms: 28272/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 199107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.155 Prop: 306.628 PropClause: 296.546 Set: 78.422 Check: 0.0 Back: 4.439
INFO - Atoms: 28367/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 227475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.198 Prop: 331.986 PropClause: 321.175 Set: 83.52 Check: 0.0 Back: 5.161
INFO - Atoms: 28368/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 255748 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.318 Prop: 366.14 PropClause: 354.49 Set: 90.368 Check: 0.0 Back: 5.918
INFO - Atoms: 28273/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 284020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.361 Prop: 402.257 PropClause: 389.783 Set: 96.806 Check: 0.0 Back: 6.65
INFO - Atoms: 28272/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 312194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.408 Prop: 424.963 PropClause: 411.794 Set: 101.862 Check: 0.0 Back: 7.511
INFO - Atoms: 28174/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 340268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.452 Prop: 451.079 PropClause: 437.215 Set: 106.941 Check: 0.0 Back: 8.354
INFO - Atoms: 28074/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 368244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.504 Prop: 476.367 PropClause: 461.819 Set: 112.07 Check: 0.0 Back: 9.167
INFO - Atoms: 27976/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 396126 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.556 Prop: 514.69 PropClause: 499.321 Set: 118.654 Check: 0.0 Back: 10.043
INFO - Atoms: 27882/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 423904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.62 Prop: 540.894 PropClause: 524.82 Set: 126.606 Check: 0.0 Back: 10.769
INFO - Atoms: 27778/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 452084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.662 Prop: 570.234 PropClause: 553.47 Set: 134.865 Check: 0.0 Back: 11.622
INFO - Atoms: 28180/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 480159 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.705 Prop: 599.41 PropClause: 581.949 Set: 143.202 Check: 0.0 Back: 12.492
INFO - Atoms: 28075/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 508139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.749 Prop: 625.621 PropClause: 607.47 Set: 148.259 Check: 0.0 Back: 13.361
INFO - Atoms: 27980/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 536016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.789 Prop: 649.274 PropClause: 630.434 Set: 153.265 Check: 0.0 Back: 14.224
INFO - Atoms: 27877/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 563798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.831 Prop: 675.129 PropClause: 655.61 Set: 158.286 Check: 0.0 Back: 15.04
INFO - Atoms: 27782/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 591574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.883 Prop: 710.829 PropClause: 690.485 Set: 165.153 Check: 0.0 Back: 15.91
INFO - Atoms: 27776/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 619252 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.934 Prop: 748.922 PropClause: 727.782 Set: 171.708 Check: 0.0 Back: 16.616
INFO - Atoms: 27678/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 646832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.985 Prop: 785.565 PropClause: 763.626 Set: 178.44 Check: 0.0 Back: 17.312
INFO - Atoms: 27580/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 674318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.037 Prop: 821.684 PropClause: 798.667 Set: 184.951 Check: 0.0 Back: 18.014
INFO - Atoms: 27486/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 701700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.09 Prop: 858.039 PropClause: 833.874 Set: 191.801 Check: 0.0 Back: 18.713
INFO - Atoms: 27382/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 728988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.136 Prop: 894.698 PropClause: 869.419 Set: 198.553 Check: 0.0 Back: 19.406
INFO - Atoms: 27288/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 756172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.186 Prop: 927.716 PropClause: 901.349 Set: 205.093 Check: 0.0 Back: 20.097
INFO - Atoms: 27184/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 783262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.24 Prop: 961.421 PropClause: 934.045 Set: 211.461 Check: 0.0 Back: 20.788
INFO - Atoms: 27090/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 810248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.285 Prop: 981.947 PropClause: 953.897 Set: 216.239 Check: 0.0 Back: 21.486
INFO - Atoms: 26986/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 837134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.326 Prop: 1005.73 PropClause: 977.017 Set: 223.833 Check: 0.0 Back: 22.27
INFO - Atoms: 26886/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 863922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.373 Prop: 1027.346 PropClause: 997.963 Set: 231.388 Check: 0.0 Back: 23.016
INFO - Atoms: 26788/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 890610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.449 Prop: 1050.834 PropClause: 1020.793 Set: 238.971 Check: 0.0 Back: 23.778
INFO - Atoms: 26688/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 917200 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.492 Prop: 1073.598 PropClause: 1042.898 Set: 246.617 Check: 0.0 Back: 24.492
INFO - Atoms: 26590/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 943690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.544 Prop: 1100.726 PropClause: 1069.367 Set: 253.883 Check: 0.0 Back: 25.281
INFO - Atoms: 26490/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 970082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.589 Prop: 1124.121 PropClause: 1092.104 Set: 261.086 Check: 0.0 Back: 25.99
INFO - Atoms: 26392/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 996374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.637 Prop: 1150.28 PropClause: 1117.59 Set: 268.259 Check: 0.0 Back: 26.757
INFO - Atoms: 26292/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 1022568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.684 Prop: 1173.933 PropClause: 1140.596 Set: 272.958 Check: 0.0 Back: 27.517
INFO - Atoms: 26194/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 1048668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.726 Prop: 1199.224 PropClause: 1165.242 Set: 277.635 Check: 0.0 Back: 28.24
INFO - Atoms: 26100/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 1074664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.769 Prop: 1223.016 PropClause: 1188.384 Set: 282.208 Check: 0.0 Back: 28.916
INFO - Atoms: 25996/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 1100566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.814 Prop: 1245.586 PropClause: 1210.314 Set: 286.751 Check: 0.0 Back: 29.578
INFO - Atoms: 25902/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 1126364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.859 Prop: 1266.066 PropClause: 1230.15 Set: 291.275 Check: 0.0 Back: 30.233
INFO - Atoms: 25798/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 1152062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.953 Prop: 1288.319 PropClause: 1251.766 Set: 295.799 Check: 0.0 Back: 30.975
INFO - Atoms: 25698/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 1177662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.992 Prop: 1308.336 PropClause: 1271.15 Set: 300.273 Check: 0.0 Back: 31.732
INFO - Atoms: 25600/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 1203162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.033 Prop: 1329.614 PropClause: 1291.79 Set: 304.737 Check: 0.0 Back: 32.476
INFO - Atoms: 25500/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 1228564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.078 Prop: 1350.767 PropClause: 1312.315 Set: 309.207 Check: 0.0 Back: 33.172
INFO - Atoms: 25402/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 1253873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.117 Prop: 1374.854 PropClause: 1335.776 Set: 313.682 Check: 0.0 Back: 33.901
INFO - Atoms: 25309/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 1279077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.157 Prop: 1394.73 PropClause: 1355.026 Set: 318.073 Check: 0.0 Back: 34.642
INFO - Atoms: 25204/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 1304181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.198 Prop: 1416.071 PropClause: 1375.749 Set: 322.429 Check: 0.0 Back: 35.342
INFO - Atoms: 25104/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 1329187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.235 Prop: 1435.325 PropClause: 1394.385 Set: 326.737 Check: 0.0 Back: 36.033
INFO - Atoms: 25006/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 1354093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.27 Prop: 1456.262 PropClause: 1414.709 Set: 331.057 Check: 0.0 Back: 36.72
INFO - Atoms: 24906/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 1378901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.415 Prop: 1475.45 PropClause: 1433.283 Set: 335.309 Check: 0.0 Back: 37.431
INFO - Atoms: 24808/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 1403616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.432 Prop: 1496.561 PropClause: 1453.786 Set: 339.558 Check: 0.0 Back: 38.157
INFO - Atoms: 24715/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 1428226 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.449 Prop: 1514.928 PropClause: 1471.546 Set: 343.767 Check: 0.0 Back: 38.862
INFO - Atoms: 24610/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 1452736 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.465 Prop: 1531.678 PropClause: 1487.691 Set: 347.899 Check: 0.0 Back: 39.518
INFO - Atoms: 24510/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 1477148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.482 Prop: 1547.606 PropClause: 1503.017 Set: 351.986 Check: 0.0 Back: 40.181
INFO - Atoms: 24412/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 1501467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.498 Prop: 1564.181 PropClause: 1518.988 Set: 356.061 Check: 0.0 Back: 40.831
INFO - Atoms: 24319/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 1525681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.519 Prop: 1580.146 PropClause: 1534.349 Set: 360.123 Check: 0.0 Back: 41.475
INFO - Atoms: 24214/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 1549800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.537 Prop: 1597.095 PropClause: 1550.703 Set: 364.185 Check: 0.0 Back: 42.117
INFO - Atoms: 24119/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 1573816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.553 Prop: 1612.557 PropClause: 1565.571 Set: 368.212 Check: 0.0 Back: 42.77
INFO - Atoms: 24016/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 1597732 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.57 Prop: 1629.451 PropClause: 1581.876 Set: 372.235 Check: 0.0 Back: 43.417
INFO - Atoms: 23916/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 1621550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.588 Prop: 1644.711 PropClause: 1596.543 Set: 376.242 Check: 0.0 Back: 44.063
INFO - Atoms: 23818/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 1645268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.606 Prop: 1661.187 PropClause: 1612.436 Set: 380.236 Check: 0.0 Back: 44.721
INFO - Atoms: 23718/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 1668888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.625 Prop: 1680.471 PropClause: 1631.125 Set: 384.455 Check: 0.0 Back: 45.344
INFO - Atoms: 23620/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 1692414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.651 Prop: 1700.589 PropClause: 1650.666 Set: 388.547 Check: 0.0 Back: 46.013
INFO - Atoms: 23526/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 1715836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.669 Prop: 1717.448 PropClause: 1666.946 Set: 392.539 Check: 0.0 Back: 46.673
INFO - Atoms: 23422/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 1739158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.69 Prop: 1742.318 PropClause: 1691.117 Set: 400.61 Check: 0.0 Back: 47.32
INFO - Atoms: 23322/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 1762382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.712 Prop: 1760.932 PropClause: 1709.152 Set: 406.833 Check: 0.0 Back: 47.912
INFO - Atoms: 23224/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 1785506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.732 Prop: 1780.192 PropClause: 1727.836 Set: 413.077 Check: 0.0 Back: 48.579
INFO - Atoms: 23124/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 1808532 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.753 Prop: 1800.126 PropClause: 1747.195 Set: 419.454 Check: 0.0 Back: 49.242
INFO - Atoms: 23026/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 1831458 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.776 Prop: 1819.897 PropClause: 1766.397 Set: 423.461 Check: 0.0 Back: 49.897
INFO - Atoms: 22926/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 1854286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.795 Prop: 1835.926 PropClause: 1781.861 Set: 427.311 Check: 0.0 Back: 50.551
INFO - Atoms: 22828/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 1877014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.818 Prop: 1852.953 PropClause: 1798.325 Set: 431.141 Check: 0.0 Back: 51.179
INFO - Atoms: 22728/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 1899644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.839 Prop: 1868.466 PropClause: 1813.258 Set: 434.936 Check: 0.0 Back: 51.803
INFO - Atoms: 22630/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 1922180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.863 Prop: 1885.885 PropClause: 1830.11 Set: 438.755 Check: 0.0 Back: 52.419
INFO - Atoms: 22536/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 1944612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.883 Prop: 1901.074 PropClause: 1844.742 Set: 442.507 Check: 0.0 Back: 52.99
INFO - Atoms: 22432/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 1966950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.901 Prop: 1917.24 PropClause: 1860.353 Set: 446.277 Check: 0.0 Back: 53.599
INFO - Atoms: 22338/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 1989184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.921 Prop: 1932.003 PropClause: 1874.567 Set: 450.018 Check: 0.0 Back: 54.22
INFO - Atoms: 22234/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 2011324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.943 Prop: 1956.362 PropClause: 1898.283 Set: 455.039 Check: 0.0 Back: 54.824
INFO - Atoms: 22140/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 2033360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.964 Prop: 1980.894 PropClause: 1922.169 Set: 460.031 Check: 0.0 Back: 55.384
INFO - Atoms: 22036/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 2055301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.988 Prop: 2004.541 PropClause: 1945.174 Set: 464.712 Check: 0.0 Back: 55.975
INFO - Atoms: 21941/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 2077139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.085 Prop: 2020.068 PropClause: 1960.158 Set: 468.454 Check: 0.0 Back: 56.56
INFO - Atoms: 21838/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 2098877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.102 Prop: 2037.653 PropClause: 1977.204 Set: 472.138 Check: 0.0 Back: 57.173
INFO - Atoms: 21738/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 2120517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.119 Prop: 2054.612 PropClause: 1993.598 Set: 476.116 Check: 0.0 Back: 57.798
INFO - Atoms: 21640/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 2142057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.136 Prop: 2074.545 PropClause: 2012.994 Set: 479.832 Check: 0.0 Back: 58.41
INFO - Atoms: 21540/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 2163499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.154 Prop: 2091.084 PropClause: 2028.995 Set: 483.509 Check: 0.0 Back: 59.024
INFO - Atoms: 21442/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 2184847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.173 Prop: 2110.922 PropClause: 2048.285 Set: 487.447 Check: 0.0 Back: 59.59
INFO - Atoms: 21348/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 2206091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.19 Prop: 2132.078 PropClause: 2068.833 Set: 491.915 Check: 0.0 Back: 60.175
INFO - Atoms: 21244/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 2227241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.209 Prop: 2150.679 PropClause: 2086.885 Set: 495.75 Check: 0.0 Back: 60.759
INFO - Atoms: 21150/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 2248287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.226 Prop: 2167.859 PropClause: 2103.545 Set: 499.275 Check: 0.0 Back: 61.327
INFO - Atoms: 21046/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 2269233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.253 Prop: 2182.928 PropClause: 2118.098 Set: 502.804 Check: 0.0 Back: 61.876
INFO - Atoms: 20946/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 2290081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.269 Prop: 2196.624 PropClause: 2131.279 Set: 506.249 Check: 0.0 Back: 62.423
INFO - Atoms: 20848/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 2310829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.283 Prop: 2211.249 PropClause: 2145.389 Set: 509.694 Check: 0.0 Back: 62.965
INFO - Atoms: 20748/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 2331479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.336 Prop: 2230.477 PropClause: 2164.08 Set: 513.521 Check: 0.0 Back: 63.501
INFO - Atoms: 20650/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 2352036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.399 Prop: 2250.333 PropClause: 2183.355 Set: 517.838 Check: 0.0 Back: 64.094
INFO - Atoms: 20557/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 2372488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.413 Prop: 2264.678 PropClause: 2197.168 Set: 521.555 Check: 0.0 Back: 64.627
INFO - Atoms: 20452/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 2392840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.425 Prop: 2277.933 PropClause: 2209.917 Set: 524.928 Check: 0.0 Back: 65.176
INFO - Atoms: 20352/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 2413094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.435 Prop: 2290.041 PropClause: 2221.519 Set: 528.261 Check: 0.0 Back: 65.712
INFO - Atoms: 20254/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 2433255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.446 Prop: 2304.553 PropClause: 2235.51 Set: 531.689 Check: 0.0 Back: 66.231
INFO - Atoms: 20161/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 2453311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.456 Prop: 2318.007 PropClause: 2248.448 Set: 535.036 Check: 0.0 Back: 66.79
INFO - Atoms: 20056/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 2473272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.474 Prop: 2335.643 PropClause: 2265.577 Set: 538.415 Check: 0.0 Back: 67.319
INFO - Atoms: 19961/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 2493130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.487 Prop: 2349.569 PropClause: 2279.012 Set: 541.687 Check: 0.0 Back: 67.88
INFO - Atoms: 19858/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 2512894 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.502 Prop: 2367.505 PropClause: 2296.397 Set: 545.785 Check: 0.0 Back: 68.388
INFO - Atoms: 19764/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 2532554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.515 Prop: 2382.682 PropClause: 2311.06 Set: 549.25 Check: 0.0 Back: 68.927
INFO - Atoms: 19660/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 2552114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.524 Prop: 2395.272 PropClause: 2323.158 Set: 552.431 Check: 0.0 Back: 69.444
INFO - Atoms: 19560/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 2571576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.534 Prop: 2408.104 PropClause: 2335.504 Set: 555.638 Check: 0.0 Back: 69.933
INFO - Atoms: 19462/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 2590944 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.545 Prop: 2422.325 PropClause: 2349.241 Set: 558.86 Check: 0.0 Back: 70.44
INFO - Atoms: 19368/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 2610208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.556 Prop: 2434.92 PropClause: 2361.353 Set: 562.068 Check: 0.0 Back: 70.952
INFO - Atoms: 19264/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 2629372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.566 Prop: 2449.997 PropClause: 2375.951 Set: 565.277 Check: 0.0 Back: 71.479
INFO - Atoms: 19164/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 2648953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.702 Prop: 2462.659 PropClause: 2388.121 Set: 568.565 Check: 0.0 Back: 72.006
INFO - Atoms: 19581/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 2668533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.719 Prop: 2477.062 PropClause: 2402.03 Set: 571.948 Check: 0.0 Back: 72.518
INFO - Atoms: 19580/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 2688114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.735 Prop: 2495.463 PropClause: 2419.856 Set: 576.015 Check: 0.0 Back: 73.037
INFO - Atoms: 19581/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 2707704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.754 Prop: 2515.297 PropClause: 2439.146 Set: 580.03 Check: 0.0 Back: 73.561
INFO - Atoms: 19590/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 2727005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.772 Prop: 2527.463 PropClause: 2450.825 Set: 583.202 Check: 0.0 Back: 74.033
INFO - Atoms: 19301/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 2746683 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.786 Prop: 2540.449 PropClause: 2463.315 Set: 586.499 Check: 0.0 Back: 74.527
INFO - Atoms: 19678/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 2766373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.798 Prop: 2552.545 PropClause: 2474.923 Set: 589.769 Check: 0.0 Back: 75.037
INFO - Atoms: 19690/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 2786145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.812 Prop: 2566.067 PropClause: 2487.953 Set: 593.082 Check: 0.0 Back: 75.548
INFO - Atoms: 19772/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 2805861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.825 Prop: 2578.938 PropClause: 2500.332 Set: 596.372 Check: 0.0 Back: 76.058
INFO - Atoms: 19716/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 2825485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.84 Prop: 2597.527 PropClause: 2518.33 Set: 600.862 Check: 0.0 Back: 76.572
INFO - Atoms: 19624/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 2845010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.857 Prop: 2613.558 PropClause: 2533.775 Set: 605.114 Check: 0.0 Back: 77.101
INFO - Atoms: 19525/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 2864616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.876 Prop: 2631.416 PropClause: 2551.062 Set: 609.305 Check: 0.0 Back: 77.614
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 2884235 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.893 Prop: 2645.399 PropClause: 2564.55 Set: 612.705 Check: 0.0 Back: 78.113
INFO - Atoms: 19619/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 2903843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.911 Prop: 2664.174 PropClause: 2582.74 Set: 616.897 Check: 0.0 Back: 78.621
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 2923370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.929 Prop: 2678.094 PropClause: 2596.169 Set: 620.246 Check: 0.0 Back: 79.151
INFO - Atoms: 19527/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 2942616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.946 Prop: 2693.579 PropClause: 2611.174 Set: 623.526 Check: 0.0 Back: 79.668
INFO - Atoms: 19246/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 2962153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.998 Prop: 2710.348 PropClause: 2627.428 Set: 627.241 Check: 0.0 Back: 80.182
INFO - Atoms: 19537/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 2981759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.024 Prop: 2725.43 PropClause: 2642.023 Set: 630.574 Check: 0.0 Back: 80.703
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 3001380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.075 Prop: 2740.314 PropClause: 2656.413 Set: 633.967 Check: 0.0 Back: 81.215
INFO - Atoms: 19621/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 3020988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.087 Prop: 2753.487 PropClause: 2669.086 Set: 637.284 Check: 0.0 Back: 81.761
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 3040515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.099 Prop: 2765.602 PropClause: 2680.706 Set: 640.593 Check: 0.0 Back: 82.271
INFO - Atoms: 19527/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 3059761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.111 Prop: 2780.055 PropClause: 2694.662 Set: 644.042 Check: 0.0 Back: 82.759
INFO - Atoms: 19246/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 3079296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.124 Prop: 2798.284 PropClause: 2712.311 Set: 648.242 Check: 0.0 Back: 83.239
INFO - Atoms: 19535/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 3098904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.136 Prop: 2815.105 PropClause: 2728.629 Set: 651.689 Check: 0.0 Back: 83.776
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 3118525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.147 Prop: 2827.782 PropClause: 2740.8 Set: 655.185 Check: 0.0 Back: 84.311
INFO - Atoms: 19621/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 3138133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.159 Prop: 2840.222 PropClause: 2752.755 Set: 658.469 Check: 0.0 Back: 84.813
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 3157660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.17 Prop: 2852.207 PropClause: 2764.255 Set: 661.734 Check: 0.0 Back: 85.309
INFO - Atoms: 19527/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 3176906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.181 Prop: 2866.95 PropClause: 2778.432 Set: 665.63 Check: 0.0 Back: 85.799
INFO - Atoms: 19246/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 3196441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.193 Prop: 2882.695 PropClause: 2793.675 Set: 668.97 Check: 0.0 Back: 86.314
INFO - Atoms: 19535/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 3216049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.207 Prop: 2900.027 PropClause: 2810.405 Set: 673.263 Check: 0.0 Back: 86.839
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 3235670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.218 Prop: 2912.75 PropClause: 2822.615 Set: 676.582 Check: 0.0 Back: 87.369
INFO - Atoms: 19621/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 3255277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.229 Prop: 2928.492 PropClause: 2837.866 Set: 679.963 Check: 0.0 Back: 87.882
INFO - Atoms: 19607/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 3274804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.242 Prop: 2942.449 PropClause: 2851.336 Set: 683.297 Check: 0.0 Back: 88.431
INFO - Atoms: 19527/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 3294057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.257 Prop: 2957.115 PropClause: 2865.516 Set: 686.595 Check: 0.0 Back: 88.939
INFO - Atoms: 19253/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 3313592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.314 Prop: 2978.168 PropClause: 2886.002 Set: 691.107 Check: 0.0 Back: 89.579
INFO - Atoms: 19535/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 3333200 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.361 Prop: 2994.188 PropClause: 2901.534 Set: 694.47 Check: 0.0 Back: 90.078
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 3352821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.375 Prop: 3017.981 PropClause: 2924.76 Set: 698.945 Check: 0.0 Back: 90.608
INFO - Atoms: 19621/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 3372428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.388 Prop: 3036.124 PropClause: 2942.341 Set: 703.142 Check: 0.0 Back: 91.107
INFO - Atoms: 19607/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 3391955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.401 Prop: 3060.301 PropClause: 2965.91 Set: 707.699 Check: 0.0 Back: 91.635
INFO - Atoms: 19527/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 3411207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.411 Prop: 3074.916 PropClause: 2980.045 Set: 710.974 Check: 0.0 Back: 92.21
INFO - Atoms: 19252/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 3430742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.423 Prop: 3092.739 PropClause: 2997.33 Set: 714.87 Check: 0.0 Back: 92.717
INFO - Atoms: 19535/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 3450350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.434 Prop: 3110.464 PropClause: 3014.554 Set: 718.387 Check: 0.0 Back: 93.254
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 3469969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.444 Prop: 3122.651 PropClause: 3026.243 Set: 721.751 Check: 0.0 Back: 93.803
INFO - Atoms: 19619/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 3489577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.456 Prop: 3139.406 PropClause: 3042.483 Set: 725.439 Check: 0.0 Back: 94.327
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 3509104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.467 Prop: 3153.335 PropClause: 3055.916 Set: 728.875 Check: 0.0 Back: 94.863
INFO - Atoms: 19527/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 3528350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.478 Prop: 3166.49 PropClause: 3068.584 Set: 732.15 Check: 0.0 Back: 95.384
INFO - Atoms: 19246/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 3547885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.487 Prop: 3179.09 PropClause: 3080.697 Set: 735.417 Check: 0.0 Back: 95.878
INFO - Atoms: 19535/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 3567493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.501 Prop: 3192.545 PropClause: 3093.664 Set: 738.726 Check: 0.0 Back: 96.384
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 3587112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.512 Prop: 3205.518 PropClause: 3106.148 Set: 742.105 Check: 0.0 Back: 96.907
INFO - Atoms: 19619/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 3606720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.521 Prop: 3218.714 PropClause: 3118.858 Set: 745.403 Check: 0.0 Back: 97.44
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 3626247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.53 Prop: 3232.033 PropClause: 3131.69 Set: 748.735 Check: 0.0 Back: 97.958
INFO - Atoms: 19527/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 3645493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.54 Prop: 3245.956 PropClause: 3145.131 Set: 751.979 Check: 0.0 Back: 98.477
INFO - Atoms: 19246/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 3665119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.551 Prop: 3259.367 PropClause: 3158.043 Set: 755.283 Check: 0.0 Back: 98.979
INFO - Atoms: 19626/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 3684756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.56 Prop: 3273.804 PropClause: 3171.992 Set: 758.635 Check: 0.0 Back: 99.495
INFO - Atoms: 19637/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 3704474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.571 Prop: 3288.432 PropClause: 3186.129 Set: 761.989 Check: 0.0 Back: 100.034
INFO - Atoms: 19718/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 3724005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.585 Prop: 3304.372 PropClause: 3201.57 Set: 765.336 Check: 0.0 Back: 100.562
INFO - Atoms: 19531/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 3743530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.594 Prop: 3318.711 PropClause: 3215.423 Set: 768.639 Check: 0.0 Back: 101.084
INFO - Atoms: 19525/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 3763138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.603 Prop: 3333.989 PropClause: 3230.214 Set: 771.995 Check: 0.0 Back: 101.601
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 3782385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.61 Prop: 3348.208 PropClause: 3243.958 Set: 775.24 Check: 0.0 Back: 102.123
INFO - Atoms: 19247/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 3801991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.62 Prop: 3363.128 PropClause: 3258.393 Set: 778.569 Check: 0.0 Back: 102.636
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 3821528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.631 Prop: 3384.747 PropClause: 3279.45 Set: 782.986 Check: 0.0 Back: 103.157
INFO - Atoms: 19537/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 3841151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.642 Prop: 3400.586 PropClause: 3294.803 Set: 786.326 Check: 0.0 Back: 103.652
INFO - Atoms: 19623/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 3860676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.65 Prop: 3414.125 PropClause: 3307.861 Set: 789.603 Check: 0.0 Back: 104.184
INFO - Atoms: 19525/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 3880282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.659 Prop: 3428.549 PropClause: 3321.801 Set: 792.915 Check: 0.0 Back: 104.707
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 3899529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.669 Prop: 3443.814 PropClause: 3336.588 Set: 796.163 Check: 0.0 Back: 105.223
INFO - Atoms: 19247/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 3919135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.679 Prop: 3459.218 PropClause: 3351.504 Set: 799.536 Check: 0.0 Back: 105.749
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 3938672 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.688 Prop: 3470.518 PropClause: 3362.318 Set: 802.814 Check: 0.0 Back: 106.239
INFO - Atoms: 19537/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 3958290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.697 Prop: 3481.707 PropClause: 3373.017 Set: 806.083 Check: 0.0 Back: 106.73
INFO - Atoms: 19618/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 3977815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.706 Prop: 3492.729 PropClause: 3383.554 Set: 809.518 Check: 0.0 Back: 107.217
INFO - Atoms: 19525/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 3997421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.714 Prop: 3503.907 PropClause: 3394.248 Set: 812.764 Check: 0.0 Back: 107.709
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 4016668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.723 Prop: 3514.464 PropClause: 3404.328 Set: 815.902 Check: 0.0 Back: 108.193
INFO - Atoms: 19247/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 4036273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.735 Prop: 3532.465 PropClause: 3421.762 Set: 820.366 Check: 0.0 Back: 108.665
INFO - Atoms: 19605/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 4055811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.748 Prop: 3549.71 PropClause: 3438.444 Set: 824.607 Check: 0.0 Back: 109.165
INFO - Atoms: 19538/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 4075436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.76 Prop: 3567.695 PropClause: 3455.859 Set: 828.811 Check: 0.0 Back: 109.662
INFO - Atoms: 19625/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 4094961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.771 Prop: 3585.448 PropClause: 3473.036 Set: 833.044 Check: 0.0 Back: 110.169
INFO - Atoms: 19525/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 4114567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.816 Prop: 3597.954 PropClause: 3485.058 Set: 836.304 Check: 0.0 Back: 110.714
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 4133814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.845 Prop: 3608.734 PropClause: 3495.362 Set: 839.429 Check: 0.0 Back: 111.213
INFO - Atoms: 19247/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 4153420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.85 Prop: 3621.606 PropClause: 3507.752 Set: 842.739 Check: 0.0 Back: 111.695
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 4172957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.854 Prop: 3634.195 PropClause: 3519.857 Set: 846.021 Check: 0.0 Back: 112.204
INFO - Atoms: 19537/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 4192575 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.858 Prop: 3647.574 PropClause: 3532.748 Set: 849.339 Check: 0.0 Back: 112.707
INFO - Atoms: 19618/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 4212199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.864 Prop: 3660.166 PropClause: 3544.852 Set: 852.636 Check: 0.0 Back: 113.221
INFO - Atoms: 19624/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 4231836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.868 Prop: 3673.018 PropClause: 3557.219 Set: 855.927 Check: 0.0 Back: 113.732
INFO - Atoms: 19637/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 4251182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.872 Prop: 3686.341 PropClause: 3570.063 Set: 859.179 Check: 0.0 Back: 114.24
INFO - Atoms: 19346/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 4270434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.877 Prop: 3700.834 PropClause: 3584.08 Set: 862.419 Check: 0.0 Back: 114.747
INFO - Atoms: 19252/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 4289971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.882 Prop: 3714.006 PropClause: 3596.767 Set: 865.715 Check: 0.0 Back: 115.249
INFO - Atoms: 19537/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 4309496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.886 Prop: 3727.938 PropClause: 3610.215 Set: 869.023 Check: 0.0 Back: 115.707
INFO - Atoms: 19525/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 4329117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.891 Prop: 3741.22 PropClause: 3623.013 Set: 872.348 Check: 0.0 Back: 116.229
INFO - Atoms: 19621/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 4348722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.895 Prop: 3755.919 PropClause: 3637.228 Set: 875.661 Check: 0.0 Back: 116.743
INFO - Atoms: 19605/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 4368249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.9 Prop: 3772.146 PropClause: 3652.974 Set: 879.109 Check: 0.0 Back: 117.277
INFO - Atoms: 19527/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 4387495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.904 Prop: 3785.533 PropClause: 3665.885 Set: 882.299 Check: 0.0 Back: 117.807
INFO - Atoms: 19246/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 4407030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.908 Prop: 3798.035 PropClause: 3677.905 Set: 885.553 Check: 0.0 Back: 118.294
INFO - Atoms: 19535/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 4426638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.912 Prop: 3811.366 PropClause: 3690.749 Set: 888.845 Check: 0.0 Back: 118.792
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 4446257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.916 Prop: 3824.336 PropClause: 3703.233 Set: 892.157 Check: 0.0 Back: 119.318
INFO - Atoms: 19619/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 4465865 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.92 Prop: 3836.829 PropClause: 3715.229 Set: 895.426 Check: 0.0 Back: 119.849
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 4485392 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.924 Prop: 3848.658 PropClause: 3726.573 Set: 898.678 Check: 0.0 Back: 120.358
INFO - Atoms: 19527/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 4504645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.928 Prop: 3862.11 PropClause: 3739.549 Set: 901.9 Check: 0.0 Back: 120.866
INFO - Atoms: 19253/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 4524180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.932 Prop: 3873.765 PropClause: 3750.723 Set: 905.14 Check: 0.0 Back: 121.355
INFO - Atoms: 19535/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 4543788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.936 Prop: 3886.586 PropClause: 3763.06 Set: 908.396 Check: 0.0 Back: 121.848
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 4563407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.94 Prop: 3898.513 PropClause: 3774.502 Set: 911.658 Check: 0.0 Back: 122.368
INFO - Atoms: 19619/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 4583015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.944 Prop: 3911.499 PropClause: 3787.002 Set: 914.984 Check: 0.0 Back: 122.869
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 4602542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.948 Prop: 3925.674 PropClause: 3800.692 Set: 918.264 Check: 0.0 Back: 123.384
INFO - Atoms: 19527/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 4621793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.952 Prop: 3940.776 PropClause: 3815.319 Set: 921.526 Check: 0.0 Back: 123.905
INFO - Atoms: 19251/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 4641328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.956 Prop: 3956.653 PropClause: 3830.715 Set: 924.889 Check: 0.0 Back: 124.418
INFO - Atoms: 19535/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 4660936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.96 Prop: 3970.521 PropClause: 3844.098 Set: 928.257 Check: 0.0 Back: 124.954
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 4680557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.963 Prop: 3983.096 PropClause: 3856.17 Set: 931.546 Check: 0.0 Back: 125.478
INFO - Atoms: 19621/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 4700164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.967 Prop: 3997.774 PropClause: 3870.362 Set: 934.881 Check: 0.0 Back: 125.998
INFO - Atoms: 19607/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 4719691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.971 Prop: 4011.085 PropClause: 3883.187 Set: 938.209 Check: 0.0 Back: 126.527
INFO - Atoms: 19527/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 4738937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.975 Prop: 4024.943 PropClause: 3896.554 Set: 941.439 Check: 0.0 Back: 127.032
INFO - Atoms: 19246/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 4758472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.979 Prop: 4036.923 PropClause: 3908.05 Set: 944.703 Check: 0.0 Back: 127.525
INFO - Atoms: 19535/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 4778080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.984 Prop: 4049.213 PropClause: 3919.853 Set: 947.992 Check: 0.0 Back: 128.028
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 4797701 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.987 Prop: 4061.535 PropClause: 3931.69 Set: 951.285 Check: 0.0 Back: 128.541
INFO - Atoms: 19621/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 4817309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.99 Prop: 4074.155 PropClause: 3943.825 Set: 954.576 Check: 0.0 Back: 129.062
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 4836836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.995 Prop: 4087.178 PropClause: 3956.364 Set: 957.854 Check: 0.0 Back: 129.566
INFO - Atoms: 19527/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 4856082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.999 Prop: 4100.357 PropClause: 3969.066 Set: 961.066 Check: 0.0 Back: 130.079
INFO - Atoms: 19246/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 4875617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.004 Prop: 4113.328 PropClause: 3981.554 Set: 964.35 Check: 0.0 Back: 130.57
INFO - Atoms: 19535/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 4895225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.007 Prop: 4128.3 PropClause: 3996.039 Set: 967.689 Check: 0.0 Back: 131.08
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 4914844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.012 Prop: 4142.681 PropClause: 4009.934 Set: 971.08 Check: 0.0 Back: 131.599
INFO - Atoms: 19619/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 4934452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.016 Prop: 4153.284 PropClause: 4020.053 Set: 974.343 Check: 0.0 Back: 132.099
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 4953979 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.02 Prop: 4163.713 PropClause: 4030.0 Set: 977.564 Check: 0.0 Back: 132.585
INFO - Atoms: 19527/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 4973603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.023 Prop: 4174.242 PropClause: 4040.044 Set: 980.805 Check: 0.0 Back: 133.073
INFO - Atoms: 19624/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 4993128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.026 Prop: 4186.644 PropClause: 4051.959 Set: 984.052 Check: 0.0 Back: 133.556
INFO - Atoms: 19525/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 5012734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.029 Prop: 4197.213 PropClause: 4062.036 Set: 987.282 Check: 0.0 Back: 134.043
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 5032355 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.034 Prop: 4209.27 PropClause: 4073.605 Set: 990.577 Check: 0.0 Back: 134.529
INFO - Atoms: 19621/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 5051961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.039 Prop: 4223.186 PropClause: 4087.037 Set: 993.873 Check: 0.0 Back: 135.027
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 5071488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.042 Prop: 4236.557 PropClause: 4099.924 Set: 997.183 Check: 0.0 Back: 135.535
INFO - Atoms: 19527/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 5090740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.046 Prop: 4247.669 PropClause: 4110.561 Set: 1000.332 Check: 0.0 Back: 136.063
INFO - Atoms: 19252/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 5110277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.049 Prop: 4260.122 PropClause: 4122.531 Set: 1003.601 Check: 0.0 Back: 136.536
INFO - Atoms: 19537/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 5129883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.054 Prop: 4274.235 PropClause: 4136.162 Set: 1006.895 Check: 0.0 Back: 137.036
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 5149504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.058 Prop: 4288.157 PropClause: 4149.6 Set: 1010.195 Check: 0.0 Back: 137.55
INFO - Atoms: 19621/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 5169112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.061 Prop: 4302.855 PropClause: 4163.813 Set: 1013.545 Check: 0.0 Back: 138.076
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 5188639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.065 Prop: 4317.469 PropClause: 4177.945 Set: 1016.831 Check: 0.0 Back: 138.587
INFO - Atoms: 19527/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 5207885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.07 Prop: 4329.435 PropClause: 4189.438 Set: 1019.971 Check: 0.0 Back: 139.103
INFO - Atoms: 19246/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 5227420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.074 Prop: 4342.1 PropClause: 4201.621 Set: 1023.215 Check: 0.0 Back: 139.608
INFO - Atoms: 19535/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 5247028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.077 Prop: 4355.725 PropClause: 4214.759 Set: 1026.517 Check: 0.0 Back: 140.106
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 5266649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.082 Prop: 4371.357 PropClause: 4229.909 Set: 1029.859 Check: 0.0 Back: 140.615
INFO - Atoms: 19621/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 5286256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.087 Prop: 4387.345 PropClause: 4245.409 Set: 1033.275 Check: 0.0 Back: 141.138
INFO - Atoms: 19607/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 5305783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.09 Prop: 4399.28 PropClause: 4256.859 Set: 1036.535 Check: 0.0 Back: 141.681
INFO - Atoms: 19527/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 5325029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.095 Prop: 4412.525 PropClause: 4269.612 Set: 1039.913 Check: 0.0 Back: 142.185
INFO - Atoms: 19246/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 5344564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.1 Prop: 4424.686 PropClause: 4281.275 Set: 1043.185 Check: 0.0 Back: 142.674
INFO - Atoms: 19535/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 5364172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.105 Prop: 4438.264 PropClause: 4294.371 Set: 1046.501 Check: 0.0 Back: 143.19
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 5383793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.11 Prop: 4452.078 PropClause: 4307.699 Set: 1049.785 Check: 0.0 Back: 143.699
INFO - Atoms: 19621/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 5403400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.116 Prop: 4467.429 PropClause: 4322.527 Set: 1053.398 Check: 0.0 Back: 144.225
INFO - Atoms: 19607/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 5422927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.119 Prop: 4480.397 PropClause: 4335.011 Set: 1056.682 Check: 0.0 Back: 144.748
INFO - Atoms: 19527/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 5442173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.124 Prop: 4494.207 PropClause: 4348.345 Set: 1059.989 Check: 0.0 Back: 145.262
INFO - Atoms: 19246/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 5461799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.129 Prop: 4507.248 PropClause: 4360.9 Set: 1063.283 Check: 0.0 Back: 145.766
INFO - Atoms: 19626/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 5481436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.133 Prop: 4522.333 PropClause: 4375.502 Set: 1066.653 Check: 0.0 Back: 146.293
INFO - Atoms: 19637/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 5501154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.139 Prop: 4538.242 PropClause: 4390.924 Set: 1070.056 Check: 0.0 Back: 146.818
INFO - Atoms: 19718/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 5520772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.144 Prop: 4551.266 PropClause: 4403.461 Set: 1073.374 Check: 0.0 Back: 147.299
INFO - Atoms: 19618/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 5540297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.148 Prop: 4563.485 PropClause: 4415.196 Set: 1076.646 Check: 0.0 Back: 147.822
INFO - Atoms: 19525/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 5559905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.153 Prop: 4575.534 PropClause: 4426.758 Set: 1079.936 Check: 0.0 Back: 148.324
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 5579152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.158 Prop: 4587.468 PropClause: 4438.213 Set: 1083.127 Check: 0.0 Back: 148.83
INFO - Atoms: 19247/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 5598759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.163 Prop: 4599.339 PropClause: 4449.596 Set: 1086.448 Check: 0.0 Back: 149.321
INFO - Atoms: 19607/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 5618295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.166 Prop: 4611.323 PropClause: 4461.091 Set: 1089.747 Check: 0.0 Back: 149.816
INFO - Atoms: 19536/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 5637919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.17 Prop: 4623.516 PropClause: 4472.795 Set: 1093.038 Check: 0.0 Back: 150.318
INFO - Atoms: 19624/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 5657444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.175 Prop: 4640.092 PropClause: 4488.888 Set: 1096.348 Check: 0.0 Back: 150.818
INFO - Atoms: 19525/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 5677050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.18 Prop: 4652.705 PropClause: 4501.012 Set: 1099.645 Check: 0.0 Back: 151.329
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 5696297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.184 Prop: 4665.292 PropClause: 4513.124 Set: 1102.84 Check: 0.0 Back: 151.833
INFO - Atoms: 19247/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 5715903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.189 Prop: 4677.787 PropClause: 4525.135 Set: 1106.197 Check: 0.0 Back: 152.328
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 5735440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.194 Prop: 4691.558 PropClause: 4538.422 Set: 1109.532 Check: 0.0 Back: 152.864
INFO - Atoms: 19537/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 5755064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.198 Prop: 4706.209 PropClause: 4552.588 Set: 1112.88 Check: 0.0 Back: 153.376
INFO - Atoms: 19624/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 5774589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.202 Prop: 4719.216 PropClause: 4565.112 Set: 1116.168 Check: 0.0 Back: 153.882
INFO - Atoms: 19525/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 5794195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.206 Prop: 4732.446 PropClause: 4577.849 Set: 1119.497 Check: 0.0 Back: 154.394
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 5813442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.209 Prop: 4745.75 PropClause: 4590.675 Set: 1122.719 Check: 0.0 Back: 154.906
INFO - Atoms: 19247/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 5833048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.214 Prop: 4758.697 PropClause: 4603.138 Set: 1126.16 Check: 0.0 Back: 155.412
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 5852585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.218 Prop: 4770.845 PropClause: 4614.804 Set: 1129.444 Check: 0.0 Back: 155.919
INFO - Atoms: 19537/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 5872203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.223 Prop: 4783.248 PropClause: 4626.718 Set: 1132.764 Check: 0.0 Back: 156.419
INFO - Atoms: 19618/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 5891728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.227 Prop: 4795.569 PropClause: 4638.552 Set: 1136.057 Check: 0.0 Back: 156.929
INFO - Atoms: 19525/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 5911334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.23 Prop: 4808.449 PropClause: 4650.946 Set: 1139.352 Check: 0.0 Back: 157.431
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 5930581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.234 Prop: 4821.297 PropClause: 4663.308 Set: 1142.539 Check: 0.0 Back: 157.936
INFO - Atoms: 19247/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 5950186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.239 Prop: 4833.627 PropClause: 4675.155 Set: 1145.872 Check: 0.0 Back: 158.429
INFO - Atoms: 19605/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 5969724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.242 Prop: 4847.111 PropClause: 4688.156 Set: 1149.204 Check: 0.0 Back: 158.934
INFO - Atoms: 19538/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 5988970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.245 Prop: 4860.505 PropClause: 4701.076 Set: 1152.428 Check: 0.0 Back: 159.429
INFO - Atoms: 19246/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 6008505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.25 Prop: 4873.771 PropClause: 4713.858 Set: 1155.77 Check: 0.0 Back: 159.928
INFO - Atoms: 19535/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 6028113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.254 Prop: 4887.151 PropClause: 4726.753 Set: 1159.113 Check: 0.0 Back: 160.444
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 6047360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.258 Prop: 4898.526 PropClause: 4737.652 Set: 1162.274 Check: 0.0 Back: 160.931
INFO - Atoms: 19247/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 6066967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.263 Prop: 4909.601 PropClause: 4748.242 Set: 1165.559 Check: 0.0 Back: 161.433
INFO - Atoms: 19607/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 6086503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.267 Prop: 4920.529 PropClause: 4758.688 Set: 1168.777 Check: 0.0 Back: 161.915
INFO - Atoms: 19536/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 6106127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.27 Prop: 4932.765 PropClause: 4770.44 Set: 1172.089 Check: 0.0 Back: 162.407
INFO - Atoms: 19624/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 6125652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.273 Prop: 4944.228 PropClause: 4781.42 Set: 1175.35 Check: 0.0 Back: 162.931
INFO - Atoms: 19525/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 6145260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.278 Prop: 4955.265 PropClause: 4791.964 Set: 1178.654 Check: 0.0 Back: 163.417
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 6164507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.281 Prop: 4966.243 PropClause: 4802.466 Set: 1181.816 Check: 0.0 Back: 163.913
INFO - Atoms: 19247/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 6184113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.286 Prop: 4980.682 PropClause: 4816.417 Set: 1185.26 Check: 0.0 Back: 164.393
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 6203650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.29 Prop: 4991.805 PropClause: 4827.059 Set: 1188.541 Check: 0.0 Back: 164.894
INFO - Atoms: 19537/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 6223273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.294 Prop: 5002.518 PropClause: 4837.276 Set: 1191.829 Check: 0.0 Back: 165.393
INFO - Atoms: 19623/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 6242798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.298 Prop: 5013.329 PropClause: 4847.606 Set: 1195.08 Check: 0.0 Back: 165.881
INFO - Atoms: 19525/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 6262404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.301 Prop: 5026.887 PropClause: 4860.68 Set: 1198.389 Check: 0.0 Back: 166.381
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 6281651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.304 Prop: 5042.001 PropClause: 4875.317 Set: 1201.692 Check: 0.0 Back: 166.874
INFO - Atoms: 19247/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 6301257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.309 Prop: 5055.82 PropClause: 4888.648 Set: 1205.062 Check: 0.0 Back: 167.407
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 6320794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.313 Prop: 5071.152 PropClause: 4903.497 Set: 1208.443 Check: 0.0 Back: 167.925
INFO - Atoms: 19537/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 6340045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.317 Prop: 5086.868 PropClause: 4918.74 Set: 1211.75 Check: 0.0 Back: 168.45
INFO - Atoms: 19251/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 6359580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.321 Prop: 5103.224 PropClause: 4934.599 Set: 1215.176 Check: 0.0 Back: 168.964
INFO - Atoms: 19535/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 6379188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.327 Prop: 5115.004 PropClause: 4945.893 Set: 1218.452 Check: 0.0 Back: 169.475
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 6398435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.332 Prop: 5126.967 PropClause: 4957.376 Set: 1221.679 Check: 0.0 Back: 169.972
INFO - Atoms: 19247/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 6418042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.335 Prop: 5138.472 PropClause: 4968.394 Set: 1224.99 Check: 0.0 Back: 170.467
INFO - Atoms: 19607/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 6437578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.34 Prop: 5152.392 PropClause: 4981.828 Set: 1228.348 Check: 0.0 Back: 171.013
INFO - Atoms: 19536/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 6457201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.345 Prop: 5167.921 PropClause: 4996.87 Set: 1231.857 Check: 0.0 Back: 171.537
INFO - Atoms: 19623/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 6476726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.349 Prop: 5182.022 PropClause: 5010.485 Set: 1235.182 Check: 0.0 Back: 172.039
INFO - Atoms: 19525/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 6496334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.354 Prop: 5194.353 PropClause: 5022.33 Set: 1238.497 Check: 0.0 Back: 172.563
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 6515581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.358 Prop: 5207.609 PropClause: 5035.095 Set: 1241.73 Check: 0.0 Back: 173.059
INFO - Atoms: 19247/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 6535187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.362 Prop: 5221.924 PropClause: 5048.924 Set: 1245.136 Check: 0.0 Back: 173.576
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 6554724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.365 Prop: 5235.803 PropClause: 5062.32 Set: 1248.473 Check: 0.0 Back: 174.093
INFO - Atoms: 19537/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 6574348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.37 Prop: 5250.407 PropClause: 5076.438 Set: 1251.853 Check: 0.0 Back: 174.622
INFO - Atoms: 19624/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 6593873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.375 Prop: 5263.593 PropClause: 5089.139 Set: 1255.176 Check: 0.0 Back: 175.149
INFO - Atoms: 19525/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 6613479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.379 Prop: 5276.853 PropClause: 5101.913 Set: 1258.49 Check: 0.0 Back: 175.692
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 6632726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.383 Prop: 5293.179 PropClause: 5117.764 Set: 1261.908 Check: 0.0 Back: 176.196
INFO - Atoms: 19247/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 6652331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.387 Prop: 5308.141 PropClause: 5132.242 Set: 1265.314 Check: 0.0 Back: 176.722
INFO - Atoms: 19605/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 6671869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.391 Prop: 5322.787 PropClause: 5146.407 Set: 1268.68 Check: 0.0 Back: 177.231
INFO - Atoms: 19538/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 6691493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.395 Prop: 5336.777 PropClause: 5159.912 Set: 1272.051 Check: 0.0 Back: 177.756
INFO - Atoms: 19624/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 6711018 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.399 Prop: 5353.188 PropClause: 5175.842 Set: 1275.45 Check: 0.0 Back: 178.283
INFO - Atoms: 19525/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 6730624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.404 Prop: 5370.149 PropClause: 5192.319 Set: 1278.872 Check: 0.0 Back: 178.819
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 6749871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.407 Prop: 5382.373 PropClause: 5204.067 Set: 1282.093 Check: 0.0 Back: 179.35
INFO - Atoms: 19247/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 6769476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.411 Prop: 5395.83 PropClause: 5217.038 Set: 1285.548 Check: 0.0 Back: 179.842
INFO - Atoms: 19605/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 6789014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.416 Prop: 5410.359 PropClause: 5231.082 Set: 1288.898 Check: 0.0 Back: 180.364
INFO - Atoms: 19538/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 6808637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.421 Prop: 5424.785 PropClause: 5245.021 Set: 1292.314 Check: 0.0 Back: 180.891
INFO - Atoms: 19623/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 6828162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.425 Prop: 5439.487 PropClause: 5259.235 Set: 1295.672 Check: 0.0 Back: 181.409
INFO - Atoms: 19525/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 6847768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.429 Prop: 5454.298 PropClause: 5273.561 Set: 1299.105 Check: 0.0 Back: 181.951
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 6867015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.433 Prop: 5468.137 PropClause: 5286.925 Set: 1302.372 Check: 0.0 Back: 182.46
INFO - Atoms: 19247/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 6886620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.437 Prop: 5481.174 PropClause: 5299.476 Set: 1305.722 Check: 0.0 Back: 182.97
INFO - Atoms: 19605/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 6906158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.441 Prop: 5494.615 PropClause: 5312.435 Set: 1309.069 Check: 0.0 Back: 183.474
INFO - Atoms: 19538/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 6925776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.445 Prop: 5508.557 PropClause: 5325.894 Set: 1312.414 Check: 0.0 Back: 183.992
INFO - Atoms: 19618/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 6945301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.449 Prop: 5523.602 PropClause: 5340.456 Set: 1315.776 Check: 0.0 Back: 184.523
INFO - Atoms: 19525/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 6964907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.453 Prop: 5538.414 PropClause: 5354.772 Set: 1319.157 Check: 0.0 Back: 185.051
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 6984154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.457 Prop: 5553.946 PropClause: 5369.828 Set: 1322.498 Check: 0.0 Back: 185.559
INFO - Atoms: 19247/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 7003760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.461 Prop: 5567.063 PropClause: 5382.46 Set: 1325.836 Check: 0.0 Back: 186.061
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 7023297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.465 Prop: 5582.062 PropClause: 5396.977 Set: 1329.247 Check: 0.0 Back: 186.578
INFO - Atoms: 19537/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 7042549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.469 Prop: 5597.636 PropClause: 5412.075 Set: 1332.587 Check: 0.0 Back: 187.1
INFO - Atoms: 19252/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 7062084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.473 Prop: 5613.52 PropClause: 5427.475 Set: 1335.986 Check: 0.0 Back: 187.618
INFO - Atoms: 19535/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 7081692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.478 Prop: 5629.222 PropClause: 5442.677 Set: 1339.427 Check: 0.0 Back: 188.153
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 7100939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.482 Prop: 5644.443 PropClause: 5457.417 Set: 1342.749 Check: 0.0 Back: 188.682
INFO - Atoms: 19247/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 7120546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.487 Prop: 5659.007 PropClause: 5471.494 Set: 1346.17 Check: 0.0 Back: 189.2
INFO - Atoms: 19607/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 7140082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.491 Prop: 5674.11 PropClause: 5486.113 Set: 1349.56 Check: 0.0 Back: 189.721
INFO - Atoms: 19536/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 7159705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.496 Prop: 5688.012 PropClause: 5499.527 Set: 1352.916 Check: 0.0 Back: 190.258
INFO - Atoms: 19623/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 7179230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.499 Prop: 5700.391 PropClause: 5511.423 Set: 1356.221 Check: 0.0 Back: 190.787
INFO - Atoms: 19525/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 7198838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.502 Prop: 5712.608 PropClause: 5523.152 Set: 1359.52 Check: 0.0 Back: 191.301
INFO - Atoms: 19608/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 7218085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.506 Prop: 5725.313 PropClause: 5535.379 Set: 1362.762 Check: 0.0 Back: 191.809
INFO - Atoms: 19247/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 7237691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.51 Prop: 5740.453 PropClause: 5550.02 Set: 1366.194 Check: 0.0 Back: 192.3
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 7257228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.515 Prop: 5753.589 PropClause: 5562.673 Set: 1369.509 Check: 0.0 Back: 192.815
INFO - Atoms: 19537/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 7276846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.52 Prop: 5768.3 PropClause: 5576.89 Set: 1372.95 Check: 0.0 Back: 193.326
INFO - Atoms: 19618/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 7296371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.526 Prop: 5785.012 PropClause: 5593.119 Set: 1376.346 Check: 0.0 Back: 193.858
INFO - Atoms: 19525/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 7315977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.531 Prop: 5798.88 PropClause: 5606.502 Set: 1379.722 Check: 0.0 Back: 194.395
INFO - Atoms: 19606/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 7335224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.535 Prop: 5813.304 PropClause: 5620.452 Set: 1382.989 Check: 0.0 Back: 194.907
INFO - Atoms: 19247/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 7354829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.54 Prop: 5827.917 PropClause: 5634.579 Set: 1395.005 Check: 0.0 Back: 195.419
INFO - Atoms: 19605/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 7374367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.545 Prop: 5844.592 PropClause: 5650.76 Set: 1398.541 Check: 0.0 Back: 195.922
INFO - Atoms: 19538/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 7393999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.549 Prop: 5858.174 PropClause: 5663.837 Set: 1402.017 Check: 0.0 Back: 196.433
INFO - Atoms: 19632/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 7413292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.556 Prop: 5874.859 PropClause: 5679.935 Set: 1406.142 Check: 0.0 Back: 196.955
INFO - Atoms: 19293/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 7432689 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.561 Prop: 5889.012 PropClause: 5693.575 Set: 1409.746 Check: 0.0 Back: 197.468
INFO - Atoms: 19397/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 7452093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.567 Prop: 5909.231 PropClause: 5713.223 Set: 1414.187 Check: 0.0 Back: 197.981
INFO - Atoms: 19404/28704 Clauses: 581 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 855 Props: 8124036 Tprops: 0 Decides: 758 RSplits: 0
INFO - Times: Expl: 517.992 Prop: 6227.039 PropClause: 6011.762 Set: 1433.302 Check: 0.026 Back: 214.725
INFO - Atoms: 9461/28704 Clauses: 1080 Axioms: 93874
INFO - Restart
INFO - Confl: 1355 Props: 8758857 Tprops: 0 Decides: 1969 RSplits: 0
INFO - Times: Expl: 756.044 Prop: 6491.31 PropClause: 6258.592 Set: 1448.323 Check: 0.057 Back: 229.624
INFO - Atoms: 9461/28704 Clauses: 1580 Axioms: 93874
INFO - Restart
INFO - Confl: 2355 Props: 10023471 Tprops: 0 Decides: 4889 RSplits: 0
INFO - Times: Expl: 1224.156 Prop: 7177.071 PropClause: 6908.625 Set: 1479.013 Check: 0.139 Back: 260.059
INFO - Atoms: 9461/28704 Clauses: 2580 Axioms: 93874
INFO - Restart
INFO - Confl: 2855 Props: 10595588 Tprops: 0 Decides: 5840 RSplits: 0
INFO - Times: Expl: 1436.373 Prop: 7473.025 PropClause: 7187.209 Set: 1493.741 Check: 0.167 Back: 274.662
INFO - Atoms: 9461/28704 Clauses: 3080 Axioms: 93874
INFO - Restart
INFO - Confl: 3355 Props: 11180254 Tprops: 0 Decides: 6908 RSplits: 0
INFO - Times: Expl: 1586.96 Prop: 7767.991 PropClause: 7466.289 Set: 1507.787 Check: 0.198 Back: 288.567
INFO - Atoms: 9461/28704 Clauses: 3580 Axioms: 93874
INFO - Confl: 3555 Props: 11372522 Tprops: 0 Decides: 7224 RSplits: 0
INFO - Times: Expl: 1639.396 Prop: 7859.694 PropClause: 7552.92 Set: 1512.433 Check: 0.207 Back: 293.022
INFO - Atoms: 9869/28704 Clauses: 3780 Axioms: 93874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 368 Props: 46486 Tprops: 11727 Decides: 44770 RSplits: 0
INFO - Times: Expl: 240.899 Prop: 19679.079 PropClause: 22.415 Set: 7590.266 Check: 194.062 Back: 201.117
INFO - Atoms: 682/870 Clauses: 368 Axioms: 870
INFO - CCTimes: iE 466308 eq 28421153 cc 99559840 setRep 49411151
INFO - Merges: 340474, cc:583209
INFO - BVTimes: BB 131043147 BB_DPLL 17747949251 Graph 1238668
INFO - BitBlastingClauses: 300354 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat