detailed results (3222 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-021.cnf (content) unsat unsat 0.066s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-020.cnf (content) unsat unsat 0.173s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-020.cnf (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-02.cnf (content) unsat unsat 0.230s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-02.cnf (content) unsat unsat 0.074s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-019.cnf (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-019.cnf (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-018.cnf (content) unsat unsat 0.177s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-018.cnf (content) unsat unsat 0.091s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-017.cnf (content) unsat unsat 0.182s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-017.cnf (content) unsat unsat 0.074s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-016.cnf (content) unsat unsat 0.071s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-016.cnf (content) unsat unsat 0.042s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-015.cnf (content) unsat unsat 0.283s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-015.cnf (content) unsat unsat 0.089s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-014.cnf (content) unsat unsat 0.163s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-014.cnf (content) unsat unsat 0.078s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-013.cnf (content) unsat unsat 0.119s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-013.cnf (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-012.cnf (content) unsat unsat 0.164s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-012.cnf (content) unsat unsat 0.074s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-011.cnf (content) unsat unsat 0.093s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-011.cnf (content) unsat unsat 0.054s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-0100.cnf (content) unsat unsat 0.207s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-0100.cnf (content) unsat unsat 0.074s