detailed results (1473 total)

prover file res expected time
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
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-09.cnf (content) unsat unsat 0.059s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-089.cnf (content) unsat unsat 0.069s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-088.cnf (content) unsat unsat 0.031s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-087.cnf (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-086.cnf (content) unsat unsat 0.042s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-085.cnf (content) unsat unsat 0.110s
sidekick-dev /home/simon/w/sidekick2/tests/uuf125/uuf125-084.cnf (content) unsat unsat 0.059s