Running ConvGeN-majority-5 on folding_kr-vs-k-three_vs_eleven
wall time (s): 05:49:06
process time (s): 06:21:43