detailed results (3222 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-032.cnf (content) unsat unsat 0.667s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-032.cnf (content) unsat unsat 0.343s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-031.cnf (content) unsat unsat 0.307s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-031.cnf (content) unsat unsat 0.129s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-030.cnf (content) unsat unsat 0.225s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-030.cnf (content) unsat unsat 0.091s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-03.cnf (content) unsat unsat 0.354s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-03.cnf (content) unsat unsat 0.200s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-029.cnf (content) unsat unsat 0.345s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-029.cnf (content) unsat unsat 0.173s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-028.cnf (content) unsat unsat 0.311s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-028.cnf (content) unsat unsat 0.088s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-027.cnf (content) unsat unsat 0.431s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-027.cnf (content) unsat unsat 0.173s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-026.cnf (content) unsat unsat 0.274s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-026.cnf (content) unsat unsat 0.104s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-025.cnf (content) unsat unsat 0.117s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-025.cnf (content) unsat unsat 0.096s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-024.cnf (content) unsat unsat 0.246s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-024.cnf (content) unsat unsat 0.192s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-023.cnf (content) unsat unsat 0.376s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-023.cnf (content) unsat unsat 0.156s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-022.cnf (content) unsat unsat 0.401s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-022.cnf (content) unsat unsat 0.095s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-021.cnf (content) unsat unsat 0.316s