| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 49509 | 3649657 | 74.83 | 75.01 | 99.85 | 25.02 | 24.84 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 74.69 | 74.91 | 99.65 | 24.97 | 24.75 | 0 | 2047425 | 56 | 2047425 | 56 | 989883676 | 1370.7 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 68.67 | 93.39 | 99.81 | 31.15 | 6.43 | 0 | 718406 | 20 | 718406 | 20 | 280205736 | 415.433 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 74.83 | 75.01 | 99.85 | 25.02 | 24.84 | 0 | 0 | 0 | 0 | 0 | 49509 | 2.92855 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 74.83 | 75.01 | 99.85 | 25.02 | 24.84 | 0 | 0 | 0 | 0 | 0 | 48203 | 2.19367 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 74.83 | 75.01 | 99.85 | 25.02 | 24.84 | 0 | 0 | 0 | 0 | 0 | 49509 | 3.64945 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 74.83 | 75.01 | 99.85 | 25.02 | 24.84 | 0 | 0 | 0 | 0 | 0 | 48203 | 2.6006 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 74.83 | 75.01 | 99.85 | 25.02 | 24.84 | 0 | 0 | 0 | 0 | 0 | 49509 | 3.46647 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 74.83 | 75.01 | 99.85 | 25.02 | 24.84 | 0 | 0 | 0 | 0 | 0 | 48203 | 2.6626 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |