detailed results (7 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/sat/test-014.cnf (content) sat unknown 0.014s
sidekick-dev /home/simon/w/sidekick/tests/sat/test-000.cnf (content) sat unknown 0.011s
sidekick-dev /home/simon/w/sidekick/tests/sat/ssa4.cnf (content) sat unknown 0.042s
sidekick-dev /home/simon/w/sidekick/tests/sat/ssa3.cnf (content) sat unknown 0.033s
sidekick-dev /home/simon/w/sidekick/tests/sat/ssa2.cnf (content) sat unknown 0.062s
sidekick-dev /home/simon/w/sidekick/tests/sat/ssa1.cnf (content) sat unknown 0.029s
sidekick-dev /home/simon/w/sidekick/tests/sat/hanoi4.cnf (content) sat unknown 0.171s