detailed results (3222 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-010.cnf (content) unsat unsat 0.115s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-010.cnf (content) unsat unsat 0.055s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-01.cnf (content) unsat unsat 0.244s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-01.cnf (content) unsat unsat 0.078s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-099.cnf (content) unsat unsat 0.075s
z3 /home/simon/w/sidekick2/tests/uuf125/uuf125-099.cnf (content) unsat unsat 0.032s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-098.cnf (content) unsat unsat 0.066s
z3 /home/simon/w/sidekick2/tests/uuf125/uuf125-098.cnf (content) unsat unsat 0.019s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-097.cnf (content) unsat unsat 0.030s
z3 /home/simon/w/sidekick2/tests/uuf125/uuf125-097.cnf (content) unsat unsat 0.020s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-096.cnf (content) unsat unsat 0.044s
z3 /home/simon/w/sidekick2/tests/uuf125/uuf125-096.cnf (content) unsat unsat 0.021s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-095.cnf (content) unsat unsat 0.051s
z3 /home/simon/w/sidekick2/tests/uuf125/uuf125-095.cnf (content) unsat unsat 0.024s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-094.cnf (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick2/tests/uuf125/uuf125-094.cnf (content) unsat unsat 0.026s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-093.cnf (content) unsat unsat 0.040s
z3 /home/simon/w/sidekick2/tests/uuf125/uuf125-093.cnf (content) unsat unsat 0.023s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-092.cnf (content) unsat unsat 0.067s
z3 /home/simon/w/sidekick2/tests/uuf125/uuf125-092.cnf (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-091.cnf (content) unsat unsat 0.044s
z3 /home/simon/w/sidekick2/tests/uuf125/uuf125-091.cnf (content) unsat unsat 0.029s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-090.cnf (content) unsat unsat 0.045s
z3 /home/simon/w/sidekick2/tests/uuf125/uuf125-090.cnf (content) unsat unsat 0.022s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-09.cnf (content) unsat unsat 0.059s