diff options
Diffstat (limited to 'results/classifier/118/performance/2519')
| -rw-r--r-- | results/classifier/118/performance/2519 | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/results/classifier/118/performance/2519 b/results/classifier/118/performance/2519 new file mode 100644 index 00000000..d991a834 --- /dev/null +++ b/results/classifier/118/performance/2519 @@ -0,0 +1,31 @@ +performance: 0.878 +device: 0.778 +peripherals: 0.719 +mistranslation: 0.715 +kernel: 0.700 +network: 0.689 +architecture: 0.562 +arm: 0.509 +hypervisor: 0.474 +ppc: 0.463 +TCG: 0.425 +boot: 0.422 +vnc: 0.410 +virtual: 0.403 +KVM: 0.396 +debug: 0.370 +semantic: 0.355 +risc-v: 0.276 +x86: 0.218 +assembly: 0.213 +permissions: 0.192 +VMM: 0.175 +i386: 0.174 +user-level: 0.150 +register: 0.143 +graphic: 0.141 +socket: 0.127 +files: 0.078 +PID: 0.007 + +make check TIMEOUT_MULTIPLIER variable is undocumented |