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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 129788399
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 28606 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.603 Prop: 38.95 PropClause: 34.237 Set: 14.256 Check: 0.0 Back: 0.0
INFO - Atoms: 28606/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 56832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.647 Prop: 75.457 PropClause: 68.6 Set: 42.276 Check: 0.0 Back: 0.675
INFO - Atoms: 28226/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 84773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.719 Prop: 104.274 PropClause: 96.383 Set: 47.06 Check: 0.0 Back: 1.313
INFO - Atoms: 27941/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 112714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.785 Prop: 131.897 PropClause: 123.12 Set: 52.447 Check: 0.0 Back: 1.944
INFO - Atoms: 27941/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 140649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.825 Prop: 158.096 PropClause: 148.386 Set: 60.266 Check: 0.0 Back: 2.583
INFO - Atoms: 27935/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 168586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.887 Prop: 186.618 PropClause: 175.859 Set: 65.095 Check: 0.0 Back: 3.225
INFO - Atoms: 27937/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 196331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.948 Prop: 211.474 PropClause: 199.93 Set: 69.83 Check: 0.0 Back: 3.864
INFO - Atoms: 27745/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 223880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.013 Prop: 236.6 PropClause: 224.282 Set: 74.612 Check: 0.0 Back: 4.496
INFO - Atoms: 27549/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 251235 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.06 Prop: 263.225 PropClause: 250.15 Set: 79.221 Check: 0.0 Back: 5.122
INFO - Atoms: 27355/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 278413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.103 Prop: 289.82 PropClause: 275.995 Set: 83.8 Check: 0.0 Back: 5.747
INFO - Atoms: 27178/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 305378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.144 Prop: 314.68 PropClause: 300.112 Set: 88.361 Check: 0.0 Back: 6.375
INFO - Atoms: 26965/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 333319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.283 Prop: 341.816 PropClause: 326.449 Set: 93.087 Check: 0.0 Back: 6.984
INFO - Atoms: 27941/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 361259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.39 Prop: 368.97 PropClause: 352.822 Set: 97.868 Check: 0.0 Back: 7.621
INFO - Atoms: 27940/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 389199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.435 Prop: 396.029 PropClause: 379.113 Set: 102.704 Check: 0.0 Back: 8.255
INFO - Atoms: 27940/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 416747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.478 Prop: 422.258 PropClause: 404.567 Set: 110.284 Check: 0.0 Back: 8.89
INFO - Atoms: 27548/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 444119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.523 Prop: 450.147 PropClause: 431.685 Set: 117.895 Check: 0.0 Back: 9.519
INFO - Atoms: 27372/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 471279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.923 Prop: 475.963 PropClause: 456.752 Set: 125.342 Check: 0.0 Back: 10.143
INFO - Atoms: 27160/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 498260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.971 Prop: 500.203 PropClause: 480.248 Set: 129.905 Check: 0.0 Back: 10.76
INFO - Atoms: 26981/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 526020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.016 Prop: 525.554 PropClause: 504.824 Set: 134.755 Check: 0.0 Back: 11.375
INFO - Atoms: 27760/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 553955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.057 Prop: 551.17 PropClause: 529.675 Set: 139.476 Check: 0.0 Back: 12.015
INFO - Atoms: 27935/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 581891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.12 Prop: 575.099 PropClause: 552.836 Set: 144.206 Check: 0.0 Back: 12.896
INFO - Atoms: 27936/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 608677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.16 Prop: 602.491 PropClause: 579.456 Set: 148.779 Check: 0.0 Back: 13.773
INFO - Atoms: 26786/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 635252 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.637 Prop: 627.803 PropClause: 604.035 Set: 153.288 Check: 0.0 Back: 14.67
INFO - Atoms: 26575/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 661631 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.682 Prop: 651.956 PropClause: 627.449 Set: 157.717 Check: 0.0 Back: 15.521
INFO - Atoms: 26379/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 687816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.732 Prop: 676.668 PropClause: 651.428 Set: 162.182 Check: 0.0 Back: 16.395
INFO - Atoms: 26185/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 713823 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.778 Prop: 700.781 PropClause: 674.826 Set: 166.472 Check: 0.0 Back: 17.178
INFO - Atoms: 26007/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 739618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.825 Prop: 725.314 PropClause: 698.646 Set: 170.769 Check: 0.0 Back: 17.994
INFO - Atoms: 25795/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 765217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.872 Prop: 750.721 PropClause: 723.304 Set: 175.079 Check: 0.0 Back: 18.802
INFO - Atoms: 25599/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 790622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.915 Prop: 773.775 PropClause: 745.655 Set: 179.328 Check: 0.0 Back: 19.596
INFO - Atoms: 25405/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 815831 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.015 Prop: 796.479 PropClause: 767.652 Set: 183.495 Check: 0.0 Back: 20.367
INFO - Atoms: 25209/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 840846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.058 Prop: 821.54 PropClause: 792.006 Set: 187.685 Check: 0.0 Back: 21.147
INFO - Atoms: 25015/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 865665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.103 Prop: 846.188 PropClause: 815.969 Set: 191.885 Check: 0.0 Back: 21.903
INFO - Atoms: 24819/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 890290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.17 Prop: 868.248 PropClause: 837.347 Set: 198.297 Check: 0.0 Back: 22.672
INFO - Atoms: 24625/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 914719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.218 Prop: 890.82 PropClause: 859.243 Set: 205.056 Check: 0.0 Back: 23.411
INFO - Atoms: 24429/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 938954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.257 Prop: 911.467 PropClause: 879.219 Set: 211.619 Check: 0.0 Back: 24.153
INFO - Atoms: 24235/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 963012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.303 Prop: 933.902 PropClause: 900.974 Set: 218.165 Check: 0.0 Back: 24.859
INFO - Atoms: 24058/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 986857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.346 Prop: 954.587 PropClause: 920.994 Set: 224.696 Check: 0.0 Back: 25.589
INFO - Atoms: 23845/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 1010506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.387 Prop: 976.547 PropClause: 942.3 Set: 231.102 Check: 0.0 Back: 26.298
INFO - Atoms: 23649/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 1033961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.422 Prop: 997.341 PropClause: 962.446 Set: 237.56 Check: 0.0 Back: 27.015
INFO - Atoms: 23455/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 1057220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.462 Prop: 1018.498 PropClause: 982.948 Set: 243.962 Check: 0.0 Back: 27.719
INFO - Atoms: 23259/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 1080285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.505 Prop: 1039.143 PropClause: 1002.947 Set: 247.793 Check: 0.0 Back: 28.413
INFO - Atoms: 23065/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 1103173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.551 Prop: 1059.156 PropClause: 1022.321 Set: 251.534 Check: 0.0 Back: 29.083
INFO - Atoms: 22888/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 1125848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.595 Prop: 1078.131 PropClause: 1040.637 Set: 255.284 Check: 0.0 Back: 29.753
INFO - Atoms: 22675/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 1148345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.64 Prop: 1098.306 PropClause: 1060.185 Set: 258.937 Check: 0.0 Back: 30.408
INFO - Atoms: 22497/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 1170630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.687 Prop: 1117.898 PropClause: 1079.15 Set: 262.624 Check: 0.0 Back: 31.05
INFO - Atoms: 22285/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 1192736 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.725 Prop: 1136.194 PropClause: 1096.826 Set: 266.248 Check: 0.0 Back: 31.688
INFO - Atoms: 22106/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 1214631 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.764 Prop: 1153.058 PropClause: 1113.076 Set: 269.84 Check: 0.0 Back: 32.316
INFO - Atoms: 21895/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 1236330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.808 Prop: 1171.406 PropClause: 1130.816 Set: 273.347 Check: 0.0 Back: 32.919
INFO - Atoms: 21699/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 1257835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.853 Prop: 1190.001 PropClause: 1148.81 Set: 276.89 Check: 0.0 Back: 33.537
INFO - Atoms: 21505/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 1279144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.893 Prop: 1206.596 PropClause: 1164.814 Set: 280.31 Check: 0.0 Back: 34.145
INFO - Atoms: 21309/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 1300259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.961 Prop: 1222.281 PropClause: 1179.916 Set: 283.714 Check: 0.0 Back: 34.731
INFO - Atoms: 21115/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 1321196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.105 Prop: 1239.233 PropClause: 1196.292 Set: 287.039 Check: 0.0 Back: 35.311
INFO - Atoms: 20937/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 1341921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.121 Prop: 1256.023 PropClause: 1212.511 Set: 290.342 Check: 0.0 Back: 35.882
INFO - Atoms: 20725/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 1362468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.135 Prop: 1270.987 PropClause: 1226.908 Set: 293.575 Check: 0.0 Back: 36.435
INFO - Atoms: 20547/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 1382803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.15 Prop: 1286.172 PropClause: 1241.523 Set: 296.79 Check: 0.0 Back: 36.942
INFO - Atoms: 20335/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 1402959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.164 Prop: 1300.942 PropClause: 1255.735 Set: 299.987 Check: 0.0 Back: 37.435
INFO - Atoms: 20156/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 1422904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.179 Prop: 1315.673 PropClause: 1269.917 Set: 303.134 Check: 0.0 Back: 37.97
INFO - Atoms: 19945/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 1442671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.192 Prop: 1332.616 PropClause: 1286.313 Set: 306.344 Check: 0.0 Back: 38.494
INFO - Atoms: 19767/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 1462226 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.208 Prop: 1345.925 PropClause: 1299.084 Set: 309.43 Check: 0.0 Back: 39.01
INFO - Atoms: 19555/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 1481585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.224 Prop: 1359.871 PropClause: 1312.491 Set: 312.484 Check: 0.0 Back: 39.51
INFO - Atoms: 19359/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 1500750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.239 Prop: 1373.587 PropClause: 1325.678 Set: 315.491 Check: 0.0 Back: 40.023
INFO - Atoms: 19165/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 1519699 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.259 Prop: 1388.319 PropClause: 1339.876 Set: 318.525 Check: 0.0 Back: 40.513
INFO - Atoms: 18949/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 1539009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.275 Prop: 1400.37 PropClause: 1351.378 Set: 321.614 Check: 0.0 Back: 41.015
INFO - Atoms: 19310/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 1558348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.292 Prop: 1414.258 PropClause: 1364.723 Set: 324.676 Check: 0.0 Back: 41.496
INFO - Atoms: 19339/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 1577882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.308 Prop: 1427.612 PropClause: 1377.527 Set: 327.797 Check: 0.0 Back: 41.972
INFO - Atoms: 19534/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 1597634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.348 Prop: 1442.994 PropClause: 1392.351 Set: 330.995 Check: 0.0 Back: 42.487
INFO - Atoms: 19752/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 1617558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.401 Prop: 1458.035 PropClause: 1406.831 Set: 334.191 Check: 0.0 Back: 43.024
INFO - Atoms: 19924/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 1637699 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.415 Prop: 1472.853 PropClause: 1421.072 Set: 337.442 Check: 0.0 Back: 43.558
INFO - Atoms: 20141/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 1658013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.431 Prop: 1488.613 PropClause: 1436.261 Set: 340.776 Check: 0.0 Back: 44.1
INFO - Atoms: 20314/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 1678348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.444 Prop: 1504.811 PropClause: 1451.886 Set: 344.093 Check: 0.0 Back: 44.651
INFO - Atoms: 20335/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 1698848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.458 Prop: 1521.198 PropClause: 1467.692 Set: 347.479 Check: 0.0 Back: 45.206
INFO - Atoms: 20500/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 1719160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.474 Prop: 1536.622 PropClause: 1482.553 Set: 350.761 Check: 0.0 Back: 45.741
INFO - Atoms: 20312/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 1739639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.488 Prop: 1551.262 PropClause: 1496.625 Set: 354.067 Check: 0.0 Back: 46.285
INFO - Atoms: 20479/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 1759384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.503 Prop: 1566.075 PropClause: 1510.894 Set: 357.165 Check: 0.0 Back: 46.827
INFO - Atoms: 19745/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 1779718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.518 Prop: 1581.588 PropClause: 1525.823 Set: 360.477 Check: 0.0 Back: 47.35
INFO - Atoms: 20334/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 1800197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.534 Prop: 1596.118 PropClause: 1539.773 Set: 363.81 Check: 0.0 Back: 47.896
INFO - Atoms: 20479/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 1820699 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.547 Prop: 1610.946 PropClause: 1554.021 Set: 367.132 Check: 0.0 Back: 48.452
INFO - Atoms: 20502/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 1841011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.561 Prop: 1626.815 PropClause: 1569.321 Set: 370.425 Check: 0.0 Back: 48.976
INFO - Atoms: 20312/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 1861488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.575 Prop: 1643.434 PropClause: 1585.366 Set: 374.538 Check: 0.0 Back: 49.523
INFO - Atoms: 20477/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 1882007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.595 Prop: 1660.983 PropClause: 1602.337 Set: 379.381 Check: 0.0 Back: 50.082
INFO - Atoms: 20519/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 1902486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.613 Prop: 1676.995 PropClause: 1617.772 Set: 384.973 Check: 0.0 Back: 50.644
INFO - Atoms: 20479/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 1922993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.632 Prop: 1693.462 PropClause: 1633.661 Set: 390.484 Check: 0.0 Back: 51.192
INFO - Atoms: 20507/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 1943667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.647 Prop: 1710.076 PropClause: 1649.692 Set: 396.122 Check: 0.0 Back: 51.748
INFO - Atoms: 20674/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 1964365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.662 Prop: 1727.454 PropClause: 1666.486 Set: 401.591 Check: 0.0 Back: 52.306
INFO - Atoms: 20698/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 1984761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.679 Prop: 1743.378 PropClause: 1681.814 Set: 407.013 Check: 0.0 Back: 52.867
INFO - Atoms: 20396/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 2004978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.693 Prop: 1760.132 PropClause: 1698.009 Set: 412.463 Check: 0.0 Back: 53.4
INFO - Atoms: 20217/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 2025156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.709 Prop: 1776.344 PropClause: 1713.662 Set: 417.962 Check: 0.0 Back: 53.947
INFO - Atoms: 20178/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 2045169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.724 Prop: 1791.195 PropClause: 1727.961 Set: 423.248 Check: 0.0 Back: 54.522
INFO - Atoms: 20013/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 2065370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.739 Prop: 1805.886 PropClause: 1742.094 Set: 428.605 Check: 0.0 Back: 55.058
INFO - Atoms: 20201/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 2085381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.757 Prop: 1821.732 PropClause: 1757.389 Set: 433.839 Check: 0.0 Back: 55.602
INFO - Atoms: 20011/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 2105559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.77 Prop: 1837.621 PropClause: 1772.721 Set: 439.278 Check: 0.0 Back: 56.146
INFO - Atoms: 20178/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 2125003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.785 Prop: 1853.239 PropClause: 1787.803 Set: 444.501 Check: 0.0 Back: 56.681
INFO - Atoms: 19444/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 2145038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.8 Prop: 1869.183 PropClause: 1803.195 Set: 450.025 Check: 0.0 Back: 57.206
INFO - Atoms: 20035/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 2165214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.813 Prop: 1885.239 PropClause: 1818.695 Set: 455.389 Check: 0.0 Back: 57.736
INFO - Atoms: 20176/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 2185417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.827 Prop: 1901.801 PropClause: 1834.698 Set: 460.878 Check: 0.0 Back: 58.285
INFO - Atoms: 20203/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 2205428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.842 Prop: 1917.537 PropClause: 1849.882 Set: 466.31 Check: 0.0 Back: 58.834
INFO - Atoms: 20011/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 2225604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.857 Prop: 1932.898 PropClause: 1864.691 Set: 471.68 Check: 0.0 Back: 59.38
INFO - Atoms: 20176/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 2245048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.876 Prop: 1948.167 PropClause: 1879.423 Set: 476.896 Check: 0.0 Back: 59.925
INFO - Atoms: 19444/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 2265080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.895 Prop: 1964.283 PropClause: 1894.988 Set: 482.235 Check: 0.0 Back: 60.451
INFO - Atoms: 20032/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 2284524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.909 Prop: 1978.788 PropClause: 1908.956 Set: 491.615 Check: 0.0 Back: 60.979
INFO - Atoms: 19444/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 2304559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.923 Prop: 1992.531 PropClause: 1922.146 Set: 494.908 Check: 0.0 Back: 61.478
INFO - Atoms: 20035/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 2324570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.939 Prop: 2009.464 PropClause: 1938.517 Set: 498.2 Check: 0.0 Back: 62.011
INFO - Atoms: 20011/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 2344015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.953 Prop: 2025.281 PropClause: 1953.784 Set: 501.362 Check: 0.0 Back: 62.552
INFO - Atoms: 19445/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 2364026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.97 Prop: 2039.49 PropClause: 1967.439 Set: 504.646 Check: 0.0 Back: 63.064
INFO - Atoms: 20011/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 2384059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.984 Prop: 2053.543 PropClause: 1980.939 Set: 507.904 Check: 0.0 Back: 63.598
INFO - Atoms: 20033/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 2404259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.998 Prop: 2068.229 PropClause: 1995.069 Set: 511.182 Check: 0.0 Back: 64.121
INFO - Atoms: 20200/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 2424270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.012 Prop: 2083.382 PropClause: 2009.671 Set: 514.474 Check: 0.0 Back: 64.654
INFO - Atoms: 20011/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 2444448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.029 Prop: 2097.442 PropClause: 2023.174 Set: 517.771 Check: 0.0 Back: 65.197
INFO - Atoms: 20178/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 2463893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.043 Prop: 2111.538 PropClause: 2036.723 Set: 520.903 Check: 0.0 Back: 65.739
INFO - Atoms: 19445/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 2484069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.056 Prop: 2127.362 PropClause: 2051.964 Set: 524.26 Check: 0.0 Back: 66.253
INFO - Atoms: 20176/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 2504104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.071 Prop: 2142.918 PropClause: 2066.957 Set: 527.564 Check: 0.0 Back: 66.811
INFO - Atoms: 20035/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 2524304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.089 Prop: 2159.071 PropClause: 2082.548 Set: 530.878 Check: 0.0 Back: 67.354
INFO - Atoms: 20200/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 2544315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.104 Prop: 2174.171 PropClause: 2097.094 Set: 534.166 Check: 0.0 Back: 67.901
INFO - Atoms: 20011/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 2564491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.123 Prop: 2205.513 PropClause: 2127.879 Set: 537.486 Check: 0.0 Back: 68.454
INFO - Atoms: 20176/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 2583936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.137 Prop: 2221.104 PropClause: 2142.92 Set: 540.58 Check: 0.0 Back: 69.005
INFO - Atoms: 19445/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 2604111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.155 Prop: 2236.745 PropClause: 2157.982 Set: 544.105 Check: 0.0 Back: 69.521
INFO - Atoms: 20175/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 2624147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.168 Prop: 2251.57 PropClause: 2172.255 Set: 547.346 Check: 0.0 Back: 70.041
INFO - Atoms: 20036/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 2644365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.182 Prop: 2267.068 PropClause: 2187.193 Set: 550.702 Check: 0.0 Back: 70.585
INFO - Atoms: 20218/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 2664376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.199 Prop: 2285.315 PropClause: 2204.878 Set: 554.144 Check: 0.0 Back: 71.138
INFO - Atoms: 20011/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 2684552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.214 Prop: 2300.489 PropClause: 2219.492 Set: 557.486 Check: 0.0 Back: 71.686
INFO - Atoms: 20176/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 2703997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.23 Prop: 2315.465 PropClause: 2233.929 Set: 560.624 Check: 0.0 Back: 72.248
INFO - Atoms: 19445/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 2724172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.247 Prop: 2331.155 PropClause: 2249.067 Set: 564.038 Check: 0.0 Back: 72.778
INFO - Atoms: 20175/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 2744208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.261 Prop: 2348.096 PropClause: 2265.423 Set: 567.383 Check: 0.0 Back: 73.345
INFO - Atoms: 20036/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 2764426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.279 Prop: 2364.791 PropClause: 2281.546 Set: 570.767 Check: 0.0 Back: 73.898
INFO - Atoms: 20218/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 2784437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.298 Prop: 2381.061 PropClause: 2297.236 Set: 574.143 Check: 0.0 Back: 74.464
INFO - Atoms: 20011/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 2804613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.313 Prop: 2396.319 PropClause: 2311.924 Set: 577.465 Check: 0.0 Back: 75.007
INFO - Atoms: 20176/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 2824058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.327 Prop: 2412.47 PropClause: 2327.526 Set: 580.645 Check: 0.0 Back: 75.559
INFO - Atoms: 19445/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 2844288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.345 Prop: 2428.366 PropClause: 2342.66 Set: 584.02 Check: 0.0 Back: 76.095
INFO - Atoms: 20230/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 2864494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.362 Prop: 2442.207 PropClause: 2355.941 Set: 587.346 Check: 0.0 Back: 76.649
INFO - Atoms: 20206/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 2884133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.402 Prop: 2458.753 PropClause: 2371.942 Set: 590.528 Check: 0.0 Back: 77.176
INFO - Atoms: 19639/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 2903578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.441 Prop: 2473.323 PropClause: 2385.976 Set: 593.702 Check: 0.0 Back: 77.703
INFO - Atoms: 19445/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 2923589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.458 Prop: 2488.932 PropClause: 2401.03 Set: 597.071 Check: 0.0 Back: 78.225
INFO - Atoms: 20011/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 2943626 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.473 Prop: 2520.508 PropClause: 2432.05 Set: 600.371 Check: 0.0 Back: 78.789
INFO - Atoms: 20037/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 2963088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.49 Prop: 2536.698 PropClause: 2447.675 Set: 603.56 Check: 0.0 Back: 79.319
INFO - Atoms: 19462/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 2983123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.505 Prop: 2553.896 PropClause: 2464.319 Set: 606.906 Check: 0.0 Back: 79.849
INFO - Atoms: 20035/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 3003134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.521 Prop: 2571.118 PropClause: 2480.988 Set: 610.225 Check: 0.0 Back: 80.402
INFO - Atoms: 20011/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 3023335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.606 Prop: 2586.151 PropClause: 2495.464 Set: 613.564 Check: 0.0 Back: 80.945
INFO - Atoms: 20201/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 3043511 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.614 Prop: 2601.549 PropClause: 2510.304 Set: 616.921 Check: 0.0 Back: 81.505
INFO - Atoms: 20176/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 3063524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.621 Prop: 2616.796 PropClause: 2524.988 Set: 620.192 Check: 0.0 Back: 82.056
INFO - Atoms: 20013/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 3082986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.627 Prop: 2630.981 PropClause: 2538.622 Set: 623.343 Check: 0.0 Back: 82.6
INFO - Atoms: 19462/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 3103019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.645 Prop: 2643.885 PropClause: 2550.961 Set: 626.615 Check: 0.0 Back: 83.103
INFO - Atoms: 20033/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 3123197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.652 Prop: 2657.77 PropClause: 2564.277 Set: 629.923 Check: 0.0 Back: 83.637
INFO - Atoms: 20178/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 3143400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.658 Prop: 2673.512 PropClause: 2579.451 Set: 633.27 Check: 0.0 Back: 84.185
INFO - Atoms: 20203/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 3163577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.667 Prop: 2687.677 PropClause: 2593.04 Set: 636.564 Check: 0.0 Back: 84.738
INFO - Atoms: 20177/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 3183590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.674 Prop: 2701.708 PropClause: 2606.51 Set: 639.794 Check: 0.0 Back: 85.297
INFO - Atoms: 20013/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 3203034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.683 Prop: 2716.173 PropClause: 2620.431 Set: 648.342 Check: 0.0 Back: 85.821
INFO - Atoms: 19444/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 3223067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.691 Prop: 2731.323 PropClause: 2635.018 Set: 651.633 Check: 0.0 Back: 86.337
INFO - Atoms: 20033/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 3243245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.699 Prop: 2744.371 PropClause: 2647.498 Set: 654.935 Check: 0.0 Back: 86.882
INFO - Atoms: 20178/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 3263448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.705 Prop: 2758.723 PropClause: 2661.284 Set: 658.229 Check: 0.0 Back: 87.418
INFO - Atoms: 20203/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 3283625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.714 Prop: 2772.791 PropClause: 2674.787 Set: 661.511 Check: 0.0 Back: 87.96
INFO - Atoms: 20177/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 3303638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.721 Prop: 2787.826 PropClause: 2689.271 Set: 664.798 Check: 0.0 Back: 88.498
INFO - Atoms: 20013/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 3323082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.728 Prop: 2800.343 PropClause: 2701.242 Set: 667.882 Check: 0.0 Back: 89.038
INFO - Atoms: 19444/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 3343115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.737 Prop: 2813.964 PropClause: 2714.275 Set: 671.164 Check: 0.0 Back: 89.532
INFO - Atoms: 20033/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 3363293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.747 Prop: 2829.076 PropClause: 2728.832 Set: 674.503 Check: 0.0 Back: 90.081
INFO - Atoms: 20178/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 3383494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.755 Prop: 2844.33 PropClause: 2743.531 Set: 677.845 Check: 0.0 Back: 90.625
INFO - Atoms: 20201/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 3403671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.762 Prop: 2858.964 PropClause: 2757.6 Set: 681.186 Check: 0.0 Back: 91.179
INFO - Atoms: 20177/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 3423684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.769 Prop: 2874.644 PropClause: 2772.714 Set: 684.505 Check: 0.0 Back: 91.724
INFO - Atoms: 20013/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 3443147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.775 Prop: 2889.908 PropClause: 2787.426 Set: 687.711 Check: 0.0 Back: 92.286
INFO - Atoms: 19463/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 3463180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.783 Prop: 2904.466 PropClause: 2801.419 Set: 691.023 Check: 0.0 Back: 92.817
INFO - Atoms: 20033/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 3483358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.792 Prop: 2920.141 PropClause: 2816.526 Set: 694.314 Check: 0.0 Back: 93.372
INFO - Atoms: 20178/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 3503559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.798 Prop: 2934.664 PropClause: 2830.481 Set: 697.679 Check: 0.0 Back: 93.906
INFO - Atoms: 20201/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 3523736 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.806 Prop: 2949.36 PropClause: 2844.61 Set: 701.05 Check: 0.0 Back: 94.459
INFO - Atoms: 20177/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 3543749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.814 Prop: 2964.328 PropClause: 2859.016 Set: 704.33 Check: 0.0 Back: 95.004
INFO - Atoms: 20013/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 3563949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.822 Prop: 2980.574 PropClause: 2874.692 Set: 707.728 Check: 0.0 Back: 95.567
INFO - Atoms: 20200/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 3583960 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.83 Prop: 2994.492 PropClause: 2888.05 Set: 711.001 Check: 0.0 Back: 96.104
INFO - Atoms: 20011/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 3604136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.836 Prop: 3008.14 PropClause: 2901.13 Set: 714.298 Check: 0.0 Back: 96.65
INFO - Atoms: 20176/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 3624337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.843 Prop: 3021.745 PropClause: 2914.165 Set: 717.615 Check: 0.0 Back: 97.186
INFO - Atoms: 20201/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 3644513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.85 Prop: 3037.697 PropClause: 2929.548 Set: 720.983 Check: 0.0 Back: 97.743
INFO - Atoms: 20176/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 3664526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.857 Prop: 3050.812 PropClause: 2942.101 Set: 724.223 Check: 0.0 Back: 98.308
INFO - Atoms: 20013/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 3683988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.867 Prop: 3066.33 PropClause: 2957.081 Set: 727.378 Check: 0.0 Back: 98.855
INFO - Atoms: 19462/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 3704023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.875 Prop: 3079.714 PropClause: 2969.91 Set: 730.657 Check: 0.0 Back: 99.394
INFO - Atoms: 20035/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 3724199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.883 Prop: 3093.654 PropClause: 2983.292 Set: 734.003 Check: 0.0 Back: 99.944
INFO - Atoms: 20176/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 3744400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.89 Prop: 3110.258 PropClause: 2999.326 Set: 737.359 Check: 0.0 Back: 100.493
INFO - Atoms: 20201/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 3764577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.898 Prop: 3124.397 PropClause: 3012.899 Set: 740.74 Check: 0.0 Back: 101.048
INFO - Atoms: 20177/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 3784590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.906 Prop: 3139.161 PropClause: 3027.101 Set: 744.013 Check: 0.0 Back: 101.593
INFO - Atoms: 20013/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 3804052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.915 Prop: 3152.775 PropClause: 3040.161 Set: 747.112 Check: 0.0 Back: 102.151
INFO - Atoms: 19462/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 3824085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.922 Prop: 3167.938 PropClause: 3054.764 Set: 750.408 Check: 0.0 Back: 102.658
INFO - Atoms: 20033/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 3844263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.928 Prop: 3180.21 PropClause: 3066.468 Set: 753.676 Check: 0.0 Back: 103.205
INFO - Atoms: 20178/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 3864466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.934 Prop: 3194.137 PropClause: 3079.819 Set: 756.96 Check: 0.0 Back: 103.728
INFO - Atoms: 20203/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 3884127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.941 Prop: 3208.276 PropClause: 3093.405 Set: 760.18 Check: 0.0 Back: 104.276
INFO - Atoms: 19661/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 3903576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.949 Prop: 3224.156 PropClause: 3108.726 Set: 763.371 Check: 0.0 Back: 104.79
INFO - Atoms: 19449/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 3923982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.983 Prop: 3240.979 PropClause: 3124.962 Set: 772.187 Check: 0.0 Back: 105.322
INFO - Atoms: 20406/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 3944607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.119 Prop: 3259.384 PropClause: 3142.785 Set: 775.946 Check: 0.0 Back: 105.888
INFO - Atoms: 20625/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 3965403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.135 Prop: 3275.353 PropClause: 3158.168 Set: 779.639 Check: 0.0 Back: 106.463
INFO - Atoms: 20796/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 3986415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.148 Prop: 3293.47 PropClause: 3175.697 Set: 783.347 Check: 0.0 Back: 107.048
INFO - Atoms: 21012/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 4007625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.16 Prop: 3309.518 PropClause: 3191.151 Set: 787.114 Check: 0.0 Back: 107.622
INFO - Atoms: 21210/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 4029006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.175 Prop: 3326.946 PropClause: 3207.981 Set: 790.889 Check: 0.0 Back: 108.204
INFO - Atoms: 21381/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 4050604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.187 Prop: 3344.227 PropClause: 3224.656 Set: 794.679 Check: 0.0 Back: 108.811
INFO - Atoms: 21598/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 4072375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.2 Prop: 3362.313 PropClause: 3242.132 Set: 798.503 Check: 0.0 Back: 109.4
INFO - Atoms: 21771/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 4094363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.214 Prop: 3379.048 PropClause: 3258.249 Set: 802.37 Check: 0.0 Back: 109.928
INFO - Atoms: 21988/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 4116524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.226 Prop: 3396.116 PropClause: 3274.698 Set: 806.261 Check: 0.0 Back: 110.556
INFO - Atoms: 22161/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 4138902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.238 Prop: 3413.857 PropClause: 3291.805 Set: 810.183 Check: 0.0 Back: 111.172
INFO - Atoms: 22378/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 4161453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.252 Prop: 3429.938 PropClause: 3307.261 Set: 814.121 Check: 0.0 Back: 111.805
INFO - Atoms: 22551/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 4184220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.263 Prop: 3447.463 PropClause: 3324.152 Set: 818.079 Check: 0.0 Back: 112.431
INFO - Atoms: 22767/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 4207161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.276 Prop: 3465.43 PropClause: 3341.475 Set: 822.148 Check: 0.0 Back: 113.061
INFO - Atoms: 22941/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 4227372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.329 Prop: 3483.808 PropClause: 3359.288 Set: 826.056 Check: 0.0 Back: 113.721
INFO - Atoms: 20211/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 4250671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.385 Prop: 3502.045 PropClause: 3376.881 Set: 832.179 Check: 0.0 Back: 114.282
INFO - Atoms: 23299/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 4274000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.4 Prop: 3522.043 PropClause: 3396.235 Set: 838.432 Check: 0.0 Back: 114.959
INFO - Atoms: 23329/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 4297524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.415 Prop: 3545.639 PropClause: 3419.176 Set: 844.841 Check: 0.0 Back: 115.622
INFO - Atoms: 23524/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 4321269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.426 Prop: 3566.277 PropClause: 3439.141 Set: 851.227 Check: 0.0 Back: 116.299
INFO - Atoms: 23745/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 4345185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.437 Prop: 3587.447 PropClause: 3459.643 Set: 857.692 Check: 0.0 Back: 116.983
INFO - Atoms: 23916/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 4369318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.452 Prop: 3611.891 PropClause: 3483.414 Set: 864.605 Check: 0.0 Back: 117.665
INFO - Atoms: 24133/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 4393624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.469 Prop: 3634.335 PropClause: 3505.171 Set: 871.421 Check: 0.0 Back: 118.376
INFO - Atoms: 24306/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 4418147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.485 Prop: 3657.325 PropClause: 3527.483 Set: 878.167 Check: 0.0 Back: 119.129
INFO - Atoms: 24523/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 4442843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.501 Prop: 3681.185 PropClause: 3550.647 Set: 885.201 Check: 0.0 Back: 119.858
INFO - Atoms: 24696/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 4467756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.514 Prop: 3702.864 PropClause: 3571.642 Set: 892.026 Check: 0.0 Back: 120.595
INFO - Atoms: 24913/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 4492842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.527 Prop: 3725.173 PropClause: 3593.268 Set: 898.882 Check: 0.0 Back: 121.327
INFO - Atoms: 25086/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 4518145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.542 Prop: 3749.209 PropClause: 3616.604 Set: 905.839 Check: 0.0 Back: 122.069
INFO - Atoms: 25303/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 4543621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.567 Prop: 3771.06 PropClause: 3637.75 Set: 916.04 Check: 0.0 Back: 122.817
INFO - Atoms: 25476/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 4569314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.581 Prop: 3793.208 PropClause: 3659.182 Set: 920.678 Check: 0.0 Back: 123.586
INFO - Atoms: 25693/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 4595180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.593 Prop: 3815.561 PropClause: 3680.816 Set: 925.406 Check: 0.0 Back: 124.346
INFO - Atoms: 25866/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 4621263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.607 Prop: 3839.566 PropClause: 3704.091 Set: 930.102 Check: 0.0 Back: 125.125
INFO - Atoms: 26083/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 4647519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.621 Prop: 3865.469 PropClause: 3729.254 Set: 934.896 Check: 0.0 Back: 125.906
INFO - Atoms: 26256/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 4673992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.633 Prop: 3891.568 PropClause: 3754.616 Set: 939.677 Check: 0.0 Back: 126.695
INFO - Atoms: 26473/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 4700638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.645 Prop: 3917.573 PropClause: 3779.872 Set: 944.494 Check: 0.0 Back: 127.489
INFO - Atoms: 26646/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 4727501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.658 Prop: 3944.407 PropClause: 3805.956 Set: 949.35 Check: 0.0 Back: 128.284
INFO - Atoms: 26863/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 4754537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.672 Prop: 3969.465 PropClause: 3830.257 Set: 954.252 Check: 0.0 Back: 129.113
INFO - Atoms: 27036/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 4781790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.686 Prop: 3995.857 PropClause: 3855.885 Set: 959.231 Check: 0.0 Back: 129.922
INFO - Atoms: 27253/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 4809216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.699 Prop: 4025.115 PropClause: 3884.376 Set: 964.209 Check: 0.0 Back: 130.738
INFO - Atoms: 27426/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 4836859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.709 Prop: 4050.344 PropClause: 3908.833 Set: 969.184 Check: 0.0 Back: 131.555
INFO - Atoms: 27643/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 4864675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.728 Prop: 4076.041 PropClause: 3933.747 Set: 974.24 Check: 0.0 Back: 132.374
INFO - Atoms: 27816/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 4892708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.741 Prop: 4101.076 PropClause: 3957.987 Set: 979.317 Check: 0.0 Back: 133.211
INFO - Atoms: 28033/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 4920914 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.754 Prop: 4127.205 PropClause: 3983.315 Set: 984.441 Check: 0.0 Back: 134.073
INFO - Atoms: 28206/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 4949336 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.767 Prop: 4155.076 PropClause: 4010.388 Set: 989.649 Check: 0.0 Back: 134.925
INFO - Atoms: 28422/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 4977930 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.78 Prop: 4182.874 PropClause: 4037.379 Set: 994.875 Check: 0.0 Back: 135.807
INFO - Atoms: 28594/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 4997946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.794 Prop: 4202.202 PropClause: 4056.145 Set: 998.355 Check: 0.0 Back: 136.674
INFO - Atoms: 20016/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 5017767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.806 Prop: 4217.165 PropClause: 4070.55 Set: 1001.808 Check: 0.0 Back: 137.199
INFO - Atoms: 19821/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 5037418 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.824 Prop: 4230.88 PropClause: 4083.712 Set: 1005.258 Check: 0.0 Back: 137.727
INFO - Atoms: 19651/28608 Clauses: 293 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 721 Props: 6713211 Tprops: 0 Decides: 9509 RSplits: 0
INFO - Times: Expl: 563.621 Prop: 5361.194 PropClause: 5163.454 Set: 1047.415 Check: 0.225 Back: 177.665
INFO - Atoms: 9812/28608 Clauses: 785 Axioms: 94450
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 235 Props: 13978 Tprops: 3351 Decides: 10986 RSplits: 0
INFO - Times: Expl: 112.103 Prop: 12365.533 PropClause: 6.081 Set: 1087.756 Check: 61.191 Back: 40.183
INFO - Atoms: 438/438 Clauses: 235 Axioms: 438
INFO - CCTimes: iE 123592 eq 8885355 cc 40029820 setRep 12846601
INFO - Merges: 94205, cc:159974
INFO - BVTimes: BB 129763512 BB_DPLL 11113853574 Graph 284416
INFO - BitBlastingClauses: 161318 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat