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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 137599470
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.366 Prop: 12.211 PropClause: 11.52 Set: 4.849 Check: 0.0 Back: 0.0
INFO - Atoms: 763/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 2338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.398 Prop: 13.265 PropClause: 11.917 Set: 5.523 Check: 0.0 Back: 0.026
INFO - Atoms: 1575/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 3898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.413 Prop: 13.869 PropClause: 12.275 Set: 6.618 Check: 0.0 Back: 0.062
INFO - Atoms: 1560/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 5453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.425 Prop: 14.304 PropClause: 12.652 Set: 10.395 Check: 0.0 Back: 0.099
INFO - Atoms: 1555/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 6898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.438 Prop: 14.675 PropClause: 12.973 Set: 10.996 Check: 0.0 Back: 0.135
INFO - Atoms: 1445/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 8488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.457 Prop: 15.122 PropClause: 13.356 Set: 11.712 Check: 0.0 Back: 0.168
INFO - Atoms: 1590/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 10056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.471 Prop: 15.502 PropClause: 13.69 Set: 12.083 Check: 0.0 Back: 0.205
INFO - Atoms: 1568/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 11611 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.481 Prop: 15.9 PropClause: 14.04 Set: 12.442 Check: 0.0 Back: 0.242
INFO - Atoms: 1555/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 13052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.493 Prop: 16.231 PropClause: 14.329 Set: 12.736 Check: 0.0 Back: 0.278
INFO - Atoms: 1441/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 14613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.504 Prop: 16.617 PropClause: 14.67 Set: 13.095 Check: 0.0 Back: 0.311
INFO - Atoms: 1561/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 16178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.515 Prop: 16.992 PropClause: 14.999 Set: 13.454 Check: 0.0 Back: 0.348
INFO - Atoms: 1565/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 17728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.526 Prop: 17.377 PropClause: 15.338 Set: 13.827 Check: 0.0 Back: 0.384
INFO - Atoms: 1550/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 19311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.55 Prop: 18.852 PropClause: 15.702 Set: 14.3 Check: 0.0 Back: 0.428
INFO - Atoms: 1583/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 20870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.564 Prop: 19.283 PropClause: 16.07 Set: 14.745 Check: 0.0 Back: 0.465
INFO - Atoms: 1559/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 22456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.58 Prop: 19.692 PropClause: 16.415 Set: 15.207 Check: 0.0 Back: 0.501
INFO - Atoms: 1586/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 24018 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.597 Prop: 20.123 PropClause: 16.766 Set: 15.533 Check: 0.0 Back: 0.538
INFO - Atoms: 1562/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 25608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.606 Prop: 20.506 PropClause: 17.096 Set: 15.87 Check: 0.0 Back: 0.575
INFO - Atoms: 1590/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 27157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.616 Prop: 20.899 PropClause: 17.439 Set: 16.19 Check: 0.0 Back: 0.611
INFO - Atoms: 1549/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 28723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.625 Prop: 21.262 PropClause: 17.749 Set: 16.513 Check: 0.0 Back: 0.648
INFO - Atoms: 1566/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 30318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.636 Prop: 21.676 PropClause: 18.11 Set: 16.853 Check: 0.0 Back: 0.684
INFO - Atoms: 1595/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 31922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.646 Prop: 22.066 PropClause: 18.447 Set: 17.195 Check: 0.0 Back: 0.722
INFO - Atoms: 1604/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 33459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.659 Prop: 22.461 PropClause: 18.791 Set: 17.513 Check: 0.0 Back: 0.759
INFO - Atoms: 1537/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 34998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.67 Prop: 22.815 PropClause: 19.093 Set: 17.834 Check: 0.0 Back: 0.795
INFO - Atoms: 1539/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 36602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.683 Prop: 23.223 PropClause: 19.448 Set: 18.175 Check: 0.0 Back: 0.831
INFO - Atoms: 1604/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 38434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.699 Prop: 23.715 PropClause: 19.878 Set: 18.645 Check: 0.0 Back: 0.868
INFO - Atoms: 1832/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 40215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.718 Prop: 24.217 PropClause: 20.322 Set: 19.1 Check: 0.0 Back: 0.911
INFO - Atoms: 1781/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 42017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.727 Prop: 24.701 PropClause: 20.746 Set: 19.528 Check: 0.0 Back: 0.954
INFO - Atoms: 1802/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 43884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.737 Prop: 25.173 PropClause: 21.148 Set: 19.972 Check: 0.0 Back: 0.996
INFO - Atoms: 1867/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 45864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.748 Prop: 25.641 PropClause: 21.552 Set: 20.452 Check: 0.0 Back: 1.039
INFO - Atoms: 1980/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 47818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.761 Prop: 26.146 PropClause: 21.993 Set: 20.755 Check: 0.0 Back: 1.085
INFO - Atoms: 1954/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 49895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.774 Prop: 27.459 PropClause: 23.237 Set: 21.06 Check: 0.0 Back: 1.131
INFO - Atoms: 2077/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 51423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.783 Prop: 27.866 PropClause: 23.594 Set: 21.245 Check: 0.0 Back: 1.18
INFO - Atoms: 1528/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 53505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.793 Prop: 28.327 PropClause: 23.988 Set: 21.554 Check: 0.0 Back: 1.216
INFO - Atoms: 2082/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 55735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.804 Prop: 28.919 PropClause: 24.508 Set: 21.885 Check: 0.0 Back: 1.264
INFO - Atoms: 2230/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 57957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.815 Prop: 29.505 PropClause: 25.022 Set: 22.224 Check: 0.0 Back: 1.316
INFO - Atoms: 2222/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 60177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.836 Prop: 30.109 PropClause: 25.555 Set: 22.562 Check: 0.0 Back: 1.368
INFO - Atoms: 2220/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 61607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.846 Prop: 30.489 PropClause: 25.889 Set: 22.733 Check: 0.0 Back: 1.42
INFO - Atoms: 1430/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 62977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.857 Prop: 30.79 PropClause: 26.145 Set: 22.89 Check: 0.0 Back: 1.453
INFO - Atoms: 1370/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 64405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.868 Prop: 31.084 PropClause: 26.39 Set: 23.065 Check: 0.0 Back: 1.485
INFO - Atoms: 1428/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 66745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.884 Prop: 31.688 PropClause: 26.92 Set: 23.586 Check: 0.0 Back: 1.518
INFO - Atoms: 2340/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 68648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.906 Prop: 32.256 PropClause: 27.422 Set: 23.998 Check: 0.0 Back: 1.58
INFO - Atoms: 1903/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 70338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.924 Prop: 32.754 PropClause: 27.864 Set: 24.351 Check: 0.0 Back: 1.625
INFO - Atoms: 1690/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 72513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.937 Prop: 33.293 PropClause: 28.332 Set: 24.848 Check: 0.0 Back: 1.664
INFO - Atoms: 2175/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 74906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.95 Prop: 33.95 PropClause: 28.913 Set: 25.389 Check: 0.0 Back: 1.714
INFO - Atoms: 2393/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 77387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.971 Prop: 34.701 PropClause: 29.562 Set: 25.962 Check: 0.0 Back: 1.77
INFO - Atoms: 2481/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 79898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.994 Prop: 35.486 PropClause: 30.245 Set: 26.546 Check: 0.0 Back: 1.828
INFO - Atoms: 2511/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 81332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.006 Prop: 35.96 PropClause: 30.66 Set: 26.834 Check: 0.0 Back: 1.892
INFO - Atoms: 1434/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 82765 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.014 Prop: 36.304 PropClause: 30.947 Set: 27.111 Check: 0.0 Back: 1.925
INFO - Atoms: 1433/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 83992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.023 Prop: 36.567 PropClause: 31.161 Set: 27.342 Check: 0.0 Back: 1.959
INFO - Atoms: 1227/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 86520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.129 Prop: 37.288 PropClause: 31.779 Set: 27.751 Check: 0.0 Back: 1.987
INFO - Atoms: 2528/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 89109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.132 Prop: 38.017 PropClause: 32.403 Set: 28.167 Check: 0.0 Back: 2.047
INFO - Atoms: 2589/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 91759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.136 Prop: 38.802 PropClause: 33.08 Set: 28.586 Check: 0.0 Back: 2.107
INFO - Atoms: 2650/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 94402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.14 Prop: 39.581 PropClause: 33.751 Set: 29.015 Check: 0.0 Back: 2.169
INFO - Atoms: 2643/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 97469 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.148 Prop: 40.509 PropClause: 34.554 Set: 29.525 Check: 0.0 Back: 2.23
INFO - Atoms: 3067/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 99154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.151 Prop: 41.071 PropClause: 35.048 Set: 29.764 Check: 0.0 Back: 2.301
INFO - Atoms: 1685/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 100692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.154 Prop: 41.456 PropClause: 35.372 Set: 29.965 Check: 0.0 Back: 2.341
INFO - Atoms: 1538/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 102496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.158 Prop: 41.907 PropClause: 35.73 Set: 30.233 Check: 0.0 Back: 2.377
INFO - Atoms: 1804/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 104947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.168 Prop: 42.534 PropClause: 36.258 Set: 30.615 Check: 0.0 Back: 2.419
INFO - Atoms: 2451/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 106420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.171 Prop: 42.976 PropClause: 36.641 Set: 30.802 Check: 0.0 Back: 2.476
INFO - Atoms: 1473/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 108437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.174 Prop: 43.48 PropClause: 37.065 Set: 31.11 Check: 0.0 Back: 2.51
INFO - Atoms: 2017/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 109723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.177 Prop: 43.84 PropClause: 37.371 Set: 31.261 Check: 0.0 Back: 2.557
INFO - Atoms: 1286/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 111006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.18 Prop: 44.132 PropClause: 37.608 Set: 31.418 Check: 0.0 Back: 2.587
INFO - Atoms: 1283/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 112306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.183 Prop: 44.411 PropClause: 37.836 Set: 31.571 Check: 0.0 Back: 2.617
INFO - Atoms: 1300/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 114679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.434 Prop: 44.979 PropClause: 38.309 Set: 31.941 Check: 0.0 Back: 2.647
INFO - Atoms: 2373/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 117371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.437 Prop: 45.717 PropClause: 38.938 Set: 32.379 Check: 0.0 Back: 2.702
INFO - Atoms: 2692/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 118650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.439 Prop: 46.156 PropClause: 39.325 Set: 32.53 Check: 0.0 Back: 2.765
INFO - Atoms: 1279/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 121713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.444 Prop: 46.86 PropClause: 39.907 Set: 33.034 Check: 0.0 Back: 2.794
INFO - Atoms: 3063/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 123302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.446 Prop: 47.409 PropClause: 40.393 Set: 33.252 Check: 0.0 Back: 2.865
INFO - Atoms: 1589/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 124909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.447 Prop: 47.782 PropClause: 40.703 Set: 33.468 Check: 0.0 Back: 2.902
INFO - Atoms: 1607/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 126590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.451 Prop: 48.205 PropClause: 41.056 Set: 33.713 Check: 0.0 Back: 2.94
INFO - Atoms: 1681/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 128872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.453 Prop: 48.75 PropClause: 41.511 Set: 34.065 Check: 0.0 Back: 2.979
INFO - Atoms: 2282/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 131517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.455 Prop: 49.49 PropClause: 42.144 Set: 34.485 Check: 0.0 Back: 3.032
INFO - Atoms: 2645/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 134583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.459 Prop: 50.338 PropClause: 42.869 Set: 34.999 Check: 0.0 Back: 3.095
INFO - Atoms: 3066/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 136253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.462 Prop: 50.911 PropClause: 43.374 Set: 35.228 Check: 0.0 Back: 3.167
INFO - Atoms: 1670/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 138098 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.464 Prop: 51.575 PropClause: 43.764 Set: 35.517 Check: 0.0 Back: 3.206
INFO - Atoms: 1845/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 140115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.466 Prop: 52.307 PropClause: 44.226 Set: 35.838 Check: 0.0 Back: 3.25
INFO - Atoms: 2017/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 141411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.468 Prop: 52.643 PropClause: 44.52 Set: 35.989 Check: 0.0 Back: 3.296
INFO - Atoms: 1296/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 142679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.471 Prop: 52.92 PropClause: 44.756 Set: 36.137 Check: 0.0 Back: 3.326
INFO - Atoms: 1268/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 145743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.473 Prop: 53.586 PropClause: 45.33 Set: 36.63 Check: 0.0 Back: 3.356
INFO - Atoms: 3064/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 147012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.475 Prop: 54.051 PropClause: 45.756 Set: 36.778 Check: 0.0 Back: 3.427
INFO - Atoms: 1269/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 148278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.477 Prop: 54.307 PropClause: 45.973 Set: 36.926 Check: 0.0 Back: 3.456
INFO - Atoms: 1266/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 149601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.48 Prop: 54.593 PropClause: 46.216 Set: 37.083 Check: 0.0 Back: 3.486
INFO - Atoms: 1323/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 151678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.484 Prop: 55.056 PropClause: 46.616 Set: 37.41 Check: 0.0 Back: 3.517
INFO - Atoms: 2077/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 154306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.486 Prop: 55.733 PropClause: 47.213 Set: 37.831 Check: 0.0 Back: 3.565
INFO - Atoms: 2628/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 157368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.49 Prop: 56.543 PropClause: 47.928 Set: 38.33 Check: 0.0 Back: 3.625
INFO - Atoms: 3062/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 159410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.492 Prop: 57.195 PropClause: 48.516 Set: 38.643 Check: 0.0 Back: 3.697
INFO - Atoms: 2042/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 161477 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.494 Prop: 57.709 PropClause: 48.968 Set: 38.954 Check: 0.0 Back: 3.744
INFO - Atoms: 2067/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 162748 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.496 Prop: 58.072 PropClause: 49.291 Set: 39.105 Check: 0.0 Back: 3.793
INFO - Atoms: 1271/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 164827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.501 Prop: 58.513 PropClause: 49.669 Set: 39.422 Check: 0.0 Back: 3.822
INFO - Atoms: 2079/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 167891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.506 Prop: 59.304 PropClause: 50.365 Set: 39.933 Check: 0.0 Back: 3.871
INFO - Atoms: 3064/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 170952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.511 Prop: 60.159 PropClause: 51.127 Set: 40.445 Check: 0.0 Back: 3.943
INFO - Atoms: 3061/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 173020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.515 Prop: 60.837 PropClause: 51.741 Set: 40.771 Check: 0.0 Back: 4.014
INFO - Atoms: 2068/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 175037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.517 Prop: 61.398 PropClause: 52.222 Set: 41.075 Check: 0.0 Back: 4.062
INFO - Atoms: 2017/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 177054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.519 Prop: 61.921 PropClause: 52.684 Set: 41.373 Check: 0.0 Back: 4.109
INFO - Atoms: 2017/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 178322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.521 Prop: 62.271 PropClause: 52.995 Set: 41.521 Check: 0.0 Back: 4.156
INFO - Atoms: 1268/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 180104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.524 Prop: 62.664 PropClause: 53.334 Set: 41.773 Check: 0.0 Back: 4.186
INFO - Atoms: 1782/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 181672 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.526 Prop: 63.04 PropClause: 53.66 Set: 41.983 Check: 0.0 Back: 4.228
INFO - Atoms: 1568/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 183220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.528 Prop: 63.415 PropClause: 53.987 Set: 42.195 Check: 0.0 Back: 4.264
INFO - Atoms: 1548/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 185513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.53 Prop: 63.937 PropClause: 54.439 Set: 42.55 Check: 0.0 Back: 4.301
INFO - Atoms: 2293/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 187969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.535 Prop: 64.598 PropClause: 55.025 Set: 42.935 Check: 0.0 Back: 4.354
INFO - Atoms: 2456/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 191030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.539 Prop: 65.408 PropClause: 55.74 Set: 43.445 Check: 0.0 Back: 4.412
INFO - Atoms: 3061/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 192735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.543 Prop: 65.988 PropClause: 56.267 Set: 43.68 Check: 0.0 Back: 4.484
INFO - Atoms: 1705/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 194979 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.548 Prop: 66.514 PropClause: 56.725 Set: 44.022 Check: 0.0 Back: 4.523
INFO - Atoms: 2244/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 196189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.553 Prop: 66.927 PropClause: 57.1 Set: 44.236 Check: 0.0 Back: 4.576
INFO - Atoms: 1210/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 198383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.56 Prop: 67.589 PropClause: 57.524 Set: 44.58 Check: 0.0 Back: 4.604
INFO - Atoms: 2194/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 199987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.563 Prop: 68.093 PropClause: 57.979 Set: 44.909 Check: 0.0 Back: 4.655
INFO - Atoms: 1604/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 203046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.568 Prop: 68.836 PropClause: 58.629 Set: 45.639 Check: 0.0 Back: 4.692
INFO - Atoms: 3059/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 204837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.571 Prop: 69.503 PropClause: 59.242 Set: 46.018 Check: 0.0 Back: 4.764
INFO - Atoms: 1791/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 206184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.576 Prop: 69.963 PropClause: 59.534 Set: 46.284 Check: 0.0 Back: 4.805
INFO - Atoms: 1347/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 208290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.582 Prop: 70.509 PropClause: 60.011 Set: 46.75 Check: 0.0 Back: 4.837
INFO - Atoms: 2106/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 210620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.812 Prop: 71.108 PropClause: 60.549 Set: 47.267 Check: 0.0 Back: 4.885
INFO - Atoms: 2330/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 213684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 13.877 Prop: 71.952 PropClause: 61.317 Set: 47.969 Check: 0.0 Back: 4.94
INFO - Atoms: 3064/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 215455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 13.964 Prop: 72.547 PropClause: 61.867 Set: 48.34 Check: 0.0 Back: 5.012
INFO - Atoms: 1771/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 216708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 13.987 Prop: 72.897 PropClause: 62.186 Set: 48.573 Check: 0.0 Back: 5.053
INFO - Atoms: 1253/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 218728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 13.992 Prop: 73.341 PropClause: 62.579 Set: 49.024 Check: 0.0 Back: 5.082
INFO - Atoms: 2020/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 221791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.008 Prop: 74.176 PropClause: 63.338 Set: 49.739 Check: 0.0 Back: 5.128
INFO - Atoms: 3063/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 223646 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.012 Prop: 74.773 PropClause: 63.888 Set: 50.142 Check: 0.0 Back: 5.2
INFO - Atoms: 1855/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 224986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.019 Prop: 75.116 PropClause: 64.197 Set: 50.405 Check: 0.0 Back: 5.243
INFO - Atoms: 1340/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 226836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.024 Prop: 75.515 PropClause: 64.55 Set: 50.816 Check: 0.0 Back: 5.273
INFO - Atoms: 1850/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 228688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.029 Prop: 75.973 PropClause: 64.96 Set: 51.209 Check: 0.0 Back: 5.316
INFO - Atoms: 1852/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 230540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.034 Prop: 76.459 PropClause: 65.4 Set: 51.592 Check: 0.0 Back: 5.358
INFO - Atoms: 1852/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 232690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.037 Prop: 77.006 PropClause: 65.893 Set: 52.069 Check: 0.0 Back: 5.401
INFO - Atoms: 2150/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 235747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.042 Prop: 77.795 PropClause: 66.606 Set: 52.792 Check: 0.0 Back: 5.45
INFO - Atoms: 3057/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 237880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.044 Prop: 78.527 PropClause: 67.284 Set: 53.253 Check: 0.0 Back: 5.52
INFO - Atoms: 2133/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 239486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.045 Prop: 78.987 PropClause: 67.705 Set: 53.586 Check: 0.0 Back: 5.568
INFO - Atoms: 1606/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 241768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.05 Prop: 79.546 PropClause: 68.206 Set: 54.11 Check: 0.0 Back: 5.605
INFO - Atoms: 2282/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 242991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.056 Prop: 79.921 PropClause: 68.55 Set: 54.332 Check: 0.0 Back: 5.665
INFO - Atoms: 1223/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 245388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.062 Prop: 80.448 PropClause: 69.018 Set: 54.72 Check: 0.0 Back: 5.693
INFO - Atoms: 2397/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 248455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.066 Prop: 81.234 PropClause: 69.726 Set: 55.247 Check: 0.0 Back: 5.748
INFO - Atoms: 3067/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 250268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.076 Prop: 81.83 PropClause: 70.277 Set: 55.505 Check: 0.0 Back: 5.818
INFO - Atoms: 1813/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 252207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.085 Prop: 82.278 PropClause: 70.676 Set: 55.781 Check: 0.0 Back: 5.859
INFO - Atoms: 1939/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 253499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.088 Prop: 82.602 PropClause: 70.968 Set: 55.931 Check: 0.0 Back: 5.903
INFO - Atoms: 1292/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 255474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.09 Prop: 83.011 PropClause: 71.328 Set: 56.234 Check: 0.0 Back: 5.933
INFO - Atoms: 1975/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 257480 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.092 Prop: 83.522 PropClause: 71.788 Set: 56.552 Check: 0.0 Back: 5.979
INFO - Atoms: 2006/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 260547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.097 Prop: 84.29 PropClause: 72.479 Set: 57.102 Check: 0.0 Back: 6.031
INFO - Atoms: 3067/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 262634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.099 Prop: 84.928 PropClause: 73.065 Set: 57.419 Check: 0.0 Back: 6.1
INFO - Atoms: 2087/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 263881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.101 Prop: 85.254 PropClause: 73.361 Set: 57.562 Check: 0.0 Back: 6.148
INFO - Atoms: 1247/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 266948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.103 Prop: 85.938 PropClause: 73.968 Set: 58.102 Check: 0.0 Back: 6.177
INFO - Atoms: 3067/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 270015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.109 Prop: 86.798 PropClause: 74.751 Set: 58.636 Check: 0.0 Back: 6.248
INFO - Atoms: 3067/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 271769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.111 Prop: 87.366 PropClause: 75.276 Set: 58.89 Check: 0.0 Back: 6.319
INFO - Atoms: 1754/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 273445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.112 Prop: 87.756 PropClause: 75.624 Set: 59.127 Check: 0.0 Back: 6.359
INFO - Atoms: 1676/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 275115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.116 Prop: 88.167 PropClause: 75.993 Set: 59.363 Check: 0.0 Back: 6.397
INFO - Atoms: 1670/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 276803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.122 Prop: 88.574 PropClause: 76.358 Set: 61.63 Check: 0.0 Back: 6.435
INFO - Atoms: 1688/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 278612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.125 Prop: 89.025 PropClause: 76.764 Set: 62.131 Check: 0.0 Back: 6.473
INFO - Atoms: 1809/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 280630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.127 Prop: 89.53 PropClause: 77.218 Set: 62.707 Check: 0.0 Back: 6.514
INFO - Atoms: 2018/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 281928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.129 Prop: 89.891 PropClause: 77.547 Set: 62.994 Check: 0.0 Back: 6.561
INFO - Atoms: 1298/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 283243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.131 Prop: 90.16 PropClause: 77.783 Set: 63.289 Check: 0.0 Back: 6.591
INFO - Atoms: 1315/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 284609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.134 Prop: 90.457 PropClause: 78.045 Set: 63.6 Check: 0.0 Back: 6.621
INFO - Atoms: 1366/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 286007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.136 Prop: 90.748 PropClause: 78.302 Set: 63.922 Check: 0.0 Back: 6.652
INFO - Atoms: 1398/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 288159 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.14 Prop: 91.24 PropClause: 78.74 Set: 64.569 Check: 0.0 Back: 6.683
INFO - Atoms: 2152/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 289899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.145 Prop: 91.686 PropClause: 79.143 Set: 65.031 Check: 0.0 Back: 6.732
INFO - Atoms: 1740/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 291275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.146 Prop: 92.036 PropClause: 79.459 Set: 65.341 Check: 0.0 Back: 6.772
INFO - Atoms: 1376/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 293617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.148 Prop: 92.548 PropClause: 79.913 Set: 66.029 Check: 0.0 Back: 6.804
INFO - Atoms: 2342/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 296378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.151 Prop: 93.3 PropClause: 80.594 Set: 66.879 Check: 0.0 Back: 6.857
INFO - Atoms: 2761/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 298579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.154 Prop: 93.928 PropClause: 81.168 Set: 67.524 Check: 0.0 Back: 6.921
INFO - Atoms: 2201/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 300287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.156 Prop: 94.435 PropClause: 81.633 Set: 67.987 Check: 0.0 Back: 6.971
INFO - Atoms: 1708/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 302035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.158 Prop: 94.856 PropClause: 82.009 Set: 68.257 Check: 0.0 Back: 7.01
INFO - Atoms: 1748/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 303791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.161 Prop: 95.268 PropClause: 82.378 Set: 68.504 Check: 0.0 Back: 7.05
INFO - Atoms: 1756/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 305545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.163 Prop: 95.667 PropClause: 82.733 Set: 68.765 Check: 0.0 Back: 7.09
INFO - Atoms: 1754/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 307299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.165 Prop: 96.079 PropClause: 83.102 Set: 69.013 Check: 0.0 Back: 7.13
INFO - Atoms: 1754/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 309122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.167 Prop: 96.511 PropClause: 83.487 Set: 69.284 Check: 0.0 Back: 7.171
INFO - Atoms: 1823/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 311215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.171 Prop: 97.019 PropClause: 83.943 Set: 69.612 Check: 0.0 Back: 7.212
INFO - Atoms: 2093/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 312510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.173 Prop: 97.352 PropClause: 84.243 Set: 69.765 Check: 0.0 Back: 7.26
INFO - Atoms: 1295/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 313876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.175 Prop: 97.638 PropClause: 84.495 Set: 69.933 Check: 0.0 Back: 7.289
INFO - Atoms: 1366/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 316035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.461 Prop: 98.091 PropClause: 84.894 Set: 70.271 Check: 0.0 Back: 7.32
INFO - Atoms: 2159/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 318838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.463 Prop: 98.799 PropClause: 85.531 Set: 70.729 Check: 0.0 Back: 7.37
INFO - Atoms: 2803/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 321905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.468 Prop: 99.608 PropClause: 86.263 Set: 71.252 Check: 0.0 Back: 7.434
INFO - Atoms: 3067/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 324459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.479 Prop: 100.361 PropClause: 86.951 Set: 71.659 Check: 0.0 Back: 7.504
INFO - Atoms: 2554/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 327014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.484 Prop: 101.037 PropClause: 87.563 Set: 72.064 Check: 0.0 Back: 7.563
INFO - Atoms: 2555/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 330080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.487 Prop: 101.878 PropClause: 88.321 Set: 72.562 Check: 0.0 Back: 7.621
INFO - Atoms: 3066/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 332003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.49 Prop: 102.466 PropClause: 88.86 Set: 72.84 Check: 0.0 Back: 7.691
INFO - Atoms: 1923/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 334158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.496 Prop: 103.003 PropClause: 89.343 Set: 73.17 Check: 0.0 Back: 7.735
INFO - Atoms: 2155/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 336418 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.5 Prop: 103.568 PropClause: 89.852 Set: 73.527 Check: 0.0 Back: 7.784
INFO - Atoms: 2260/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 339484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.502 Prop: 104.349 PropClause: 90.555 Set: 74.043 Check: 0.0 Back: 7.835
INFO - Atoms: 3066/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 341216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.504 Prop: 104.93 PropClause: 91.092 Set: 74.281 Check: 0.0 Back: 7.905
INFO - Atoms: 1732/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 342915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.507 Prop: 105.331 PropClause: 91.451 Set: 74.512 Check: 0.0 Back: 7.944
INFO - Atoms: 1699/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 344899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.509 Prop: 105.799 PropClause: 91.869 Set: 74.817 Check: 0.0 Back: 7.983
INFO - Atoms: 1984/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 346956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.511 Prop: 106.32 PropClause: 92.338 Set: 75.13 Check: 0.0 Back: 8.028
INFO - Atoms: 2057/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 348905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.514 Prop: 106.811 PropClause: 92.78 Set: 75.423 Check: 0.0 Back: 8.075
INFO - Atoms: 1949/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 351149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.516 Prop: 107.382 PropClause: 93.295 Set: 75.784 Check: 0.0 Back: 8.121
INFO - Atoms: 2244/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 354216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.521 Prop: 108.14 PropClause: 93.976 Set: 76.302 Check: 0.0 Back: 8.174
INFO - Atoms: 3067/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 355895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.525 Prop: 108.699 PropClause: 94.493 Set: 76.539 Check: 0.0 Back: 8.244
INFO - Atoms: 1679/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 357451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.554 Prop: 109.056 PropClause: 94.811 Set: 76.748 Check: 0.0 Back: 8.283
INFO - Atoms: 1556/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 359264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.556 Prop: 109.48 PropClause: 95.19 Set: 77.017 Check: 0.0 Back: 8.318
INFO - Atoms: 1813/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 361650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.559 Prop: 110.028 PropClause: 95.679 Set: 77.392 Check: 0.0 Back: 8.36
INFO - Atoms: 2386/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 364706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.566 Prop: 110.821 PropClause: 96.395 Set: 77.91 Check: 0.0 Back: 8.414
INFO - Atoms: 3056/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 366376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.568 Prop: 111.352 PropClause: 96.884 Set: 78.141 Check: 0.0 Back: 8.484
INFO - Atoms: 1670/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 367991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.57 Prop: 111.744 PropClause: 97.236 Set: 78.364 Check: 0.0 Back: 8.522
INFO - Atoms: 1615/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 369653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.572 Prop: 112.11 PropClause: 97.559 Set: 78.605 Check: 0.0 Back: 8.559
INFO - Atoms: 1662/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 371918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.579 Prop: 112.652 PropClause: 98.044 Set: 78.99 Check: 0.0 Back: 8.596
INFO - Atoms: 2265/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 374169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.582 Prop: 113.257 PropClause: 98.593 Set: 79.368 Check: 0.0 Back: 8.648
INFO - Atoms: 2251/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 376295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.584 Prop: 113.826 PropClause: 99.109 Set: 79.696 Check: 0.0 Back: 8.699
INFO - Atoms: 2126/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 378570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.588 Prop: 114.415 PropClause: 99.641 Set: 80.06 Check: 0.0 Back: 8.747
INFO - Atoms: 2275/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 380767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.591 Prop: 115.006 PropClause: 100.177 Set: 80.409 Check: 0.0 Back: 8.799
INFO - Atoms: 2197/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 382949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.594 Prop: 115.559 PropClause: 100.676 Set: 80.756 Check: 0.0 Back: 8.849
INFO - Atoms: 2182/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 386016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.599 Prop: 116.351 PropClause: 101.391 Set: 81.293 Check: 0.0 Back: 8.899
INFO - Atoms: 3067/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 387785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.602 Prop: 116.905 PropClause: 101.899 Set: 81.552 Check: 0.0 Back: 8.97
INFO - Atoms: 1769/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 389086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.604 Prop: 117.223 PropClause: 102.185 Set: 81.704 Check: 0.0 Back: 9.01
INFO - Atoms: 1301/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 390894 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.607 Prop: 117.591 PropClause: 102.507 Set: 81.963 Check: 0.0 Back: 9.04
INFO - Atoms: 1808/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 392609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 14.609 Prop: 118.019 PropClause: 102.893 Set: 82.206 Check: 0.0 Back: 9.081
INFO - Atoms: 1715/3325 Clauses: 127 Axioms: 14944
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 262 Props: 5893 Tprops: 2723 Decides: 2835 RSplits: 0
INFO - Times: Expl: 37.583 Prop: 59741.455 PropClause: 2.25 Set: 536.72 Check: 33.904 Back: 7.57
INFO - Atoms: 68/127 Clauses: 262 Axioms: 106
INFO - CCTimes: iE 29567 eq 4975646 cc 14589565 setRep 4630481
INFO - Merges: 10177, cc:10353
INFO - BVTimes: BB 137591665 BB_DPLL 677682395 Graph 14226461
INFO - BitBlastingClauses: 40144 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat