| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 27568 | 80439 | 67.94 | 67.99 | 74.70 | 21.03 | 21.07 |
|---|
| zChaff | minisat | SatELite |
| 6447.19 |
280.883 |
323.153 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 67.96 | 68.00 | 74.69 | 21.83 | 21.91 | 0 | 344 | 0 | 344 | 0 | 5826842 | 6.39303 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4542.32 |
290.413 |
270.61 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 67.92 | 68.09 | 74.73 | 21.88 | 21.85 | 0 | 119 | 0 | 119 | 0 | 1749841 | 2.08968 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 9457.25 |
188.533 |
291.93 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 67.96 | 68.03 | 74.77 | 21.86 | 21.92 | 0 | 77 | 0 | 77 | 0 | 1018002 | 1.2968 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3978.14 |
325.878 |
453.035 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 67.95 | 68.04 | 74.75 | 21.86 | 21.91 | 0 | 54 | 0 | 54 | 0 | 598950 | 0.750885 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3848.02 |
274.773 |
518.127 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 67.96 | 68.01 | 74.71 | 21.84 | 21.91 | 0 | 267 | 0 | 267 | 0 | 5310652 | 6.06208 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 5196.02 |
224.829 |
313.561 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 67.93 | 68.08 | 74.73 | 21.87 | 21.87 | 0 | 100 | 0 | 100 | 0 | 1620579 | 1.9667 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 5766.78 |
221.208 |
238.385 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 67.96 | 68.03 | 74.77 | 21.86 | 21.92 | 0 | 77 | 0 | 77 | 0 | 1018002 | 1.3058 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4042.8 |
299.231 |
466.843 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 67.95 | 68.04 | 74.75 | 21.86 | 21.91 | 0 | 54 | 0 | 54 | 0 | 598950 | 0.801878 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3965.68 |
289.937 |
503.759 |