detailed results (1504 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-074.cnf (content) unsat unsat 0.122s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-073.cnf (content) unsat unsat 0.199s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-072.cnf (content) unsat unsat 0.200s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-071.cnf (content) unsat unsat 0.104s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-070.cnf (content) unsat unsat 0.246s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-07.cnf (content) unsat unsat 0.188s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-069.cnf (content) unsat unsat 0.150s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-068.cnf (content) unsat unsat 0.190s
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