detailed results (1473 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-060.cnf (content) unsat unsat 0.110s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-06.cnf (content) unsat unsat 0.101s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-059.cnf (content) unsat unsat 0.102s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-058.cnf (content) unsat unsat 0.123s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-057.cnf (content) unsat unsat 0.212s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-056.cnf (content) unsat unsat 0.076s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-055.cnf (content) unsat unsat 0.449s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-054.cnf (content) unsat unsat 0.154s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-053.cnf (content) unsat unsat 0.124s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-052.cnf (content) unsat unsat 0.107s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-051.cnf (content) unsat unsat 0.129s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-050.cnf (content) unsat unsat 0.199s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-05.cnf (content) unsat unsat 0.137s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-049.cnf (content) unsat unsat 0.107s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-048.cnf (content) unsat unsat 0.109s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-047.cnf (content) unsat unsat 0.160s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-046.cnf (content) unsat unsat 0.123s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-045.cnf (content) unsat unsat 0.177s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-044.cnf (content) unsat unsat 0.125s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-043.cnf (content) unsat unsat 0.072s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-042.cnf (content) unsat unsat 0.121s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-041.cnf (content) unsat unsat 0.129s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-040.cnf (content) unsat unsat 0.258s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-04.cnf (content) unsat unsat 0.145s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-039.cnf (content) unsat unsat 0.105s