| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 512 | 9685 | 98.02 | 2.86 | 56.39 | 1.98 | 55.51 |
|---|
| zChaff | minisat | SatELite |
| 0.120982 |
0.031995 |
0.32695 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 97.14 | 4.04 | 71.58 | 2.98 | 70.72 | 0 | 3083 | 32 | 3083 | 32 | 415470 | 0.302953 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.097985 |
0.029995 |
0.223965 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 98.05 | 2.83 | 56.40 | 2.03 | 55.74 | 0 | 3 | 0 | 3 | 0 | 1704 | 0.005999 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.120981 |
0.029995 |
0.32395 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 97.42 | 3.73 | 74.43 | 2.69 | 73.56 | 0 | 2348 | 24 | 2348 | 24 | 182434 | 0.150977 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.105985 |
0.027995 |
0.188971 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 98.05 | 2.83 | 56.40 | 2.03 | 55.74 | 0 | 3 | 0 | 3 | 0 | 1704 | 0.003999 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.119982 |
0.029995 |
0.320951 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 97.26 | 3.87 | 72.80 | 2.86 | 71.97 | 0 | 2789 | 29 | 2789 | 29 | 245385 | 0.19297 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.115982 |
0.029995 |
0.184971 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 98.05 | 2.83 | 56.40 | 2.03 | 55.74 | 0 | 3 | 0 | 3 | 0 | 1704 | 0.004999 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.120981 |
0.028995 |
0.321951 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 97.42 | 3.73 | 74.43 | 2.69 | 73.56 | 0 | 2348 | 24 | 2348 | 24 | 182434 | 0.151976 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.106983 |
0.027995 |
0.187971 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 98.05 | 2.83 | 56.40 | 2.03 | 55.74 | 0 | 3 | 0 | 3 | 0 | 1704 | 0.006998 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.127981 |
0.030995 |
0.32295 |