| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 1331 | 64377 | 58.84 | 56.86 | 31.77 | 15.30 | 17.13 |
|---|
| zChaff | minisat | SatELite |
| 0.072988 |
0.050992 |
0.298954 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 63.39 | 61.13 | 49.61 | 17.72 | 19.78 | 0 | 25554 | 40 | 25554 | 40 | 5618315 | 20.3459 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.119982 |
0.028995 |
0.19497 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 77.08 | 43.50 | 40.04 | 12.91 | 22.85 | 0 | 15235 | 24 | 15235 | 24 | 2504211 | 12.923 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.053992 |
0.037994 |
0.233964 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 63.89 | 61.40 | 51.11 | 17.78 | 20.08 | 0 | 24360 | 38 | 24360 | 38 | 4296536 | 19.3741 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.054991 |
0.030995 |
0.199969 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 76.79 | 43.72 | 41.46 | 14.09 | 22.76 | 0 | 15047 | 23 | 15047 | 23 | 2211855 | 11.1263 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.042994 |
0.038994 |
0.243962 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 63.78 | 61.29 | 50.66 | 17.72 | 20.01 | 0 | 24728 | 38 | 24728 | 38 | 4540102 | 17.6993 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.053991 |
0.030995 |
0.19597 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 76.38 | 44.01 | 40.67 | 13.75 | 22.64 | 0 | 14786 | 23 | 14786 | 23 | 2299133 | 11.8112 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.07099 |
0.032994 |
0.245962 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 63.89 | 61.40 | 51.11 | 17.78 | 20.08 | 0 | 24360 | 38 | 24360 | 38 | 4296536 | 17.6653 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.054992 |
0.027995 |
0.212967 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 76.79 | 43.72 | 41.46 | 14.09 | 22.76 | 0 | 15047 | 23 | 15047 | 23 | 2211855 | 11.3203 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.043994 |
0.032994 |
0.25796 |