detailed results (1504 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-097.cnf (content) unsat unsat 0.074s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-096.cnf (content) unsat unsat 0.133s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-095.cnf (content) unsat unsat 0.112s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-094.cnf (content) unsat unsat 0.151s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-093.cnf (content) unsat unsat 0.174s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-092.cnf (content) unsat unsat 0.140s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-091.cnf (content) unsat unsat 0.107s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-090.cnf (content) unsat unsat 0.110s
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