detailed results (3222 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-044.cnf (content) unsat unsat 0.076s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-043.cnf (content) unsat unsat 0.330s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-043.cnf (content) unsat unsat 0.153s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-042.cnf (content) unsat unsat 1s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-042.cnf (content) unsat unsat 0.676s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-041.cnf (content) unsat unsat 0.192s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-041.cnf (content) unsat unsat 0.079s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-040.cnf (content) unsat unsat 0.297s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-040.cnf (content) unsat unsat 0.145s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-04.cnf (content) unsat unsat 0.370s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-04.cnf (content) unsat unsat 0.211s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-039.cnf (content) unsat unsat 0.441s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-039.cnf (content) unsat unsat 0.109s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-038.cnf (content) unsat unsat 0.277s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-038.cnf (content) unsat unsat 0.120s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-037.cnf (content) unsat unsat 0.283s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-037.cnf (content) unsat unsat 0.157s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-036.cnf (content) unsat unsat 0.311s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-036.cnf (content) unsat unsat 0.109s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-035.cnf (content) unsat unsat 0.456s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-035.cnf (content) unsat unsat 0.138s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-034.cnf (content) unsat unsat 0.381s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-034.cnf (content) unsat unsat 0.157s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-033.cnf (content) unsat unsat 0.353s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-033.cnf (content) unsat unsat 0.188s