detailed results (75 total)

proverfileresexpectedtime
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-03.cnf(content)unknownunknown10s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-028.cnf(content)unknownunknown10.5s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-027.cnf(content)unknownunknown10.9s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-025.cnf(content)unknownunknown10.4s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-022.cnf(content)unknownunknown10.8s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-021.cnf(content)unknownunknown10.2s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-020.cnf(content)unknownunknown10.2s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-02.cnf(content)unknownunknown10.5s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-019.cnf(content)unknownunknown10.6s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-018.cnf(content)unknownunknown10.6s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-017.cnf(content)unknownunknown10.5s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-016.cnf(content)unknownunknown11s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-015.cnf(content)unknownunknown10.9s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-014.cnf(content)unknownunknown10.9s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-013.cnf(content)unknownunknown10.6s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-012.cnf(content)unknownunknown10.4s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-011.cnf(content)unknownunknown10.2s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-0100.cnf(content)unknownunknown10.8s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-010.cnf(content)unknownunknown10.4s
sidekick-dev/home/simon/w/sidekick2/tests/uuf250/uuf250-01.cnf(content)unknownunknown10.5s
sidekick-dev/home/simon/w/sidekick2/tests/unsat/uart-10.base.cvc.smt2(content)unknownunsat10.3s
sidekick-dev/home/simon/w/sidekick2/tests/unsat/eq_diamond70.smt2(content)unknownunsat10.3s
sidekick-dev/home/simon/w/sidekick2/tests/unsat/eq_diamond100.smt2(content)unknownunsat10.0s
sidekick-dev/home/simon/w/sidekick2/tests/sat/uart-10.induction.cvc.smt2(content)unknownsat10.3s
sidekick-dev/home/simon/w/sidekick2/tests/pigeon/hole10.cnf(content)unknownunsat10s