detailed results (1611 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-067.cnf (content) unsat unsat 0.102s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-066.cnf (content) unsat unsat 0.114s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-065.cnf (content) unsat unsat 0.155s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-064.cnf (content) unsat unsat 0.096s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-063.cnf (content) unsat unsat 0.205s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-062.cnf (content) unsat unsat 0.222s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-061.cnf (content) unsat unsat 0.071s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-060.cnf (content) unsat unsat 0.281s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-06.cnf (content) unsat unsat 0.223s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-059.cnf (content) unsat unsat 0.110s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-058.cnf (content) unsat unsat 0.089s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-057.cnf (content) unsat unsat 0.185s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-056.cnf (content) unsat unsat 0.258s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-055.cnf (content) unsat unsat 0.213s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-054.cnf (content) unsat unsat 0.244s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-053.cnf (content) unsat unsat 0.149s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-052.cnf (content) unsat unsat 0.150s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-051.cnf (content) unsat unsat 0.073s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-050.cnf (content) unsat unsat 0.909s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-05.cnf (content) unsat unsat 0.230s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-049.cnf (content) unsat unsat 0.219s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-048.cnf (content) unsat unsat 0.278s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-047.cnf (content) unsat unsat 0.213s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-046.cnf (content) unsat unsat 0.124s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-045.cnf (content) unsat unsat 0.090s