detailed results (1611 total)

prover file res expected time
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
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-097.cnf (content) unsat unsat 0.085s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-096.cnf (content) unsat unsat 0.068s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-095.cnf (content) unsat unsat 0.045s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-094.cnf (content) unsat unsat 0.050s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-093.cnf (content) unsat unsat 0.082s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-092.cnf (content) unsat unsat 0.057s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-091.cnf (content) unsat unsat 0.052s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-090.cnf (content) unsat unsat 0.063s