detailed results (1611 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-021.cnf (content) unsat unsat 0.320s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-020.cnf (content) unsat unsat 0.173s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-02.cnf (content) unsat unsat 0.230s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-019.cnf (content) unsat unsat 0.058s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-018.cnf (content) unsat unsat 0.177s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-017.cnf (content) unsat unsat 0.182s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-016.cnf (content) unsat unsat 0.071s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-015.cnf (content) unsat unsat 0.283s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-014.cnf (content) unsat unsat 0.163s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-013.cnf (content) unsat unsat 0.119s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-012.cnf (content) unsat unsat 0.164s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-011.cnf (content) unsat unsat 0.093s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-0100.cnf (content) unsat unsat 0.207s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-010.cnf (content) unsat unsat 0.115s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-01.cnf (content) unsat unsat 0.244s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-099.cnf (content) unsat unsat 0.075s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-098.cnf (content) unsat unsat 0.066s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-097.cnf (content) unsat unsat 0.030s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-096.cnf (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-095.cnf (content) unsat unsat 0.051s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-094.cnf (content) unsat unsat 0.059s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-093.cnf (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-092.cnf (content) unsat unsat 0.067s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-091.cnf (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-090.cnf (content) unsat unsat 0.045s