/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: 73164315
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.054 Prop: 9.852 PropClause: 9.732 Set: 3.337 Check: 0.0 Back: 0.0
INFO - Atoms: 468/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 736 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.11 Prop: 10.292 PropClause: 10.138 Set: 3.997 Check: 0.0 Back: 0.018
INFO - Atoms: 268/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 1004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.14 Prop: 10.419 PropClause: 10.255 Set: 4.037 Check: 0.0 Back: 0.025
INFO - Atoms: 268/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 2101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.167 Prop: 10.745 PropClause: 10.545 Set: 4.321 Check: 0.0 Back: 0.031
INFO - Atoms: 1097/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 3252 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.197 Prop: 11.157 PropClause: 10.919 Set: 5.197 Check: 0.0 Back: 0.055
INFO - Atoms: 1151/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 4669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.229 Prop: 11.782 PropClause: 11.497 Set: 5.597 Check: 0.0 Back: 0.081
INFO - Atoms: 1417/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 6084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.259 Prop: 12.307 PropClause: 11.977 Set: 5.959 Check: 0.0 Back: 0.114
INFO - Atoms: 1415/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 7634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.28 Prop: 13.032 PropClause: 12.654 Set: 9.816 Check: 0.0 Back: 0.146
INFO - Atoms: 1550/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 9183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.309 Prop: 13.512 PropClause: 13.085 Set: 10.314 Check: 0.0 Back: 0.181
INFO - Atoms: 1549/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 10732 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.33 Prop: 13.92 PropClause: 13.445 Set: 10.833 Check: 0.0 Back: 0.215
INFO - Atoms: 1549/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 12281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.358 Prop: 14.449 PropClause: 13.924 Set: 11.365 Check: 0.0 Back: 0.25
INFO - Atoms: 1549/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 13830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.387 Prop: 14.938 PropClause: 14.364 Set: 12.001 Check: 0.0 Back: 0.285
INFO - Atoms: 1549/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 15379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.419 Prop: 15.474 PropClause: 14.843 Set: 12.596 Check: 0.0 Back: 0.321
INFO - Atoms: 1549/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 16928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.493 Prop: 15.995 PropClause: 15.311 Set: 13.198 Check: 0.0 Back: 0.356
INFO - Atoms: 1549/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 18477 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.517 Prop: 16.464 PropClause: 15.727 Set: 13.796 Check: 0.0 Back: 0.391
INFO - Atoms: 1549/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 20026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.549 Prop: 16.95 PropClause: 16.157 Set: 14.227 Check: 0.0 Back: 0.426
INFO - Atoms: 1549/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 21575 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.568 Prop: 17.309 PropClause: 16.463 Set: 14.625 Check: 0.0 Back: 0.461
INFO - Atoms: 1549/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 23084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.592 Prop: 17.703 PropClause: 16.806 Set: 14.997 Check: 0.0 Back: 0.496
INFO - Atoms: 1509/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 24628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.615 Prop: 18.131 PropClause: 17.171 Set: 15.385 Check: 0.0 Back: 0.53
INFO - Atoms: 1544/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 26185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.64 Prop: 18.575 PropClause: 17.549 Set: 15.828 Check: 0.0 Back: 0.565
INFO - Atoms: 1557/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 26790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.667 Prop: 18.856 PropClause: 17.805 Set: 15.968 Check: 0.0 Back: 0.6
INFO - Atoms: 605/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 28323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.693 Prop: 19.195 PropClause: 18.077 Set: 16.356 Check: 0.0 Back: 0.614
INFO - Atoms: 1533/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 29856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.718 Prop: 19.604 PropClause: 18.423 Set: 16.752 Check: 0.0 Back: 0.648
INFO - Atoms: 1533/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 31341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.746 Prop: 20.045 PropClause: 18.804 Set: 17.132 Check: 0.0 Back: 0.683
INFO - Atoms: 1485/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 32826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.772 Prop: 20.485 PropClause: 19.184 Set: 17.534 Check: 0.0 Back: 0.717
INFO - Atoms: 1485/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 34311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.798 Prop: 20.991 PropClause: 19.626 Set: 17.911 Check: 0.0 Back: 0.75
INFO - Atoms: 1485/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 35776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.821 Prop: 21.424 PropClause: 19.999 Set: 18.288 Check: 0.0 Back: 0.784
INFO - Atoms: 1465/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 37264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.842 Prop: 21.876 PropClause: 20.392 Set: 18.659 Check: 0.0 Back: 0.817
INFO - Atoms: 1488/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 38750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.873 Prop: 22.348 PropClause: 20.805 Set: 18.878 Check: 0.0 Back: 0.85
INFO - Atoms: 1486/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 40301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.895 Prop: 23.069 PropClause: 21.448 Set: 21.535 Check: 0.0 Back: 0.884
INFO - Atoms: 1551/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 41868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.921 Prop: 23.648 PropClause: 21.948 Set: 22.376 Check: 0.0 Back: 0.919
INFO - Atoms: 1567/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 43450 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.95 Prop: 24.259 PropClause: 22.477 Set: 23.375 Check: 0.0 Back: 0.955
INFO - Atoms: 1582/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 45032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.07 Prop: 25.002 PropClause: 23.144 Set: 24.231 Check: 0.0 Back: 0.991
INFO - Atoms: 1582/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 46636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.081 Prop: 25.745 PropClause: 23.808 Set: 24.78 Check: 0.0 Back: 1.026
INFO - Atoms: 1604/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 48234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.091 Prop: 26.428 PropClause: 24.253 Set: 25.308 Check: 0.0 Back: 1.062
INFO - Atoms: 1598/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 49217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.128 Prop: 26.824 PropClause: 24.618 Set: 25.638 Check: 0.0 Back: 1.099
INFO - Atoms: 983/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 50767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.149 Prop: 27.234 PropClause: 24.981 Set: 26.269 Check: 0.0 Back: 1.121
INFO - Atoms: 1550/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 52081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.161 Prop: 27.589 PropClause: 25.296 Set: 26.472 Check: 0.0 Back: 1.156
INFO - Atoms: 1314/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 53407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.171 Prop: 27.901 PropClause: 25.567 Set: 26.647 Check: 0.0 Back: 1.187
INFO - Atoms: 1326/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 54779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.18 Prop: 28.231 PropClause: 25.828 Set: 26.83 Check: 0.0 Back: 1.218
INFO - Atoms: 1372/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 56151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.194 Prop: 28.588 PropClause: 26.141 Set: 27.012 Check: 0.0 Back: 1.249
INFO - Atoms: 1372/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 57512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.206 Prop: 28.928 PropClause: 26.439 Set: 27.191 Check: 0.0 Back: 1.281
INFO - Atoms: 1361/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 58872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.219 Prop: 29.283 PropClause: 26.753 Set: 27.372 Check: 0.0 Back: 1.313
INFO - Atoms: 1360/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 60260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.23 Prop: 29.647 PropClause: 27.074 Set: 27.559 Check: 0.0 Back: 1.344
INFO - Atoms: 1388/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 61246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.242 Prop: 30.037 PropClause: 27.41 Set: 27.684 Check: 0.0 Back: 1.376
INFO - Atoms: 986/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 62598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.256 Prop: 30.425 PropClause: 27.679 Set: 27.867 Check: 0.0 Back: 1.403
INFO - Atoms: 1352/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 64069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.266 Prop: 30.771 PropClause: 27.987 Set: 28.101 Check: 0.0 Back: 1.437
INFO - Atoms: 1471/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 65592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.28 Prop: 31.159 PropClause: 28.336 Set: 28.325 Check: 0.0 Back: 1.471
INFO - Atoms: 1523/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 67131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.311 Prop: 31.535 PropClause: 28.672 Set: 28.553 Check: 0.0 Back: 1.506
INFO - Atoms: 1539/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 68670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.323 Prop: 31.985 PropClause: 29.083 Set: 28.778 Check: 0.0 Back: 1.54
INFO - Atoms: 1539/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 70225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.332 Prop: 32.329 PropClause: 29.387 Set: 29.013 Check: 0.0 Back: 1.576
INFO - Atoms: 1555/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 71732 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.338 Prop: 32.64 PropClause: 29.66 Set: 29.237 Check: 0.0 Back: 1.611
INFO - Atoms: 1507/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 73255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.348 Prop: 33.008 PropClause: 29.988 Set: 29.461 Check: 0.0 Back: 1.645
INFO - Atoms: 1523/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 74990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.359 Prop: 33.421 PropClause: 30.356 Set: 29.743 Check: 0.0 Back: 1.679
INFO - Atoms: 1735/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 76682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.396 Prop: 33.881 PropClause: 30.773 Set: 30.015 Check: 0.0 Back: 1.719
INFO - Atoms: 1692/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 78403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.445 Prop: 34.348 PropClause: 31.195 Set: 30.293 Check: 0.0 Back: 1.757
INFO - Atoms: 1721/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 80082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.479 Prop: 34.801 PropClause: 31.606 Set: 30.562 Check: 0.0 Back: 1.795
INFO - Atoms: 1679/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 81788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.516 Prop: 35.287 PropClause: 32.048 Set: 30.836 Check: 0.0 Back: 1.834
INFO - Atoms: 1706/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 83451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.532 Prop: 35.799 PropClause: 32.518 Set: 31.108 Check: 0.0 Back: 1.873
INFO - Atoms: 1663/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 85299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.545 Prop: 36.365 PropClause: 33.038 Set: 31.432 Check: 0.0 Back: 1.91
INFO - Atoms: 1848/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 86492 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.555 Prop: 36.717 PropClause: 33.36 Set: 31.6 Check: 0.0 Back: 1.952
INFO - Atoms: 1193/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 87645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.565 Prop: 36.96 PropClause: 33.575 Set: 31.748 Check: 0.0 Back: 1.979
INFO - Atoms: 1153/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 88816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.576 Prop: 37.238 PropClause: 33.823 Set: 31.902 Check: 0.0 Back: 2.004
INFO - Atoms: 1171/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 89927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.586 Prop: 37.458 PropClause: 34.017 Set: 32.045 Check: 0.0 Back: 2.03
INFO - Atoms: 1111/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 91149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.596 Prop: 37.723 PropClause: 34.251 Set: 32.207 Check: 0.0 Back: 2.055
INFO - Atoms: 1222/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 92371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.61 Prop: 38.021 PropClause: 34.518 Set: 32.372 Check: 0.0 Back: 2.084
INFO - Atoms: 1222/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 93590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.623 Prop: 38.361 PropClause: 34.827 Set: 32.535 Check: 0.0 Back: 2.111
INFO - Atoms: 1219/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 94803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.632 Prop: 38.614 PropClause: 35.05 Set: 32.692 Check: 0.0 Back: 2.138
INFO - Atoms: 1213/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 96015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.643 Prop: 38.885 PropClause: 35.291 Set: 32.851 Check: 0.0 Back: 2.167
INFO - Atoms: 1212/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 97227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.655 Prop: 39.194 PropClause: 35.569 Set: 33.013 Check: 0.0 Back: 2.203
INFO - Atoms: 1212/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 98445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.665 Prop: 39.455 PropClause: 35.799 Set: 33.177 Check: 0.0 Back: 2.23
INFO - Atoms: 1218/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 99611 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.676 Prop: 39.721 PropClause: 36.036 Set: 33.327 Check: 0.0 Back: 2.258
INFO - Atoms: 1166/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 100969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.691 Prop: 40.069 PropClause: 36.348 Set: 33.505 Check: 0.0 Back: 2.284
INFO - Atoms: 1358/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 102376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.735 Prop: 40.38 PropClause: 36.625 Set: 33.705 Check: 0.0 Back: 2.315
INFO - Atoms: 1407/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 103772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.771 Prop: 40.681 PropClause: 36.889 Set: 33.893 Check: 0.0 Back: 2.346
INFO - Atoms: 1396/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 105464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.781 Prop: 41.139 PropClause: 37.305 Set: 34.148 Check: 0.0 Back: 2.378
INFO - Atoms: 1692/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 107169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.791 Prop: 41.574 PropClause: 37.697 Set: 34.406 Check: 0.0 Back: 2.416
INFO - Atoms: 1705/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 108558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.799 Prop: 41.922 PropClause: 38.01 Set: 34.591 Check: 0.0 Back: 2.454
INFO - Atoms: 1389/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 110091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.807 Prop: 42.236 PropClause: 38.286 Set: 34.811 Check: 0.0 Back: 2.485
INFO - Atoms: 1533/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 111804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.818 Prop: 42.639 PropClause: 38.647 Set: 35.074 Check: 0.0 Back: 2.519
INFO - Atoms: 1713/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 113831 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.3 Prop: 43.222 PropClause: 39.18 Set: 35.422 Check: 0.0 Back: 2.558
INFO - Atoms: 2027/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 115809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.313 Prop: 43.898 PropClause: 39.805 Set: 35.761 Check: 0.0 Back: 2.603
INFO - Atoms: 1978/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 117791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.348 Prop: 44.482 PropClause: 40.338 Set: 36.095 Check: 0.0 Back: 2.648
INFO - Atoms: 1982/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 119198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.355 Prop: 44.931 PropClause: 40.752 Set: 36.418 Check: 0.0 Back: 2.693
INFO - Atoms: 1407/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 121263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.367 Prop: 45.527 PropClause: 41.297 Set: 36.927 Check: 0.0 Back: 2.724
INFO - Atoms: 2065/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 123375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.378 Prop: 46.331 PropClause: 42.047 Set: 37.446 Check: 0.0 Back: 2.77
INFO - Atoms: 2112/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 124747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.385 Prop: 46.9 PropClause: 42.581 Set: 37.759 Check: 0.0 Back: 2.817
INFO - Atoms: 1372/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 126124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.393 Prop: 47.204 PropClause: 42.85 Set: 38.067 Check: 0.0 Back: 2.848
INFO - Atoms: 1377/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 127558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.4 Prop: 47.502 PropClause: 43.113 Set: 38.391 Check: 0.0 Back: 2.879
INFO - Atoms: 1434/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 129655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.408 Prop: 48.004 PropClause: 43.564 Set: 38.9 Check: 0.0 Back: 2.911
INFO - Atoms: 2097/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 131754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.415 Prop: 48.57 PropClause: 44.077 Set: 39.399 Check: 0.0 Back: 2.957
INFO - Atoms: 2099/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 133860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.423 Prop: 49.196 PropClause: 44.652 Set: 39.905 Check: 0.0 Back: 3.005
INFO - Atoms: 2106/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 135938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.431 Prop: 49.777 PropClause: 45.182 Set: 40.402 Check: 0.0 Back: 3.052
INFO - Atoms: 2078/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 137968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.439 Prop: 50.373 PropClause: 45.727 Set: 40.887 Check: 0.0 Back: 3.099
INFO - Atoms: 2030/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 140015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.445 Prop: 50.951 PropClause: 46.256 Set: 41.377 Check: 0.0 Back: 3.144
INFO - Atoms: 2047/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 142144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.453 Prop: 51.663 PropClause: 46.915 Set: 41.898 Check: 0.0 Back: 3.19
INFO - Atoms: 2129/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 144343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.461 Prop: 52.401 PropClause: 47.598 Set: 42.43 Check: 0.0 Back: 3.238
INFO - Atoms: 2199/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 145645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.468 Prop: 52.854 PropClause: 48.02 Set: 42.7 Check: 0.0 Back: 3.288
INFO - Atoms: 1302/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 147197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.473 Prop: 53.202 PropClause: 48.33 Set: 43.025 Check: 0.0 Back: 3.317
INFO - Atoms: 1552/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 148726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.481 Prop: 53.597 PropClause: 48.687 Set: 43.355 Check: 0.0 Back: 3.351
INFO - Atoms: 1529/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 151703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.489 Prop: 54.505 PropClause: 49.521 Set: 44.054 Check: 0.0 Back: 3.386
INFO - Atoms: 2977/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 152954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.496 Prop: 55.188 PropClause: 50.173 Set: 44.308 Check: 0.0 Back: 3.454
INFO - Atoms: 1251/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 154183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.503 Prop: 55.476 PropClause: 50.429 Set: 44.559 Check: 0.0 Back: 3.482
INFO - Atoms: 1229/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 157135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.51 Prop: 56.594 PropClause: 51.475 Set: 45.269 Check: 0.0 Back: 3.509
INFO - Atoms: 2952/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 160036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.519 Prop: 57.846 PropClause: 52.652 Set: 45.983 Check: 0.0 Back: 3.577
INFO - Atoms: 2901/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 162320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.527 Prop: 58.633 PropClause: 53.383 Set: 46.504 Check: 0.0 Back: 3.642
INFO - Atoms: 2284/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 163627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.535 Prop: 59.402 PropClause: 54.118 Set: 46.686 Check: 0.0 Back: 3.693
INFO - Atoms: 1307/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 165134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.54 Prop: 59.738 PropClause: 54.417 Set: 46.911 Check: 0.0 Back: 3.723
INFO - Atoms: 1507/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 166281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.547 Prop: 60.025 PropClause: 54.676 Set: 47.051 Check: 0.0 Back: 3.756
INFO - Atoms: 1147/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 167811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.554 Prop: 60.35 PropClause: 54.963 Set: 47.278 Check: 0.0 Back: 3.782
INFO - Atoms: 1530/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 169120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.562 Prop: 60.671 PropClause: 55.251 Set: 47.573 Check: 0.0 Back: 3.817
INFO - Atoms: 1309/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 170685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.572 Prop: 61.008 PropClause: 55.548 Set: 47.809 Check: 0.0 Back: 3.846
INFO - Atoms: 1565/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 171932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.581 Prop: 61.338 PropClause: 55.846 Set: 47.976 Check: 0.0 Back: 3.881
INFO - Atoms: 1247/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 173574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.589 Prop: 61.698 PropClause: 56.165 Set: 48.231 Check: 0.0 Back: 3.909
INFO - Atoms: 1642/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 174824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.597 Prop: 62.053 PropClause: 56.488 Set: 48.404 Check: 0.0 Back: 3.945
INFO - Atoms: 1250/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 176792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.606 Prop: 62.528 PropClause: 56.914 Set: 48.737 Check: 0.0 Back: 3.974
INFO - Atoms: 1968/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 178091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.613 Prop: 62.901 PropClause: 57.254 Set: 48.913 Check: 0.0 Back: 4.018
INFO - Atoms: 1299/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 180073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.618 Prop: 63.301 PropClause: 57.605 Set: 49.25 Check: 0.0 Back: 4.047
INFO - Atoms: 1982/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 182026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.626 Prop: 63.832 PropClause: 58.08 Set: 49.569 Check: 0.0 Back: 4.091
INFO - Atoms: 1953/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 183311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.635 Prop: 64.261 PropClause: 58.477 Set: 49.747 Check: 0.0 Back: 4.135
INFO - Atoms: 1285/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 185285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.639 Prop: 64.666 PropClause: 58.833 Set: 50.09 Check: 0.0 Back: 4.164
INFO - Atoms: 1974/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 186537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.644 Prop: 65.017 PropClause: 59.153 Set: 50.257 Check: 0.0 Back: 4.208
INFO - Atoms: 1252/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 188629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.65 Prop: 65.492 PropClause: 59.576 Set: 50.632 Check: 0.0 Back: 4.236
INFO - Atoms: 2092/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 191472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.657 Prop: 66.335 PropClause: 60.347 Set: 51.164 Check: 0.0 Back: 4.283
INFO - Atoms: 2843/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 194276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.665 Prop: 67.179 PropClause: 61.123 Set: 51.691 Check: 0.0 Back: 4.348
INFO - Atoms: 2804/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 197139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.674 Prop: 68.132 PropClause: 62.003 Set: 52.241 Check: 0.0 Back: 4.411
INFO - Atoms: 2863/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 198191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.681 Prop: 68.776 PropClause: 62.621 Set: 52.384 Check: 0.0 Back: 4.475
INFO - Atoms: 1052/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 199712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.689 Prop: 69.168 PropClause: 62.974 Set: 52.64 Check: 0.0 Back: 4.498
INFO - Atoms: 1521/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 203983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.7 Prop: 70.743 PropClause: 64.443 Set: 53.49 Check: 0.0 Back: 4.533
INFO - Atoms: 4271/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 205786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.707 Prop: 71.585 PropClause: 65.241 Set: 53.796 Check: 0.0 Back: 4.635
INFO - Atoms: 1803/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 208633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.718 Prop: 72.429 PropClause: 66.014 Set: 54.353 Check: 0.0 Back: 4.675
INFO - Atoms: 2847/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 210127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.725 Prop: 73.023 PropClause: 66.571 Set: 54.592 Check: 0.0 Back: 4.739
INFO - Atoms: 1494/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 211601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.73 Prop: 73.392 PropClause: 66.904 Set: 54.824 Check: 0.0 Back: 4.773
INFO - Atoms: 1474/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 213006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.736 Prop: 73.746 PropClause: 67.223 Set: 55.04 Check: 0.0 Back: 4.806
INFO - Atoms: 1405/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 215036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.741 Prop: 74.207 PropClause: 67.633 Set: 55.396 Check: 0.0 Back: 4.838
INFO - Atoms: 2030/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 217593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.748 Prop: 75.011 PropClause: 68.375 Set: 55.871 Check: 0.0 Back: 4.886
INFO - Atoms: 2557/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 220488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.759 Prop: 76.01 PropClause: 69.302 Set: 56.45 Check: 0.0 Back: 4.943
INFO - Atoms: 2895/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 223330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.769 Prop: 77.077 PropClause: 70.298 Set: 57.002 Check: 0.0 Back: 5.009
INFO - Atoms: 2842/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 225543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.776 Prop: 77.929 PropClause: 71.095 Set: 57.414 Check: 0.0 Back: 5.073
INFO - Atoms: 2213/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 227837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.783 Prop: 78.604 PropClause: 71.713 Set: 57.827 Check: 0.0 Back: 5.123
INFO - Atoms: 2294/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 228795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.79 Prop: 79.014 PropClause: 72.099 Set: 57.946 Check: 0.0 Back: 5.175
INFO - Atoms: 958/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 229839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.842 Prop: 79.232 PropClause: 72.29 Set: 58.082 Check: 0.0 Back: 5.196
INFO - Atoms: 1044/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 231123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.864 Prop: 79.537 PropClause: 72.563 Set: 58.269 Check: 0.0 Back: 5.219
INFO - Atoms: 1284/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 232474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.895 Prop: 79.902 PropClause: 72.894 Set: 58.472 Check: 0.0 Back: 5.248
INFO - Atoms: 1351/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 235046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.948 Prop: 80.817 PropClause: 73.742 Set: 59.021 Check: 0.0 Back: 5.278
INFO - Atoms: 2572/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 236079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.955 Prop: 81.321 PropClause: 74.22 Set: 59.155 Check: 0.0 Back: 5.338
INFO - Atoms: 1033/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 239359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.961 Prop: 82.186 PropClause: 75.002 Set: 59.802 Check: 0.0 Back: 5.361
INFO - Atoms: 3280/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 243000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.968 Prop: 83.436 PropClause: 76.163 Set: 60.508 Check: 0.0 Back: 5.436
INFO - Atoms: 3641/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 246928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.976 Prop: 84.735 PropClause: 77.366 Set: 61.275 Check: 0.0 Back: 5.519
INFO - Atoms: 3928/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 251149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.986 Prop: 86.23 PropClause: 78.756 Set: 62.09 Check: 0.0 Back: 5.609
INFO - Atoms: 4221/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 252840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.001 Prop: 87.335 PropClause: 79.818 Set: 62.378 Check: 0.0 Back: 5.713
INFO - Atoms: 1691/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 254532 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.009 Prop: 87.8 PropClause: 80.241 Set: 62.659 Check: 0.0 Back: 5.752
INFO - Atoms: 1692/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 256232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.016 Prop: 88.266 PropClause: 80.664 Set: 62.948 Check: 0.0 Back: 5.791
INFO - Atoms: 1700/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 260367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.024 Prop: 89.508 PropClause: 81.806 Set: 63.787 Check: 0.0 Back: 5.829
INFO - Atoms: 4135/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 261386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.032 Prop: 90.319 PropClause: 82.591 Set: 63.918 Check: 0.0 Back: 5.927
INFO - Atoms: 1019/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 263748 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.038 Prop: 90.888 PropClause: 83.101 Set: 64.352 Check: 0.0 Back: 5.95
INFO - Atoms: 2362/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 265613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.046 Prop: 91.491 PropClause: 83.657 Set: 64.669 Check: 0.0 Back: 6.003
INFO - Atoms: 1865/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 266638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.052 Prop: 91.848 PropClause: 83.989 Set: 64.8 Check: 0.0 Back: 6.046
INFO - Atoms: 1025/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 268120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.06 Prop: 92.196 PropClause: 84.3 Set: 65.057 Check: 0.0 Back: 6.069
INFO - Atoms: 1482/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 272117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.07 Prop: 94.087 PropClause: 86.087 Set: 65.921 Check: 0.0 Back: 6.102
INFO - Atoms: 3997/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 273827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.077 Prop: 94.844 PropClause: 86.801 Set: 66.197 Check: 0.0 Back: 6.194
INFO - Atoms: 1710/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 275560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.083 Prop: 95.323 PropClause: 87.235 Set: 66.476 Check: 0.0 Back: 6.232
INFO - Atoms: 1733/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 277303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.091 Prop: 95.797 PropClause: 87.664 Set: 66.759 Check: 0.0 Back: 6.271
INFO - Atoms: 1743/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 279064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.098 Prop: 96.25 PropClause: 88.074 Set: 67.044 Check: 0.0 Back: 6.311
INFO - Atoms: 1761/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 280886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.112 Prop: 96.741 PropClause: 88.521 Set: 67.352 Check: 0.0 Back: 6.351
INFO - Atoms: 1822/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 283034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.119 Prop: 97.286 PropClause: 89.013 Set: 67.735 Check: 0.0 Back: 6.392
INFO - Atoms: 2148/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 286943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.122 Prop: 98.262 PropClause: 89.892 Set: 68.549 Check: 0.0 Back: 6.44
INFO - Atoms: 3909/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 290857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.128 Prop: 99.508 PropClause: 91.041 Set: 69.407 Check: 0.0 Back: 6.527
INFO - Atoms: 3914/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 292258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.135 Prop: 100.358 PropClause: 91.857 Set: 69.62 Check: 0.0 Back: 6.615
INFO - Atoms: 1401/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 293754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.141 Prop: 100.696 PropClause: 92.157 Set: 69.862 Check: 0.0 Back: 6.646
INFO - Atoms: 1496/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 295089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.148 Prop: 101.092 PropClause: 92.52 Set: 70.054 Check: 0.0 Back: 6.679
INFO - Atoms: 1335/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 296860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.155 Prop: 101.566 PropClause: 92.951 Set: 70.359 Check: 0.0 Back: 6.709
INFO - Atoms: 1771/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 299485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.162 Prop: 102.469 PropClause: 93.788 Set: 70.863 Check: 0.0 Back: 6.749
INFO - Atoms: 2625/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 301901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.17 Prop: 103.47 PropClause: 94.728 Set: 71.314 Check: 0.0 Back: 6.808
INFO - Atoms: 2416/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 303722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.291 Prop: 104.1 PropClause: 95.314 Set: 71.629 Check: 0.0 Back: 6.862
INFO - Atoms: 1821/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 304866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.318 Prop: 104.467 PropClause: 95.651 Set: 71.783 Check: 0.0 Back: 6.903
INFO - Atoms: 1144/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 306799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.326 Prop: 104.903 PropClause: 96.039 Set: 72.119 Check: 0.0 Back: 6.928
INFO - Atoms: 1933/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 308511 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.334 Prop: 105.52 PropClause: 96.614 Set: 72.407 Check: 0.0 Back: 6.972
INFO - Atoms: 1712/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 311514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.351 Prop: 106.271 PropClause: 97.29 Set: 73.012 Check: 0.0 Back: 7.011
INFO - Atoms: 3003/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 315148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.358 Prop: 107.404 PropClause: 98.333 Set: 73.753 Check: 0.0 Back: 7.079
INFO - Atoms: 3634/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 316084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.368 Prop: 108.133 PropClause: 99.038 Set: 73.865 Check: 0.0 Back: 7.162
INFO - Atoms: 936/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 320701 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.379 Prop: 109.42 PropClause: 100.211 Set: 74.841 Check: 0.0 Back: 7.183
INFO - Atoms: 4617/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 321775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.388 Prop: 110.26 PropClause: 101.024 Set: 74.979 Check: 0.0 Back: 7.297
INFO - Atoms: 1074/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 323118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.398 Prop: 110.589 PropClause: 101.32 Set: 75.182 Check: 0.0 Back: 7.321
INFO - Atoms: 1343/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 324947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.408 Prop: 111.088 PropClause: 101.772 Set: 75.498 Check: 0.0 Back: 7.351
INFO - Atoms: 1829/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 326737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.418 Prop: 111.702 PropClause: 102.341 Set: 75.807 Check: 0.0 Back: 7.392
INFO - Atoms: 1790/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 329258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.427 Prop: 112.407 PropClause: 102.983 Set: 76.286 Check: 0.0 Back: 7.432
INFO - Atoms: 2521/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 331419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.436 Prop: 113.07 PropClause: 103.591 Set: 76.68 Check: 0.0 Back: 7.489
INFO - Atoms: 2161/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 333194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.446 Prop: 113.73 PropClause: 104.206 Set: 76.995 Check: 0.0 Back: 7.538
INFO - Atoms: 1775/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 334928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.454 Prop: 114.161 PropClause: 104.594 Set: 77.287 Check: 0.0 Back: 7.578
INFO - Atoms: 1734/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 338195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.463 Prop: 115.076 PropClause: 105.427 Set: 77.959 Check: 0.0 Back: 7.617
INFO - Atoms: 3267/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 341521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.472 Prop: 116.101 PropClause: 106.361 Set: 78.627 Check: 0.0 Back: 7.69
INFO - Atoms: 3326/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 344862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.481 Prop: 117.37 PropClause: 107.548 Set: 79.34 Check: 0.0 Back: 7.764
INFO - Atoms: 3341/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 348704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.492 Prop: 118.855 PropClause: 108.939 Set: 80.159 Check: 0.0 Back: 7.841
INFO - Atoms: 3842/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 349811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.502 Prop: 119.997 PropClause: 110.052 Set: 80.305 Check: 0.0 Back: 7.929
INFO - Atoms: 1107/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 350906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.513 Prop: 120.3 PropClause: 110.326 Set: 80.449 Check: 0.0 Back: 7.953
INFO - Atoms: 1095/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 351952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.523 Prop: 120.615 PropClause: 110.616 Set: 80.585 Check: 0.0 Back: 7.978
INFO - Atoms: 1046/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 353629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.535 Prop: 121.054 PropClause: 111.013 Set: 80.871 Check: 0.0 Back: 8.002
INFO - Atoms: 1677/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 355433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.544 Prop: 121.593 PropClause: 111.507 Set: 81.182 Check: 0.0 Back: 8.039
INFO - Atoms: 1804/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 356528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.555 Prop: 122.184 PropClause: 112.072 Set: 81.324 Check: 0.0 Back: 8.08
INFO - Atoms: 1095/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 357723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.565 Prop: 122.468 PropClause: 112.326 Set: 81.48 Check: 0.0 Back: 8.105
INFO - Atoms: 1195/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 361587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.576 Prop: 123.858 PropClause: 113.621 Set: 82.298 Check: 0.0 Back: 8.132
INFO - Atoms: 3864/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 364861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.586 Prop: 125.234 PropClause: 114.916 Set: 82.964 Check: 0.0 Back: 8.218
INFO - Atoms: 3274/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 366577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.597 Prop: 126.36 PropClause: 115.999 Set: 83.233 Check: 0.0 Back: 8.294
INFO - Atoms: 1716/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 370593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.608 Prop: 127.792 PropClause: 117.332 Set: 84.082 Check: 0.0 Back: 8.332
INFO - Atoms: 4016/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 374614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.618 Prop: 130.216 PropClause: 119.652 Set: 84.903 Check: 0.0 Back: 8.423
INFO - Atoms: 4021/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 375925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.626 Prop: 131.312 PropClause: 120.717 Set: 85.085 Check: 0.0 Back: 8.516
INFO - Atoms: 1311/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 377423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.637 Prop: 131.696 PropClause: 121.062 Set: 85.306 Check: 0.0 Back: 8.545
INFO - Atoms: 1498/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 381496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.648 Prop: 132.95 PropClause: 122.217 Set: 86.128 Check: 0.0 Back: 8.579
INFO - Atoms: 4073/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 385584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.658 Prop: 135.11 PropClause: 124.27 Set: 86.962 Check: 0.0 Back: 8.67
INFO - Atoms: 4088/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 387012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.667 Prop: 136.545 PropClause: 125.669 Set: 87.176 Check: 0.0 Back: 8.762
INFO - Atoms: 1428/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 391306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.677 Prop: 137.914 PropClause: 126.934 Set: 88.028 Check: 0.0 Back: 8.797
INFO - Atoms: 4294/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 395856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.686 Prop: 139.526 PropClause: 128.433 Set: 88.944 Check: 0.0 Back: 8.894
INFO - Atoms: 4550/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 400582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.696 Prop: 141.377 PropClause: 130.158 Set: 90.105 Check: 0.0 Back: 8.995
INFO - Atoms: 4726/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 404989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.708 Prop: 143.152 PropClause: 131.826 Set: 91.157 Check: 0.0 Back: 9.101
INFO - Atoms: 4407/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 406075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.717 Prop: 144.034 PropClause: 132.681 Set: 91.375 Check: 0.0 Back: 9.206
INFO - Atoms: 1086/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 407454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.726 Prop: 144.371 PropClause: 132.984 Set: 91.664 Check: 0.0 Back: 9.23
INFO - Atoms: 1379/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 409078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.734 Prop: 144.804 PropClause: 133.377 Set: 92.017 Check: 0.0 Back: 9.26
INFO - Atoms: 1624/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 410761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.744 Prop: 145.299 PropClause: 133.83 Set: 92.386 Check: 0.0 Back: 9.296
INFO - Atoms: 1683/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 412423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.753 Prop: 145.761 PropClause: 134.252 Set: 92.748 Check: 0.0 Back: 9.334
INFO - Atoms: 1662/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 413769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.767 Prop: 146.23 PropClause: 134.687 Set: 93.07 Check: 0.0 Back: 9.372
INFO - Atoms: 1346/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 416187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.775 Prop: 146.92 PropClause: 135.318 Set: 93.63 Check: 0.0 Back: 9.401
INFO - Atoms: 2418/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 418495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.784 Prop: 147.675 PropClause: 136.017 Set: 94.168 Check: 0.0 Back: 9.456
INFO - Atoms: 2308/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 419694 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.794 Prop: 148.194 PropClause: 136.506 Set: 94.409 Check: 0.0 Back: 9.509
INFO - Atoms: 1199/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 420936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.804 Prop: 148.47 PropClause: 136.752 Set: 94.659 Check: 0.0 Back: 9.535
INFO - Atoms: 1242/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 422177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.812 Prop: 148.765 PropClause: 137.016 Set: 94.911 Check: 0.0 Back: 9.563
INFO - Atoms: 1241/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 423639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.825 Prop: 149.147 PropClause: 137.363 Set: 95.212 Check: 0.0 Back: 9.591
INFO - Atoms: 1462/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 424881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.842 Prop: 149.527 PropClause: 137.712 Set: 95.459 Check: 0.0 Back: 9.624
INFO - Atoms: 1242/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 426120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.853 Prop: 149.839 PropClause: 137.993 Set: 95.711 Check: 0.0 Back: 9.651
INFO - Atoms: 1239/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 427358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.864 Prop: 150.158 PropClause: 138.281 Set: 95.964 Check: 0.0 Back: 9.679
INFO - Atoms: 1238/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 428596 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.875 Prop: 150.494 PropClause: 138.588 Set: 96.21 Check: 0.0 Back: 9.707
INFO - Atoms: 1238/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 431387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.887 Prop: 151.224 PropClause: 139.249 Set: 96.858 Check: 0.0 Back: 9.734
INFO - Atoms: 2791/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 432761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.895 Prop: 151.705 PropClause: 139.696 Set: 97.148 Check: 0.0 Back: 9.796
INFO - Atoms: 1374/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 434118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.905 Prop: 152.028 PropClause: 139.985 Set: 97.427 Check: 0.0 Back: 9.827
INFO - Atoms: 1357/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 435414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.913 Prop: 152.314 PropClause: 140.24 Set: 97.689 Check: 0.0 Back: 9.857
INFO - Atoms: 1296/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 436705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.922 Prop: 152.609 PropClause: 140.503 Set: 97.962 Check: 0.0 Back: 9.886
INFO - Atoms: 1291/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 438164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.93 Prop: 152.947 PropClause: 140.805 Set: 98.276 Check: 0.0 Back: 9.915
INFO - Atoms: 1459/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 441429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.94 Prop: 153.883 PropClause: 141.662 Set: 99.046 Check: 0.0 Back: 9.948
INFO - Atoms: 3265/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 445614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.949 Prop: 155.404 PropClause: 143.081 Set: 100.036 Check: 0.0 Back: 10.02
INFO - Atoms: 4185/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 449901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.957 Prop: 156.973 PropClause: 144.546 Set: 101.053 Check: 0.0 Back: 10.114
INFO - Atoms: 4287/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 454192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.967 Prop: 158.762 PropClause: 146.231 Set: 102.077 Check: 0.0 Back: 10.212
INFO - Atoms: 4291/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 456971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.984 Prop: 160.18 PropClause: 147.581 Set: 102.72 Check: 0.0 Back: 10.31
INFO - Atoms: 2779/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 460614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.992 Prop: 161.289 PropClause: 148.601 Set: 103.564 Check: 0.0 Back: 10.372
INFO - Atoms: 3643/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 464230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.002 Prop: 162.539 PropClause: 149.764 Set: 104.409 Check: 0.0 Back: 10.453
INFO - Atoms: 3616/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 467825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.012 Prop: 163.811 PropClause: 150.944 Set: 105.246 Check: 0.0 Back: 10.534
INFO - Atoms: 3595/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 472270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.021 Prop: 165.551 PropClause: 152.576 Set: 106.393 Check: 0.0 Back: 10.613
INFO - Atoms: 4445/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 476788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.032 Prop: 167.289 PropClause: 154.205 Set: 107.469 Check: 0.0 Back: 10.714
INFO - Atoms: 4518/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 481365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.042 Prop: 169.42 PropClause: 156.225 Set: 108.584 Check: 0.0 Back: 10.819
INFO - Atoms: 4577/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 486006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.052 Prop: 171.658 PropClause: 158.349 Set: 109.724 Check: 0.0 Back: 10.924
INFO - Atoms: 4641/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 490718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.062 Prop: 173.733 PropClause: 160.31 Set: 110.873 Check: 0.0 Back: 11.033
INFO - Atoms: 4712/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 495488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.071 Prop: 176.141 PropClause: 162.601 Set: 112.027 Check: 0.0 Back: 11.142
INFO - Atoms: 4770/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 500648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.084 Prop: 177.916 PropClause: 164.251 Set: 113.275 Check: 0.0 Back: 11.251
INFO - Atoms: 5160/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 501948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.093 Prop: 178.899 PropClause: 165.202 Set: 113.539 Check: 0.0 Back: 11.378
INFO - Atoms: 1300/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 505186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.101 Prop: 179.733 PropClause: 165.951 Set: 114.297 Check: 0.0 Back: 11.406
INFO - Atoms: 3238/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 506476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.11 Prop: 180.374 PropClause: 166.561 Set: 114.568 Check: 0.0 Back: 11.478
INFO - Atoms: 1290/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 507777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.118 Prop: 180.704 PropClause: 166.858 Set: 114.84 Check: 0.0 Back: 11.507
INFO - Atoms: 1301/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 511029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.128 Prop: 181.682 PropClause: 167.753 Set: 115.603 Check: 0.0 Back: 11.538
INFO - Atoms: 3252/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 512297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.136 Prop: 182.225 PropClause: 168.266 Set: 115.864 Check: 0.0 Back: 11.611
INFO - Atoms: 1268/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 513613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.146 Prop: 182.537 PropClause: 168.545 Set: 116.15 Check: 0.0 Back: 11.639
INFO - Atoms: 1316/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 516855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.156 Prop: 183.561 PropClause: 169.483 Set: 116.889 Check: 0.0 Back: 11.668
INFO - Atoms: 3242/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 518128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.166 Prop: 184.526 PropClause: 170.417 Set: 117.183 Check: 0.0 Back: 11.741
INFO - Atoms: 1273/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 519443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.174 Prop: 184.921 PropClause: 170.781 Set: 117.453 Check: 0.0 Back: 11.769
INFO - Atoms: 1315/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 522691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.185 Prop: 186.026 PropClause: 171.807 Set: 118.227 Check: 0.0 Back: 11.799
INFO - Atoms: 3248/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 524000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.195 Prop: 186.907 PropClause: 172.656 Set: 118.5 Check: 0.0 Back: 11.872
INFO - Atoms: 1309/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 527244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.203 Prop: 188.001 PropClause: 173.669 Set: 119.316 Check: 0.0 Back: 11.902
INFO - Atoms: 3244/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 531125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.214 Prop: 189.285 PropClause: 174.859 Set: 120.248 Check: 0.0 Back: 11.975
INFO - Atoms: 3881/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 535141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.227 Prop: 190.823 PropClause: 176.3 Set: 121.22 Check: 0.0 Back: 12.062
INFO - Atoms: 4016/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 536289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.237 Prop: 191.73 PropClause: 177.178 Set: 121.451 Check: 0.0 Back: 12.152
INFO - Atoms: 1148/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 540558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.248 Prop: 193.549 PropClause: 178.894 Set: 122.508 Check: 0.0 Back: 12.177
INFO - Atoms: 4269/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 544958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.259 Prop: 195.277 PropClause: 180.514 Set: 123.576 Check: 0.0 Back: 12.275
INFO - Atoms: 4400/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 550103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.278 Prop: 197.325 PropClause: 182.43 Set: 124.599 Check: 0.0 Back: 12.374
INFO - Atoms: 5145/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 551937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.288 Prop: 198.552 PropClause: 183.613 Set: 124.908 Check: 0.0 Back: 12.493
INFO - Atoms: 1834/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 556109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.296 Prop: 199.794 PropClause: 184.753 Set: 125.755 Check: 0.0 Back: 12.536
INFO - Atoms: 4172/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 558905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.305 Prop: 201.067 PropClause: 185.957 Set: 126.285 Check: 0.0 Back: 12.629
INFO - Atoms: 2796/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 564032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.318 Prop: 202.842 PropClause: 187.607 Set: 127.318 Check: 0.0 Back: 12.691
INFO - Atoms: 5127/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 568094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.326 Prop: 204.502 PropClause: 189.166 Set: 128.128 Check: 0.0 Back: 12.818
INFO - Atoms: 4062/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 572268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.337 Prop: 206.237 PropClause: 190.797 Set: 128.969 Check: 0.0 Back: 12.91
INFO - Atoms: 4174/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 576331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.346 Prop: 207.922 PropClause: 192.382 Set: 129.765 Check: 0.0 Back: 13.004
INFO - Atoms: 4063/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 580418 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.353 Prop: 209.6 PropClause: 193.96 Set: 130.571 Check: 0.0 Back: 13.095
INFO - Atoms: 4087/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 584494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.364 Prop: 211.009 PropClause: 195.269 Set: 131.387 Check: 0.0 Back: 13.188
INFO - Atoms: 4076/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 585633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.373 Prop: 211.962 PropClause: 196.194 Set: 131.538 Check: 0.0 Back: 13.279
INFO - Atoms: 1139/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 586867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.383 Prop: 212.329 PropClause: 196.531 Set: 131.709 Check: 0.0 Back: 13.304
INFO - Atoms: 1234/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 588085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.393 Prop: 212.669 PropClause: 196.841 Set: 131.877 Check: 0.0 Back: 13.332
INFO - Atoms: 1218/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 589448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.402 Prop: 212.97 PropClause: 197.109 Set: 132.077 Check: 0.0 Back: 13.358
INFO - Atoms: 1363/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 590871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.411 Prop: 213.339 PropClause: 197.442 Set: 132.295 Check: 0.0 Back: 13.389
INFO - Atoms: 1423/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 595418 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.42 Prop: 215.017 PropClause: 199.009 Set: 133.2 Check: 0.0 Back: 13.422
INFO - Atoms: 4547/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 596856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.429 Prop: 216.488 PropClause: 200.444 Set: 133.419 Check: 0.0 Back: 13.527
INFO - Atoms: 1438/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 601270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.439 Prop: 218.014 PropClause: 201.863 Set: 134.284 Check: 0.0 Back: 13.559
INFO - Atoms: 4414/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 606168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.452 Prop: 220.73 PropClause: 204.458 Set: 135.231 Check: 0.0 Back: 13.658
INFO - Atoms: 4898/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 611240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.464 Prop: 223.408 PropClause: 207.01 Set: 136.181 Check: 0.0 Back: 13.772
INFO - Atoms: 5072/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 616325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.476 Prop: 225.841 PropClause: 209.319 Set: 137.191 Check: 0.0 Back: 13.888
INFO - Atoms: 5085/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 617778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.485 Prop: 227.816 PropClause: 211.258 Set: 137.411 Check: 0.0 Back: 14.007
INFO - Atoms: 1453/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 621968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.494 Prop: 229.69 PropClause: 213.028 Set: 138.256 Check: 0.0 Back: 14.039
INFO - Atoms: 4190/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 627075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.514 Prop: 232.046 PropClause: 215.259 Set: 139.261 Check: 0.0 Back: 14.135
INFO - Atoms: 5107/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 631373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.524 Prop: 234.4 PropClause: 217.504 Set: 140.096 Check: 0.0 Back: 14.257
INFO - Atoms: 4298/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 635674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.534 Prop: 236.626 PropClause: 219.625 Set: 140.955 Check: 0.0 Back: 14.355
INFO - Atoms: 4301/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 639846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.544 Prop: 238.714 PropClause: 221.611 Set: 141.789 Check: 0.0 Back: 14.454
INFO - Atoms: 4172/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 644048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.554 Prop: 240.582 PropClause: 223.377 Set: 142.626 Check: 0.0 Back: 14.551
INFO - Atoms: 4202/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 648265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.58 Prop: 242.32 PropClause: 225.011 Set: 143.463 Check: 0.0 Back: 14.646
INFO - Atoms: 4217/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 649594 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.6 Prop: 243.383 PropClause: 226.039 Set: 143.663 Check: 0.0 Back: 14.741
INFO - Atoms: 1329/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 654238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.603 Prop: 244.969 PropClause: 227.51 Set: 144.593 Check: 0.0 Back: 14.771
INFO - Atoms: 4644/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 658768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.609 Prop: 247.333 PropClause: 229.763 Set: 145.464 Check: 0.0 Back: 14.876
INFO - Atoms: 4530/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 659837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.613 Prop: 248.227 PropClause: 230.63 Set: 145.607 Check: 0.0 Back: 14.984
INFO - Atoms: 1069/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 664475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.618 Prop: 249.431 PropClause: 231.719 Set: 146.515 Check: 0.0 Back: 15.007
INFO - Atoms: 4638/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 668846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.622 Prop: 251.059 PropClause: 233.231 Set: 147.394 Check: 0.0 Back: 15.114
INFO - Atoms: 4371/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 670050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.626 Prop: 252.096 PropClause: 234.237 Set: 147.563 Check: 0.0 Back: 15.211
INFO - Atoms: 1204/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 673823 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.63 Prop: 253.256 PropClause: 235.305 Set: 148.333 Check: 0.0 Back: 15.238
INFO - Atoms: 3773/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 676729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.635 Prop: 254.312 PropClause: 236.289 Set: 148.892 Check: 0.0 Back: 15.322
INFO - Atoms: 2906/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 679806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.639 Prop: 255.22 PropClause: 237.122 Set: 149.495 Check: 0.0 Back: 15.388
INFO - Atoms: 3077/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 681021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.643 Prop: 255.889 PropClause: 237.762 Set: 149.665 Check: 0.0 Back: 15.456
INFO - Atoms: 1215/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 683658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.644 Prop: 256.456 PropClause: 238.265 Set: 150.151 Check: 0.0 Back: 15.484
INFO - Atoms: 2637/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 23976 Tprops: 8437 Decides: 13048 RSplits: 0
INFO - Times: Expl: 79.815 Prop: 1964.097 PropClause: 11.404 Set: 2371.442 Check: 53.092 Back: 49.784
INFO - Atoms: 30/267 Clauses: 500 Axioms: 234
INFO - CCTimes: iE 59385 eq 20706067 cc 8473132 setRep 3716025
INFO - Merges: 29803, cc:31295
INFO - BVTimes: BB 73143235 BB_DPLL 1546946627 Graph 40202521
INFO - BitBlastingClauses: 94778 BvultGraphCircles: 0 TrivialConflicts: 1
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 685803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.649 Prop: 257.169 PropClause: 238.925 Set: 150.528 Check: 0.0 Back: 15.542
INFO - Atoms: 2145/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 690963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.656 Prop: 259.398 PropClause: 241.027 Set: 151.586 Check: 0.0 Back: 15.59
INFO - Atoms: 5160/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 694995 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.66 Prop: 261.483 PropClause: 243.012 Set: 152.4 Check: 0.0 Back: 15.711
INFO - Atoms: 4032/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 698351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.665 Prop: 262.916 PropClause: 244.362 Set: 153.08 Check: 0.0 Back: 15.801
INFO - Atoms: 3356/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 701011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.67 Prop: 264.492 PropClause: 245.872 Set: 153.587 Check: 0.0 Back: 15.876
INFO - Atoms: 2660/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 702338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.673 Prop: 265.294 PropClause: 246.642 Set: 153.772 Check: 0.0 Back: 15.935
INFO - Atoms: 1327/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 707500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.679 Prop: 267.432 PropClause: 248.65 Set: 154.797 Check: 0.0 Back: 15.965
INFO - Atoms: 5162/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 708848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.683 Prop: 268.675 PropClause: 249.859 Set: 154.991 Check: 0.0 Back: 16.089
INFO - Atoms: 1348/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 713673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.687 Prop: 269.913 PropClause: 250.98 Set: 155.94 Check: 0.0 Back: 16.119
INFO - Atoms: 4825/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 718835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.692 Prop: 271.637 PropClause: 252.577 Set: 156.983 Check: 0.0 Back: 16.229
INFO - Atoms: 5162/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 720612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.696 Prop: 272.793 PropClause: 253.688 Set: 157.293 Check: 0.0 Back: 16.351
INFO - Atoms: 1777/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 722325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.7 Prop: 273.24 PropClause: 254.092 Set: 157.578 Check: 0.0 Back: 16.39
INFO - Atoms: 1713/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 723367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.704 Prop: 273.545 PropClause: 254.371 Set: 157.71 Check: 0.0 Back: 16.428
INFO - Atoms: 1042/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 725078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.707 Prop: 273.969 PropClause: 254.753 Set: 158.0 Check: 0.0 Back: 16.452
INFO - Atoms: 1711/5690 Clauses: 231 Axioms: 23248
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 523 Props: 24877 Tprops: 8643 Decides: 13246 RSplits: 0
INFO - Times: Expl: 82.569 Prop: 2053.431 PropClause: 11.955 Set: 2443.313 Check: 54.068 Back: 50.965
INFO - Atoms: 120/267 Clauses: 523 Axioms: 234
INFO - CCTimes: iE 62519 eq 20945429 cc 8714713 setRep 3809466
INFO - Merges: 30798, cc:32840
INFO - BVTimes: BB 73143235 BB_DPLL 1616867460 Graph 40996530
INFO - BitBlastingClauses: 97998 BvultGraphCircles: 0 TrivialConflicts: 1
INFO - Formula is unsat
unsat