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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 49480031
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 3091 Tprops: 0 Decides: 2 RSplits: 0
INFO - Times: Expl: 1.948 Prop: 3.451 PropClause: 3.216 Set: 4.791 Check: 0.0 Back: 0.008
INFO - Atoms: 2984/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 6228 Tprops: 0 Decides: 3 RSplits: 0
INFO - Times: Expl: 2.459 Prop: 4.876 PropClause: 4.368 Set: 5.984 Check: 0.0 Back: 0.196
INFO - Atoms: 3032/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 9363 Tprops: 0 Decides: 4 RSplits: 0
INFO - Times: Expl: 2.941 Prop: 6.348 PropClause: 5.605 Set: 8.09 Check: 0.0 Back: 0.277
INFO - Atoms: 3030/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 12496 Tprops: 0 Decides: 5 RSplits: 0
INFO - Times: Expl: 3.456 Prop: 7.559 PropClause: 6.56 Set: 8.765 Check: 0.001 Back: 0.36
INFO - Atoms: 3029/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 15627 Tprops: 0 Decides: 6 RSplits: 0
INFO - Times: Expl: 3.949 Prop: 8.533 PropClause: 7.397 Set: 9.167 Check: 0.001 Back: 0.443
INFO - Atoms: 3027/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 18756 Tprops: 0 Decides: 7 RSplits: 0
INFO - Times: Expl: 4.46 Prop: 9.228 PropClause: 8.0 Set: 9.525 Check: 0.001 Back: 0.523
INFO - Atoms: 3025/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 21879 Tprops: 0 Decides: 8 RSplits: 0
INFO - Times: Expl: 4.94 Prop: 9.839 PropClause: 8.529 Set: 9.84 Check: 0.001 Back: 0.597
INFO - Atoms: 3021/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 25002 Tprops: 0 Decides: 9 RSplits: 0
INFO - Times: Expl: 5.339 Prop: 10.419 PropClause: 9.029 Set: 10.151 Check: 0.001 Back: 0.674
INFO - Atoms: 3020/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 28119 Tprops: 0 Decides: 10 RSplits: 0
INFO - Times: Expl: 5.797 Prop: 11.145 PropClause: 9.66 Set: 10.55 Check: 0.001 Back: 0.746
INFO - Atoms: 3016/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 31236 Tprops: 0 Decides: 11 RSplits: 0
INFO - Times: Expl: 6.218 Prop: 11.895 PropClause: 10.317 Set: 10.946 Check: 0.001 Back: 0.824
INFO - Atoms: 3015/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 34351 Tprops: 0 Decides: 12 RSplits: 0
INFO - Times: Expl: 6.658 Prop: 12.495 PropClause: 10.837 Set: 11.415 Check: 0.001 Back: 0.902
INFO - Atoms: 3014/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 37464 Tprops: 0 Decides: 13 RSplits: 0
INFO - Times: Expl: 7.01 Prop: 13.132 PropClause: 11.377 Set: 11.882 Check: 0.001 Back: 0.978
INFO - Atoms: 3012/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 40575 Tprops: 0 Decides: 14 RSplits: 0
INFO - Times: Expl: 7.379 Prop: 13.748 PropClause: 11.889 Set: 12.353 Check: 0.001 Back: 1.051
INFO - Atoms: 3010/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 43682 Tprops: 0 Decides: 15 RSplits: 0
INFO - Times: Expl: 7.722 Prop: 14.348 PropClause: 12.409 Set: 12.832 Check: 0.001 Back: 1.123
INFO - Atoms: 3007/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 46785 Tprops: 0 Decides: 16 RSplits: 0
INFO - Times: Expl: 8.09 Prop: 14.995 PropClause: 12.976 Set: 13.139 Check: 0.001 Back: 1.196
INFO - Atoms: 3004/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 49888 Tprops: 0 Decides: 17 RSplits: 0
INFO - Times: Expl: 8.491 Prop: 15.574 PropClause: 13.476 Set: 13.447 Check: 0.001 Back: 1.269
INFO - Atoms: 3003/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 52985 Tprops: 0 Decides: 18 RSplits: 0
INFO - Times: Expl: 8.925 Prop: 16.337 PropClause: 14.146 Set: 13.841 Check: 0.001 Back: 1.339
INFO - Atoms: 2999/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 56082 Tprops: 0 Decides: 19 RSplits: 0
INFO - Times: Expl: 9.272 Prop: 16.912 PropClause: 14.642 Set: 14.143 Check: 0.001 Back: 1.416
INFO - Atoms: 2998/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 59173 Tprops: 0 Decides: 20 RSplits: 0
INFO - Times: Expl: 9.645 Prop: 17.511 PropClause: 15.161 Set: 14.453 Check: 0.001 Back: 1.494
INFO - Atoms: 2994/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 62266 Tprops: 0 Decides: 21 RSplits: 0
INFO - Times: Expl: 9.922 Prop: 18.099 PropClause: 15.669 Set: 14.768 Check: 0.001 Back: 1.569
INFO - Atoms: 2995/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 65355 Tprops: 0 Decides: 22 RSplits: 0
INFO - Times: Expl: 10.113 Prop: 18.726 PropClause: 16.215 Set: 15.077 Check: 0.001 Back: 1.644
INFO - Atoms: 2992/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 68442 Tprops: 0 Decides: 23 RSplits: 0
INFO - Times: Expl: 10.277 Prop: 19.275 PropClause: 16.684 Set: 15.383 Check: 0.001 Back: 1.72
INFO - Atoms: 2990/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 71523 Tprops: 0 Decides: 24 RSplits: 0
INFO - Times: Expl: 10.453 Prop: 19.855 PropClause: 17.185 Set: 15.697 Check: 0.001 Back: 1.796
INFO - Atoms: 2986/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 74604 Tprops: 0 Decides: 25 RSplits: 0
INFO - Times: Expl: 10.612 Prop: 20.426 PropClause: 17.676 Set: 16.0 Check: 0.001 Back: 1.866
INFO - Atoms: 2985/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 77679 Tprops: 0 Decides: 26 RSplits: 0
INFO - Times: Expl: 10.78 Prop: 20.993 PropClause: 18.164 Set: 16.301 Check: 0.001 Back: 1.935
INFO - Atoms: 2981/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 80758 Tprops: 0 Decides: 27 RSplits: 0
INFO - Times: Expl: 10.99 Prop: 21.558 PropClause: 18.65 Set: 16.761 Check: 0.001 Back: 2.004
INFO - Atoms: 2983/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 83831 Tprops: 0 Decides: 28 RSplits: 0
INFO - Times: Expl: 11.155 Prop: 22.122 PropClause: 19.135 Set: 17.219 Check: 0.001 Back: 2.079
INFO - Atoms: 2979/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 86902 Tprops: 0 Decides: 29 RSplits: 0
INFO - Times: Expl: 11.32 Prop: 22.668 PropClause: 19.603 Set: 17.682 Check: 0.001 Back: 2.148
INFO - Atoms: 2977/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 89971 Tprops: 0 Decides: 30 RSplits: 0
INFO - Times: Expl: 11.49 Prop: 23.229 PropClause: 20.084 Set: 18.141 Check: 0.001 Back: 2.223
INFO - Atoms: 2975/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 93034 Tprops: 0 Decides: 31 RSplits: 0
INFO - Times: Expl: 11.661 Prop: 23.769 PropClause: 20.547 Set: 18.593 Check: 0.001 Back: 2.293
INFO - Atoms: 2971/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 96097 Tprops: 0 Decides: 32 RSplits: 0
INFO - Times: Expl: 11.901 Prop: 24.369 PropClause: 21.069 Set: 18.897 Check: 0.001 Back: 2.362
INFO - Atoms: 2970/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 99156 Tprops: 0 Decides: 33 RSplits: 0
INFO - Times: Expl: 12.142 Prop: 25.074 PropClause: 21.662 Set: 19.275 Check: 0.002 Back: 2.441
INFO - Atoms: 2967/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 102213 Tprops: 0 Decides: 34 RSplits: 0
INFO - Times: Expl: 12.394 Prop: 25.858 PropClause: 22.351 Set: 19.659 Check: 0.002 Back: 2.517
INFO - Atoms: 2965/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 105266 Tprops: 0 Decides: 35 RSplits: 0
INFO - Times: Expl: 12.554 Prop: 26.398 PropClause: 22.813 Set: 19.958 Check: 0.002 Back: 2.595
INFO - Atoms: 2962/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 108317 Tprops: 0 Decides: 36 RSplits: 0
INFO - Times: Expl: 13.011 Prop: 27.13 PropClause: 23.449 Set: 20.35 Check: 0.002 Back: 2.664
INFO - Atoms: 2960/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 111362 Tprops: 0 Decides: 37 RSplits: 0
INFO - Times: Expl: 13.139 Prop: 27.831 PropClause: 24.056 Set: 20.747 Check: 0.002 Back: 2.741
INFO - Atoms: 2956/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 114405 Tprops: 0 Decides: 38 RSplits: 0
INFO - Times: Expl: 13.231 Prop: 28.397 PropClause: 24.542 Set: 21.048 Check: 0.002 Back: 2.817
INFO - Atoms: 2954/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 117446 Tprops: 0 Decides: 39 RSplits: 0
INFO - Times: Expl: 13.36 Prop: 29.046 PropClause: 25.1 Set: 21.424 Check: 0.002 Back: 2.892
INFO - Atoms: 2952/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 120481 Tprops: 0 Decides: 40 RSplits: 0
INFO - Times: Expl: 13.457 Prop: 29.652 PropClause: 25.628 Set: 21.718 Check: 0.002 Back: 2.969
INFO - Atoms: 2948/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 123518 Tprops: 0 Decides: 41 RSplits: 0
INFO - Times: Expl: 13.551 Prop: 30.252 PropClause: 26.149 Set: 22.014 Check: 0.002 Back: 3.043
INFO - Atoms: 2948/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 126545 Tprops: 0 Decides: 42 RSplits: 0
INFO - Times: Expl: 13.645 Prop: 30.827 PropClause: 26.646 Set: 22.311 Check: 0.002 Back: 3.116
INFO - Atoms: 2942/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 129578 Tprops: 0 Decides: 43 RSplits: 0
INFO - Times: Expl: 13.768 Prop: 31.452 PropClause: 27.192 Set: 22.61 Check: 0.002 Back: 3.19
INFO - Atoms: 2944/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 132597 Tprops: 0 Decides: 44 RSplits: 0
INFO - Times: Expl: 13.907 Prop: 32.013 PropClause: 27.674 Set: 22.901 Check: 0.002 Back: 3.266
INFO - Atoms: 2936/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 135626 Tprops: 0 Decides: 45 RSplits: 0
INFO - Times: Expl: 14.07 Prop: 32.702 PropClause: 28.272 Set: 23.296 Check: 0.002 Back: 3.34
INFO - Atoms: 2940/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 138641 Tprops: 0 Decides: 46 RSplits: 0
INFO - Times: Expl: 14.187 Prop: 33.376 PropClause: 28.853 Set: 23.671 Check: 0.002 Back: 3.416
INFO - Atoms: 2933/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 141668 Tprops: 0 Decides: 47 RSplits: 0
INFO - Times: Expl: 14.44 Prop: 33.915 PropClause: 29.314 Set: 23.966 Check: 0.002 Back: 3.492
INFO - Atoms: 2938/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 144675 Tprops: 0 Decides: 48 RSplits: 0
INFO - Times: Expl: 14.519 Prop: 34.456 PropClause: 29.779 Set: 24.255 Check: 0.002 Back: 3.56
INFO - Atoms: 2927/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 147696 Tprops: 0 Decides: 49 RSplits: 0
INFO - Times: Expl: 14.605 Prop: 34.995 PropClause: 30.239 Set: 24.552 Check: 0.002 Back: 3.629
INFO - Atoms: 2933/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 150699 Tprops: 0 Decides: 50 RSplits: 0
INFO - Times: Expl: 14.694 Prop: 35.532 PropClause: 30.699 Set: 24.839 Check: 0.002 Back: 3.698
INFO - Atoms: 2923/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 153712 Tprops: 0 Decides: 51 RSplits: 0
INFO - Times: Expl: 15.054 Prop: 36.122 PropClause: 31.212 Set: 25.285 Check: 0.002 Back: 3.767
INFO - Atoms: 2928/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 156695 Tprops: 0 Decides: 52 RSplits: 0
INFO - Times: Expl: 15.146 Prop: 36.672 PropClause: 31.686 Set: 25.73 Check: 0.002 Back: 3.834
INFO - Atoms: 2912/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 159706 Tprops: 0 Decides: 53 RSplits: 0
INFO - Times: Expl: 15.24 Prop: 37.294 PropClause: 32.229 Set: 26.022 Check: 0.002 Back: 3.907
INFO - Atoms: 2926/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 162687 Tprops: 0 Decides: 54 RSplits: 0
INFO - Times: Expl: 15.332 Prop: 37.894 PropClause: 32.752 Set: 26.31 Check: 0.002 Back: 3.975
INFO - Atoms: 2910/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 165694 Tprops: 0 Decides: 55 RSplits: 0
INFO - Times: Expl: 15.425 Prop: 38.436 PropClause: 33.218 Set: 26.603 Check: 0.003 Back: 4.042
INFO - Atoms: 2923/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 168671 Tprops: 0 Decides: 56 RSplits: 0
INFO - Times: Expl: 15.515 Prop: 38.992 PropClause: 33.696 Set: 26.889 Check: 0.003 Back: 4.114
INFO - Atoms: 2907/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 171674 Tprops: 0 Decides: 57 RSplits: 0
INFO - Times: Expl: 15.621 Prop: 39.765 PropClause: 34.382 Set: 27.213 Check: 0.003 Back: 4.184
INFO - Atoms: 2919/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 174643 Tprops: 0 Decides: 58 RSplits: 0
INFO - Times: Expl: 15.749 Prop: 40.497 PropClause: 35.024 Set: 27.577 Check: 0.003 Back: 4.252
INFO - Atoms: 2901/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 177644 Tprops: 0 Decides: 59 RSplits: 0
INFO - Times: Expl: 15.881 Prop: 41.232 PropClause: 35.668 Set: 27.949 Check: 0.003 Back: 4.329
INFO - Atoms: 2917/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 180609 Tprops: 0 Decides: 60 RSplits: 0
INFO - Times: Expl: 16.012 Prop: 41.942 PropClause: 36.287 Set: 28.328 Check: 0.003 Back: 4.404
INFO - Atoms: 2898/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 183809 Tprops: 0 Decides: 65 RSplits: 0
INFO - Times: Expl: 16.442 Prop: 42.701 PropClause: 36.952 Set: 28.642 Check: 0.003 Back: 4.486
INFO - Atoms: 2886/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 187003 Tprops: 0 Decides: 67 RSplits: 0
INFO - Times: Expl: 16.605 Prop: 43.356 PropClause: 37.515 Set: 28.95 Check: 0.003 Back: 4.557
INFO - Atoms: 2934/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 190195 Tprops: 0 Decides: 69 RSplits: 0
INFO - Times: Expl: 16.715 Prop: 44.028 PropClause: 38.063 Set: 29.261 Check: 0.003 Back: 4.635
INFO - Atoms: 2932/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 193381 Tprops: 0 Decides: 71 RSplits: 0
INFO - Times: Expl: 16.816 Prop: 44.666 PropClause: 38.622 Set: 29.562 Check: 0.003 Back: 4.707
INFO - Atoms: 2928/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 196414 Tprops: 0 Decides: 72 RSplits: 0
INFO - Times: Expl: 16.905 Prop: 45.226 PropClause: 39.105 Set: 29.861 Check: 0.003 Back: 4.775
INFO - Atoms: 2928/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 199437 Tprops: 0 Decides: 73 RSplits: 0
INFO - Times: Expl: 16.996 Prop: 45.895 PropClause: 39.697 Set: 30.161 Check: 0.003 Back: 4.849
INFO - Atoms: 2922/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 202464 Tprops: 0 Decides: 74 RSplits: 0
INFO - Times: Expl: 17.089 Prop: 46.498 PropClause: 40.222 Set: 30.459 Check: 0.003 Back: 4.922
INFO - Atoms: 2923/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 205481 Tprops: 0 Decides: 75 RSplits: 0
INFO - Times: Expl: 17.215 Prop: 47.235 PropClause: 40.87 Set: 30.843 Check: 0.003 Back: 4.991
INFO - Atoms: 2917/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 208502 Tprops: 0 Decides: 76 RSplits: 0
INFO - Times: Expl: 17.306 Prop: 47.805 PropClause: 41.362 Set: 31.14 Check: 0.003 Back: 5.066
INFO - Atoms: 2918/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 211515 Tprops: 0 Decides: 77 RSplits: 0
INFO - Times: Expl: 17.393 Prop: 48.367 PropClause: 41.842 Set: 31.434 Check: 0.003 Back: 5.135
INFO - Atoms: 2913/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 214530 Tprops: 0 Decides: 78 RSplits: 0
INFO - Times: Expl: 17.482 Prop: 48.899 PropClause: 42.297 Set: 31.742 Check: 0.003 Back: 5.203
INFO - Atoms: 2913/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 217537 Tprops: 0 Decides: 79 RSplits: 0
INFO - Times: Expl: 17.615 Prop: 49.464 PropClause: 42.787 Set: 32.038 Check: 0.003 Back: 5.27
INFO - Atoms: 2908/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 220544 Tprops: 0 Decides: 80 RSplits: 0
INFO - Times: Expl: 17.768 Prop: 50.015 PropClause: 43.26 Set: 32.335 Check: 0.003 Back: 5.343
INFO - Atoms: 2907/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 223545 Tprops: 0 Decides: 81 RSplits: 0
INFO - Times: Expl: 17.856 Prop: 50.571 PropClause: 43.74 Set: 32.628 Check: 0.003 Back: 5.412
INFO - Atoms: 2903/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 226546 Tprops: 0 Decides: 82 RSplits: 0
INFO - Times: Expl: 17.989 Prop: 51.263 PropClause: 44.345 Set: 33.007 Check: 0.003 Back: 5.48
INFO - Atoms: 2902/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 229541 Tprops: 0 Decides: 83 RSplits: 0
INFO - Times: Expl: 18.105 Prop: 51.832 PropClause: 44.838 Set: 33.301 Check: 0.003 Back: 5.555
INFO - Atoms: 2898/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 232538 Tprops: 0 Decides: 84 RSplits: 0
INFO - Times: Expl: 18.226 Prop: 52.447 PropClause: 45.377 Set: 33.594 Check: 0.003 Back: 5.623
INFO - Atoms: 2898/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 235527 Tprops: 0 Decides: 85 RSplits: 0
INFO - Times: Expl: 18.313 Prop: 52.998 PropClause: 45.853 Set: 33.884 Check: 0.004 Back: 5.69
INFO - Atoms: 2893/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 238516 Tprops: 0 Decides: 86 RSplits: 0
INFO - Times: Expl: 18.404 Prop: 53.575 PropClause: 46.354 Set: 34.176 Check: 0.004 Back: 5.756
INFO - Atoms: 2892/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 241501 Tprops: 0 Decides: 87 RSplits: 0
INFO - Times: Expl: 18.496 Prop: 54.136 PropClause: 46.839 Set: 34.466 Check: 0.004 Back: 5.823
INFO - Atoms: 2889/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 244484 Tprops: 0 Decides: 88 RSplits: 0
INFO - Times: Expl: 18.586 Prop: 54.709 PropClause: 47.338 Set: 34.759 Check: 0.004 Back: 5.891
INFO - Atoms: 2887/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 247463 Tprops: 0 Decides: 89 RSplits: 0
INFO - Times: Expl: 18.685 Prop: 55.295 PropClause: 47.849 Set: 35.056 Check: 0.004 Back: 5.961
INFO - Atoms: 2884/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 250442 Tprops: 0 Decides: 90 RSplits: 0
INFO - Times: Expl: 18.773 Prop: 55.868 PropClause: 48.347 Set: 35.345 Check: 0.004 Back: 6.028
INFO - Atoms: 2883/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 253413 Tprops: 0 Decides: 91 RSplits: 0
INFO - Times: Expl: 18.861 Prop: 56.419 PropClause: 48.823 Set: 35.636 Check: 0.004 Back: 6.095
INFO - Atoms: 2878/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 256386 Tprops: 0 Decides: 92 RSplits: 0
INFO - Times: Expl: 18.988 Prop: 56.966 PropClause: 49.295 Set: 35.926 Check: 0.004 Back: 6.162
INFO - Atoms: 2878/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 259353 Tprops: 0 Decides: 93 RSplits: 0
INFO - Times: Expl: 19.111 Prop: 57.508 PropClause: 49.762 Set: 36.218 Check: 0.004 Back: 6.234
INFO - Atoms: 2874/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 262320 Tprops: 0 Decides: 94 RSplits: 0
INFO - Times: Expl: 19.203 Prop: 58.058 PropClause: 50.237 Set: 36.507 Check: 0.004 Back: 6.308
INFO - Atoms: 2873/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 265281 Tprops: 0 Decides: 95 RSplits: 0
INFO - Times: Expl: 19.293 Prop: 58.66 PropClause: 50.763 Set: 36.798 Check: 0.004 Back: 6.381
INFO - Atoms: 2869/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 268240 Tprops: 0 Decides: 96 RSplits: 0
INFO - Times: Expl: 19.387 Prop: 59.214 PropClause: 51.243 Set: 37.089 Check: 0.004 Back: 6.449
INFO - Atoms: 2867/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 271197 Tprops: 0 Decides: 97 RSplits: 0
INFO - Times: Expl: 19.477 Prop: 59.791 PropClause: 51.746 Set: 37.377 Check: 0.004 Back: 6.515
INFO - Atoms: 2865/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 274148 Tprops: 0 Decides: 98 RSplits: 0
INFO - Times: Expl: 19.565 Prop: 60.354 PropClause: 52.234 Set: 37.663 Check: 0.004 Back: 6.582
INFO - Atoms: 2861/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 277101 Tprops: 0 Decides: 99 RSplits: 0
INFO - Times: Expl: 19.655 Prop: 60.9 PropClause: 52.705 Set: 37.954 Check: 0.004 Back: 6.649
INFO - Atoms: 2861/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 280046 Tprops: 0 Decides: 100 RSplits: 0
INFO - Times: Expl: 19.745 Prop: 61.534 PropClause: 53.265 Set: 38.239 Check: 0.004 Back: 6.717
INFO - Atoms: 2856/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 282993 Tprops: 0 Decides: 101 RSplits: 0
INFO - Times: Expl: 19.873 Prop: 62.286 PropClause: 53.93 Set: 38.603 Check: 0.004 Back: 6.786
INFO - Atoms: 2856/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 285930 Tprops: 0 Decides: 102 RSplits: 0
INFO - Times: Expl: 19.999 Prop: 63.002 PropClause: 54.557 Set: 38.954 Check: 0.004 Back: 6.859
INFO - Atoms: 2850/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 288871 Tprops: 0 Decides: 103 RSplits: 0
INFO - Times: Expl: 20.311 Prop: 63.582 PropClause: 55.061 Set: 39.239 Check: 0.004 Back: 6.935
INFO - Atoms: 2851/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 291802 Tprops: 0 Decides: 104 RSplits: 0
INFO - Times: Expl: 20.392 Prop: 64.139 PropClause: 55.543 Set: 39.524 Check: 0.004 Back: 7.003
INFO - Atoms: 2845/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 294739 Tprops: 0 Decides: 105 RSplits: 0
INFO - Times: Expl: 20.473 Prop: 64.739 PropClause: 56.067 Set: 39.811 Check: 0.004 Back: 7.071
INFO - Atoms: 2847/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 297662 Tprops: 0 Decides: 106 RSplits: 0
INFO - Times: Expl: 20.553 Prop: 65.29 PropClause: 56.544 Set: 40.092 Check: 0.004 Back: 7.138
INFO - Atoms: 2839/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 300593 Tprops: 0 Decides: 107 RSplits: 0
INFO - Times: Expl: 20.633 Prop: 65.87 PropClause: 57.052 Set: 40.372 Check: 0.004 Back: 7.214
INFO - Atoms: 2842/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 303510 Tprops: 0 Decides: 108 RSplits: 0
INFO - Times: Expl: 20.714 Prop: 66.44 PropClause: 57.548 Set: 40.65 Check: 0.004 Back: 7.282
INFO - Atoms: 2834/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 306437 Tprops: 0 Decides: 109 RSplits: 0
INFO - Times: Expl: 20.792 Prop: 66.985 PropClause: 58.019 Set: 40.931 Check: 0.004 Back: 7.349
INFO - Atoms: 2838/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 309348 Tprops: 0 Decides: 110 RSplits: 0
INFO - Times: Expl: 20.868 Prop: 67.518 PropClause: 58.48 Set: 41.209 Check: 0.004 Back: 7.415
INFO - Atoms: 2829/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 312269 Tprops: 0 Decides: 111 RSplits: 0
INFO - Times: Expl: 20.988 Prop: 68.096 PropClause: 58.982 Set: 41.488 Check: 0.004 Back: 7.482
INFO - Atoms: 2833/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 315172 Tprops: 0 Decides: 112 RSplits: 0
INFO - Times: Expl: 21.106 Prop: 68.634 PropClause: 59.447 Set: 41.765 Check: 0.004 Back: 7.553
INFO - Atoms: 2823/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 318091 Tprops: 0 Decides: 113 RSplits: 0
INFO - Times: Expl: 21.221 Prop: 69.279 PropClause: 60.019 Set: 42.043 Check: 0.004 Back: 7.618
INFO - Atoms: 2831/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 320992 Tprops: 0 Decides: 114 RSplits: 0
INFO - Times: Expl: 21.302 Prop: 69.875 PropClause: 60.54 Set: 42.327 Check: 0.004 Back: 7.684
INFO - Atoms: 2821/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 323907 Tprops: 0 Decides: 115 RSplits: 0
INFO - Times: Expl: 21.38 Prop: 70.445 PropClause: 61.027 Set: 42.609 Check: 0.005 Back: 7.749
INFO - Atoms: 2828/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 326806 Tprops: 0 Decides: 116 RSplits: 0
INFO - Times: Expl: 21.459 Prop: 71.033 PropClause: 61.528 Set: 42.89 Check: 0.005 Back: 7.821
INFO - Atoms: 2819/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 329717 Tprops: 0 Decides: 117 RSplits: 0
INFO - Times: Expl: 21.541 Prop: 71.595 PropClause: 62.017 Set: 43.169 Check: 0.005 Back: 7.89
INFO - Atoms: 2825/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 332612 Tprops: 0 Decides: 118 RSplits: 0
INFO - Times: Expl: 21.651 Prop: 72.198 PropClause: 62.545 Set: 43.449 Check: 0.005 Back: 7.956
INFO - Atoms: 2816/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 335519 Tprops: 0 Decides: 119 RSplits: 0
INFO - Times: Expl: 21.765 Prop: 72.779 PropClause: 63.052 Set: 43.733 Check: 0.005 Back: 8.026
INFO - Atoms: 2821/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 338725 Tprops: 0 Decides: 123 RSplits: 0
INFO - Times: Expl: 21.905 Prop: 73.434 PropClause: 63.625 Set: 44.014 Check: 0.005 Back: 8.102
INFO - Atoms: 2790/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 341822 Tprops: 0 Decides: 125 RSplits: 0
INFO - Times: Expl: 22.046 Prop: 74.102 PropClause: 64.214 Set: 44.306 Check: 0.005 Back: 8.177
INFO - Atoms: 2838/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 344917 Tprops: 0 Decides: 127 RSplits: 0
INFO - Times: Expl: 22.131 Prop: 74.72 PropClause: 64.753 Set: 44.593 Check: 0.005 Back: 8.25
INFO - Atoms: 2836/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 348008 Tprops: 0 Decides: 129 RSplits: 0
INFO - Times: Expl: 22.217 Prop: 75.355 PropClause: 65.309 Set: 44.885 Check: 0.005 Back: 8.32
INFO - Atoms: 2833/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 350941 Tprops: 0 Decides: 130 RSplits: 0
INFO - Times: Expl: 22.289 Prop: 75.889 PropClause: 65.769 Set: 45.168 Check: 0.005 Back: 8.386
INFO - Atoms: 2830/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 353874 Tprops: 0 Decides: 131 RSplits: 0
INFO - Times: Expl: 22.368 Prop: 76.45 PropClause: 66.255 Set: 45.452 Check: 0.005 Back: 8.452
INFO - Atoms: 2829/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 356799 Tprops: 0 Decides: 132 RSplits: 0
INFO - Times: Expl: 22.476 Prop: 76.989 PropClause: 66.72 Set: 45.735 Check: 0.005 Back: 8.519
INFO - Atoms: 2824/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 359726 Tprops: 0 Decides: 133 RSplits: 0
INFO - Times: Expl: 22.57 Prop: 77.622 PropClause: 67.279 Set: 46.018 Check: 0.005 Back: 8.589
INFO - Atoms: 2824/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 362645 Tprops: 0 Decides: 134 RSplits: 0
INFO - Times: Expl: 22.668 Prop: 78.193 PropClause: 67.775 Set: 46.301 Check: 0.005 Back: 8.662
INFO - Atoms: 2819/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 365568 Tprops: 0 Decides: 135 RSplits: 0
INFO - Times: Expl: 22.741 Prop: 78.804 PropClause: 68.313 Set: 46.582 Check: 0.005 Back: 8.727
INFO - Atoms: 2820/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 368481 Tprops: 0 Decides: 136 RSplits: 0
INFO - Times: Expl: 22.813 Prop: 79.344 PropClause: 68.778 Set: 46.864 Check: 0.005 Back: 8.793
INFO - Atoms: 2814/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 371396 Tprops: 0 Decides: 137 RSplits: 0
INFO - Times: Expl: 22.886 Prop: 79.903 PropClause: 69.264 Set: 47.146 Check: 0.005 Back: 8.858
INFO - Atoms: 2814/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 374303 Tprops: 0 Decides: 138 RSplits: 0
INFO - Times: Expl: 22.962 Prop: 80.469 PropClause: 69.754 Set: 47.425 Check: 0.005 Back: 8.924
INFO - Atoms: 2809/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 377214 Tprops: 0 Decides: 139 RSplits: 0
INFO - Times: Expl: 23.041 Prop: 81.066 PropClause: 70.277 Set: 47.706 Check: 0.005 Back: 8.99
INFO - Atoms: 2810/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 380115 Tprops: 0 Decides: 140 RSplits: 0
INFO - Times: Expl: 23.114 Prop: 81.621 PropClause: 70.759 Set: 47.987 Check: 0.005 Back: 9.056
INFO - Atoms: 2804/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 383020 Tprops: 0 Decides: 141 RSplits: 0
INFO - Times: Expl: 23.188 Prop: 82.203 PropClause: 71.268 Set: 48.268 Check: 0.005 Back: 9.122
INFO - Atoms: 2805/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 385915 Tprops: 0 Decides: 142 RSplits: 0
INFO - Times: Expl: 23.26 Prop: 82.736 PropClause: 71.728 Set: 48.548 Check: 0.005 Back: 9.187
INFO - Atoms: 2799/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 388814 Tprops: 0 Decides: 143 RSplits: 0
INFO - Times: Expl: 23.336 Prop: 83.262 PropClause: 72.179 Set: 48.827 Check: 0.005 Back: 9.257
INFO - Atoms: 2800/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 391703 Tprops: 0 Decides: 144 RSplits: 0
INFO - Times: Expl: 23.407 Prop: 83.796 PropClause: 72.64 Set: 49.108 Check: 0.006 Back: 9.322
INFO - Atoms: 2794/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 394594 Tprops: 0 Decides: 145 RSplits: 0
INFO - Times: Expl: 23.485 Prop: 84.321 PropClause: 73.09 Set: 49.383 Check: 0.006 Back: 9.392
INFO - Atoms: 2794/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 397479 Tprops: 0 Decides: 146 RSplits: 0
INFO - Times: Expl: 23.56 Prop: 84.919 PropClause: 73.615 Set: 49.661 Check: 0.006 Back: 9.458
INFO - Atoms: 2790/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 400362 Tprops: 0 Decides: 147 RSplits: 0
INFO - Times: Expl: 23.632 Prop: 85.451 PropClause: 74.074 Set: 49.938 Check: 0.006 Back: 9.523
INFO - Atoms: 2788/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 403241 Tprops: 0 Decides: 148 RSplits: 0
INFO - Times: Expl: 23.71 Prop: 86.013 PropClause: 74.562 Set: 50.213 Check: 0.006 Back: 9.587
INFO - Atoms: 2785/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 406120 Tprops: 0 Decides: 149 RSplits: 0
INFO - Times: Expl: 23.787 Prop: 86.55 PropClause: 75.025 Set: 50.488 Check: 0.006 Back: 9.653
INFO - Atoms: 2784/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 408993 Tprops: 0 Decides: 150 RSplits: 0
INFO - Times: Expl: 23.895 Prop: 87.08 PropClause: 75.481 Set: 50.766 Check: 0.006 Back: 9.718
INFO - Atoms: 2780/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 411864 Tprops: 0 Decides: 151 RSplits: 0
INFO - Times: Expl: 23.979 Prop: 87.608 PropClause: 75.937 Set: 51.04 Check: 0.006 Back: 9.79
INFO - Atoms: 2778/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 414733 Tprops: 0 Decides: 152 RSplits: 0
INFO - Times: Expl: 24.052 Prop: 88.132 PropClause: 76.387 Set: 51.312 Check: 0.006 Back: 9.864
INFO - Atoms: 2776/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 417596 Tprops: 0 Decides: 153 RSplits: 0
INFO - Times: Expl: 24.124 Prop: 88.672 PropClause: 76.854 Set: 51.595 Check: 0.006 Back: 9.929
INFO - Atoms: 2772/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 420459 Tprops: 0 Decides: 154 RSplits: 0
INFO - Times: Expl: 24.193 Prop: 89.196 PropClause: 77.305 Set: 51.866 Check: 0.006 Back: 9.994
INFO - Atoms: 2771/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 423318 Tprops: 0 Decides: 155 RSplits: 0
INFO - Times: Expl: 24.268 Prop: 89.727 PropClause: 77.761 Set: 52.142 Check: 0.006 Back: 10.059
INFO - Atoms: 2768/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 426173 Tprops: 0 Decides: 156 RSplits: 0
INFO - Times: Expl: 24.339 Prop: 90.319 PropClause: 78.282 Set: 52.412 Check: 0.006 Back: 10.125
INFO - Atoms: 2765/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 429028 Tprops: 0 Decides: 157 RSplits: 0
INFO - Times: Expl: 24.407 Prop: 90.865 PropClause: 78.754 Set: 52.687 Check: 0.006 Back: 10.199
INFO - Atoms: 2764/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 431877 Tprops: 0 Decides: 158 RSplits: 0
INFO - Times: Expl: 24.473 Prop: 91.39 PropClause: 79.207 Set: 52.957 Check: 0.006 Back: 10.263
INFO - Atoms: 2760/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 434726 Tprops: 0 Decides: 159 RSplits: 0
INFO - Times: Expl: 24.54 Prop: 91.92 PropClause: 79.665 Set: 53.236 Check: 0.006 Back: 10.327
INFO - Atoms: 2759/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 437567 Tprops: 0 Decides: 160 RSplits: 0
INFO - Times: Expl: 24.611 Prop: 92.484 PropClause: 80.155 Set: 53.522 Check: 0.006 Back: 10.391
INFO - Atoms: 2754/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 440410 Tprops: 0 Decides: 161 RSplits: 0
INFO - Times: Expl: 24.68 Prop: 93.04 PropClause: 80.638 Set: 53.792 Check: 0.006 Back: 10.456
INFO - Atoms: 2754/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 443245 Tprops: 0 Decides: 162 RSplits: 0
INFO - Times: Expl: 24.744 Prop: 93.572 PropClause: 81.098 Set: 54.061 Check: 0.006 Back: 10.52
INFO - Atoms: 2749/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 446082 Tprops: 0 Decides: 163 RSplits: 0
INFO - Times: Expl: 24.812 Prop: 94.101 PropClause: 81.555 Set: 54.332 Check: 0.006 Back: 10.584
INFO - Atoms: 2749/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 448911 Tprops: 0 Decides: 164 RSplits: 0
INFO - Times: Expl: 24.882 Prop: 94.623 PropClause: 82.006 Set: 54.6 Check: 0.006 Back: 10.653
INFO - Atoms: 2744/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 451742 Tprops: 0 Decides: 165 RSplits: 0
INFO - Times: Expl: 24.951 Prop: 95.156 PropClause: 82.467 Set: 54.864 Check: 0.006 Back: 10.717
INFO - Atoms: 2744/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 454565 Tprops: 0 Decides: 166 RSplits: 0
INFO - Times: Expl: 25.018 Prop: 95.718 PropClause: 82.959 Set: 55.129 Check: 0.006 Back: 10.781
INFO - Atoms: 2739/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 457392 Tprops: 0 Decides: 167 RSplits: 0
INFO - Times: Expl: 25.087 Prop: 96.285 PropClause: 83.453 Set: 55.396 Check: 0.006 Back: 10.846
INFO - Atoms: 2740/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 460207 Tprops: 0 Decides: 168 RSplits: 0
INFO - Times: Expl: 25.152 Prop: 96.807 PropClause: 83.903 Set: 55.662 Check: 0.006 Back: 10.909
INFO - Atoms: 2733/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 463030 Tprops: 0 Decides: 169 RSplits: 0
INFO - Times: Expl: 25.221 Prop: 97.342 PropClause: 84.366 Set: 55.929 Check: 0.006 Back: 10.972
INFO - Atoms: 2736/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 465837 Tprops: 0 Decides: 170 RSplits: 0
INFO - Times: Expl: 25.288 Prop: 97.87 PropClause: 84.823 Set: 56.191 Check: 0.006 Back: 11.036
INFO - Atoms: 2727/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 468658 Tprops: 0 Decides: 171 RSplits: 0
INFO - Times: Expl: 25.357 Prop: 98.392 PropClause: 85.273 Set: 56.46 Check: 0.006 Back: 11.099
INFO - Atoms: 2734/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 471463 Tprops: 0 Decides: 172 RSplits: 0
INFO - Times: Expl: 25.426 Prop: 98.925 PropClause: 85.734 Set: 56.724 Check: 0.006 Back: 11.162
INFO - Atoms: 2725/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 474276 Tprops: 0 Decides: 173 RSplits: 0
INFO - Times: Expl: 25.494 Prop: 99.432 PropClause: 86.17 Set: 56.987 Check: 0.006 Back: 11.226
INFO - Atoms: 2728/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 477077 Tprops: 0 Decides: 174 RSplits: 0
INFO - Times: Expl: 25.563 Prop: 99.958 PropClause: 86.624 Set: 57.262 Check: 0.007 Back: 11.289
INFO - Atoms: 2721/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 479882 Tprops: 0 Decides: 175 RSplits: 0
INFO - Times: Expl: 25.634 Prop: 100.571 PropClause: 87.166 Set: 57.524 Check: 0.007 Back: 11.353
INFO - Atoms: 2722/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 482679 Tprops: 0 Decides: 176 RSplits: 0
INFO - Times: Expl: 25.702 Prop: 101.112 PropClause: 87.634 Set: 57.798 Check: 0.007 Back: 11.416
INFO - Atoms: 2717/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 485478 Tprops: 0 Decides: 177 RSplits: 0
INFO - Times: Expl: 25.77 Prop: 101.682 PropClause: 88.121 Set: 58.059 Check: 0.007 Back: 11.479
INFO - Atoms: 2717/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 488688 Tprops: 0 Decides: 181 RSplits: 0
INFO - Times: Expl: 25.879 Prop: 102.387 PropClause: 88.744 Set: 58.327 Check: 0.007 Back: 11.553
INFO - Atoms: 2690/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 491687 Tprops: 0 Decides: 183 RSplits: 0
INFO - Times: Expl: 25.961 Prop: 103.029 PropClause: 89.309 Set: 58.605 Check: 0.007 Back: 11.619
INFO - Atoms: 2738/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 494682 Tprops: 0 Decides: 185 RSplits: 0
INFO - Times: Expl: 26.045 Prop: 103.62 PropClause: 89.824 Set: 58.886 Check: 0.007 Back: 11.687
INFO - Atoms: 2735/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 497679 Tprops: 0 Decides: 187 RSplits: 0
INFO - Times: Expl: 26.128 Prop: 104.232 PropClause: 90.36 Set: 59.164 Check: 0.007 Back: 11.755
INFO - Atoms: 2736/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 500516 Tprops: 0 Decides: 188 RSplits: 0
INFO - Times: Expl: 26.218 Prop: 104.86 PropClause: 90.905 Set: 59.51 Check: 0.007 Back: 11.82
INFO - Atoms: 2733/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 503349 Tprops: 0 Decides: 189 RSplits: 0
INFO - Times: Expl: 26.29 Prop: 105.387 PropClause: 91.36 Set: 59.78 Check: 0.007 Back: 11.89
INFO - Atoms: 2730/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 506184 Tprops: 0 Decides: 190 RSplits: 0
INFO - Times: Expl: 26.364 Prop: 105.954 PropClause: 91.855 Set: 60.05 Check: 0.007 Back: 11.953
INFO - Atoms: 2731/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 509017 Tprops: 0 Decides: 191 RSplits: 0
INFO - Times: Expl: 26.436 Prop: 106.456 PropClause: 92.284 Set: 60.321 Check: 0.007 Back: 12.019
INFO - Atoms: 2730/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 511852 Tprops: 0 Decides: 192 RSplits: 0
INFO - Times: Expl: 26.51 Prop: 106.981 PropClause: 92.736 Set: 60.593 Check: 0.007 Back: 12.083
INFO - Atoms: 2731/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 514685 Tprops: 0 Decides: 193 RSplits: 0
INFO - Times: Expl: 26.582 Prop: 107.525 PropClause: 93.209 Set: 60.867 Check: 0.007 Back: 12.147
INFO - Atoms: 2730/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 517516 Tprops: 0 Decides: 194 RSplits: 0
INFO - Times: Expl: 26.655 Prop: 108.041 PropClause: 93.654 Set: 61.136 Check: 0.007 Back: 12.21
INFO - Atoms: 2728/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 520345 Tprops: 0 Decides: 195 RSplits: 0
INFO - Times: Expl: 26.723 Prop: 108.656 PropClause: 94.196 Set: 61.404 Check: 0.007 Back: 12.278
INFO - Atoms: 2726/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 523168 Tprops: 0 Decides: 196 RSplits: 0
INFO - Times: Expl: 26.79 Prop: 109.197 PropClause: 94.666 Set: 61.671 Check: 0.007 Back: 12.341
INFO - Atoms: 2722/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 525991 Tprops: 0 Decides: 197 RSplits: 0
INFO - Times: Expl: 26.859 Prop: 109.725 PropClause: 95.122 Set: 61.939 Check: 0.007 Back: 12.405
INFO - Atoms: 2721/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 528808 Tprops: 0 Decides: 198 RSplits: 0
INFO - Times: Expl: 26.927 Prop: 110.241 PropClause: 95.568 Set: 62.205 Check: 0.007 Back: 12.468
INFO - Atoms: 2717/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 531627 Tprops: 0 Decides: 199 RSplits: 0
INFO - Times: Expl: 26.998 Prop: 110.815 PropClause: 96.071 Set: 62.471 Check: 0.007 Back: 12.532
INFO - Atoms: 2717/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 534436 Tprops: 0 Decides: 200 RSplits: 0
INFO - Times: Expl: 27.064 Prop: 111.327 PropClause: 96.512 Set: 62.732 Check: 0.007 Back: 12.595
INFO - Atoms: 2711/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 537249 Tprops: 0 Decides: 201 RSplits: 0
INFO - Times: Expl: 27.133 Prop: 111.867 PropClause: 96.981 Set: 62.996 Check: 0.007 Back: 12.658
INFO - Atoms: 2712/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 540054 Tprops: 0 Decides: 202 RSplits: 0
INFO - Times: Expl: 27.203 Prop: 112.399 PropClause: 97.441 Set: 63.26 Check: 0.008 Back: 12.723
INFO - Atoms: 2707/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 542861 Tprops: 0 Decides: 203 RSplits: 0
INFO - Times: Expl: 27.271 Prop: 112.94 PropClause: 97.91 Set: 63.526 Check: 0.008 Back: 12.786
INFO - Atoms: 2707/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 545660 Tprops: 0 Decides: 204 RSplits: 0
INFO - Times: Expl: 27.338 Prop: 113.471 PropClause: 98.369 Set: 63.791 Check: 0.008 Back: 12.849
INFO - Atoms: 2702/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 548459 Tprops: 0 Decides: 205 RSplits: 0
INFO - Times: Expl: 27.409 Prop: 114.01 PropClause: 98.837 Set: 64.053 Check: 0.008 Back: 12.912
INFO - Atoms: 2701/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 551254 Tprops: 0 Decides: 206 RSplits: 0
INFO - Times: Expl: 27.479 Prop: 114.525 PropClause: 99.282 Set: 64.324 Check: 0.008 Back: 12.974
INFO - Atoms: 2698/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 554045 Tprops: 0 Decides: 207 RSplits: 0
INFO - Times: Expl: 27.556 Prop: 115.064 PropClause: 99.749 Set: 64.586 Check: 0.008 Back: 13.036
INFO - Atoms: 2695/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 556836 Tprops: 0 Decides: 208 RSplits: 0
INFO - Times: Expl: 27.626 Prop: 115.628 PropClause: 100.241 Set: 64.849 Check: 0.008 Back: 13.099
INFO - Atoms: 2694/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 559621 Tprops: 0 Decides: 209 RSplits: 0
INFO - Times: Expl: 27.698 Prop: 116.146 PropClause: 100.688 Set: 65.11 Check: 0.008 Back: 13.161
INFO - Atoms: 2690/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 562406 Tprops: 0 Decides: 210 RSplits: 0
INFO - Times: Expl: 27.766 Prop: 116.656 PropClause: 101.128 Set: 65.371 Check: 0.008 Back: 13.223
INFO - Atoms: 2689/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 565185 Tprops: 0 Decides: 211 RSplits: 0
INFO - Times: Expl: 27.835 Prop: 117.172 PropClause: 101.573 Set: 65.631 Check: 0.008 Back: 13.286
INFO - Atoms: 2685/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 567962 Tprops: 0 Decides: 212 RSplits: 0
INFO - Times: Expl: 27.904 Prop: 117.704 PropClause: 102.034 Set: 65.89 Check: 0.008 Back: 13.35
INFO - Atoms: 2683/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 570737 Tprops: 0 Decides: 213 RSplits: 0
INFO - Times: Expl: 27.975 Prop: 118.243 PropClause: 102.501 Set: 66.158 Check: 0.008 Back: 13.413
INFO - Atoms: 2681/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 573508 Tprops: 0 Decides: 214 RSplits: 0
INFO - Times: Expl: 28.047 Prop: 118.808 PropClause: 102.995 Set: 66.421 Check: 0.008 Back: 13.475
INFO - Atoms: 2678/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 576275 Tprops: 0 Decides: 215 RSplits: 0
INFO - Times: Expl: 28.117 Prop: 119.341 PropClause: 103.458 Set: 66.682 Check: 0.008 Back: 13.539
INFO - Atoms: 2675/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 579042 Tprops: 0 Decides: 216 RSplits: 0
INFO - Times: Expl: 28.188 Prop: 119.962 PropClause: 104.008 Set: 66.951 Check: 0.008 Back: 13.601
INFO - Atoms: 2674/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 581803 Tprops: 0 Decides: 217 RSplits: 0
INFO - Times: Expl: 28.256 Prop: 120.484 PropClause: 104.459 Set: 67.21 Check: 0.008 Back: 13.664
INFO - Atoms: 2670/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 584564 Tprops: 0 Decides: 218 RSplits: 0
INFO - Times: Expl: 28.325 Prop: 121.032 PropClause: 104.937 Set: 67.469 Check: 0.008 Back: 13.726
INFO - Atoms: 2669/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 587317 Tprops: 0 Decides: 219 RSplits: 0
INFO - Times: Expl: 28.391 Prop: 121.564 PropClause: 105.399 Set: 67.725 Check: 0.008 Back: 13.788
INFO - Atoms: 2664/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 590072 Tprops: 0 Decides: 220 RSplits: 0
INFO - Times: Expl: 28.458 Prop: 122.132 PropClause: 105.896 Set: 67.983 Check: 0.008 Back: 13.85
INFO - Atoms: 2664/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 592823 Tprops: 0 Decides: 221 RSplits: 0
INFO - Times: Expl: 28.527 Prop: 122.653 PropClause: 106.347 Set: 68.242 Check: 0.008 Back: 13.911
INFO - Atoms: 2661/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 595572 Tprops: 0 Decides: 222 RSplits: 0
INFO - Times: Expl: 28.596 Prop: 123.213 PropClause: 106.835 Set: 68.501 Check: 0.008 Back: 13.973
INFO - Atoms: 2659/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 598315 Tprops: 0 Decides: 223 RSplits: 0
INFO - Times: Expl: 28.664 Prop: 123.735 PropClause: 107.289 Set: 68.752 Check: 0.008 Back: 14.035
INFO - Atoms: 2655/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 601060 Tprops: 0 Decides: 224 RSplits: 0
INFO - Times: Expl: 28.727 Prop: 124.249 PropClause: 107.734 Set: 69.009 Check: 0.008 Back: 14.098
INFO - Atoms: 2655/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 603795 Tprops: 0 Decides: 225 RSplits: 0
INFO - Times: Expl: 28.793 Prop: 124.789 PropClause: 108.204 Set: 69.266 Check: 0.008 Back: 14.161
INFO - Atoms: 2649/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 606536 Tprops: 0 Decides: 226 RSplits: 0
INFO - Times: Expl: 28.859 Prop: 125.305 PropClause: 108.651 Set: 69.522 Check: 0.008 Back: 14.222
INFO - Atoms: 2651/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 609265 Tprops: 0 Decides: 227 RSplits: 0
INFO - Times: Expl: 28.932 Prop: 125.836 PropClause: 109.112 Set: 69.776 Check: 0.008 Back: 14.283
INFO - Atoms: 2644/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 611998 Tprops: 0 Decides: 228 RSplits: 0
INFO - Times: Expl: 28.999 Prop: 126.351 PropClause: 109.558 Set: 70.03 Check: 0.008 Back: 14.344
INFO - Atoms: 2645/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 614723 Tprops: 0 Decides: 229 RSplits: 0
INFO - Times: Expl: 29.064 Prop: 126.855 PropClause: 109.992 Set: 70.288 Check: 0.008 Back: 14.407
INFO - Atoms: 2640/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 617448 Tprops: 0 Decides: 230 RSplits: 0
INFO - Times: Expl: 29.133 Prop: 127.371 PropClause: 110.439 Set: 70.542 Check: 0.008 Back: 14.469
INFO - Atoms: 2639/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 620169 Tprops: 0 Decides: 231 RSplits: 0
INFO - Times: Expl: 29.203 Prop: 127.909 PropClause: 110.908 Set: 70.793 Check: 0.008 Back: 14.532
INFO - Atoms: 2636/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 622888 Tprops: 0 Decides: 232 RSplits: 0
INFO - Times: Expl: 29.269 Prop: 128.432 PropClause: 111.363 Set: 71.053 Check: 0.008 Back: 14.593
INFO - Atoms: 2634/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 625601 Tprops: 0 Decides: 233 RSplits: 0
INFO - Times: Expl: 29.334 Prop: 128.943 PropClause: 111.806 Set: 71.311 Check: 0.008 Back: 14.654
INFO - Atoms: 2630/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 628314 Tprops: 0 Decides: 234 RSplits: 0
INFO - Times: Expl: 29.399 Prop: 129.438 PropClause: 112.233 Set: 71.558 Check: 0.008 Back: 14.714
INFO - Atoms: 2629/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 631023 Tprops: 0 Decides: 235 RSplits: 0
INFO - Times: Expl: 29.468 Prop: 130.001 PropClause: 112.725 Set: 71.808 Check: 0.008 Back: 14.78
INFO - Atoms: 2626/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 634292 Tprops: 0 Decides: 240 RSplits: 0
INFO - Times: Expl: 29.613 Prop: 130.699 PropClause: 113.339 Set: 72.065 Check: 0.009 Back: 14.855
INFO - Atoms: 2596/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 637194 Tprops: 0 Decides: 242 RSplits: 0
INFO - Times: Expl: 29.69 Prop: 131.413 PropClause: 113.978 Set: 72.329 Check: 0.009 Back: 14.921
INFO - Atoms: 2644/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 640098 Tprops: 0 Decides: 244 RSplits: 0
INFO - Times: Expl: 29.767 Prop: 132.008 PropClause: 114.5 Set: 72.592 Check: 0.009 Back: 14.986
INFO - Atoms: 2645/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 643000 Tprops: 0 Decides: 246 RSplits: 0
INFO - Times: Expl: 29.844 Prop: 132.579 PropClause: 114.998 Set: 72.854 Check: 0.009 Back: 15.051
INFO - Atoms: 2644/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 645751 Tprops: 0 Decides: 247 RSplits: 0
INFO - Times: Expl: 29.948 Prop: 133.09 PropClause: 115.438 Set: 73.117 Check: 0.009 Back: 15.113
INFO - Atoms: 2645/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 648500 Tprops: 0 Decides: 248 RSplits: 0
INFO - Times: Expl: 30.06 Prop: 133.594 PropClause: 115.872 Set: 73.374 Check: 0.009 Back: 15.178
INFO - Atoms: 2644/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 651249 Tprops: 0 Decides: 249 RSplits: 0
INFO - Times: Expl: 30.151 Prop: 134.108 PropClause: 116.316 Set: 73.637 Check: 0.009 Back: 15.241
INFO - Atoms: 2643/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 653994 Tprops: 0 Decides: 250 RSplits: 0
INFO - Times: Expl: 30.217 Prop: 134.646 PropClause: 116.785 Set: 73.896 Check: 0.009 Back: 15.303
INFO - Atoms: 2641/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 656743 Tprops: 0 Decides: 251 RSplits: 0
INFO - Times: Expl: 30.284 Prop: 135.183 PropClause: 117.252 Set: 74.154 Check: 0.009 Back: 15.364
INFO - Atoms: 2643/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 659484 Tprops: 0 Decides: 252 RSplits: 0
INFO - Times: Expl: 30.353 Prop: 135.685 PropClause: 117.684 Set: 74.414 Check: 0.009 Back: 15.43
INFO - Atoms: 2638/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 662227 Tprops: 0 Decides: 253 RSplits: 0
INFO - Times: Expl: 30.418 Prop: 136.194 PropClause: 118.123 Set: 74.671 Check: 0.009 Back: 15.491
INFO - Atoms: 2638/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 454 Props: 664962 Tprops: 0 Decides: 254 RSplits: 0
INFO - Times: Expl: 30.484 Prop: 136.696 PropClause: 118.556 Set: 74.929 Check: 0.009 Back: 15.552
INFO - Atoms: 2633/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 456 Props: 667701 Tprops: 0 Decides: 255 RSplits: 0
INFO - Times: Expl: 30.549 Prop: 137.214 PropClause: 119.005 Set: 75.188 Check: 0.009 Back: 15.613
INFO - Atoms: 2634/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 458 Props: 670428 Tprops: 0 Decides: 256 RSplits: 0
INFO - Times: Expl: 30.613 Prop: 137.784 PropClause: 119.506 Set: 75.445 Check: 0.009 Back: 15.674
INFO - Atoms: 2627/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 673163 Tprops: 0 Decides: 257 RSplits: 0
INFO - Times: Expl: 30.68 Prop: 138.302 PropClause: 119.953 Set: 75.7 Check: 0.009 Back: 15.736
INFO - Atoms: 2630/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 675882 Tprops: 0 Decides: 258 RSplits: 0
INFO - Times: Expl: 30.748 Prop: 138.917 PropClause: 120.501 Set: 75.955 Check: 0.009 Back: 15.797
INFO - Atoms: 2621/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 464 Props: 678613 Tprops: 0 Decides: 259 RSplits: 0
INFO - Times: Expl: 30.815 Prop: 139.477 PropClause: 120.991 Set: 76.212 Check: 0.009 Back: 15.86
INFO - Atoms: 2626/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 466 Props: 681326 Tprops: 0 Decides: 260 RSplits: 0
INFO - Times: Expl: 30.89 Prop: 140.007 PropClause: 121.45 Set: 76.466 Check: 0.009 Back: 15.922
INFO - Atoms: 2616/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 468 Props: 684051 Tprops: 0 Decides: 261 RSplits: 0
INFO - Times: Expl: 30.958 Prop: 140.521 PropClause: 121.894 Set: 76.724 Check: 0.009 Back: 15.983
INFO - Atoms: 2621/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 470 Props: 686756 Tprops: 0 Decides: 262 RSplits: 0
INFO - Times: Expl: 31.026 Prop: 141.036 PropClause: 122.341 Set: 76.975 Check: 0.009 Back: 16.044
INFO - Atoms: 2610/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 472 Props: 689475 Tprops: 0 Decides: 263 RSplits: 0
INFO - Times: Expl: 31.093 Prop: 141.552 PropClause: 122.788 Set: 77.229 Check: 0.009 Back: 16.105
INFO - Atoms: 2616/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 474 Props: 692176 Tprops: 0 Decides: 264 RSplits: 0
INFO - Times: Expl: 31.16 Prop: 142.082 PropClause: 123.249 Set: 77.479 Check: 0.009 Back: 16.166
INFO - Atoms: 2606/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 476 Props: 694889 Tprops: 0 Decides: 265 RSplits: 0
INFO - Times: Expl: 31.23 Prop: 142.588 PropClause: 123.685 Set: 77.737 Check: 0.009 Back: 16.227
INFO - Atoms: 2611/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 478 Props: 697582 Tprops: 0 Decides: 266 RSplits: 0
INFO - Times: Expl: 31.296 Prop: 143.092 PropClause: 124.12 Set: 77.99 Check: 0.009 Back: 16.288
INFO - Atoms: 2600/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 480 Props: 700291 Tprops: 0 Decides: 267 RSplits: 0
INFO - Times: Expl: 31.365 Prop: 143.592 PropClause: 124.551 Set: 78.242 Check: 0.009 Back: 16.349
INFO - Atoms: 2607/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 482 Props: 702976 Tprops: 0 Decides: 268 RSplits: 0
INFO - Times: Expl: 31.434 Prop: 144.107 PropClause: 124.997 Set: 78.495 Check: 0.009 Back: 16.41
INFO - Atoms: 2594/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 484 Props: 705681 Tprops: 0 Decides: 269 RSplits: 0
INFO - Times: Expl: 31.502 Prop: 144.602 PropClause: 125.422 Set: 78.748 Check: 0.009 Back: 16.471
INFO - Atoms: 2603/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 486 Props: 708358 Tprops: 0 Decides: 270 RSplits: 0
INFO - Times: Expl: 31.568 Prop: 145.124 PropClause: 125.876 Set: 78.997 Check: 0.01 Back: 16.533
INFO - Atoms: 2588/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 488 Props: 711057 Tprops: 0 Decides: 271 RSplits: 0
INFO - Times: Expl: 31.637 Prop: 145.66 PropClause: 126.343 Set: 79.247 Check: 0.01 Back: 16.593
INFO - Atoms: 2598/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 490 Props: 713730 Tprops: 0 Decides: 272 RSplits: 0
INFO - Times: Expl: 31.7 Prop: 146.156 PropClause: 126.77 Set: 79.496 Check: 0.01 Back: 16.654
INFO - Atoms: 2584/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 492 Props: 716423 Tprops: 0 Decides: 273 RSplits: 0
INFO - Times: Expl: 31.765 Prop: 146.709 PropClause: 127.255 Set: 79.748 Check: 0.01 Back: 16.714
INFO - Atoms: 2593/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 494 Props: 719088 Tprops: 0 Decides: 274 RSplits: 0
INFO - Times: Expl: 31.828 Prop: 147.197 PropClause: 127.673 Set: 79.992 Check: 0.01 Back: 16.775
INFO - Atoms: 2578/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 496 Props: 721775 Tprops: 0 Decides: 275 RSplits: 0
INFO - Times: Expl: 31.893 Prop: 147.694 PropClause: 128.103 Set: 80.238 Check: 0.01 Back: 16.837
INFO - Atoms: 2588/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 498 Props: 724434 Tprops: 0 Decides: 276 RSplits: 0
INFO - Times: Expl: 31.956 Prop: 148.184 PropClause: 128.526 Set: 80.484 Check: 0.01 Back: 16.898
INFO - Atoms: 2573/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 500 Props: 727117 Tprops: 0 Decides: 277 RSplits: 0
INFO - Times: Expl: 32.022 Prop: 148.689 PropClause: 128.963 Set: 80.741 Check: 0.01 Back: 16.959
INFO - Atoms: 2584/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 502 Props: 729768 Tprops: 0 Decides: 278 RSplits: 0
INFO - Times: Expl: 32.088 Prop: 149.195 PropClause: 129.401 Set: 80.986 Check: 0.01 Back: 17.019
INFO - Atoms: 2567/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 504 Props: 732447 Tprops: 0 Decides: 279 RSplits: 0
INFO - Times: Expl: 32.155 Prop: 149.709 PropClause: 129.846 Set: 81.238 Check: 0.01 Back: 17.08
INFO - Atoms: 2580/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 506 Props: 735092 Tprops: 0 Decides: 280 RSplits: 0
INFO - Times: Expl: 32.218 Prop: 150.208 PropClause: 130.279 Set: 81.478 Check: 0.01 Back: 17.14
INFO - Atoms: 2562/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 508 Props: 737765 Tprops: 0 Decides: 281 RSplits: 0
INFO - Times: Expl: 32.282 Prop: 150.714 PropClause: 130.717 Set: 81.723 Check: 0.01 Back: 17.201
INFO - Atoms: 2575/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 510 Props: 740404 Tprops: 0 Decides: 282 RSplits: 0
INFO - Times: Expl: 32.348 Prop: 151.21 PropClause: 131.146 Set: 81.963 Check: 0.01 Back: 17.269
INFO - Atoms: 2557/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 512 Props: 743071 Tprops: 0 Decides: 283 RSplits: 0
INFO - Times: Expl: 32.413 Prop: 151.718 PropClause: 131.586 Set: 82.208 Check: 0.01 Back: 17.33
INFO - Atoms: 2570/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 514 Props: 745704 Tprops: 0 Decides: 284 RSplits: 0
INFO - Times: Expl: 32.479 Prop: 152.197 PropClause: 131.997 Set: 82.452 Check: 0.01 Back: 17.396
INFO - Atoms: 2552/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 516 Props: 748365 Tprops: 0 Decides: 285 RSplits: 0
INFO - Times: Expl: 32.544 Prop: 152.728 PropClause: 132.46 Set: 82.696 Check: 0.01 Back: 17.456
INFO - Atoms: 2565/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 518 Props: 750990 Tprops: 0 Decides: 286 RSplits: 0
INFO - Times: Expl: 32.609 Prop: 153.225 PropClause: 132.89 Set: 82.937 Check: 0.01 Back: 17.517
INFO - Atoms: 2546/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 520 Props: 753647 Tprops: 0 Decides: 287 RSplits: 0
INFO - Times: Expl: 32.677 Prop: 153.803 PropClause: 133.399 Set: 83.181 Check: 0.01 Back: 17.577
INFO - Atoms: 2561/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 522 Props: 756266 Tprops: 0 Decides: 288 RSplits: 0
INFO - Times: Expl: 32.743 Prop: 154.299 PropClause: 133.829 Set: 83.42 Check: 0.01 Back: 17.636
INFO - Atoms: 2541/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 524 Props: 758915 Tprops: 0 Decides: 289 RSplits: 0
INFO - Times: Expl: 32.81 Prop: 154.795 PropClause: 134.257 Set: 83.662 Check: 0.01 Back: 17.695
INFO - Atoms: 2555/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 526 Props: 761528 Tprops: 0 Decides: 290 RSplits: 0
INFO - Times: Expl: 32.875 Prop: 155.313 PropClause: 134.708 Set: 83.898 Check: 0.01 Back: 17.754
INFO - Atoms: 2536/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 528 Props: 764173 Tprops: 0 Decides: 291 RSplits: 0
INFO - Times: Expl: 32.944 Prop: 155.826 PropClause: 135.154 Set: 84.138 Check: 0.01 Back: 17.813
INFO - Atoms: 2551/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 530 Props: 766778 Tprops: 0 Decides: 292 RSplits: 0
INFO - Times: Expl: 33.01 Prop: 156.348 PropClause: 135.61 Set: 84.375 Check: 0.01 Back: 17.872
INFO - Atoms: 2530/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 532 Props: 769417 Tprops: 0 Decides: 293 RSplits: 0
INFO - Times: Expl: 33.077 Prop: 156.844 PropClause: 136.038 Set: 84.611 Check: 0.01 Back: 17.93
INFO - Atoms: 2546/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 534 Props: 772016 Tprops: 0 Decides: 294 RSplits: 0
INFO - Times: Expl: 33.145 Prop: 157.359 PropClause: 136.487 Set: 84.847 Check: 0.01 Back: 17.989
INFO - Atoms: 2525/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 536 Props: 775364 Tprops: 0 Decides: 301 RSplits: 0
INFO - Times: Expl: 33.269 Prop: 158.094 PropClause: 137.136 Set: 85.096 Check: 0.01 Back: 18.065
INFO - Atoms: 2504/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 538 Props: 778173 Tprops: 0 Decides: 303 RSplits: 0
INFO - Times: Expl: 33.344 Prop: 158.71 PropClause: 137.681 Set: 85.346 Check: 0.01 Back: 18.127
INFO - Atoms: 2552/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 540 Props: 780980 Tprops: 0 Decides: 305 RSplits: 0
INFO - Times: Expl: 33.421 Prop: 159.289 PropClause: 138.189 Set: 85.593 Check: 0.011 Back: 18.191
INFO - Atoms: 2550/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 542 Props: 783787 Tprops: 0 Decides: 307 RSplits: 0
INFO - Times: Expl: 33.499 Prop: 159.841 PropClause: 138.669 Set: 85.839 Check: 0.011 Back: 18.255
INFO - Atoms: 2550/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 544 Props: 786438 Tprops: 0 Decides: 308 RSplits: 0
INFO - Times: Expl: 33.564 Prop: 160.324 PropClause: 139.086 Set: 86.084 Check: 0.011 Back: 18.316
INFO - Atoms: 2547/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 546 Props: 789087 Tprops: 0 Decides: 309 RSplits: 0
INFO - Times: Expl: 33.632 Prop: 160.888 PropClause: 139.583 Set: 86.329 Check: 0.011 Back: 18.375
INFO - Atoms: 2545/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 548 Props: 791734 Tprops: 0 Decides: 310 RSplits: 0
INFO - Times: Expl: 33.703 Prop: 161.37 PropClause: 139.997 Set: 86.571 Check: 0.011 Back: 18.435
INFO - Atoms: 2543/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 550 Props: 794375 Tprops: 0 Decides: 311 RSplits: 0
INFO - Times: Expl: 33.768 Prop: 161.876 PropClause: 140.435 Set: 86.815 Check: 0.011 Back: 18.496
INFO - Atoms: 2539/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 552 Props: 797016 Tprops: 0 Decides: 312 RSplits: 0
INFO - Times: Expl: 33.829 Prop: 162.352 PropClause: 140.845 Set: 87.055 Check: 0.011 Back: 18.555
INFO - Atoms: 2538/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 554 Props: 799651 Tprops: 0 Decides: 313 RSplits: 0
INFO - Times: Expl: 33.896 Prop: 162.833 PropClause: 141.259 Set: 87.296 Check: 0.011 Back: 18.617
INFO - Atoms: 2534/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 556 Props: 802286 Tprops: 0 Decides: 314 RSplits: 0
INFO - Times: Expl: 33.962 Prop: 163.319 PropClause: 141.679 Set: 87.539 Check: 0.011 Back: 18.676
INFO - Atoms: 2533/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 558 Props: 804915 Tprops: 0 Decides: 315 RSplits: 0
INFO - Times: Expl: 34.073 Prop: 163.814 PropClause: 142.107 Set: 87.779 Check: 0.011 Back: 18.734
INFO - Atoms: 2529/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 560 Props: 807544 Tprops: 0 Decides: 316 RSplits: 0
INFO - Times: Expl: 34.14 Prop: 164.29 PropClause: 142.516 Set: 88.026 Check: 0.011 Back: 18.796
INFO - Atoms: 2528/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 562 Props: 810169 Tprops: 0 Decides: 317 RSplits: 0
INFO - Times: Expl: 34.206 Prop: 164.804 PropClause: 142.963 Set: 88.267 Check: 0.011 Back: 18.855
INFO - Atoms: 2525/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 564 Props: 812792 Tprops: 0 Decides: 318 RSplits: 0
INFO - Times: Expl: 34.272 Prop: 165.323 PropClause: 143.414 Set: 88.51 Check: 0.011 Back: 18.918
INFO - Atoms: 2523/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 566 Props: 815409 Tprops: 0 Decides: 319 RSplits: 0
INFO - Times: Expl: 34.337 Prop: 165.825 PropClause: 143.849 Set: 88.747 Check: 0.011 Back: 18.977
INFO - Atoms: 2519/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 568 Props: 818026 Tprops: 0 Decides: 320 RSplits: 0
INFO - Times: Expl: 34.406 Prop: 166.362 PropClause: 144.318 Set: 88.988 Check: 0.011 Back: 19.036
INFO - Atoms: 2518/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 570 Props: 820637 Tprops: 0 Decides: 321 RSplits: 0
INFO - Times: Expl: 34.472 Prop: 166.882 PropClause: 144.771 Set: 89.23 Check: 0.011 Back: 19.095
INFO - Atoms: 2514/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 572 Props: 823248 Tprops: 0 Decides: 322 RSplits: 0
INFO - Times: Expl: 34.54 Prop: 167.394 PropClause: 145.216 Set: 89.468 Check: 0.011 Back: 19.154
INFO - Atoms: 2513/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 574 Props: 825855 Tprops: 0 Decides: 323 RSplits: 0
INFO - Times: Expl: 34.607 Prop: 167.906 PropClause: 145.66 Set: 89.708 Check: 0.011 Back: 19.213
INFO - Atoms: 2510/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 576 Props: 828458 Tprops: 0 Decides: 324 RSplits: 0
INFO - Times: Expl: 34.672 Prop: 168.376 PropClause: 146.064 Set: 89.943 Check: 0.011 Back: 19.271
INFO - Atoms: 2507/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 578 Props: 831059 Tprops: 0 Decides: 325 RSplits: 0
INFO - Times: Expl: 34.77 Prop: 168.884 PropClause: 146.498 Set: 90.183 Check: 0.011 Back: 19.329
INFO - Atoms: 2505/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 580 Props: 833658 Tprops: 0 Decides: 326 RSplits: 0
INFO - Times: Expl: 34.883 Prop: 169.379 PropClause: 146.927 Set: 90.423 Check: 0.011 Back: 19.392
INFO - Atoms: 2503/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 582 Props: 836253 Tprops: 0 Decides: 327 RSplits: 0
INFO - Times: Expl: 34.943 Prop: 169.832 PropClause: 147.313 Set: 90.661 Check: 0.011 Back: 19.456
INFO - Atoms: 2500/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 584 Props: 838846 Tprops: 0 Decides: 328 RSplits: 0
INFO - Times: Expl: 35.012 Prop: 170.369 PropClause: 147.785 Set: 90.896 Check: 0.011 Back: 19.515
INFO - Atoms: 2498/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 586 Props: 841433 Tprops: 0 Decides: 329 RSplits: 0
INFO - Times: Expl: 35.075 Prop: 170.861 PropClause: 148.203 Set: 91.133 Check: 0.011 Back: 19.573
INFO - Atoms: 2494/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 588 Props: 844022 Tprops: 0 Decides: 330 RSplits: 0
INFO - Times: Expl: 35.147 Prop: 171.329 PropClause: 148.604 Set: 91.366 Check: 0.011 Back: 19.631
INFO - Atoms: 2494/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 590 Props: 846603 Tprops: 0 Decides: 331 RSplits: 0
INFO - Times: Expl: 35.209 Prop: 171.806 PropClause: 149.016 Set: 91.597 Check: 0.011 Back: 19.69
INFO - Atoms: 2489/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 592 Props: 849184 Tprops: 0 Decides: 332 RSplits: 0
INFO - Times: Expl: 35.275 Prop: 172.275 PropClause: 149.415 Set: 91.83 Check: 0.011 Back: 19.748
INFO - Atoms: 2488/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 594 Props: 851759 Tprops: 0 Decides: 333 RSplits: 0
INFO - Times: Expl: 35.34 Prop: 172.76 PropClause: 149.834 Set: 92.063 Check: 0.011 Back: 19.806
INFO - Atoms: 2484/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 596 Props: 854336 Tprops: 0 Decides: 334 RSplits: 0
INFO - Times: Expl: 35.404 Prop: 173.258 PropClause: 150.266 Set: 92.296 Check: 0.011 Back: 19.864
INFO - Atoms: 2484/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 598 Props: 856905 Tprops: 0 Decides: 335 RSplits: 0
INFO - Times: Expl: 35.47 Prop: 173.75 PropClause: 150.693 Set: 92.539 Check: 0.012 Back: 19.922
INFO - Atoms: 2479/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 600 Props: 859474 Tprops: 0 Decides: 336 RSplits: 0
INFO - Times: Expl: 35.537 Prop: 174.222 PropClause: 151.1 Set: 92.771 Check: 0.012 Back: 19.984
INFO - Atoms: 2478/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 602 Props: 862037 Tprops: 0 Decides: 337 RSplits: 0
INFO - Times: Expl: 35.603 Prop: 174.769 PropClause: 151.581 Set: 93.01 Check: 0.012 Back: 20.042
INFO - Atoms: 2474/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 604 Props: 864602 Tprops: 0 Decides: 338 RSplits: 0
INFO - Times: Expl: 35.666 Prop: 175.255 PropClause: 151.994 Set: 93.241 Check: 0.012 Back: 20.101
INFO - Atoms: 2474/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 606 Props: 867157 Tprops: 0 Decides: 339 RSplits: 0
INFO - Times: Expl: 35.727 Prop: 175.759 PropClause: 152.434 Set: 93.47 Check: 0.012 Back: 20.158
INFO - Atoms: 2468/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 608 Props: 869718 Tprops: 0 Decides: 340 RSplits: 0
INFO - Times: Expl: 35.789 Prop: 176.227 PropClause: 152.836 Set: 93.698 Check: 0.012 Back: 20.215
INFO - Atoms: 2470/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 610 Props: 872267 Tprops: 0 Decides: 341 RSplits: 0
INFO - Times: Expl: 35.851 Prop: 176.702 PropClause: 153.247 Set: 93.925 Check: 0.012 Back: 20.272
INFO - Atoms: 2463/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 612 Props: 874822 Tprops: 0 Decides: 342 RSplits: 0
INFO - Times: Expl: 35.916 Prop: 177.229 PropClause: 153.709 Set: 94.156 Check: 0.012 Back: 20.33
INFO - Atoms: 2465/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 614 Props: 877363 Tprops: 0 Decides: 343 RSplits: 0
INFO - Times: Expl: 35.98 Prop: 177.71 PropClause: 154.125 Set: 94.384 Check: 0.012 Back: 20.388
INFO - Atoms: 2457/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 616 Props: 879914 Tprops: 0 Decides: 344 RSplits: 0
INFO - Times: Expl: 36.043 Prop: 178.188 PropClause: 154.538 Set: 94.621 Check: 0.012 Back: 20.446
INFO - Atoms: 2461/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 618 Props: 882449 Tprops: 0 Decides: 345 RSplits: 0
INFO - Times: Expl: 36.102 Prop: 178.656 PropClause: 154.942 Set: 94.847 Check: 0.012 Back: 20.503
INFO - Atoms: 2452/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 620 Props: 884994 Tprops: 0 Decides: 346 RSplits: 0
INFO - Times: Expl: 36.165 Prop: 179.099 PropClause: 155.321 Set: 95.071 Check: 0.012 Back: 20.56
INFO - Atoms: 2456/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 622 Props: 887523 Tprops: 0 Decides: 347 RSplits: 0
INFO - Times: Expl: 36.228 Prop: 179.647 PropClause: 155.804 Set: 95.299 Check: 0.012 Back: 20.617
INFO - Atoms: 2447/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 624 Props: 890060 Tprops: 0 Decides: 348 RSplits: 0
INFO - Times: Expl: 36.294 Prop: 180.129 PropClause: 156.222 Set: 95.525 Check: 0.012 Back: 20.673
INFO - Atoms: 2450/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 626 Props: 892583 Tprops: 0 Decides: 349 RSplits: 0
INFO - Times: Expl: 36.355 Prop: 180.639 PropClause: 156.668 Set: 95.762 Check: 0.012 Back: 20.73
INFO - Atoms: 2442/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 628 Props: 895114 Tprops: 0 Decides: 350 RSplits: 0
INFO - Times: Expl: 36.417 Prop: 181.134 PropClause: 157.098 Set: 95.986 Check: 0.012 Back: 20.787
INFO - Atoms: 2445/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 630 Props: 897633 Tprops: 0 Decides: 351 RSplits: 0
INFO - Times: Expl: 36.478 Prop: 181.614 PropClause: 157.515 Set: 96.209 Check: 0.012 Back: 20.844
INFO - Atoms: 2438/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 632 Props: 900156 Tprops: 0 Decides: 352 RSplits: 0
INFO - Times: Expl: 36.54 Prop: 182.115 PropClause: 157.952 Set: 96.442 Check: 0.012 Back: 20.901
INFO - Atoms: 2439/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 634 Props: 902671 Tprops: 0 Decides: 353 RSplits: 0
INFO - Times: Expl: 36.603 Prop: 182.612 PropClause: 158.383 Set: 96.666 Check: 0.012 Back: 20.958
INFO - Atoms: 2434/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 636 Props: 905188 Tprops: 0 Decides: 354 RSplits: 0
INFO - Times: Expl: 36.671 Prop: 183.09 PropClause: 158.797 Set: 96.893 Check: 0.012 Back: 21.015
INFO - Atoms: 2434/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 638 Props: 907697 Tprops: 0 Decides: 355 RSplits: 0
INFO - Times: Expl: 36.732 Prop: 183.55 PropClause: 159.193 Set: 97.125 Check: 0.012 Back: 21.072
INFO - Atoms: 2429/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 640 Props: 911259 Tprops: 0 Decides: 372 RSplits: 0
INFO - Times: Expl: 36.87 Prop: 184.384 PropClause: 159.931 Set: 97.366 Check: 0.012 Back: 21.153
INFO - Atoms: 2402/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 642 Props: 913971 Tprops: 0 Decides: 374 RSplits: 0
INFO - Times: Expl: 36.944 Prop: 185.075 PropClause: 160.553 Set: 97.603 Check: 0.013 Back: 21.213
INFO - Atoms: 2450/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 644 Props: 916681 Tprops: 0 Decides: 376 RSplits: 0
INFO - Times: Expl: 37.015 Prop: 185.573 PropClause: 160.982 Set: 97.839 Check: 0.013 Back: 21.274
INFO - Atoms: 2448/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 646 Props: 919385 Tprops: 0 Decides: 378 RSplits: 0
INFO - Times: Expl: 37.087 Prop: 186.161 PropClause: 161.5 Set: 98.076 Check: 0.013 Back: 21.335
INFO - Atoms: 2444/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 648 Props: 921932 Tprops: 0 Decides: 379 RSplits: 0
INFO - Times: Expl: 37.149 Prop: 186.65 PropClause: 161.925 Set: 98.31 Check: 0.013 Back: 21.393
INFO - Atoms: 2443/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 650 Props: 924473 Tprops: 0 Decides: 380 RSplits: 0
INFO - Times: Expl: 37.21 Prop: 187.129 PropClause: 162.34 Set: 98.54 Check: 0.013 Back: 21.45
INFO - Atoms: 2439/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 652 Props: 927014 Tprops: 0 Decides: 381 RSplits: 0
INFO - Times: Expl: 37.272 Prop: 187.613 PropClause: 162.753 Set: 98.769 Check: 0.013 Back: 21.509
INFO - Atoms: 2438/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 654 Props: 929549 Tprops: 0 Decides: 382 RSplits: 0
INFO - Times: Expl: 37.332 Prop: 188.087 PropClause: 163.162 Set: 98.998 Check: 0.013 Back: 21.567
INFO - Atoms: 2434/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 656 Props: 932084 Tprops: 0 Decides: 383 RSplits: 0
INFO - Times: Expl: 37.393 Prop: 188.61 PropClause: 163.621 Set: 99.225 Check: 0.013 Back: 21.624
INFO - Atoms: 2433/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 658 Props: 934615 Tprops: 0 Decides: 384 RSplits: 0
INFO - Times: Expl: 37.454 Prop: 189.109 PropClause: 164.056 Set: 99.449 Check: 0.013 Back: 21.681
INFO - Atoms: 2430/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 660 Props: 937142 Tprops: 0 Decides: 385 RSplits: 0
INFO - Times: Expl: 37.519 Prop: 189.676 PropClause: 164.558 Set: 99.679 Check: 0.013 Back: 21.738
INFO - Atoms: 2427/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 662 Props: 939667 Tprops: 0 Decides: 386 RSplits: 0
INFO - Times: Expl: 37.578 Prop: 190.17 PropClause: 164.988 Set: 99.905 Check: 0.013 Back: 21.797
INFO - Atoms: 2425/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 664 Props: 942188 Tprops: 0 Decides: 387 RSplits: 0
INFO - Times: Expl: 37.639 Prop: 190.762 PropClause: 165.515 Set: 100.132 Check: 0.013 Back: 21.855
INFO - Atoms: 2422/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 666 Props: 944709 Tprops: 0 Decides: 388 RSplits: 0
INFO - Times: Expl: 37.699 Prop: 191.262 PropClause: 165.951 Set: 100.362 Check: 0.013 Back: 21.912
INFO - Atoms: 2421/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 668 Props: 947224 Tprops: 0 Decides: 389 RSplits: 0
INFO - Times: Expl: 37.76 Prop: 191.737 PropClause: 166.361 Set: 100.587 Check: 0.013 Back: 21.969
INFO - Atoms: 2417/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 670 Props: 949739 Tprops: 0 Decides: 390 RSplits: 0
INFO - Times: Expl: 37.821 Prop: 192.268 PropClause: 166.819 Set: 100.813 Check: 0.013 Back: 22.026
INFO - Atoms: 2416/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 672 Props: 952246 Tprops: 0 Decides: 391 RSplits: 0
INFO - Times: Expl: 37.884 Prop: 192.732 PropClause: 167.219 Set: 101.036 Check: 0.013 Back: 22.082
INFO - Atoms: 2411/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 674 Props: 954755 Tprops: 0 Decides: 392 RSplits: 0
INFO - Times: Expl: 37.944 Prop: 193.211 PropClause: 167.634 Set: 101.258 Check: 0.013 Back: 22.139
INFO - Atoms: 2411/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 676 Props: 957256 Tprops: 0 Decides: 393 RSplits: 0
INFO - Times: Expl: 38.004 Prop: 193.688 PropClause: 168.049 Set: 101.481 Check: 0.013 Back: 22.203
INFO - Atoms: 2406/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 678 Props: 959759 Tprops: 0 Decides: 394 RSplits: 0
INFO - Times: Expl: 38.063 Prop: 194.151 PropClause: 168.448 Set: 101.705 Check: 0.013 Back: 22.261
INFO - Atoms: 2406/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 680 Props: 962254 Tprops: 0 Decides: 395 RSplits: 0
INFO - Times: Expl: 38.124 Prop: 194.638 PropClause: 168.871 Set: 101.926 Check: 0.013 Back: 22.317
INFO - Atoms: 2401/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 682 Props: 964753 Tprops: 0 Decides: 396 RSplits: 0
INFO - Times: Expl: 38.185 Prop: 195.089 PropClause: 169.258 Set: 102.147 Check: 0.013 Back: 22.376
INFO - Atoms: 2402/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 684 Props: 967242 Tprops: 0 Decides: 397 RSplits: 0
INFO - Times: Expl: 38.248 Prop: 195.564 PropClause: 169.671 Set: 102.368 Check: 0.013 Back: 22.432
INFO - Atoms: 2396/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 686 Props: 969733 Tprops: 0 Decides: 398 RSplits: 0
INFO - Times: Expl: 38.309 Prop: 196.079 PropClause: 170.122 Set: 102.595 Check: 0.013 Back: 22.488
INFO - Atoms: 2396/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 688 Props: 972218 Tprops: 0 Decides: 399 RSplits: 0
INFO - Times: Expl: 38.369 Prop: 196.575 PropClause: 170.555 Set: 102.816 Check: 0.013 Back: 22.544
INFO - Atoms: 2392/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 690 Props: 974703 Tprops: 0 Decides: 400 RSplits: 0
INFO - Times: Expl: 38.43 Prop: 197.054 PropClause: 170.97 Set: 103.037 Check: 0.013 Back: 22.6
INFO - Atoms: 2391/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 692 Props: 977182 Tprops: 0 Decides: 401 RSplits: 0
INFO - Times: Expl: 38.491 Prop: 197.54 PropClause: 171.392 Set: 103.257 Check: 0.013 Back: 22.656
INFO - Atoms: 2387/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 694 Props: 979661 Tprops: 0 Decides: 402 RSplits: 0
INFO - Times: Expl: 38.552 Prop: 198.023 PropClause: 171.811 Set: 103.477 Check: 0.013 Back: 22.712
INFO - Atoms: 2386/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 696 Props: 982132 Tprops: 0 Decides: 403 RSplits: 0
INFO - Times: Expl: 38.61 Prop: 198.485 PropClause: 172.21 Set: 103.696 Check: 0.013 Back: 22.768
INFO - Atoms: 2381/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 698 Props: 984605 Tprops: 0 Decides: 404 RSplits: 0
INFO - Times: Expl: 38.671 Prop: 198.958 PropClause: 172.62 Set: 103.917 Check: 0.013 Back: 22.823
INFO - Atoms: 2381/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 700 Props: 987072 Tprops: 0 Decides: 405 RSplits: 0
INFO - Times: Expl: 38.73 Prop: 199.436 PropClause: 173.036 Set: 104.133 Check: 0.013 Back: 22.893
INFO - Atoms: 2377/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 702 Props: 989539 Tprops: 0 Decides: 406 RSplits: 0
INFO - Times: Expl: 38.79 Prop: 199.966 PropClause: 173.503 Set: 104.351 Check: 0.014 Back: 22.949
INFO - Atoms: 2376/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 704 Props: 992000 Tprops: 0 Decides: 407 RSplits: 0
INFO - Times: Expl: 38.85 Prop: 200.408 PropClause: 173.882 Set: 104.565 Check: 0.014 Back: 23.005
INFO - Atoms: 2372/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 706 Props: 994459 Tprops: 0 Decides: 408 RSplits: 0
INFO - Times: Expl: 38.912 Prop: 200.941 PropClause: 174.352 Set: 104.785 Check: 0.014 Back: 23.06
INFO - Atoms: 2370/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 708 Props: 996916 Tprops: 0 Decides: 409 RSplits: 0
INFO - Times: Expl: 38.973 Prop: 201.414 PropClause: 174.762 Set: 105.002 Check: 0.014 Back: 23.115
INFO - Atoms: 2368/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 710 Props: 999367 Tprops: 0 Decides: 410 RSplits: 0
INFO - Times: Expl: 39.036 Prop: 201.885 PropClause: 175.171 Set: 105.215 Check: 0.014 Back: 23.171
INFO - Atoms: 2364/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 712 Props: 1001820 Tprops: 0 Decides: 411 RSplits: 0
INFO - Times: Expl: 39.102 Prop: 202.364 PropClause: 175.586 Set: 105.431 Check: 0.014 Back: 23.227
INFO - Atoms: 2364/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 714 Props: 1004263 Tprops: 0 Decides: 412 RSplits: 0
INFO - Times: Expl: 39.161 Prop: 202.833 PropClause: 175.993 Set: 105.646 Check: 0.014 Back: 23.282
INFO - Atoms: 2358/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 716 Props: 1006710 Tprops: 0 Decides: 413 RSplits: 0
INFO - Times: Expl: 39.219 Prop: 203.265 PropClause: 176.364 Set: 105.86 Check: 0.014 Back: 23.337
INFO - Atoms: 2359/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 718 Props: 1009147 Tprops: 0 Decides: 414 RSplits: 0
INFO - Times: Expl: 39.28 Prop: 203.774 PropClause: 176.81 Set: 106.074 Check: 0.014 Back: 23.392
INFO - Atoms: 2353/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 720 Props: 1011590 Tprops: 0 Decides: 415 RSplits: 0
INFO - Times: Expl: 39.339 Prop: 204.21 PropClause: 177.185 Set: 106.286 Check: 0.014 Back: 23.448
INFO - Atoms: 2355/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 722 Props: 1014019 Tprops: 0 Decides: 416 RSplits: 0
INFO - Times: Expl: 39.4 Prop: 204.661 PropClause: 177.566 Set: 106.497 Check: 0.014 Back: 23.504
INFO - Atoms: 2347/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 724 Props: 1016458 Tprops: 0 Decides: 417 RSplits: 0
INFO - Times: Expl: 39.46 Prop: 205.112 PropClause: 177.955 Set: 106.708 Check: 0.014 Back: 23.56
INFO - Atoms: 2351/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 726 Props: 1018881 Tprops: 0 Decides: 418 RSplits: 0
INFO - Times: Expl: 39.519 Prop: 205.575 PropClause: 178.356 Set: 106.92 Check: 0.014 Back: 23.617
INFO - Atoms: 2342/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 728 Props: 1021312 Tprops: 0 Decides: 419 RSplits: 0
INFO - Times: Expl: 39.58 Prop: 206.043 PropClause: 178.762 Set: 107.133 Check: 0.014 Back: 23.671
INFO - Atoms: 2345/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 730 Props: 1023733 Tprops: 0 Decides: 420 RSplits: 0
INFO - Times: Expl: 39.641 Prop: 206.485 PropClause: 179.143 Set: 107.343 Check: 0.014 Back: 23.726
INFO - Atoms: 2340/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 732 Props: 1026160 Tprops: 0 Decides: 421 RSplits: 0
INFO - Times: Expl: 39.699 Prop: 206.928 PropClause: 179.525 Set: 107.551 Check: 0.014 Back: 23.781
INFO - Atoms: 2342/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 734 Props: 1028577 Tprops: 0 Decides: 422 RSplits: 0
INFO - Times: Expl: 39.761 Prop: 207.4 PropClause: 179.936 Set: 107.759 Check: 0.014 Back: 23.838
INFO - Atoms: 2336/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 736 Props: 1030998 Tprops: 0 Decides: 423 RSplits: 0
INFO - Times: Expl: 39.832 Prop: 207.974 PropClause: 180.446 Set: 107.983 Check: 0.014 Back: 23.892
INFO - Atoms: 2337/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 738 Props: 1033407 Tprops: 0 Decides: 424 RSplits: 0
INFO - Times: Expl: 39.894 Prop: 208.4 PropClause: 180.811 Set: 108.193 Check: 0.014 Back: 23.947
INFO - Atoms: 2330/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 740 Props: 1035822 Tprops: 0 Decides: 425 RSplits: 0
INFO - Times: Expl: 39.956 Prop: 208.853 PropClause: 181.202 Set: 108.405 Check: 0.014 Back: 24.002
INFO - Atoms: 2332/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 742 Props: 1038227 Tprops: 0 Decides: 426 RSplits: 0
INFO - Times: Expl: 40.02 Prop: 209.306 PropClause: 181.594 Set: 108.612 Check: 0.014 Back: 24.056
INFO - Atoms: 2326/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 744 Props: 1041996 Tprops: 0 Decides: 444 RSplits: 0
INFO - Times: Expl: 40.179 Prop: 210.286 PropClause: 182.474 Set: 108.849 Check: 0.015 Back: 24.143
INFO - Atoms: 2302/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 746 Props: 1044607 Tprops: 0 Decides: 446 RSplits: 0
INFO - Times: Expl: 40.248 Prop: 210.838 PropClause: 182.958 Set: 109.071 Check: 0.015 Back: 24.201
INFO - Atoms: 2350/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 748 Props: 1047227 Tprops: 0 Decides: 448 RSplits: 0
INFO - Times: Expl: 40.765 Prop: 211.381 PropClause: 183.432 Set: 109.301 Check: 0.015 Back: 24.26
INFO - Atoms: 2359/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 750 Props: 1049843 Tprops: 0 Decides: 450 RSplits: 0
INFO - Times: Expl: 40.919 Prop: 211.982 PropClause: 183.966 Set: 109.528 Check: 0.015 Back: 24.322
INFO - Atoms: 2356/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 752 Props: 1052304 Tprops: 0 Decides: 451 RSplits: 0
INFO - Times: Expl: 41.039 Prop: 212.452 PropClause: 184.374 Set: 109.758 Check: 0.015 Back: 24.379
INFO - Atoms: 2356/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 754 Props: 1054763 Tprops: 0 Decides: 452 RSplits: 0
INFO - Times: Expl: 41.119 Prop: 212.952 PropClause: 184.81 Set: 109.984 Check: 0.015 Back: 24.435
INFO - Atoms: 2354/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 756 Props: 1057218 Tprops: 0 Decides: 453 RSplits: 0
INFO - Times: Expl: 41.2 Prop: 213.426 PropClause: 185.221 Set: 110.202 Check: 0.015 Back: 24.491
INFO - Atoms: 2351/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 758 Props: 1059671 Tprops: 0 Decides: 454 RSplits: 0
INFO - Times: Expl: 41.278 Prop: 213.883 PropClause: 185.616 Set: 110.42 Check: 0.015 Back: 24.549
INFO - Atoms: 2349/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 760 Props: 1062120 Tprops: 0 Decides: 455 RSplits: 0
INFO - Times: Expl: 41.372 Prop: 214.341 PropClause: 186.012 Set: 110.639 Check: 0.015 Back: 24.606
INFO - Atoms: 2346/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 762 Props: 1064629 Tprops: 0 Decides: 456 RSplits: 0
INFO - Times: Expl: 41.706 Prop: 214.886 PropClause: 186.492 Set: 110.872 Check: 0.015 Back: 24.661
INFO - Atoms: 2404/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 764 Props: 1067136 Tprops: 0 Decides: 457 RSplits: 0
INFO - Times: Expl: 41.882 Prop: 215.417 PropClause: 186.958 Set: 111.103 Check: 0.015 Back: 24.724
INFO - Atoms: 2402/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 766 Props: 1069655 Tprops: 0 Decides: 458 RSplits: 0
INFO - Times: Expl: 42.111 Prop: 215.907 PropClause: 187.384 Set: 111.335 Check: 0.015 Back: 24.781
INFO - Atoms: 2415/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 768 Props: 1072174 Tprops: 0 Decides: 459 RSplits: 0
INFO - Times: Expl: 42.356 Prop: 216.386 PropClause: 187.798 Set: 111.561 Check: 0.015 Back: 24.842
INFO - Atoms: 2414/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 770 Props: 1074687 Tprops: 0 Decides: 460 RSplits: 0
INFO - Times: Expl: 42.451 Prop: 216.841 PropClause: 188.189 Set: 111.785 Check: 0.015 Back: 24.909
INFO - Atoms: 2410/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 772 Props: 1077202 Tprops: 0 Decides: 461 RSplits: 0
INFO - Times: Expl: 42.551 Prop: 217.322 PropClause: 188.606 Set: 112.013 Check: 0.015 Back: 24.966
INFO - Atoms: 2411/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 774 Props: 1079715 Tprops: 0 Decides: 462 RSplits: 0
INFO - Times: Expl: 42.65 Prop: 217.826 PropClause: 189.046 Set: 112.244 Check: 0.015 Back: 25.023
INFO - Atoms: 2410/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 776 Props: 1082226 Tprops: 0 Decides: 463 RSplits: 0
INFO - Times: Expl: 42.862 Prop: 218.335 PropClause: 189.491 Set: 112.47 Check: 0.015 Back: 25.081
INFO - Atoms: 2408/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 778 Props: 1084737 Tprops: 0 Decides: 464 RSplits: 0
INFO - Times: Expl: 42.959 Prop: 218.823 PropClause: 189.914 Set: 112.697 Check: 0.015 Back: 25.138
INFO - Atoms: 2408/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 780 Props: 1087284 Tprops: 0 Decides: 465 RSplits: 0
INFO - Times: Expl: 43.096 Prop: 219.369 PropClause: 190.396 Set: 112.927 Check: 0.015 Back: 25.196
INFO - Atoms: 2444/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 782 Props: 1089831 Tprops: 0 Decides: 466 RSplits: 0
INFO - Times: Expl: 43.267 Prop: 219.875 PropClause: 190.836 Set: 113.159 Check: 0.015 Back: 25.254
INFO - Atoms: 2443/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 784 Props: 1092372 Tprops: 0 Decides: 467 RSplits: 0
INFO - Times: Expl: 43.366 Prop: 220.37 PropClause: 191.266 Set: 113.392 Check: 0.015 Back: 25.311
INFO - Atoms: 2439/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 786 Props: 1094911 Tprops: 0 Decides: 468 RSplits: 0
INFO - Times: Expl: 43.465 Prop: 220.854 PropClause: 191.685 Set: 113.622 Check: 0.015 Back: 25.369
INFO - Atoms: 2437/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 788 Props: 1097450 Tprops: 0 Decides: 469 RSplits: 0
INFO - Times: Expl: 43.611 Prop: 221.501 PropClause: 192.258 Set: 113.908 Check: 0.015 Back: 25.426
INFO - Atoms: 2437/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 790 Props: 1099987 Tprops: 0 Decides: 470 RSplits: 0
INFO - Times: Expl: 43.905 Prop: 222.222 PropClause: 192.902 Set: 114.204 Check: 0.015 Back: 25.491
INFO - Atoms: 2435/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 792 Props: 1102518 Tprops: 0 Decides: 471 RSplits: 0
INFO - Times: Expl: 44.05 Prop: 222.854 PropClause: 193.457 Set: 114.497 Check: 0.015 Back: 25.556
INFO - Atoms: 2431/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 794 Props: 1105049 Tprops: 0 Decides: 472 RSplits: 0
INFO - Times: Expl: 44.202 Prop: 223.494 PropClause: 194.019 Set: 114.788 Check: 0.016 Back: 25.621
INFO - Atoms: 2430/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 796 Props: 1107574 Tprops: 0 Decides: 473 RSplits: 0
INFO - Times: Expl: 44.437 Prop: 224.314 PropClause: 194.764 Set: 115.08 Check: 0.016 Back: 25.685
INFO - Atoms: 2426/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 798 Props: 1110101 Tprops: 0 Decides: 474 RSplits: 0
INFO - Times: Expl: 44.576 Prop: 224.918 PropClause: 195.291 Set: 115.373 Check: 0.016 Back: 25.751
INFO - Atoms: 2426/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 800 Props: 1112620 Tprops: 0 Decides: 475 RSplits: 0
INFO - Times: Expl: 44.715 Prop: 225.62 PropClause: 195.92 Set: 115.659 Check: 0.016 Back: 25.814
INFO - Atoms: 2421/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 802 Props: 1115143 Tprops: 0 Decides: 476 RSplits: 0
INFO - Times: Expl: 44.863 Prop: 226.263 PropClause: 196.486 Set: 115.948 Check: 0.016 Back: 25.878
INFO - Atoms: 2423/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 804 Props: 1117660 Tprops: 0 Decides: 477 RSplits: 0
INFO - Times: Expl: 45.14 Prop: 226.895 PropClause: 197.041 Set: 116.236 Check: 0.016 Back: 25.942
INFO - Atoms: 2419/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 806 Props: 1120177 Tprops: 0 Decides: 478 RSplits: 0
INFO - Times: Expl: 45.285 Prop: 227.68 PropClause: 197.75 Set: 116.528 Check: 0.016 Back: 26.005
INFO - Atoms: 2418/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 808 Props: 1122688 Tprops: 0 Decides: 479 RSplits: 0
INFO - Times: Expl: 45.422 Prop: 228.263 PropClause: 198.256 Set: 116.814 Check: 0.016 Back: 26.068
INFO - Atoms: 2414/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 810 Props: 1125197 Tprops: 0 Decides: 480 RSplits: 0
INFO - Times: Expl: 45.559 Prop: 228.891 PropClause: 198.811 Set: 117.098 Check: 0.016 Back: 26.132
INFO - Atoms: 2412/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 812 Props: 1127702 Tprops: 0 Decides: 481 RSplits: 0
INFO - Times: Expl: 45.818 Prop: 229.53 PropClause: 199.377 Set: 117.381 Check: 0.016 Back: 26.198
INFO - Atoms: 2409/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 814 Props: 1130205 Tprops: 0 Decides: 482 RSplits: 0
INFO - Times: Expl: 45.959 Prop: 230.166 PropClause: 199.937 Set: 117.669 Check: 0.016 Back: 26.261
INFO - Atoms: 2407/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 816 Props: 1132706 Tprops: 0 Decides: 483 RSplits: 0
INFO - Times: Expl: 46.099 Prop: 230.893 PropClause: 200.585 Set: 117.97 Check: 0.016 Back: 26.324
INFO - Atoms: 2405/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 818 Props: 1135203 Tprops: 0 Decides: 484 RSplits: 0
INFO - Times: Expl: 46.239 Prop: 231.586 PropClause: 201.202 Set: 118.26 Check: 0.016 Back: 26.391
INFO - Atoms: 2402/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 820 Props: 1137696 Tprops: 0 Decides: 485 RSplits: 0
INFO - Times: Expl: 46.502 Prop: 232.299 PropClause: 201.838 Set: 118.556 Check: 0.016 Back: 26.455
INFO - Atoms: 2399/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 822 Props: 1140191 Tprops: 0 Decides: 486 RSplits: 0
INFO - Times: Expl: 46.641 Prop: 232.904 PropClause: 202.367 Set: 118.846 Check: 0.016 Back: 26.52
INFO - Atoms: 2400/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 824 Props: 1142682 Tprops: 0 Decides: 487 RSplits: 0
INFO - Times: Expl: 46.779 Prop: 233.477 PropClause: 202.863 Set: 119.136 Check: 0.016 Back: 26.584
INFO - Atoms: 2397/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 826 Props: 1145171 Tprops: 0 Decides: 488 RSplits: 0
INFO - Times: Expl: 46.918 Prop: 234.096 PropClause: 203.407 Set: 119.431 Check: 0.016 Back: 26.65
INFO - Atoms: 2395/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 828 Props: 1147654 Tprops: 0 Decides: 489 RSplits: 0
INFO - Times: Expl: 47.177 Prop: 234.731 PropClause: 203.966 Set: 119.715 Check: 0.016 Back: 26.725
INFO - Atoms: 2391/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 830 Props: 1150137 Tprops: 0 Decides: 490 RSplits: 0
INFO - Times: Expl: 47.313 Prop: 235.405 PropClause: 204.566 Set: 119.989 Check: 0.016 Back: 26.788
INFO - Atoms: 2390/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 832 Props: 1152618 Tprops: 0 Decides: 491 RSplits: 0
INFO - Times: Expl: 47.454 Prop: 236.128 PropClause: 205.213 Set: 120.275 Check: 0.017 Back: 26.853
INFO - Atoms: 2389/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 834 Props: 1155097 Tprops: 0 Decides: 492 RSplits: 0
INFO - Times: Expl: 47.594 Prop: 236.731 PropClause: 205.742 Set: 120.554 Check: 0.017 Back: 26.917
INFO - Atoms: 2387/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 836 Props: 1157576 Tprops: 0 Decides: 493 RSplits: 0
INFO - Times: Expl: 47.853 Prop: 237.338 PropClause: 206.273 Set: 120.84 Check: 0.017 Back: 26.981
INFO - Atoms: 2387/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 838 Props: 1160051 Tprops: 0 Decides: 494 RSplits: 0
INFO - Times: Expl: 47.987 Prop: 237.969 PropClause: 206.831 Set: 121.115 Check: 0.017 Back: 27.043
INFO - Atoms: 2384/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 840 Props: 1162524 Tprops: 0 Decides: 495 RSplits: 0
INFO - Times: Expl: 48.134 Prop: 238.82 PropClause: 207.607 Set: 121.396 Check: 0.017 Back: 27.106
INFO - Atoms: 2382/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 842 Props: 1164995 Tprops: 0 Decides: 496 RSplits: 0
INFO - Times: Expl: 48.478 Prop: 239.444 PropClause: 208.157 Set: 121.681 Check: 0.017 Back: 27.169
INFO - Atoms: 2380/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 6980 Tprops: 0 Decides: 132564 RSplits: 0
INFO - Times: Expl: 132.706 Prop: 1747.481 PropClause: 9.271 Set: 17363.522 Check: 12.574 Back: 155.29
INFO - Atoms: 1/1317 Clauses: 500 Axioms: 1718
INFO - CCTimes: iE 0 eq 22837370 cc 5536027 setRep 13888213
INFO - Merges: 122079, cc:0
INFO - BVTimes: BB 49468569 BB_DPLL 1286227288 Graph 3037187
INFO - BitBlastingClauses: 543024 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 844 Props: 1167464 Tprops: 0 Decides: 497 RSplits: 0
INFO - Times: Expl: 48.546 Prop: 239.938 PropClause: 208.588 Set: 121.902 Check: 0.017 Back: 27.234
INFO - Atoms: 2379/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 846 Props: 1169933 Tprops: 0 Decides: 498 RSplits: 0
INFO - Times: Expl: 48.61 Prop: 240.394 PropClause: 208.98 Set: 122.125 Check: 0.017 Back: 27.29
INFO - Atoms: 2378/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 848 Props: 1172398 Tprops: 0 Decides: 499 RSplits: 0
INFO - Times: Expl: 48.669 Prop: 240.833 PropClause: 209.357 Set: 122.34 Check: 0.017 Back: 27.346
INFO - Atoms: 2376/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 850 Props: 1174867 Tprops: 0 Decides: 500 RSplits: 0
INFO - Times: Expl: 48.729 Prop: 241.286 PropClause: 209.748 Set: 122.556 Check: 0.017 Back: 27.402
INFO - Atoms: 2378/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 852 Props: 1177330 Tprops: 0 Decides: 501 RSplits: 0
INFO - Times: Expl: 48.831 Prop: 241.74 PropClause: 210.138 Set: 122.779 Check: 0.017 Back: 27.458
INFO - Atoms: 2374/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 854 Props: 1180293 Tprops: 0 Decides: 502 RSplits: 0
INFO - Times: Expl: 48.905 Prop: 242.443 PropClause: 210.766 Set: 123.07 Check: 0.017 Back: 27.514
INFO - Atoms: 2860/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 856 Props: 1183248 Tprops: 0 Decides: 503 RSplits: 0
INFO - Times: Expl: 48.978 Prop: 243.146 PropClause: 211.394 Set: 123.36 Check: 0.017 Back: 27.58
INFO - Atoms: 2855/4632 Clauses: 1266 Axioms: 10880
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 584 Props: 12464 Tprops: 0 Decides: 148208 RSplits: 0
INFO - Times: Expl: 151.6 Prop: 1782.801 PropClause: 13.44 Set: 18653.396 Check: 13.838 Back: 166.452
INFO - Atoms: 58/1317 Clauses: 584 Axioms: 1718
INFO - CCTimes: iE 0 eq 30350041 cc 6087635 setRep 15171993
INFO - Merges: 138398, cc:0
INFO - BVTimes: BB 49468569 BB_DPLL 1304473458 Graph 3387707
INFO - BitBlastingClauses: 551872 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat