Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
csp/pseudoGLB/ normalized-elf-rf7-ucl.xml | ? (problem) | 0.254961 | 0.262358 | 1070271 |
csp/pseudoGLB/ normalized-ooo-rf8-ucl.xml | ? (problem) | 1.55476 | 1.57286 | 1069279 |
csp/pseudoGLB/ normalized-43s-smv.xml | ? (problem) | 1.59076 | 1.60693 | 1069327 |
csp/pseudoGLB/ normalized-ooo-tag12-ucl.xml | ? (problem) | 4.75928 | 4.8161 | 1069311 |
csp/pseudoGLB/ normalized-cache-inv10-ucl.xml | ? (problem) | 10.1365 | 10.1812 | 1070143 |
csp/pseudoGLB/ normalized-cache-inv12-ucl.xml | ? (problem) | 16.7625 | 17.1112 | 1070767 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
csp/pseudo/mps/ normalized-mps-air02.xml | Signal 11 | 107.316 | 111.236 | 1065247 |
csp/pseudo/mpsReduced/ normalized-mps-red-air03.xml | Signal 11 | 138.98 | 145.554 | 1063315 |
csp/pseudo/mps/ normalized-mps-air03.xml | Signal 11 | 142.895 | 161.877 | 1065037 |
csp/pseudo/mpsReduced/ normalized-mps-red-beaconfd.xml | Signal 11 | 652.733 | 682.466 | 1063693 |