Running ProWRAS on folding_car_good
wall time (s): 00:06:28
process time (s): 00:06:42