detailed results (1611 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-09.cnf (content) unsat unsat 0.128s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-089.cnf (content) unsat unsat 0.108s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-088.cnf (content) unsat unsat 0.136s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-087.cnf (content) unsat unsat 0.139s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-086.cnf (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-085.cnf (content) unsat unsat 0.175s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-084.cnf (content) unsat unsat 0.158s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-083.cnf (content) unsat unsat 0.447s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-082.cnf (content) unsat unsat 0.228s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-081.cnf (content) unsat unsat 0.198s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-080.cnf (content) unsat unsat 0.078s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-08.cnf (content) unsat unsat 0.211s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-079.cnf (content) unsat unsat 0.169s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-078.cnf (content) unsat unsat 0.165s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-077.cnf (content) unsat unsat 0.086s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-076.cnf (content) unsat unsat 0.092s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-075.cnf (content) unsat unsat 0.196s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-074.cnf (content) unsat unsat 0.122s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-073.cnf (content) unsat unsat 0.199s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-072.cnf (content) unsat unsat 0.200s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-071.cnf (content) unsat unsat 0.104s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-070.cnf (content) unsat unsat 0.246s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-07.cnf (content) unsat unsat 0.188s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-069.cnf (content) unsat unsat 0.150s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-068.cnf (content) unsat unsat 0.190s