variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
1100 | 4103 | 49.48 | 50.52 | 0.00 | 12.31 | 11.75 |
---|
zChaff | minisat | SatELite |
228.872 |
34.4428 |
269.05 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 49.41 | 50.59 | 0.00 | 12.28 | 11.78 | 10 | 63 | 2 | 63 | 2 | 14487 | 0.014997 | UNKNOWN |
---|
zChaff | minisat | SatELite |
11.6722 |
33.2199 |
19.2331 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 49.05 | 50.95 | 0.00 | 12.41 | 11.70 | 10 | 34 | 1 | 34 | 1 | 7119 | 0.007998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
286.403 |
30.8973 |
50.1834 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 49.41 | 50.59 | 0.00 | 12.28 | 11.78 | 10 | 63 | 2 | 63 | 2 | 14487 | 0.015997 | UNKNOWN |
---|
zChaff | minisat | SatELite |
11.4503 |
33.2989 |
19.787 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 49.05 | 50.95 | 0.00 | 12.41 | 11.70 | 10 | 34 | 1 | 34 | 1 | 7119 | 0.009998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
297.396 |
31.2962 |
49.7324 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 49.48 | 50.52 | 0.00 | 12.31 | 11.75 | 10 | 0 | 0 | 0 | 0 | 0 | 0.004999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
228.872 |
34.4428 |
269.05 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 49.48 | 50.52 | 0.00 | 12.31 | 11.75 | 10 | 0 | 0 | 0 | 0 | 0 | 0.003999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
228.872 |
34.4428 |
269.05 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 49.48 | 50.52 | 0.00 | 12.31 | 11.75 | 10 | 0 | 0 | 0 | 0 | 0 | 0.005999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
228.872 |
34.4428 |
269.05 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 49.48 | 50.52 | 0.00 | 12.31 | 11.75 | 10 | 0 | 0 | 0 | 0 | 0 | 0.001999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
228.872 |
34.4428 |
269.05 |