Table 2.
NC | HNN-HORNSAT | HNN-2SAT | HNN-3SAT | HNN-MFTHORNSAT |
---|---|---|---|---|
1 | 63.4500 | 28.3000 | 33.3331 | 55.4435 |
2 | 78.7860 | 33.3000 | 33.3334 | 67.7778 |
3 | 84.3566 | 50.0000 | 34.3333 | 76.0000 |
4 | 90.7400 | 71.4000 | 40.3761 | 84.5200 |
5 | 91.9260 | 91.4100 | 43.6514 | 91.7507 |
6 | 93.0052 | 92.6800 | 48.8182 | 92.9224 |
7 | 94.4528 | 92.8367 | 53.8935 | 93.0055 |
8 | 63.4500 | 28.3000 | 33.3331 | 55.4435 |