| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 8400 | 25061 | 66.42 | 66.35 | 65.92 | 20.91 | 20.83 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 65.96 | 65.87 | 64.16 | 20.72 | 20.64 | 0 | 1232 | 5 | 1232 | 5 | 12811850 | 8.25674 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 67.23 | 65.93 | 65.50 | 19.95 | 21.08 | 0 | 303 | 1 | 303 | 1 | 4277648 | 2.81657 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 66.42 | 66.35 | 65.92 | 20.91 | 20.83 | 0 | 0 | 0 | 0 | 0 | 4440695 | 2.93555 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 66.42 | 66.35 | 65.92 | 20.91 | 20.83 | 0 | 0 | 0 | 0 | 0 | 2200956 | 1.49277 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 66.01 | 65.94 | 64.43 | 20.77 | 20.67 | 0 | 1046 | 4 | 1046 | 4 | 11888901 | 7.74682 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 67.10 | 66.00 | 65.57 | 20.11 | 21.04 | 0 | 252 | 1 | 252 | 1 | 4024934 | 2.59361 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 66.42 | 66.35 | 65.92 | 20.91 | 20.83 | 0 | 0 | 0 | 0 | 0 | 4403076 | 2.89456 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 66.42 | 66.35 | 65.92 | 20.91 | 20.83 | 0 | 0 | 0 | 0 | 0 | 2185152 | 1.48077 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |