detailed results (1473 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/uuf250/uuf250-040.cnf (content) unsat unknown 4.0s
sidekick-dev /home/simon/w/sidekick2/tests/uuf250/uuf250-038.cnf (content) unsat unknown 4.6s
sidekick-dev /home/simon/w/sidekick2/tests/uuf250/uuf250-037.cnf (content) unsat unknown 6.9s
sidekick-dev /home/simon/w/sidekick2/tests/uuf250/uuf250-036.cnf (content) unsat unknown 8.9s
sidekick-dev /home/simon/w/sidekick2/tests/uuf250/uuf250-029.cnf (content) unsat unknown 10.3s
sidekick-dev /home/simon/w/sidekick2/tests/uuf250/uuf250-026.cnf (content) unsat unknown 7.4s
sidekick-dev /home/simon/w/sidekick2/tests/uuf250/uuf250-024.cnf (content) unsat unknown 7.4s
sidekick-dev /home/simon/w/sidekick2/tests/uuf250/uuf250-023.cnf (content) unsat unknown 9.7s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-099.cnf (content) unsat unsat 0.326s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-098.cnf (content) unsat unsat 0.241s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-097.cnf (content) unsat unsat 0.132s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-096.cnf (content) unsat unsat 0.206s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-095.cnf (content) unsat unsat 0.378s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-094.cnf (content) unsat unsat 0.381s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-093.cnf (content) unsat unsat 0.460s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-092.cnf (content) unsat unsat 0.343s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-091.cnf (content) unsat unsat 0.243s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-090.cnf (content) unsat unsat 0.354s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-09.cnf (content) unsat unsat 0.367s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-089.cnf (content) unsat unsat 0.280s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-088.cnf (content) unsat unsat 0.423s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-087.cnf (content) unsat unsat 0.290s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-086.cnf (content) unsat unsat 0.178s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-085.cnf (content) unsat unsat 0.370s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-084.cnf (content) unsat unsat 0.298s