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 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
csp/pseudo/mps/ normalized-mps-air02.xml | Signal 11 | 109.874 | 145.448 | 1065237 |
csp/pseudo/mps/ normalized-mps-air03.xml | Signal 11 | 133.986 | 177.836 | 1065027 |
csp/pseudo/mpsReduced/ normalized-mps-red-air03.xml | Signal 11 | 138.532 | 173.138 | 1063305 |
csp/pseudo/mpsReduced/ normalized-mps-red-beaconfd.xml | Signal 11 | 272.803 | 294.947 | 1063683 |