detailed results (1473 total)

prover file res expected time
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
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-044.cnf (content) unsat unsat 0.227s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-043.cnf (content) unsat unsat 0.330s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-042.cnf (content) unsat unsat 1s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-041.cnf (content) unsat unsat 0.192s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-040.cnf (content) unsat unsat 0.297s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-04.cnf (content) unsat unsat 0.370s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-039.cnf (content) unsat unsat 0.441s