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 |