detailed results (1504 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-074.cnf (content) unsat unsat 0.034s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-073.cnf (content) unsat unsat 0.068s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-072.cnf (content) unsat unsat 0.070s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-071.cnf (content) unsat unsat 0.079s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-070.cnf (content) unsat unsat 0.050s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-07.cnf (content) unsat unsat 0.055s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-069.cnf (content) unsat unsat 0.098s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-068.cnf (content) unsat unsat 0.057s
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