early  terminal solver $0.9485 (12 runs, $0.0790/run)  grading $0.0106  cost_incomplete ['early-r1', 'early-r6']
stop   terminal solver $1.0968 (12 runs, $0.0914/run)  grading $0.0105  cost_incomplete ['bexec6-r1', 'bexec6-r11']
native terminal solver $0.6425 (12 runs, $0.0535/run)  grading $0.0107  cost_incomplete ['v0-r35']
all 36 terminal solver $2.6878  grading $0.0317
