detailed results (3222 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/pret/pret60_75.cnf (content) unsat unsat 0.072s
z3 /home/simon/w/sidekick2/tests/pret/pret60_75.cnf (content) unsat unsat 0.017s
sidekick-dev /home/simon/w/sidekick2/tests/pret/pret60_60.cnf (content) unsat unsat 0.073s
z3 /home/simon/w/sidekick2/tests/pret/pret60_60.cnf (content) unsat unsat 0.016s
sidekick-dev /home/simon/w/sidekick2/tests/pret/pret60_40.cnf (content) unsat unsat 0.046s
z3 /home/simon/w/sidekick2/tests/pret/pret60_40.cnf (content) unsat unsat 0.013s
sidekick-dev /home/simon/w/sidekick2/tests/pret/pret60_25.cnf (content) unsat unsat 0.046s
z3 /home/simon/w/sidekick2/tests/pret/pret60_25.cnf (content) unsat unsat 0.012s
sidekick-dev /home/simon/w/sidekick2/tests/pret/pret150_75.cnf (content) unsat unsat 0.110s
z3 /home/simon/w/sidekick2/tests/pret/pret150_75.cnf (content) unsat unsat 0.807s
sidekick-dev /home/simon/w/sidekick2/tests/pret/pret150_60.cnf (content) unsat unsat 0.054s
z3 /home/simon/w/sidekick2/tests/pret/pret150_60.cnf (content) unsat unsat 0.146s
sidekick-dev /home/simon/w/sidekick2/tests/pret/pret150_40.cnf (content) unsat unsat 0.043s
z3 /home/simon/w/sidekick2/tests/pret/pret150_40.cnf (content) unsat unsat 0.121s
sidekick-dev /home/simon/w/sidekick2/tests/pret/pret150_25.cnf (content) unsat unsat 0.046s
z3 /home/simon/w/sidekick2/tests/pret/pret150_25.cnf (content) unsat unsat 0.275s
sidekick-dev /home/simon/w/sidekick2/tests/pigeon/hole9.cnf (content) unsat unsat 5.2s
z3 /home/simon/w/sidekick2/tests/pigeon/hole9.cnf (content) unsat unsat 1.3s
sidekick-dev /home/simon/w/sidekick2/tests/pigeon/hole8.cnf (content) unsat unsat 1.2s
z3 /home/simon/w/sidekick2/tests/pigeon/hole8.cnf (content) unsat unsat 0.175s
sidekick-dev /home/simon/w/sidekick2/tests/pigeon/hole7.cnf (content) unsat unsat 0.214s
z3 /home/simon/w/sidekick2/tests/pigeon/hole7.cnf (content) unsat unsat 0.046s
sidekick-dev /home/simon/w/sidekick2/tests/pigeon/hole6.cnf (content) unsat unsat 0.048s
z3 /home/simon/w/sidekick2/tests/pigeon/hole6.cnf (content) unsat unsat 0.017s
sidekick-dev /home/simon/w/sidekick2/tests/pigeon/hole10.cnf (content) unknown unsat 10s