detailed results (1611 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-021.cnf (content) unsat unsat 0.066s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-020.cnf (content) unsat unsat 0.044s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-02.cnf (content) unsat unsat 0.074s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-019.cnf (content) unsat unsat 0.033s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-018.cnf (content) unsat unsat 0.091s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-017.cnf (content) unsat unsat 0.074s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-016.cnf (content) unsat unsat 0.042s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-015.cnf (content) unsat unsat 0.089s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-014.cnf (content) unsat unsat 0.078s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-013.cnf (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-012.cnf (content) unsat unsat 0.074s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-011.cnf (content) unsat unsat 0.054s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-0100.cnf (content) unsat unsat 0.074s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-010.cnf (content) unsat unsat 0.055s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-01.cnf (content) unsat unsat 0.078s
z3 /home/simon/w/sidekick2/tests/uuf125/uuf125-099.cnf (content) unsat unsat 0.032s
z3 /home/simon/w/sidekick2/tests/uuf125/uuf125-098.cnf (content) unsat unsat 0.019s
z3 /home/simon/w/sidekick2/tests/uuf125/uuf125-097.cnf (content) unsat unsat 0.020s
z3 /home/simon/w/sidekick2/tests/uuf125/uuf125-096.cnf (content) unsat unsat 0.021s
z3 /home/simon/w/sidekick2/tests/uuf125/uuf125-095.cnf (content) unsat unsat 0.024s
z3 /home/simon/w/sidekick2/tests/uuf125/uuf125-094.cnf (content) unsat unsat 0.026s
z3 /home/simon/w/sidekick2/tests/uuf125/uuf125-093.cnf (content) unsat unsat 0.023s
z3 /home/simon/w/sidekick2/tests/uuf125/uuf125-092.cnf (content) unsat unsat 0.045s
z3 /home/simon/w/sidekick2/tests/uuf125/uuf125-091.cnf (content) unsat unsat 0.029s
z3 /home/simon/w/sidekick2/tests/uuf125/uuf125-090.cnf (content) unsat unsat 0.022s