detailed results (3222 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0336.cnf (content) unsat unsat 0.016s
sidekick-dev /home/simon/w/sidekick2/tests/uuf100/uuf100-0335.cnf (content) unsat unsat 0.024s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0335.cnf (content) unsat unsat 0.013s
sidekick-dev /home/simon/w/sidekick2/tests/uuf100/uuf100-0334.cnf (content) unsat unsat 0.020s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0334.cnf (content) unsat unsat 0.008s
sidekick-dev /home/simon/w/sidekick2/tests/uuf100/uuf100-0333.cnf (content) unsat unsat 0.026s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0333.cnf (content) unsat unsat 0.015s
sidekick-dev /home/simon/w/sidekick2/tests/uuf100/uuf100-0332.cnf (content) unsat unsat 0.029s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0332.cnf (content) unsat unsat 0.013s
sidekick-dev /home/simon/w/sidekick2/tests/uuf100/uuf100-0331.cnf (content) unsat unsat 0.024s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0331.cnf (content) unsat unsat 0.018s
sidekick-dev /home/simon/w/sidekick2/tests/uuf100/uuf100-0330.cnf (content) unsat unsat 0.025s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0330.cnf (content) unsat unsat 0.018s
sidekick-dev /home/simon/w/sidekick2/tests/uuf100/uuf100-033.cnf (content) unsat unsat 0.025s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-033.cnf (content) unsat unsat 0.016s
sidekick-dev /home/simon/w/sidekick2/tests/uuf100/uuf100-0329.cnf (content) unsat unsat 0.025s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0329.cnf (content) unsat unsat 0.011s
sidekick-dev /home/simon/w/sidekick2/tests/uuf100/uuf100-0328.cnf (content) unsat unsat 0.025s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0328.cnf (content) unsat unsat 0.011s
sidekick-dev /home/simon/w/sidekick2/tests/uuf100/uuf100-0327.cnf (content) unsat unsat 0.027s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0327.cnf (content) unsat unsat 0.014s
sidekick-dev /home/simon/w/sidekick2/tests/uuf100/uuf100-0326.cnf (content) unsat unsat 0.026s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0326.cnf (content) unsat unsat 0.019s
sidekick-dev /home/simon/w/sidekick2/tests/uuf100/uuf100-0325.cnf (content) unsat unsat 0.023s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0325.cnf (content) unsat unsat 0.013s