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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 69497129
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.391 Prop: 6.471 PropClause: 6.306 Set: 1.35 Check: 0.0 Back: 0.0
INFO - Atoms: 196/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 1242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.439 Prop: 7.38 PropClause: 6.948 Set: 5.327 Check: 0.0 Back: 0.015
INFO - Atoms: 1046/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 2280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.484 Prop: 7.991 PropClause: 7.321 Set: 5.915 Check: 0.0 Back: 0.042
INFO - Atoms: 1038/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 3326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.535 Prop: 8.432 PropClause: 7.69 Set: 6.456 Check: 0.0 Back: 0.07
INFO - Atoms: 1046/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 4364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.592 Prop: 8.858 PropClause: 8.052 Set: 6.98 Check: 0.0 Back: 0.096
INFO - Atoms: 1038/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 5397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.628 Prop: 9.366 PropClause: 8.508 Set: 7.589 Check: 0.0 Back: 0.124
INFO - Atoms: 1033/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 6338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.661 Prop: 9.737 PropClause: 8.837 Set: 8.067 Check: 0.0 Back: 0.151
INFO - Atoms: 941/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 7357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.686 Prop: 10.164 PropClause: 9.215 Set: 8.579 Check: 0.0 Back: 0.175
INFO - Atoms: 1019/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 8353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.719 Prop: 10.547 PropClause: 9.552 Set: 9.064 Check: 0.0 Back: 0.202
INFO - Atoms: 996/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 9349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.748 Prop: 10.89 PropClause: 9.847 Set: 11.696 Check: 0.0 Back: 0.228
INFO - Atoms: 996/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 10345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.776 Prop: 11.258 PropClause: 10.167 Set: 12.205 Check: 0.0 Back: 0.255
INFO - Atoms: 996/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 11339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.805 Prop: 11.618 PropClause: 10.479 Set: 12.73 Check: 0.0 Back: 0.281
INFO - Atoms: 994/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 12356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.83 Prop: 11.977 PropClause: 10.79 Set: 13.261 Check: 0.0 Back: 0.308
INFO - Atoms: 1017/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 13373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.865 Prop: 12.394 PropClause: 11.156 Set: 13.809 Check: 0.0 Back: 0.335
INFO - Atoms: 1017/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 14356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.891 Prop: 12.744 PropClause: 11.459 Set: 14.339 Check: 0.0 Back: 0.362
INFO - Atoms: 983/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 15375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.921 Prop: 13.116 PropClause: 11.782 Set: 14.88 Check: 0.0 Back: 0.388
INFO - Atoms: 1019/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 16399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.304 Prop: 13.531 PropClause: 12.146 Set: 15.443 Check: 0.0 Back: 0.415
INFO - Atoms: 1024/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 17423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.33 Prop: 15.605 PropClause: 12.645 Set: 20.779 Check: 0.0 Back: 0.442
INFO - Atoms: 1024/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 18399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.36 Prop: 15.981 PropClause: 12.945 Set: 21.285 Check: 0.0 Back: 0.47
INFO - Atoms: 976/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 19375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.395 Prop: 16.381 PropClause: 13.266 Set: 21.764 Check: 0.0 Back: 0.496
INFO - Atoms: 976/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 20351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.42 Prop: 16.708 PropClause: 13.537 Set: 22.282 Check: 0.0 Back: 0.522
INFO - Atoms: 976/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 21327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.45 Prop: 17.056 PropClause: 13.827 Set: 22.847 Check: 0.0 Back: 0.548
INFO - Atoms: 976/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 22303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.479 Prop: 17.391 PropClause: 14.105 Set: 23.325 Check: 0.0 Back: 0.573
INFO - Atoms: 976/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 23279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.51 Prop: 17.754 PropClause: 14.411 Set: 23.777 Check: 0.0 Back: 0.599
INFO - Atoms: 976/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 24254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.533 Prop: 18.1 PropClause: 14.701 Set: 24.313 Check: 0.0 Back: 0.624
INFO - Atoms: 975/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 25237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.562 Prop: 18.449 PropClause: 14.992 Set: 24.809 Check: 0.0 Back: 0.65
INFO - Atoms: 983/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 26204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.586 Prop: 18.777 PropClause: 15.263 Set: 25.301 Check: 0.0 Back: 0.676
INFO - Atoms: 967/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 27189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.617 Prop: 19.134 PropClause: 15.563 Set: 25.828 Check: 0.0 Back: 0.702
INFO - Atoms: 985/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 28175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.65 Prop: 19.52 PropClause: 15.89 Set: 26.401 Check: 0.0 Back: 0.728
INFO - Atoms: 986/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 29162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.673 Prop: 19.922 PropClause: 16.206 Set: 26.973 Check: 0.0 Back: 0.755
INFO - Atoms: 987/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 30359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.699 Prop: 20.41 PropClause: 16.618 Set: 27.694 Check: 0.0 Back: 0.781
INFO - Atoms: 1197/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 31318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.721 Prop: 20.797 PropClause: 16.951 Set: 28.227 Check: 0.0 Back: 0.812
INFO - Atoms: 959/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 32277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.744 Prop: 21.141 PropClause: 17.239 Set: 28.745 Check: 0.0 Back: 0.838
INFO - Atoms: 959/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 33405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.769 Prop: 21.58 PropClause: 17.613 Set: 29.395 Check: 0.0 Back: 0.864
INFO - Atoms: 1128/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 34658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.796 Prop: 23.253 PropClause: 19.214 Set: 30.143 Check: 0.0 Back: 0.893
INFO - Atoms: 1253/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 35934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.83 Prop: 23.909 PropClause: 19.772 Set: 30.893 Check: 0.0 Back: 0.926
INFO - Atoms: 1276/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 37243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.855 Prop: 24.564 PropClause: 20.331 Set: 31.758 Check: 0.0 Back: 0.961
INFO - Atoms: 1309/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 38565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.883 Prop: 25.254 PropClause: 20.888 Set: 32.548 Check: 0.0 Back: 0.996
INFO - Atoms: 1322/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 39889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.923 Prop: 25.881 PropClause: 21.435 Set: 33.356 Check: 0.0 Back: 1.031
INFO - Atoms: 1324/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 40773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.95 Prop: 26.278 PropClause: 21.765 Set: 33.834 Check: 0.0 Back: 1.066
INFO - Atoms: 884/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 41669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.97 Prop: 26.612 PropClause: 22.05 Set: 34.282 Check: 0.0 Back: 1.089
INFO - Atoms: 896/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 42539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.001 Prop: 26.885 PropClause: 22.269 Set: 34.721 Check: 0.0 Back: 1.113
INFO - Atoms: 870/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 43429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.034 Prop: 27.159 PropClause: 22.494 Set: 35.049 Check: 0.0 Back: 1.136
INFO - Atoms: 890/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 44318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.055 Prop: 27.4 PropClause: 22.691 Set: 35.383 Check: 0.0 Back: 1.16
INFO - Atoms: 889/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 45750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.081 Prop: 27.868 PropClause: 23.081 Set: 36.049 Check: 0.0 Back: 1.184
INFO - Atoms: 1432/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 47325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.12 Prop: 28.546 PropClause: 23.655 Set: 36.851 Check: 0.0 Back: 1.222
INFO - Atoms: 1575/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 48965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.145 Prop: 29.213 PropClause: 24.226 Set: 37.711 Check: 0.0 Back: 1.265
INFO - Atoms: 1640/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 50630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.186 Prop: 29.87 PropClause: 24.787 Set: 38.473 Check: 0.0 Back: 1.313
INFO - Atoms: 1665/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 52287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.209 Prop: 30.54 PropClause: 25.358 Set: 39.323 Check: 0.0 Back: 1.357
INFO - Atoms: 1657/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 54026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.248 Prop: 31.396 PropClause: 26.112 Set: 40.186 Check: 0.0 Back: 1.401
INFO - Atoms: 1739/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 55141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.275 Prop: 31.979 PropClause: 26.629 Set: 40.666 Check: 0.0 Back: 1.447
INFO - Atoms: 1115/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 56867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.403 Prop: 32.628 PropClause: 27.179 Set: 41.458 Check: 0.0 Back: 1.476
INFO - Atoms: 1726/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 58658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.411 Prop: 33.41 PropClause: 27.858 Set: 42.31 Check: 0.0 Back: 1.521
INFO - Atoms: 1791/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 59859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.42 Prop: 33.954 PropClause: 28.329 Set: 42.84 Check: 0.0 Back: 1.569
INFO - Atoms: 1201/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 61669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.428 Prop: 34.681 PropClause: 28.952 Set: 43.736 Check: 0.0 Back: 1.601
INFO - Atoms: 1810/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 63497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.438 Prop: 35.445 PropClause: 29.606 Set: 44.672 Check: 0.0 Back: 1.648
INFO - Atoms: 1828/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 65856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.449 Prop: 36.457 PropClause: 30.482 Set: 45.87 Check: 0.0 Back: 1.697
INFO - Atoms: 2359/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 66521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.457 Prop: 37.002 PropClause: 30.987 Set: 46.112 Check: 0.0 Back: 1.766
INFO - Atoms: 665/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 67361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.464 Prop: 37.277 PropClause: 31.211 Set: 46.442 Check: 0.0 Back: 1.784
INFO - Atoms: 840/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 68366 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.473 Prop: 37.6 PropClause: 31.476 Set: 46.849 Check: 0.0 Back: 1.806
INFO - Atoms: 1005/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 69485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.48 Prop: 37.963 PropClause: 31.77 Set: 47.316 Check: 0.0 Back: 1.833
INFO - Atoms: 1119/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 70488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.488 Prop: 38.289 PropClause: 32.036 Set: 47.728 Check: 0.0 Back: 1.864
INFO - Atoms: 1003/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 71608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.497 Prop: 38.65 PropClause: 32.327 Set: 48.22 Check: 0.0 Back: 1.891
INFO - Atoms: 1120/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 72746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.507 Prop: 39.047 PropClause: 32.658 Set: 48.703 Check: 0.0 Back: 1.92
INFO - Atoms: 1138/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 73769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.517 Prop: 39.426 PropClause: 32.977 Set: 49.13 Check: 0.0 Back: 1.95
INFO - Atoms: 1023/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 74907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.524 Prop: 39.784 PropClause: 33.266 Set: 49.613 Check: 0.0 Back: 1.977
INFO - Atoms: 1138/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 75926 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.531 Prop: 40.155 PropClause: 33.547 Set: 50.049 Check: 0.0 Back: 2.007
INFO - Atoms: 1019/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 77063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.537 Prop: 40.512 PropClause: 33.833 Set: 50.544 Check: 0.0 Back: 2.034
INFO - Atoms: 1137/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 78084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.545 Prop: 40.867 PropClause: 34.127 Set: 50.969 Check: 0.0 Back: 2.063
INFO - Atoms: 1021/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 79220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.553 Prop: 41.239 PropClause: 34.429 Set: 51.234 Check: 0.0 Back: 2.09
INFO - Atoms: 1136/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 80243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.583 Prop: 41.584 PropClause: 34.711 Set: 51.437 Check: 0.0 Back: 2.119
INFO - Atoms: 1023/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 81378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.59 Prop: 41.93 PropClause: 34.991 Set: 51.667 Check: 0.0 Back: 2.147
INFO - Atoms: 1135/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 83286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.599 Prop: 42.723 PropClause: 35.665 Set: 52.147 Check: 0.0 Back: 2.176
INFO - Atoms: 1908/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 85231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.61 Prop: 43.585 PropClause: 36.406 Set: 52.629 Check: 0.0 Back: 2.223
INFO - Atoms: 1945/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 87202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.62 Prop: 44.467 PropClause: 37.172 Set: 53.109 Check: 0.0 Back: 2.272
INFO - Atoms: 1971/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 89218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.627 Prop: 45.308 PropClause: 37.896 Set: 53.619 Check: 0.0 Back: 2.322
INFO - Atoms: 2016/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 91276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.634 Prop: 46.209 PropClause: 38.678 Set: 54.136 Check: 0.0 Back: 2.373
INFO - Atoms: 2058/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 92234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.641 Prop: 46.692 PropClause: 39.102 Set: 54.344 Check: 0.0 Back: 2.425
INFO - Atoms: 958/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 94341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.648 Prop: 47.511 PropClause: 39.791 Set: 54.887 Check: 0.0 Back: 2.45
INFO - Atoms: 2107/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 96474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.654 Prop: 48.418 PropClause: 40.571 Set: 55.409 Check: 0.0 Back: 2.504
INFO - Atoms: 2133/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 98833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.665 Prop: 49.408 PropClause: 41.413 Set: 55.983 Check: 0.0 Back: 2.561
INFO - Atoms: 2359/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 99742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.68 Prop: 49.988 PropClause: 41.931 Set: 56.164 Check: 0.0 Back: 2.62
INFO - Atoms: 909/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 100765 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.685 Prop: 50.3 PropClause: 42.178 Set: 56.38 Check: 0.0 Back: 2.644
INFO - Atoms: 1023/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 101658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.694 Prop: 50.662 PropClause: 42.437 Set: 56.556 Check: 0.0 Back: 2.669
INFO - Atoms: 893/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 103032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.705 Prop: 51.165 PropClause: 42.855 Set: 56.908 Check: 0.0 Back: 2.691
INFO - Atoms: 1374/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 104557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.714 Prop: 51.778 PropClause: 43.381 Set: 57.277 Check: 0.0 Back: 2.726
INFO - Atoms: 1525/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 106916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.725 Prop: 52.741 PropClause: 44.205 Set: 57.89 Check: 0.0 Back: 2.764
INFO - Atoms: 2359/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 107626 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.734 Prop: 53.225 PropClause: 44.644 Set: 58.024 Check: 0.0 Back: 2.825
INFO - Atoms: 710/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 108879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.744 Prop: 53.64 PropClause: 44.978 Set: 58.321 Check: 0.0 Back: 2.843
INFO - Atoms: 1253/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 110345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.751 Prop: 54.185 PropClause: 45.433 Set: 58.691 Check: 0.0 Back: 2.874
INFO - Atoms: 1466/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 112424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.764 Prop: 54.958 PropClause: 46.081 Set: 59.224 Check: 0.0 Back: 2.912
INFO - Atoms: 2079/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 113648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.775 Prop: 55.708 PropClause: 46.628 Set: 59.529 Check: 0.0 Back: 2.964
INFO - Atoms: 1224/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 116007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.786 Prop: 56.799 PropClause: 47.345 Set: 60.161 Check: 0.0 Back: 2.995
INFO - Atoms: 2359/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 116746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.794 Prop: 57.297 PropClause: 47.806 Set: 60.292 Check: 0.0 Back: 3.061
INFO - Atoms: 739/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 117772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.805 Prop: 57.63 PropClause: 48.094 Set: 60.524 Check: 0.0 Back: 3.08
INFO - Atoms: 1026/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 118819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.814 Prop: 58.035 PropClause: 48.453 Set: 60.759 Check: 0.0 Back: 3.108
INFO - Atoms: 1047/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 119862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.824 Prop: 58.378 PropClause: 48.748 Set: 60.988 Check: 0.0 Back: 3.134
INFO - Atoms: 1043/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 120951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.833 Prop: 58.722 PropClause: 49.044 Set: 61.229 Check: 0.0 Back: 3.161
INFO - Atoms: 1089/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 121954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.839 Prop: 59.03 PropClause: 49.306 Set: 61.438 Check: 0.0 Back: 3.188
INFO - Atoms: 1003/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 123101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.844 Prop: 59.373 PropClause: 49.599 Set: 61.694 Check: 0.0 Back: 3.213
INFO - Atoms: 1147/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 124249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.854 Prop: 59.798 PropClause: 49.966 Set: 61.968 Check: 0.0 Back: 3.251
INFO - Atoms: 1148/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 125410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.86 Prop: 60.167 PropClause: 50.283 Set: 62.245 Check: 0.0 Back: 3.28
INFO - Atoms: 1161/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 126557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.869 Prop: 60.588 PropClause: 50.653 Set: 62.582 Check: 0.0 Back: 3.309
INFO - Atoms: 1147/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 127719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.877 Prop: 60.99 PropClause: 51.002 Set: 62.94 Check: 0.0 Back: 3.339
INFO - Atoms: 1162/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 128866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.886 Prop: 61.383 PropClause: 51.345 Set: 63.2 Check: 0.0 Back: 3.368
INFO - Atoms: 1147/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 130027 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.889 Prop: 61.756 PropClause: 51.666 Set: 63.562 Check: 0.0 Back: 3.397
INFO - Atoms: 1161/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 131207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.898 Prop: 62.176 PropClause: 52.032 Set: 63.914 Check: 0.0 Back: 3.426
INFO - Atoms: 1180/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 132387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.907 Prop: 62.604 PropClause: 52.401 Set: 64.301 Check: 0.0 Back: 3.456
INFO - Atoms: 1180/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 133569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.918 Prop: 63.058 PropClause: 52.803 Set: 64.672 Check: 0.0 Back: 3.486
INFO - Atoms: 1182/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 134751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.927 Prop: 63.495 PropClause: 53.189 Set: 65.043 Check: 0.0 Back: 3.515
INFO - Atoms: 1182/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 135758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.939 Prop: 63.836 PropClause: 53.484 Set: 65.34 Check: 0.0 Back: 3.545
INFO - Atoms: 1007/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 136818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.007 Prop: 64.191 PropClause: 53.793 Set: 65.641 Check: 0.0 Back: 3.572
INFO - Atoms: 1060/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 137607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.014 Prop: 64.449 PropClause: 54.015 Set: 65.855 Check: 0.0 Back: 3.599
INFO - Atoms: 789/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 138967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.389 Prop: 64.858 PropClause: 54.363 Set: 66.298 Check: 0.0 Back: 3.619
INFO - Atoms: 1360/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 139996 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.408 Prop: 65.234 PropClause: 54.694 Set: 66.577 Check: 0.0 Back: 3.653
INFO - Atoms: 1029/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 141293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.411 Prop: 65.685 PropClause: 55.04 Set: 66.976 Check: 0.0 Back: 3.679
INFO - Atoms: 1297/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 142587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.418 Prop: 66.149 PropClause: 55.447 Set: 67.369 Check: 0.0 Back: 3.712
INFO - Atoms: 1294/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 143923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.424 Prop: 66.64 PropClause: 55.878 Set: 67.774 Check: 0.0 Back: 3.745
INFO - Atoms: 1336/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 146282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.434 Prop: 67.492 PropClause: 56.623 Set: 68.567 Check: 0.0 Back: 3.779
INFO - Atoms: 2359/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 147638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.44 Prop: 68.122 PropClause: 57.194 Set: 68.981 Check: 0.0 Back: 3.839
INFO - Atoms: 1356/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 149089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.447 Prop: 68.782 PropClause: 57.623 Set: 69.41 Check: 0.0 Back: 3.875
INFO - Atoms: 1451/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 151445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.47 Prop: 69.496 PropClause: 58.264 Set: 70.01 Check: 0.0 Back: 3.911
INFO - Atoms: 2356/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 152597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.503 Prop: 70.143 PropClause: 58.859 Set: 70.365 Check: 0.0 Back: 3.97
INFO - Atoms: 1152/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 153733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.511 Prop: 70.579 PropClause: 59.245 Set: 70.701 Check: 0.0 Back: 3.998
INFO - Atoms: 1136/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 154869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.516 Prop: 70.965 PropClause: 59.581 Set: 71.026 Check: 0.0 Back: 4.027
INFO - Atoms: 1136/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 156381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.524 Prop: 71.618 PropClause: 60.033 Set: 71.512 Check: 0.0 Back: 4.056
INFO - Atoms: 1512/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 157896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.53 Prop: 72.172 PropClause: 60.517 Set: 71.995 Check: 0.0 Back: 4.095
INFO - Atoms: 1515/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 159373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.536 Prop: 72.747 PropClause: 61.026 Set: 72.464 Check: 0.0 Back: 4.133
INFO - Atoms: 1477/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 160550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.546 Prop: 73.285 PropClause: 61.511 Set: 72.809 Check: 0.0 Back: 4.172
INFO - Atoms: 1177/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 161898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.551 Prop: 73.752 PropClause: 61.918 Set: 73.228 Check: 0.0 Back: 4.201
INFO - Atoms: 1348/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 164254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.562 Prop: 74.681 PropClause: 62.675 Set: 74.01 Check: 0.0 Back: 4.236
INFO - Atoms: 2356/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 165657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.575 Prop: 75.443 PropClause: 63.373 Set: 74.432 Check: 0.0 Back: 4.295
INFO - Atoms: 1403/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 166940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.582 Prop: 75.963 PropClause: 63.842 Set: 74.832 Check: 0.0 Back: 4.329
INFO - Atoms: 1283/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 168414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.589 Prop: 76.493 PropClause: 64.328 Set: 75.279 Check: 0.0 Back: 4.363
INFO - Atoms: 1474/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 170240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.597 Prop: 77.106 PropClause: 64.887 Set: 75.86 Check: 0.0 Back: 4.4
INFO - Atoms: 1826/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 172595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.604 Prop: 77.92 PropClause: 65.632 Set: 76.629 Check: 0.0 Back: 4.446
INFO - Atoms: 2355/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 174109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.61 Prop: 78.66 PropClause: 66.325 Set: 77.114 Check: 0.0 Back: 4.505
INFO - Atoms: 1514/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 175449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.617 Prop: 79.174 PropClause: 66.798 Set: 77.536 Check: 0.0 Back: 4.544
INFO - Atoms: 1340/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 176777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.624 Prop: 79.623 PropClause: 67.208 Set: 77.937 Check: 0.0 Back: 4.579
INFO - Atoms: 1328/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 177959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.631 Prop: 80.018 PropClause: 67.568 Set: 78.19 Check: 0.0 Back: 4.613
INFO - Atoms: 1182/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 179513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.636 Prop: 80.485 PropClause: 67.99 Set: 78.549 Check: 0.0 Back: 4.643
INFO - Atoms: 1554/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 181132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.64 Prop: 81.019 PropClause: 68.478 Set: 78.924 Check: 0.0 Back: 4.682
INFO - Atoms: 1619/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 183487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.648 Prop: 81.795 PropClause: 69.187 Set: 79.492 Check: 0.0 Back: 4.723
INFO - Atoms: 2355/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 184931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.652 Prop: 82.389 PropClause: 69.74 Set: 79.821 Check: 0.0 Back: 4.783
INFO - Atoms: 1444/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 186372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.656 Prop: 82.842 PropClause: 70.152 Set: 80.14 Check: 0.0 Back: 4.819
INFO - Atoms: 1441/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 188731 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.662 Prop: 83.612 PropClause: 70.854 Set: 80.766 Check: 0.0 Back: 4.855
INFO - Atoms: 2359/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 190261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.671 Prop: 84.218 PropClause: 71.417 Set: 81.105 Check: 0.0 Back: 4.915
INFO - Atoms: 1530/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 192070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.677 Prop: 84.782 PropClause: 71.928 Set: 81.522 Check: 0.0 Back: 4.954
INFO - Atoms: 1809/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 193112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.682 Prop: 85.206 PropClause: 72.323 Set: 81.743 Check: 0.0 Back: 5.0
INFO - Atoms: 1042/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 195467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.69 Prop: 85.86 PropClause: 72.91 Set: 82.302 Check: 0.0 Back: 5.027
INFO - Atoms: 2355/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 197122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.697 Prop: 86.502 PropClause: 73.504 Set: 82.685 Check: 0.0 Back: 5.086
INFO - Atoms: 1655/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 198319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.701 Prop: 86.943 PropClause: 73.911 Set: 82.951 Check: 0.0 Back: 5.128
INFO - Atoms: 1197/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 200677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.711 Prop: 87.667 PropClause: 74.568 Set: 83.517 Check: 0.0 Back: 5.158
INFO - Atoms: 2358/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 201488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.715 Prop: 88.075 PropClause: 74.953 Set: 83.673 Check: 0.0 Back: 5.218
INFO - Atoms: 811/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 202304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.717 Prop: 88.263 PropClause: 75.117 Set: 83.821 Check: 0.0 Back: 5.239
INFO - Atoms: 816/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 203816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.723 Prop: 88.638 PropClause: 75.449 Set: 84.172 Check: 0.0 Back: 5.259
INFO - Atoms: 1512/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 204927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.73 Prop: 89.064 PropClause: 75.844 Set: 84.411 Check: 0.0 Back: 5.297
INFO - Atoms: 1111/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 205719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.734 Prop: 89.269 PropClause: 76.026 Set: 84.543 Check: 0.0 Back: 5.325
INFO - Atoms: 792/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 206478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.739 Prop: 89.444 PropClause: 76.179 Set: 84.671 Check: 0.0 Back: 5.345
INFO - Atoms: 759/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 207861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.743 Prop: 89.792 PropClause: 76.488 Set: 84.991 Check: 0.0 Back: 5.364
INFO - Atoms: 1383/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 209210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.749 Prop: 90.212 PropClause: 76.869 Set: 85.295 Check: 0.0 Back: 5.399
INFO - Atoms: 1349/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 210726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.751 Prop: 90.665 PropClause: 77.279 Set: 85.636 Check: 0.0 Back: 5.433
INFO - Atoms: 1516/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 212173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.755 Prop: 91.122 PropClause: 77.695 Set: 85.962 Check: 0.0 Back: 5.471
INFO - Atoms: 1447/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 214142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.758 Prop: 91.743 PropClause: 78.259 Set: 86.442 Check: 0.0 Back: 5.508
INFO - Atoms: 1969/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 216501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.771 Prop: 92.576 PropClause: 79.025 Set: 87.03 Check: 0.0 Back: 5.558
INFO - Atoms: 2359/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 217187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.775 Prop: 92.975 PropClause: 79.404 Set: 87.15 Check: 0.0 Back: 5.618
INFO - Atoms: 686/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 218286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.78 Prop: 93.251 PropClause: 79.649 Set: 87.383 Check: 0.0 Back: 5.635
INFO - Atoms: 1099/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 219391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.783 Prop: 93.56 PropClause: 79.926 Set: 87.607 Check: 0.0 Back: 5.663
INFO - Atoms: 1105/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 221570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.796 Prop: 94.2 PropClause: 80.505 Set: 88.153 Check: 0.0 Back: 5.691
INFO - Atoms: 2179/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 223586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.799 Prop: 94.915 PropClause: 81.163 Set: 88.652 Check: 0.0 Back: 5.746
INFO - Atoms: 2016/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 225689 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.801 Prop: 95.631 PropClause: 81.818 Set: 89.166 Check: 0.0 Back: 5.797
INFO - Atoms: 2103/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 226884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.804 Prop: 96.109 PropClause: 82.262 Set: 89.414 Check: 0.0 Back: 5.851
INFO - Atoms: 1195/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 229243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.805 Prop: 96.776 PropClause: 82.862 Set: 90.02 Check: 0.0 Back: 5.881
INFO - Atoms: 2359/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 230199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.811 Prop: 97.233 PropClause: 83.291 Set: 90.213 Check: 0.0 Back: 5.94
INFO - Atoms: 956/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 230910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.817 Prop: 97.458 PropClause: 83.496 Set: 90.338 Check: 0.0 Back: 5.965
INFO - Atoms: 711/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 232574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.823 Prop: 97.905 PropClause: 83.896 Set: 90.744 Check: 0.0 Back: 5.983
INFO - Atoms: 1664/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 234548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.827 Prop: 98.505 PropClause: 84.44 Set: 91.234 Check: 0.0 Back: 6.025
INFO - Atoms: 1974/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 236907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.835 Prop: 99.285 PropClause: 85.153 Set: 91.843 Check: 0.0 Back: 6.074
INFO - Atoms: 2359/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 239266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.839 Prop: 100.111 PropClause: 85.911 Set: 92.442 Check: 0.0 Back: 6.134
INFO - Atoms: 2359/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 240507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.843 Prop: 100.629 PropClause: 86.393 Set: 92.716 Check: 0.0 Back: 6.194
INFO - Atoms: 1241/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 241515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.848 Prop: 100.926 PropClause: 86.662 Set: 92.916 Check: 0.0 Back: 6.225
INFO - Atoms: 1008/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 242299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.855 Prop: 101.165 PropClause: 86.877 Set: 93.065 Check: 0.0 Back: 6.251
INFO - Atoms: 784/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 243417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.861 Prop: 101.446 PropClause: 87.127 Set: 93.316 Check: 0.0 Back: 6.271
INFO - Atoms: 1118/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 244847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.863 Prop: 101.852 PropClause: 87.491 Set: 93.66 Check: 0.0 Back: 6.299
INFO - Atoms: 1430/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 246316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.867 Prop: 102.327 PropClause: 87.924 Set: 94.006 Check: 0.0 Back: 6.336
INFO - Atoms: 1469/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 247998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.873 Prop: 102.866 PropClause: 88.415 Set: 94.416 Check: 0.0 Back: 6.373
INFO - Atoms: 1682/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 250017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.879 Prop: 103.602 PropClause: 89.093 Set: 94.939 Check: 0.0 Back: 6.415
INFO - Atoms: 2019/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 252337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.885 Prop: 104.455 PropClause: 89.881 Set: 95.548 Check: 0.0 Back: 6.466
INFO - Atoms: 2320/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 254696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.892 Prop: 105.3 PropClause: 90.658 Set: 96.164 Check: 0.0 Back: 6.525
INFO - Atoms: 2359/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 255489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.898 Prop: 105.732 PropClause: 91.067 Set: 96.292 Check: 0.0 Back: 6.585
INFO - Atoms: 793/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 256682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.905 Prop: 106.039 PropClause: 91.339 Set: 96.55 Check: 0.0 Back: 6.606
INFO - Atoms: 1193/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 258678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.908 Prop: 106.6 PropClause: 91.844 Set: 97.066 Check: 0.0 Back: 6.636
INFO - Atoms: 1996/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 260973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.911 Prop: 107.374 PropClause: 92.552 Set: 97.655 Check: 0.0 Back: 6.686
INFO - Atoms: 2295/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 263332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.916 Prop: 108.24 PropClause: 93.349 Set: 98.286 Check: 0.0 Back: 6.743
INFO - Atoms: 2359/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 265691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.923 Prop: 109.104 PropClause: 94.146 Set: 98.904 Check: 0.0 Back: 6.803
INFO - Atoms: 2359/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 266501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.929 Prop: 109.707 PropClause: 94.724 Set: 108.749 Check: 0.0 Back: 6.862
INFO - Atoms: 810/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 267264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.934 Prop: 109.889 PropClause: 94.884 Set: 108.879 Check: 0.0 Back: 6.883
INFO - Atoms: 763/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 268218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.937 Prop: 110.116 PropClause: 95.083 Set: 109.071 Check: 0.0 Back: 6.902
INFO - Atoms: 954/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 269894 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.941 Prop: 110.582 PropClause: 95.501 Set: 109.492 Check: 0.0 Back: 6.927
INFO - Atoms: 1676/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 271331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.944 Prop: 111.078 PropClause: 95.956 Set: 109.839 Check: 0.0 Back: 6.969
INFO - Atoms: 1437/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 272453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.95 Prop: 111.471 PropClause: 96.318 Set: 110.087 Check: 0.0 Back: 7.006
INFO - Atoms: 1122/2615 Clauses: 129 Axioms: 10469
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 261 Props: 5514 Tprops: 2982 Decides: 2997 RSplits: 0
INFO - Times: Expl: 71.149 Prop: 1089.782 PropClause: 3.741 Set: 980.616 Check: 9.216 Back: 13.45
INFO - Atoms: 81/129 Clauses: 261 Axioms: 108
INFO - CCTimes: iE 46723 eq 6529405 cc 8157886 setRep 15226296
INFO - Merges: 9891, cc:9537
INFO - BVTimes: BB 69479125 BB_DPLL 766494156 Graph 110273
INFO - BitBlastingClauses: 36197 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat