# ApproxTime: < 1 sec (serial) -x ../examplespec/ColorRing.prot -def N 3 -param N 4 -param N 5