/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/uum/uum16.smt2 -------------------------------------------------------------------------------- INFO - Starting Bitblasting INFO - Finished Bitblasting in: 4575536743 INFO - Bitblasting DPLL: INFO - Confl: 1 Props: 9889 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.831 Prop: 71.686 PropClause: 71.293 Set: 5.645 Check: 0.0 Back: 0.0 INFO - Atoms: 9889/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 2 Props: 20800 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.893 Prop: 137.141 PropClause: 136.07 Set: 8.592 Check: 0.0 Back: 0.302 INFO - Atoms: 10911/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 3 Props: 31707 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.951 Prop: 159.277 PropClause: 156.631 Set: 11.418 Check: 0.0 Back: 0.601 INFO - Atoms: 10907/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 4 Props: 42616 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.995 Prop: 184.949 PropClause: 181.132 Set: 13.947 Check: 0.0 Back: 0.862 INFO - Atoms: 10909/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 5 Props: 53507 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.054 Prop: 202.224 PropClause: 197.478 Set: 16.468 Check: 0.0 Back: 1.174 INFO - Atoms: 10891/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 6 Props: 64397 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.111 Prop: 218.822 PropClause: 213.688 Set: 18.489 Check: 0.0 Back: 1.455 INFO - Atoms: 10890/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 7 Props: 75287 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.185 Prop: 233.346 PropClause: 227.784 Set: 20.591 Check: 0.0 Back: 1.729 INFO - Atoms: 10890/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 8 Props: 86176 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.236 Prop: 251.944 PropClause: 245.824 Set: 22.58 Check: 0.0 Back: 2.003 INFO - Atoms: 10889/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 9 Props: 97065 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.291 Prop: 265.358 PropClause: 258.919 Set: 24.45 Check: 0.0 Back: 2.275 INFO - Atoms: 10889/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 10 Props: 107940 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.346 Prop: 280.873 PropClause: 274.126 Set: 26.353 Check: 0.0 Back: 2.562 INFO - Atoms: 10875/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 11 Props: 119162 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.403 Prop: 297.4 PropClause: 290.353 Set: 28.687 Check: 0.0 Back: 2.829 INFO - Atoms: 11222/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 12 Props: 130018 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.463 Prop: 313.551 PropClause: 306.234 Set: 30.559 Check: 0.0 Back: 3.107 INFO - Atoms: 10856/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 13 Props: 141236 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.517 Prop: 329.183 PropClause: 321.573 Set: 32.826 Check: 0.0 Back: 3.37 INFO - Atoms: 11218/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 14 Props: 152101 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.571 Prop: 345.169 PropClause: 337.288 Set: 34.716 Check: 0.0 Back: 3.653 INFO - Atoms: 10865/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 15 Props: 164078 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.635 Prop: 360.105 PropClause: 351.917 Set: 36.963 Check: 0.0 Back: 3.933 INFO - Atoms: 11977/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 16 Props: 176036 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.688 Prop: 379.798 PropClause: 371.299 Set: 39.213 Check: 0.0 Back: 4.237 INFO - Atoms: 11958/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 17 Props: 187976 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.739 Prop: 393.314 PropClause: 384.52 Set: 41.264 Check: 0.0 Back: 4.531 INFO - Atoms: 11940/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 18 Props: 199897 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.836 Prop: 415.533 PropClause: 406.432 Set: 43.684 Check: 0.0 Back: 4.819 INFO - Atoms: 11921/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 19 Props: 211802 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.886 Prop: 429.742 PropClause: 420.347 Set: 45.74 Check: 0.0 Back: 5.116 INFO - Atoms: 11905/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 20 Props: 223661 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.935 Prop: 444.228 PropClause: 434.539 Set: 47.737 Check: 0.0 Back: 5.402 INFO - Atoms: 11859/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 21 Props: 237540 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.992 Prop: 460.579 PropClause: 450.483 Set: 51.224 Check: 0.0 Back: 5.681 INFO - Atoms: 13879/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 22 Props: 256683 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.041 Prop: 479.987 PropClause: 469.408 Set: 55.085 Check: 0.0 Back: 6.035 INFO - Atoms: 19143/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 23 Props: 275805 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.089 Prop: 500.916 PropClause: 489.845 Set: 58.916 Check: 0.0 Back: 6.509 INFO - Atoms: 19122/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 24 Props: 295015 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.161 Prop: 532.345 PropClause: 520.759 Set: 63.979 Check: 0.0 Back: 6.988 INFO - Atoms: 19210/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 25 Props: 314141 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.214 Prop: 553.269 PropClause: 541.199 Set: 67.788 Check: 0.0 Back: 7.476 INFO - Atoms: 19126/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 26 Props: 333500 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.265 Prop: 584.023 PropClause: 571.435 Set: 72.101 Check: 0.0 Back: 7.954 INFO - Atoms: 19359/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 27 Props: 354907 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.313 Prop: 607.101 PropClause: 593.974 Set: 76.516 Check: 0.0 Back: 8.433 INFO - Atoms: 21407/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 28 Props: 376258 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.367 Prop: 635.595 PropClause: 621.897 Set: 81.399 Check: 0.0 Back: 8.993 INFO - Atoms: 21351/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 29 Props: 397621 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.417 Prop: 659.247 PropClause: 645.015 Set: 85.759 Check: 0.0 Back: 9.55 INFO - Atoms: 21363/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 30 Props: 418926 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.494 Prop: 689.797 PropClause: 675.032 Set: 90.268 Check: 0.0 Back: 10.069 INFO - Atoms: 21305/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 31 Props: 440242 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.546 Prop: 713.817 PropClause: 698.461 Set: 95.311 Check: 0.0 Back: 10.594 INFO - Atoms: 21316/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 32 Props: 461508 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.598 Prop: 740.606 PropClause: 724.714 Set: 99.634 Check: 0.0 Back: 11.118 INFO - Atoms: 21266/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 33 Props: 482789 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.656 Prop: 765.704 PropClause: 749.268 Set: 104.495 Check: 0.0 Back: 11.631 INFO - Atoms: 21281/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 34 Props: 504010 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.704 Prop: 792.886 PropClause: 775.914 Set: 108.94 Check: 0.0 Back: 12.193 INFO - Atoms: 21221/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 35 Props: 525247 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.756 Prop: 817.665 PropClause: 800.159 Set: 113.286 Check: 0.0 Back: 12.705 INFO - Atoms: 21237/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 36 Props: 546428 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.808 Prop: 845.424 PropClause: 827.394 Set: 117.499 Check: 0.0 Back: 13.22 INFO - Atoms: 21181/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 37 Props: 567628 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.862 Prop: 867.641 PropClause: 849.082 Set: 121.634 Check: 0.0 Back: 13.729 INFO - Atoms: 21200/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 38 Props: 588774 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.917 Prop: 892.238 PropClause: 873.147 Set: 125.826 Check: 0.0 Back: 14.239 INFO - Atoms: 21146/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 39 Props: 609934 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.972 Prop: 915.112 PropClause: 895.482 Set: 130.302 Check: 0.0 Back: 14.766 INFO - Atoms: 21160/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 40 Props: 631038 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.035 Prop: 949.371 PropClause: 929.165 Set: 135.843 Check: 0.0 Back: 15.28 INFO - Atoms: 21104/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 41 Props: 652163 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.091 Prop: 973.839 PropClause: 953.096 Set: 140.318 Check: 0.0 Back: 15.827 INFO - Atoms: 21125/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 42 Props: 673231 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.143 Prop: 1002.951 PropClause: 981.653 Set: 145.3 Check: 0.0 Back: 16.353 INFO - Atoms: 21068/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 43 Props: 694319 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.2 Prop: 1027.249 PropClause: 1005.396 Set: 150.182 Check: 0.0 Back: 16.872 INFO - Atoms: 21088/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 44 Props: 715347 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.25 Prop: 1055.381 PropClause: 1032.988 Set: 154.725 Check: 0.0 Back: 17.428 INFO - Atoms: 21028/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 45 Props: 736400 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.302 Prop: 1080.364 PropClause: 1057.439 Set: 159.155 Check: 0.0 Back: 17.947 INFO - Atoms: 21053/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 46 Props: 757408 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.357 Prop: 1112.211 PropClause: 1088.73 Set: 163.647 Check: 0.0 Back: 18.455 INFO - Atoms: 21008/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 47 Props: 778437 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.411 Prop: 1143.671 PropClause: 1119.602 Set: 169.543 Check: 0.0 Back: 18.974 INFO - Atoms: 21029/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 48 Props: 799403 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.472 Prop: 1179.579 PropClause: 1154.917 Set: 174.947 Check: 0.0 Back: 19.528 INFO - Atoms: 20966/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 49 Props: 820393 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.526 Prop: 1206.225 PropClause: 1181.032 Set: 179.371 Check: 0.0 Back: 20.05 INFO - Atoms: 20990/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 50 Props: 841323 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.584 Prop: 1239.728 PropClause: 1214.001 Set: 183.969 Check: 0.0 Back: 20.561 INFO - Atoms: 20930/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 51 Props: 862278 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.637 Prop: 1269.667 PropClause: 1243.345 Set: 189.347 Check: 0.0 Back: 21.119 INFO - Atoms: 20955/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 52 Props: 883164 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.698 Prop: 1306.976 PropClause: 1279.983 Set: 195.253 Check: 0.0 Back: 21.637 INFO - Atoms: 20886/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 53 Props: 904070 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.859 Prop: 1333.571 PropClause: 1306.046 Set: 199.605 Check: 0.0 Back: 22.181 INFO - Atoms: 20906/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 54 Props: 924915 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.884 Prop: 1368.826 PropClause: 1340.68 Set: 205.217 Check: 0.0 Back: 22.692 INFO - Atoms: 20845/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 55 Props: 945776 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.909 Prop: 1397.78 PropClause: 1369.009 Set: 210.842 Check: 0.0 Back: 23.248 INFO - Atoms: 20861/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 56 Props: 966569 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.937 Prop: 1429.26 PropClause: 1399.956 Set: 215.419 Check: 0.0 Back: 23.818 INFO - Atoms: 20793/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 57 Props: 987379 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.961 Prop: 1452.181 PropClause: 1422.36 Set: 219.582 Check: 0.0 Back: 24.326 INFO - Atoms: 20810/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 58 Props: 1008123 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.988 Prop: 1481.973 PropClause: 1451.57 Set: 224.676 Check: 0.0 Back: 24.858 INFO - Atoms: 20744/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 59 Props: 1028884 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.018 Prop: 1508.663 PropClause: 1477.709 Set: 229.624 Check: 0.0 Back: 25.378 INFO - Atoms: 20761/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 60 Props: 1049587 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.087 Prop: 1538.972 PropClause: 1507.489 Set: 234.105 Check: 0.0 Back: 25.913 INFO - Atoms: 20703/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 61 Props: 1070309 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.147 Prop: 1564.572 PropClause: 1532.565 Set: 238.495 Check: 0.0 Back: 26.41 INFO - Atoms: 20722/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 62 Props: 1090967 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.17 Prop: 1592.712 PropClause: 1560.168 Set: 243.04 Check: 0.0 Back: 26.913 INFO - Atoms: 20658/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 63 Props: 1111640 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.196 Prop: 1618.341 PropClause: 1585.277 Set: 247.258 Check: 0.0 Back: 27.43 INFO - Atoms: 20673/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 64 Props: 1132257 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.222 Prop: 1651.937 PropClause: 1618.325 Set: 252.226 Check: 0.0 Back: 27.918 INFO - Atoms: 20617/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 65 Props: 1152889 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.246 Prop: 1677.945 PropClause: 1643.799 Set: 256.787 Check: 0.0 Back: 28.429 INFO - Atoms: 20632/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 66 Props: 1173468 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.312 Prop: 1705.808 PropClause: 1671.153 Set: 260.909 Check: 0.0 Back: 28.93 INFO - Atoms: 20579/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 67 Props: 1194060 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.39 Prop: 1737.26 PropClause: 1702.011 Set: 267.232 Check: 0.0 Back: 29.421 INFO - Atoms: 20592/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 68 Props: 1214596 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.414 Prop: 1769.832 PropClause: 1734.038 Set: 271.918 Check: 0.0 Back: 29.953 INFO - Atoms: 20536/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 69 Props: 1235145 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.446 Prop: 1805.472 PropClause: 1769.149 Set: 277.141 Check: 0.0 Back: 30.466 INFO - Atoms: 20549/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 70 Props: 1255628 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.476 Prop: 1837.445 PropClause: 1800.583 Set: 281.722 Check: 0.0 Back: 31.014 INFO - Atoms: 20483/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 71 Props: 1276125 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.499 Prop: 1862.237 PropClause: 1824.857 Set: 286.014 Check: 0.0 Back: 31.514 INFO - Atoms: 20497/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 72 Props: 1296567 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.525 Prop: 1896.193 PropClause: 1858.226 Set: 291.176 Check: 0.0 Back: 32.015 INFO - Atoms: 20442/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 73 Props: 1317029 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.55 Prop: 1924.402 PropClause: 1885.862 Set: 296.349 Check: 0.0 Back: 32.582 INFO - Atoms: 20462/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 74 Props: 1337429 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.576 Prop: 1959.83 PropClause: 1920.652 Set: 302.104 Check: 0.0 Back: 33.087 INFO - Atoms: 20400/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 75 Props: 1357849 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.6 Prop: 1988.614 PropClause: 1948.792 Set: 307.934 Check: 0.0 Back: 33.647 INFO - Atoms: 20420/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 76 Props: 1378202 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.629 Prop: 2022.42 PropClause: 1981.948 Set: 313.61 Check: 0.0 Back: 34.213 INFO - Atoms: 20353/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 77 Props: 1398572 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.653 Prop: 2052.495 PropClause: 2011.378 Set: 319.61 Check: 0.0 Back: 34.775 INFO - Atoms: 20370/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 78 Props: 1418889 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.712 Prop: 2082.996 PropClause: 2041.245 Set: 325.35 Check: 0.0 Back: 35.338 INFO - Atoms: 20317/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 79 Props: 1439219 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.731 Prop: 2108.863 PropClause: 2066.6 Set: 329.66 Check: 0.0 Back: 35.9 INFO - Atoms: 20330/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 80 Props: 1459497 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.748 Prop: 2137.308 PropClause: 2094.526 Set: 334.033 Check: 0.0 Back: 36.392 INFO - Atoms: 20278/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 81 Props: 1479788 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.768 Prop: 2162.094 PropClause: 2118.795 Set: 338.237 Check: 0.0 Back: 36.883 INFO - Atoms: 20291/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 82 Props: 1500022 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.788 Prop: 2194.777 PropClause: 2150.961 Set: 342.752 Check: 0.0 Back: 37.387 INFO - Atoms: 20234/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 83 Props: 1520273 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.805 Prop: 2222.751 PropClause: 2178.32 Set: 347.69 Check: 0.0 Back: 37.885 INFO - Atoms: 20251/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 84 Props: 1540470 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.825 Prop: 2253.954 PropClause: 2208.991 Set: 352.358 Check: 0.0 Back: 38.414 INFO - Atoms: 20197/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 85 Props: 1560682 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.843 Prop: 2279.156 PropClause: 2233.685 Set: 356.589 Check: 0.0 Back: 38.905 INFO - Atoms: 20212/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 86 Props: 1580837 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.867 Prop: 2311.834 PropClause: 2265.854 Set: 361.022 Check: 0.0 Back: 39.395 INFO - Atoms: 20155/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 87 Props: 1601013 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.887 Prop: 2339.022 PropClause: 2292.502 Set: 365.822 Check: 0.0 Back: 39.899 INFO - Atoms: 20176/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 88 Props: 1621403 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.905 Prop: 2372.747 PropClause: 2325.709 Set: 370.205 Check: 0.0 Back: 40.39 INFO - Atoms: 20390/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 89 Props: 1642628 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.923 Prop: 2400.234 PropClause: 2352.669 Set: 374.619 Check: 0.0 Back: 40.905 INFO - Atoms: 21225/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 90 Props: 1658799 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.943 Prop: 2425.388 PropClause: 2377.423 Set: 377.675 Check: 0.0 Back: 41.418 INFO - Atoms: 16171/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 91 Props: 1669462 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.966 Prop: 2444.61 PropClause: 2396.37 Set: 379.864 Check: 0.0 Back: 41.809 INFO - Atoms: 10663/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 92 Props: 1694390 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.986 Prop: 2475.122 PropClause: 2426.25 Set: 385.779 Check: 0.0 Back: 42.083 INFO - Atoms: 24928/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 93 Props: 1718824 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.005 Prop: 2510.807 PropClause: 2461.317 Set: 391.519 Check: 0.0 Back: 42.678 INFO - Atoms: 24434/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 94 Props: 1729516 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.025 Prop: 2536.838 PropClause: 2487.028 Set: 393.948 Check: 0.0 Back: 43.266 INFO - Atoms: 10692/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 95 Props: 1755595 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.043 Prop: 2562.983 PropClause: 2512.385 Set: 401.424 Check: 0.0 Back: 43.554 INFO - Atoms: 26079/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 96 Props: 1782137 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.065 Prop: 2601.971 PropClause: 2550.572 Set: 408.994 Check: 0.0 Back: 44.263 INFO - Atoms: 26542/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 97 Props: 1792825 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.085 Prop: 2628.409 PropClause: 2576.687 Set: 411.387 Check: 0.0 Back: 44.973 INFO - Atoms: 10688/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 98 Props: 1820567 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.104 Prop: 2653.299 PropClause: 2600.88 Set: 417.636 Check: 0.0 Back: 45.256 INFO - Atoms: 27742/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 99 Props: 1844144 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.124 Prop: 2684.867 PropClause: 2631.86 Set: 422.777 Check: 0.0 Back: 45.956 INFO - Atoms: 23577/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 100 Props: 1866747 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.143 Prop: 2723.471 PropClause: 2669.894 Set: 427.907 Check: 0.0 Back: 46.525 INFO - Atoms: 22603/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 101 Props: 1890335 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.16 Prop: 2749.82 PropClause: 2695.654 Set: 433.11 Check: 0.0 Back: 47.072 INFO - Atoms: 23588/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 102 Props: 1918491 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.182 Prop: 2787.913 PropClause: 2733.038 Set: 440.086 Check: 0.0 Back: 47.642 INFO - Atoms: 28156/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 103 Props: 1949420 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.2 Prop: 2827.35 PropClause: 2771.696 Set: 447.595 Check: 0.0 Back: 48.345 INFO - Atoms: 30929/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 104 Props: 1980473 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.221 Prop: 2873.5 PropClause: 2817.056 Set: 454.992 Check: 0.0 Back: 49.109 INFO - Atoms: 31053/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 105 Props: 2012097 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.237 Prop: 2916.19 PropClause: 2858.949 Set: 462.58 Check: 0.0 Back: 49.879 INFO - Atoms: 31624/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 106 Props: 2044063 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.26 Prop: 2958.878 PropClause: 2900.787 Set: 470.687 Check: 0.0 Back: 50.637 INFO - Atoms: 31966/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 107 Props: 2076452 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.279 Prop: 3004.156 PropClause: 2945.248 Set: 478.478 Check: 0.0 Back: 51.456 INFO - Atoms: 32389/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 108 Props: 2108960 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.298 Prop: 3050.359 PropClause: 2990.629 Set: 486.427 Check: 0.0 Back: 52.25 INFO - Atoms: 32508/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 109 Props: 2141611 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.319 Prop: 3098.973 PropClause: 3038.346 Set: 495.497 Check: 0.0 Back: 53.035 INFO - Atoms: 32651/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 110 Props: 2174748 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.345 Prop: 3157.697 PropClause: 3096.162 Set: 505.514 Check: 0.0 Back: 53.911 INFO - Atoms: 33137/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 111 Props: 2207516 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.363 Prop: 3206.705 PropClause: 3144.342 Set: 513.41 Check: 0.0 Back: 54.72 INFO - Atoms: 32768/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 112 Props: 2240656 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.383 Prop: 3260.468 PropClause: 3197.245 Set: 521.428 Check: 0.0 Back: 55.53 INFO - Atoms: 33140/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 113 Props: 2274195 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.4 Prop: 3305.345 PropClause: 3241.267 Set: 529.246 Check: 0.0 Back: 56.387 INFO - Atoms: 33539/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 114 Props: 2307817 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.419 Prop: 3356.986 PropClause: 3292.071 Set: 537.077 Check: 0.0 Back: 57.199 INFO - Atoms: 33622/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 115 Props: 2341537 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.44 Prop: 3404.198 PropClause: 3338.427 Set: 545.147 Check: 0.0 Back: 58.006 INFO - Atoms: 33720/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 116 Props: 2375753 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.459 Prop: 3461.273 PropClause: 3394.65 Set: 553.093 Check: 0.0 Back: 58.817 INFO - Atoms: 34216/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 117 Props: 2410177 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.478 Prop: 3510.204 PropClause: 3442.716 Set: 561.441 Check: 0.0 Back: 59.621 INFO - Atoms: 34424/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 118 Props: 2445153 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.495 Prop: 3564.948 PropClause: 3496.564 Set: 569.978 Check: 0.0 Back: 60.444 INFO - Atoms: 34976/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 119 Props: 2480274 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.515 Prop: 3613.579 PropClause: 3544.306 Set: 578.63 Check: 0.0 Back: 61.281 INFO - Atoms: 35121/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 120 Props: 2515372 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.532 Prop: 3672.087 PropClause: 3601.937 Set: 586.916 Check: 0.0 Back: 62.131 INFO - Atoms: 35098/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 121 Props: 2550772 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.552 Prop: 3727.033 PropClause: 3655.994 Set: 595.186 Check: 0.0 Back: 62.995 INFO - Atoms: 35400/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 122 Props: 2586723 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.571 Prop: 3778.341 PropClause: 3706.397 Set: 603.559 Check: 0.0 Back: 63.849 INFO - Atoms: 35951/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 123 Props: 2622802 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.589 Prop: 3828.661 PropClause: 3755.798 Set: 612.574 Check: 0.0 Back: 64.717 INFO - Atoms: 36079/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 124 Props: 2659897 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.609 Prop: 3883.41 PropClause: 3809.614 Set: 621.438 Check: 0.0 Back: 65.6 INFO - Atoms: 37095/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 125 Props: 2702359 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.627 Prop: 3938.273 PropClause: 3863.399 Set: 631.57 Check: 0.0 Back: 66.488 INFO - Atoms: 42462/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 126 Props: 2744751 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.646 Prop: 4006.751 PropClause: 3930.809 Set: 641.765 Check: 0.0 Back: 67.537 INFO - Atoms: 42392/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 127 Props: 2780111 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.665 Prop: 4069.891 PropClause: 3992.99 Set: 651.958 Check: 0.0 Back: 68.595 INFO - Atoms: 35360/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 128 Props: 2815457 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.682 Prop: 4126.976 PropClause: 4049.189 Set: 660.566 Check: 0.0 Back: 69.452 INFO - Atoms: 35346/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 129 Props: 2850527 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.77 Prop: 4179.741 PropClause: 4101.066 Set: 669.08 Check: 0.0 Back: 70.32 INFO - Atoms: 35070/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 130 Props: 2885583 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.791 Prop: 4233.555 PropClause: 4153.994 Set: 677.661 Check: 0.0 Back: 71.165 INFO - Atoms: 35056/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 131 Props: 2920662 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.808 Prop: 4285.38 PropClause: 4204.874 Set: 687.348 Check: 0.0 Back: 72.015 INFO - Atoms: 35079/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 132 Props: 2956019 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.827 Prop: 4346.555 PropClause: 4265.149 Set: 696.163 Check: 0.0 Back: 72.856 INFO - Atoms: 35357/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 133 Props: 2991381 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.852 Prop: 4401.059 PropClause: 4318.61 Set: 707.142 Check: 0.0 Back: 73.724 INFO - Atoms: 35362/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 134 Props: 3026736 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.881 Prop: 4466.512 PropClause: 4382.975 Set: 718.528 Check: 0.0 Back: 74.702 INFO - Atoms: 35355/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 135 Props: 3062013 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.94 Prop: 4521.865 PropClause: 4437.414 Set: 727.666 Check: 0.0 Back: 75.677 INFO - Atoms: 35277/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 136 Props: 3096401 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.995 Prop: 4576.955 PropClause: 4491.638 Set: 735.877 Check: 0.0 Back: 76.527 INFO - Atoms: 34388/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 137 Props: 3130774 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.013 Prop: 4624.481 PropClause: 4538.274 Set: 744.412 Check: 0.0 Back: 77.354 INFO - Atoms: 34373/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 138 Props: 3165150 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.033 Prop: 4677.016 PropClause: 4589.946 Set: 752.544 Check: 0.0 Back: 78.181 INFO - Atoms: 34376/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 139 Props: 3199519 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.057 Prop: 4727.46 PropClause: 4639.513 Set: 761.147 Check: 0.0 Back: 79.006 INFO - Atoms: 34369/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 140 Props: 3240829 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.075 Prop: 4785.737 PropClause: 4696.745 Set: 771.02 Check: 0.0 Back: 79.839 INFO - Atoms: 41310/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 141 Props: 3276002 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.098 Prop: 4840.747 PropClause: 4750.845 Set: 780.246 Check: 0.0 Back: 80.829 INFO - Atoms: 35173/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 142 Props: 3295776 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.116 Prop: 4880.474 PropClause: 4790.075 Set: 784.199 Check: 0.0 Back: 81.676 INFO - Atoms: 19774/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 143 Props: 3331088 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.136 Prop: 4915.177 PropClause: 4823.862 Set: 793.067 Check: 0.0 Back: 82.152 INFO - Atoms: 35312/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 144 Props: 3366395 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.159 Prop: 4977.064 PropClause: 4884.785 Set: 803.268 Check: 0.0 Back: 83.077 INFO - Atoms: 35307/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 145 Props: 3401818 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.179 Prop: 5029.318 PropClause: 4936.14 Set: 812.286 Check: 0.0 Back: 84.016 INFO - Atoms: 35423/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 146 Props: 3437231 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.202 Prop: 5086.946 PropClause: 4992.881 Set: 846.356 Check: 0.0 Back: 84.876 INFO - Atoms: 35413/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 147 Props: 3472646 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.22 Prop: 5136.091 PropClause: 5041.133 Set: 854.879 Check: 0.0 Back: 85.712 INFO - Atoms: 35415/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 148 Props: 3508060 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.238 Prop: 5194.303 PropClause: 5098.405 Set: 864.209 Check: 0.0 Back: 86.571 INFO - Atoms: 35414/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 149 Props: 3543485 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.259 Prop: 5251.072 PropClause: 5154.173 Set: 875.55 Check: 0.0 Back: 87.43 INFO - Atoms: 35425/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 150 Props: 3578897 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.281 Prop: 5307.491 PropClause: 5209.652 Set: 884.994 Check: 0.0 Back: 88.302 INFO - Atoms: 35412/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 151 Props: 3614324 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.302 Prop: 5364.556 PropClause: 5265.765 Set: 894.926 Check: 0.0 Back: 89.182 INFO - Atoms: 35427/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 152 Props: 3649737 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.323 Prop: 5426.23 PropClause: 5326.541 Set: 903.804 Check: 0.0 Back: 90.052 INFO - Atoms: 35413/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 153 Props: 3685166 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.342 Prop: 5475.982 PropClause: 5375.368 Set: 912.764 Check: 0.0 Back: 90.915 INFO - Atoms: 35429/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 154 Props: 3720586 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.41 Prop: 5530.507 PropClause: 5428.949 Set: 922.205 Check: 0.0 Back: 91.826 INFO - Atoms: 35420/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 155 Props: 3756007 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.428 Prop: 5585.729 PropClause: 5483.199 Set: 932.986 Check: 0.0 Back: 92.712 INFO - Atoms: 35421/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 156 Props: 3791423 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.447 Prop: 5644.306 PropClause: 5540.855 Set: 942.262 Check: 0.0 Back: 93.664 INFO - Atoms: 35416/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 157 Props: 3826787 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.467 Prop: 5699.613 PropClause: 5595.235 Set: 951.594 Check: 0.0 Back: 94.557 INFO - Atoms: 35364/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 158 Props: 3862141 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.491 Prop: 5754.732 PropClause: 5649.47 Set: 960.113 Check: 0.0 Back: 95.41 INFO - Atoms: 35354/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 159 Props: 3905414 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.512 Prop: 5821.775 PropClause: 5715.412 Set: 971.638 Check: 0.0 Back: 96.264 INFO - Atoms: 43273/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 160 Props: 3948069 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.531 Prop: 5892.222 PropClause: 5784.761 Set: 982.664 Check: 0.0 Back: 97.31 INFO - Atoms: 42655/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 161 Props: 3990480 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.551 Prop: 5963.439 PropClause: 5854.878 Set: 994.44 Check: 0.0 Back: 98.35 INFO - Atoms: 42411/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 162 Props: 4032960 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.571 Prop: 6039.359 PropClause: 5929.656 Set: 1006.633 Check: 0.0 Back: 99.417 INFO - Atoms: 42480/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 163 Props: 4075944 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.593 Prop: 6106.849 PropClause: 5996.05 Set: 1017.546 Check: 0.0 Back: 100.464 INFO - Atoms: 42984/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 164 Props: 4118909 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.612 Prop: 6168.54 PropClause: 6056.661 Set: 1027.789 Check: 0.0 Back: 101.507 INFO - Atoms: 42965/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 165 Props: 4153857 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.63 Prop: 6223.535 PropClause: 6110.777 Set: 1036.487 Check: 0.0 Back: 102.537 INFO - Atoms: 34948/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 166 Props: 4188624 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.65 Prop: 6274.69 PropClause: 6161.055 Set: 1044.554 Check: 0.0 Back: 103.403 INFO - Atoms: 34767/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 167 Props: 4223478 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.667 Prop: 6321.088 PropClause: 6206.573 Set: 1052.899 Check: 0.0 Back: 104.27 INFO - Atoms: 34854/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 168 Props: 4258162 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.689 Prop: 6381.521 PropClause: 6266.125 Set: 1062.037 Check: 0.0 Back: 105.129 INFO - Atoms: 34684/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 169 Props: 4300267 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.708 Prop: 6434.226 PropClause: 6317.726 Set: 1073.263 Check: 0.0 Back: 106.014 INFO - Atoms: 42105/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 170 Props: 4334654 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.725 Prop: 6500.088 PropClause: 6382.696 Set: 1082.101 Check: 0.0 Back: 107.035 INFO - Atoms: 34387/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 171 Props: 4369034 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.745 Prop: 6553.349 PropClause: 6434.933 Set: 1092.904 Check: 0.0 Back: 107.887 INFO - Atoms: 34380/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 172 Props: 4404052 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.765 Prop: 6607.99 PropClause: 6488.573 Set: 1102.754 Check: 0.0 Back: 108.826 INFO - Atoms: 35018/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 173 Props: 4439670 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.788 Prop: 6655.869 PropClause: 6535.469 Set: 1112.59 Check: 0.0 Back: 109.701 INFO - Atoms: 35618/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 174 Props: 4475305 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.808 Prop: 6711.43 PropClause: 6590.131 Set: 1121.339 Check: 0.0 Back: 110.631 INFO - Atoms: 35635/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 175 Props: 4510393 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.825 Prop: 6759.021 PropClause: 6636.837 Set: 1129.51 Check: 0.0 Back: 111.488 INFO - Atoms: 35088/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 176 Props: 4552127 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.844 Prop: 6814.132 PropClause: 6690.884 Set: 1139.611 Check: 0.0 Back: 112.342 INFO - Atoms: 41734/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 177 Props: 4587537 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.862 Prop: 6873.581 PropClause: 6749.434 Set: 1148.619 Check: 0.0 Back: 113.353 INFO - Atoms: 35410/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 178 Props: 4607315 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.881 Prop: 6913.729 PropClause: 6789.085 Set: 1152.776 Check: 0.0 Back: 114.25 INFO - Atoms: 19778/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 179 Props: 4642824 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.902 Prop: 6952.331 PropClause: 6826.743 Set: 1162.005 Check: 0.0 Back: 114.724 INFO - Atoms: 35509/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 180 Props: 4678316 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.923 Prop: 7010.229 PropClause: 6883.728 Set: 1170.869 Check: 0.0 Back: 115.596 INFO - Atoms: 35492/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 181 Props: 4713903 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.943 Prop: 7061.244 PropClause: 6933.842 Set: 1179.491 Check: 0.0 Back: 116.461 INFO - Atoms: 35587/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 182 Props: 4749307 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.963 Prop: 7116.972 PropClause: 6988.671 Set: 1188.701 Check: 0.0 Back: 117.332 INFO - Atoms: 35404/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 183 Props: 4784666 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.982 Prop: 7173.796 PropClause: 7044.587 Set: 1197.85 Check: 0.0 Back: 118.193 INFO - Atoms: 35359/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 184 Props: 4820097 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.004 Prop: 7229.039 PropClause: 7098.855 Set: 1207.753 Check: 0.0 Back: 119.048 INFO - Atoms: 35431/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 185 Props: 4855456 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.024 Prop: 7276.322 PropClause: 7145.234 Set: 1216.373 Check: 0.0 Back: 119.898 INFO - Atoms: 35359/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 186 Props: 4898018 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.041 Prop: 7341.473 PropClause: 7209.299 Set: 1227.242 Check: 0.0 Back: 120.758 INFO - Atoms: 42562/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 187 Props: 4940384 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.061 Prop: 7405.49 PropClause: 7272.249 Set: 1237.668 Check: 0.0 Back: 121.789 INFO - Atoms: 42366/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 188 Props: 4975796 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.082 Prop: 7467.565 PropClause: 7333.417 Set: 1246.643 Check: 0.0 Back: 122.815 INFO - Atoms: 35412/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 189 Props: 5011211 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.105 Prop: 7521.914 PropClause: 7386.861 Set: 1256.207 Check: 0.0 Back: 123.669 INFO - Atoms: 35415/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 190 Props: 5046624 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.126 Prop: 7577.098 PropClause: 7441.126 Set: 1265.409 Check: 0.0 Back: 124.545 INFO - Atoms: 35413/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 191 Props: 5082046 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.148 Prop: 7634.284 PropClause: 7497.37 Set: 1275.311 Check: 0.0 Back: 125.413 INFO - Atoms: 35422/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 192 Props: 5117462 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.168 Prop: 7688.871 PropClause: 7551.063 Set: 1284.027 Check: 0.0 Back: 126.261 INFO - Atoms: 35416/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 193 Props: 5160170 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.2 Prop: 7753.793 PropClause: 7614.886 Set: 1295.624 Check: 0.0 Back: 127.106 INFO - Atoms: 42708/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 194 Props: 5202946 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.22 Prop: 7832.209 PropClause: 7692.103 Set: 1309.89 Check: 0.0 Back: 128.242 INFO - Atoms: 42776/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 195 Props: 5245253 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.237 Prop: 7897.506 PropClause: 7756.325 Set: 1321.201 Check: 0.0 Back: 129.28 INFO - Atoms: 42307/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 196 Props: 5287549 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.258 Prop: 7975.024 PropClause: 7832.66 Set: 1335.649 Check: 0.0 Back: 130.34 INFO - Atoms: 42296/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 197 Props: 5330313 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.279 Prop: 8041.265 PropClause: 7897.776 Set: 1347.557 Check: 0.0 Back: 131.463 INFO - Atoms: 42764/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 198 Props: 5373286 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.363 Prop: 8124.876 PropClause: 7980.231 Set: 1361.036 Check: 0.0 Back: 132.541 INFO - Atoms: 42973/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 199 Props: 5408648 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.392 Prop: 8196.619 PropClause: 8051.036 Set: 1371.611 Check: 0.0 Back: 133.624 INFO - Atoms: 35362/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 200 Props: 5443914 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.413 Prop: 8254.162 PropClause: 8107.68 Set: 1380.468 Check: 0.0 Back: 134.538 INFO - Atoms: 35266/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 201 Props: 5486273 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.434 Prop: 8312.395 PropClause: 8164.812 Set: 1391.872 Check: 0.0 Back: 135.4 INFO - Atoms: 42359/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 202 Props: 5528773 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.451 Prop: 8392.178 PropClause: 8243.52 Set: 1402.478 Check: 0.0 Back: 136.412 INFO - Atoms: 42500/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 203 Props: 5564211 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.471 Prop: 8452.698 PropClause: 8303.146 Set: 1411.278 Check: 0.0 Back: 137.436 INFO - Atoms: 35438/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 204 Props: 5599556 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.492 Prop: 8511.931 PropClause: 8361.455 Set: 1420.428 Check: 0.0 Back: 138.342 INFO - Atoms: 35345/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 205 Props: 5635073 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.516 Prop: 8570.722 PropClause: 8419.209 Set: 1431.038 Check: 0.0 Back: 139.209 INFO - Atoms: 35517/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 206 Props: 5670490 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.534 Prop: 8628.002 PropClause: 8475.576 Set: 1440.166 Check: 0.0 Back: 140.073 INFO - Atoms: 35417/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 207 Props: 5705807 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.552 Prop: 8683.928 PropClause: 8530.602 Set: 1449.415 Check: 0.0 Back: 140.944 INFO - Atoms: 35317/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 208 Props: 5725580 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.573 Prop: 8734.537 PropClause: 8580.718 Set: 1453.981 Check: 0.0 Back: 141.814 INFO - Atoms: 19773/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 209 Props: 5760994 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.594 Prop: 8779.496 PropClause: 8624.793 Set: 1463.308 Check: 0.0 Back: 142.301 INFO - Atoms: 35414/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 210 Props: 5796400 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.61 Prop: 8856.101 PropClause: 8700.505 Set: 1472.297 Check: 0.0 Back: 143.153 INFO - Atoms: 35406/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 211 Props: 5831808 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.709 Prop: 8910.077 PropClause: 8753.571 Set: 1481.285 Check: 0.0 Back: 143.997 INFO - Atoms: 35408/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 212 Props: 5851587 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.734 Prop: 8957.583 PropClause: 8800.576 Set: 1485.86 Check: 0.0 Back: 144.88 INFO - Atoms: 19779/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 213 Props: 5887092 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.755 Prop: 9003.234 PropClause: 8845.32 Set: 1495.462 Check: 0.0 Back: 145.378 INFO - Atoms: 35505/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 214 Props: 5922431 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.776 Prop: 9080.743 PropClause: 8921.904 Set: 1506.539 Check: 0.0 Back: 146.308 INFO - Atoms: 35339/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 215 Props: 5957781 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.797 Prop: 9142.827 PropClause: 8982.983 Set: 1517.614 Check: 0.0 Back: 147.183 INFO - Atoms: 35350/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 216 Props: 5993209 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.826 Prop: 9219.158 PropClause: 9058.265 Set: 1530.486 Check: 0.0 Back: 148.148 INFO - Atoms: 35428/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 217 Props: 6028568 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.845 Prop: 9283.558 PropClause: 9121.758 Set: 1539.989 Check: 0.0 Back: 149.068 INFO - Atoms: 35359/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 218 Props: 6063832 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.871 Prop: 9357.19 PropClause: 9194.36 Set: 1552.45 Check: 0.0 Back: 149.924 INFO - Atoms: 35264/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 219 Props: 6099100 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.894 Prop: 9423.993 PropClause: 9260.125 Set: 1564.805 Check: 0.0 Back: 150.843 INFO - Atoms: 35268/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 220 Props: 6134448 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.03 Prop: 9478.231 PropClause: 9313.476 Set: 1573.2 Check: 0.0 Back: 151.78 INFO - Atoms: 35348/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 221 Props: 6177392 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.047 Prop: 9530.658 PropClause: 9364.804 Set: 1583.937 Check: 0.0 Back: 152.639 INFO - Atoms: 42944/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 222 Props: 6220178 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.091 Prop: 9597.639 PropClause: 9430.688 Set: 1594.427 Check: 0.0 Back: 153.673 INFO - Atoms: 42786/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 223 Props: 6262430 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.103 Prop: 9663.74 PropClause: 9495.709 Set: 1605.468 Check: 0.0 Back: 154.728 INFO - Atoms: 42252/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 224 Props: 6304770 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.115 Prop: 9744.003 PropClause: 9574.878 Set: 1617.609 Check: 0.0 Back: 155.774 INFO - Atoms: 42340/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 225 Props: 6347514 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.126 Prop: 9809.033 PropClause: 9638.83 Set: 1628.735 Check: 0.0 Back: 156.791 INFO - Atoms: 42744/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 226 Props: 6390241 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.139 Prop: 9875.394 PropClause: 9704.1 Set: 1639.375 Check: 0.0 Back: 157.823 INFO - Atoms: 42727/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 227 Props: 6425746 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.151 Prop: 9932.437 PropClause: 9760.247 Set: 1648.147 Check: 0.0 Back: 158.863 INFO - Atoms: 35505/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 228 Props: 6461150 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.162 Prop: 9982.708 PropClause: 9809.616 Set: 1656.76 Check: 0.0 Back: 159.719 INFO - Atoms: 35404/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 229 Props: 6496560 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.175 Prop: 10039.039 PropClause: 9865.009 Set: 1666.677 Check: 0.0 Back: 160.647 INFO - Atoms: 35410/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 230 Props: 6532059 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.192 Prop: 10101.328 PropClause: 9926.364 Set: 1676.952 Check: 0.0 Back: 161.531 INFO - Atoms: 35499/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 231 Props: 6567562 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.205 Prop: 10154.77 PropClause: 9978.724 Set: 1688.083 Check: 0.0 Back: 162.429 INFO - Atoms: 35503/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 232 Props: 6602968 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.219 Prop: 10207.729 PropClause: 10030.777 Set: 1697.227 Check: 0.0 Back: 163.322 INFO - Atoms: 35406/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 233 Props: 6638372 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.229 Prop: 10255.607 PropClause: 10077.758 Set: 1705.776 Check: 0.0 Back: 164.187 INFO - Atoms: 35404/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 234 Props: 6680932 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.239 Prop: 10315.242 PropClause: 10136.298 Set: 1716.579 Check: 0.0 Back: 165.078 INFO - Atoms: 42560/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 235 Props: 6723296 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.253 Prop: 10380.864 PropClause: 10200.854 Set: 1727.02 Check: 0.0 Back: 166.125 INFO - Atoms: 42364/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 236 Props: 6758653 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.265 Prop: 10443.741 PropClause: 10262.846 Set: 1735.904 Check: 0.0 Back: 167.143 INFO - Atoms: 35357/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 237 Props: 6794013 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.28 Prop: 10507.924 PropClause: 10326.109 Set: 1746.166 Check: 0.0 Back: 167.989 INFO - Atoms: 35360/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 238 Props: 6836660 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.292 Prop: 10570.652 PropClause: 10387.765 Set: 1787.497 Check: 0.0 Back: 168.871 INFO - Atoms: 42647/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 239 Props: 6879937 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.306 Prop: 10647.975 PropClause: 10463.984 Set: 1799.805 Check: 0.0 Back: 169.894 INFO - Atoms: 43277/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 240 Props: 6915361 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.318 Prop: 10712.728 PropClause: 10527.846 Set: 1808.799 Check: 0.0 Back: 170.951 INFO - Atoms: 35424/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 241 Props: 6950712 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.329 Prop: 10767.298 PropClause: 10581.515 Set: 1817.615 Check: 0.0 Back: 171.803 INFO - Atoms: 35351/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 242 Props: 6993671 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.342 Prop: 10834.507 PropClause: 10647.621 Set: 1830.015 Check: 0.0 Back: 172.644 INFO - Atoms: 42959/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 243 Props: 7036649 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.352 Prop: 10906.07 PropClause: 10718.079 Set: 1841.111 Check: 0.0 Back: 173.669 INFO - Atoms: 42978/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 244 Props: 7079133 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.369 Prop: 10991.085 PropClause: 10801.991 Set: 1852.709 Check: 0.0 Back: 174.748 INFO - Atoms: 42484/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 245 Props: 7121528 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.384 Prop: 11064.371 PropClause: 10873.98 Set: 1866.239 Check: 0.0 Back: 175.813 INFO - Atoms: 42395/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 246 Props: 7163761 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.395 Prop: 11144.025 PropClause: 10952.569 Set: 1877.185 Check: 0.0 Back: 176.995 INFO - Atoms: 42233/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 247 Props: 7205973 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.406 Prop: 11231.029 PropClause: 11038.45 Set: 1890.75 Check: 0.0 Back: 178.013 INFO - Atoms: 42212/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 248 Props: 7225830 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.42 Prop: 11288.819 PropClause: 11095.746 Set: 1922.419 Check: 0.0 Back: 179.044 INFO - Atoms: 19857/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 249 Props: 7269943 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.435 Prop: 11343.312 PropClause: 11149.099 Set: 1934.439 Check: 0.0 Back: 179.527 INFO - Atoms: 44113/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 250 Props: 7314321 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.444 Prop: 11423.466 PropClause: 11228.116 Set: 1946.69 Check: 0.0 Back: 180.606 INFO - Atoms: 44378/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 251 Props: 7358697 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.456 Prop: 11500.296 PropClause: 11303.816 Set: 1958.417 Check: 0.0 Back: 181.68 INFO - Atoms: 44376/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 252 Props: 7401181 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.471 Prop: 11595.835 PropClause: 11398.218 Set: 1970.833 Check: 0.0 Back: 182.812 INFO - Atoms: 42484/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 253 Props: 7436417 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.488 Prop: 11663.215 PropClause: 11464.708 Set: 1980.269 Check: 0.0 Back: 183.914 INFO - Atoms: 35236/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 254 Props: 7471642 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.501 Prop: 11728.781 PropClause: 11529.347 Set: 1990.648 Check: 0.0 Back: 184.777 INFO - Atoms: 35225/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 255 Props: 7515319 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.517 Prop: 11816.732 PropClause: 11616.075 Set: 2006.408 Check: 0.0 Back: 185.671 INFO - Atoms: 43677/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 256 Props: 7558993 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.529 Prop: 11896.604 PropClause: 11694.84 Set: 2017.912 Check: 0.0 Back: 186.813 INFO - Atoms: 43674/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 257 Props: 7601295 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.54 Prop: 11976.773 PropClause: 11773.882 Set: 2029.707 Check: 0.0 Back: 187.894 INFO - Atoms: 42302/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 258 Props: 7635640 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.551 Prop: 12042.584 PropClause: 11838.82 Set: 2079.237 Check: 0.0 Back: 188.935 INFO - Atoms: 34345/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 259 Props: 7670438 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.563 Prop: 12093.455 PropClause: 11888.794 Set: 2088.051 Check: 0.0 Back: 189.762 INFO - Atoms: 34798/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 260 Props: 7712132 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.579 Prop: 12182.582 PropClause: 11976.744 Set: 2101.199 Check: 0.0 Back: 190.654 INFO - Atoms: 41694/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 261 Props: 7731978 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.59 Prop: 12229.181 PropClause: 12022.838 Set: 2105.465 Check: 0.0 Back: 191.697 INFO - Atoms: 19846/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 262 Props: 7773405 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.605 Prop: 12286.883 PropClause: 12079.481 Set: 2116.496 Check: 0.0 Back: 192.176 INFO - Atoms: 41427/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 263 Props: 7814608 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.616 Prop: 12347.905 PropClause: 12139.46 Set: 2126.531 Check: 0.0 Back: 193.233 INFO - Atoms: 41203/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 264 Props: 7834478 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.628 Prop: 12393.487 PropClause: 12184.528 Set: 2131.409 Check: 0.0 Back: 194.236 INFO - Atoms: 19870/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 265 Props: 7854315 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.638 Prop: 12419.063 PropClause: 12209.574 Set: 2136.262 Check: 0.0 Back: 194.719 INFO - Atoms: 19837/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 266 Props: 7896913 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.648 Prop: 12465.383 PropClause: 12254.799 Set: 2147.321 Check: 0.0 Back: 195.202 INFO - Atoms: 42598/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 267 Props: 7937895 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.66 Prop: 12521.88 PropClause: 12310.251 Set: 2157.358 Check: 0.0 Back: 196.264 INFO - Atoms: 40982/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 268 Props: 7957749 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.671 Prop: 12576.871 PropClause: 12364.729 Set: 2162.12 Check: 0.0 Back: 197.249 INFO - Atoms: 19854/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 269 Props: 7998998 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.681 Prop: 12619.707 PropClause: 12406.497 Set: 2173.008 Check: 0.0 Back: 197.731 INFO - Atoms: 41249/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 270 Props: 8040554 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.694 Prop: 12686.753 PropClause: 12472.44 Set: 2184.72 Check: 0.0 Back: 198.776 INFO - Atoms: 41556/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 271 Props: 8081650 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.706 Prop: 12749.399 PropClause: 12533.999 Set: 2195.826 Check: 0.0 Back: 199.801 INFO - Atoms: 41096/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 272 Props: 8123100 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.718 Prop: 12815.093 PropClause: 12598.54 Set: 2207.438 Check: 0.0 Back: 200.812 INFO - Atoms: 41450/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 273 Props: 8165069 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.73 Prop: 12881.519 PropClause: 12663.877 Set: 2219.006 Check: 0.0 Back: 201.825 INFO - Atoms: 41969/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 274 Props: 8207540 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.742 Prop: 12955.159 PropClause: 12736.431 Set: 2230.335 Check: 0.0 Back: 202.863 INFO - Atoms: 42471/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 275 Props: 8248932 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.752 Prop: 13014.729 PropClause: 12794.962 Set: 2240.383 Check: 0.0 Back: 203.904 INFO - Atoms: 41392/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 276 Props: 8290789 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.764 Prop: 13090.439 PropClause: 12869.578 Set: 2252.457 Check: 0.0 Back: 204.934 INFO - Atoms: 41857/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 277 Props: 8331976 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.775 Prop: 13165.691 PropClause: 12943.776 Set: 2263.291 Check: 0.0 Back: 206.069 INFO - Atoms: 41187/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 278 Props: 8373220 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.789 Prop: 13236.277 PropClause: 13013.247 Set: 2275.595 Check: 0.0 Back: 207.076 INFO - Atoms: 41244/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 279 Props: 8415213 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.8 Prop: 13302.569 PropClause: 13078.449 Set: 2286.783 Check: 0.0 Back: 208.095 INFO - Atoms: 41993/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 280 Props: 8435066 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.811 Prop: 13346.923 PropClause: 13122.298 Set: 2290.988 Check: 0.0 Back: 209.171 INFO - Atoms: 19853/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 281 Props: 8476390 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.821 Prop: 13386.196 PropClause: 13160.479 Set: 2302.21 Check: 0.0 Back: 209.674 INFO - Atoms: 41324/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 282 Props: 8518191 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.842 Prop: 13470.405 PropClause: 13243.584 Set: 2315.551 Check: 0.0 Back: 210.728 INFO - Atoms: 41801/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 283 Props: 8559221 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.853 Prop: 13539.049 PropClause: 13311.107 Set: 2328.15 Check: 0.0 Back: 211.819 INFO - Atoms: 41030/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 284 Props: 8600570 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.863 Prop: 13605.249 PropClause: 13376.228 Set: 2338.725 Check: 0.0 Back: 212.918 INFO - Atoms: 41349/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 285 Props: 8641891 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.874 Prop: 13654.801 PropClause: 13424.732 Set: 2348.459 Check: 0.0 Back: 213.964 INFO - Atoms: 41321/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 286 Props: 8684566 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.887 Prop: 13722.8 PropClause: 13491.552 Set: 2359.371 Check: 0.0 Back: 214.961 INFO - Atoms: 42675/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 287 Props: 8727221 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.897 Prop: 13795.841 PropClause: 13563.495 Set: 2370.825 Check: 0.0 Back: 216.004 INFO - Atoms: 42655/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 288 Props: 8768557 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.908 Prop: 13857.846 PropClause: 13624.466 Set: 2380.289 Check: 0.0 Back: 217.067 INFO - Atoms: 41336/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 289 Props: 8811249 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.921 Prop: 13913.203 PropClause: 13678.763 Set: 2389.921 Check: 0.0 Back: 218.048 INFO - Atoms: 42692/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 290 Props: 8852689 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.932 Prop: 13971.365 PropClause: 13735.886 Set: 2399.708 Check: 0.0 Back: 219.086 INFO - Atoms: 41440/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 291 Props: 8894135 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.944 Prop: 14028.69 PropClause: 13792.159 Set: 2409.756 Check: 0.0 Back: 220.078 INFO - Atoms: 41446/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 292 Props: 8936629 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.961 Prop: 14105.909 PropClause: 13868.253 Set: 2422.546 Check: 0.0 Back: 221.129 INFO - Atoms: 42494/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 293 Props: 8978185 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.974 Prop: 14181.142 PropClause: 13942.389 Set: 2434.386 Check: 0.0 Back: 222.175 INFO - Atoms: 41556/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 294 Props: 9019308 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.987 Prop: 14244.954 PropClause: 14005.146 Set: 2444.55 Check: 0.0 Back: 223.214 INFO - Atoms: 41123/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 295 Props: 9060468 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.998 Prop: 14311.142 PropClause: 14070.242 Set: 2455.681 Check: 0.0 Back: 224.207 INFO - Atoms: 41160/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 296 Props: 9102440 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.01 Prop: 14373.485 PropClause: 14131.523 Set: 2465.775 Check: 0.0 Back: 225.226 INFO - Atoms: 41972/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 297 Props: 9144668 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.02 Prop: 14426.925 PropClause: 14183.904 Set: 2475.594 Check: 0.0 Back: 226.293 INFO - Atoms: 42228/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 298 Props: 9185822 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.033 Prop: 14498.391 PropClause: 14254.275 Set: 2487.664 Check: 0.0 Back: 227.335 INFO - Atoms: 41154/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 299 Props: 9227153 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.043 Prop: 14554.255 PropClause: 14309.089 Set: 2498.196 Check: 0.0 Back: 228.347 INFO - Atoms: 41331/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 300 Props: 9268907 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.054 Prop: 14618.88 PropClause: 14372.64 Set: 2508.838 Check: 0.0 Back: 229.369 INFO - Atoms: 41754/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 301 Props: 9310504 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.066 Prop: 14678.783 PropClause: 14431.498 Set: 2518.693 Check: 0.0 Back: 230.381 INFO - Atoms: 41597/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 302 Props: 9352335 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.079 Prop: 14749.277 PropClause: 14500.934 Set: 2528.74 Check: 0.0 Back: 231.387 INFO - Atoms: 41831/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 303 Props: 9394023 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.091 Prop: 14807.016 PropClause: 14557.612 Set: 2539.181 Check: 0.0 Back: 232.399 INFO - Atoms: 41688/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 304 Props: 9435432 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.104 Prop: 14880.753 PropClause: 14630.306 Set: 2549.372 Check: 0.0 Back: 233.426 INFO - Atoms: 41409/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 305 Props: 9476824 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.115 Prop: 14944.882 PropClause: 14693.365 Set: 2560.16 Check: 0.0 Back: 234.439 INFO - Atoms: 41392/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 306 Props: 9518965 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.126 Prop: 15024.081 PropClause: 14771.481 Set: 2571.308 Check: 0.0 Back: 235.486 INFO - Atoms: 42141/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 307 Props: 9560561 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.145 Prop: 15115.881 PropClause: 14862.174 Set: 2584.542 Check: 0.0 Back: 236.508 INFO - Atoms: 41596/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 308 Props: 9602089 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.161 Prop: 15193.376 PropClause: 14938.585 Set: 2596.905 Check: 0.0 Back: 237.562 INFO - Atoms: 41528/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 309 Props: 9643902 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.178 Prop: 15268.842 PropClause: 15012.968 Set: 2608.568 Check: 0.0 Back: 238.612 INFO - Atoms: 41813/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 310 Props: 9685464 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.193 Prop: 15351.58 PropClause: 15094.64 Set: 2620.279 Check: 0.0 Back: 239.698 INFO - Atoms: 41562/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 311 Props: 9726880 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.203 Prop: 15411.421 PropClause: 15153.435 Set: 2630.469 Check: 0.0 Back: 240.694 INFO - Atoms: 41416/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 312 Props: 9768587 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.213 Prop: 15469.007 PropClause: 15209.979 Set: 2640.083 Check: 0.0 Back: 241.691 INFO - Atoms: 41707/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 313 Props: 9809882 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.224 Prop: 15534.684 PropClause: 15274.622 Set: 2650.128 Check: 0.0 Back: 242.69 INFO - Atoms: 41295/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 314 Props: 9854514 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.234 Prop: 15600.225 PropClause: 15339.039 Set: 2660.969 Check: 0.0 Back: 243.675 INFO - Atoms: 44632/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 315 Props: 9897467 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.245 Prop: 15670.236 PropClause: 15407.972 Set: 2671.067 Check: 0.0 Back: 244.746 INFO - Atoms: 42953/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 316 Props: 9927617 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.256 Prop: 15729.386 PropClause: 15466.369 Set: 2678.102 Check: 0.0 Back: 245.815 INFO - Atoms: 30150/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 317 Props: 9971180 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.267 Prop: 15787.607 PropClause: 15523.492 Set: 2688.845 Check: 0.0 Back: 246.525 INFO - Atoms: 43563/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 318 Props: 10006078 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.281 Prop: 15851.682 PropClause: 15586.694 Set: 2697.701 Check: 0.0 Back: 247.569 INFO - Atoms: 34898/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved INFO - Bitblasting DPLL: INFO - Confl: 319 Props: 10052460 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.297 Prop: 15920.485 PropClause: 15654.324 Set: 2709.452 Check: 0.0 Back: 248.398 INFO - Atoms: 46382/54835 Clauses: 376 Axioms: 258766 INFO - Formula is unsat INFO - Bitblasting DPLL solved