detailed results (1611 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-067.cnf (content) unsat unsat 0.129s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-066.cnf (content) unsat unsat 0.156s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-065.cnf (content) unsat unsat 0.230s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-064.cnf (content) unsat unsat 0.113s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-063.cnf (content) unsat unsat 0.204s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-062.cnf (content) unsat unsat 0.127s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-061.cnf (content) unsat unsat 0.135s
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