detailed results (1473 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-038.cnf (content) unsat unsat 0.277s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-037.cnf (content) unsat unsat 0.283s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-036.cnf (content) unsat unsat 0.311s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-035.cnf (content) unsat unsat 0.456s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-034.cnf (content) unsat unsat 0.381s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-033.cnf (content) unsat unsat 0.353s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-032.cnf (content) unsat unsat 0.667s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-031.cnf (content) unsat unsat 0.307s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-030.cnf (content) unsat unsat 0.225s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-03.cnf (content) unsat unsat 0.354s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-029.cnf (content) unsat unsat 0.345s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-028.cnf (content) unsat unsat 0.311s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-027.cnf (content) unsat unsat 0.431s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-026.cnf (content) unsat unsat 0.274s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-025.cnf (content) unsat unsat 0.117s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-024.cnf (content) unsat unsat 0.246s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-023.cnf (content) unsat unsat 0.376s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-022.cnf (content) unsat unsat 0.401s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-021.cnf (content) unsat unsat 0.316s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-020.cnf (content) unsat unsat 0.492s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-02.cnf (content) unsat unsat 0.812s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-019.cnf (content) unsat unsat 0.439s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-018.cnf (content) unsat unsat 0.452s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-017.cnf (content) unsat unsat 0.232s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-016.cnf (content) unsat unsat 0.500s