detailed results (1473 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-083.cnf (content) unsat unsat 0.899s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-082.cnf (content) unsat unsat 0.487s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-081.cnf (content) unsat unsat 0.467s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-080.cnf (content) unsat unsat 0.169s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-08.cnf (content) unsat unsat 0.487s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-079.cnf (content) unsat unsat 0.349s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-078.cnf (content) unsat unsat 0.325s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-077.cnf (content) unsat unsat 0.268s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-076.cnf (content) unsat unsat 0.351s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-075.cnf (content) unsat unsat 0.431s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-074.cnf (content) unsat unsat 0.349s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-073.cnf (content) unsat unsat 0.502s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-072.cnf (content) unsat unsat 0.411s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-071.cnf (content) unsat unsat 0.309s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-070.cnf (content) unsat unsat 0.473s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-07.cnf (content) unsat unsat 0.477s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-069.cnf (content) unsat unsat 0.360s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-068.cnf (content) unsat unsat 0.258s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-067.cnf (content) unsat unsat 0.383s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-066.cnf (content) unsat unsat 0.356s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-065.cnf (content) unsat unsat 0.313s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-064.cnf (content) unsat unsat 0.363s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-063.cnf (content) unsat unsat 0.192s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-062.cnf (content) unsat unsat 0.294s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-061.cnf (content) unsat unsat 0.187s