variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
482 | 456 | 78.95 | 55.92 | 35.09 | 8.55 | 1.97 |
---|
zChaff | minisat | SatELite |
0.002 |
0.002999 |
0.016997 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 79.55 | 56.82 | 36.36 | 8.86 | 2.05 | 346 | 16 | 4 | 16 | 4 | 6327 | 0.004999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.002 |
0.002999 |
0.014997 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 80.00 | 55.56 | 35.56 | 8.67 | 2.00 | 346 | 6 | 1 | 6 | 1 | 970 | 0.002999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.001999 |
0.014997 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 79.55 | 56.82 | 36.36 | 8.86 | 2.05 | 346 | 16 | 4 | 16 | 4 | 4306 | 0.003999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.003999 |
0.015997 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 80.00 | 55.56 | 35.56 | 8.67 | 2.00 | 346 | 6 | 1 | 6 | 1 | 970 | 0.001999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.001999 |
0.017997 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 79.64 | 56.56 | 36.20 | 8.82 | 2.04 | 346 | 14 | 3 | 14 | 3 | 5701 | 0.003999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.002 |
0.003999 |
0.014997 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 80.00 | 55.56 | 35.56 | 8.67 | 2.00 | 346 | 6 | 1 | 6 | 1 | 948 | 0.001999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.002999 |
0.018997 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 79.64 | 56.56 | 36.20 | 8.82 | 2.04 | 346 | 14 | 3 | 14 | 3 | 4001 | 0.002999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.002 |
0.001999 |
0.016997 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 80.00 | 55.56 | 35.56 | 8.67 | 2.00 | 346 | 6 | 1 | 6 | 1 | 948 | 0.001999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001999 |
0.002999 |
0.016997 |