detailed results (1504 total)

prover file res expected time
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
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-044.cnf (content) unsat unsat 0.105s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-043.cnf (content) unsat unsat 0.051s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-042.cnf (content) unsat unsat 0.074s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-041.cnf (content) unsat unsat 0.046s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-040.cnf (content) unsat unsat 0.085s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-04.cnf (content) unsat unsat 0.050s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-039.cnf (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-038.cnf (content) unsat unsat 0.082s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-037.cnf (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-036.cnf (content) unsat unsat 0.032s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-035.cnf (content) unsat unsat 0.064s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-034.cnf (content) unsat unsat 0.040s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-033.cnf (content) unsat unsat 0.040s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-032.cnf (content) unsat unsat 0.062s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-031.cnf (content) unsat unsat 0.040s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-030.cnf (content) unsat unsat 0.069s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-03.cnf (content) unsat unsat 0.070s