detailed results (1504 total)

prover file res expected time
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
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-044.cnf (content) unsat unsat 0.076s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-043.cnf (content) unsat unsat 0.153s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-042.cnf (content) unsat unsat 0.676s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-041.cnf (content) unsat unsat 0.079s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-040.cnf (content) unsat unsat 0.145s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-04.cnf (content) unsat unsat 0.211s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-039.cnf (content) unsat unsat 0.109s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-038.cnf (content) unsat unsat 0.120s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-037.cnf (content) unsat unsat 0.157s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-036.cnf (content) unsat unsat 0.109s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-035.cnf (content) unsat unsat 0.138s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-034.cnf (content) unsat unsat 0.157s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-033.cnf (content) unsat unsat 0.188s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-032.cnf (content) unsat unsat 0.343s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-031.cnf (content) unsat unsat 0.129s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-030.cnf (content) unsat unsat 0.091s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-03.cnf (content) unsat unsat 0.200s