Table 4.
ΔAUC relative to SA Tableau Search in the Fischer data set.
| Method(s) | ΔAUC |
|---|---|
| QP Tableau Search | -0.0533 |
| SHEBA | -0.0409 |
| DaliLite | -0.0399 |
| LOCK2 | -0.0379 |
| SA Tableau Search 4096, IR Tableau | 0.000 |
| SA Tableau Search 1024 | 0.0055 |
| SA Tableau Search 128 | 0.0143 |
| SARF2 | 0.0398 |
| YAKUSA | 0.0954 |
| TOPS | 0.1449 |
| TableauSearch | 0.1744 |
| VAST | 0.2365 |
Difference in AUC relative to SA Tableau Search (4096 restarts) methods for all-against-all comparisons in the Fischer data set. The table is sorted by ΔAUC, so that methods with higher AUC than SA TableauSearch (ΔAUC < 0, with p-value < 0.05) are at the top of the table, and those with lower AUC than SA tableau search (ΔAUC > 0, with p-value < 0.05) are at the bottom of the table. Methods for which there is no statistically significant difference in AUC from SA Tableau Search (4096 restarts) at p-value 0.05 are shown in a single row with ΔAUC = 0.000.