detailed results (1611 total)

prover file res expected time
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
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