| File | Type | Notes |
|---|---|---|
| columns.txt | txt |
Description of column values in other files |
| experiments-resubmission-diags.R | R |
R script to analyse data |
| lingeling-processed-all.txt.gz | txt.gz |
Space separated values for Lingeling on n Queens completion instances |
| placedqueens-lingeling.R | R |
R script to analyse data |
| placedqueens-shiftqueens.R | R |
R script to analyse data |
| run-diags-lingeling-raw.txt.gz | txt.gz |
Space separated values for Lingeling on Excluded Diagonals n Queens random instances |
| run-diags-minion-strong-processed.txt.gz | txt.gz |
Space separated values for Minion on Excluded Diagonal n Queens random instances |
| run-diags-shiftqueens-processed.txt.gz | txt.gz |
Space separated values for bitsolver on Excluded Diagonal n Queens random instances |
| shiftqueens-paper-processed.txt.gz | txt.gz |
Space separated values for Bitsolver on n Queens Completion instances |