variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
100 | 800 | 27.12 | 30.25 | 8.25 | 7.75 | 5.88 |
---|
zChaff | minisat | SatELite |
0.001 |
0.002999 |
0.003999 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 31.01 | 37.99 | 11.91 | 10.88 | 6.57 | 0 | 313 | 39 | 313 | 39 | 17017 | 0.031995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.002999 |
0.013997 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 28.75 | 44.32 | 11.90 | 11.36 | 5.86 | 0 | 254 | 32 | 254 | 32 | 12122 | 0.023996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.003 |
0.001999 |
0.008998 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 31.92 | 38.79 | 13.33 | 10.91 | 6.67 | 0 | 305 | 38 | 305 | 38 | 16603 | 0.028995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.002999 |
0.010998 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 28.94 | 44.32 | 12.09 | 11.36 | 6.04 | 0 | 254 | 32 | 254 | 32 | 12125 | 0.023996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.002 |
0.002999 |
0.009998 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 30.72 | 38.35 | 11.65 | 10.64 | 6.43 | 0 | 302 | 38 | 302 | 38 | 16157 | 0.029995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.003999 |
0.011998 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 28.86 | 43.92 | 11.80 | 11.25 | 5.81 | 0 | 249 | 31 | 249 | 31 | 11723 | 0.022996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001999 |
0.002999 |
0.009998 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 31.62 | 39.13 | 13.04 | 10.67 | 6.52 | 0 | 294 | 37 | 294 | 37 | 15836 | 0.028995 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.001 |
0.001999 |
0.010998 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 29.04 | 43.92 | 11.98 | 11.25 | 5.99 | 0 | 249 | 31 | 249 | 31 | 11742 | 0.021996 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.002 |
0.000999 |
0.010998 |