detailed results (3222 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-09.cnf (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-089.cnf (content) unsat unsat 0.088s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-089.cnf (content) unsat unsat 0.042s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-088.cnf (content) unsat unsat 0.182s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-088.cnf (content) unsat unsat 0.085s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-087.cnf (content) unsat unsat 0.234s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-087.cnf (content) unsat unsat 0.091s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-086.cnf (content) unsat unsat 0.108s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-086.cnf (content) unsat unsat 0.063s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-085.cnf (content) unsat unsat 0.158s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-085.cnf (content) unsat unsat 0.078s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-084.cnf (content) unsat unsat 0.199s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-084.cnf (content) unsat unsat 0.076s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-083.cnf (content) unsat unsat 0.118s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-083.cnf (content) unsat unsat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-082.cnf (content) unsat unsat 0.212s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-082.cnf (content) unsat unsat 0.115s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-081.cnf (content) unsat unsat 0.163s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-081.cnf (content) unsat unsat 0.059s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-080.cnf (content) unsat unsat 0.244s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-080.cnf (content) unsat unsat 0.068s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-08.cnf (content) unsat unsat 0.116s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-08.cnf (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick2/tests/uuf150/uuf150-079.cnf (content) unsat unsat 0.132s
z3 /home/simon/w/sidekick2/tests/uuf150/uuf150-079.cnf (content) unsat unsat 0.044s