detailed results (1504 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-029.cnf (content) unsat unsat 0.173s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-028.cnf (content) unsat unsat 0.088s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-027.cnf (content) unsat unsat 0.173s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-026.cnf (content) unsat unsat 0.104s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-025.cnf (content) unsat unsat 0.096s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-024.cnf (content) unsat unsat 0.192s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-023.cnf (content) unsat unsat 0.156s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-022.cnf (content) unsat unsat 0.095s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-021.cnf (content) unsat unsat 0.114s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-020.cnf (content) unsat unsat 0.254s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-02.cnf (content) unsat unsat 0.317s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-019.cnf (content) unsat unsat 0.210s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-018.cnf (content) unsat unsat 0.141s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-017.cnf (content) unsat unsat 0.089s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-016.cnf (content) unsat unsat 0.201s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-015.cnf (content) unsat unsat 0.077s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-014.cnf (content) unsat unsat 0.294s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-013.cnf (content) unsat unsat 0.158s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-012.cnf (content) unsat unsat 0.116s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-011.cnf (content) unsat unsat 0.079s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-0100.cnf (content) unsat unsat 0.142s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-010.cnf (content) unsat unsat 0.185s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-01.cnf (content) unsat unsat 0.095s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-099.cnf (content) unsat unsat 0.063s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-098.cnf (content) unsat unsat 0.089s