variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
120 | 516 | 39.34 | 40.12 | 12.79 | 6.98 | 6.59 |
---|
zChaff | minisat | SatELite |
0.014998 |
0.011998 |
0.041993 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 38.81 | 40.59 | 12.87 | 7.72 | 6.93 | 0 | 11 | 2 | 11 | 2 | 2190 | 0.004999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.021997 |
0.011998 |
0.065989 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 38.86 | 40.83 | 13.02 | 7.89 | 6.90 | 0 | 9 | 2 | 9 | 2 | 1366 | 0.001999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.022997 |
0.010998 |
0.040993 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 38.93 | 40.71 | 13.04 | 7.91 | 6.92 | 0 | 10 | 2 | 10 | 2 | 2060 | 0.001999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.022997 |
0.010998 |
0.042993 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 38.86 | 40.83 | 13.02 | 7.89 | 6.90 | 0 | 9 | 2 | 9 | 2 | 1336 | 0.002999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.022997 |
0.013997 |
0.040993 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 38.93 | 40.71 | 13.04 | 7.91 | 6.92 | 0 | 10 | 2 | 10 | 2 | 2062 | 0.002999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.021997 |
0.011998 |
0.039993 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 38.86 | 40.83 | 13.02 | 7.89 | 6.90 | 0 | 9 | 2 | 9 | 2 | 1336 | 0.000999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.021997 |
0.012998 |
0.039993 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 38.93 | 40.71 | 13.04 | 7.91 | 6.92 | 0 | 10 | 2 | 10 | 2 | 2060 | 0.003999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.022997 |
0.011998 |
0.041993 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 38.86 | 40.83 | 13.02 | 7.89 | 6.90 | 0 | 9 | 2 | 9 | 2 | 1336 | 0.003999 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.021997 |
0.010998 |
0.040993 |