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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 35225697
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.347 Prop: 3.136 PropClause: 2.999 Set: 1.383 Check: 0.0 Back: 0.0
INFO - Atoms: 180/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.367 Prop: 4.135 PropClause: 3.779 Set: 3.484 Check: 0.0 Back: 0.014
INFO - Atoms: 600/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 1429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.416 Prop: 6.251 PropClause: 5.744 Set: 3.977 Check: 0.0 Back: 0.029
INFO - Atoms: 649/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 2102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.466 Prop: 6.625 PropClause: 5.958 Set: 4.294 Check: 0.0 Back: 0.046
INFO - Atoms: 673/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 3074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.483 Prop: 7.098 PropClause: 6.245 Set: 4.767 Check: 0.0 Back: 0.062
INFO - Atoms: 972/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 4045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.504 Prop: 7.625 PropClause: 6.576 Set: 5.255 Check: 0.0 Back: 0.087
INFO - Atoms: 971/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 5013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.541 Prop: 8.27 PropClause: 6.994 Set: 5.789 Check: 0.0 Back: 0.112
INFO - Atoms: 968/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 5982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.57 Prop: 8.945 PropClause: 7.468 Set: 6.345 Check: 0.0 Back: 0.136
INFO - Atoms: 969/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 6964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.597 Prop: 9.387 PropClause: 7.863 Set: 6.823 Check: 0.0 Back: 0.161
INFO - Atoms: 982/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 7934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.626 Prop: 9.836 PropClause: 8.263 Set: 7.358 Check: 0.0 Back: 0.185
INFO - Atoms: 970/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 8915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.655 Prop: 10.341 PropClause: 8.719 Set: 10.061 Check: 0.0 Back: 0.21
INFO - Atoms: 981/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 9733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.682 Prop: 10.702 PropClause: 9.037 Set: 10.556 Check: 0.0 Back: 0.235
INFO - Atoms: 818/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 10287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.713 Prop: 10.959 PropClause: 9.265 Set: 10.874 Check: 0.0 Back: 0.265
INFO - Atoms: 554/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 10919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.744 Prop: 11.192 PropClause: 9.461 Set: 11.297 Check: 0.0 Back: 0.278
INFO - Atoms: 632/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 11566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.767 Prop: 11.441 PropClause: 9.68 Set: 11.642 Check: 0.0 Back: 0.294
INFO - Atoms: 647/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 12204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.076 Prop: 11.712 PropClause: 9.921 Set: 11.992 Check: 0.0 Back: 0.311
INFO - Atoms: 638/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 12842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.1 Prop: 11.968 PropClause: 10.146 Set: 12.362 Check: 0.0 Back: 0.327
INFO - Atoms: 638/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 13624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.125 Prop: 12.304 PropClause: 10.443 Set: 12.821 Check: 0.0 Back: 0.343
INFO - Atoms: 782/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 14565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.151 Prop: 12.745 PropClause: 10.839 Set: 13.38 Check: 0.0 Back: 0.364
INFO - Atoms: 941/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 15837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.181 Prop: 13.395 PropClause: 11.427 Set: 14.142 Check: 0.0 Back: 0.389
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 17067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.203 Prop: 14.046 PropClause: 12.01 Set: 14.879 Check: 0.0 Back: 0.424
INFO - Atoms: 1230/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 18013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.228 Prop: 14.58 PropClause: 12.5 Set: 15.439 Check: 0.0 Back: 0.455
INFO - Atoms: 946/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 19000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.249 Prop: 15.058 PropClause: 12.932 Set: 15.97 Check: 0.0 Back: 0.477
INFO - Atoms: 987/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 19956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.271 Prop: 15.538 PropClause: 13.368 Set: 16.501 Check: 0.0 Back: 0.503
INFO - Atoms: 956/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 20877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.291 Prop: 16.009 PropClause: 13.795 Set: 17.048 Check: 0.0 Back: 0.529
INFO - Atoms: 921/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 21784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.315 Prop: 17.912 PropClause: 14.186 Set: 17.572 Check: 0.0 Back: 0.553
INFO - Atoms: 907/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 22687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.332 Prop: 18.338 PropClause: 14.556 Set: 18.078 Check: 0.0 Back: 0.577
INFO - Atoms: 903/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 23635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.353 Prop: 18.823 PropClause: 14.979 Set: 18.587 Check: 0.0 Back: 0.601
INFO - Atoms: 948/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 24494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.369 Prop: 19.245 PropClause: 15.357 Set: 19.005 Check: 0.0 Back: 0.626
INFO - Atoms: 859/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 25477 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.384 Prop: 19.687 PropClause: 15.748 Set: 19.488 Check: 0.0 Back: 0.648
INFO - Atoms: 983/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 26532 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.404 Prop: 20.2 PropClause: 16.209 Set: 19.994 Check: 0.0 Back: 0.675
INFO - Atoms: 1055/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 27593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.422 Prop: 20.725 PropClause: 16.679 Set: 20.53 Check: 0.0 Back: 0.703
INFO - Atoms: 1061/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 28553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.446 Prop: 21.229 PropClause: 17.133 Set: 21.054 Check: 0.0 Back: 0.732
INFO - Atoms: 960/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 29456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.47 Prop: 21.705 PropClause: 17.563 Set: 21.533 Check: 0.0 Back: 0.756
INFO - Atoms: 903/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 30541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.485 Prop: 22.215 PropClause: 18.018 Set: 22.101 Check: 0.0 Back: 0.78
INFO - Atoms: 1085/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 31649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.502 Prop: 22.804 PropClause: 18.545 Set: 22.686 Check: 0.0 Back: 0.808
INFO - Atoms: 1108/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 32763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.519 Prop: 23.386 PropClause: 19.07 Set: 23.269 Check: 0.0 Back: 0.837
INFO - Atoms: 1114/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 33922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.55 Prop: 25.147 PropClause: 20.774 Set: 23.865 Check: 0.0 Back: 0.867
INFO - Atoms: 1159/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 35077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.574 Prop: 25.642 PropClause: 21.21 Set: 24.612 Check: 0.0 Back: 0.897
INFO - Atoms: 1155/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 36245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.59 Prop: 26.1 PropClause: 21.61 Set: 25.2 Check: 0.0 Back: 0.926
INFO - Atoms: 1168/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 37438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.609 Prop: 26.593 PropClause: 22.044 Set: 25.815 Check: 0.0 Back: 0.957
INFO - Atoms: 1193/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 38674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.625 Prop: 27.088 PropClause: 22.479 Set: 26.438 Check: 0.0 Back: 0.989
INFO - Atoms: 1236/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 39946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.64 Prop: 27.617 PropClause: 22.944 Set: 27.109 Check: 0.0 Back: 1.021
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 41217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.661 Prop: 28.13 PropClause: 23.395 Set: 27.772 Check: 0.0 Back: 1.055
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 41997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.004 Prop: 28.497 PropClause: 23.725 Set: 27.962 Check: 0.0 Back: 1.088
INFO - Atoms: 780/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 42836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.031 Prop: 28.789 PropClause: 23.978 Set: 28.14 Check: 0.0 Back: 1.108
INFO - Atoms: 839/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 43620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.06 Prop: 29.102 PropClause: 24.251 Set: 28.317 Check: 0.0 Back: 1.13
INFO - Atoms: 784/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 44316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.092 Prop: 29.445 PropClause: 24.482 Set: 28.471 Check: 0.0 Back: 1.148
INFO - Atoms: 696/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 45538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.113 Prop: 29.893 PropClause: 24.857 Set: 28.753 Check: 0.0 Back: 1.166
INFO - Atoms: 1222/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 46810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.14 Prop: 30.45 PropClause: 25.352 Set: 29.06 Check: 0.0 Back: 1.199
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 48081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.247 Prop: 30.987 PropClause: 25.825 Set: 29.355 Check: 0.0 Back: 1.232
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 49350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.255 Prop: 31.518 PropClause: 26.294 Set: 29.638 Check: 0.0 Back: 1.265
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 50622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.262 Prop: 32.034 PropClause: 26.75 Set: 29.934 Check: 0.0 Back: 1.3
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 51443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.268 Prop: 32.405 PropClause: 27.08 Set: 30.108 Check: 0.0 Back: 1.332
INFO - Atoms: 821/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 52397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.272 Prop: 32.751 PropClause: 27.382 Set: 30.309 Check: 0.0 Back: 1.355
INFO - Atoms: 954/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 53669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.276 Prop: 33.215 PropClause: 27.784 Set: 30.599 Check: 0.0 Back: 1.382
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 54940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.283 Prop: 33.739 PropClause: 28.247 Set: 30.907 Check: 0.0 Back: 1.418
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 56209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.3 Prop: 34.258 PropClause: 28.698 Set: 31.2 Check: 0.0 Back: 1.45
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 57481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.306 Prop: 34.795 PropClause: 29.172 Set: 31.513 Check: 0.0 Back: 1.484
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 58300 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.311 Prop: 35.158 PropClause: 29.497 Set: 31.689 Check: 0.0 Back: 1.517
INFO - Atoms: 819/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 59194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.316 Prop: 35.484 PropClause: 29.781 Set: 31.88 Check: 0.0 Back: 1.539
INFO - Atoms: 894/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 60158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.322 Prop: 35.845 PropClause: 30.095 Set: 32.092 Check: 0.0 Back: 1.562
INFO - Atoms: 964/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 61430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.326 Prop: 36.343 PropClause: 30.533 Set: 32.404 Check: 0.0 Back: 1.588
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 62700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.332 Prop: 36.858 PropClause: 30.988 Set: 32.705 Check: 0.0 Back: 1.622
INFO - Atoms: 1270/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 63969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.338 Prop: 37.375 PropClause: 31.44 Set: 33.001 Check: 0.0 Back: 1.656
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 65241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.344 Prop: 37.87 PropClause: 31.875 Set: 33.291 Check: 0.0 Back: 1.69
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 66513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.352 Prop: 38.404 PropClause: 32.348 Set: 33.59 Check: 0.0 Back: 1.724
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 67784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.357 Prop: 38.938 PropClause: 32.821 Set: 33.879 Check: 0.0 Back: 1.758
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 69053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.365 Prop: 39.465 PropClause: 33.291 Set: 34.154 Check: 0.0 Back: 1.792
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 70325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.382 Prop: 40.034 PropClause: 33.794 Set: 34.466 Check: 0.0 Back: 1.827
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 71597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.387 Prop: 40.555 PropClause: 34.244 Set: 34.768 Check: 0.0 Back: 1.859
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 72868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.393 Prop: 41.066 PropClause: 34.694 Set: 35.061 Check: 0.0 Back: 1.893
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 73637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.397 Prop: 41.404 PropClause: 34.994 Set: 35.221 Check: 0.0 Back: 1.926
INFO - Atoms: 769/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 74529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.401 Prop: 41.703 PropClause: 35.251 Set: 35.418 Check: 0.0 Back: 1.945
INFO - Atoms: 892/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 75488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.406 Prop: 42.03 PropClause: 35.53 Set: 35.622 Check: 0.0 Back: 1.968
INFO - Atoms: 959/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 76757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.41 Prop: 42.464 PropClause: 35.907 Set: 35.908 Check: 0.0 Back: 1.993
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 78029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.415 Prop: 42.935 PropClause: 36.317 Set: 36.195 Check: 0.0 Back: 2.025
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 79301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.431 Prop: 43.433 PropClause: 36.751 Set: 36.487 Check: 0.0 Back: 2.058
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 80571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.445 Prop: 43.918 PropClause: 37.176 Set: 36.788 Check: 0.0 Back: 2.091
INFO - Atoms: 1270/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 81346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.45 Prop: 44.258 PropClause: 37.479 Set: 36.966 Check: 0.0 Back: 2.124
INFO - Atoms: 775/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 82179 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.454 Prop: 44.531 PropClause: 37.713 Set: 37.146 Check: 0.0 Back: 2.144
INFO - Atoms: 833/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 83103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.459 Prop: 44.849 PropClause: 37.986 Set: 37.342 Check: 0.0 Back: 2.165
INFO - Atoms: 924/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 84073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.463 Prop: 45.18 PropClause: 38.272 Set: 37.548 Check: 0.0 Back: 2.189
INFO - Atoms: 970/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 85342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.466 Prop: 45.625 PropClause: 38.657 Set: 37.838 Check: 0.0 Back: 2.214
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 86614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.47 Prop: 46.103 PropClause: 39.076 Set: 38.123 Check: 0.0 Back: 2.246
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 87886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.474 Prop: 46.58 PropClause: 39.493 Set: 38.4 Check: 0.0 Back: 2.279
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 89157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.48 Prop: 47.057 PropClause: 39.91 Set: 38.69 Check: 0.0 Back: 2.311
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 89999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.484 Prop: 47.406 PropClause: 40.221 Set: 38.869 Check: 0.0 Back: 2.358
INFO - Atoms: 842/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 90947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.488 Prop: 47.725 PropClause: 40.494 Set: 39.079 Check: 0.0 Back: 2.38
INFO - Atoms: 948/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 92216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.491 Prop: 48.162 PropClause: 40.872 Set: 39.373 Check: 0.0 Back: 2.405
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 93488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.541 Prop: 48.624 PropClause: 41.274 Set: 39.672 Check: 0.0 Back: 2.438
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 94760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.544 Prop: 49.106 PropClause: 41.697 Set: 39.961 Check: 0.0 Back: 2.471
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 96031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.549 Prop: 49.596 PropClause: 42.123 Set: 40.271 Check: 0.0 Back: 2.504
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 97300 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.555 Prop: 50.07 PropClause: 42.536 Set: 40.564 Check: 0.0 Back: 2.537
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 98572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.561 Prop: 50.558 PropClause: 42.964 Set: 40.848 Check: 0.0 Back: 2.57
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 99844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.565 Prop: 51.048 PropClause: 43.393 Set: 41.135 Check: 0.0 Back: 2.604
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 101115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.573 Prop: 51.524 PropClause: 43.808 Set: 41.429 Check: 0.0 Back: 2.637
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 102384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.58 Prop: 52.054 PropClause: 44.277 Set: 41.735 Check: 0.0 Back: 2.669
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 103656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.584 Prop: 52.534 PropClause: 44.695 Set: 42.027 Check: 0.0 Back: 2.703
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 104928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.588 Prop: 53.014 PropClause: 45.116 Set: 42.305 Check: 0.0 Back: 2.736
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 106199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.598 Prop: 53.569 PropClause: 45.607 Set: 42.591 Check: 0.0 Back: 2.768
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 107010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.603 Prop: 53.923 PropClause: 45.921 Set: 42.765 Check: 0.0 Back: 2.8
INFO - Atoms: 811/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 107890 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.608 Prop: 54.22 PropClause: 46.176 Set: 42.949 Check: 0.0 Back: 2.82
INFO - Atoms: 880/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 108849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.613 Prop: 54.568 PropClause: 46.478 Set: 43.175 Check: 0.0 Back: 2.843
INFO - Atoms: 959/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 110118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.617 Prop: 55.03 PropClause: 46.879 Set: 43.474 Check: 0.0 Back: 2.866
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 111390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.623 Prop: 55.539 PropClause: 47.322 Set: 43.777 Check: 0.0 Back: 2.899
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 112662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.627 Prop: 56.033 PropClause: 47.749 Set: 44.067 Check: 0.0 Back: 2.931
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 113932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.632 Prop: 56.525 PropClause: 48.172 Set: 44.365 Check: 0.0 Back: 2.964
INFO - Atoms: 1270/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 115201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.636 Prop: 57.007 PropClause: 48.595 Set: 44.649 Check: 0.0 Back: 2.996
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 116473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.64 Prop: 57.476 PropClause: 49.004 Set: 44.936 Check: 0.0 Back: 3.03
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 117745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.643 Prop: 57.973 PropClause: 49.439 Set: 45.228 Check: 0.0 Back: 3.063
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 119015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.647 Prop: 58.455 PropClause: 49.861 Set: 45.511 Check: 0.0 Back: 3.096
INFO - Atoms: 1270/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 119773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.651 Prop: 58.785 PropClause: 50.156 Set: 45.663 Check: 0.0 Back: 3.128
INFO - Atoms: 758/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 120639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.655 Prop: 59.071 PropClause: 50.4 Set: 45.853 Check: 0.0 Back: 3.147
INFO - Atoms: 866/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 121582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.658 Prop: 59.394 PropClause: 50.678 Set: 46.051 Check: 0.0 Back: 3.17
INFO - Atoms: 943/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 122851 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.661 Prop: 59.837 PropClause: 51.061 Set: 46.33 Check: 0.0 Back: 3.196
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 124123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.664 Prop: 60.313 PropClause: 51.475 Set: 46.607 Check: 0.0 Back: 3.23
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 125395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.668 Prop: 60.799 PropClause: 51.899 Set: 46.892 Check: 0.0 Back: 3.263
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 126666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.676 Prop: 61.328 PropClause: 52.37 Set: 47.172 Check: 0.0 Back: 3.297
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 127935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.682 Prop: 61.85 PropClause: 52.827 Set: 47.494 Check: 0.0 Back: 3.329
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 129207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.804 Prop: 62.423 PropClause: 53.337 Set: 47.793 Check: 0.0 Back: 3.362
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 130479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.81 Prop: 62.913 PropClause: 53.771 Set: 48.073 Check: 0.0 Back: 3.395
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 131750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.815 Prop: 63.391 PropClause: 54.188 Set: 48.363 Check: 0.0 Back: 3.428
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 133019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.82 Prop: 63.884 PropClause: 54.622 Set: 48.645 Check: 0.0 Back: 3.46
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 134291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.825 Prop: 64.379 PropClause: 55.058 Set: 48.948 Check: 0.0 Back: 3.494
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 135563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.832 Prop: 64.862 PropClause: 55.479 Set: 49.239 Check: 0.0 Back: 3.525
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 136834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.837 Prop: 65.33 PropClause: 55.89 Set: 49.523 Check: 0.0 Back: 3.557
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 138103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.148 Prop: 65.832 PropClause: 56.332 Set: 49.823 Check: 0.0 Back: 3.591
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 139375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.156 Prop: 66.324 PropClause: 56.763 Set: 50.216 Check: 0.0 Back: 3.624
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 140647 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.163 Prop: 66.866 PropClause: 57.246 Set: 50.623 Check: 0.0 Back: 3.656
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 141918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.169 Prop: 67.375 PropClause: 57.692 Set: 51.019 Check: 0.0 Back: 3.689
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 143187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.177 Prop: 67.898 PropClause: 58.152 Set: 51.337 Check: 0.0 Back: 3.722
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 144459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.186 Prop: 68.41 PropClause: 58.603 Set: 51.737 Check: 0.0 Back: 3.754
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 145134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.197 Prop: 68.748 PropClause: 58.907 Set: 51.948 Check: 0.0 Back: 3.785
INFO - Atoms: 675/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 146055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.202 Prop: 69.056 PropClause: 59.172 Set: 52.219 Check: 0.0 Back: 3.803
INFO - Atoms: 921/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 147327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.21 Prop: 69.526 PropClause: 59.579 Set: 52.625 Check: 0.0 Back: 3.827
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 148598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.217 Prop: 70.022 PropClause: 60.016 Set: 52.995 Check: 0.0 Back: 3.859
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 149867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.225 Prop: 70.542 PropClause: 60.472 Set: 53.396 Check: 0.0 Back: 3.891
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 151139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.231 Prop: 71.052 PropClause: 60.916 Set: 53.794 Check: 0.0 Back: 3.924
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 151853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.238 Prop: 71.379 PropClause: 61.209 Set: 53.991 Check: 0.0 Back: 3.956
INFO - Atoms: 714/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 152642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.243 Prop: 71.637 PropClause: 61.43 Set: 54.217 Check: 0.0 Back: 3.975
INFO - Atoms: 789/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 153602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.249 Prop: 71.968 PropClause: 61.712 Set: 54.5 Check: 0.0 Back: 3.995
INFO - Atoms: 960/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 154874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.266 Prop: 72.459 PropClause: 62.139 Set: 54.905 Check: 0.0 Back: 4.019
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 156145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.284 Prop: 72.942 PropClause: 62.56 Set: 55.305 Check: 0.0 Back: 4.052
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 157414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.29 Prop: 73.479 PropClause: 63.026 Set: 55.718 Check: 0.0 Back: 4.084
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 158686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.297 Prop: 73.981 PropClause: 63.456 Set: 56.118 Check: 0.0 Back: 4.117
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 159958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.305 Prop: 74.533 PropClause: 63.93 Set: 56.529 Check: 0.0 Back: 4.151
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 161229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.311 Prop: 75.031 PropClause: 64.356 Set: 56.93 Check: 0.0 Back: 4.183
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 162498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.328 Prop: 75.545 PropClause: 64.799 Set: 57.319 Check: 0.0 Back: 4.215
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 163770 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.335 Prop: 76.049 PropClause: 65.23 Set: 57.729 Check: 0.0 Back: 4.247
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 165042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.342 Prop: 76.556 PropClause: 65.664 Set: 58.152 Check: 0.0 Back: 4.28
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 166313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.351 Prop: 77.077 PropClause: 66.112 Set: 58.564 Check: 0.0 Back: 4.313
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 167582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.357 Prop: 77.562 PropClause: 66.523 Set: 58.971 Check: 0.0 Back: 4.347
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 168854 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.364 Prop: 78.085 PropClause: 66.976 Set: 59.371 Check: 0.0 Back: 4.379
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 169549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.368 Prop: 78.407 PropClause: 67.257 Set: 59.573 Check: 0.0 Back: 4.411
INFO - Atoms: 695/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 170372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.376 Prop: 78.664 PropClause: 67.468 Set: 59.745 Check: 0.0 Back: 4.437
INFO - Atoms: 823/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 171325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.38 Prop: 78.985 PropClause: 67.737 Set: 59.956 Check: 0.0 Back: 4.458
INFO - Atoms: 953/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 172597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.383 Prop: 79.427 PropClause: 68.11 Set: 60.252 Check: 0.0 Back: 4.483
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 173868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.387 Prop: 79.902 PropClause: 68.514 Set: 60.526 Check: 0.0 Back: 4.518
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 175137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.39 Prop: 80.398 PropClause: 68.935 Set: 60.813 Check: 0.0 Back: 4.551
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 176409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.395 Prop: 80.871 PropClause: 69.336 Set: 61.107 Check: 0.0 Back: 4.584
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 177138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.399 Prop: 81.185 PropClause: 69.609 Set: 61.251 Check: 0.0 Back: 4.617
INFO - Atoms: 729/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 177929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.403 Prop: 81.437 PropClause: 69.818 Set: 61.421 Check: 0.0 Back: 4.636
INFO - Atoms: 791/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 178796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.406 Prop: 81.763 PropClause: 70.054 Set: 61.61 Check: 0.0 Back: 4.656
INFO - Atoms: 867/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 179756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.41 Prop: 82.092 PropClause: 70.332 Set: 61.824 Check: 0.0 Back: 4.678
INFO - Atoms: 960/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 181028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.413 Prop: 82.526 PropClause: 70.698 Set: 62.127 Check: 0.0 Back: 4.704
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 182299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.417 Prop: 82.991 PropClause: 71.092 Set: 62.422 Check: 0.0 Back: 4.737
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 183568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.421 Prop: 83.476 PropClause: 71.505 Set: 62.706 Check: 0.0 Back: 4.77
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 184840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.426 Prop: 83.96 PropClause: 71.91 Set: 63.0 Check: 0.0 Back: 4.804
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 186112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.429 Prop: 84.444 PropClause: 72.324 Set: 63.283 Check: 0.0 Back: 4.837
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 187383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.436 Prop: 84.932 PropClause: 72.743 Set: 63.578 Check: 0.0 Back: 4.872
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 188652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.441 Prop: 85.413 PropClause: 73.155 Set: 63.874 Check: 0.0 Back: 4.904
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 189924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.447 Prop: 85.882 PropClause: 73.574 Set: 64.184 Check: 0.0 Back: 4.936
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 191196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.451 Prop: 86.351 PropClause: 73.99 Set: 64.475 Check: 0.0 Back: 4.968
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 192467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.456 Prop: 86.793 PropClause: 74.383 Set: 64.764 Check: 0.0 Back: 5.001
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 193240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.461 Prop: 87.11 PropClause: 74.669 Set: 64.919 Check: 0.0 Back: 5.034
INFO - Atoms: 773/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 194124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.464 Prop: 87.382 PropClause: 74.907 Set: 65.105 Check: 0.0 Back: 5.055
INFO - Atoms: 884/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 195092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.468 Prop: 87.694 PropClause: 75.182 Set: 65.323 Check: 0.0 Back: 5.077
INFO - Atoms: 968/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 196361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.471 Prop: 88.103 PropClause: 75.541 Set: 65.606 Check: 0.0 Back: 5.102
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 197633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.477 Prop: 88.556 PropClause: 75.944 Set: 65.896 Check: 0.0 Back: 5.135
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 198905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.481 Prop: 89.023 PropClause: 76.355 Set: 66.191 Check: 0.0 Back: 5.169
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 200176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.486 Prop: 89.474 PropClause: 76.757 Set: 66.472 Check: 0.0 Back: 5.2
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 201445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.49 Prop: 89.922 PropClause: 77.157 Set: 66.747 Check: 0.0 Back: 5.233
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 202717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.495 Prop: 90.652 PropClause: 77.836 Set: 67.044 Check: 0.0 Back: 5.265
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 203989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.502 Prop: 91.355 PropClause: 78.49 Set: 67.333 Check: 0.0 Back: 5.298
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 205260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.664 Prop: 91.844 PropClause: 78.929 Set: 67.628 Check: 0.0 Back: 5.332
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 206529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.669 Prop: 92.289 PropClause: 79.33 Set: 67.892 Check: 0.0 Back: 5.362
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 207801 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.687 Prop: 92.718 PropClause: 79.695 Set: 68.183 Check: 0.0 Back: 5.391
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 209073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.693 Prop: 93.179 PropClause: 80.105 Set: 68.488 Check: 0.0 Back: 5.424
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 210344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.699 Prop: 93.622 PropClause: 80.5 Set: 68.774 Check: 0.0 Back: 5.457
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 211613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.704 Prop: 94.077 PropClause: 80.906 Set: 69.051 Check: 0.0 Back: 5.49
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 212885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.709 Prop: 94.505 PropClause: 81.287 Set: 69.329 Check: 0.0 Back: 5.523
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 214157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.714 Prop: 94.95 PropClause: 81.683 Set: 69.621 Check: 0.0 Back: 5.556
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 215428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.719 Prop: 95.59 PropClause: 82.09 Set: 69.911 Check: 0.0 Back: 5.59
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 216697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.723 Prop: 96.048 PropClause: 82.498 Set: 70.195 Check: 0.0 Back: 5.623
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 217969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.728 Prop: 96.496 PropClause: 82.895 Set: 70.481 Check: 0.0 Back: 5.656
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 219241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.732 Prop: 96.943 PropClause: 83.293 Set: 70.759 Check: 0.0 Back: 5.689
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 220512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.738 Prop: 97.401 PropClause: 83.701 Set: 71.061 Check: 0.0 Back: 5.723
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 221781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.742 Prop: 97.843 PropClause: 84.093 Set: 71.342 Check: 0.0 Back: 5.756
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 223053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.749 Prop: 98.381 PropClause: 84.493 Set: 71.633 Check: 0.0 Back: 5.789
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 224325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.753 Prop: 98.841 PropClause: 84.904 Set: 71.929 Check: 0.0 Back: 5.822
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 225596 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.759 Prop: 99.293 PropClause: 85.303 Set: 72.214 Check: 0.0 Back: 5.856
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 226865 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.763 Prop: 99.746 PropClause: 85.701 Set: 72.495 Check: 0.0 Back: 5.889
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 228137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.768 Prop: 100.207 PropClause: 86.116 Set: 72.807 Check: 0.0 Back: 5.923
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 229409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.773 Prop: 100.65 PropClause: 86.514 Set: 73.079 Check: 0.0 Back: 5.955
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 230679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.777 Prop: 101.081 PropClause: 86.901 Set: 73.352 Check: 0.0 Back: 5.988
INFO - Atoms: 1270/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 231948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.781 Prop: 101.522 PropClause: 87.297 Set: 73.625 Check: 0.0 Back: 6.02
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 233220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.786 Prop: 101.969 PropClause: 87.697 Set: 73.912 Check: 0.0 Back: 6.052
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 234492 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.791 Prop: 102.431 PropClause: 88.115 Set: 74.218 Check: 0.0 Back: 6.083
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 235763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.796 Prop: 102.864 PropClause: 88.502 Set: 74.506 Check: 0.0 Back: 6.115
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 236722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.802 Prop: 103.226 PropClause: 88.83 Set: 74.712 Check: 0.0 Back: 6.146
INFO - Atoms: 959/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 237797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.808 Prop: 103.563 PropClause: 89.129 Set: 74.941 Check: 0.0 Back: 6.17
INFO - Atoms: 1075/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 239028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.847 Prop: 103.97 PropClause: 89.492 Set: 78.883 Check: 0.0 Back: 6.197
INFO - Atoms: 1231/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 240299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.854 Prop: 104.431 PropClause: 89.908 Set: 79.161 Check: 0.0 Back: 6.228
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 241571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.862 Prop: 104.89 PropClause: 90.322 Set: 79.442 Check: 0.0 Back: 6.26
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 242843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.871 Prop: 105.386 PropClause: 90.771 Set: 79.737 Check: 0.0 Back: 6.292
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 244115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.878 Prop: 105.844 PropClause: 91.185 Set: 80.024 Check: 0.0 Back: 6.324
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 245385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.884 Prop: 106.315 PropClause: 91.611 Set: 80.307 Check: 0.0 Back: 6.358
INFO - Atoms: 1270/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 246657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.891 Prop: 106.781 PropClause: 92.033 Set: 80.584 Check: 0.0 Back: 6.39
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 247929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.91 Prop: 107.163 PropClause: 92.378 Set: 80.778 Check: 0.0 Back: 6.421
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 248968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.915 Prop: 107.581 PropClause: 92.761 Set: 81.023 Check: 0.0 Back: 6.45
INFO - Atoms: 1039/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 250137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.919 Prop: 107.981 PropClause: 93.119 Set: 81.275 Check: 0.0 Back: 6.476
INFO - Atoms: 1169/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 251354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.932 Prop: 108.398 PropClause: 93.493 Set: 81.539 Check: 0.0 Back: 6.505
INFO - Atoms: 1217/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 252626 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.936 Prop: 108.865 PropClause: 93.914 Set: 81.829 Check: 0.0 Back: 6.536
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 253898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.956 Prop: 109.327 PropClause: 94.33 Set: 82.114 Check: 0.0 Back: 6.569
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 255170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.959 Prop: 109.689 PropClause: 94.656 Set: 82.307 Check: 0.0 Back: 6.602
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 256442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.962 Prop: 110.049 PropClause: 94.981 Set: 82.502 Check: 0.0 Back: 6.631
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 257714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.978 Prop: 110.469 PropClause: 95.362 Set: 82.72 Check: 0.0 Back: 6.659
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 258986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.991 Prop: 110.918 PropClause: 95.766 Set: 83.001 Check: 0.0 Back: 6.691
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 260258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.999 Prop: 111.382 PropClause: 96.187 Set: 83.28 Check: 0.0 Back: 6.723
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 261530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.003 Prop: 111.746 PropClause: 96.515 Set: 83.479 Check: 0.0 Back: 6.754
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 262802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.031 Prop: 112.201 PropClause: 96.929 Set: 83.73 Check: 0.0 Back: 6.783
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 264074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.036 Prop: 112.601 PropClause: 97.293 Set: 83.926 Check: 0.0 Back: 6.814
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 265346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.04 Prop: 113.0 PropClause: 97.655 Set: 84.124 Check: 0.0 Back: 6.842
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 266618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.043 Prop: 113.363 PropClause: 97.982 Set: 84.319 Check: 0.0 Back: 6.871
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 267890 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.048 Prop: 113.737 PropClause: 98.32 Set: 84.511 Check: 0.0 Back: 6.899
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 269162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.051 Prop: 114.109 PropClause: 98.656 Set: 84.706 Check: 0.0 Back: 6.928
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 270434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.054 Prop: 114.474 PropClause: 98.985 Set: 84.899 Check: 0.0 Back: 6.956
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 271706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.059 Prop: 114.924 PropClause: 99.391 Set: 85.168 Check: 0.0 Back: 6.985
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 272978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.064 Prop: 115.302 PropClause: 99.733 Set: 85.362 Check: 0.0 Back: 7.016
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 274250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.067 Prop: 115.674 PropClause: 100.069 Set: 85.559 Check: 0.0 Back: 7.044
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 275522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.071 Prop: 116.043 PropClause: 100.402 Set: 85.769 Check: 0.0 Back: 7.073
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 276794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.076 Prop: 116.504 PropClause: 100.819 Set: 86.092 Check: 0.0 Back: 7.102
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 278066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.082 Prop: 116.989 PropClause: 101.258 Set: 86.397 Check: 0.0 Back: 7.133
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 279338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.087 Prop: 117.454 PropClause: 101.679 Set: 86.685 Check: 0.0 Back: 7.166
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 280610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.094 Prop: 117.926 PropClause: 102.106 Set: 86.979 Check: 0.0 Back: 7.199
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 281882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.098 Prop: 118.379 PropClause: 102.514 Set: 87.254 Check: 0.0 Back: 7.23
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 282554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.102 Prop: 118.665 PropClause: 102.777 Set: 87.376 Check: 0.0 Back: 7.263
INFO - Atoms: 672/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 283285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.105 Prop: 118.877 PropClause: 102.963 Set: 87.522 Check: 0.0 Back: 7.28
INFO - Atoms: 731/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 284089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.11 Prop: 119.123 PropClause: 103.181 Set: 87.682 Check: 0.0 Back: 7.298
INFO - Atoms: 804/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 285361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.115 Prop: 119.523 PropClause: 103.536 Set: 87.959 Check: 0.0 Back: 7.318
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 286633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.121 Prop: 119.981 PropClause: 103.949 Set: 88.23 Check: 0.0 Back: 7.35
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 287905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.127 Prop: 120.43 PropClause: 104.355 Set: 88.51 Check: 0.0 Back: 7.382
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 289177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.132 Prop: 120.903 PropClause: 104.783 Set: 88.799 Check: 0.0 Back: 7.415
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 290225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.138 Prop: 121.367 PropClause: 105.209 Set: 89.028 Check: 0.0 Back: 7.447
INFO - Atoms: 1048/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 291351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.142 Prop: 121.735 PropClause: 105.538 Set: 89.271 Check: 0.0 Back: 7.474
INFO - Atoms: 1126/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 292543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.147 Prop: 122.138 PropClause: 105.898 Set: 89.523 Check: 0.0 Back: 7.501
INFO - Atoms: 1192/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 293780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.151 Prop: 122.555 PropClause: 106.272 Set: 89.791 Check: 0.0 Back: 7.531
INFO - Atoms: 1237/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 295051 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.154 Prop: 122.997 PropClause: 106.67 Set: 90.079 Check: 0.0 Back: 7.562
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 296323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.159 Prop: 123.435 PropClause: 107.062 Set: 90.349 Check: 0.0 Back: 7.593
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 297595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.162 Prop: 123.877 PropClause: 107.46 Set: 90.633 Check: 0.0 Back: 7.626
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 298867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.166 Prop: 124.311 PropClause: 107.851 Set: 90.907 Check: 0.0 Back: 7.658
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 300138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.171 Prop: 124.761 PropClause: 108.256 Set: 91.193 Check: 0.0 Back: 7.691
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 301410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.176 Prop: 125.209 PropClause: 108.66 Set: 91.468 Check: 0.0 Back: 7.723
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 302682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.181 Prop: 125.654 PropClause: 109.059 Set: 91.74 Check: 0.0 Back: 7.755
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 303954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.185 Prop: 126.109 PropClause: 109.469 Set: 92.126 Check: 0.0 Back: 7.787
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 305225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.192 Prop: 126.577 PropClause: 109.892 Set: 92.526 Check: 0.0 Back: 7.819
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 306497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.197 Prop: 127.047 PropClause: 110.315 Set: 92.926 Check: 0.0 Back: 7.851
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 307769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.202 Prop: 127.507 PropClause: 110.731 Set: 93.301 Check: 0.0 Back: 7.882
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 309041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.207 Prop: 127.956 PropClause: 111.133 Set: 93.577 Check: 0.0 Back: 7.914
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 310312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.215 Prop: 128.443 PropClause: 111.574 Set: 93.974 Check: 0.0 Back: 7.946
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 311584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.223 Prop: 128.915 PropClause: 112.001 Set: 94.381 Check: 0.0 Back: 7.978
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 312856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.229 Prop: 129.375 PropClause: 112.415 Set: 94.772 Check: 0.0 Back: 8.01
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 314128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.234 Prop: 129.838 PropClause: 112.832 Set: 95.169 Check: 0.0 Back: 8.042
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 315399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.242 Prop: 130.325 PropClause: 113.273 Set: 95.557 Check: 0.0 Back: 8.075
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 316671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.249 Prop: 130.811 PropClause: 113.712 Set: 95.963 Check: 0.0 Back: 8.107
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 317943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.254 Prop: 131.285 PropClause: 114.141 Set: 96.361 Check: 0.0 Back: 8.139
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 319215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.26 Prop: 131.751 PropClause: 114.559 Set: 96.763 Check: 0.0 Back: 8.169
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 320486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.265 Prop: 132.157 PropClause: 114.93 Set: 97.073 Check: 0.0 Back: 8.201
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 321758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.268 Prop: 132.554 PropClause: 115.291 Set: 97.38 Check: 0.0 Back: 8.23
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 323030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.273 Prop: 133.022 PropClause: 115.713 Set: 97.783 Check: 0.0 Back: 8.259
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 324302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.277 Prop: 133.397 PropClause: 116.052 Set: 98.077 Check: 0.0 Back: 8.289
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 325573 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.306 Prop: 133.783 PropClause: 116.402 Set: 98.383 Check: 0.0 Back: 8.318
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 326845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.312 Prop: 134.251 PropClause: 116.825 Set: 98.78 Check: 0.0 Back: 8.349
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 328117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.319 Prop: 134.73 PropClause: 117.258 Set: 99.188 Check: 0.0 Back: 8.383
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 329386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.324 Prop: 135.199 PropClause: 117.682 Set: 99.567 Check: 0.0 Back: 8.415
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 330657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.33 Prop: 135.689 PropClause: 118.124 Set: 99.976 Check: 0.0 Back: 8.446
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 331929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.336 Prop: 136.168 PropClause: 118.558 Set: 100.351 Check: 0.0 Back: 8.478
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 333201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.341 Prop: 136.635 PropClause: 118.98 Set: 100.745 Check: 0.0 Back: 8.51
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 334473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.346 Prop: 137.104 PropClause: 119.404 Set: 101.133 Check: 0.0 Back: 8.542
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 335744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.352 Prop: 137.53 PropClause: 119.791 Set: 101.46 Check: 0.0 Back: 8.574
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 337016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.357 Prop: 137.989 PropClause: 120.204 Set: 101.856 Check: 0.0 Back: 8.603
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 338288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.363 Prop: 138.371 PropClause: 120.55 Set: 102.162 Check: 0.0 Back: 8.634
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 339560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.365 Prop: 138.754 PropClause: 120.898 Set: 102.461 Check: 0.0 Back: 8.662
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 340831 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.382 Prop: 139.247 PropClause: 121.345 Set: 102.847 Check: 0.0 Back: 8.691
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 342103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.387 Prop: 139.725 PropClause: 121.777 Set: 103.25 Check: 0.0 Back: 8.725
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 343375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.411 Prop: 140.133 PropClause: 122.149 Set: 103.55 Check: 0.0 Back: 8.754
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 344647 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.415 Prop: 140.51 PropClause: 122.49 Set: 103.851 Check: 0.0 Back: 8.783
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 345918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.419 Prop: 140.895 PropClause: 122.838 Set: 104.155 Check: 0.0 Back: 8.811
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 347190 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.424 Prop: 141.286 PropClause: 123.194 Set: 104.443 Check: 0.0 Back: 8.843
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 348462 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.43 Prop: 141.761 PropClause: 123.622 Set: 104.83 Check: 0.0 Back: 8.871
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 349734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.436 Prop: 142.246 PropClause: 124.061 Set: 105.226 Check: 0.0 Back: 8.903
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 351005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.443 Prop: 142.704 PropClause: 124.473 Set: 105.614 Check: 0.0 Back: 8.935
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 352277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.449 Prop: 143.175 PropClause: 124.899 Set: 106.013 Check: 0.0 Back: 8.968
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 353549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.454 Prop: 143.651 PropClause: 125.329 Set: 106.412 Check: 0.0 Back: 9.001
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 354821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.459 Prop: 144.11 PropClause: 125.742 Set: 106.801 Check: 0.0 Back: 9.033
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 356092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.466 Prop: 144.576 PropClause: 126.165 Set: 107.182 Check: 0.0 Back: 9.065
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 357364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.47 Prop: 145.026 PropClause: 126.569 Set: 107.573 Check: 0.0 Back: 9.097
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 358636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.476 Prop: 145.485 PropClause: 126.983 Set: 107.979 Check: 0.0 Back: 9.129
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 359908 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.48 Prop: 145.941 PropClause: 127.393 Set: 108.378 Check: 0.0 Back: 9.161
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 361179 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.485 Prop: 146.422 PropClause: 127.828 Set: 108.77 Check: 0.0 Back: 9.194
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 362451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.491 Prop: 146.898 PropClause: 128.258 Set: 109.168 Check: 0.0 Back: 9.227
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 363723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.495 Prop: 147.37 PropClause: 128.684 Set: 109.578 Check: 0.0 Back: 9.259
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 364995 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.5 Prop: 147.842 PropClause: 129.11 Set: 109.975 Check: 0.0 Back: 9.291
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 366266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.505 Prop: 148.324 PropClause: 129.547 Set: 110.364 Check: 0.0 Back: 9.323
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 367538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.51 Prop: 148.809 PropClause: 129.986 Set: 110.754 Check: 0.0 Back: 9.356
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 368810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.514 Prop: 149.289 PropClause: 130.419 Set: 111.158 Check: 0.0 Back: 9.388
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 370082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.517 Prop: 149.757 PropClause: 130.841 Set: 111.558 Check: 0.0 Back: 9.42
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 371353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.526 Prop: 150.272 PropClause: 131.311 Set: 111.94 Check: 0.0 Back: 9.452
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 372625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.532 Prop: 150.732 PropClause: 131.725 Set: 112.333 Check: 0.0 Back: 9.485
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 373897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.542 Prop: 151.276 PropClause: 132.223 Set: 120.21 Check: 0.0 Back: 9.517
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 375169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.551 Prop: 151.727 PropClause: 132.629 Set: 120.495 Check: 0.0 Back: 9.551
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 376373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.558 Prop: 152.204 PropClause: 133.062 Set: 120.764 Check: 0.0 Back: 9.583
INFO - Atoms: 1204/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 377612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.563 Prop: 152.617 PropClause: 133.432 Set: 121.042 Check: 0.0 Back: 9.614
INFO - Atoms: 1239/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 378882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.568 Prop: 153.063 PropClause: 133.832 Set: 121.323 Check: 0.0 Back: 9.646
INFO - Atoms: 1270/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 380154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.572 Prop: 153.494 PropClause: 134.217 Set: 121.595 Check: 0.0 Back: 9.679
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 381426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.577 Prop: 153.939 PropClause: 134.618 Set: 121.866 Check: 0.0 Back: 9.712
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 382695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.581 Prop: 154.376 PropClause: 135.01 Set: 122.14 Check: 0.0 Back: 9.744
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 383965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.589 Prop: 154.83 PropClause: 135.417 Set: 122.413 Check: 0.0 Back: 9.777
INFO - Atoms: 1270/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 385237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.596 Prop: 155.259 PropClause: 135.804 Set: 122.679 Check: 0.0 Back: 9.809
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 386509 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.602 Prop: 155.727 PropClause: 136.226 Set: 122.951 Check: 0.0 Back: 9.839
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 387781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.607 Prop: 156.088 PropClause: 136.551 Set: 123.145 Check: 0.0 Back: 9.867
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 389051 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.61 Prop: 156.461 PropClause: 136.887 Set: 123.345 Check: 0.0 Back: 9.896
INFO - Atoms: 1270/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 390323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.613 Prop: 156.819 PropClause: 137.21 Set: 123.538 Check: 0.0 Back: 9.924
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 391595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.614 Prop: 157.194 PropClause: 137.55 Set: 123.732 Check: 0.0 Back: 9.953
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 392864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.618 Prop: 157.551 PropClause: 137.871 Set: 123.925 Check: 0.0 Back: 9.982
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 394135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.621 Prop: 157.918 PropClause: 138.201 Set: 124.121 Check: 0.0 Back: 10.01
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 395407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.624 Prop: 158.284 PropClause: 138.531 Set: 124.311 Check: 0.0 Back: 10.039
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 396679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.625 Prop: 158.658 PropClause: 138.869 Set: 124.503 Check: 0.0 Back: 10.067
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 397948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.628 Prop: 159.019 PropClause: 139.194 Set: 124.695 Check: 0.0 Back: 10.096
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 399219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.633 Prop: 159.464 PropClause: 139.594 Set: 124.964 Check: 0.0 Back: 10.124
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 400491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.638 Prop: 159.892 PropClause: 139.979 Set: 125.229 Check: 0.0 Back: 10.158
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 401763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.64 Prop: 160.267 PropClause: 140.317 Set: 125.439 Check: 0.0 Back: 10.187
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 403035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.644 Prop: 160.72 PropClause: 140.725 Set: 125.738 Check: 0.0 Back: 10.216
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 404306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.649 Prop: 161.162 PropClause: 141.122 Set: 126.022 Check: 0.0 Back: 10.247
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 405578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.654 Prop: 161.606 PropClause: 141.52 Set: 126.309 Check: 0.0 Back: 10.279
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 406850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.658 Prop: 162.046 PropClause: 141.914 Set: 126.593 Check: 0.0 Back: 10.31
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 408119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.671 Prop: 162.483 PropClause: 142.306 Set: 126.87 Check: 0.0 Back: 10.343
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 409389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.677 Prop: 162.934 PropClause: 142.713 Set: 127.142 Check: 0.0 Back: 10.376
INFO - Atoms: 1270/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 410661 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.682 Prop: 163.386 PropClause: 143.12 Set: 127.424 Check: 0.0 Back: 10.408
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 411933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.686 Prop: 163.827 PropClause: 143.515 Set: 127.69 Check: 0.0 Back: 10.44
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 413202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.692 Prop: 164.266 PropClause: 143.908 Set: 127.967 Check: 0.0 Back: 10.473
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 414473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.698 Prop: 164.715 PropClause: 144.312 Set: 128.251 Check: 0.0 Back: 10.505
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 415745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.737 Prop: 165.177 PropClause: 144.715 Set: 128.539 Check: 0.0 Back: 10.537
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 417017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.742 Prop: 165.655 PropClause: 145.147 Set: 128.823 Check: 0.0 Back: 10.569
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 418286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.745 Prop: 166.084 PropClause: 145.531 Set: 129.088 Check: 0.0 Back: 10.601
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 419557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.751 Prop: 166.544 PropClause: 145.947 Set: 129.377 Check: 0.0 Back: 10.633
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 420829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.757 Prop: 166.997 PropClause: 146.356 Set: 129.679 Check: 0.0 Back: 10.665
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 422101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.762 Prop: 167.462 PropClause: 146.775 Set: 129.979 Check: 0.0 Back: 10.697
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 423373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.767 Prop: 167.91 PropClause: 147.179 Set: 130.28 Check: 0.0 Back: 10.729
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 424644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.773 Prop: 168.362 PropClause: 147.587 Set: 130.55 Check: 0.0 Back: 10.761
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 425916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.779 Prop: 168.779 PropClause: 147.959 Set: 130.826 Check: 0.0 Back: 10.793
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 427188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.785 Prop: 169.244 PropClause: 148.378 Set: 131.108 Check: 0.0 Back: 10.825
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 428457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.79 Prop: 169.682 PropClause: 148.77 Set: 131.392 Check: 0.0 Back: 10.857
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 429727 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.798 Prop: 170.149 PropClause: 149.193 Set: 131.673 Check: 0.0 Back: 10.888
INFO - Atoms: 1270/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 430999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.811 Prop: 170.615 PropClause: 149.611 Set: 131.98 Check: 0.0 Back: 10.921
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 432271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.816 Prop: 171.061 PropClause: 150.012 Set: 132.266 Check: 0.0 Back: 10.957
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 433540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.82 Prop: 171.507 PropClause: 150.412 Set: 132.556 Check: 0.0 Back: 10.99
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 434811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.827 Prop: 171.97 PropClause: 150.83 Set: 132.85 Check: 0.0 Back: 11.023
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 436083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.832 Prop: 172.418 PropClause: 151.233 Set: 133.129 Check: 0.0 Back: 11.055
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 437355 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.836 Prop: 172.87 PropClause: 151.64 Set: 133.41 Check: 0.0 Back: 11.087
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 438624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.84 Prop: 173.297 PropClause: 152.022 Set: 133.699 Check: 0.0 Back: 11.119
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 439895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.845 Prop: 173.756 PropClause: 152.438 Set: 133.98 Check: 0.0 Back: 11.151
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 441167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.849 Prop: 174.192 PropClause: 152.829 Set: 134.254 Check: 0.0 Back: 11.183
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 442439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.852 Prop: 174.645 PropClause: 153.237 Set: 134.536 Check: 0.0 Back: 11.215
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 443711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.855 Prop: 175.094 PropClause: 153.641 Set: 134.826 Check: 0.0 Back: 11.247
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 444982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.861 Prop: 175.542 PropClause: 154.044 Set: 135.11 Check: 0.0 Back: 11.279
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 446254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.865 Prop: 175.979 PropClause: 154.438 Set: 135.391 Check: 0.0 Back: 11.31
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 447526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.871 Prop: 176.434 PropClause: 154.849 Set: 135.668 Check: 0.0 Back: 11.342
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 448795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.875 Prop: 176.87 PropClause: 155.24 Set: 135.942 Check: 0.0 Back: 11.374
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 450066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.879 Prop: 177.316 PropClause: 155.642 Set: 136.224 Check: 0.0 Back: 11.406
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 451338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.884 Prop: 177.743 PropClause: 156.024 Set: 136.511 Check: 0.0 Back: 11.438
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 452610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.887 Prop: 178.192 PropClause: 156.428 Set: 136.793 Check: 0.0 Back: 11.47
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 453882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.891 Prop: 178.635 PropClause: 156.827 Set: 137.07 Check: 0.0 Back: 11.502
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 455152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.898 Prop: 179.093 PropClause: 157.241 Set: 137.364 Check: 0.0 Back: 11.535
INFO - Atoms: 1270/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 456424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.907 Prop: 179.575 PropClause: 157.679 Set: 137.638 Check: 0.0 Back: 11.567
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 457696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.912 Prop: 180.009 PropClause: 158.068 Set: 137.907 Check: 0.0 Back: 11.599
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 458968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.915 Prop: 180.455 PropClause: 158.47 Set: 138.182 Check: 0.0 Back: 11.631
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 460239 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.921 Prop: 180.903 PropClause: 158.873 Set: 138.466 Check: 0.0 Back: 11.663
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 461511 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.925 Prop: 181.334 PropClause: 159.262 Set: 138.729 Check: 0.0 Back: 11.695
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 462783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.929 Prop: 181.791 PropClause: 159.672 Set: 139.04 Check: 0.0 Back: 11.727
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 464055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.935 Prop: 182.267 PropClause: 160.104 Set: 139.338 Check: 0.0 Back: 11.758
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 464771 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.939 Prop: 182.562 PropClause: 160.374 Set: 139.478 Check: 0.0 Back: 11.791
INFO - Atoms: 716/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 466042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.943 Prop: 182.93 PropClause: 160.698 Set: 139.752 Check: 0.0 Back: 11.808
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 467314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.946 Prop: 183.369 PropClause: 161.093 Set: 140.029 Check: 0.0 Back: 11.841
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 468586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.949 Prop: 183.817 PropClause: 161.496 Set: 140.305 Check: 0.0 Back: 11.872
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 469855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.951 Prop: 184.256 PropClause: 161.891 Set: 140.575 Check: 0.0 Back: 11.904
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 471125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.965 Prop: 184.697 PropClause: 162.287 Set: 140.848 Check: 0.0 Back: 11.937
INFO - Atoms: 1270/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 472397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.969 Prop: 185.133 PropClause: 162.679 Set: 141.138 Check: 0.0 Back: 11.971
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 473669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.972 Prop: 185.563 PropClause: 163.066 Set: 141.408 Check: 0.0 Back: 12.003
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 474938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.978 Prop: 186.017 PropClause: 163.476 Set: 141.678 Check: 0.0 Back: 12.035
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 475618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.983 Prop: 186.305 PropClause: 163.74 Set: 141.804 Check: 0.0 Back: 12.067
INFO - Atoms: 680/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 476364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.987 Prop: 186.519 PropClause: 163.928 Set: 141.948 Check: 0.0 Back: 12.084
INFO - Atoms: 746/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 477635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.99 Prop: 186.91 PropClause: 164.274 Set: 142.221 Check: 0.0 Back: 12.103
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 478907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.996 Prop: 187.347 PropClause: 164.666 Set: 142.494 Check: 0.0 Back: 12.135
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 480179 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.999 Prop: 187.796 PropClause: 165.071 Set: 142.77 Check: 0.0 Back: 12.167
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 481448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.001 Prop: 188.23 PropClause: 165.462 Set: 143.043 Check: 0.0 Back: 12.199
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 482718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.006 Prop: 188.662 PropClause: 165.85 Set: 143.317 Check: 0.0 Back: 12.231
INFO - Atoms: 1270/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 483990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.011 Prop: 189.144 PropClause: 166.288 Set: 143.603 Check: 0.0 Back: 12.263
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 485262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.015 Prop: 189.608 PropClause: 166.708 Set: 143.879 Check: 0.0 Back: 12.295
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 486531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.019 Prop: 190.057 PropClause: 167.101 Set: 144.145 Check: 0.0 Back: 12.327
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 487801 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.026 Prop: 190.503 PropClause: 167.504 Set: 144.418 Check: 0.0 Back: 12.359
INFO - Atoms: 1270/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 489073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.03 Prop: 190.941 PropClause: 167.897 Set: 144.701 Check: 0.0 Back: 12.391
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 490345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.032 Prop: 191.383 PropClause: 168.295 Set: 144.985 Check: 0.0 Back: 12.423
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 491617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.035 Prop: 191.821 PropClause: 168.69 Set: 145.265 Check: 0.0 Back: 12.455
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 492887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.041 Prop: 192.261 PropClause: 169.086 Set: 145.535 Check: 0.0 Back: 12.486
INFO - Atoms: 1270/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 494159 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.046 Prop: 192.694 PropClause: 169.474 Set: 145.811 Check: 0.0 Back: 12.519
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 495431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.051 Prop: 193.129 PropClause: 169.864 Set: 146.089 Check: 0.0 Back: 12.551
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 496700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.055 Prop: 193.565 PropClause: 170.256 Set: 146.365 Check: 0.0 Back: 12.583
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 497971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.061 Prop: 194.024 PropClause: 170.67 Set: 146.644 Check: 0.0 Back: 12.615
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 499243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.066 Prop: 194.466 PropClause: 171.067 Set: 146.919 Check: 0.0 Back: 12.647
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 500515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.07 Prop: 194.915 PropClause: 171.471 Set: 147.194 Check: 0.0 Back: 12.679
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 501784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.073 Prop: 195.357 PropClause: 171.869 Set: 147.471 Check: 0.0 Back: 12.711
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 503054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.078 Prop: 195.798 PropClause: 172.267 Set: 147.744 Check: 0.0 Back: 12.743
INFO - Atoms: 1270/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 504326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.083 Prop: 196.243 PropClause: 172.667 Set: 148.025 Check: 0.0 Back: 12.776
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 505598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.087 Prop: 196.693 PropClause: 173.072 Set: 148.312 Check: 0.0 Back: 12.807
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 506867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.09 Prop: 197.137 PropClause: 173.473 Set: 148.587 Check: 0.0 Back: 12.839
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 508137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.094 Prop: 197.593 PropClause: 173.884 Set: 148.864 Check: 0.0 Back: 12.871
INFO - Atoms: 1270/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 509409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.097 Prop: 198.101 PropClause: 174.347 Set: 149.143 Check: 0.0 Back: 12.903
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 510681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.1 Prop: 198.551 PropClause: 174.753 Set: 149.445 Check: 0.0 Back: 12.935
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 511953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.103 Prop: 198.976 PropClause: 175.134 Set: 149.712 Check: 0.0 Back: 12.969
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 513223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.108 Prop: 199.4 PropClause: 175.515 Set: 149.969 Check: 0.0 Back: 13.0
INFO - Atoms: 1270/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 514495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.113 Prop: 199.842 PropClause: 175.912 Set: 150.248 Check: 0.0 Back: 13.032
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 515767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.118 Prop: 200.277 PropClause: 176.302 Set: 150.51 Check: 0.0 Back: 13.064
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 517036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.137 Prop: 200.723 PropClause: 176.704 Set: 153.138 Check: 0.0 Back: 13.096
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 517754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.142 Prop: 201.018 PropClause: 176.973 Set: 153.277 Check: 0.0 Back: 13.128
INFO - Atoms: 718/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 518531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.145 Prop: 201.243 PropClause: 177.17 Set: 153.437 Check: 0.0 Back: 13.147
INFO - Atoms: 777/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 519802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.15 Prop: 201.643 PropClause: 177.524 Set: 153.731 Check: 0.0 Back: 13.166
INFO - Atoms: 1271/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 521074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.155 Prop: 202.096 PropClause: 177.93 Set: 154.027 Check: 0.0 Back: 13.198
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 522346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.16 Prop: 202.563 PropClause: 178.353 Set: 154.316 Check: 0.0 Back: 13.231
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 523615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.168 Prop: 203.025 PropClause: 178.772 Set: 154.637 Check: 0.0 Back: 13.263
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 524885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.174 Prop: 203.485 PropClause: 179.186 Set: 154.914 Check: 0.0 Back: 13.295
INFO - Atoms: 1270/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 526157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.178 Prop: 203.921 PropClause: 179.578 Set: 155.178 Check: 0.0 Back: 13.327
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 527429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.183 Prop: 204.353 PropClause: 179.965 Set: 155.449 Check: 0.0 Back: 13.36
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 528698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.187 Prop: 204.787 PropClause: 180.354 Set: 155.723 Check: 0.0 Back: 13.393
INFO - Atoms: 1269/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 529370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.19 Prop: 205.057 PropClause: 180.601 Set: 155.849 Check: 0.0 Back: 13.425
INFO - Atoms: 672/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 530640 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.195 Prop: 205.429 PropClause: 180.928 Set: 156.121 Check: 0.0 Back: 13.442
INFO - Atoms: 1270/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 531912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.199 Prop: 205.879 PropClause: 181.334 Set: 156.39 Check: 0.0 Back: 13.475
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 449 Props: 533184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.202 Prop: 206.319 PropClause: 181.729 Set: 156.668 Check: 0.0 Back: 13.508
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 534456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.212 Prop: 206.74 PropClause: 182.107 Set: 156.925 Check: 0.0 Back: 13.54
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 451 Props: 535726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.218 Prop: 207.192 PropClause: 182.512 Set: 157.209 Check: 0.0 Back: 13.572
INFO - Atoms: 1270/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 536998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.223 Prop: 207.619 PropClause: 182.895 Set: 157.47 Check: 0.0 Back: 13.604
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 453 Props: 538270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.228 Prop: 208.046 PropClause: 183.278 Set: 157.73 Check: 0.0 Back: 13.636
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 454 Props: 539542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.233 Prop: 208.471 PropClause: 183.659 Set: 157.99 Check: 0.0 Back: 13.668
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 455 Props: 540812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.237 Prop: 208.914 PropClause: 184.058 Set: 158.261 Check: 0.0 Back: 13.7
INFO - Atoms: 1270/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 456 Props: 542084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.242 Prop: 209.363 PropClause: 184.459 Set: 158.546 Check: 0.0 Back: 13.732
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 457 Props: 543356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.247 Prop: 209.813 PropClause: 184.864 Set: 158.813 Check: 0.0 Back: 13.764
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 458 Props: 544628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.252 Prop: 210.243 PropClause: 185.249 Set: 159.075 Check: 0.0 Back: 13.796
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 459 Props: 545186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.259 Prop: 210.574 PropClause: 185.559 Set: 161.679 Check: 0.0 Back: 13.828
INFO - Atoms: 558/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 546099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.265 Prop: 210.838 PropClause: 185.791 Set: 162.095 Check: 0.0 Back: 13.842
INFO - Atoms: 913/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 461 Props: 547083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.269 Prop: 211.151 PropClause: 186.069 Set: 162.552 Check: 0.0 Back: 13.865
INFO - Atoms: 984/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 548042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.272 Prop: 211.471 PropClause: 186.356 Set: 162.979 Check: 0.0 Back: 13.89
INFO - Atoms: 959/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 463 Props: 549141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.275 Prop: 211.837 PropClause: 186.684 Set: 163.518 Check: 0.0 Back: 13.914
INFO - Atoms: 1099/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 464 Props: 550262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.281 Prop: 212.218 PropClause: 187.024 Set: 164.037 Check: 0.0 Back: 13.943
INFO - Atoms: 1121/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 465 Props: 551534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.285 Prop: 212.651 PropClause: 187.412 Set: 164.657 Check: 0.0 Back: 13.972
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 466 Props: 552777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.289 Prop: 213.116 PropClause: 187.832 Set: 165.34 Check: 0.0 Back: 14.004
INFO - Atoms: 1243/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 553902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.295 Prop: 213.558 PropClause: 188.235 Set: 165.921 Check: 0.0 Back: 14.037
INFO - Atoms: 1125/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 468 Props: 555146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.302 Prop: 214.047 PropClause: 188.679 Set: 166.599 Check: 0.0 Back: 14.063
INFO - Atoms: 1244/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 469 Props: 556418 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.307 Prop: 214.496 PropClause: 189.083 Set: 167.247 Check: 0.0 Back: 14.094
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 470 Props: 557426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.314 Prop: 214.898 PropClause: 189.448 Set: 167.786 Check: 0.0 Back: 14.127
INFO - Atoms: 1008/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 471 Props: 558642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.32 Prop: 215.362 PropClause: 189.852 Set: 168.844 Check: 0.0 Back: 14.154
INFO - Atoms: 1216/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 472 Props: 559914 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.326 Prop: 215.819 PropClause: 190.26 Set: 169.778 Check: 0.0 Back: 14.184
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 473 Props: 560863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.331 Prop: 216.203 PropClause: 190.606 Set: 170.418 Check: 0.0 Back: 14.217
INFO - Atoms: 949/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 474 Props: 561903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.335 Prop: 216.564 PropClause: 190.922 Set: 171.193 Check: 0.0 Back: 14.241
INFO - Atoms: 1040/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 475 Props: 562989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.339 Prop: 216.948 PropClause: 191.262 Set: 171.947 Check: 0.0 Back: 14.267
INFO - Atoms: 1086/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 476 Props: 564150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.343 Prop: 217.373 PropClause: 191.637 Set: 172.788 Check: 0.0 Back: 14.295
INFO - Atoms: 1161/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 477 Props: 565422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.349 Prop: 217.841 PropClause: 192.052 Set: 173.703 Check: 0.0 Back: 14.324
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 3202 Tprops: 2206 Decides: 5222 RSplits: 0
INFO - Times: Expl: 86.177 Prop: 1713.58 PropClause: 3.845 Set: 597.571 Check: 11.295 Back: 20.567
INFO - Atoms: 14/101 Clauses: 500 Axioms: 84
INFO - CCTimes: iE 51842 eq 4847562 cc 17633373 setRep 1348099
INFO - Merges: 4286, cc:2377
INFO - BVTimes: BB 35211270 BB_DPLL 971453468 Graph 166780
INFO - BitBlastingClauses: 53084 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 478 Props: 566678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.355 Prop: 218.339 PropClause: 192.5 Set: 174.597 Check: 0.0 Back: 14.357
INFO - Atoms: 1256/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 479 Props: 567805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.359 Prop: 218.756 PropClause: 192.871 Set: 175.385 Check: 0.0 Back: 14.388
INFO - Atoms: 1127/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 480 Props: 568934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.365 Prop: 219.176 PropClause: 193.244 Set: 176.171 Check: 0.0 Back: 14.417
INFO - Atoms: 1129/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 481 Props: 570061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.37 Prop: 219.555 PropClause: 193.584 Set: 176.46 Check: 0.0 Back: 14.446
INFO - Atoms: 1127/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 482 Props: 571315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.374 Prop: 219.989 PropClause: 193.974 Set: 176.758 Check: 0.0 Back: 14.475
INFO - Atoms: 1254/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 483 Props: 572587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.379 Prop: 220.431 PropClause: 194.37 Set: 177.059 Check: 0.0 Back: 14.506
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 484 Props: 573859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.383 Prop: 220.889 PropClause: 194.783 Set: 177.362 Check: 0.0 Back: 14.538
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 485 Props: 575110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.389 Prop: 221.344 PropClause: 195.194 Set: 177.674 Check: 0.0 Back: 14.57
INFO - Atoms: 1251/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 486 Props: 576364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.392 Prop: 221.784 PropClause: 195.591 Set: 177.961 Check: 0.0 Back: 14.601
INFO - Atoms: 1254/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 487 Props: 577636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.398 Prop: 222.231 PropClause: 195.993 Set: 178.267 Check: 0.0 Back: 14.632
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 488 Props: 578671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.404 Prop: 222.621 PropClause: 196.346 Set: 178.507 Check: 0.0 Back: 14.665
INFO - Atoms: 1035/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 489 Props: 579849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.408 Prop: 223.004 PropClause: 196.688 Set: 178.758 Check: 0.0 Back: 14.692
INFO - Atoms: 1178/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 490 Props: 581061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.418 Prop: 223.424 PropClause: 197.065 Set: 179.035 Check: 0.0 Back: 14.721
INFO - Atoms: 1212/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 491 Props: 582333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.42 Prop: 223.855 PropClause: 197.452 Set: 179.327 Check: 0.0 Back: 14.751
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 492 Props: 583599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.424 Prop: 224.297 PropClause: 197.85 Set: 179.606 Check: 0.0 Back: 14.783
INFO - Atoms: 1266/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 493 Props: 584864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.429 Prop: 224.737 PropClause: 198.245 Set: 179.899 Check: 0.0 Back: 14.815
INFO - Atoms: 1265/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 494 Props: 586136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.432 Prop: 225.169 PropClause: 198.633 Set: 180.196 Check: 0.0 Back: 14.847
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 495 Props: 587408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.437 Prop: 225.608 PropClause: 199.028 Set: 180.48 Check: 0.0 Back: 14.88
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 496 Props: 588676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.439 Prop: 226.055 PropClause: 199.431 Set: 180.767 Check: 0.0 Back: 14.912
INFO - Atoms: 1268/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 497 Props: 589941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.445 Prop: 226.505 PropClause: 199.836 Set: 181.065 Check: 0.0 Back: 14.945
INFO - Atoms: 1265/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 498 Props: 591213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.449 Prop: 226.954 PropClause: 200.24 Set: 181.374 Check: 0.0 Back: 14.978
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 499 Props: 592485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.455 Prop: 227.423 PropClause: 200.663 Set: 181.661 Check: 0.0 Back: 15.01
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 500 Props: 593749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.458 Prop: 227.864 PropClause: 201.059 Set: 181.951 Check: 0.0 Back: 15.042
INFO - Atoms: 1264/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 501 Props: 595013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.463 Prop: 228.292 PropClause: 201.442 Set: 182.228 Check: 0.0 Back: 15.086
INFO - Atoms: 1264/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 502 Props: 596285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.466 Prop: 228.74 PropClause: 201.845 Set: 182.507 Check: 0.0 Back: 15.118
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 503 Props: 597557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.471 Prop: 229.199 PropClause: 202.259 Set: 182.802 Check: 0.0 Back: 15.151
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 504 Props: 598821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.525 Prop: 229.647 PropClause: 202.662 Set: 183.089 Check: 0.0 Back: 15.183
INFO - Atoms: 1264/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 505 Props: 600086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.563 Prop: 230.123 PropClause: 203.093 Set: 183.384 Check: 0.0 Back: 15.214
INFO - Atoms: 1265/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 506 Props: 601358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.566 Prop: 230.55 PropClause: 203.478 Set: 183.653 Check: 0.0 Back: 15.246
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 507 Props: 602389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.571 Prop: 230.933 PropClause: 203.824 Set: 183.898 Check: 0.0 Back: 15.275
INFO - Atoms: 1031/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 508 Props: 603652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.575 Prop: 231.35 PropClause: 204.196 Set: 184.211 Check: 0.0 Back: 15.301
INFO - Atoms: 1263/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 509 Props: 604924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.587 Prop: 231.808 PropClause: 204.609 Set: 184.517 Check: 0.0 Back: 15.332
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 510 Props: 605933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.591 Prop: 232.198 PropClause: 204.963 Set: 184.753 Check: 0.0 Back: 15.364
INFO - Atoms: 1009/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 511 Props: 607205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.598 Prop: 232.632 PropClause: 205.354 Set: 185.049 Check: 0.0 Back: 15.393
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 512 Props: 608467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.602 Prop: 233.073 PropClause: 205.751 Set: 185.335 Check: 0.0 Back: 15.426
INFO - Atoms: 1262/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 513 Props: 609725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.608 Prop: 233.532 PropClause: 206.165 Set: 185.645 Check: 0.0 Back: 15.457
INFO - Atoms: 1258/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 514 Props: 610997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.613 Prop: 233.984 PropClause: 206.574 Set: 185.955 Check: 0.0 Back: 15.49
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 515 Props: 612269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.619 Prop: 234.443 PropClause: 206.988 Set: 186.26 Check: 0.0 Back: 15.521
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 516 Props: 613531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.622 Prop: 234.914 PropClause: 207.412 Set: 186.572 Check: 0.0 Back: 15.557
INFO - Atoms: 1262/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 517 Props: 614789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.629 Prop: 235.359 PropClause: 207.814 Set: 186.863 Check: 0.0 Back: 15.592
INFO - Atoms: 1258/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 518 Props: 616061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.633 Prop: 235.812 PropClause: 208.222 Set: 187.167 Check: 0.0 Back: 15.624
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 519 Props: 617333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.638 Prop: 236.258 PropClause: 208.625 Set: 187.457 Check: 0.0 Back: 15.656
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 520 Props: 618595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.641 Prop: 236.707 PropClause: 209.03 Set: 187.73 Check: 0.0 Back: 15.687
INFO - Atoms: 1262/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 521 Props: 619853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.646 Prop: 237.132 PropClause: 209.413 Set: 188.011 Check: 0.0 Back: 15.718
INFO - Atoms: 1258/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 522 Props: 621125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.649 Prop: 237.584 PropClause: 209.821 Set: 188.312 Check: 0.0 Back: 15.749
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 523 Props: 622397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.653 Prop: 238.01 PropClause: 210.203 Set: 188.601 Check: 0.0 Back: 15.781
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 524 Props: 623660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.657 Prop: 238.433 PropClause: 210.583 Set: 188.883 Check: 0.0 Back: 15.812
INFO - Atoms: 1263/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 525 Props: 624912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.66 Prop: 238.881 PropClause: 210.988 Set: 189.174 Check: 0.0 Back: 15.843
INFO - Atoms: 1252/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 526 Props: 626184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.663 Prop: 239.319 PropClause: 211.383 Set: 189.463 Check: 0.0 Back: 15.874
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 527 Props: 627456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.667 Prop: 239.76 PropClause: 211.78 Set: 189.755 Check: 0.0 Back: 15.906
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 528 Props: 628704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.672 Prop: 240.196 PropClause: 212.173 Set: 190.05 Check: 0.0 Back: 15.938
INFO - Atoms: 1248/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 529 Props: 629957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.675 Prop: 240.622 PropClause: 212.558 Set: 190.332 Check: 0.0 Back: 15.969
INFO - Atoms: 1253/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 530 Props: 631229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.679 Prop: 241.074 PropClause: 212.965 Set: 190.635 Check: 0.0 Back: 16.0
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 531 Props: 632501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.683 Prop: 241.53 PropClause: 213.377 Set: 190.951 Check: 0.0 Back: 16.032
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 532 Props: 633749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.69 Prop: 241.951 PropClause: 213.756 Set: 191.241 Check: 0.0 Back: 16.064
INFO - Atoms: 1248/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 533 Props: 634794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.695 Prop: 242.36 PropClause: 214.129 Set: 191.476 Check: 0.0 Back: 16.095
INFO - Atoms: 1045/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 534 Props: 636005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.7 Prop: 242.756 PropClause: 214.483 Set: 191.747 Check: 0.0 Back: 16.121
INFO - Atoms: 1211/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 535 Props: 637277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.705 Prop: 243.19 PropClause: 214.874 Set: 192.026 Check: 0.0 Back: 16.151
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 536 Props: 638545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.709 Prop: 243.644 PropClause: 215.284 Set: 192.318 Check: 0.0 Back: 16.189
INFO - Atoms: 1268/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 537 Props: 639806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.714 Prop: 244.075 PropClause: 215.672 Set: 192.604 Check: 0.0 Back: 16.22
INFO - Atoms: 1261/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 538 Props: 641078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.717 Prop: 244.498 PropClause: 216.05 Set: 192.886 Check: 0.0 Back: 16.251
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 539 Props: 642350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.723 Prop: 244.948 PropClause: 216.457 Set: 193.182 Check: 0.0 Back: 16.283
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 540 Props: 643618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.728 Prop: 245.393 PropClause: 216.858 Set: 193.459 Check: 0.0 Back: 16.315
INFO - Atoms: 1268/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 541 Props: 644883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.734 Prop: 245.849 PropClause: 217.27 Set: 193.738 Check: 0.0 Back: 16.347
INFO - Atoms: 1265/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 542 Props: 646155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.737 Prop: 246.294 PropClause: 217.672 Set: 194.032 Check: 0.0 Back: 16.378
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 543 Props: 647427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.742 Prop: 246.718 PropClause: 218.054 Set: 194.302 Check: 0.0 Back: 16.41
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 544 Props: 648691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.746 Prop: 247.156 PropClause: 218.447 Set: 194.579 Check: 0.0 Back: 16.441
INFO - Atoms: 1264/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 545 Props: 649955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.751 Prop: 247.603 PropClause: 218.851 Set: 194.863 Check: 0.0 Back: 16.473
INFO - Atoms: 1264/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 546 Props: 651227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.754 Prop: 248.039 PropClause: 219.243 Set: 195.164 Check: 0.0 Back: 16.505
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 547 Props: 652499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.759 Prop: 248.492 PropClause: 219.653 Set: 195.458 Check: 0.0 Back: 16.537
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 548 Props: 653767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.762 Prop: 248.929 PropClause: 220.047 Set: 195.732 Check: 0.0 Back: 16.57
INFO - Atoms: 1268/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 549 Props: 655031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.767 Prop: 249.37 PropClause: 220.444 Set: 196.016 Check: 0.0 Back: 16.602
INFO - Atoms: 1264/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 550 Props: 656303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.77 Prop: 249.794 PropClause: 220.825 Set: 196.296 Check: 0.0 Back: 16.633
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 551 Props: 657575 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.778 Prop: 250.262 PropClause: 221.248 Set: 196.688 Check: 0.0 Back: 16.666
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 552 Props: 658843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.784 Prop: 250.708 PropClause: 221.649 Set: 197.077 Check: 0.0 Back: 16.697
INFO - Atoms: 1268/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 553 Props: 660108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.79 Prop: 251.155 PropClause: 222.053 Set: 197.358 Check: 0.0 Back: 16.729
INFO - Atoms: 1265/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 554 Props: 661380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.795 Prop: 251.611 PropClause: 222.463 Set: 197.707 Check: 0.0 Back: 16.764
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 555 Props: 662652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.812 Prop: 252.115 PropClause: 222.924 Set: 198.108 Check: 0.0 Back: 16.796
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 556 Props: 663920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.818 Prop: 252.586 PropClause: 223.35 Set: 198.513 Check: 0.0 Back: 16.828
INFO - Atoms: 1268/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 557 Props: 665185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.826 Prop: 253.051 PropClause: 223.77 Set: 198.897 Check: 0.0 Back: 16.87
INFO - Atoms: 1265/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 558 Props: 666457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.832 Prop: 253.498 PropClause: 224.173 Set: 199.291 Check: 0.0 Back: 16.902
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 559 Props: 667729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.84 Prop: 253.974 PropClause: 224.603 Set: 199.683 Check: 0.0 Back: 16.934
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 560 Props: 668997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.847 Prop: 254.413 PropClause: 224.998 Set: 200.071 Check: 0.0 Back: 16.967
INFO - Atoms: 1268/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 561 Props: 670262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.852 Prop: 254.866 PropClause: 225.406 Set: 200.45 Check: 0.0 Back: 16.999
INFO - Atoms: 1265/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 562 Props: 671534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.857 Prop: 255.322 PropClause: 225.817 Set: 200.83 Check: 0.0 Back: 17.032
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 563 Props: 672806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.863 Prop: 255.782 PropClause: 226.231 Set: 201.209 Check: 0.0 Back: 17.064
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 564 Props: 674074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.87 Prop: 256.228 PropClause: 226.635 Set: 201.58 Check: 0.0 Back: 17.096
INFO - Atoms: 1268/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 565 Props: 675338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.877 Prop: 256.694 PropClause: 227.053 Set: 201.969 Check: 0.0 Back: 17.128
INFO - Atoms: 1264/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 566 Props: 676610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.883 Prop: 257.145 PropClause: 227.46 Set: 202.34 Check: 0.0 Back: 17.161
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 567 Props: 677882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.89 Prop: 257.593 PropClause: 227.864 Set: 202.718 Check: 0.0 Back: 17.193
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 568 Props: 679149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.895 Prop: 258.041 PropClause: 228.267 Set: 203.098 Check: 0.0 Back: 17.225
INFO - Atoms: 1267/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 569 Props: 680413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.904 Prop: 258.509 PropClause: 228.692 Set: 203.49 Check: 0.0 Back: 17.257
INFO - Atoms: 1264/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 570 Props: 681685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.912 Prop: 258.989 PropClause: 229.128 Set: 203.906 Check: 0.0 Back: 17.289
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 571 Props: 682957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.921 Prop: 259.487 PropClause: 229.582 Set: 204.297 Check: 0.0 Back: 17.321
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 572 Props: 684221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.927 Prop: 259.942 PropClause: 229.994 Set: 204.682 Check: 0.0 Back: 17.355
INFO - Atoms: 1264/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 573 Props: 685485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.935 Prop: 260.384 PropClause: 230.393 Set: 205.085 Check: 0.0 Back: 17.387
INFO - Atoms: 1264/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 574 Props: 686757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.94 Prop: 260.822 PropClause: 230.786 Set: 205.474 Check: 0.0 Back: 17.418
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 575 Props: 688029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.95 Prop: 261.304 PropClause: 231.218 Set: 205.902 Check: 0.0 Back: 17.45
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 576 Props: 689293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.956 Prop: 261.734 PropClause: 231.604 Set: 206.286 Check: 0.0 Back: 17.482
INFO - Atoms: 1264/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 577 Props: 690558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.962 Prop: 262.183 PropClause: 232.009 Set: 206.665 Check: 0.0 Back: 17.514
INFO - Atoms: 1265/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 578 Props: 691830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.966 Prop: 262.619 PropClause: 232.4 Set: 207.036 Check: 0.0 Back: 17.545
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 579 Props: 693102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.972 Prop: 263.076 PropClause: 232.814 Set: 207.422 Check: 0.0 Back: 17.576
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 580 Props: 694369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.978 Prop: 263.525 PropClause: 233.217 Set: 207.805 Check: 0.0 Back: 17.61
INFO - Atoms: 1267/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 581 Props: 695633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.985 Prop: 263.973 PropClause: 233.621 Set: 208.188 Check: 0.0 Back: 17.642
INFO - Atoms: 1264/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 582 Props: 696905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.992 Prop: 264.439 PropClause: 234.042 Set: 208.582 Check: 0.0 Back: 17.676
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 583 Props: 697957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.025 Prop: 265.082 PropClause: 234.648 Set: 208.901 Check: 0.0 Back: 17.709
INFO - Atoms: 1052/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 584 Props: 699219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.036 Prop: 265.45 PropClause: 234.981 Set: 209.201 Check: 0.0 Back: 17.736
INFO - Atoms: 1262/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 585 Props: 700491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.037 Prop: 265.823 PropClause: 235.319 Set: 209.486 Check: 0.0 Back: 17.764
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 586 Props: 701763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.038 Prop: 266.214 PropClause: 235.675 Set: 209.782 Check: 0.0 Back: 17.792
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 587 Props: 703024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.039 Prop: 266.579 PropClause: 236.006 Set: 210.086 Check: 0.0 Back: 17.82
INFO - Atoms: 1261/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 588 Props: 704284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.04 Prop: 266.944 PropClause: 236.337 Set: 210.391 Check: 0.0 Back: 17.849
INFO - Atoms: 1260/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 589 Props: 705556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.043 Prop: 267.308 PropClause: 236.666 Set: 210.689 Check: 0.0 Back: 17.877
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 590 Props: 706828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.046 Prop: 267.849 PropClause: 237.162 Set: 211.081 Check: 0.0 Back: 17.905
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 591 Props: 708089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.051 Prop: 268.356 PropClause: 237.623 Set: 211.473 Check: 0.0 Back: 17.937
INFO - Atoms: 1261/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 592 Props: 709349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.055 Prop: 268.863 PropClause: 238.084 Set: 211.873 Check: 0.0 Back: 17.968
INFO - Atoms: 1260/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 593 Props: 710621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.059 Prop: 269.302 PropClause: 238.479 Set: 212.251 Check: 0.0 Back: 18.004
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 594 Props: 711893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.062 Prop: 269.771 PropClause: 238.903 Set: 212.648 Check: 0.0 Back: 18.036
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 595 Props: 713154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.065 Prop: 270.232 PropClause: 239.32 Set: 213.03 Check: 0.0 Back: 18.07
INFO - Atoms: 1261/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 596 Props: 714414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.068 Prop: 270.698 PropClause: 239.742 Set: 213.413 Check: 0.0 Back: 18.102
INFO - Atoms: 1260/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 597 Props: 715686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.072 Prop: 271.175 PropClause: 240.175 Set: 213.835 Check: 0.0 Back: 18.134
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 598 Props: 716958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.076 Prop: 271.657 PropClause: 240.612 Set: 214.23 Check: 0.0 Back: 18.165
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 599 Props: 718218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.079 Prop: 272.121 PropClause: 241.033 Set: 214.618 Check: 0.0 Back: 18.197
INFO - Atoms: 1260/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 600 Props: 719438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.083 Prop: 272.6 PropClause: 241.468 Set: 214.989 Check: 0.0 Back: 18.229
INFO - Atoms: 1220/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 601 Props: 720710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.093 Prop: 273.073 PropClause: 241.897 Set: 215.367 Check: 0.0 Back: 18.26
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 602 Props: 721938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.097 Prop: 273.585 PropClause: 242.365 Set: 215.742 Check: 0.0 Back: 18.292
INFO - Atoms: 1228/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 603 Props: 723210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.099 Prop: 274.047 PropClause: 242.781 Set: 216.139 Check: 0.0 Back: 18.324
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 604 Props: 724264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.102 Prop: 274.45 PropClause: 243.148 Set: 216.447 Check: 0.0 Back: 18.357
INFO - Atoms: 1054/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 605 Props: 725536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.105 Prop: 274.857 PropClause: 243.511 Set: 216.832 Check: 0.0 Back: 18.384
INFO - Atoms: 1272/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 606 Props: 726781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.107 Prop: 275.306 PropClause: 243.915 Set: 217.211 Check: 0.0 Back: 18.416
INFO - Atoms: 1245/1272 Clauses: 101 Axioms: 5384
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 637 Props: 4178 Tprops: 2994 Decides: 6211 RSplits: 0
INFO - Times: Expl: 96.898 Prop: 2071.31 PropClause: 5.184 Set: 703.367 Check: 11.881 Back: 21.942
INFO - Atoms: 62/101 Clauses: 637 Axioms: 84
INFO - CCTimes: iE 61878 eq 5720193 cc 18467619 setRep 1596860
INFO - Merges: 5319, cc:2868
INFO - BVTimes: BB 35211270 BB_DPLL 1195969914 Graph 197033
INFO - BitBlastingClauses: 65984 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat