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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 199866439
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 33310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.737 Prop: 73.727 PropClause: 66.184 Set: 27.548 Check: 0.0 Back: 0.0
INFO - Atoms: 33310/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 66620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.805 Prop: 122.66 PropClause: 113.116 Set: 34.755 Check: 0.0 Back: 0.949
INFO - Atoms: 33310/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 99486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.877 Prop: 170.621 PropClause: 159.618 Set: 41.812 Check: 0.0 Back: 1.83
INFO - Atoms: 32866/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 132352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.973 Prop: 239.067 PropClause: 226.622 Set: 53.015 Check: 0.0 Back: 2.648
INFO - Atoms: 32866/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 165218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.024 Prop: 282.381 PropClause: 268.658 Set: 60.151 Check: 0.0 Back: 3.486
INFO - Atoms: 32866/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 198078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.115 Prop: 319.281 PropClause: 304.311 Set: 66.347 Check: 0.0 Back: 4.323
INFO - Atoms: 32860/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 230938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.161 Prop: 349.955 PropClause: 334.147 Set: 71.583 Check: 0.0 Back: 5.098
INFO - Atoms: 32860/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 263591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.211 Prop: 390.421 PropClause: 373.637 Set: 78.529 Check: 0.0 Back: 5.915
INFO - Atoms: 32653/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 296002 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.26 Prop: 431.349 PropClause: 413.627 Set: 85.793 Check: 0.0 Back: 6.735
INFO - Atoms: 32411/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 328201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.309 Prop: 470.621 PropClause: 451.971 Set: 92.832 Check: 0.0 Back: 7.55
INFO - Atoms: 32199/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 360158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.359 Prop: 510.823 PropClause: 491.249 Set: 99.932 Check: 0.0 Back: 8.355
INFO - Atoms: 31957/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 391887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.408 Prop: 551.282 PropClause: 530.794 Set: 107.034 Check: 0.0 Back: 9.17
INFO - Atoms: 31729/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 423390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.455 Prop: 589.773 PropClause: 568.356 Set: 117.792 Check: 0.0 Back: 9.983
INFO - Atoms: 31503/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 454682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.503 Prop: 628.792 PropClause: 606.449 Set: 128.407 Check: 0.0 Back: 10.787
INFO - Atoms: 31292/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 485731 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.558 Prop: 667.186 PropClause: 643.913 Set: 139.282 Check: 0.0 Back: 11.592
INFO - Atoms: 31049/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 516568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.607 Prop: 697.102 PropClause: 672.972 Set: 144.86 Check: 0.0 Back: 12.396
INFO - Atoms: 30837/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 547163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.653 Prop: 730.057 PropClause: 705.04 Set: 151.034 Check: 0.0 Back: 13.186
INFO - Atoms: 30595/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 577530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.73 Prop: 754.737 PropClause: 728.972 Set: 155.618 Check: 0.0 Back: 13.971
INFO - Atoms: 30367/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 607671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.798 Prop: 779.523 PropClause: 753.0 Set: 160.224 Check: 0.0 Back: 14.704
INFO - Atoms: 30141/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 637600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.842 Prop: 802.199 PropClause: 774.935 Set: 164.657 Check: 0.0 Back: 15.469
INFO - Atoms: 29929/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 667287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.916 Prop: 828.641 PropClause: 800.639 Set: 169.235 Check: 0.0 Back: 16.164
INFO - Atoms: 29687/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 696762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.965 Prop: 856.031 PropClause: 827.192 Set: 174.882 Check: 0.0 Back: 16.9
INFO - Atoms: 29475/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 725995 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.014 Prop: 888.34 PropClause: 858.66 Set: 180.763 Check: 0.0 Back: 17.591
INFO - Atoms: 29233/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 755016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.057 Prop: 911.247 PropClause: 880.836 Set: 185.165 Check: 0.0 Back: 18.346
INFO - Atoms: 29021/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 783795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.099 Prop: 935.052 PropClause: 903.929 Set: 189.535 Check: 0.0 Back: 19.06
INFO - Atoms: 28779/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 812362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.144 Prop: 957.75 PropClause: 925.915 Set: 193.837 Check: 0.0 Back: 19.74
INFO - Atoms: 28567/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 840687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.191 Prop: 981.149 PropClause: 948.607 Set: 198.163 Check: 0.0 Back: 20.419
INFO - Atoms: 28325/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 868784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.235 Prop: 1003.424 PropClause: 970.181 Set: 202.38 Check: 0.0 Back: 21.104
INFO - Atoms: 28097/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 896655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.279 Prop: 1026.065 PropClause: 992.131 Set: 206.572 Check: 0.0 Back: 21.799
INFO - Atoms: 27871/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 924298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.321 Prop: 1047.885 PropClause: 1013.265 Set: 210.935 Check: 0.0 Back: 22.463
INFO - Atoms: 27643/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 951715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.361 Prop: 1069.744 PropClause: 1034.443 Set: 217.64 Check: 0.0 Back: 23.129
INFO - Atoms: 27417/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 978921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.401 Prop: 1091.192 PropClause: 1055.217 Set: 224.212 Check: 0.0 Back: 23.801
INFO - Atoms: 27206/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 1005884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.445 Prop: 1113.062 PropClause: 1076.419 Set: 230.795 Check: 0.0 Back: 24.465
INFO - Atoms: 26963/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 1032619 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.486 Prop: 1134.877 PropClause: 1097.581 Set: 237.186 Check: 0.0 Back: 25.121
INFO - Atoms: 26735/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 1059128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.53 Prop: 1155.956 PropClause: 1117.999 Set: 243.689 Check: 0.0 Back: 25.766
INFO - Atoms: 26509/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 1085409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.572 Prop: 1176.687 PropClause: 1138.072 Set: 249.979 Check: 0.0 Back: 26.409
INFO - Atoms: 26281/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 1111464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.613 Prop: 1197.002 PropClause: 1157.739 Set: 256.217 Check: 0.0 Back: 27.048
INFO - Atoms: 26055/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 1137307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.661 Prop: 1219.977 PropClause: 1180.071 Set: 282.704 Check: 0.0 Back: 27.69
INFO - Atoms: 25843/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 1162908 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.703 Prop: 1244.567 PropClause: 1204.019 Set: 286.651 Check: 0.0 Back: 28.33
INFO - Atoms: 25601/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 1188296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.747 Prop: 1268.971 PropClause: 1227.793 Set: 290.46 Check: 0.0 Back: 28.966
INFO - Atoms: 25388/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 1213443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.794 Prop: 1290.873 PropClause: 1249.066 Set: 294.286 Check: 0.0 Back: 29.581
INFO - Atoms: 25147/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 1238377 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.848 Prop: 1311.237 PropClause: 1268.816 Set: 297.915 Check: 0.0 Back: 30.196
INFO - Atoms: 24934/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 1263070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.887 Prop: 1330.349 PropClause: 1287.318 Set: 301.566 Check: 0.0 Back: 30.807
INFO - Atoms: 24693/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 1287551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.927 Prop: 1348.9 PropClause: 1305.265 Set: 305.135 Check: 0.0 Back: 31.423
INFO - Atoms: 24481/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 1311790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.965 Prop: 1365.871 PropClause: 1321.634 Set: 308.608 Check: 0.0 Back: 32.021
INFO - Atoms: 24239/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 1335801 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.001 Prop: 1383.134 PropClause: 1338.299 Set: 312.081 Check: 0.0 Back: 32.616
INFO - Atoms: 24011/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 1359586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.039 Prop: 1399.992 PropClause: 1354.571 Set: 315.564 Check: 0.0 Back: 33.196
INFO - Atoms: 23785/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 1383159 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.076 Prop: 1417.528 PropClause: 1371.511 Set: 318.953 Check: 0.0 Back: 33.791
INFO - Atoms: 23573/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 1406490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.122 Prop: 1434.003 PropClause: 1387.407 Set: 322.364 Check: 0.0 Back: 34.398
INFO - Atoms: 23331/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 1429608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.162 Prop: 1449.369 PropClause: 1402.19 Set: 325.674 Check: 0.0 Back: 34.978
INFO - Atoms: 23118/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 1452485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.21 Prop: 1468.126 PropClause: 1420.29 Set: 330.166 Check: 0.0 Back: 35.534
INFO - Atoms: 22877/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 1475133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.255 Prop: 1481.354 PropClause: 1432.956 Set: 333.368 Check: 0.0 Back: 36.117
INFO - Atoms: 22648/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 1499140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.398 Prop: 1495.791 PropClause: 1446.786 Set: 337.025 Check: 0.0 Back: 36.674
INFO - Atoms: 24007/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 1523125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.417 Prop: 1510.096 PropClause: 1460.481 Set: 340.543 Check: 0.0 Back: 37.273
INFO - Atoms: 23985/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 1546446 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.438 Prop: 1524.034 PropClause: 1473.835 Set: 343.929 Check: 0.0 Back: 37.854
INFO - Atoms: 23321/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 1570434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.457 Prop: 1539.721 PropClause: 1488.919 Set: 347.48 Check: 0.0 Back: 38.422
INFO - Atoms: 23988/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 1594444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.475 Prop: 1555.612 PropClause: 1504.211 Set: 351.081 Check: 0.0 Back: 39.006
INFO - Atoms: 24010/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 1618653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.493 Prop: 1571.354 PropClause: 1519.355 Set: 354.678 Check: 0.0 Back: 39.596
INFO - Atoms: 24209/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 1642641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.512 Prop: 1586.97 PropClause: 1534.374 Set: 358.3 Check: 0.0 Back: 40.183
INFO - Atoms: 23988/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 1666830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.532 Prop: 1602.27 PropClause: 1549.074 Set: 361.864 Check: 0.0 Back: 40.759
INFO - Atoms: 24189/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 1691040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.552 Prop: 1617.489 PropClause: 1563.69 Set: 365.464 Check: 0.0 Back: 41.34
INFO - Atoms: 24210/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 1715228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.569 Prop: 1632.213 PropClause: 1577.796 Set: 369.021 Check: 0.0 Back: 41.928
INFO - Atoms: 24188/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 1739218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.588 Prop: 1648.179 PropClause: 1593.166 Set: 372.571 Check: 0.0 Back: 42.516
INFO - Atoms: 23990/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 1763443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.606 Prop: 1664.399 PropClause: 1608.783 Set: 376.196 Check: 0.0 Back: 43.098
INFO - Atoms: 24225/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 1787431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.626 Prop: 1679.216 PropClause: 1623.003 Set: 379.768 Check: 0.0 Back: 43.696
INFO - Atoms: 23988/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 1811620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.645 Prop: 1694.453 PropClause: 1637.64 Set: 383.393 Check: 0.0 Back: 44.283
INFO - Atoms: 24189/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 1834946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.664 Prop: 1709.225 PropClause: 1651.828 Set: 386.822 Check: 0.0 Back: 44.872
INFO - Atoms: 23326/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 1859134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.684 Prop: 1724.71 PropClause: 1666.716 Set: 390.451 Check: 0.0 Back: 45.447
INFO - Atoms: 24188/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 1883143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.702 Prop: 1739.468 PropClause: 1680.882 Set: 394.022 Check: 0.0 Back: 46.027
INFO - Atoms: 24009/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 1907367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.721 Prop: 1755.0 PropClause: 1695.811 Set: 397.639 Check: 0.0 Back: 46.608
INFO - Atoms: 24224/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 1931355 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.741 Prop: 1771.352 PropClause: 1711.565 Set: 401.234 Check: 0.0 Back: 47.189
INFO - Atoms: 23988/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 1955542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.76 Prop: 1788.602 PropClause: 1728.214 Set: 404.868 Check: 0.0 Back: 47.772
INFO - Atoms: 24187/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 1978868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.778 Prop: 1804.705 PropClause: 1743.736 Set: 408.349 Check: 0.0 Back: 48.356
INFO - Atoms: 23326/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 2003055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.795 Prop: 1821.469 PropClause: 1759.901 Set: 412.033 Check: 0.0 Back: 48.927
INFO - Atoms: 24187/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 2027065 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.813 Prop: 1837.809 PropClause: 1775.643 Set: 415.66 Check: 0.0 Back: 49.51
INFO - Atoms: 24010/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 2051290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.834 Prop: 1856.445 PropClause: 1793.675 Set: 419.407 Check: 0.0 Back: 50.09
INFO - Atoms: 24225/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 2075278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.853 Prop: 1874.321 PropClause: 1810.956 Set: 425.109 Check: 0.0 Back: 50.684
INFO - Atoms: 23988/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 2099465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.874 Prop: 1890.82 PropClause: 1826.856 Set: 428.745 Check: 0.0 Back: 51.262
INFO - Atoms: 24187/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 2122791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.892 Prop: 1907.957 PropClause: 1843.419 Set: 434.166 Check: 0.0 Back: 51.849
INFO - Atoms: 23326/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 2146977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.912 Prop: 1925.931 PropClause: 1860.792 Set: 439.624 Check: 0.0 Back: 52.43
INFO - Atoms: 24186/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 2170988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.931 Prop: 1943.145 PropClause: 1877.412 Set: 444.861 Check: 0.0 Back: 53.016
INFO - Atoms: 24011/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 2194328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.95 Prop: 1960.416 PropClause: 1894.103 Set: 449.969 Check: 0.0 Back: 53.594
INFO - Atoms: 23340/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 2218336 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.97 Prop: 1977.317 PropClause: 1910.41 Set: 455.361 Check: 0.0 Back: 54.16
INFO - Atoms: 24008/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 2242525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.988 Prop: 1995.221 PropClause: 1927.722 Set: 460.692 Check: 0.0 Back: 54.745
INFO - Atoms: 24189/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 2266737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.017 Prop: 2012.519 PropClause: 1944.422 Set: 466.084 Check: 0.0 Back: 55.329
INFO - Atoms: 24212/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 2290923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.037 Prop: 2030.459 PropClause: 1961.77 Set: 471.469 Check: 0.0 Back: 55.942
INFO - Atoms: 24186/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 2314913 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.058 Prop: 2047.674 PropClause: 1978.392 Set: 476.83 Check: 0.0 Back: 56.533
INFO - Atoms: 23990/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 2338253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.077 Prop: 2064.968 PropClause: 1995.107 Set: 482.0 Check: 0.0 Back: 57.111
INFO - Atoms: 23340/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 2362261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.095 Prop: 2082.007 PropClause: 2011.553 Set: 487.405 Check: 0.0 Back: 57.68
INFO - Atoms: 24008/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 2386450 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.114 Prop: 2098.957 PropClause: 2027.902 Set: 492.713 Check: 0.0 Back: 58.269
INFO - Atoms: 24189/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 2410660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.145 Prop: 2116.615 PropClause: 2044.958 Set: 498.131 Check: 0.0 Back: 58.854
INFO - Atoms: 24210/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 2434848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.168 Prop: 2134.296 PropClause: 2062.034 Set: 503.491 Check: 0.0 Back: 59.444
INFO - Atoms: 24188/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 2458838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.186 Prop: 2151.566 PropClause: 2078.701 Set: 508.827 Check: 0.0 Back: 60.024
INFO - Atoms: 23990/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 2483047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.204 Prop: 2169.271 PropClause: 2095.799 Set: 514.231 Check: 0.0 Back: 60.609
INFO - Atoms: 24209/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 2507035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.261 Prop: 2186.778 PropClause: 2112.704 Set: 519.584 Check: 0.0 Back: 61.198
INFO - Atoms: 23988/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 2531222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.327 Prop: 2204.667 PropClause: 2129.994 Set: 524.996 Check: 0.0 Back: 61.787
INFO - Atoms: 24187/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 2554548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.342 Prop: 2220.777 PropClause: 2145.528 Set: 528.45 Check: 0.0 Back: 62.383
INFO - Atoms: 23326/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 2578736 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.358 Prop: 2237.919 PropClause: 2162.068 Set: 532.162 Check: 0.0 Back: 62.945
INFO - Atoms: 24188/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 2602745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.372 Prop: 2255.56 PropClause: 2179.101 Set: 535.86 Check: 0.0 Back: 63.536
INFO - Atoms: 24009/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 2626970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.388 Prop: 2273.933 PropClause: 2196.872 Set: 539.587 Check: 0.0 Back: 64.116
INFO - Atoms: 24225/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 2650958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.402 Prop: 2292.226 PropClause: 2214.568 Set: 543.292 Check: 0.0 Back: 64.704
INFO - Atoms: 23988/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 2675145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.417 Prop: 2311.33 PropClause: 2233.07 Set: 547.074 Check: 0.0 Back: 65.293
INFO - Atoms: 24187/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 2698471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.432 Prop: 2329.185 PropClause: 2250.348 Set: 550.508 Check: 0.0 Back: 65.89
INFO - Atoms: 23326/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 2722658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.445 Prop: 2348.015 PropClause: 2268.562 Set: 554.299 Check: 0.0 Back: 66.467
INFO - Atoms: 24187/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 2746668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.459 Prop: 2363.765 PropClause: 2283.712 Set: 557.952 Check: 0.0 Back: 67.05
INFO - Atoms: 24010/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 2770877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.472 Prop: 2381.47 PropClause: 2300.815 Set: 561.654 Check: 0.0 Back: 67.644
INFO - Atoms: 24209/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 2794865 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.488 Prop: 2398.877 PropClause: 2317.61 Set: 565.346 Check: 0.0 Back: 68.238
INFO - Atoms: 23988/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 2819052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.506 Prop: 2415.846 PropClause: 2333.975 Set: 569.048 Check: 0.0 Back: 68.819
INFO - Atoms: 24187/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 2842378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.52 Prop: 2432.576 PropClause: 2350.117 Set: 572.537 Check: 0.0 Back: 69.403
INFO - Atoms: 23326/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 2866565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.535 Prop: 2448.608 PropClause: 2365.553 Set: 576.21 Check: 0.0 Back: 69.974
INFO - Atoms: 24187/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 2890575 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.55 Prop: 2465.118 PropClause: 2381.47 Set: 579.849 Check: 0.0 Back: 70.552
INFO - Atoms: 24010/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 2914800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.565 Prop: 2482.517 PropClause: 2398.265 Set: 583.543 Check: 0.0 Back: 71.135
INFO - Atoms: 24225/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 2938788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.581 Prop: 2506.76 PropClause: 2421.819 Set: 588.658 Check: 0.0 Back: 71.718
INFO - Atoms: 23988/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 2962975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.599 Prop: 2524.098 PropClause: 2438.554 Set: 592.362 Check: 0.0 Back: 72.342
INFO - Atoms: 24187/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 2986301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.614 Prop: 2541.993 PropClause: 2455.872 Set: 595.873 Check: 0.0 Back: 72.924
INFO - Atoms: 23326/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 3010487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.63 Prop: 2560.52 PropClause: 2473.797 Set: 599.721 Check: 0.0 Back: 73.504
INFO - Atoms: 24186/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 3034498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.647 Prop: 2579.338 PropClause: 2492.02 Set: 603.487 Check: 0.0 Back: 74.094
INFO - Atoms: 24011/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 3058707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.661 Prop: 2595.89 PropClause: 2507.968 Set: 607.166 Check: 0.0 Back: 74.687
INFO - Atoms: 24209/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 3082695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.677 Prop: 2612.243 PropClause: 2523.724 Set: 610.804 Check: 0.0 Back: 75.281
INFO - Atoms: 23988/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 3106882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.691 Prop: 2629.144 PropClause: 2540.027 Set: 614.519 Check: 0.0 Back: 75.862
INFO - Atoms: 24187/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 3130208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.706 Prop: 2646.343 PropClause: 2556.645 Set: 618.029 Check: 0.0 Back: 76.453
INFO - Atoms: 23326/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 3154395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.723 Prop: 2663.634 PropClause: 2573.334 Set: 621.793 Check: 0.0 Back: 77.027
INFO - Atoms: 24187/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 3178405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.739 Prop: 2680.149 PropClause: 2589.251 Set: 625.439 Check: 0.0 Back: 77.613
INFO - Atoms: 24010/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 3202631 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.755 Prop: 2697.512 PropClause: 2606.01 Set: 629.194 Check: 0.0 Back: 78.199
INFO - Atoms: 24226/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 3226619 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.771 Prop: 2715.771 PropClause: 2623.671 Set: 632.897 Check: 0.0 Back: 78.783
INFO - Atoms: 23988/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 3250806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.786 Prop: 2733.669 PropClause: 2640.955 Set: 636.586 Check: 0.0 Back: 79.378
INFO - Atoms: 24187/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 3274132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.803 Prop: 2750.031 PropClause: 2656.734 Set: 640.081 Check: 0.0 Back: 79.969
INFO - Atoms: 23326/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 3298319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.818 Prop: 2767.06 PropClause: 2673.125 Set: 643.807 Check: 0.0 Back: 80.557
INFO - Atoms: 24187/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 3322329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.832 Prop: 2783.577 PropClause: 2689.034 Set: 647.436 Check: 0.0 Back: 81.143
INFO - Atoms: 24010/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 3346554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.847 Prop: 2801.146 PropClause: 2706.002 Set: 651.175 Check: 0.0 Back: 81.734
INFO - Atoms: 24225/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 3370542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.864 Prop: 2818.024 PropClause: 2722.283 Set: 654.902 Check: 0.0 Back: 82.32
INFO - Atoms: 23988/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 3394729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.879 Prop: 2835.15 PropClause: 2738.807 Set: 658.648 Check: 0.0 Back: 82.902
INFO - Atoms: 24187/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 3418941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.898 Prop: 2859.358 PropClause: 2762.293 Set: 663.831 Check: 0.0 Back: 83.495
INFO - Atoms: 24212/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 3443129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.916 Prop: 2885.065 PropClause: 2787.301 Set: 669.058 Check: 0.0 Back: 84.116
INFO - Atoms: 24188/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 3467119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.934 Prop: 2909.193 PropClause: 2810.733 Set: 674.151 Check: 0.0 Back: 84.727
INFO - Atoms: 23990/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 3491328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.949 Prop: 2932.25 PropClause: 2833.027 Set: 679.154 Check: 0.0 Back: 85.353
INFO - Atoms: 24209/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 3515316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.996 Prop: 2952.036 PropClause: 2852.213 Set: 682.833 Check: 0.0 Back: 85.974
INFO - Atoms: 23988/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 3539505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.005 Prop: 2969.122 PropClause: 2868.696 Set: 686.523 Check: 0.0 Back: 86.572
INFO - Atoms: 24189/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 3562831 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.015 Prop: 2986.879 PropClause: 2885.871 Set: 690.059 Check: 0.0 Back: 87.161
INFO - Atoms: 23326/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 3587019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.025 Prop: 3003.517 PropClause: 2901.905 Set: 693.844 Check: 0.0 Back: 87.74
INFO - Atoms: 24188/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 3611028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.034 Prop: 3020.308 PropClause: 2918.098 Set: 697.502 Check: 0.0 Back: 88.34
INFO - Atoms: 24009/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 3635254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.043 Prop: 3039.629 PropClause: 2936.812 Set: 701.324 Check: 0.0 Back: 88.934
INFO - Atoms: 24226/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 3659242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.05 Prop: 3056.831 PropClause: 2953.418 Set: 705.023 Check: 0.0 Back: 89.527
INFO - Atoms: 23988/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 3683429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.06 Prop: 3074.664 PropClause: 2970.65 Set: 708.747 Check: 0.0 Back: 90.126
INFO - Atoms: 24187/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 3706755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.071 Prop: 3091.863 PropClause: 2987.271 Set: 712.245 Check: 0.0 Back: 90.719
INFO - Atoms: 23326/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 3730941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.078 Prop: 3108.865 PropClause: 3003.677 Set: 716.025 Check: 0.0 Back: 91.288
INFO - Atoms: 24186/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 3754952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.085 Prop: 3125.612 PropClause: 3019.815 Set: 719.675 Check: 0.0 Back: 91.876
INFO - Atoms: 24011/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 3779161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.092 Prop: 3143.318 PropClause: 3036.919 Set: 723.412 Check: 0.0 Back: 92.482
INFO - Atoms: 24209/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 3803149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.099 Prop: 3160.688 PropClause: 3053.693 Set: 727.074 Check: 0.0 Back: 93.074
INFO - Atoms: 23988/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 3827336 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.109 Prop: 3177.828 PropClause: 3070.23 Set: 730.777 Check: 0.0 Back: 93.679
INFO - Atoms: 24187/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 3850662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.117 Prop: 3194.55 PropClause: 3086.38 Set: 734.27 Check: 0.0 Back: 94.269
INFO - Atoms: 23326/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 3874848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.126 Prop: 3212.743 PropClause: 3103.956 Set: 738.335 Check: 0.0 Back: 94.844
INFO - Atoms: 24186/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 3898859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.135 Prop: 3231.185 PropClause: 3121.804 Set: 742.086 Check: 0.0 Back: 95.457
INFO - Atoms: 24011/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 3922184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.143 Prop: 3247.505 PropClause: 3137.537 Set: 745.587 Check: 0.0 Back: 96.044
INFO - Atoms: 23325/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 3946192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.15 Prop: 3263.072 PropClause: 3152.506 Set: 749.264 Check: 0.0 Back: 96.62
INFO - Atoms: 24008/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 3970381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.157 Prop: 3280.079 PropClause: 3168.913 Set: 753.005 Check: 0.0 Back: 97.21
INFO - Atoms: 24189/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 3993707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.165 Prop: 3296.502 PropClause: 3184.751 Set: 756.538 Check: 0.0 Back: 97.802
INFO - Atoms: 23326/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 4017896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.172 Prop: 3313.222 PropClause: 3200.855 Set: 760.365 Check: 0.0 Back: 98.383
INFO - Atoms: 24189/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 4041904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.323 Prop: 3329.901 PropClause: 3216.935 Set: 764.042 Check: 0.0 Back: 98.98
INFO - Atoms: 24008/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 4065229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.342 Prop: 3347.142 PropClause: 3233.593 Set: 767.598 Check: 0.0 Back: 99.574
INFO - Atoms: 23325/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 4089239 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.394 Prop: 3364.581 PropClause: 3250.431 Set: 771.385 Check: 0.0 Back: 100.158
INFO - Atoms: 24010/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 4113426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.409 Prop: 3382.098 PropClause: 3267.344 Set: 775.167 Check: 0.0 Back: 100.752
INFO - Atoms: 24187/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 4137636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.424 Prop: 3398.995 PropClause: 3283.64 Set: 778.876 Check: 0.0 Back: 101.36
INFO - Atoms: 24210/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 4161822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.44 Prop: 3416.325 PropClause: 3300.373 Set: 782.616 Check: 0.0 Back: 101.953
INFO - Atoms: 24186/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 4185812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.457 Prop: 3440.641 PropClause: 3324.09 Set: 786.334 Check: 0.0 Back: 102.546
INFO - Atoms: 23990/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 4210021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.472 Prop: 3457.711 PropClause: 3340.562 Set: 790.078 Check: 0.0 Back: 103.134
INFO - Atoms: 24209/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 4234009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.487 Prop: 3475.303 PropClause: 3357.556 Set: 793.767 Check: 0.0 Back: 103.727
INFO - Atoms: 23988/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 4258102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.502 Prop: 3492.451 PropClause: 3374.107 Set: 797.473 Check: 0.0 Back: 104.327
INFO - Atoms: 24093/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 4281428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.516 Prop: 3508.911 PropClause: 3389.979 Set: 801.044 Check: 0.0 Back: 104.916
INFO - Atoms: 23326/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 4305415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.532 Prop: 3525.388 PropClause: 3405.854 Set: 804.851 Check: 0.0 Back: 105.502
INFO - Atoms: 23987/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 4329311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.548 Prop: 3541.705 PropClause: 3421.578 Set: 808.509 Check: 0.0 Back: 106.093
INFO - Atoms: 23896/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 4353327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.562 Prop: 3558.712 PropClause: 3437.99 Set: 812.28 Check: 0.0 Back: 106.678
INFO - Atoms: 24016/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 4377103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.577 Prop: 3574.974 PropClause: 3453.661 Set: 815.91 Check: 0.0 Back: 107.276
INFO - Atoms: 23776/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 4400882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.592 Prop: 3592.023 PropClause: 3470.119 Set: 819.529 Check: 0.0 Back: 107.858
INFO - Atoms: 23779/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 4424208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.607 Prop: 3607.987 PropClause: 3485.503 Set: 823.061 Check: 0.0 Back: 108.441
INFO - Atoms: 23326/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 4447762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.641 Prop: 3623.783 PropClause: 3500.711 Set: 826.707 Check: 0.0 Back: 109.02
INFO - Atoms: 23554/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 4471317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.654 Prop: 3639.572 PropClause: 3515.911 Set: 830.287 Check: 0.0 Back: 109.607
INFO - Atoms: 23555/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 4494871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.686 Prop: 3656.03 PropClause: 3531.78 Set: 833.901 Check: 0.0 Back: 110.185
INFO - Atoms: 23554/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 4518200 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.703 Prop: 3672.151 PropClause: 3547.318 Set: 837.474 Check: 0.0 Back: 110.77
INFO - Atoms: 23329/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 4541728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.718 Prop: 3688.417 PropClause: 3562.999 Set: 841.1 Check: 0.0 Back: 111.348
INFO - Atoms: 23528/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 4565035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.737 Prop: 3704.742 PropClause: 3578.743 Set: 844.676 Check: 0.0 Back: 111.933
INFO - Atoms: 23307/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 4588581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.751 Prop: 3721.173 PropClause: 3594.589 Set: 848.304 Check: 0.0 Back: 112.517
INFO - Atoms: 23546/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 4611456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.79 Prop: 3738.044 PropClause: 3610.892 Set: 851.748 Check: 0.0 Back: 113.094
INFO - Atoms: 22875/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 4634577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.804 Prop: 3754.033 PropClause: 3626.298 Set: 855.333 Check: 0.0 Back: 113.672
INFO - Atoms: 23121/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 4657454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.817 Prop: 3769.555 PropClause: 3641.25 Set: 858.712 Check: 0.0 Back: 114.242
INFO - Atoms: 22877/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 4680117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.83 Prop: 3785.374 PropClause: 3656.507 Set: 863.932 Check: 0.0 Back: 114.825
INFO - Atoms: 22663/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 4702995 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.847 Prop: 3809.077 PropClause: 3679.45 Set: 878.241 Check: 0.0 Back: 115.386
INFO - Atoms: 22878/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 4726080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.863 Prop: 3825.549 PropClause: 3695.351 Set: 884.372 Check: 0.0 Back: 115.972
INFO - Atoms: 23085/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 4749412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.878 Prop: 3842.46 PropClause: 3711.684 Set: 890.534 Check: 0.0 Back: 116.579
INFO - Atoms: 23332/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 4772951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.892 Prop: 3859.448 PropClause: 3728.082 Set: 896.786 Check: 0.0 Back: 117.181
INFO - Atoms: 23539/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 4796737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.909 Prop: 3876.544 PropClause: 3744.592 Set: 903.017 Check: 0.0 Back: 117.792
INFO - Atoms: 23786/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 4820730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.926 Prop: 3894.28 PropClause: 3761.728 Set: 909.386 Check: 0.0 Back: 118.406
INFO - Atoms: 23993/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 4844970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.939 Prop: 3912.368 PropClause: 3779.222 Set: 915.789 Check: 0.0 Back: 119.021
INFO - Atoms: 24240/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 4869417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.99 Prop: 3930.54 PropClause: 3796.789 Set: 922.303 Check: 0.0 Back: 119.641
INFO - Atoms: 24447/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 4894111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.012 Prop: 3949.605 PropClause: 3815.245 Set: 928.934 Check: 0.0 Back: 120.284
INFO - Atoms: 24694/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 4919012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.051 Prop: 3969.426 PropClause: 3834.447 Set: 935.731 Check: 0.0 Back: 120.919
INFO - Atoms: 24901/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 4944160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.062 Prop: 3988.94 PropClause: 3853.337 Set: 942.574 Check: 0.0 Back: 121.564
INFO - Atoms: 25148/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 4969515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.075 Prop: 4008.454 PropClause: 3872.222 Set: 957.722 Check: 0.0 Back: 122.204
INFO - Atoms: 25355/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 4995117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.086 Prop: 4027.028 PropClause: 3890.151 Set: 962.267 Check: 0.0 Back: 122.841
INFO - Atoms: 25602/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 5020926 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.096 Prop: 4045.873 PropClause: 3908.361 Set: 966.97 Check: 0.0 Back: 123.49
INFO - Atoms: 25809/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 5046982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.106 Prop: 4065.256 PropClause: 3927.098 Set: 971.764 Check: 0.0 Back: 124.154
INFO - Atoms: 26056/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 5073245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.118 Prop: 4085.209 PropClause: 3946.406 Set: 976.41 Check: 0.0 Back: 124.808
INFO - Atoms: 26263/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 5099755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.129 Prop: 4105.411 PropClause: 3965.95 Set: 981.291 Check: 0.0 Back: 125.466
INFO - Atoms: 26510/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 5126472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.139 Prop: 4125.662 PropClause: 3985.545 Set: 986.136 Check: 0.0 Back: 126.121
INFO - Atoms: 26717/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 5153436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.149 Prop: 4146.068 PropClause: 4005.286 Set: 990.931 Check: 0.0 Back: 126.801
INFO - Atoms: 26964/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 5180607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.159 Prop: 4166.239 PropClause: 4024.789 Set: 995.901 Check: 0.0 Back: 127.476
INFO - Atoms: 27171/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 5208025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.17 Prop: 4188.742 PropClause: 4046.606 Set: 1001.072 Check: 0.0 Back: 128.156
INFO - Atoms: 27418/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 5235650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.186 Prop: 4210.172 PropClause: 4067.36 Set: 1005.94 Check: 0.0 Back: 128.832
INFO - Atoms: 27625/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 5263522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.196 Prop: 4231.287 PropClause: 4087.786 Set: 1010.95 Check: 0.0 Back: 129.521
INFO - Atoms: 27872/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 5291601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.207 Prop: 4253.59 PropClause: 4109.383 Set: 1016.152 Check: 0.0 Back: 130.213
INFO - Atoms: 28079/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 5319927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.218 Prop: 4275.69 PropClause: 4130.784 Set: 1021.156 Check: 0.0 Back: 130.917
INFO - Atoms: 28326/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 5348460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.227 Prop: 4297.412 PropClause: 4151.798 Set: 1026.267 Check: 0.0 Back: 131.626
INFO - Atoms: 28533/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 5377240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.238 Prop: 4320.04 PropClause: 4173.709 Set: 1031.583 Check: 0.0 Back: 132.334
INFO - Atoms: 28780/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 5406227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.249 Prop: 4343.327 PropClause: 4196.275 Set: 1036.954 Check: 0.0 Back: 133.064
INFO - Atoms: 28987/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 5435461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.259 Prop: 4366.287 PropClause: 4218.509 Set: 1042.34 Check: 0.0 Back: 133.783
INFO - Atoms: 29234/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 5464902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.269 Prop: 4390.173 PropClause: 4241.664 Set: 1047.748 Check: 0.0 Back: 134.499
INFO - Atoms: 29441/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 5494590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.28 Prop: 4414.42 PropClause: 4265.165 Set: 1053.18 Check: 0.0 Back: 135.22
INFO - Atoms: 29688/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 5524485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.291 Prop: 4439.444 PropClause: 4289.448 Set: 1058.739 Check: 0.0 Back: 135.944
INFO - Atoms: 29895/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 5554627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.3 Prop: 4462.908 PropClause: 4312.165 Set: 1064.272 Check: 0.0 Back: 136.681
INFO - Atoms: 30142/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 5584976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.311 Prop: 4486.442 PropClause: 4334.946 Set: 1069.713 Check: 0.0 Back: 137.424
INFO - Atoms: 30349/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 5615572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.323 Prop: 4510.688 PropClause: 4358.438 Set: 1075.389 Check: 0.0 Back: 138.154
INFO - Atoms: 30596/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 5646375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.334 Prop: 4537.13 PropClause: 4384.121 Set: 1081.003 Check: 0.0 Back: 138.895
INFO - Atoms: 30803/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 5677425 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.346 Prop: 4565.637 PropClause: 4411.862 Set: 1086.813 Check: 0.0 Back: 139.633
INFO - Atoms: 31050/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 5708682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.356 Prop: 4592.047 PropClause: 4437.501 Set: 1092.745 Check: 0.0 Back: 140.385
INFO - Atoms: 31257/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 5740186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.366 Prop: 4618.423 PropClause: 4463.103 Set: 1098.596 Check: 0.0 Back: 141.137
INFO - Atoms: 31504/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 5771897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.376 Prop: 4645.81 PropClause: 4489.71 Set: 1104.322 Check: 0.0 Back: 141.889
INFO - Atoms: 31711/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 5803854 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.386 Prop: 4672.491 PropClause: 4515.602 Set: 1110.254 Check: 0.0 Back: 142.648
INFO - Atoms: 31957/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 5836019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.397 Prop: 4699.919 PropClause: 4542.238 Set: 1116.24 Check: 0.0 Back: 143.414
INFO - Atoms: 32165/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 5868430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.407 Prop: 4728.881 PropClause: 4570.406 Set: 1122.291 Check: 0.0 Back: 144.185
INFO - Atoms: 32411/33312 Clauses: 293 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 715 Props: 8058606 Tprops: 0 Decides: 11572 RSplits: 0
INFO - Times: Expl: 778.672 Prop: 6657.957 PropClause: 6435.25 Set: 1178.293 Check: 0.307 Back: 198.642
INFO - Atoms: 11193/33312 Clauses: 778 Axioms: 110130
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 231 Props: 11881 Tprops: 3022 Decides: 12773 RSplits: 0
INFO - Times: Expl: 83.723 Prop: 14782.034 PropClause: 5.0 Set: 1312.721 Check: 50.274 Back: 42.559
INFO - Atoms: 344/438 Clauses: 231 Axioms: 438
INFO - CCTimes: iE 139233 eq 9577122 cc 22541709 setRep 12886992
INFO - Merges: 93992, cc:139490
INFO - BVTimes: BB 199848645 BB_DPLL 13275047144 Graph 345767
INFO - BitBlastingClauses: 177290 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat