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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 349653166
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.068 Prop: 6.097 PropClause: 5.931 Set: 1.568 Check: 0.0 Back: 0.0
INFO - Atoms: 802/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 1595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.113 Prop: 7.359 PropClause: 7.046 Set: 2.054 Check: 0.0 Back: 0.043
INFO - Atoms: 793/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 2292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.15 Prop: 8.315 PropClause: 7.88 Set: 2.13 Check: 0.0 Back: 0.061
INFO - Atoms: 697/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 3109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.187 Prop: 9.074 PropClause: 8.61 Set: 2.255 Check: 0.0 Back: 0.077
INFO - Atoms: 817/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 5142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.222 Prop: 10.376 PropClause: 9.801 Set: 2.753 Check: 0.0 Back: 0.096
INFO - Atoms: 2033/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 7265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.275 Prop: 11.766 PropClause: 11.108 Set: 3.432 Check: 0.0 Back: 0.143
INFO - Atoms: 2123/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 9357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.314 Prop: 12.738 PropClause: 11.994 Set: 4.088 Check: 0.0 Back: 0.193
INFO - Atoms: 2092/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 11562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.352 Prop: 13.878 PropClause: 13.066 Set: 4.779 Check: 0.0 Back: 0.241
INFO - Atoms: 2205/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 13602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.394 Prop: 15.163 PropClause: 14.287 Set: 5.269 Check: 0.0 Back: 0.292
INFO - Atoms: 2040/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 15768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.429 Prop: 17.841 PropClause: 15.633 Set: 5.814 Check: 0.0 Back: 0.34
INFO - Atoms: 2166/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 18070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.46 Prop: 19.222 PropClause: 16.901 Set: 6.378 Check: 0.0 Back: 0.391
INFO - Atoms: 2302/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 20362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.497 Prop: 20.824 PropClause: 18.414 Set: 6.704 Check: 0.0 Back: 0.445
INFO - Atoms: 2292/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 22429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.535 Prop: 21.92 PropClause: 19.438 Set: 6.94 Check: 0.0 Back: 0.499
INFO - Atoms: 2067/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 24606 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.572 Prop: 22.997 PropClause: 20.441 Set: 7.2 Check: 0.0 Back: 0.547
INFO - Atoms: 2177/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 26662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.888 Prop: 24.028 PropClause: 21.403 Set: 7.432 Check: 0.0 Back: 0.597
INFO - Atoms: 2056/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 28826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.922 Prop: 25.015 PropClause: 22.301 Set: 7.696 Check: 0.0 Back: 0.644
INFO - Atoms: 2164/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 30898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.963 Prop: 26.556 PropClause: 23.757 Set: 7.945 Check: 0.0 Back: 0.695
INFO - Atoms: 2072/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 33062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.993 Prop: 27.609 PropClause: 24.685 Set: 8.205 Check: 0.0 Back: 0.744
INFO - Atoms: 2164/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 35131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.029 Prop: 28.845 PropClause: 25.814 Set: 8.455 Check: 0.0 Back: 0.794
INFO - Atoms: 2069/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 37413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.059 Prop: 30.318 PropClause: 27.197 Set: 8.748 Check: 0.0 Back: 0.843
INFO - Atoms: 2282/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 39702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.1 Prop: 31.227 PropClause: 28.02 Set: 9.052 Check: 0.0 Back: 0.898
INFO - Atoms: 2289/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 41994 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.139 Prop: 32.134 PropClause: 28.856 Set: 9.346 Check: 0.0 Back: 0.953
INFO - Atoms: 2292/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 44288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.178 Prop: 33.171 PropClause: 29.818 Set: 9.654 Check: 0.0 Back: 1.007
INFO - Atoms: 2294/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 46584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.219 Prop: 34.663 PropClause: 31.239 Set: 9.97 Check: 0.0 Back: 1.063
INFO - Atoms: 2296/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 48882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.267 Prop: 36.074 PropClause: 32.571 Set: 10.267 Check: 0.0 Back: 1.119
INFO - Atoms: 2298/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 51182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.313 Prop: 37.248 PropClause: 33.648 Set: 10.557 Check: 0.0 Back: 1.172
INFO - Atoms: 2300/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 53500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.361 Prop: 38.13 PropClause: 34.447 Set: 10.852 Check: 0.0 Back: 1.224
INFO - Atoms: 2318/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 55739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.397 Prop: 39.089 PropClause: 35.339 Set: 11.132 Check: 0.0 Back: 1.276
INFO - Atoms: 2239/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 57864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.433 Prop: 39.999 PropClause: 36.111 Set: 11.548 Check: 0.0 Back: 1.328
INFO - Atoms: 2125/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 60150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.47 Prop: 40.964 PropClause: 36.997 Set: 12.019 Check: 0.0 Back: 1.376
INFO - Atoms: 2286/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 62274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.501 Prop: 41.658 PropClause: 37.616 Set: 12.437 Check: 0.0 Back: 1.428
INFO - Atoms: 2124/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 64445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.542 Prop: 42.584 PropClause: 38.48 Set: 12.89 Check: 0.0 Back: 1.476
INFO - Atoms: 2171/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 66650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.582 Prop: 43.368 PropClause: 39.201 Set: 13.341 Check: 0.0 Back: 1.525
INFO - Atoms: 2205/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 68871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.62 Prop: 44.348 PropClause: 40.119 Set: 13.802 Check: 0.0 Back: 1.575
INFO - Atoms: 2221/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 71130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.656 Prop: 45.274 PropClause: 40.982 Set: 14.252 Check: 0.0 Back: 1.625
INFO - Atoms: 2259/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 73439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.696 Prop: 46.394 PropClause: 42.037 Set: 14.743 Check: 0.0 Back: 1.676
INFO - Atoms: 2309/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 75682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.73 Prop: 47.708 PropClause: 43.287 Set: 15.03 Check: 0.0 Back: 1.728
INFO - Atoms: 2243/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 78014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.767 Prop: 48.601 PropClause: 44.114 Set: 15.332 Check: 0.0 Back: 1.779
INFO - Atoms: 2332/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 80348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.802 Prop: 49.437 PropClause: 44.884 Set: 15.631 Check: 0.0 Back: 1.832
INFO - Atoms: 2334/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 82683 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.84 Prop: 50.507 PropClause: 45.888 Set: 15.937 Check: 0.0 Back: 1.885
INFO - Atoms: 2335/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 84916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.87 Prop: 51.216 PropClause: 46.534 Set: 16.216 Check: 0.0 Back: 1.938
INFO - Atoms: 2233/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 87219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.908 Prop: 52.104 PropClause: 47.357 Set: 16.519 Check: 0.0 Back: 1.989
INFO - Atoms: 2303/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 89450 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.936 Prop: 52.781 PropClause: 47.97 Set: 16.798 Check: 0.0 Back: 2.042
INFO - Atoms: 2231/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 91689 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.968 Prop: 53.593 PropClause: 48.719 Set: 17.081 Check: 0.0 Back: 2.093
INFO - Atoms: 2239/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 93944 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.994 Prop: 54.322 PropClause: 49.384 Set: 17.376 Check: 0.0 Back: 2.145
INFO - Atoms: 2255/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 96343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.134 Prop: 55.144 PropClause: 50.138 Set: 17.709 Check: 0.0 Back: 2.197
INFO - Atoms: 2399/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 98727 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.146 Prop: 55.891 PropClause: 50.819 Set: 18.032 Check: 0.0 Back: 2.251
INFO - Atoms: 2384/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 101140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.16 Prop: 56.74 PropClause: 51.6 Set: 18.378 Check: 0.0 Back: 2.305
INFO - Atoms: 2413/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 103544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.171 Prop: 57.396 PropClause: 52.18 Set: 18.723 Check: 0.0 Back: 2.36
INFO - Atoms: 2404/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 105940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.185 Prop: 58.251 PropClause: 52.968 Set: 19.072 Check: 0.0 Back: 2.415
INFO - Atoms: 2396/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 108405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.2 Prop: 59.151 PropClause: 53.798 Set: 19.438 Check: 0.0 Back: 2.47
INFO - Atoms: 2465/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 110870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.218 Prop: 60.145 PropClause: 54.721 Set: 19.814 Check: 0.0 Back: 2.526
INFO - Atoms: 2465/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 113317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.231 Prop: 60.832 PropClause: 55.339 Set: 20.175 Check: 0.0 Back: 2.582
INFO - Atoms: 2447/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 115767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.247 Prop: 61.757 PropClause: 56.195 Set: 20.542 Check: 0.0 Back: 2.638
INFO - Atoms: 2450/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 118216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.26 Prop: 62.483 PropClause: 56.852 Set: 20.913 Check: 0.0 Back: 2.694
INFO - Atoms: 2449/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 120798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.277 Prop: 63.304 PropClause: 57.6 Set: 21.318 Check: 0.0 Back: 2.749
INFO - Atoms: 2582/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 122268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.298 Prop: 64.06 PropClause: 58.314 Set: 21.466 Check: 0.0 Back: 2.808
INFO - Atoms: 1470/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 124197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.314 Prop: 64.828 PropClause: 59.027 Set: 21.695 Check: 0.0 Back: 2.841
INFO - Atoms: 1929/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 126032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.332 Prop: 65.684 PropClause: 59.831 Set: 21.9 Check: 0.0 Back: 2.885
INFO - Atoms: 1835/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 127992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.346 Prop: 66.469 PropClause: 60.561 Set: 22.144 Check: 0.0 Back: 2.927
INFO - Atoms: 1960/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 129843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.364 Prop: 67.236 PropClause: 61.265 Set: 22.347 Check: 0.0 Back: 2.972
INFO - Atoms: 1851/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 131834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.381 Prop: 68.023 PropClause: 61.997 Set: 22.587 Check: 0.0 Back: 3.014
INFO - Atoms: 1991/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 133824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.396 Prop: 68.602 PropClause: 62.52 Set: 22.826 Check: 0.0 Back: 3.059
INFO - Atoms: 1990/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 135754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.411 Prop: 69.39 PropClause: 63.253 Set: 23.047 Check: 0.0 Back: 3.104
INFO - Atoms: 1930/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 137397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.446 Prop: 70.396 PropClause: 64.209 Set: 24.404 Check: 0.0 Back: 3.149
INFO - Atoms: 1643/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 139215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.505 Prop: 71.176 PropClause: 64.937 Set: 24.765 Check: 0.0 Back: 3.186
INFO - Atoms: 1818/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 141172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.523 Prop: 72.005 PropClause: 65.71 Set: 25.283 Check: 0.0 Back: 3.228
INFO - Atoms: 1957/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 143638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.538 Prop: 72.966 PropClause: 66.601 Set: 25.998 Check: 0.0 Back: 3.273
INFO - Atoms: 2466/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 146251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.555 Prop: 73.983 PropClause: 67.542 Set: 26.778 Check: 0.0 Back: 3.329
INFO - Atoms: 2613/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 148695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.57 Prop: 75.054 PropClause: 68.544 Set: 27.55 Check: 0.0 Back: 3.388
INFO - Atoms: 2444/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 151100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.588 Prop: 76.01 PropClause: 69.432 Set: 28.266 Check: 0.0 Back: 3.444
INFO - Atoms: 2405/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 153664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.64 Prop: 77.392 PropClause: 70.741 Set: 29.068 Check: 0.0 Back: 3.499
INFO - Atoms: 2564/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 156155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.696 Prop: 78.81 PropClause: 72.089 Set: 29.846 Check: 0.0 Back: 3.557
INFO - Atoms: 2491/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 157961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.71 Prop: 80.02 PropClause: 73.246 Set: 30.328 Check: 0.0 Back: 3.614
INFO - Atoms: 1806/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 159727 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.722 Prop: 80.964 PropClause: 74.14 Set: 30.784 Check: 0.0 Back: 3.655
INFO - Atoms: 1766/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 161431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.737 Prop: 82.101 PropClause: 75.218 Set: 31.221 Check: 0.0 Back: 3.695
INFO - Atoms: 1704/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 163194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.749 Prop: 82.917 PropClause: 75.983 Set: 31.683 Check: 0.0 Back: 3.734
INFO - Atoms: 1763/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 165510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.761 Prop: 83.818 PropClause: 76.819 Set: 32.366 Check: 0.0 Back: 3.775
INFO - Atoms: 2316/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 167257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.776 Prop: 84.622 PropClause: 77.574 Set: 32.614 Check: 0.0 Back: 3.827
INFO - Atoms: 1747/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 168947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.788 Prop: 85.522 PropClause: 78.422 Set: 32.814 Check: 0.0 Back: 3.867
INFO - Atoms: 1690/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 170654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.8 Prop: 86.591 PropClause: 79.441 Set: 33.013 Check: 0.0 Back: 3.905
INFO - Atoms: 1707/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 172378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.813 Prop: 87.538 PropClause: 80.32 Set: 33.206 Check: 0.0 Back: 3.945
INFO - Atoms: 1724/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 174079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.824 Prop: 88.192 PropClause: 80.926 Set: 33.386 Check: 0.0 Back: 3.984
INFO - Atoms: 1701/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 175876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.838 Prop: 88.939 PropClause: 81.622 Set: 33.591 Check: 0.0 Back: 4.023
INFO - Atoms: 1797/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 178019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.849 Prop: 89.52 PropClause: 82.143 Set: 33.878 Check: 0.0 Back: 4.064
INFO - Atoms: 2143/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 180428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.858 Prop: 90.289 PropClause: 82.844 Set: 34.24 Check: 0.0 Back: 4.113
INFO - Atoms: 2409/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 182830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.87 Prop: 90.983 PropClause: 83.472 Set: 34.598 Check: 0.0 Back: 4.168
INFO - Atoms: 2402/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 185234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.881 Prop: 91.843 PropClause: 84.265 Set: 34.963 Check: 0.0 Back: 4.222
INFO - Atoms: 2404/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 187571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.89 Prop: 92.428 PropClause: 84.786 Set: 35.314 Check: 0.0 Back: 4.279
INFO - Atoms: 2337/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 189912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.905 Prop: 93.419 PropClause: 85.712 Set: 35.668 Check: 0.0 Back: 4.333
INFO - Atoms: 2341/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 192215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.919 Prop: 94.294 PropClause: 86.521 Set: 36.015 Check: 0.0 Back: 4.386
INFO - Atoms: 2303/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 194491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.954 Prop: 95.09 PropClause: 87.252 Set: 36.361 Check: 0.0 Back: 4.438
INFO - Atoms: 2276/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 196844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.986 Prop: 95.865 PropClause: 87.961 Set: 36.72 Check: 0.0 Back: 4.49
INFO - Atoms: 2353/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 199391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.998 Prop: 96.833 PropClause: 88.857 Set: 37.127 Check: 0.0 Back: 4.544
INFO - Atoms: 2547/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 202039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.011 Prop: 98.043 PropClause: 89.991 Set: 37.549 Check: 0.0 Back: 4.602
INFO - Atoms: 2648/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 203791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.022 Prop: 98.85 PropClause: 90.748 Set: 37.743 Check: 0.0 Back: 4.662
INFO - Atoms: 1752/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 205705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.034 Prop: 99.44 PropClause: 91.285 Set: 37.965 Check: 0.0 Back: 4.702
INFO - Atoms: 1914/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 208488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.046 Prop: 100.412 PropClause: 92.179 Set: 38.413 Check: 0.0 Back: 4.746
INFO - Atoms: 2783/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 211348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.057 Prop: 101.398 PropClause: 93.085 Set: 38.882 Check: 0.0 Back: 4.81
INFO - Atoms: 2860/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 214318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.069 Prop: 102.405 PropClause: 94.008 Set: 39.368 Check: 0.0 Back: 4.876
INFO - Atoms: 2970/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 217173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.08 Prop: 103.393 PropClause: 94.916 Set: 39.822 Check: 0.0 Back: 4.944
INFO - Atoms: 2855/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 219010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.113 Prop: 104.134 PropClause: 95.605 Set: 40.029 Check: 0.0 Back: 5.008
INFO - Atoms: 1837/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 220900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.127 Prop: 104.654 PropClause: 96.072 Set: 40.244 Check: 0.0 Back: 5.05
INFO - Atoms: 1890/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 223852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.154 Prop: 105.608 PropClause: 96.935 Set: 40.73 Check: 0.0 Back: 5.093
INFO - Atoms: 2952/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 226936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.163 Prop: 106.544 PropClause: 97.783 Set: 41.253 Check: 0.0 Back: 5.16
INFO - Atoms: 3084/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 228794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.172 Prop: 107.293 PropClause: 98.48 Set: 41.46 Check: 0.0 Back: 5.23
INFO - Atoms: 1858/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 230688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.184 Prop: 108.171 PropClause: 99.305 Set: 41.686 Check: 0.0 Back: 5.274
INFO - Atoms: 1894/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 233787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.195 Prop: 109.748 PropClause: 100.793 Set: 42.22 Check: 0.0 Back: 5.317
INFO - Atoms: 3099/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 236947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.206 Prop: 111.069 PropClause: 102.024 Set: 42.752 Check: 0.0 Back: 5.389
INFO - Atoms: 3160/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 238823 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.218 Prop: 112.405 PropClause: 103.307 Set: 42.977 Check: 0.0 Back: 5.46
INFO - Atoms: 1876/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 242098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.23 Prop: 113.609 PropClause: 104.42 Set: 43.562 Check: 0.0 Back: 5.503
INFO - Atoms: 3275/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 243447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.241 Prop: 114.86 PropClause: 105.632 Set: 43.686 Check: 0.0 Back: 5.577
INFO - Atoms: 1349/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 245274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.252 Prop: 115.447 PropClause: 106.167 Set: 43.892 Check: 0.0 Back: 5.608
INFO - Atoms: 1827/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 247154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.261 Prop: 116.13 PropClause: 106.798 Set: 44.111 Check: 0.0 Back: 5.649
INFO - Atoms: 1880/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 249081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.271 Prop: 116.756 PropClause: 107.37 Set: 44.346 Check: 0.0 Back: 5.693
INFO - Atoms: 1927/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 251261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.279 Prop: 117.314 PropClause: 107.867 Set: 44.642 Check: 0.0 Back: 5.737
INFO - Atoms: 2180/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 253125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.288 Prop: 117.776 PropClause: 108.277 Set: 44.853 Check: 0.0 Back: 5.786
INFO - Atoms: 1864/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 255437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.297 Prop: 118.673 PropClause: 109.109 Set: 45.223 Check: 0.0 Back: 5.829
INFO - Atoms: 2312/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 257600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.308 Prop: 119.589 PropClause: 109.964 Set: 45.509 Check: 0.0 Back: 5.881
INFO - Atoms: 2163/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 259364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.318 Prop: 120.504 PropClause: 110.83 Set: 45.697 Check: 0.0 Back: 5.931
INFO - Atoms: 1764/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 261945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.326 Prop: 121.116 PropClause: 111.37 Set: 46.077 Check: 0.0 Back: 5.971
INFO - Atoms: 2581/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 263811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.334 Prop: 121.81 PropClause: 112.011 Set: 46.291 Check: 0.0 Back: 6.032
INFO - Atoms: 1866/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 266642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.344 Prop: 122.504 PropClause: 112.626 Set: 46.752 Check: 0.0 Back: 6.075
INFO - Atoms: 2831/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 268526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.355 Prop: 123.452 PropClause: 113.523 Set: 46.986 Check: 0.0 Back: 6.138
INFO - Atoms: 1884/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 271245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.366 Prop: 124.304 PropClause: 114.299 Set: 47.419 Check: 0.0 Back: 6.181
INFO - Atoms: 2719/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 274070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.374 Prop: 125.196 PropClause: 115.112 Set: 47.888 Check: 0.0 Back: 6.243
INFO - Atoms: 2825/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 276915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.383 Prop: 125.971 PropClause: 115.807 Set: 48.344 Check: 0.0 Back: 6.307
INFO - Atoms: 2845/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 280570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.392 Prop: 127.206 PropClause: 116.939 Set: 49.03 Check: 0.0 Back: 6.372
INFO - Atoms: 3655/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 284532 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.403 Prop: 128.758 PropClause: 118.378 Set: 49.79 Check: 0.0 Back: 6.456
INFO - Atoms: 3962/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 288700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.416 Prop: 130.576 PropClause: 120.077 Set: 50.619 Check: 0.0 Back: 6.547
INFO - Atoms: 4168/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 293118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.427 Prop: 132.389 PropClause: 121.765 Set: 51.484 Check: 0.0 Back: 6.643
INFO - Atoms: 4418/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 297746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.437 Prop: 134.561 PropClause: 123.806 Set: 52.397 Check: 0.0 Back: 6.744
INFO - Atoms: 4628/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 302407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.45 Prop: 136.517 PropClause: 125.63 Set: 53.308 Check: 0.0 Back: 6.849
INFO - Atoms: 4661/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 305775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.46 Prop: 138.352 PropClause: 127.37 Set: 53.922 Check: 0.0 Back: 6.956
INFO - Atoms: 3368/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 310582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.471 Prop: 140.273 PropClause: 129.156 Set: 54.863 Check: 0.0 Back: 7.034
INFO - Atoms: 4807/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 315576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.482 Prop: 142.357 PropClause: 131.099 Set: 55.88 Check: 0.0 Back: 7.143
INFO - Atoms: 4994/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 317344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.491 Prop: 143.643 PropClause: 132.335 Set: 56.082 Check: 0.0 Back: 7.257
INFO - Atoms: 1768/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 322443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.502 Prop: 145.319 PropClause: 133.869 Set: 57.072 Check: 0.0 Back: 7.298
INFO - Atoms: 5099/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 328174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.514 Prop: 147.679 PropClause: 136.053 Set: 58.215 Check: 0.0 Back: 7.427
INFO - Atoms: 5731/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 333177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.524 Prop: 149.697 PropClause: 137.929 Set: 59.21 Check: 0.0 Back: 7.567
INFO - Atoms: 5003/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 334925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.531 Prop: 150.839 PropClause: 139.022 Set: 59.407 Check: 0.0 Back: 7.683
INFO - Atoms: 1748/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 336674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.54 Prop: 151.463 PropClause: 139.597 Set: 59.61 Check: 0.0 Back: 7.723
INFO - Atoms: 1749/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 338660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.547 Prop: 151.974 PropClause: 140.053 Set: 59.871 Check: 0.0 Back: 7.765
INFO - Atoms: 1986/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 342112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.583 Prop: 153.038 PropClause: 141.02 Set: 60.533 Check: 0.0 Back: 7.81
INFO - Atoms: 3452/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 347071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.627 Prop: 154.942 PropClause: 142.786 Set: 61.801 Check: 0.0 Back: 7.89
INFO - Atoms: 4959/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 348718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.639 Prop: 156.861 PropClause: 144.657 Set: 62.099 Check: 0.0 Back: 8.004
INFO - Atoms: 1647/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 351347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.649 Prop: 157.888 PropClause: 145.611 Set: 62.689 Check: 0.0 Back: 8.041
INFO - Atoms: 2629/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 354012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.659 Prop: 158.986 PropClause: 146.634 Set: 63.289 Check: 0.0 Back: 8.101
INFO - Atoms: 2665/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 355643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.67 Prop: 159.731 PropClause: 147.333 Set: 63.574 Check: 0.0 Back: 8.163
INFO - Atoms: 1631/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 359936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.679 Prop: 161.207 PropClause: 148.689 Set: 64.632 Check: 0.0 Back: 8.2
INFO - Atoms: 4293/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 365102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.695 Prop: 163.926 PropClause: 151.264 Set: 65.986 Check: 0.0 Back: 8.299
INFO - Atoms: 5166/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 368398 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.706 Prop: 166.511 PropClause: 153.756 Set: 66.789 Check: 0.0 Back: 8.426
INFO - Atoms: 3296/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 373555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.717 Prop: 168.548 PropClause: 155.65 Set: 68.103 Check: 0.0 Back: 8.501
INFO - Atoms: 5157/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 375824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.727 Prop: 170.58 PropClause: 157.618 Set: 68.598 Check: 0.0 Back: 8.623
INFO - Atoms: 2269/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 380312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.737 Prop: 173.138 PropClause: 160.051 Set: 69.803 Check: 0.0 Back: 8.675
INFO - Atoms: 4488/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 383184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.748 Prop: 175.982 PropClause: 162.814 Set: 70.496 Check: 0.0 Back: 8.778
INFO - Atoms: 2872/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 386059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.759 Prop: 177.182 PropClause: 163.935 Set: 71.163 Check: 0.0 Back: 8.844
INFO - Atoms: 2875/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 390094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.771 Prop: 179.068 PropClause: 165.708 Set: 72.186 Check: 0.0 Back: 8.909
INFO - Atoms: 4035/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 395508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.785 Prop: 182.299 PropClause: 168.777 Set: 73.703 Check: 0.0 Back: 9.003
INFO - Atoms: 5414/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 400598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.799 Prop: 186.618 PropClause: 172.954 Set: 75.082 Check: 0.0 Back: 9.139
INFO - Atoms: 5090/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 404548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.812 Prop: 189.973 PropClause: 176.197 Set: 76.124 Check: 0.0 Back: 9.268
INFO - Atoms: 3950/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 406171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.823 Prop: 191.525 PropClause: 177.705 Set: 76.416 Check: 0.0 Back: 9.361
INFO - Atoms: 1623/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 407614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.834 Prop: 192.137 PropClause: 178.276 Set: 76.65 Check: 0.0 Back: 9.399
INFO - Atoms: 1443/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 409928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.843 Prop: 192.885 PropClause: 178.959 Set: 77.132 Check: 0.0 Back: 9.432
INFO - Atoms: 2314/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 413611 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.851 Prop: 194.198 PropClause: 180.17 Set: 78.009 Check: 0.0 Back: 9.484
INFO - Atoms: 3683/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 415198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.888 Prop: 195.436 PropClause: 181.364 Set: 78.291 Check: 0.0 Back: 9.568
INFO - Atoms: 1587/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 418587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.915 Prop: 196.553 PropClause: 182.384 Set: 78.899 Check: 0.0 Back: 9.604
INFO - Atoms: 3389/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 421775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.926 Prop: 198.21 PropClause: 183.952 Set: 79.479 Check: 0.0 Back: 9.682
INFO - Atoms: 3188/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 424733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.936 Prop: 199.471 PropClause: 185.13 Set: 79.977 Check: 0.0 Back: 9.756
INFO - Atoms: 2958/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 426354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.944 Prop: 200.334 PropClause: 185.948 Set: 80.149 Check: 0.0 Back: 9.824
INFO - Atoms: 1621/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 428050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.954 Prop: 200.84 PropClause: 186.407 Set: 80.344 Check: 0.0 Back: 9.86
INFO - Atoms: 1696/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 429703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.964 Prop: 201.422 PropClause: 186.941 Set: 80.527 Check: 0.0 Back: 9.899
INFO - Atoms: 1653/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 432245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.972 Prop: 202.256 PropClause: 187.703 Set: 80.948 Check: 0.0 Back: 9.937
INFO - Atoms: 2542/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 433891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.98 Prop: 203.06 PropClause: 188.461 Set: 81.135 Check: 0.0 Back: 9.994
INFO - Atoms: 1646/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 438024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.988 Prop: 204.19 PropClause: 189.474 Set: 81.938 Check: 0.0 Back: 10.032
INFO - Atoms: 4133/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 442269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.998 Prop: 205.77 PropClause: 190.932 Set: 82.733 Check: 0.0 Back: 10.127
INFO - Atoms: 4245/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 447610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.008 Prop: 208.085 PropClause: 193.096 Set: 83.834 Check: 0.0 Back: 10.224
INFO - Atoms: 5341/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 449306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.016 Prop: 209.269 PropClause: 194.233 Set: 84.029 Check: 0.0 Back: 10.346
INFO - Atoms: 1696/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 455044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.032 Prop: 210.962 PropClause: 195.764 Set: 85.141 Check: 0.0 Back: 10.385
INFO - Atoms: 5738/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 460758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.045 Prop: 214.481 PropClause: 199.117 Set: 86.372 Check: 0.0 Back: 10.517
INFO - Atoms: 5714/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 465912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.054 Prop: 217.876 PropClause: 202.368 Set: 87.389 Check: 0.0 Back: 10.657
INFO - Atoms: 5154/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 467605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.064 Prop: 219.497 PropClause: 203.94 Set: 87.581 Check: 0.0 Back: 10.775
INFO - Atoms: 1693/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 469314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.075 Prop: 220.211 PropClause: 204.607 Set: 87.776 Check: 0.0 Back: 10.814
INFO - Atoms: 1709/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 471023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.083 Prop: 221.021 PropClause: 205.368 Set: 87.973 Check: 0.0 Back: 10.853
INFO - Atoms: 1709/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 472864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.093 Prop: 221.77 PropClause: 206.065 Set: 88.203 Check: 0.0 Back: 10.892
INFO - Atoms: 1841/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 474769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.101 Prop: 222.594 PropClause: 206.836 Set: 88.465 Check: 0.0 Back: 10.933
INFO - Atoms: 1905/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 477068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.109 Prop: 223.279 PropClause: 207.456 Set: 88.812 Check: 0.0 Back: 10.977
INFO - Atoms: 2299/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 481180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.119 Prop: 224.762 PropClause: 208.821 Set: 89.619 Check: 0.0 Back: 11.029
INFO - Atoms: 4112/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 485411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.126 Prop: 226.272 PropClause: 210.21 Set: 90.418 Check: 0.0 Back: 11.124
INFO - Atoms: 4231/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 490392 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.139 Prop: 228.498 PropClause: 212.297 Set: 91.39 Check: 0.0 Back: 11.221
INFO - Atoms: 4981/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 492001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.192 Prop: 230.305 PropClause: 214.058 Set: 91.56 Check: 0.0 Back: 11.346
INFO - Atoms: 1609/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 493832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.201 Prop: 231.024 PropClause: 214.725 Set: 91.797 Check: 0.0 Back: 11.383
INFO - Atoms: 1831/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 497197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.216 Prop: 232.523 PropClause: 216.129 Set: 92.432 Check: 0.0 Back: 11.425
INFO - Atoms: 3365/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 499386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.225 Prop: 233.643 PropClause: 217.188 Set: 92.741 Check: 0.0 Back: 11.501
INFO - Atoms: 2189/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 502985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.235 Prop: 234.963 PropClause: 218.406 Set: 93.398 Check: 0.0 Back: 11.551
INFO - Atoms: 3599/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 507863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.246 Prop: 236.982 PropClause: 220.288 Set: 94.407 Check: 0.0 Back: 11.633
INFO - Atoms: 4878/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 512749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.254 Prop: 238.943 PropClause: 222.111 Set: 95.389 Check: 0.0 Back: 11.744
INFO - Atoms: 4886/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 515498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.263 Prop: 240.381 PropClause: 223.471 Set: 95.851 Check: 0.0 Back: 11.856
INFO - Atoms: 2749/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 517110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.27 Prop: 240.935 PropClause: 223.981 Set: 96.023 Check: 0.0 Back: 11.918
INFO - Atoms: 1612/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 521999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.284 Prop: 243.04 PropClause: 225.947 Set: 97.027 Check: 0.0 Back: 11.955
INFO - Atoms: 4889/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 524788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.293 Prop: 244.541 PropClause: 227.37 Set: 97.494 Check: 0.0 Back: 12.077
INFO - Atoms: 2789/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 526608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.326 Prop: 245.431 PropClause: 228.208 Set: 97.708 Check: 0.0 Back: 12.143
INFO - Atoms: 1820/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 531684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.369 Prop: 248.535 PropClause: 231.166 Set: 98.851 Check: 0.0 Back: 12.184
INFO - Atoms: 5076/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 536843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.381 Prop: 252.149 PropClause: 234.632 Set: 99.948 Check: 0.0 Back: 12.311
INFO - Atoms: 5159/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 542598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.391 Prop: 255.237 PropClause: 237.556 Set: 101.151 Check: 0.0 Back: 12.437
INFO - Atoms: 5755/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 544348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.401 Prop: 258.992 PropClause: 241.26 Set: 101.368 Check: 0.0 Back: 12.577
INFO - Atoms: 1750/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 549226 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.409 Prop: 260.625 PropClause: 242.754 Set: 102.348 Check: 0.0 Back: 12.617
INFO - Atoms: 4878/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 551301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.42 Prop: 262.515 PropClause: 244.585 Set: 102.634 Check: 0.0 Back: 12.731
INFO - Atoms: 2075/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 553381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.429 Prop: 263.323 PropClause: 245.334 Set: 102.919 Check: 0.0 Back: 12.778
INFO - Atoms: 2080/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 555639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.438 Prop: 264.386 PropClause: 246.335 Set: 103.273 Check: 0.0 Back: 12.826
INFO - Atoms: 2258/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 557844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.447 Prop: 265.112 PropClause: 246.998 Set: 103.576 Check: 0.0 Back: 12.877
INFO - Atoms: 2205/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 560379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.457 Prop: 266.168 PropClause: 247.983 Set: 103.994 Check: 0.0 Back: 12.927
INFO - Atoms: 2535/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 562247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.466 Prop: 267.164 PropClause: 248.926 Set: 104.218 Check: 0.0 Back: 12.985
INFO - Atoms: 1868/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 564410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.475 Prop: 267.972 PropClause: 249.673 Set: 104.532 Check: 0.0 Back: 13.028
INFO - Atoms: 2163/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 567039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.481 Prop: 268.721 PropClause: 250.347 Set: 104.959 Check: 0.0 Back: 13.077
INFO - Atoms: 2629/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 569889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.493 Prop: 269.93 PropClause: 251.476 Set: 105.449 Check: 0.0 Back: 13.137
INFO - Atoms: 2850/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 572862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.502 Prop: 270.937 PropClause: 252.4 Set: 105.982 Check: 0.0 Back: 13.202
INFO - Atoms: 2973/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 575970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.514 Prop: 272.582 PropClause: 253.958 Set: 106.541 Check: 0.0 Back: 13.269
INFO - Atoms: 3108/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 578403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.524 Prop: 274.056 PropClause: 255.363 Set: 106.907 Check: 0.0 Back: 13.34
INFO - Atoms: 2433/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 581134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.534 Prop: 275.292 PropClause: 256.522 Set: 107.397 Check: 0.0 Back: 13.396
INFO - Atoms: 2731/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 584836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.542 Prop: 276.896 PropClause: 258.022 Set: 108.153 Check: 0.0 Back: 13.46
INFO - Atoms: 3702/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 588814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.553 Prop: 279.382 PropClause: 260.393 Set: 108.977 Check: 0.0 Back: 13.545
INFO - Atoms: 3978/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 591949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.564 Prop: 282.423 PropClause: 263.344 Set: 109.569 Check: 0.0 Back: 13.636
INFO - Atoms: 3135/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 595064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.575 Prop: 284.814 PropClause: 265.647 Set: 110.136 Check: 0.0 Back: 13.708
INFO - Atoms: 3115/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 598438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.586 Prop: 286.775 PropClause: 267.512 Set: 110.768 Check: 0.0 Back: 13.781
INFO - Atoms: 3374/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 600276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.595 Prop: 288.408 PropClause: 269.094 Set: 110.98 Check: 0.0 Back: 13.858
INFO - Atoms: 1838/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 604230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.604 Prop: 290.696 PropClause: 271.27 Set: 111.784 Check: 0.0 Back: 13.9
INFO - Atoms: 3954/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 608149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.615 Prop: 292.908 PropClause: 273.37 Set: 112.574 Check: 0.0 Back: 13.992
INFO - Atoms: 3919/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 610881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.623 Prop: 293.973 PropClause: 274.358 Set: 112.996 Check: 0.0 Back: 14.081
INFO - Atoms: 2732/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 613452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.633 Prop: 294.786 PropClause: 275.099 Set: 113.382 Check: 0.0 Back: 14.143
INFO - Atoms: 2571/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 616048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.642 Prop: 295.619 PropClause: 275.858 Set: 113.791 Check: 0.0 Back: 14.201
INFO - Atoms: 2596/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 618623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.652 Prop: 296.807 PropClause: 276.973 Set: 114.195 Check: 0.0 Back: 14.26
INFO - Atoms: 2575/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 621212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.662 Prop: 297.864 PropClause: 277.958 Set: 114.582 Check: 0.0 Back: 14.319
INFO - Atoms: 2589/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 623806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.673 Prop: 298.767 PropClause: 278.788 Set: 114.965 Check: 0.0 Back: 14.378
INFO - Atoms: 2594/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 625747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.681 Prop: 299.382 PropClause: 279.349 Set: 115.195 Check: 0.0 Back: 14.437
INFO - Atoms: 1941/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 628382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.69 Prop: 300.105 PropClause: 279.998 Set: 115.59 Check: 0.0 Back: 14.481
INFO - Atoms: 2635/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 630322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.698 Prop: 300.746 PropClause: 280.585 Set: 115.815 Check: 0.0 Back: 14.541
INFO - Atoms: 1940/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 632957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.706 Prop: 301.486 PropClause: 281.251 Set: 116.208 Check: 0.0 Back: 14.585
INFO - Atoms: 2635/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 634931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.713 Prop: 302.244 PropClause: 281.953 Set: 116.445 Check: 0.0 Back: 14.645
INFO - Atoms: 1974/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 636905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.718 Prop: 302.802 PropClause: 282.455 Set: 116.681 Check: 0.0 Back: 14.69
INFO - Atoms: 1974/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 640747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.727 Prop: 303.974 PropClause: 283.52 Set: 117.424 Check: 0.0 Back: 14.735
INFO - Atoms: 3842/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 645168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.734 Prop: 305.455 PropClause: 284.876 Set: 118.314 Check: 0.0 Back: 14.823
INFO - Atoms: 4421/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 649855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.743 Prop: 306.94 PropClause: 286.223 Set: 119.294 Check: 0.0 Back: 14.924
INFO - Atoms: 4687/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 653982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.753 Prop: 308.659 PropClause: 287.824 Set: 120.109 Check: 0.0 Back: 15.031
INFO - Atoms: 4127/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 659291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.762 Prop: 310.436 PropClause: 289.451 Set: 121.209 Check: 0.0 Back: 15.125
INFO - Atoms: 5309/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 664663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.772 Prop: 312.54 PropClause: 291.402 Set: 122.281 Check: 0.0 Back: 15.247
INFO - Atoms: 5372/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 670104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.784 Prop: 314.876 PropClause: 293.582 Set: 123.404 Check: 0.0 Back: 15.371
INFO - Atoms: 5441/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 675596 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.794 Prop: 317.147 PropClause: 295.699 Set: 124.49 Check: 0.0 Back: 15.498
INFO - Atoms: 5492/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 681421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.805 Prop: 319.545 PropClause: 297.932 Set: 125.657 Check: 0.0 Back: 15.624
INFO - Atoms: 5825/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 683331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.815 Prop: 321.914 PropClause: 300.247 Set: 125.887 Check: 0.0 Back: 15.772
INFO - Atoms: 1910/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 685394 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.827 Prop: 322.792 PropClause: 301.066 Set: 126.152 Check: 0.0 Back: 15.816
INFO - Atoms: 2063/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 687335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.835 Prop: 323.566 PropClause: 301.785 Set: 126.413 Check: 0.0 Back: 15.865
INFO - Atoms: 1941/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 690023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.845 Prop: 324.438 PropClause: 302.581 Set: 126.864 Check: 0.0 Back: 15.909
INFO - Atoms: 2688/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 691806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.858 Prop: 325.523 PropClause: 303.615 Set: 127.099 Check: 0.0 Back: 15.97
INFO - Atoms: 1783/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 694504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.869 Prop: 326.397 PropClause: 304.413 Set: 127.543 Check: 0.0 Back: 16.01
INFO - Atoms: 2698/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 696283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.88 Prop: 327.571 PropClause: 305.537 Set: 127.769 Check: 0.0 Back: 16.072
INFO - Atoms: 1779/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 698124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.89 Prop: 328.263 PropClause: 306.178 Set: 128.006 Check: 0.0 Back: 16.114
INFO - Atoms: 1841/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 700008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.899 Prop: 328.936 PropClause: 306.796 Set: 128.244 Check: 0.0 Back: 16.157
INFO - Atoms: 1884/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 701897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.91 Prop: 329.658 PropClause: 307.465 Set: 128.479 Check: 0.0 Back: 16.2
INFO - Atoms: 1889/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 705220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.928 Prop: 330.968 PropClause: 308.683 Set: 129.107 Check: 0.0 Back: 16.243
INFO - Atoms: 3323/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 708261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.937 Prop: 332.425 PropClause: 310.054 Set: 129.642 Check: 0.0 Back: 16.321
INFO - Atoms: 3041/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 711258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.968 Prop: 333.639 PropClause: 311.183 Set: 130.17 Check: 0.0 Back: 16.39
INFO - Atoms: 2997/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 715916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.995 Prop: 335.108 PropClause: 312.521 Set: 131.083 Check: 0.0 Back: 16.459
INFO - Atoms: 4658/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 720710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.008 Prop: 337.128 PropClause: 314.403 Set: 132.036 Check: 0.0 Back: 16.568
INFO - Atoms: 4794/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 724000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.021 Prop: 339.471 PropClause: 316.653 Set: 132.612 Check: 0.0 Back: 16.684
INFO - Atoms: 3290/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 727304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.036 Prop: 341.533 PropClause: 318.621 Set: 133.236 Check: 0.0 Back: 16.759
INFO - Atoms: 3304/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 730607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.051 Prop: 343.662 PropClause: 320.657 Set: 133.885 Check: 0.0 Back: 16.834
INFO - Atoms: 3303/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 735344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.063 Prop: 346.105 PropClause: 322.966 Set: 134.935 Check: 0.0 Back: 16.909
INFO - Atoms: 4737/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 740029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.073 Prop: 348.101 PropClause: 324.831 Set: 135.877 Check: 0.0 Back: 17.018
INFO - Atoms: 4685/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 742195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.083 Prop: 349.82 PropClause: 326.489 Set: 136.201 Check: 0.0 Back: 17.124
INFO - Atoms: 2166/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 744961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.092 Prop: 350.85 PropClause: 327.44 Set: 136.671 Check: 0.0 Back: 17.174
INFO - Atoms: 2766/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 747724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.102 Prop: 352.005 PropClause: 328.516 Set: 137.184 Check: 0.0 Back: 17.237
INFO - Atoms: 2763/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 750402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.113 Prop: 353.389 PropClause: 329.824 Set: 137.639 Check: 0.0 Back: 17.3
INFO - Atoms: 2678/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 753031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.123 Prop: 355.018 PropClause: 331.378 Set: 138.082 Check: 0.0 Back: 17.361
INFO - Atoms: 2629/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 755652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.135 Prop: 356.516 PropClause: 332.801 Set: 138.505 Check: 0.0 Back: 17.421
INFO - Atoms: 2621/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 758287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.145 Prop: 357.876 PropClause: 334.086 Set: 138.948 Check: 0.0 Back: 17.481
INFO - Atoms: 2635/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 760539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.158 Prop: 359.814 PropClause: 335.959 Set: 139.279 Check: 0.0 Back: 17.541
INFO - Atoms: 2252/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 765111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.169 Prop: 362.271 PropClause: 338.287 Set: 140.278 Check: 0.0 Back: 17.593
INFO - Atoms: 4572/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 769497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.182 Prop: 365.282 PropClause: 341.173 Set: 141.231 Check: 0.0 Back: 17.699
INFO - Atoms: 4386/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 774301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.193 Prop: 368.437 PropClause: 344.188 Set: 142.297 Check: 0.0 Back: 17.802
INFO - Atoms: 4804/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 779375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.203 Prop: 372.081 PropClause: 347.687 Set: 143.401 Check: 0.0 Back: 17.914
INFO - Atoms: 5074/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 784719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.214 Prop: 374.999 PropClause: 350.454 Set: 144.579 Check: 0.0 Back: 18.031
INFO - Atoms: 5344/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 790050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.226 Prop: 377.705 PropClause: 353.01 Set: 145.711 Check: 0.0 Back: 18.153
INFO - Atoms: 5331/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 792757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.237 Prop: 380.218 PropClause: 355.445 Set: 146.171 Check: 0.0 Back: 18.283
INFO - Atoms: 2707/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 795522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.248 Prop: 381.788 PropClause: 356.938 Set: 146.786 Check: 0.0 Back: 18.344
INFO - Atoms: 2765/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 797635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.258 Prop: 383.167 PropClause: 358.258 Set: 147.085 Check: 0.0 Back: 18.408
INFO - Atoms: 2113/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 802325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.272 Prop: 385.514 PropClause: 360.471 Set: 148.103 Check: 0.0 Back: 18.456
INFO - Atoms: 4690/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 808115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.288 Prop: 389.281 PropClause: 364.069 Set: 149.387 Check: 0.0 Back: 18.567
INFO - Atoms: 5790/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 812872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.307 Prop: 393.401 PropClause: 368.056 Set: 150.373 Check: 0.0 Back: 18.713
INFO - Atoms: 4757/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 818676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.321 Prop: 397.255 PropClause: 371.744 Set: 151.615 Check: 0.0 Back: 18.824
INFO - Atoms: 5804/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 823278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.331 Prop: 401.682 PropClause: 376.04 Set: 152.577 Check: 0.0 Back: 18.967
INFO - Atoms: 4602/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 829096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.364 Prop: 406.068 PropClause: 380.26 Set: 153.858 Check: 0.0 Back: 19.076
INFO - Atoms: 5818/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 833426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.386 Prop: 408.234 PropClause: 382.306 Set: 154.751 Check: 0.0 Back: 19.222
INFO - Atoms: 4330/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 835723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.391 Prop: 409.475 PropClause: 383.482 Set: 155.093 Check: 0.0 Back: 19.32
INFO - Atoms: 2297/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 839465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.395 Prop: 410.53 PropClause: 384.43 Set: 155.833 Check: 0.0 Back: 19.372
INFO - Atoms: 3742/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 843222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.398 Prop: 411.811 PropClause: 385.607 Set: 156.561 Check: 0.0 Back: 19.457
INFO - Atoms: 3757/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 849046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.406 Prop: 413.82 PropClause: 387.451 Set: 157.733 Check: 0.0 Back: 19.545
INFO - Atoms: 5824/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 852511 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.412 Prop: 415.533 PropClause: 389.068 Set: 158.35 Check: 0.0 Back: 19.69
INFO - Atoms: 3465/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 854345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.418 Prop: 416.669 PropClause: 390.149 Set: 158.577 Check: 0.0 Back: 19.768
INFO - Atoms: 1834/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 858808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.424 Prop: 418.804 PropClause: 392.155 Set: 159.526 Check: 0.0 Back: 19.811
INFO - Atoms: 4463/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 863367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.429 Prop: 421.39 PropClause: 394.612 Set: 160.496 Check: 0.0 Back: 19.914
INFO - Atoms: 4559/6355 Clauses: 231 Axioms: 32946
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 417 Props: 22646 Tprops: 7995 Decides: 12140 RSplits: 0
INFO - Times: Expl: 85.138 Prop: 62262.375 PropClause: 9.775 Set: 2063.675 Check: 56.152 Back: 47.675
INFO - Atoms: 99/267 Clauses: 417 Axioms: 234
INFO - CCTimes: iE 74989 eq 8748019 cc 18787537 setRep 3693973
INFO - Merges: 29907, cc:31955
INFO - BVTimes: BB 349644901 BB_DPLL 2206887405 Graph 34626376
INFO - BitBlastingClauses: 102176 BvultGraphCircles: 0 TrivialConflicts: 1
INFO - Formula is unsat
unsat