rate-experiments

This repository contains my thesis and the scripts I used to run the experiments evaluating DRAT proof checker rate.

The full data set with the results is in results.json Based on that, make generates the thesis, as well as some tables, plots and a fancy poster.

The workflow to run the experiments is roughly ./deploy.sh to copy to a remote machine; then execute ./run-all.sh there.

Name		Name	Last commit message	Last commit date
Latest commit History 168 Commits
old		old
p		p
poster		poster
slides		slides
t		t
tools		tools
vutinfth		vutinfth
.gitignore		.gitignore
Makefile		Makefile
Pipfile		Pipfile
Pipfile.lock		Pipfile.lock
README.md		README.md
checkers.txt		checkers.txt
combinations-with-padding.sh		combinations-with-padding.sh
combinations.sh		combinations.sh
commit.sh		commit.sh
compress-proofs.sh		compress-proofs.sh
csv.sh		csv.sh
deploy.sh		deploy.sh
ieee.csl		ieee.csl
instances-examples.txt		instances-examples.txt
instances.txt		instances.txt
mkdiff.sh		mkdiff.sh
plot.py		plot.py
plots.ipynb		plots.ipynb
prepare-benchmarks-and-solvers.sh		prepare-benchmarks-and-solvers.sh
prepare-solver.sh		prepare-solver.sh
recompress-and-symlink-benchmark.sh		recompress-and-symlink-benchmark.sh
references.bib		references.bib
results.json		results.json
results.org		results.org
results.py		results.py
run-all.sh		run-all.sh
run-checker.sh		run-checker.sh
run-instance-solver-combination.sh		run-instance-solver-combination.sh
run-instance-solver-combinations.sh		run-instance-solver-combinations.sh
run-solver.sh		run-solver.sh
solvers.sh		solvers.sh
solvers.txt		solvers.txt
table.py		table.py
thesis.md		thesis.md
thesis.pdf		thesis.pdf
title.tex		title.tex
unsat-instances.sh		unsat-instances.sh
uranus.sh		uranus.sh

Provide feedback