This work is licensed under a Creative Commons Attribution 4.0 International License. | File | Type | Notes |
|---|---|---|
| columns.txt | txt |
Description of column values in other files |
| experiments-resubmission-blocks.R | R |
R script to analyse data |
| run-aspbenchmarks-lingeling-python.txt.gz | txt.gz |
Space separated values for lingeling on ASP benchmark instances |
| run-blocks-lingeling-raw.txt.gz | txt.gz |
Space separated values for Lingeling on Blocked n Queens random instances |
| run-blocks-minion-strong-processed.txt.gz | txt.gz |
Space separated values for Minion on Blocked n Queens random instances |
| run-blocks-shiftqueens-processed.txt.gz | txt.gz |
Space separated values for Bitsolver on Blocked n Queens random instances |
This work is licensed under a Creative Commons Attribution 4.0 International License.