detailed results (1611 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-067.cnf (content) unsat unsat 0.052s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-066.cnf (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-065.cnf (content) unsat unsat 0.064s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-064.cnf (content) unsat unsat 0.060s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-063.cnf (content) unsat unsat 0.082s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-062.cnf (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-061.cnf (content) unsat unsat 0.073s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-060.cnf (content) unsat unsat 0.064s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-06.cnf (content) unsat unsat 0.033s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-059.cnf (content) unsat unsat 0.060s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-058.cnf (content) unsat unsat 0.034s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-057.cnf (content) unsat unsat 0.136s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-056.cnf (content) unsat unsat 0.050s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-055.cnf (content) unsat unsat 0.098s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-054.cnf (content) unsat unsat 0.040s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-053.cnf (content) unsat unsat 0.035s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-052.cnf (content) unsat unsat 0.036s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-051.cnf (content) unsat unsat 0.065s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-050.cnf (content) unsat unsat 0.071s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-05.cnf (content) unsat unsat 0.084s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-049.cnf (content) unsat unsat 0.032s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-048.cnf (content) unsat unsat 0.071s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-047.cnf (content) unsat unsat 0.055s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-046.cnf (content) unsat unsat 0.066s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-045.cnf (content) unsat unsat 0.070s