| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 53697 | 159595 | 80.27 | 70.52 | 66.67 | 5.52 | 15.72 |
|---|
| zChaff | minisat | SatELite |
| 471.411 |
166.602 |
164.103 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.11 | 70.84 | 66.54 | 5.59 | 15.44 | 0 | 2646 | 2 | 2646 | 2 | 21661943 | 10.1025 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 532.525 |
217.261 |
203.802 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 80.41 | 70.47 | 66.78 | 5.51 | 15.75 | 0 | 269 | 0 | 269 | 0 | 2690766 | 1.44678 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 551.354 |
163.33 |
371.361 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 80.36 | 70.66 | 66.95 | 5.52 | 15.79 | 0 | 678 | 0 | 678 | 0 | 6135730 | 3.08953 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 517.358 |
173.807 |
215.832 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 80.41 | 70.47 | 66.78 | 5.51 | 15.75 | 0 | 269 | 0 | 269 | 0 | 2668614 | 1.42078 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 547.669 |
173.95 |
381.367 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 80.17 | 70.91 | 66.63 | 5.57 | 15.40 | 0 | 2219 | 1 | 2219 | 1 | 17194740 | 8.14376 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 482.152 |
206.137 |
176.271 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 80.41 | 70.47 | 66.78 | 5.51 | 15.75 | 0 | 269 | 0 | 269 | 0 | 2690446 | 1.45678 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 518.69 |
167.914 |
372.064 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 80.36 | 70.66 | 66.95 | 5.52 | 15.79 | 0 | 678 | 0 | 678 | 0 | 6135730 | 2.84957 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 504.99 |
180.679 |
218.172 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 80.41 | 70.47 | 66.78 | 5.51 | 15.75 | 0 | 269 | 0 | 269 | 0 | 2668614 | 1.38679 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 557.799 |
164.105 |
378.448 |