detailed results (3222 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-067.cnf (content) unsat unsat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-066.cnf (content) unsat unsat 0.156s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-066.cnf (content) unsat unsat 0.058s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-065.cnf (content) unsat unsat 0.230s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-065.cnf (content) unsat unsat 0.064s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-064.cnf (content) unsat unsat 0.113s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-064.cnf (content) unsat unsat 0.060s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-063.cnf (content) unsat unsat 0.204s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-063.cnf (content) unsat unsat 0.082s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-062.cnf (content) unsat unsat 0.127s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-062.cnf (content) unsat unsat 0.058s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-061.cnf (content) unsat unsat 0.135s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-061.cnf (content) unsat unsat 0.073s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-060.cnf (content) unsat unsat 0.110s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-060.cnf (content) unsat unsat 0.064s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-06.cnf (content) unsat unsat 0.101s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-06.cnf (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-059.cnf (content) unsat unsat 0.102s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-059.cnf (content) unsat unsat 0.060s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-058.cnf (content) unsat unsat 0.123s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-058.cnf (content) unsat unsat 0.034s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-057.cnf (content) unsat unsat 0.212s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-057.cnf (content) unsat unsat 0.136s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-056.cnf (content) unsat unsat 0.076s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-056.cnf (content) unsat unsat 0.050s