detailed results (1611 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-09.cnf (content) unsat unsat 0.367s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-089.cnf (content) unsat unsat 0.280s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-088.cnf (content) unsat unsat 0.423s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-087.cnf (content) unsat unsat 0.290s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-086.cnf (content) unsat unsat 0.178s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-085.cnf (content) unsat unsat 0.370s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-084.cnf (content) unsat unsat 0.298s
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