CS2999: Miranda's choice

Problems

Name Solved / Tries Average tries Average tries to solve
A Yet Satisfiability Again! 2/7 (29%) 3.50 3.50
B Death and Taxes 1/2 (50%) 1.00 1.00
C Single source shortest path, non-negative weights 0/2 (0%) 2.00 --
D Intergalactic Bidding 1/3 (33%) 1.50 1.00