detailed results (1 total)

proverfileresexpectedtime
minisat/home/simon/workspace/msat/tests/pigeon/hole10.cnf(content)unknownunknown10s