detailed results (3222 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-044.cnf (content) unsat unsat 0.105s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-043.cnf (content) unsat unsat 0.072s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-043.cnf (content) unsat unsat 0.051s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-042.cnf (content) unsat unsat 0.121s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-042.cnf (content) unsat unsat 0.074s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-041.cnf (content) unsat unsat 0.129s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-041.cnf (content) unsat unsat 0.046s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-040.cnf (content) unsat unsat 0.258s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-040.cnf (content) unsat unsat 0.085s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-04.cnf (content) unsat unsat 0.145s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-04.cnf (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-039.cnf (content) unsat unsat 0.105s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-039.cnf (content) unsat unsat 0.059s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-038.cnf (content) unsat unsat 0.220s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-038.cnf (content) unsat unsat 0.082s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-037.cnf (content) unsat unsat 0.107s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-037.cnf (content) unsat unsat 0.058s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-036.cnf (content) unsat unsat 0.124s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-036.cnf (content) unsat unsat 0.032s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-035.cnf (content) unsat unsat 0.165s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-035.cnf (content) unsat unsat 0.064s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-034.cnf (content) unsat unsat 0.074s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-034.cnf (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-033.cnf (content) unsat unsat 0.095s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-033.cnf (content) unsat unsat 0.040s