variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
303 | 7840 | 97.83 | 4.18 | 97.83 | 0.06 | 95.82 |
---|
zChaff | minisat | SatELite |
0.001 |
0.003999 |
0.12798 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 96.01 | 7.92 | 96.01 | 0.13 | 92.08 | 0 | 3877 | 49 | 3877 | 49 | 803394 | 0.283956 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.003999 |
0.093985 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 97.98 | 4.04 | 97.98 | 0.06 | 95.96 | 0 | 12 | 0 | 12 | 0 | 10696 | 0.006998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0 |
0.005999 |
0.136979 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 97.98 | 4.04 | 97.98 | 0.06 | 95.96 | 0 | 12 | 0 | 12 | 0 | 10633 | 0.005999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001999 |
0.005999 |
0.139978 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 97.98 | 4.04 | 97.98 | 0.06 | 95.96 | 0 | 12 | 0 | 12 | 0 | 10696 | 0.006998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001999 |
0.006998 |
0.143978 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 97.96 | 4.05 | 97.96 | 0.06 | 95.95 | 0 | 85 | 1 | 85 | 1 | 51275 | 0.024996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.005999 |
0.136979 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 97.98 | 4.04 | 97.98 | 0.06 | 95.96 | 0 | 12 | 0 | 12 | 0 | 10696 | 0.006998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.003999 |
0.135979 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 97.98 | 4.04 | 97.98 | 0.06 | 95.96 | 0 | 12 | 0 | 12 | 0 | 10633 | 0.006998 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.005999 |
0.135979 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 97.98 | 4.04 | 97.98 | 0.06 | 95.96 | 0 | 12 | 0 | 12 | 0 | 10696 | 0.003999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.004999 |
0.144977 |