Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
csp/pseudoGLB/ normalized-elf-rf7-ucl.xml | ? (problem) | 1.44178 | 1.45837 | 1070262 |
csp/pseudoGLB/ normalized-43s-smv.xml | ? (problem) | 3.65344 | 3.69391 | 1069318 |
csp/pseudoGLB/ normalized-ooo-rf8-ucl.xml | ? (problem) | 12.7381 | 12.8688 | 1069270 |
csp/pseudoGLB/ normalized-ooo-tag12-ucl.xml | ? (problem) | 34.5237 | 34.8322 | 1069302 |
csp/pseudoGLB/ normalized-cache-inv12-ucl.xml | ? (problem) | 114.222 | 115.322 | 1070758 |
csp/pseudoGLB/ normalized-cache-inv10-ucl.xml | ? (problem) | 226.705 | 227.913 | 1070134 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
csp/modifiedRenault/ normalized-renault-mod-43_ext.xml | Wrong Cert. | 0.599908 | 0.612863 | 1074048 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
csp/pseudo/mpsReduced/ normalized-mps-red-beaconfd.xml | ? (MO) | 819.844 | 831.957 | 1063682 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
csp/pseudo/mps/ normalized-mps-air02.xml | Signal 11 | 115.808 | 134.303 | 1065236 |
csp/pseudo/mps/ normalized-mps-air03.xml | Signal 11 | 180.765 | 217.499 | 1065026 |
csp/pseudo/mpsReduced/ normalized-mps-red-air03.xml | Signal 11 | 285.352 | 309.107 | 1063304 |