detailed results (3222 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0674.cnf (content) unsat unsat 0.017s
sidekick-dev /home/simon/w/sidekick2/tests/uuf100/uuf100-0673.cnf (content) unsat unsat 0.026s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0673.cnf (content) unsat unsat 0.012s
sidekick-dev /home/simon/w/sidekick2/tests/uuf100/uuf100-0672.cnf (content) unsat unsat 0.026s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0672.cnf (content) unsat unsat 0.012s
sidekick-dev /home/simon/w/sidekick2/tests/uuf100/uuf100-0671.cnf (content) unsat unsat 0.022s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0671.cnf (content) unsat unsat 0.012s
sidekick-dev /home/simon/w/sidekick2/tests/uuf100/uuf100-0670.cnf (content) unsat unsat 0.034s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0670.cnf (content) unsat unsat 0.016s
sidekick-dev /home/simon/w/sidekick2/tests/uuf100/uuf100-067.cnf (content) unsat unsat 0.028s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-067.cnf (content) unsat unsat 0.009s
sidekick-dev /home/simon/w/sidekick2/tests/uuf100/uuf100-0669.cnf (content) unsat unsat 0.031s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0669.cnf (content) unsat unsat 0.013s
sidekick-dev /home/simon/w/sidekick2/tests/uuf100/uuf100-0668.cnf (content) unsat unsat 0.021s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0668.cnf (content) unsat unsat 0.013s
sidekick-dev /home/simon/w/sidekick2/tests/uuf100/uuf100-0667.cnf (content) unsat unsat 0.027s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0667.cnf (content) unsat unsat 0.017s
sidekick-dev /home/simon/w/sidekick2/tests/uuf100/uuf100-0666.cnf (content) unsat unsat 0.019s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0666.cnf (content) unsat unsat 0.011s
sidekick-dev /home/simon/w/sidekick2/tests/uuf100/uuf100-0665.cnf (content) unsat unsat 0.030s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0665.cnf (content) unsat unsat 0.014s
sidekick-dev /home/simon/w/sidekick2/tests/uuf100/uuf100-0664.cnf (content) unsat unsat 0.043s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0664.cnf (content) unsat unsat 0.020s
sidekick-dev /home/simon/w/sidekick2/tests/uuf100/uuf100-0663.cnf (content) unsat unsat 0.022s
z3 /home/simon/w/sidekick2/tests/uuf100/uuf100-0663.cnf (content) unsat unsat 0.011s