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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 120078890
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 25470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.585 Prop: 40.835 PropClause: 35.979 Set: 16.861 Check: 0.0 Back: 0.0
INFO - Atoms: 25470/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 50940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.643 Prop: 71.888 PropClause: 66.135 Set: 21.776 Check: 0.0 Back: 0.65
INFO - Atoms: 25470/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 76158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.68 Prop: 97.404 PropClause: 90.664 Set: 28.468 Check: 0.0 Back: 1.25
INFO - Atoms: 25218/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 101187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.753 Prop: 125.145 PropClause: 117.459 Set: 36.004 Check: 0.0 Back: 1.818
INFO - Atoms: 25029/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 126216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.198 Prop: 151.873 PropClause: 143.44 Set: 40.824 Check: 0.0 Back: 2.399
INFO - Atoms: 25029/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 151245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.249 Prop: 181.056 PropClause: 171.858 Set: 45.55 Check: 0.0 Back: 2.966
INFO - Atoms: 25029/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 176268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.298 Prop: 202.555 PropClause: 192.622 Set: 50.385 Check: 0.0 Back: 3.534
INFO - Atoms: 25023/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 201164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.351 Prop: 230.408 PropClause: 219.748 Set: 55.269 Check: 0.0 Back: 4.117
INFO - Atoms: 24896/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 225930 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.435 Prop: 252.517 PropClause: 241.108 Set: 60.132 Check: 0.0 Back: 4.682
INFO - Atoms: 24766/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 250564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.535 Prop: 277.942 PropClause: 265.81 Set: 64.926 Check: 0.0 Back: 5.244
INFO - Atoms: 24634/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 275068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.591 Prop: 301.071 PropClause: 288.042 Set: 72.451 Check: 0.0 Back: 5.802
INFO - Atoms: 24504/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 299440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.638 Prop: 326.921 PropClause: 313.159 Set: 79.86 Check: 0.0 Back: 6.369
INFO - Atoms: 24372/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 323682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.693 Prop: 350.283 PropClause: 335.768 Set: 109.942 Check: 0.0 Back: 6.938
INFO - Atoms: 24242/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 347792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.777 Prop: 373.066 PropClause: 357.921 Set: 114.578 Check: 0.0 Back: 7.497
INFO - Atoms: 24110/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 371772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.828 Prop: 391.076 PropClause: 375.324 Set: 119.116 Check: 0.0 Back: 8.283
INFO - Atoms: 23980/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 395620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.872 Prop: 416.19 PropClause: 399.833 Set: 131.763 Check: 0.0 Back: 9.068
INFO - Atoms: 23848/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 419338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.921 Prop: 433.79 PropClause: 416.833 Set: 136.159 Check: 0.0 Back: 9.883
INFO - Atoms: 23718/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 442924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.003 Prop: 457.006 PropClause: 439.454 Set: 140.693 Check: 0.0 Back: 10.581
INFO - Atoms: 23586/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 466380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.052 Prop: 474.46 PropClause: 456.32 Set: 145.06 Check: 0.0 Back: 11.396
INFO - Atoms: 23456/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 489704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.096 Prop: 493.411 PropClause: 474.673 Set: 149.409 Check: 0.0 Back: 12.17
INFO - Atoms: 23324/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 512898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.143 Prop: 513.811 PropClause: 494.483 Set: 153.777 Check: 0.0 Back: 12.927
INFO - Atoms: 23194/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 535960 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.19 Prop: 537.022 PropClause: 517.096 Set: 158.119 Check: 0.0 Back: 13.721
INFO - Atoms: 23062/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 558892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.237 Prop: 556.002 PropClause: 535.488 Set: 162.472 Check: 0.0 Back: 14.485
INFO - Atoms: 22932/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 581692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.283 Prop: 571.341 PropClause: 550.253 Set: 166.578 Check: 0.0 Back: 15.22
INFO - Atoms: 22800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 604362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.337 Prop: 591.407 PropClause: 569.749 Set: 172.041 Check: 0.0 Back: 15.9
INFO - Atoms: 22670/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 626900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.388 Prop: 612.863 PropClause: 590.639 Set: 178.691 Check: 0.0 Back: 16.65
INFO - Atoms: 22538/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 649308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.438 Prop: 630.357 PropClause: 607.566 Set: 185.287 Check: 0.0 Back: 17.389
INFO - Atoms: 22408/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 671584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.49 Prop: 651.344 PropClause: 627.99 Set: 191.822 Check: 0.0 Back: 18.047
INFO - Atoms: 22276/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 693730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.536 Prop: 666.276 PropClause: 642.364 Set: 198.091 Check: 0.0 Back: 18.757
INFO - Atoms: 22146/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 715744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.582 Prop: 683.579 PropClause: 659.109 Set: 204.602 Check: 0.0 Back: 19.382
INFO - Atoms: 22014/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 737628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.629 Prop: 698.294 PropClause: 673.275 Set: 208.567 Check: 0.0 Back: 19.966
INFO - Atoms: 21884/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 759380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.675 Prop: 712.092 PropClause: 686.523 Set: 212.451 Check: 0.0 Back: 20.556
INFO - Atoms: 21752/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 781002 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.721 Prop: 729.502 PropClause: 703.383 Set: 216.433 Check: 0.0 Back: 21.153
INFO - Atoms: 21622/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 802492 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.765 Prop: 746.905 PropClause: 720.243 Set: 220.299 Check: 0.0 Back: 21.795
INFO - Atoms: 21490/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 823852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.81 Prop: 759.978 PropClause: 732.779 Set: 224.075 Check: 0.0 Back: 22.431
INFO - Atoms: 21360/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 845080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.847 Prop: 775.422 PropClause: 747.684 Set: 227.845 Check: 0.0 Back: 22.968
INFO - Atoms: 21228/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 866178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.887 Prop: 791.297 PropClause: 763.034 Set: 231.586 Check: 0.0 Back: 23.615
INFO - Atoms: 21098/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 887144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.928 Prop: 806.731 PropClause: 777.949 Set: 235.259 Check: 0.0 Back: 24.236
INFO - Atoms: 20966/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 907980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.977 Prop: 820.695 PropClause: 791.389 Set: 238.934 Check: 0.0 Back: 24.846
INFO - Atoms: 20836/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 928684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.023 Prop: 838.64 PropClause: 808.811 Set: 242.697 Check: 0.0 Back: 25.377
INFO - Atoms: 20704/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 949258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.071 Prop: 854.069 PropClause: 823.726 Set: 246.371 Check: 0.0 Back: 25.984
INFO - Atoms: 20574/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 969700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.125 Prop: 871.782 PropClause: 840.924 Set: 250.095 Check: 0.0 Back: 26.589
INFO - Atoms: 20442/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 990012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.167 Prop: 882.515 PropClause: 851.147 Set: 253.627 Check: 0.0 Back: 27.22
INFO - Atoms: 20312/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 1010192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.211 Prop: 897.362 PropClause: 865.491 Set: 257.188 Check: 0.0 Back: 27.769
INFO - Atoms: 20180/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 1030242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.257 Prop: 911.601 PropClause: 879.227 Set: 260.732 Check: 0.0 Back: 28.351
INFO - Atoms: 20050/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 1050160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.312 Prop: 926.841 PropClause: 893.964 Set: 264.271 Check: 0.0 Back: 28.895
INFO - Atoms: 19918/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 1069948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.357 Prop: 938.177 PropClause: 904.801 Set: 267.716 Check: 0.0 Back: 29.469
INFO - Atoms: 19788/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 1089604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.404 Prop: 952.477 PropClause: 918.59 Set: 271.205 Check: 0.0 Back: 29.998
INFO - Atoms: 19656/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 1109130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.445 Prop: 966.732 PropClause: 932.34 Set: 274.661 Check: 0.0 Back: 30.559
INFO - Atoms: 19526/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 1128524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.486 Prop: 979.902 PropClause: 945.024 Set: 278.074 Check: 0.0 Back: 31.135
INFO - Atoms: 19394/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 1147788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.528 Prop: 988.631 PropClause: 953.27 Set: 281.395 Check: 0.0 Back: 31.688
INFO - Atoms: 19264/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 1166920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.576 Prop: 1002.99 PropClause: 967.148 Set: 284.774 Check: 0.0 Back: 32.157
INFO - Atoms: 19132/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 1185922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.712 Prop: 1015.993 PropClause: 979.669 Set: 288.114 Check: 0.0 Back: 32.688
INFO - Atoms: 19002/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 1204792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.734 Prop: 1030.52 PropClause: 993.724 Set: 291.476 Check: 0.0 Back: 33.246
INFO - Atoms: 18870/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 1223532 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.755 Prop: 1042.777 PropClause: 1005.498 Set: 294.741 Check: 0.0 Back: 33.763
INFO - Atoms: 18740/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 1242140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.774 Prop: 1052.223 PropClause: 1014.475 Set: 297.949 Check: 0.0 Back: 34.222
INFO - Atoms: 18608/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 1260618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.795 Prop: 1063.978 PropClause: 1025.762 Set: 301.195 Check: 0.0 Back: 34.679
INFO - Atoms: 18478/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 1278964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.817 Prop: 1078.202 PropClause: 1039.528 Set: 304.387 Check: 0.0 Back: 35.154
INFO - Atoms: 18346/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 1297180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.837 Prop: 1088.61 PropClause: 1049.483 Set: 307.539 Check: 0.0 Back: 35.665
INFO - Atoms: 18216/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 1315264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.861 Prop: 1102.138 PropClause: 1062.553 Set: 310.717 Check: 0.0 Back: 36.119
INFO - Atoms: 18084/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 1333218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.882 Prop: 1114.122 PropClause: 1074.086 Set: 313.919 Check: 0.0 Back: 36.585
INFO - Atoms: 17954/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 1351040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.903 Prop: 1128.503 PropClause: 1088.014 Set: 317.99 Check: 0.0 Back: 37.084
INFO - Atoms: 17822/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 1368732 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.928 Prop: 1141.585 PropClause: 1100.646 Set: 323.072 Check: 0.0 Back: 37.609
INFO - Atoms: 17692/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 1386292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.947 Prop: 1154.003 PropClause: 1112.614 Set: 327.841 Check: 0.0 Back: 38.098
INFO - Atoms: 17560/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 1403722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.968 Prop: 1164.939 PropClause: 1123.092 Set: 332.557 Check: 0.0 Back: 38.56
INFO - Atoms: 17430/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 1421020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.99 Prop: 1174.098 PropClause: 1131.808 Set: 337.107 Check: 0.0 Back: 39.003
INFO - Atoms: 17298/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 1438188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.013 Prop: 1185.378 PropClause: 1142.65 Set: 341.863 Check: 0.0 Back: 39.425
INFO - Atoms: 17168/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 1455224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.034 Prop: 1198.239 PropClause: 1155.08 Set: 346.614 Check: 0.0 Back: 39.891
INFO - Atoms: 17036/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 1473021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.057 Prop: 1211.923 PropClause: 1168.312 Set: 351.775 Check: 0.0 Back: 40.335
INFO - Atoms: 17797/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 1490817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.079 Prop: 1224.002 PropClause: 1179.941 Set: 356.593 Check: 0.0 Back: 40.859
INFO - Atoms: 17796/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 1508238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.098 Prop: 1235.13 PropClause: 1190.633 Set: 361.284 Check: 0.0 Back: 41.317
INFO - Atoms: 17421/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 1526037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.12 Prop: 1249.428 PropClause: 1204.483 Set: 366.345 Check: 0.0 Back: 41.751
INFO - Atoms: 17799/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 1543956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.14 Prop: 1261.208 PropClause: 1215.812 Set: 371.286 Check: 0.0 Back: 42.245
INFO - Atoms: 17919/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 1561878 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.16 Prop: 1271.162 PropClause: 1225.315 Set: 376.068 Check: 0.0 Back: 42.716
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 1579678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.182 Prop: 1283.398 PropClause: 1237.104 Set: 381.073 Check: 0.0 Back: 43.158
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 1597599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.203 Prop: 1298.623 PropClause: 1251.878 Set: 386.198 Check: 0.0 Back: 43.633
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 1615524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.229 Prop: 1311.983 PropClause: 1264.791 Set: 390.88 Check: 0.0 Back: 44.167
INFO - Atoms: 17925/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 1633444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.25 Prop: 1325.464 PropClause: 1277.819 Set: 395.515 Check: 0.0 Back: 44.678
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 1651245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.273 Prop: 1339.166 PropClause: 1291.073 Set: 400.355 Check: 0.0 Back: 45.187
INFO - Atoms: 17801/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 1669167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.294 Prop: 1353.365 PropClause: 1304.819 Set: 405.183 Check: 0.0 Back: 45.666
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 1686967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.314 Prop: 1364.684 PropClause: 1315.691 Set: 408.343 Check: 0.0 Back: 46.167
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 1704888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.336 Prop: 1376.985 PropClause: 1327.539 Set: 411.548 Check: 0.0 Back: 46.606
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 1722314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.359 Prop: 1388.539 PropClause: 1338.657 Set: 414.619 Check: 0.0 Back: 47.069
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 1740234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.38 Prop: 1401.745 PropClause: 1351.411 Set: 417.891 Check: 0.0 Back: 47.525
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 1758155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.4 Prop: 1412.416 PropClause: 1361.633 Set: 421.057 Check: 0.0 Back: 48.017
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 1776077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.421 Prop: 1425.144 PropClause: 1373.909 Set: 424.252 Check: 0.0 Back: 48.491
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 1793877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.442 Prop: 1436.587 PropClause: 1384.901 Set: 427.423 Check: 0.0 Back: 48.982
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 1811798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.466 Prop: 1449.509 PropClause: 1397.364 Set: 430.795 Check: 0.0 Back: 49.444
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 1829224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.567 Prop: 1461.834 PropClause: 1409.252 Set: 433.895 Check: 0.0 Back: 49.935
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 1847144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.668 Prop: 1476.123 PropClause: 1423.089 Set: 437.19 Check: 0.0 Back: 50.424
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 1865065 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.69 Prop: 1488.725 PropClause: 1435.226 Set: 440.423 Check: 0.0 Back: 50.933
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 1882987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.711 Prop: 1501.778 PropClause: 1447.829 Set: 443.679 Check: 0.0 Back: 51.448
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 1900787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.735 Prop: 1512.392 PropClause: 1457.99 Set: 446.819 Check: 0.0 Back: 51.905
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 1918708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.755 Prop: 1526.945 PropClause: 1472.094 Set: 450.106 Check: 0.0 Back: 52.385
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 1936134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.17 Prop: 1543.999 PropClause: 1488.71 Set: 453.194 Check: 0.0 Back: 52.899
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 1954054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.249 Prop: 1555.676 PropClause: 1499.935 Set: 456.449 Check: 0.0 Back: 53.394
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 1971975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.259 Prop: 1563.995 PropClause: 1507.806 Set: 459.6 Check: 0.0 Back: 53.869
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 1989897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.269 Prop: 1572.872 PropClause: 1516.233 Set: 462.777 Check: 0.0 Back: 54.293
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 2007697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.278 Prop: 1585.078 PropClause: 1527.994 Set: 465.97 Check: 0.0 Back: 54.747
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 2025618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.288 Prop: 1597.048 PropClause: 1539.516 Set: 469.142 Check: 0.0 Back: 55.216
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 2043044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.298 Prop: 1607.564 PropClause: 1549.585 Set: 472.183 Check: 0.0 Back: 55.683
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 2060964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.311 Prop: 1618.127 PropClause: 1559.698 Set: 475.395 Check: 0.0 Back: 56.15
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 2078885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.321 Prop: 1626.468 PropClause: 1567.588 Set: 478.553 Check: 0.0 Back: 56.581
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 2096807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.331 Prop: 1637.769 PropClause: 1578.44 Set: 481.763 Check: 0.0 Back: 57.016
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 2114607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.341 Prop: 1649.914 PropClause: 1590.139 Set: 484.97 Check: 0.0 Back: 57.504
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 2132528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.352 Prop: 1661.345 PropClause: 1601.128 Set: 488.178 Check: 0.0 Back: 57.949
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 2149954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.363 Prop: 1672.543 PropClause: 1611.891 Set: 491.232 Check: 0.0 Back: 58.411
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 2167874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.374 Prop: 1684.782 PropClause: 1623.682 Set: 494.447 Check: 0.0 Back: 58.858
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 2185795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.387 Prop: 1695.581 PropClause: 1634.034 Set: 497.638 Check: 0.0 Back: 59.363
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 2203717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.396 Prop: 1709.636 PropClause: 1647.626 Set: 500.929 Check: 0.0 Back: 59.841
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 2221517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.407 Prop: 1720.819 PropClause: 1658.358 Set: 504.069 Check: 0.0 Back: 60.341
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 2239438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.421 Prop: 1740.227 PropClause: 1677.314 Set: 507.321 Check: 0.0 Back: 60.785
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 2256864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.43 Prop: 1749.747 PropClause: 1686.397 Set: 510.348 Check: 0.0 Back: 61.267
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 2274784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.438 Prop: 1759.073 PropClause: 1695.274 Set: 513.577 Check: 0.0 Back: 61.697
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 2292705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.449 Prop: 1771.655 PropClause: 1707.406 Set: 516.807 Check: 0.0 Back: 62.172
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 2310627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.458 Prop: 1784.953 PropClause: 1720.253 Set: 520.065 Check: 0.0 Back: 62.678
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 2328427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.47 Prop: 1799.773 PropClause: 1734.62 Set: 523.344 Check: 0.0 Back: 63.174
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 2346348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.482 Prop: 1812.443 PropClause: 1746.835 Set: 526.627 Check: 0.0 Back: 63.65
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 2363774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.493 Prop: 1821.626 PropClause: 1755.578 Set: 529.659 Check: 0.0 Back: 64.155
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 2381694 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.505 Prop: 1832.047 PropClause: 1765.548 Set: 532.876 Check: 0.0 Back: 64.577
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 2399615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.516 Prop: 1844.312 PropClause: 1777.364 Set: 536.094 Check: 0.0 Back: 65.054
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 2417537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.527 Prop: 1858.935 PropClause: 1791.533 Set: 539.425 Check: 0.0 Back: 65.54
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 2435337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.538 Prop: 1871.401 PropClause: 1803.554 Set: 542.62 Check: 0.0 Back: 66.037
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 2453258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.55 Prop: 1883.506 PropClause: 1815.211 Set: 545.87 Check: 0.0 Back: 66.511
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 2470684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.561 Prop: 1895.33 PropClause: 1826.596 Set: 549.003 Check: 0.0 Back: 66.975
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 2488604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.572 Prop: 1907.832 PropClause: 1838.646 Set: 552.256 Check: 0.0 Back: 67.403
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 2506525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.583 Prop: 1921.138 PropClause: 1851.504 Set: 555.502 Check: 0.0 Back: 67.911
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 2524447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.594 Prop: 1934.81 PropClause: 1864.723 Set: 558.784 Check: 0.0 Back: 68.392
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 2542247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.607 Prop: 1947.839 PropClause: 1877.303 Set: 562.017 Check: 0.0 Back: 68.867
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 2560168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.619 Prop: 1958.84 PropClause: 1887.85 Set: 565.255 Check: 0.0 Back: 69.352
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 2577594 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.629 Prop: 1969.483 PropClause: 1898.057 Set: 568.322 Check: 0.0 Back: 69.805
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 2595514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.641 Prop: 1983.99 PropClause: 1912.114 Set: 571.616 Check: 0.0 Back: 70.28
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 2613435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.652 Prop: 1997.369 PropClause: 1925.04 Set: 574.87 Check: 0.0 Back: 70.799
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 2631357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.664 Prop: 2010.42 PropClause: 1937.641 Set: 578.183 Check: 0.0 Back: 71.29
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 2649157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.677 Prop: 2034.445 PropClause: 1961.219 Set: 581.354 Check: 0.0 Back: 71.781
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 2667078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.69 Prop: 2045.7 PropClause: 1972.027 Set: 590.778 Check: 0.0 Back: 72.247
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 2684504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.7 Prop: 2058.152 PropClause: 1984.031 Set: 593.867 Check: 0.0 Back: 72.75
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 2702424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.71 Prop: 2071.479 PropClause: 1996.909 Set: 597.169 Check: 0.0 Back: 73.213
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 2720345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.723 Prop: 2085.27 PropClause: 2010.248 Set: 600.478 Check: 0.0 Back: 73.71
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 2738267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.737 Prop: 2097.933 PropClause: 2022.446 Set: 603.743 Check: 0.0 Back: 74.194
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 2756067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.748 Prop: 2106.502 PropClause: 2030.567 Set: 606.888 Check: 0.0 Back: 74.669
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 2773988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.759 Prop: 2119.734 PropClause: 2043.346 Set: 610.206 Check: 0.0 Back: 75.098
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 2791414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.769 Prop: 2132.581 PropClause: 2055.737 Set: 613.309 Check: 0.0 Back: 75.582
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 2809334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.781 Prop: 2145.753 PropClause: 2068.453 Set: 616.584 Check: 0.0 Back: 76.058
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 2827255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.794 Prop: 2159.405 PropClause: 2081.654 Set: 619.885 Check: 0.0 Back: 76.557
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 2844680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.805 Prop: 2170.609 PropClause: 2092.415 Set: 622.965 Check: 0.0 Back: 77.062
INFO - Atoms: 17425/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 2862600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.817 Prop: 2181.254 PropClause: 2102.593 Set: 626.184 Check: 0.0 Back: 77.494
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 2880521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.828 Prop: 2194.798 PropClause: 2115.682 Set: 629.49 Check: 0.0 Back: 77.977
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 2897947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.84 Prop: 2208.734 PropClause: 2129.178 Set: 632.634 Check: 0.0 Back: 78.489
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 2915867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.852 Prop: 2222.84 PropClause: 2142.831 Set: 636.051 Check: 0.0 Back: 78.966
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 2933788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.863 Prop: 2231.887 PropClause: 2151.429 Set: 639.236 Check: 0.0 Back: 79.483
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 2951213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.877 Prop: 2241.438 PropClause: 2160.525 Set: 642.393 Check: 0.0 Back: 79.91
INFO - Atoms: 17425/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 2969133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.917 Prop: 2252.361 PropClause: 2170.998 Set: 645.646 Check: 0.0 Back: 80.361
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 2987054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.956 Prop: 2265.507 PropClause: 2183.692 Set: 648.886 Check: 0.0 Back: 80.836
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 3004977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.966 Prop: 2277.145 PropClause: 2194.877 Set: 652.121 Check: 0.0 Back: 81.341
INFO - Atoms: 17923/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 3022897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.977 Prop: 2290.816 PropClause: 2208.097 Set: 655.406 Check: 0.0 Back: 81.814
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 3040698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.986 Prop: 2299.202 PropClause: 2216.038 Set: 658.522 Check: 0.0 Back: 82.31
INFO - Atoms: 17801/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 3058620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.996 Prop: 2309.975 PropClause: 2226.36 Set: 661.761 Check: 0.0 Back: 82.731
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 3076420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.007 Prop: 2323.107 PropClause: 2239.043 Set: 664.997 Check: 0.0 Back: 83.217
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 3094341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.019 Prop: 2335.519 PropClause: 2251.003 Set: 669.193 Check: 0.0 Back: 83.693
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 3111767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.03 Prop: 2348.757 PropClause: 2263.8 Set: 673.926 Check: 0.0 Back: 84.186
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 3129687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.041 Prop: 2361.397 PropClause: 2275.988 Set: 678.987 Check: 0.0 Back: 84.644
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 3147608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.052 Prop: 2375.85 PropClause: 2289.99 Set: 684.191 Check: 0.0 Back: 85.112
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 3165530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.066 Prop: 2389.846 PropClause: 2303.523 Set: 689.112 Check: 0.0 Back: 85.623
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 3183330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.078 Prop: 2404.259 PropClause: 2317.484 Set: 693.999 Check: 0.0 Back: 86.134
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 3201251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.089 Prop: 2419.116 PropClause: 2331.887 Set: 699.195 Check: 0.0 Back: 86.632
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 3218677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.101 Prop: 2430.931 PropClause: 2343.26 Set: 703.766 Check: 0.0 Back: 87.145
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 3236597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.11 Prop: 2441.021 PropClause: 2352.894 Set: 708.279 Check: 0.0 Back: 87.601
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 3254518 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.12 Prop: 2450.856 PropClause: 2362.28 Set: 712.834 Check: 0.0 Back: 88.034
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 3272440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.132 Prop: 2463.415 PropClause: 2374.392 Set: 717.674 Check: 0.0 Back: 88.482
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 3290240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.143 Prop: 2477.143 PropClause: 2387.673 Set: 722.462 Check: 0.0 Back: 88.987
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 3308161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.153 Prop: 2489.004 PropClause: 2399.087 Set: 727.131 Check: 0.0 Back: 89.48
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 3325587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.167 Prop: 2502.506 PropClause: 2412.152 Set: 730.287 Check: 0.0 Back: 89.945
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 3343507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.178 Prop: 2514.904 PropClause: 2424.098 Set: 733.599 Check: 0.0 Back: 90.384
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 3361428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.189 Prop: 2527.363 PropClause: 2436.105 Set: 736.868 Check: 0.0 Back: 90.885
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 3379350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.2 Prop: 2540.713 PropClause: 2449.002 Set: 740.171 Check: 0.0 Back: 91.394
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 3397150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.211 Prop: 2553.519 PropClause: 2461.36 Set: 743.416 Check: 0.0 Back: 91.889
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 3415071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.224 Prop: 2566.623 PropClause: 2474.013 Set: 746.723 Check: 0.0 Back: 92.388
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 3432497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.234 Prop: 2576.511 PropClause: 2483.463 Set: 749.772 Check: 0.0 Back: 92.884
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 3450417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.247 Prop: 2587.965 PropClause: 2494.449 Set: 753.082 Check: 0.0 Back: 93.296
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 3468338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.259 Prop: 2602.281 PropClause: 2508.306 Set: 756.447 Check: 0.0 Back: 93.808
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 3486260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.27 Prop: 2616.832 PropClause: 2522.398 Set: 759.781 Check: 0.0 Back: 94.314
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 3504060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.28 Prop: 2628.817 PropClause: 2533.922 Set: 762.953 Check: 0.0 Back: 94.826
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 3521981 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.291 Prop: 2639.611 PropClause: 2544.261 Set: 766.205 Check: 0.0 Back: 95.31
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 3539407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.301 Prop: 2653.853 PropClause: 2558.064 Set: 769.415 Check: 0.0 Back: 95.792
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 3557327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.312 Prop: 2664.88 PropClause: 2568.642 Set: 772.637 Check: 0.0 Back: 96.247
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 3575248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.323 Prop: 2678.65 PropClause: 2581.951 Set: 775.876 Check: 0.0 Back: 96.725
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 3593170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.334 Prop: 2693.695 PropClause: 2596.546 Set: 779.254 Check: 0.0 Back: 97.219
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 3610970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.346 Prop: 2705.609 PropClause: 2608.013 Set: 782.443 Check: 0.0 Back: 97.732
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 3628891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.357 Prop: 2717.209 PropClause: 2619.161 Set: 785.696 Check: 0.0 Back: 98.217
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 3646317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.368 Prop: 2726.174 PropClause: 2627.69 Set: 788.707 Check: 0.0 Back: 98.714
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 3664237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.377 Prop: 2735.234 PropClause: 2636.296 Set: 791.895 Check: 0.0 Back: 99.134
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 3682158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.387 Prop: 2747.773 PropClause: 2648.383 Set: 795.159 Check: 0.0 Back: 99.579
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 3700080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.406 Prop: 2760.816 PropClause: 2660.976 Set: 798.422 Check: 0.0 Back: 100.07
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 3717880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.445 Prop: 2772.051 PropClause: 2671.764 Set: 801.617 Check: 0.0 Back: 100.578
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 3735801 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.451 Prop: 2784.281 PropClause: 2683.544 Set: 804.909 Check: 0.0 Back: 101.033
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 3753227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.464 Prop: 2792.814 PropClause: 2691.637 Set: 807.94 Check: 0.0 Back: 101.553
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 3771147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.47 Prop: 2801.122 PropClause: 2699.495 Set: 811.122 Check: 0.0 Back: 101.966
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 3789068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.478 Prop: 2811.722 PropClause: 2709.644 Set: 814.361 Check: 0.0 Back: 102.401
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 3806990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.483 Prop: 2824.503 PropClause: 2721.973 Set: 817.653 Check: 0.0 Back: 102.844
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 3824790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.488 Prop: 2838.364 PropClause: 2735.387 Set: 820.929 Check: 0.0 Back: 103.357
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 3842711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.494 Prop: 2849.821 PropClause: 2746.391 Set: 824.156 Check: 0.0 Back: 103.879
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 3860137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.5 Prop: 2862.7 PropClause: 2758.83 Set: 827.296 Check: 0.0 Back: 104.359
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 3878057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.506 Prop: 2871.575 PropClause: 2767.253 Set: 830.508 Check: 0.0 Back: 104.834
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 3895978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.513 Prop: 2880.528 PropClause: 2775.76 Set: 833.665 Check: 0.0 Back: 105.274
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 3913900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.517 Prop: 2892.2 PropClause: 2786.981 Set: 836.94 Check: 0.0 Back: 105.703
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 3931700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.523 Prop: 2905.523 PropClause: 2799.846 Set: 840.162 Check: 0.0 Back: 106.2
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 3949621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.529 Prop: 2916.728 PropClause: 2810.598 Set: 843.41 Check: 0.0 Back: 106.7
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 3967047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.535 Prop: 2928.955 PropClause: 2822.384 Set: 846.5 Check: 0.0 Back: 107.177
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 3984967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.541 Prop: 2937.356 PropClause: 2830.333 Set: 849.682 Check: 0.0 Back: 107.658
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 4002888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.547 Prop: 2948.202 PropClause: 2840.731 Set: 852.906 Check: 0.0 Back: 108.108
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 4020810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.552 Prop: 2960.193 PropClause: 2852.273 Set: 856.141 Check: 0.0 Back: 108.572
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 4038610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.558 Prop: 2973.484 PropClause: 2865.116 Set: 859.41 Check: 0.0 Back: 109.048
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 4056531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.565 Prop: 2985.096 PropClause: 2876.263 Set: 862.622 Check: 0.0 Back: 109.553
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 4073957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.571 Prop: 2999.118 PropClause: 2889.845 Set: 865.847 Check: 0.0 Back: 110.058
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 4091877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.578 Prop: 3012.185 PropClause: 2902.459 Set: 869.214 Check: 0.0 Back: 110.568
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 4109798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.584 Prop: 3022.244 PropClause: 2912.065 Set: 872.444 Check: 0.0 Back: 111.044
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 4127223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.59 Prop: 3033.52 PropClause: 2922.889 Set: 875.591 Check: 0.0 Back: 111.496
INFO - Atoms: 17425/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 4145143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.597 Prop: 3047.412 PropClause: 2936.329 Set: 878.937 Check: 0.0 Back: 111.985
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 4163064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.602 Prop: 3060.958 PropClause: 2949.421 Set: 882.283 Check: 0.0 Back: 112.503
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 4180490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.608 Prop: 3073.513 PropClause: 2961.521 Set: 885.428 Check: 0.0 Back: 113.012
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 4198410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.614 Prop: 3084.685 PropClause: 2972.238 Set: 888.694 Check: 0.0 Back: 113.477
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 4216331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.621 Prop: 3096.235 PropClause: 2983.336 Set: 891.944 Check: 0.0 Back: 113.982
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 4233756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.627 Prop: 3105.844 PropClause: 2992.507 Set: 895.022 Check: 0.0 Back: 114.469
INFO - Atoms: 17425/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 4251676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.633 Prop: 3116.382 PropClause: 3002.596 Set: 898.286 Check: 0.0 Back: 114.898
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 4269597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.639 Prop: 3128.844 PropClause: 3014.596 Set: 901.588 Check: 0.0 Back: 115.428
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 4287520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.646 Prop: 3142.632 PropClause: 3027.933 Set: 904.906 Check: 0.0 Back: 115.942
INFO - Atoms: 17923/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 4305440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.651 Prop: 3154.341 PropClause: 3039.192 Set: 908.185 Check: 0.0 Back: 116.456
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 4323241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.656 Prop: 3165.946 PropClause: 3050.348 Set: 911.408 Check: 0.0 Back: 116.928
INFO - Atoms: 17801/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 4341163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.662 Prop: 3174.962 PropClause: 3058.909 Set: 914.625 Check: 0.0 Back: 117.411
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 4358963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.669 Prop: 3184.557 PropClause: 3068.045 Set: 917.835 Check: 0.0 Back: 117.854
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 4376828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.675 Prop: 3196.601 PropClause: 3079.641 Set: 921.072 Check: 0.0 Back: 118.287
INFO - Atoms: 17865/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 4394254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.681 Prop: 3209.962 PropClause: 3092.564 Set: 924.244 Check: 0.0 Back: 118.768
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 4412061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.685 Prop: 3221.494 PropClause: 3103.646 Set: 927.471 Check: 0.0 Back: 119.248
INFO - Atoms: 17807/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 4429868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.69 Prop: 3233.309 PropClause: 3115.014 Set: 930.701 Check: 0.0 Back: 119.735
INFO - Atoms: 17807/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 4447676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.697 Prop: 3245.057 PropClause: 3126.311 Set: 942.088 Check: 0.0 Back: 120.213
INFO - Atoms: 17808/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 4465360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.704 Prop: 3256.85 PropClause: 3137.659 Set: 945.322 Check: 0.0 Back: 120.674
INFO - Atoms: 17684/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 4483045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.71 Prop: 3268.729 PropClause: 3149.092 Set: 948.614 Check: 0.0 Back: 121.13
INFO - Atoms: 17685/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 4500471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.715 Prop: 3282.312 PropClause: 3162.233 Set: 951.825 Check: 0.0 Back: 121.64
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 4518029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.824 Prop: 3294.696 PropClause: 3174.172 Set: 955.079 Check: 0.0 Back: 122.142
INFO - Atoms: 17558/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 4535587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.865 Prop: 3306.507 PropClause: 3185.537 Set: 958.285 Check: 0.0 Back: 122.646
INFO - Atoms: 17558/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 4553301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.907 Prop: 3317.059 PropClause: 3195.638 Set: 961.548 Check: 0.0 Back: 123.116
INFO - Atoms: 17714/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 4571016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.926 Prop: 3330.032 PropClause: 3208.147 Set: 964.83 Check: 0.0 Back: 123.596
INFO - Atoms: 17715/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 4588732 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.932 Prop: 3341.614 PropClause: 3219.281 Set: 968.082 Check: 0.0 Back: 124.054
INFO - Atoms: 17716/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 4606325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.938 Prop: 3350.567 PropClause: 3227.788 Set: 971.222 Check: 0.0 Back: 124.532
INFO - Atoms: 17593/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 4624042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.944 Prop: 3359.038 PropClause: 3235.814 Set: 974.379 Check: 0.0 Back: 124.956
INFO - Atoms: 17717/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 4641756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.949 Prop: 3367.638 PropClause: 3243.966 Set: 977.51 Check: 0.0 Back: 125.391
INFO - Atoms: 17714/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 4659474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.954 Prop: 3377.052 PropClause: 3252.936 Set: 980.632 Check: 0.0 Back: 125.817
INFO - Atoms: 17718/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 4676642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.96 Prop: 3389.167 PropClause: 3264.617 Set: 983.708 Check: 0.0 Back: 126.268
INFO - Atoms: 17168/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 4693679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.966 Prop: 3398.054 PropClause: 3273.075 Set: 986.648 Check: 0.0 Back: 126.716
INFO - Atoms: 17037/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 4711014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.971 Prop: 3408.362 PropClause: 3282.948 Set: 992.38 Check: 0.0 Back: 127.138
INFO - Atoms: 17335/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 4720421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.092 Prop: 3429.322 PropClause: 3303.668 Set: 993.826 Check: 0.0 Back: 127.577
INFO - Atoms: 9407/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 4729956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.106 Prop: 3432.641 PropClause: 3306.742 Set: 995.307 Check: 0.0 Back: 127.791
INFO - Atoms: 9535/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 753 Props: 5445444 Tprops: 0 Decides: 2261 RSplits: 0
INFO - Times: Expl: 386.758 Prop: 3732.719 PropClause: 3587.345 Set: 1013.271 Check: 0.052 Back: 144.017
INFO - Atoms: 8389/25472 Clauses: 888 Axioms: 83698
INFO - Confl: 1250 Props: 6015909 Tprops: 0 Decides: 4342 RSplits: 0
INFO - Times: Expl: 590.731 Prop: 4008.98 PropClause: 3846.971 Set: 1027.046 Check: 0.102 Back: 156.952
INFO - Atoms: 9088/25472 Clauses: 1385 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 279 Props: 20988 Tprops: 5047 Decides: 22462 RSplits: 0
INFO - Times: Expl: 148.757 Prop: 10770.145 PropClause: 9.938 Set: 2469.175 Check: 85.643 Back: 73.863
INFO - Atoms: 517/582 Clauses: 279 Axioms: 582
INFO - CCTimes: iE 219711 eq 12743766 cc 49284733 setRep 25545766
INFO - Merges: 165724, cc:259128
INFO - BVTimes: BB 120063701 BB_DPLL 9640311611 Graph 567982
INFO - BitBlastingClauses: 182250 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat