/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: 130129490
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 25470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.638 Prop: 53.863 PropClause: 47.777 Set: 67.923 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.707 Prop: 95.991 PropClause: 88.413 Set: 74.329 Check: 0.0 Back: 0.725
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.78 Prop: 140.242 PropClause: 131.2 Set: 82.315 Check: 0.0 Back: 1.42
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.829 Prop: 177.733 PropClause: 167.646 Set: 92.085 Check: 0.0 Back: 2.06
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: 0.885 Prop: 213.587 PropClause: 202.294 Set: 97.987 Check: 0.0 Back: 2.716
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: 0.979 Prop: 244.693 PropClause: 231.929 Set: 104.32 Check: 0.0 Back: 3.379
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.028 Prop: 277.322 PropClause: 263.458 Set: 110.531 Check: 0.0 Back: 4.034
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.081 Prop: 308.724 PropClause: 293.74 Set: 117.01 Check: 0.0 Back: 4.674
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.128 Prop: 337.081 PropClause: 320.984 Set: 122.97 Check: 0.0 Back: 5.314
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.179 Prop: 371.201 PropClause: 354.034 Set: 129.218 Check: 0.0 Back: 5.959
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.228 Prop: 401.631 PropClause: 383.376 Set: 138.56 Check: 0.0 Back: 6.579
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.273 Prop: 431.403 PropClause: 412.055 Set: 147.559 Check: 0.0 Back: 7.199
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.325 Prop: 460.052 PropClause: 439.974 Set: 153.445 Check: 0.0 Back: 7.822
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.379 Prop: 492.452 PropClause: 471.63 Set: 159.555 Check: 0.0 Back: 8.445
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.421 Prop: 520.757 PropClause: 499.236 Set: 165.355 Check: 0.0 Back: 9.066
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.468 Prop: 546.84 PropClause: 524.621 Set: 170.999 Check: 0.0 Back: 9.674
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.514 Prop: 568.446 PropClause: 545.639 Set: 175.406 Check: 0.0 Back: 10.285
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: 1.558 Prop: 586.312 PropClause: 562.926 Set: 179.805 Check: 0.0 Back: 10.827
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: 1.605 Prop: 602.626 PropClause: 578.654 Set: 184.094 Check: 0.0 Back: 11.386
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: 1.647 Prop: 619.551 PropClause: 595.004 Set: 188.433 Check: 0.0 Back: 11.923
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: 1.722 Prop: 643.837 PropClause: 618.62 Set: 193.923 Check: 0.0 Back: 12.456
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: 1.797 Prop: 660.696 PropClause: 634.912 Set: 198.195 Check: 0.0 Back: 13.062
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: 1.843 Prop: 676.75 PropClause: 650.402 Set: 202.377 Check: 0.0 Back: 13.594
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: 1.883 Prop: 693.271 PropClause: 666.364 Set: 206.57 Check: 0.0 Back: 14.113
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: 1.925 Prop: 710.185 PropClause: 682.722 Set: 213.013 Check: 0.0 Back: 14.629
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: 1.968 Prop: 728.222 PropClause: 700.203 Set: 219.464 Check: 0.0 Back: 15.147
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.012 Prop: 747.564 PropClause: 718.992 Set: 225.962 Check: 0.0 Back: 15.66
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.058 Prop: 765.509 PropClause: 736.386 Set: 232.384 Check: 0.0 Back: 16.229
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.103 Prop: 782.729 PropClause: 753.061 Set: 238.744 Check: 0.0 Back: 16.792
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.151 Prop: 808.753 PropClause: 778.426 Set: 246.972 Check: 0.0 Back: 17.363
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.199 Prop: 829.706 PropClause: 798.784 Set: 251.511 Check: 0.0 Back: 17.934
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.242 Prop: 847.913 PropClause: 816.458 Set: 255.571 Check: 0.0 Back: 18.437
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.283 Prop: 866.764 PropClause: 834.776 Set: 259.6 Check: 0.0 Back: 18.939
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.325 Prop: 885.481 PropClause: 852.965 Set: 263.643 Check: 0.0 Back: 19.436
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.397 Prop: 904.357 PropClause: 871.317 Set: 267.583 Check: 0.0 Back: 19.958
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.445 Prop: 920.726 PropClause: 887.166 Set: 271.457 Check: 0.0 Back: 20.442
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.494 Prop: 936.118 PropClause: 902.043 Set: 275.276 Check: 0.0 Back: 20.928
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.542 Prop: 954.427 PropClause: 919.84 Set: 279.194 Check: 0.0 Back: 21.416
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.586 Prop: 970.889 PropClause: 935.782 Set: 283.001 Check: 0.0 Back: 21.894
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: 2.63 Prop: 986.72 PropClause: 951.107 Set: 286.801 Check: 0.0 Back: 22.37
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: 2.67 Prop: 1000.99 PropClause: 964.876 Set: 290.494 Check: 0.0 Back: 22.852
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: 2.732 Prop: 1024.127 PropClause: 987.415 Set: 295.389 Check: 0.0 Back: 23.365
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: 2.792 Prop: 1046.529 PropClause: 1009.227 Set: 300.291 Check: 0.0 Back: 23.893
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: 2.838 Prop: 1068.182 PropClause: 1030.291 Set: 314.353 Check: 0.0 Back: 24.405
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: 2.883 Prop: 1085.511 PropClause: 1047.081 Set: 318.405 Check: 0.0 Back: 24.931
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: 2.922 Prop: 1100.356 PropClause: 1061.424 Set: 322.028 Check: 0.0 Back: 25.388
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: 2.96 Prop: 1113.895 PropClause: 1074.478 Set: 325.552 Check: 0.0 Back: 25.846
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: 2.999 Prop: 1128.737 PropClause: 1088.837 Set: 329.139 Check: 0.0 Back: 26.299
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.045 Prop: 1142.561 PropClause: 1102.179 Set: 332.652 Check: 0.0 Back: 26.747
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.085 Prop: 1154.72 PropClause: 1113.862 Set: 336.109 Check: 0.0 Back: 27.238
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.132 Prop: 1166.158 PropClause: 1124.826 Set: 339.492 Check: 0.0 Back: 27.679
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.171 Prop: 1177.603 PropClause: 1135.8 Set: 342.887 Check: 0.0 Back: 28.118
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.315 Prop: 1188.556 PropClause: 1146.285 Set: 346.245 Check: 0.0 Back: 28.561
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.333 Prop: 1200.148 PropClause: 1157.414 Set: 349.61 Check: 0.0 Back: 28.993
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.354 Prop: 1211.183 PropClause: 1167.988 Set: 352.887 Check: 0.0 Back: 29.425
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.372 Prop: 1222.327 PropClause: 1178.675 Set: 356.213 Check: 0.0 Back: 29.854
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.394 Prop: 1233.909 PropClause: 1189.798 Set: 359.514 Check: 0.0 Back: 30.279
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.414 Prop: 1245.217 PropClause: 1200.651 Set: 362.791 Check: 0.0 Back: 30.704
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.435 Prop: 1255.662 PropClause: 1210.637 Set: 366.021 Check: 0.0 Back: 31.126
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.456 Prop: 1266.362 PropClause: 1220.89 Set: 369.23 Check: 0.0 Back: 31.548
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.476 Prop: 1278.111 PropClause: 1232.196 Set: 374.085 Check: 0.0 Back: 31.967
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.498 Prop: 1290.342 PropClause: 1243.989 Set: 378.911 Check: 0.0 Back: 32.378
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.519 Prop: 1301.565 PropClause: 1254.773 Set: 383.609 Check: 0.0 Back: 32.785
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.54 Prop: 1313.165 PropClause: 1265.94 Set: 388.323 Check: 0.0 Back: 33.187
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.562 Prop: 1325.22 PropClause: 1277.564 Set: 393.078 Check: 0.0 Back: 33.603
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.583 Prop: 1337.816 PropClause: 1289.733 Set: 397.734 Check: 0.0 Back: 34.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: 3.604 Prop: 1349.566 PropClause: 1301.057 Set: 402.133 Check: 0.0 Back: 34.397
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: 3.624 Prop: 1360.851 PropClause: 1311.921 Set: 406.461 Check: 0.0 Back: 34.79
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: 3.649 Prop: 1372.84 PropClause: 1323.471 Set: 411.056 Check: 0.0 Back: 35.188
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: 3.675 Prop: 1386.037 PropClause: 1336.229 Set: 415.693 Check: 0.0 Back: 35.596
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: 3.702 Prop: 1404.284 PropClause: 1353.942 Set: 421.775 Check: 0.0 Back: 36.003
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: 3.728 Prop: 1422.693 PropClause: 1371.817 Set: 428.135 Check: 0.0 Back: 36.464
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: 3.8 Prop: 1441.504 PropClause: 1390.094 Set: 434.692 Check: 0.0 Back: 36.915
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: 3.826 Prop: 1462.227 PropClause: 1410.283 Set: 441.52 Check: 0.0 Back: 37.368
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: 3.852 Prop: 1482.693 PropClause: 1430.223 Set: 448.019 Check: 0.0 Back: 37.819
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: 3.878 Prop: 1502.3 PropClause: 1449.299 Set: 454.317 Check: 0.0 Back: 38.264
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: 3.905 Prop: 1521.75 PropClause: 1468.22 Set: 460.817 Check: 0.0 Back: 38.714
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: 3.932 Prop: 1541.291 PropClause: 1487.229 Set: 467.09 Check: 0.0 Back: 39.174
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: 3.955 Prop: 1559.392 PropClause: 1504.802 Set: 473.405 Check: 0.0 Back: 39.625
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: 3.983 Prop: 1577.549 PropClause: 1522.423 Set: 477.615 Check: 0.0 Back: 40.08
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.059 Prop: 1589.891 PropClause: 1534.324 Set: 480.849 Check: 0.0 Back: 40.548
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.087 Prop: 1603.094 PropClause: 1547.081 Set: 484.14 Check: 0.0 Back: 40.973
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.109 Prop: 1615.675 PropClause: 1559.231 Set: 487.266 Check: 0.0 Back: 41.384
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.16 Prop: 1629.098 PropClause: 1572.216 Set: 490.53 Check: 0.0 Back: 41.781
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.209 Prop: 1641.693 PropClause: 1584.37 Set: 493.771 Check: 0.0 Back: 42.184
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.233 Prop: 1661.19 PropClause: 1603.339 Set: 497.995 Check: 0.0 Back: 42.631
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.258 Prop: 1676.088 PropClause: 1617.797 Set: 501.269 Check: 0.0 Back: 43.094
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.278 Prop: 1689.339 PropClause: 1630.604 Set: 504.601 Check: 0.0 Back: 43.504
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.299 Prop: 1701.863 PropClause: 1642.695 Set: 507.744 Check: 0.0 Back: 43.916
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.326 Prop: 1718.764 PropClause: 1659.146 Set: 511.232 Check: 0.0 Back: 44.318
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.345 Prop: 1730.41 PropClause: 1670.351 Set: 514.488 Check: 0.0 Back: 44.727
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.366 Prop: 1740.808 PropClause: 1680.304 Set: 517.748 Check: 0.0 Back: 45.136
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.386 Prop: 1751.541 PropClause: 1690.596 Set: 520.946 Check: 0.0 Back: 45.541
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.405 Prop: 1762.063 PropClause: 1700.676 Set: 524.195 Check: 0.0 Back: 45.946
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: 4.46 Prop: 1771.926 PropClause: 1710.101 Set: 527.275 Check: 0.0 Back: 46.355
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: 4.516 Prop: 1782.467 PropClause: 1720.198 Set: 530.529 Check: 0.0 Back: 46.754
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: 4.532 Prop: 1793.262 PropClause: 1730.549 Set: 533.781 Check: 0.0 Back: 47.161
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: 4.549 Prop: 1805.375 PropClause: 1742.218 Set: 537.098 Check: 0.0 Back: 47.574
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: 4.565 Prop: 1815.824 PropClause: 1752.226 Set: 540.293 Check: 0.0 Back: 47.987
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: 4.581 Prop: 1826.174 PropClause: 1762.133 Set: 543.557 Check: 0.0 Back: 48.395
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: 4.6 Prop: 1836.379 PropClause: 1771.9 Set: 546.65 Check: 0.0 Back: 48.807
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: 4.616 Prop: 1847.074 PropClause: 1782.152 Set: 549.991 Check: 0.0 Back: 49.207
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: 4.634 Prop: 1857.53 PropClause: 1792.166 Set: 553.294 Check: 0.0 Back: 49.616
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: 4.651 Prop: 1874.368 PropClause: 1808.47 Set: 557.66 Check: 0.0 Back: 50.027
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: 4.671 Prop: 1891.349 PropClause: 1824.935 Set: 561.837 Check: 0.0 Back: 50.487
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: 4.691 Prop: 1907.134 PropClause: 1840.189 Set: 566.049 Check: 0.0 Back: 50.942
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: 4.711 Prop: 1925.199 PropClause: 1857.736 Set: 570.152 Check: 0.0 Back: 51.415
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: 4.757 Prop: 1941.509 PropClause: 1873.555 Set: 573.975 Check: 0.0 Back: 51.873
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: 4.767 Prop: 1952.518 PropClause: 1884.115 Set: 577.192 Check: 0.0 Back: 52.28
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: 4.776 Prop: 1964.979 PropClause: 1896.137 Set: 580.465 Check: 0.0 Back: 52.687
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: 4.786 Prop: 1976.757 PropClause: 1907.479 Set: 583.664 Check: 0.0 Back: 53.095
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: 4.796 Prop: 1988.953 PropClause: 1919.235 Set: 587.0 Check: 0.0 Back: 53.497
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: 4.807 Prop: 2000.688 PropClause: 1930.543 Set: 590.108 Check: 0.0 Back: 53.903
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: 4.816 Prop: 2014.183 PropClause: 1943.6 Set: 593.398 Check: 0.0 Back: 54.295
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: 4.826 Prop: 2026.373 PropClause: 1955.351 Set: 596.676 Check: 0.0 Back: 54.699
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: 4.834 Prop: 2038.119 PropClause: 1966.659 Set: 599.943 Check: 0.0 Back: 55.107
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: 4.843 Prop: 2050.843 PropClause: 1978.942 Set: 603.221 Check: 0.0 Back: 55.511
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: 4.858 Prop: 2066.12 PropClause: 1993.772 Set: 615.141 Check: 0.0 Back: 55.919
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: 4.868 Prop: 2077.7 PropClause: 2004.911 Set: 618.315 Check: 0.0 Back: 56.331
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: 4.879 Prop: 2090.108 PropClause: 2016.871 Set: 621.672 Check: 0.0 Back: 56.737
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: 4.89 Prop: 2101.992 PropClause: 2028.306 Set: 624.969 Check: 0.0 Back: 57.16
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: 4.9 Prop: 2114.078 PropClause: 2039.942 Set: 628.329 Check: 0.0 Back: 57.579
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: 4.911 Prop: 2125.998 PropClause: 2051.413 Set: 631.63 Check: 0.0 Back: 57.999
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: 4.921 Prop: 2137.479 PropClause: 2062.452 Set: 634.93 Check: 0.0 Back: 58.415
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: 4.932 Prop: 2148.505 PropClause: 2073.047 Set: 638.049 Check: 0.0 Back: 58.831
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: 4.942 Prop: 2160.011 PropClause: 2084.111 Set: 641.34 Check: 0.0 Back: 59.226
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: 4.95 Prop: 2170.915 PropClause: 2094.572 Set: 644.622 Check: 0.0 Back: 59.639
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: 4.959 Prop: 2182.807 PropClause: 2105.986 Set: 647.922 Check: 0.0 Back: 60.061
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: 4.971 Prop: 2195.446 PropClause: 2118.182 Set: 651.222 Check: 0.0 Back: 60.515
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: 4.983 Prop: 2209.039 PropClause: 2131.327 Set: 654.588 Check: 0.0 Back: 60.931
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: 4.994 Prop: 2222.24 PropClause: 2144.096 Set: 657.779 Check: 0.0 Back: 61.346
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.003 Prop: 2236.28 PropClause: 2157.69 Set: 661.143 Check: 0.0 Back: 61.783
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.012 Prop: 2248.384 PropClause: 2169.355 Set: 664.39 Check: 0.0 Back: 62.19
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.022 Prop: 2260.652 PropClause: 2181.185 Set: 667.678 Check: 0.0 Back: 62.595
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.033 Prop: 2278.034 PropClause: 2198.055 Set: 671.881 Check: 0.0 Back: 63.013
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.044 Prop: 2291.492 PropClause: 2211.073 Set: 675.152 Check: 0.0 Back: 63.473
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.053 Prop: 2303.107 PropClause: 2222.263 Set: 678.295 Check: 0.0 Back: 63.878
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.063 Prop: 2314.799 PropClause: 2233.517 Set: 681.544 Check: 0.0 Back: 64.273
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.07 Prop: 2326.274 PropClause: 2244.555 Set: 684.786 Check: 0.0 Back: 64.678
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.079 Prop: 2338.314 PropClause: 2256.154 Set: 688.077 Check: 0.0 Back: 65.09
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.088 Prop: 2350.306 PropClause: 2267.703 Set: 691.347 Check: 0.0 Back: 65.499
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.099 Prop: 2364.142 PropClause: 2281.09 Set: 694.875 Check: 0.0 Back: 65.907
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.109 Prop: 2374.862 PropClause: 2291.376 Set: 698.037 Check: 0.0 Back: 66.331
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.119 Prop: 2385.221 PropClause: 2301.291 Set: 701.285 Check: 0.0 Back: 66.736
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.128 Prop: 2395.377 PropClause: 2311.003 Set: 704.562 Check: 0.0 Back: 67.154
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.136 Prop: 2405.687 PropClause: 2320.885 Set: 707.662 Check: 0.0 Back: 67.566
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.146 Prop: 2417.223 PropClause: 2331.975 Set: 711.019 Check: 0.0 Back: 67.962
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.155 Prop: 2428.768 PropClause: 2343.077 Set: 714.308 Check: 0.0 Back: 68.372
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 2898444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.164 Prop: 2439.679 PropClause: 2353.545 Set: 717.579 Check: 0.0 Back: 68.786
INFO - Atoms: 17923/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 2916364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.174 Prop: 2452.397 PropClause: 2365.818 Set: 720.873 Check: 0.0 Back: 69.193
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 2934165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.185 Prop: 2463.225 PropClause: 2376.203 Set: 724.13 Check: 0.0 Back: 69.612
INFO - Atoms: 17801/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 2951590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.193 Prop: 2475.2 PropClause: 2387.747 Set: 727.312 Check: 0.0 Back: 70.02
INFO - Atoms: 17425/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 2969510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.203 Prop: 2486.396 PropClause: 2398.5 Set: 730.569 Check: 0.0 Back: 70.419
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 2987431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.214 Prop: 2497.754 PropClause: 2409.416 Set: 733.837 Check: 0.0 Back: 70.83
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 3005354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.223 Prop: 2509.841 PropClause: 2421.058 Set: 737.138 Check: 0.0 Back: 71.237
INFO - Atoms: 17923/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 3023274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.231 Prop: 2520.8 PropClause: 2431.576 Set: 740.403 Check: 0.0 Back: 71.659
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 3041075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.241 Prop: 2531.457 PropClause: 2441.786 Set: 743.63 Check: 0.0 Back: 72.076
INFO - Atoms: 17801/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 3058997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.249 Prop: 2543.272 PropClause: 2453.15 Set: 746.934 Check: 0.0 Back: 72.483
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 3076797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.259 Prop: 2555.912 PropClause: 2465.349 Set: 750.481 Check: 0.0 Back: 72.902
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 3094718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.271 Prop: 2569.345 PropClause: 2478.342 Set: 755.495 Check: 0.0 Back: 73.311
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 3112144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.28 Prop: 2582.23 PropClause: 2490.797 Set: 760.146 Check: 0.0 Back: 73.718
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 3130064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.292 Prop: 2598.161 PropClause: 2506.162 Set: 766.154 Check: 0.0 Back: 74.111
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 3147985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.302 Prop: 2610.944 PropClause: 2518.489 Set: 770.84 Check: 0.0 Back: 74.538
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 3165907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.314 Prop: 2625.043 PropClause: 2532.132 Set: 775.655 Check: 0.0 Back: 74.952
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 3183707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.324 Prop: 2638.531 PropClause: 2545.179 Set: 780.329 Check: 0.0 Back: 75.369
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 3201628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.335 Prop: 2652.156 PropClause: 2558.352 Set: 785.168 Check: 0.0 Back: 75.782
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 3219054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.345 Prop: 2665.865 PropClause: 2571.619 Set: 789.837 Check: 0.0 Back: 76.197
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 3236974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.355 Prop: 2678.769 PropClause: 2584.077 Set: 794.54 Check: 0.0 Back: 76.608
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 3254895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.365 Prop: 2691.953 PropClause: 2596.808 Set: 799.326 Check: 0.0 Back: 77.024
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 3272817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.374 Prop: 2704.988 PropClause: 2609.39 Set: 804.11 Check: 0.0 Back: 77.444
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 3290617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.385 Prop: 2719.992 PropClause: 2623.942 Set: 808.984 Check: 0.0 Back: 77.866
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 3308538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.394 Prop: 2732.455 PropClause: 2635.962 Set: 812.293 Check: 0.0 Back: 78.297
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 3325964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.401 Prop: 2743.499 PropClause: 2646.575 Set: 815.42 Check: 0.0 Back: 78.706
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 3343884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.41 Prop: 2755.615 PropClause: 2658.249 Set: 818.755 Check: 0.0 Back: 79.104
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 3361805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.419 Prop: 2766.882 PropClause: 2669.073 Set: 822.04 Check: 0.0 Back: 79.514
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 3379727 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.428 Prop: 2778.182 PropClause: 2679.932 Set: 825.324 Check: 0.0 Back: 79.928
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 3397527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.437 Prop: 2789.971 PropClause: 2691.281 Set: 828.596 Check: 0.0 Back: 80.334
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 3415448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.445 Prop: 2802.793 PropClause: 2703.65 Set: 831.94 Check: 0.0 Back: 80.741
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 3432874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.454 Prop: 2814.093 PropClause: 2714.522 Set: 835.046 Check: 0.0 Back: 81.147
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 3450794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.463 Prop: 2825.271 PropClause: 2725.259 Set: 838.319 Check: 0.0 Back: 81.547
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 3468715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.472 Prop: 2836.325 PropClause: 2735.877 Set: 841.585 Check: 0.0 Back: 81.955
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 3486637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.48 Prop: 2848.134 PropClause: 2747.248 Set: 844.862 Check: 0.0 Back: 82.37
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 3504437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.489 Prop: 2860.564 PropClause: 2759.239 Set: 848.142 Check: 0.0 Back: 82.779
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 3522358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.498 Prop: 2872.182 PropClause: 2770.419 Set: 851.434 Check: 0.0 Back: 83.182
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 3539784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.508 Prop: 2883.88 PropClause: 2781.695 Set: 854.557 Check: 0.0 Back: 83.591
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 3557704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.516 Prop: 2895.827 PropClause: 2793.201 Set: 857.839 Check: 0.0 Back: 83.984
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 3575625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.525 Prop: 2907.702 PropClause: 2804.618 Set: 861.09 Check: 0.0 Back: 84.391
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 3593547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.533 Prop: 2919.754 PropClause: 2816.232 Set: 864.372 Check: 0.0 Back: 84.799
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 3611347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.541 Prop: 2931.683 PropClause: 2827.726 Set: 867.619 Check: 0.0 Back: 85.205
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 3629268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.551 Prop: 2943.412 PropClause: 2839.016 Set: 870.891 Check: 0.0 Back: 85.611
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 3646694 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.56 Prop: 2955.624 PropClause: 2850.802 Set: 874.055 Check: 0.0 Back: 86.015
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 3664614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.569 Prop: 2967.29 PropClause: 2862.027 Set: 877.34 Check: 0.0 Back: 86.413
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 3682535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.578 Prop: 2980.425 PropClause: 2874.718 Set: 880.691 Check: 0.0 Back: 86.821
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 3700457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.586 Prop: 2991.684 PropClause: 2885.523 Set: 883.968 Check: 0.0 Back: 87.23
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 3718257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.596 Prop: 3004.542 PropClause: 2897.92 Set: 887.279 Check: 0.0 Back: 87.636
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 3736178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.605 Prop: 3018.432 PropClause: 2911.358 Set: 890.639 Check: 0.0 Back: 88.044
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 3753604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.614 Prop: 3030.375 PropClause: 2922.869 Set: 893.838 Check: 0.0 Back: 88.456
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 3771524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.622 Prop: 3041.357 PropClause: 2933.406 Set: 897.128 Check: 0.0 Back: 88.856
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 3789445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.632 Prop: 3051.329 PropClause: 2942.937 Set: 900.387 Check: 0.0 Back: 89.266
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 3807367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.642 Prop: 3064.033 PropClause: 2955.155 Set: 903.891 Check: 0.0 Back: 89.673
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 3825167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.651 Prop: 3074.488 PropClause: 2965.167 Set: 907.148 Check: 0.0 Back: 90.086
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 3843088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.661 Prop: 3084.363 PropClause: 2974.602 Set: 910.366 Check: 0.0 Back: 90.495
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 3860514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.67 Prop: 3094.349 PropClause: 2984.158 Set: 913.47 Check: 0.0 Back: 90.902
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 3878434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.677 Prop: 3104.139 PropClause: 2993.508 Set: 916.685 Check: 0.0 Back: 91.3
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 3896355 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.686 Prop: 3114.438 PropClause: 3003.367 Set: 919.943 Check: 0.0 Back: 91.712
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 3914277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.694 Prop: 3124.521 PropClause: 3013.008 Set: 923.182 Check: 0.0 Back: 92.117
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 3932077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.703 Prop: 3134.83 PropClause: 3022.878 Set: 926.402 Check: 0.0 Back: 92.525
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 3949998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.711 Prop: 3144.898 PropClause: 3032.506 Set: 929.62 Check: 0.0 Back: 92.932
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 3967424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.722 Prop: 3154.963 PropClause: 3042.14 Set: 932.725 Check: 0.0 Back: 93.341
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 3985344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.73 Prop: 3164.869 PropClause: 3051.607 Set: 935.964 Check: 0.0 Back: 93.735
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 4003265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.74 Prop: 3175.123 PropClause: 3061.419 Set: 939.228 Check: 0.0 Back: 94.148
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 4021187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.748 Prop: 3185.272 PropClause: 3071.127 Set: 942.455 Check: 0.0 Back: 94.554
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 4038987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.757 Prop: 3195.799 PropClause: 3081.216 Set: 945.675 Check: 0.0 Back: 94.961
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 4056908 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.766 Prop: 3206.157 PropClause: 3091.136 Set: 948.918 Check: 0.0 Back: 95.367
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 4074334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.775 Prop: 3217.908 PropClause: 3102.458 Set: 952.047 Check: 0.0 Back: 95.779
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 4092254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.783 Prop: 3229.504 PropClause: 3113.619 Set: 955.317 Check: 0.0 Back: 96.172
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 4110175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.792 Prop: 3241.569 PropClause: 3125.252 Set: 958.53 Check: 0.0 Back: 96.575
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 4127600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.8 Prop: 3253.501 PropClause: 3136.761 Set: 961.636 Check: 0.0 Back: 96.976
INFO - Atoms: 17425/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 4145520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.807 Prop: 3265.138 PropClause: 3147.956 Set: 964.931 Check: 0.0 Back: 97.366
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 4163441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.818 Prop: 3277.776 PropClause: 3160.139 Set: 968.211 Check: 0.0 Back: 97.775
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 4180867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.828 Prop: 3289.387 PropClause: 3171.319 Set: 971.37 Check: 0.0 Back: 98.182
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 4198787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.836 Prop: 3300.768 PropClause: 3182.259 Set: 974.658 Check: 0.0 Back: 98.582
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 4216708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.846 Prop: 3312.953 PropClause: 3194.002 Set: 977.971 Check: 0.0 Back: 98.989
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 4234133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.854 Prop: 3324.467 PropClause: 3205.088 Set: 981.099 Check: 0.0 Back: 99.4
INFO - Atoms: 17425/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 4252053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.861 Prop: 3336.39 PropClause: 3216.559 Set: 984.404 Check: 0.0 Back: 99.798
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 4269974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.871 Prop: 3348.954 PropClause: 3228.682 Set: 987.721 Check: 0.0 Back: 100.208
INFO - Atoms: 17921/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 4287897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.88 Prop: 3361.074 PropClause: 3240.36 Set: 991.062 Check: 0.0 Back: 100.614
INFO - Atoms: 17923/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 4305817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.891 Prop: 3373.285 PropClause: 3252.118 Set: 994.357 Check: 0.0 Back: 101.026
INFO - Atoms: 17920/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 4323618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.9 Prop: 3386.957 PropClause: 3265.352 Set: 997.709 Check: 0.0 Back: 101.438
INFO - Atoms: 17801/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 4341540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.909 Prop: 3400.808 PropClause: 3278.764 Set: 1001.002 Check: 0.0 Back: 101.843
INFO - Atoms: 17922/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 4359340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.918 Prop: 3412.191 PropClause: 3289.709 Set: 1004.236 Check: 0.0 Back: 102.25
INFO - Atoms: 17800/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 4377205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.927 Prop: 3423.166 PropClause: 3300.246 Set: 1007.463 Check: 0.0 Back: 102.654
INFO - Atoms: 17865/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 4394631 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.935 Prop: 3434.335 PropClause: 3310.987 Set: 1010.594 Check: 0.0 Back: 103.062
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 4412438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.945 Prop: 3445.576 PropClause: 3321.792 Set: 1013.824 Check: 0.0 Back: 103.459
INFO - Atoms: 17807/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 4430245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.955 Prop: 3457.043 PropClause: 3332.821 Set: 1017.077 Check: 0.0 Back: 103.866
INFO - Atoms: 17807/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 4448053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.963 Prop: 3468.176 PropClause: 3343.522 Set: 1020.281 Check: 0.0 Back: 104.267
INFO - Atoms: 17808/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 4465737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.971 Prop: 3479.592 PropClause: 3354.495 Set: 1023.477 Check: 0.0 Back: 104.667
INFO - Atoms: 17684/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 4483422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.977 Prop: 3490.525 PropClause: 3364.992 Set: 1026.659 Check: 0.0 Back: 105.069
INFO - Atoms: 17685/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 4500848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.984 Prop: 3502.154 PropClause: 3376.193 Set: 1029.826 Check: 0.0 Back: 105.471
INFO - Atoms: 17426/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 4518406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.087 Prop: 3512.843 PropClause: 3386.451 Set: 1032.991 Check: 0.0 Back: 105.869
INFO - Atoms: 17558/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 4535964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.095 Prop: 3524.393 PropClause: 3397.574 Set: 1036.162 Check: 0.0 Back: 106.267
INFO - Atoms: 17558/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 4553684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.103 Prop: 3535.354 PropClause: 3408.105 Set: 1039.357 Check: 0.0 Back: 106.662
INFO - Atoms: 17720/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 4571405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.111 Prop: 3546.923 PropClause: 3419.242 Set: 1042.571 Check: 0.0 Back: 107.059
INFO - Atoms: 17721/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 4589127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.121 Prop: 3558.266 PropClause: 3430.142 Set: 1045.772 Check: 0.0 Back: 107.457
INFO - Atoms: 17722/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 4606726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.13 Prop: 3569.735 PropClause: 3441.182 Set: 1048.949 Check: 0.0 Back: 107.856
INFO - Atoms: 17599/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 4624449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.14 Prop: 3580.735 PropClause: 3451.756 Set: 1052.103 Check: 0.0 Back: 108.262
INFO - Atoms: 17723/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 4642169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.148 Prop: 3592.348 PropClause: 3462.932 Set: 1055.307 Check: 0.0 Back: 108.658
INFO - Atoms: 17720/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 4659893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.156 Prop: 3603.602 PropClause: 3473.752 Set: 1058.499 Check: 0.0 Back: 109.072
INFO - Atoms: 17724/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 4677248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.164 Prop: 3614.925 PropClause: 3484.638 Set: 1061.619 Check: 0.0 Back: 109.477
INFO - Atoms: 17355/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 4694604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.172 Prop: 3625.739 PropClause: 3495.007 Set: 1064.701 Check: 0.0 Back: 109.873
INFO - Atoms: 17356/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 4711829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.179 Prop: 3636.989 PropClause: 3505.834 Set: 1067.78 Check: 0.0 Back: 110.268
INFO - Atoms: 17225/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 4729164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.255 Prop: 3654.513 PropClause: 3522.82 Set: 1077.789 Check: 0.0 Back: 110.661
INFO - Atoms: 17335/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 4738571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.376 Prop: 3660.636 PropClause: 3528.709 Set: 1079.254 Check: 0.0 Back: 111.111
INFO - Atoms: 9407/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 4748106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.39 Prop: 3664.078 PropClause: 3531.905 Set: 1080.758 Check: 0.0 Back: 111.323
INFO - Atoms: 9535/25472 Clauses: 389 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 754 Props: 5273454 Tprops: 0 Decides: 1251 RSplits: 0
INFO - Times: Expl: 440.794 Prop: 3930.297 PropClause: 3782.24 Set: 1095.228 Check: 0.036 Back: 124.582
INFO - Atoms: 8389/25472 Clauses: 888 Axioms: 83698
INFO - Restart
INFO - Confl: 1254 Props: 6001246 Tprops: 0 Decides: 4731 RSplits: 0
INFO - Times: Expl: 900.974 Prop: 4424.277 PropClause: 4239.105 Set: 1113.388 Check: 0.126 Back: 142.645
INFO - Atoms: 8395/25472 Clauses: 1388 Axioms: 83698
INFO - Confl: 1745 Props: 6922039 Tprops: 0 Decides: 9429 RSplits: 0
INFO - Times: Expl: 1215.631 Prop: 4995.214 PropClause: 4782.767 Set: 1136.297 Check: 0.246 Back: 165.125
INFO - Atoms: 8866/25472 Clauses: 1879 Axioms: 83698
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 281 Props: 20997 Tprops: 5205 Decides: 22406 RSplits: 0
INFO - Times: Expl: 128.59 Prop: 13177.902 PropClause: 8.94 Set: 2484.585 Check: 179.719 Back: 80.743
INFO - Atoms: 517/582 Clauses: 281 Axioms: 582
INFO - CCTimes: iE 233093 eq 17204146 cc 50546485 setRep 25053381
INFO - Merges: 165869, cc:259845
INFO - BVTimes: BB 130113410 BB_DPLL 11824544813 Graph 75802689
INFO - BitBlastingClauses: 182638 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat