3 outcomes so far: Gets stuck at end reveal period Solver reverts at end reveal period and gets stuck Gets to end of the test but both verifier and solver get slashed