detailed results (1611 total)

prover file res expected time
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
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-015.cnf (content) unsat unsat 0.238s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-014.cnf (content) unsat unsat 0.660s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-013.cnf (content) unsat unsat 0.372s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-012.cnf (content) unsat unsat 0.251s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-011.cnf (content) unsat unsat 0.210s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-0100.cnf (content) unsat unsat 0.208s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-010.cnf (content) unsat unsat 0.557s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-01.cnf (content) unsat unsat 0.322s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-099.cnf (content) unsat unsat 0.155s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-098.cnf (content) unsat unsat 0.169s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-097.cnf (content) unsat unsat 0.145s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-096.cnf (content) unsat unsat 0.105s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-095.cnf (content) unsat unsat 0.098s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-094.cnf (content) unsat unsat 0.111s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-093.cnf (content) unsat unsat 0.298s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-092.cnf (content) unsat unsat 0.134s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-091.cnf (content) unsat unsat 0.135s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-090.cnf (content) unsat unsat 0.140s