Running ProWRAS on folding_kr-vs-k-three_vs_eleven wall time (s): 00:20:22 process time (s): 03:06:58
