detailed results (3222 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-067.cnf (content) unsat unsat 0.102s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-066.cnf (content) unsat unsat 0.356s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-066.cnf (content) unsat unsat 0.114s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-065.cnf (content) unsat unsat 0.313s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-065.cnf (content) unsat unsat 0.155s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-064.cnf (content) unsat unsat 0.363s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-064.cnf (content) unsat unsat 0.096s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-063.cnf (content) unsat unsat 0.192s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-063.cnf (content) unsat unsat 0.205s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-062.cnf (content) unsat unsat 0.294s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-062.cnf (content) unsat unsat 0.222s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-061.cnf (content) unsat unsat 0.187s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-061.cnf (content) unsat unsat 0.071s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-060.cnf (content) unsat unsat 0.678s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-060.cnf (content) unsat unsat 0.281s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-06.cnf (content) unsat unsat 0.284s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-06.cnf (content) unsat unsat 0.223s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-059.cnf (content) unsat unsat 0.399s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-059.cnf (content) unsat unsat 0.110s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-058.cnf (content) unsat unsat 0.250s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-058.cnf (content) unsat unsat 0.089s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-057.cnf (content) unsat unsat 0.309s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-057.cnf (content) unsat unsat 0.185s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-056.cnf (content) unsat unsat 0.458s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-056.cnf (content) unsat unsat 0.258s