variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
679 | 16124 | 94.23 | 6.85 | 94.23 | 0.06 | 93.15 |
---|
zChaff | minisat | SatELite |
0.002999 |
0.012998 |
0.208968 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 94.06 | 7.46 | 94.06 | 0.08 | 92.54 | 0 | 4720 | 29 | 4720 | 29 | 1896821 | 0.78788 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.005999 |
0.011998 |
0.203968 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 95.40 | 5.70 | 95.40 | 0.06 | 94.30 | 0 | 198 | 1 | 198 | 1 | 96390 | 0.051992 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.008999 |
0.013997 |
0.279957 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 95.73 | 5.36 | 95.73 | 0.06 | 94.64 | 0 | 254 | 2 | 254 | 2 | 94515 | 0.053991 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.013998 |
0.011998 |
0.241963 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 95.40 | 5.70 | 95.40 | 0.06 | 94.30 | 0 | 198 | 1 | 198 | 1 | 96390 | 0.050992 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.008998 |
0.011998 |
0.277957 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 95.63 | 5.49 | 95.63 | 0.06 | 94.51 | 0 | 629 | 4 | 629 | 4 | 194895 | 0.114982 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.016997 |
0.011998 |
0.237963 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 95.40 | 5.70 | 95.40 | 0.06 | 94.30 | 0 | 198 | 1 | 198 | 1 | 96390 | 0.049992 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.008999 |
0.010998 |
0.274958 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 95.73 | 5.36 | 95.73 | 0.06 | 94.64 | 0 | 254 | 2 | 254 | 2 | 94515 | 0.052991 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.011998 |
0.009998 |
0.233964 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 95.40 | 5.70 | 95.40 | 0.06 | 94.30 | 0 | 198 | 1 | 198 | 1 | 96390 | 0.050992 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.008999 |
0.014997 |
0.272958 |