detailed results (1504 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-029.cnf (content) unsat unsat 0.053s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-028.cnf (content) unsat unsat 0.090s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-027.cnf (content) unsat unsat 0.063s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-026.cnf (content) unsat unsat 0.064s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-025.cnf (content) unsat unsat 0.061s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-024.cnf (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-023.cnf (content) unsat unsat 0.070s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-022.cnf (content) unsat unsat 0.039s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-021.cnf (content) unsat unsat 0.066s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-020.cnf (content) unsat unsat 0.044s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-02.cnf (content) unsat unsat 0.074s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-019.cnf (content) unsat unsat 0.033s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-018.cnf (content) unsat unsat 0.091s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-017.cnf (content) unsat unsat 0.074s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-016.cnf (content) unsat unsat 0.042s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-015.cnf (content) unsat unsat 0.089s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-014.cnf (content) unsat unsat 0.078s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-013.cnf (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-012.cnf (content) unsat unsat 0.074s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-011.cnf (content) unsat unsat 0.054s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-0100.cnf (content) unsat unsat 0.074s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-010.cnf (content) unsat unsat 0.055s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-01.cnf (content) unsat unsat 0.078s
z3 /home/simon/w/sidekick2/tests/uuf125/uuf125-099.cnf (content) unsat unsat 0.032s
z3 /home/simon/w/sidekick2/tests/uuf125/uuf125-098.cnf (content) unsat unsat 0.019s