{
 "EF_RUNTIME 10": 0.85,
 "EF_RUNTIME 50": 0.85,
 "EF_RUNTIME 100": 0.959,
 "EF_RUNTIME 200": 0.995,
 "EF_RUNTIME 500": 1.0
}