Running ProWRAS on folding_kr-vs-k-zero-one_vs_draw wall time (s): 00:20:42 process time (s): 03:00:20
