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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 75145113
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 3422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.395 Prop: 12.556 PropClause: 11.799 Set: 9.379 Check: 0.0 Back: 0.0
INFO - Atoms: 3422/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 6844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.462 Prop: 16.519 PropClause: 15.006 Set: 12.047 Check: 0.0 Back: 0.176
INFO - Atoms: 3422/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 10206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.503 Prop: 20.324 PropClause: 18.075 Set: 14.498 Check: 0.0 Back: 0.267
INFO - Atoms: 3362/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 13568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.541 Prop: 23.731 PropClause: 20.768 Set: 16.907 Check: 0.0 Back: 0.356
INFO - Atoms: 3362/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 16930 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.595 Prop: 26.754 PropClause: 23.629 Set: 30.03 Check: 0.0 Back: 0.445
INFO - Atoms: 3362/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 20286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.631 Prop: 28.309 PropClause: 25.008 Set: 31.748 Check: 0.0 Back: 0.531
INFO - Atoms: 3356/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 23643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.669 Prop: 30.169 PropClause: 26.731 Set: 33.526 Check: 0.0 Back: 0.62
INFO - Atoms: 3357/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 26969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.713 Prop: 32.199 PropClause: 28.624 Set: 35.322 Check: 0.0 Back: 0.71
INFO - Atoms: 3326/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 30261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.767 Prop: 34.235 PropClause: 30.505 Set: 37.049 Check: 0.0 Back: 0.795
INFO - Atoms: 3292/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 33517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.799 Prop: 35.694 PropClause: 31.837 Set: 37.785 Check: 0.0 Back: 0.882
INFO - Atoms: 3256/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 36739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.84 Prop: 37.223 PropClause: 33.238 Set: 38.487 Check: 0.0 Back: 0.968
INFO - Atoms: 3222/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 39925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.881 Prop: 38.751 PropClause: 34.596 Set: 39.153 Check: 0.0 Back: 1.054
INFO - Atoms: 3186/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 43077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.935 Prop: 41.942 PropClause: 36.623 Set: 39.892 Check: 0.0 Back: 1.136
INFO - Atoms: 3152/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 46193 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.972 Prop: 42.913 PropClause: 37.412 Set: 40.545 Check: 0.0 Back: 1.22
INFO - Atoms: 3116/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 49275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.007 Prop: 43.897 PropClause: 38.222 Set: 41.441 Check: 0.0 Back: 1.302
INFO - Atoms: 3082/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 52321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.054 Prop: 46.009 PropClause: 39.287 Set: 42.394 Check: 0.0 Back: 1.378
INFO - Atoms: 3046/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 55333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.085 Prop: 46.953 PropClause: 40.047 Set: 43.286 Check: 0.0 Back: 1.453
INFO - Atoms: 3012/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 58309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.116 Prop: 47.921 PropClause: 40.817 Set: 44.146 Check: 0.0 Back: 1.528
INFO - Atoms: 2976/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 61251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.177 Prop: 49.282 PropClause: 41.988 Set: 58.551 Check: 0.0 Back: 1.607
INFO - Atoms: 2942/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 64157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.195 Prop: 50.268 PropClause: 42.793 Set: 59.184 Check: 0.0 Back: 1.68
INFO - Atoms: 2906/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 67029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.215 Prop: 51.235 PropClause: 43.577 Set: 59.786 Check: 0.0 Back: 1.754
INFO - Atoms: 2872/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 69865 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.237 Prop: 52.202 PropClause: 44.376 Set: 60.392 Check: 0.0 Back: 1.826
INFO - Atoms: 2836/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 72667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.254 Prop: 53.098 PropClause: 45.103 Set: 61.009 Check: 0.0 Back: 1.898
INFO - Atoms: 2802/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 75433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.273 Prop: 53.967 PropClause: 45.811 Set: 61.56 Check: 0.0 Back: 1.971
INFO - Atoms: 2766/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 78165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.313 Prop: 54.858 PropClause: 46.553 Set: 62.137 Check: 0.0 Back: 2.041
INFO - Atoms: 2732/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 80861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.324 Prop: 55.656 PropClause: 47.204 Set: 62.702 Check: 0.0 Back: 2.11
INFO - Atoms: 2696/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 83523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.338 Prop: 56.494 PropClause: 47.859 Set: 63.269 Check: 0.0 Back: 2.178
INFO - Atoms: 2662/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 86149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.364 Prop: 57.426 PropClause: 48.65 Set: 63.814 Check: 0.0 Back: 2.245
INFO - Atoms: 2626/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 88741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.379 Prop: 58.202 PropClause: 49.289 Set: 64.362 Check: 0.0 Back: 2.311
INFO - Atoms: 2592/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 91297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.392 Prop: 58.953 PropClause: 49.9 Set: 64.869 Check: 0.0 Back: 2.376
INFO - Atoms: 2556/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 93819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.409 Prop: 59.723 PropClause: 50.535 Set: 65.405 Check: 0.0 Back: 2.44
INFO - Atoms: 2522/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 96305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.429 Prop: 60.492 PropClause: 51.17 Set: 65.928 Check: 0.0 Back: 2.504
INFO - Atoms: 2486/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 98757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.457 Prop: 61.209 PropClause: 51.753 Set: 66.457 Check: 0.0 Back: 2.567
INFO - Atoms: 2452/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 101173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.468 Prop: 61.902 PropClause: 52.317 Set: 66.945 Check: 0.0 Back: 2.629
INFO - Atoms: 2416/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 103555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.48 Prop: 62.576 PropClause: 52.859 Set: 67.427 Check: 0.0 Back: 2.69
INFO - Atoms: 2382/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 105900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.498 Prop: 63.293 PropClause: 53.439 Set: 67.889 Check: 0.0 Back: 2.75
INFO - Atoms: 2345/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 108434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.526 Prop: 64.019 PropClause: 54.028 Set: 68.406 Check: 0.0 Back: 2.809
INFO - Atoms: 2534/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 110968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.54 Prop: 64.745 PropClause: 54.617 Set: 68.995 Check: 0.0 Back: 2.873
INFO - Atoms: 2534/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 113503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.552 Prop: 65.484 PropClause: 55.22 Set: 69.557 Check: 0.0 Back: 2.937
INFO - Atoms: 2535/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 115993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.575 Prop: 66.214 PropClause: 55.814 Set: 70.09 Check: 0.0 Back: 3.001
INFO - Atoms: 2490/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 118521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.611 Prop: 66.933 PropClause: 56.392 Set: 70.639 Check: 0.0 Back: 3.063
INFO - Atoms: 2528/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 121049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.64 Prop: 67.736 PropClause: 57.058 Set: 71.178 Check: 0.0 Back: 3.127
INFO - Atoms: 2528/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 123490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.668 Prop: 68.514 PropClause: 57.706 Set: 71.731 Check: 0.0 Back: 3.191
INFO - Atoms: 2441/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 125931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.705 Prop: 69.361 PropClause: 58.417 Set: 72.239 Check: 0.0 Back: 3.252
INFO - Atoms: 2441/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 128358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.744 Prop: 70.135 PropClause: 59.038 Set: 72.744 Check: 0.0 Back: 3.314
INFO - Atoms: 2427/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 130821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.775 Prop: 70.89 PropClause: 59.647 Set: 73.265 Check: 0.0 Back: 3.376
INFO - Atoms: 2463/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 133320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.81 Prop: 71.712 PropClause: 60.317 Set: 73.782 Check: 0.0 Back: 3.44
INFO - Atoms: 2499/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 135855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.852 Prop: 72.675 PropClause: 61.132 Set: 74.34 Check: 0.0 Back: 3.503
INFO - Atoms: 2535/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 138302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.885 Prop: 73.492 PropClause: 61.795 Set: 74.854 Check: 0.0 Back: 3.567
INFO - Atoms: 2447/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 140835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.924 Prop: 74.422 PropClause: 62.559 Set: 75.399 Check: 0.0 Back: 3.628
INFO - Atoms: 2533/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 143369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.963 Prop: 75.286 PropClause: 63.272 Set: 75.93 Check: 0.0 Back: 3.692
INFO - Atoms: 2534/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 145930 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.003 Prop: 76.222 PropClause: 64.044 Set: 76.475 Check: 0.0 Back: 3.756
INFO - Atoms: 2561/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 148487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.038 Prop: 77.142 PropClause: 64.813 Set: 77.019 Check: 0.0 Back: 3.822
INFO - Atoms: 2557/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 151021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.613 Prop: 77.945 PropClause: 65.459 Set: 77.771 Check: 0.0 Back: 3.886
INFO - Atoms: 2534/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 153468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.754 Prop: 78.708 PropClause: 66.075 Set: 78.476 Check: 0.0 Back: 3.951
INFO - Atoms: 2447/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 156001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.767 Prop: 79.575 PropClause: 66.804 Set: 79.292 Check: 0.0 Back: 4.013
INFO - Atoms: 2533/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 158559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.779 Prop: 80.396 PropClause: 67.485 Set: 80.036 Check: 0.0 Back: 4.077
INFO - Atoms: 2558/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 161118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.794 Prop: 81.278 PropClause: 68.213 Set: 80.787 Check: 0.0 Back: 4.141
INFO - Atoms: 2559/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 163675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.808 Prop: 82.13 PropClause: 68.924 Set: 81.57 Check: 0.0 Back: 4.206
INFO - Atoms: 2557/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 166209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.824 Prop: 82.98 PropClause: 69.636 Set: 82.304 Check: 0.0 Back: 4.27
INFO - Atoms: 2534/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 168656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.84 Prop: 83.923 PropClause: 70.438 Set: 83.017 Check: 0.0 Back: 4.333
INFO - Atoms: 2447/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 171189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.852 Prop: 84.721 PropClause: 71.099 Set: 83.751 Check: 0.0 Back: 4.395
INFO - Atoms: 2533/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 173747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.865 Prop: 85.495 PropClause: 71.734 Set: 84.51 Check: 0.0 Back: 4.458
INFO - Atoms: 2558/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 176308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.875 Prop: 86.304 PropClause: 72.402 Set: 85.258 Check: 0.0 Back: 4.523
INFO - Atoms: 2561/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 178865 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.891 Prop: 87.278 PropClause: 73.233 Set: 86.008 Check: 0.0 Back: 4.586
INFO - Atoms: 2557/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 181399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.905 Prop: 88.096 PropClause: 73.913 Set: 86.752 Check: 0.0 Back: 4.65
INFO - Atoms: 2534/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 183846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.916 Prop: 88.872 PropClause: 74.551 Set: 87.459 Check: 0.0 Back: 4.714
INFO - Atoms: 2447/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 186379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.928 Prop: 89.731 PropClause: 75.272 Set: 88.196 Check: 0.0 Back: 4.775
INFO - Atoms: 2533/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 188937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.939 Prop: 90.529 PropClause: 75.93 Set: 88.941 Check: 0.0 Back: 4.838
INFO - Atoms: 2558/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 191498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.947 Prop: 91.302 PropClause: 76.561 Set: 89.699 Check: 0.0 Back: 4.903
INFO - Atoms: 2561/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 194055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.956 Prop: 92.087 PropClause: 77.206 Set: 90.439 Check: 0.0 Back: 4.968
INFO - Atoms: 2557/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 196589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.963 Prop: 92.852 PropClause: 77.82 Set: 91.166 Check: 0.0 Back: 5.032
INFO - Atoms: 2534/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 199036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.974 Prop: 93.597 PropClause: 78.419 Set: 91.671 Check: 0.0 Back: 5.095
INFO - Atoms: 2447/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 201569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.983 Prop: 94.408 PropClause: 79.075 Set: 92.221 Check: 0.0 Back: 5.156
INFO - Atoms: 2533/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 204127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.99 Prop: 95.164 PropClause: 79.677 Set: 92.761 Check: 0.0 Back: 5.221
INFO - Atoms: 2558/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 206686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.998 Prop: 95.951 PropClause: 80.309 Set: 93.306 Check: 0.0 Back: 5.287
INFO - Atoms: 2559/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 209243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.005 Prop: 96.722 PropClause: 80.932 Set: 93.835 Check: 0.0 Back: 5.352
INFO - Atoms: 2557/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 211777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.014 Prop: 97.526 PropClause: 81.58 Set: 94.384 Check: 0.0 Back: 5.417
INFO - Atoms: 2534/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 214224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.021 Prop: 98.244 PropClause: 82.154 Set: 94.892 Check: 0.0 Back: 5.48
INFO - Atoms: 2447/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 216757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.032 Prop: 98.986 PropClause: 82.767 Set: 95.404 Check: 0.0 Back: 5.541
INFO - Atoms: 2533/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 219315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.04 Prop: 99.699 PropClause: 83.368 Set: 95.923 Check: 0.0 Back: 5.604
INFO - Atoms: 2558/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 221876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.048 Prop: 100.444 PropClause: 84.0 Set: 96.472 Check: 0.0 Back: 5.667
INFO - Atoms: 2561/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 224433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.056 Prop: 101.2 PropClause: 84.639 Set: 97.046 Check: 0.0 Back: 5.731
INFO - Atoms: 2557/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 226967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.064 Prop: 101.909 PropClause: 85.239 Set: 97.589 Check: 0.0 Back: 5.796
INFO - Atoms: 2534/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 229414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.069 Prop: 102.579 PropClause: 85.806 Set: 98.1 Check: 0.0 Back: 5.86
INFO - Atoms: 2447/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 231947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.076 Prop: 103.312 PropClause: 86.427 Set: 98.651 Check: 0.0 Back: 5.922
INFO - Atoms: 2533/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 234505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.082 Prop: 104.021 PropClause: 87.023 Set: 99.188 Check: 0.0 Back: 5.986
INFO - Atoms: 2558/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 237066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.089 Prop: 104.732 PropClause: 87.625 Set: 99.713 Check: 0.0 Back: 6.051
INFO - Atoms: 2561/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 239623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.094 Prop: 105.442 PropClause: 88.225 Set: 100.265 Check: 0.0 Back: 6.116
INFO - Atoms: 2557/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 242157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.098 Prop: 106.15 PropClause: 88.827 Set: 100.809 Check: 0.0 Back: 6.181
INFO - Atoms: 2534/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 244717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.102 Prop: 106.846 PropClause: 89.416 Set: 101.32 Check: 0.0 Back: 6.245
INFO - Atoms: 2560/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 246757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.106 Prop: 107.431 PropClause: 89.916 Set: 101.749 Check: 0.0 Back: 6.31
INFO - Atoms: 2040/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 248836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.112 Prop: 107.972 PropClause: 90.368 Set: 102.188 Check: 0.0 Back: 6.361
INFO - Atoms: 2079/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 250912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.116 Prop: 108.51 PropClause: 90.82 Set: 102.626 Check: 0.0 Back: 6.414
INFO - Atoms: 2076/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 253038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.12 Prop: 109.048 PropClause: 91.268 Set: 103.063 Check: 0.0 Back: 6.466
INFO - Atoms: 2126/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 255571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.124 Prop: 109.736 PropClause: 91.849 Set: 103.584 Check: 0.0 Back: 6.518
INFO - Atoms: 2533/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 258129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.36 Prop: 110.423 PropClause: 92.428 Set: 104.137 Check: 0.0 Back: 6.582
INFO - Atoms: 2558/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 260690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.365 Prop: 111.161 PropClause: 93.057 Set: 104.667 Check: 0.0 Back: 6.647
INFO - Atoms: 2561/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 263247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.37 Prop: 111.872 PropClause: 93.658 Set: 105.216 Check: 0.0 Back: 6.711
INFO - Atoms: 2557/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 265781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.374 Prop: 112.569 PropClause: 94.249 Set: 105.73 Check: 0.0 Back: 6.776
INFO - Atoms: 2534/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 268228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.38 Prop: 113.284 PropClause: 94.862 Set: 106.231 Check: 0.0 Back: 6.84
INFO - Atoms: 2447/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 270785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.388 Prop: 114.053 PropClause: 95.517 Set: 106.751 Check: 0.0 Back: 6.902
INFO - Atoms: 2557/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 273343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.392 Prop: 114.751 PropClause: 96.108 Set: 107.301 Check: 0.0 Back: 6.966
INFO - Atoms: 2558/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 275902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.395 Prop: 115.449 PropClause: 96.7 Set: 107.835 Check: 0.0 Back: 7.03
INFO - Atoms: 2559/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 278459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.4 Prop: 116.152 PropClause: 97.297 Set: 108.38 Check: 0.0 Back: 7.093
INFO - Atoms: 2557/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 280993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.403 Prop: 116.847 PropClause: 97.883 Set: 108.904 Check: 0.0 Back: 7.158
INFO - Atoms: 2534/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 283440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.413 Prop: 117.567 PropClause: 98.499 Set: 109.415 Check: 0.0 Back: 7.222
INFO - Atoms: 2447/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 285990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.421 Prop: 118.378 PropClause: 99.206 Set: 109.956 Check: 0.0 Back: 7.284
INFO - Atoms: 2550/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 288540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.431 Prop: 119.215 PropClause: 99.934 Set: 110.5 Check: 0.0 Back: 7.348
INFO - Atoms: 2550/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 290986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.577 Prop: 120.002 PropClause: 100.615 Set: 111.025 Check: 0.0 Back: 7.41
INFO - Atoms: 2446/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 293526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.591 Prop: 120.78 PropClause: 101.282 Set: 111.564 Check: 0.0 Back: 7.473
INFO - Atoms: 2540/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 296066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.602 Prop: 121.514 PropClause: 101.901 Set: 112.082 Check: 0.0 Back: 7.539
INFO - Atoms: 2540/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 298608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.615 Prop: 122.235 PropClause: 102.515 Set: 112.593 Check: 0.0 Back: 7.613
INFO - Atoms: 2542/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 301121 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.629 Prop: 123.009 PropClause: 103.183 Set: 113.11 Check: 0.0 Back: 7.677
INFO - Atoms: 2513/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 303635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.64 Prop: 123.714 PropClause: 103.776 Set: 113.612 Check: 0.0 Back: 7.741
INFO - Atoms: 2514/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 306081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.653 Prop: 124.406 PropClause: 104.364 Set: 114.105 Check: 0.0 Back: 7.804
INFO - Atoms: 2446/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 308564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.673 Prop: 125.173 PropClause: 105.022 Set: 114.619 Check: 0.0 Back: 7.865
INFO - Atoms: 2483/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 311047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.691 Prop: 125.941 PropClause: 105.674 Set: 115.136 Check: 0.0 Back: 7.926
INFO - Atoms: 2483/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 313497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.703 Prop: 126.651 PropClause: 106.28 Set: 115.629 Check: 0.0 Back: 7.989
INFO - Atoms: 2450/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 315948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.714 Prop: 127.388 PropClause: 106.914 Set: 116.111 Check: 0.0 Back: 8.061
INFO - Atoms: 2451/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 318401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.727 Prop: 128.084 PropClause: 107.505 Set: 116.616 Check: 0.0 Back: 8.122
INFO - Atoms: 2453/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 320826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.741 Prop: 128.804 PropClause: 108.116 Set: 117.103 Check: 0.0 Back: 8.184
INFO - Atoms: 2425/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 323277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.755 Prop: 129.501 PropClause: 108.696 Set: 117.598 Check: 0.0 Back: 8.248
INFO - Atoms: 2451/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 325712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.849 Prop: 130.266 PropClause: 109.357 Set: 118.108 Check: 0.0 Back: 8.309
INFO - Atoms: 2435/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 328186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.861 Prop: 131.02 PropClause: 109.953 Set: 118.608 Check: 0.0 Back: 8.37
INFO - Atoms: 2474/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 330599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.872 Prop: 131.726 PropClause: 110.555 Set: 119.11 Check: 0.0 Back: 8.431
INFO - Atoms: 2413/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 332978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.886 Prop: 132.454 PropClause: 111.178 Set: 119.618 Check: 0.0 Back: 8.49
INFO - Atoms: 2379/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 335321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.898 Prop: 133.304 PropClause: 111.809 Set: 125.911 Check: 0.0 Back: 8.55
INFO - Atoms: 2343/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 337679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.909 Prop: 134.12 PropClause: 112.54 Set: 126.861 Check: 0.0 Back: 8.607
INFO - Atoms: 2358/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 340074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.918 Prop: 134.924 PropClause: 113.265 Set: 132.24 Check: 0.0 Back: 8.667
INFO - Atoms: 2395/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 342526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.926 Prop: 135.621 PropClause: 113.893 Set: 133.511 Check: 0.0 Back: 8.726
INFO - Atoms: 2452/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 344991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.934 Prop: 136.307 PropClause: 114.506 Set: 134.684 Check: 0.0 Back: 8.787
INFO - Atoms: 2465/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 347525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.942 Prop: 137.0 PropClause: 115.125 Set: 135.895 Check: 0.0 Back: 8.849
INFO - Atoms: 2534/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 350093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.951 Prop: 137.754 PropClause: 115.804 Set: 137.137 Check: 0.0 Back: 8.912
INFO - Atoms: 2568/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 352697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.96 Prop: 138.477 PropClause: 116.451 Set: 138.438 Check: 0.0 Back: 8.976
INFO - Atoms: 2604/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 355337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.971 Prop: 139.235 PropClause: 117.13 Set: 139.777 Check: 0.0 Back: 9.041
INFO - Atoms: 2640/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 358011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.622 Prop: 139.976 PropClause: 117.795 Set: 141.112 Check: 0.0 Back: 9.107
INFO - Atoms: 2674/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 360721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.659 Prop: 141.109 PropClause: 118.85 Set: 142.521 Check: 0.0 Back: 9.173
INFO - Atoms: 2710/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 363465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.705 Prop: 142.169 PropClause: 119.831 Set: 143.94 Check: 0.0 Back: 9.241
INFO - Atoms: 2744/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 366245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.72 Prop: 143.092 PropClause: 120.672 Set: 145.343 Check: 0.0 Back: 9.309
INFO - Atoms: 2780/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 369059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.728 Prop: 143.928 PropClause: 121.41 Set: 147.488 Check: 0.0 Back: 9.377
INFO - Atoms: 2814/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 371909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.735 Prop: 144.762 PropClause: 122.142 Set: 149.466 Check: 0.0 Back: 9.447
INFO - Atoms: 2850/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 374793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.743 Prop: 145.588 PropClause: 122.877 Set: 151.391 Check: 0.0 Back: 9.519
INFO - Atoms: 2884/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 377713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.749 Prop: 146.442 PropClause: 123.625 Set: 153.341 Check: 0.0 Back: 9.59
INFO - Atoms: 2920/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 380667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.758 Prop: 147.316 PropClause: 124.386 Set: 155.402 Check: 0.0 Back: 9.664
INFO - Atoms: 2954/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 383657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.764 Prop: 148.2 PropClause: 125.161 Set: 157.435 Check: 0.0 Back: 9.738
INFO - Atoms: 2990/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 386681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.771 Prop: 149.059 PropClause: 125.919 Set: 159.495 Check: 0.0 Back: 9.813
INFO - Atoms: 3024/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 389741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.778 Prop: 149.976 PropClause: 126.72 Set: 161.541 Check: 0.0 Back: 9.889
INFO - Atoms: 3060/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 392835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.786 Prop: 150.819 PropClause: 127.476 Set: 162.224 Check: 0.0 Back: 9.961
INFO - Atoms: 3094/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 395965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.791 Prop: 151.673 PropClause: 128.24 Set: 162.856 Check: 0.0 Back: 10.039
INFO - Atoms: 3130/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 399129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.799 Prop: 152.554 PropClause: 129.033 Set: 163.525 Check: 0.0 Back: 10.117
INFO - Atoms: 3164/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 402329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.811 Prop: 153.442 PropClause: 129.83 Set: 164.187 Check: 0.0 Back: 10.196
INFO - Atoms: 3200/3424 Clauses: 197 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 652 Props: 744988 Tprops: 0 Decides: 551 RSplits: 0
INFO - Times: Expl: 210.781 Prop: 254.434 PropClause: 220.481 Set: 173.054 Check: 0.015 Back: 18.905
INFO - Atoms: 1109/3424 Clauses: 696 Axioms: 10802
INFO - Restart
INFO - Confl: 1152 Props: 947457 Tprops: 0 Decides: 1178 RSplits: 0
INFO - Times: Expl: 310.713 Prop: 319.403 PropClause: 279.389 Set: 178.163 Check: 0.031 Back: 24.01
INFO - Atoms: 1109/3424 Clauses: 1196 Axioms: 10802
INFO - Restart
INFO - Confl: 2152 Props: 1348391 Tprops: 0 Decides: 2441 RSplits: 0
INFO - Times: Expl: 511.092 Prop: 459.954 PropClause: 407.812 Set: 188.37 Check: 0.064 Back: 34.171
INFO - Atoms: 1109/3424 Clauses: 2196 Axioms: 10802
INFO - Confl: 2419 Props: 1448358 Tprops: 0 Decides: 2800 RSplits: 0
INFO - Times: Expl: 548.395 Prop: 494.591 PropClause: 439.428 Set: 191.014 Check: 0.074 Back: 36.702
INFO - Atoms: 1515/3424 Clauses: 2463 Axioms: 10802
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 156 Props: 5404 Tprops: 1284 Decides: 5471 RSplits: 0
INFO - Times: Expl: 62.136 Prop: 2094.738 PropClause: 3.58 Set: 786.973 Check: 89.926 Back: 20.452
INFO - Atoms: 232/294 Clauses: 156 Axioms: 294
INFO - CCTimes: iE 89040 eq 11047449 cc 44867393 setRep 11609514
INFO - Merges: 43939, cc:62008
INFO - BVTimes: BB 75130075 BB_DPLL 1662396019 Graph 184158
INFO - BitBlastingClauses: 40790 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat