Table 2.
GapSAT, Sparrow2Riss, and probSAT are compared on three domains based on the score.
| Hidden | Medium | Huge | |
|---|---|---|---|
| probSAT | 872 938.74 | 137 396.83 | 224 650.43 |
| Sparrow2Riss | 8 589.12 | 171 492.91 | 492 253.86 |
| GapSAT | 851.36 | 127 982.19 | 218 322.85 |
GapSAT, Sparrow2Riss, and probSAT are compared on three domains based on the score.
| Hidden | Medium | Huge | |
|---|---|---|---|
| probSAT | 872 938.74 | 137 396.83 | 224 650.43 |
| Sparrow2Riss | 8 589.12 | 171 492.91 | 492 253.86 |
| GapSAT | 851.36 | 127 982.19 | 218 322.85 |