Runtime Evaluation on nltcs
0.0254Runtime (s)MP
Evaluation results
| Method | Links | |
|---|---|---|
| MPQuery size=10%, Trials=102026.01 | 0.0254 | |
| IndQuery size=10%, Trials=102026.01 | 0.0467 | |
| AMPQuery size=10%, Trials=102026.01 | 0.0978 | |
| smooth-PAC-MAPQuery size=10%, Trials=102026.01 | 0.531 | |
| PAC-MAPQuery size=10%, Trials=102026.01 | 1.15 |