variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
100 | 800 | 28.00 | 23.75 | 7.00 | 4.38 | 7.75 |
---|
zChaff | minisat | SatELite |
0 |
0.001999 |
0.003999 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 29.60 | 24.39 | 8.13 | 4.75 | 8.28 | 0 | 148 | 18 | 148 | 18 | 12577 | 0.028995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.002999 |
0.006998 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 32.80 | 23.57 | 8.05 | 4.54 | 9.08 | 0 | 117 | 15 | 117 | 15 | 9656 | 0.021996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0 |
0.003999 |
0.004999 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 29.77 | 24.73 | 8.55 | 4.89 | 8.24 | 0 | 145 | 18 | 145 | 18 | 12315 | 0.026995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.002999 |
0.003999 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 32.75 | 23.68 | 8.19 | 4.68 | 9.06 | 0 | 116 | 14 | 116 | 14 | 9610 | 0.020996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0 |
0.002999 |
0.005999 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 29.82 | 24.40 | 8.13 | 4.82 | 8.73 | 0 | 136 | 17 | 136 | 17 | 11767 | 0.025996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.001999 |
0.004999 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 32.46 | 23.77 | 8.12 | 4.64 | 8.99 | 0 | 110 | 14 | 110 | 14 | 9289 | 0.021996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.001999 |
0.004999 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 30.03 | 24.62 | 8.41 | 4.80 | 8.71 | 0 | 134 | 17 | 134 | 17 | 11568 | 0.022996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0 |
0.001999 |
0.004999 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 32.46 | 23.77 | 8.12 | 4.64 | 8.99 | 0 | 110 | 14 | 110 | 14 | 9245 | 0.020996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0 |
0.000999 |
0.002999 |