detailed results (3222 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-078.cnf (content) unsat unsat 0.325s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-078.cnf (content) unsat unsat 0.165s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-077.cnf (content) unsat unsat 0.268s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-077.cnf (content) unsat unsat 0.086s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-076.cnf (content) unsat unsat 0.351s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-076.cnf (content) unsat unsat 0.092s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-075.cnf (content) unsat unsat 0.431s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-075.cnf (content) unsat unsat 0.196s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-074.cnf (content) unsat unsat 0.349s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-074.cnf (content) unsat unsat 0.122s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-073.cnf (content) unsat unsat 0.502s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-073.cnf (content) unsat unsat 0.199s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-072.cnf (content) unsat unsat 0.411s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-072.cnf (content) unsat unsat 0.200s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-071.cnf (content) unsat unsat 0.309s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-071.cnf (content) unsat unsat 0.104s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-070.cnf (content) unsat unsat 0.473s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-070.cnf (content) unsat unsat 0.246s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-07.cnf (content) unsat unsat 0.477s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-07.cnf (content) unsat unsat 0.188s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-069.cnf (content) unsat unsat 0.360s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-069.cnf (content) unsat unsat 0.150s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-068.cnf (content) unsat unsat 0.258s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-068.cnf (content) unsat unsat 0.190s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-067.cnf (content) unsat unsat 0.383s