detailed results (3222 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-010.cnf (content) unsat unsat 0.557s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-010.cnf (content) unsat unsat 0.185s
sidekick-dev /home/simon/w/sidekick2/tests/uuf175/uuf175-01.cnf (content) unsat unsat 0.322s
z3 /home/simon/w/sidekick2/tests/uuf175/uuf175-01.cnf (content) unsat unsat 0.095s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-099.cnf (content) unsat unsat 0.155s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-099.cnf (content) unsat unsat 0.063s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-098.cnf (content) unsat unsat 0.169s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-098.cnf (content) unsat unsat 0.089s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-097.cnf (content) unsat unsat 0.145s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-097.cnf (content) unsat unsat 0.085s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-096.cnf (content) unsat unsat 0.105s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-096.cnf (content) unsat unsat 0.068s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-095.cnf (content) unsat unsat 0.098s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-095.cnf (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-094.cnf (content) unsat unsat 0.111s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-094.cnf (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-093.cnf (content) unsat unsat 0.298s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-093.cnf (content) unsat unsat 0.082s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-092.cnf (content) unsat unsat 0.134s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-092.cnf (content) unsat unsat 0.057s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-091.cnf (content) unsat unsat 0.135s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-091.cnf (content) unsat unsat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-090.cnf (content) unsat unsat 0.140s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-090.cnf (content) unsat unsat 0.063s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-09.cnf (content) unsat unsat 0.119s