detailed results (3222 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-055.cnf (content) unsat unsat 0.504s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-055.cnf (content) unsat unsat 0.213s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-054.cnf (content) unsat unsat 0.415s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-054.cnf (content) unsat unsat 0.244s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-053.cnf (content) unsat unsat 0.360s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-053.cnf (content) unsat unsat 0.149s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-052.cnf (content) unsat unsat 0.376s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-052.cnf (content) unsat unsat 0.150s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-051.cnf (content) unsat unsat 0.186s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-051.cnf (content) unsat unsat 0.073s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-050.cnf (content) unsat unsat 0.841s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-050.cnf (content) unsat unsat 0.909s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-05.cnf (content) unsat unsat 0.342s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-05.cnf (content) unsat unsat 0.230s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-049.cnf (content) unsat unsat 0.410s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-049.cnf (content) unsat unsat 0.219s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-048.cnf (content) unsat unsat 0.407s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-048.cnf (content) unsat unsat 0.278s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-047.cnf (content) unsat unsat 0.662s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-047.cnf (content) unsat unsat 0.213s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-046.cnf (content) unsat unsat 0.401s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-046.cnf (content) unsat unsat 0.124s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-045.cnf (content) unsat unsat 0.290s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-045.cnf (content) unsat unsat 0.090s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-044.cnf (content) unsat unsat 0.227s