detailed results (3222 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-09.cnf (content) unsat unsat 0.128s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-089.cnf (content) unsat unsat 0.280s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-089.cnf (content) unsat unsat 0.108s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-088.cnf (content) unsat unsat 0.423s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-088.cnf (content) unsat unsat 0.136s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-087.cnf (content) unsat unsat 0.290s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-087.cnf (content) unsat unsat 0.139s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-086.cnf (content) unsat unsat 0.178s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-086.cnf (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-085.cnf (content) unsat unsat 0.370s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-085.cnf (content) unsat unsat 0.175s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-084.cnf (content) unsat unsat 0.298s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-084.cnf (content) unsat unsat 0.158s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-083.cnf (content) unsat unsat 0.899s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-083.cnf (content) unsat unsat 0.447s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-082.cnf (content) unsat unsat 0.487s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-082.cnf (content) unsat unsat 0.228s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-081.cnf (content) unsat unsat 0.467s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-081.cnf (content) unsat unsat 0.198s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-080.cnf (content) unsat unsat 0.169s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-080.cnf (content) unsat unsat 0.078s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-08.cnf (content) unsat unsat 0.487s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-08.cnf (content) unsat unsat 0.211s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-079.cnf (content) unsat unsat 0.349s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-079.cnf (content) unsat unsat 0.169s