detailed results (1473 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-015.cnf (content) unsat unsat 0.238s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-014.cnf (content) unsat unsat 0.660s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-013.cnf (content) unsat unsat 0.372s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-012.cnf (content) unsat unsat 0.251s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-011.cnf (content) unsat unsat 0.210s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-0100.cnf (content) unsat unsat 0.208s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-010.cnf (content) unsat unsat 0.557s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-01.cnf (content) unsat unsat 0.322s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-099.cnf (content) unsat unsat 0.155s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-098.cnf (content) unsat unsat 0.169s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-097.cnf (content) unsat unsat 0.145s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-096.cnf (content) unsat unsat 0.105s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-095.cnf (content) unsat unsat 0.098s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-094.cnf (content) unsat unsat 0.111s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-093.cnf (content) unsat unsat 0.298s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-092.cnf (content) unsat unsat 0.134s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-091.cnf (content) unsat unsat 0.135s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-090.cnf (content) unsat unsat 0.140s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-09.cnf (content) unsat unsat 0.119s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-089.cnf (content) unsat unsat 0.088s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-088.cnf (content) unsat unsat 0.182s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-087.cnf (content) unsat unsat 0.234s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-086.cnf (content) unsat unsat 0.108s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-085.cnf (content) unsat unsat 0.158s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-084.cnf (content) unsat unsat 0.199s