Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
csp/pseudoGLB/ normalized-elf-rf7-ucl.xml | ? (problem) | 0.247962 | 0.255933 | 1070263 |
csp/pseudoGLB/ normalized-ooo-rf8-ucl.xml | ? (problem) | 1.53477 | 1.55048 | 1069271 |
csp/pseudoGLB/ normalized-43s-smv.xml | ? (problem) | 1.59276 | 1.61594 | 1069319 |
csp/pseudoGLB/ normalized-ooo-tag12-ucl.xml | ? (problem) | 4.72228 | 4.77266 | 1069303 |
csp/pseudoGLB/ normalized-cache-inv10-ucl.xml | ? (problem) | 94.0537 | 94.5112 | 1070135 |
csp/pseudoGLB/ normalized-cache-inv12-ucl.xml | ? (problem) | 99.3429 | 99.3867 | 1070759 |