| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 1024 | 11657 | 64.69 | 66.11 | 63.76 | 20.81 | 19.66 |
|---|
| zChaff | minisat | SatELite |
| 2.99654 |
0.142978 |
1.02984 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 65.24 | 66.79 | 66.32 | 22.03 | 20.96 | 0 | 450 | 4 | 450 | 4 | 445346 | 0.361944 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.52546 |
0.143978 |
1.02484 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 63.98 | 67.43 | 65.04 | 22.09 | 20.55 | 0 | 229 | 2 | 229 | 2 | 159700 | 0.120981 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.78242 |
0.143978 |
1.01885 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 65.24 | 66.79 | 66.32 | 22.03 | 20.96 | 0 | 450 | 4 | 450 | 4 | 210282 | 0.172973 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.54246 |
0.145977 |
1.02684 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 63.98 | 67.43 | 65.04 | 22.09 | 20.55 | 0 | 229 | 2 | 229 | 2 | 102666 | 0.082987 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.81642 |
0.141978 |
1.01885 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 65.24 | 66.79 | 66.32 | 22.03 | 20.96 | 0 | 450 | 4 | 450 | 4 | 214916 | 0.166974 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.55846 |
0.141978 |
1.01684 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 63.98 | 67.43 | 65.04 | 22.09 | 20.55 | 0 | 229 | 2 | 229 | 2 | 103843 | 0.087986 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.78443 |
0.140978 |
1.03184 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 65.24 | 66.79 | 66.32 | 22.03 | 20.96 | 0 | 450 | 4 | 450 | 4 | 210282 | 0.164974 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.51347 |
0.143978 |
1.01984 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 63.98 | 67.43 | 65.04 | 22.09 | 20.55 | 0 | 229 | 2 | 229 | 2 | 102666 | 0.082987 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.76643 |
0.142978 |
1.02984 |