detailed results (1611 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-067.cnf (content) unsat unsat 0.383s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-066.cnf (content) unsat unsat 0.356s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-065.cnf (content) unsat unsat 0.313s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-064.cnf (content) unsat unsat 0.363s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-063.cnf (content) unsat unsat 0.192s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-062.cnf (content) unsat unsat 0.294s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-061.cnf (content) unsat unsat 0.187s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-060.cnf (content) unsat unsat 0.678s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-06.cnf (content) unsat unsat 0.284s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-059.cnf (content) unsat unsat 0.399s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-058.cnf (content) unsat unsat 0.250s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-057.cnf (content) unsat unsat 0.309s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-056.cnf (content) unsat unsat 0.458s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-055.cnf (content) unsat unsat 0.504s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-054.cnf (content) unsat unsat 0.415s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-053.cnf (content) unsat unsat 0.360s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-052.cnf (content) unsat unsat 0.376s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-051.cnf (content) unsat unsat 0.186s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-050.cnf (content) unsat unsat 0.841s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-05.cnf (content) unsat unsat 0.342s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-049.cnf (content) unsat unsat 0.410s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-048.cnf (content) unsat unsat 0.407s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-047.cnf (content) unsat unsat 0.662s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-046.cnf (content) unsat unsat 0.401s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-045.cnf (content) unsat unsat 0.290s