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