Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
csp/pseudoGLB/ normalized-pigeon-clauses-71-70.xml | ? (MO) | 1594.71 | 1610.34 | 1069444 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
csp/pseudoGLB/ normalized-cache-inv10-ucl.xml | ? (problem) | 18.9371 | 18.7915 | 1070148 |
csp/pseudoGLB/ normalized-cache-inv12-ucl.xml | ? (problem) | 31.1463 | 31.5394 | 1070772 |
csp/pseudoGLB/ normalized-dbst-v30-e350-d15-mw10-3.PB06.xml | ? (problem) | 126.527 | 129.491 | 1070052 |
csp/pseudoGLB/ normalized-pigeon-clauses-95-90.xml | ? (problem) | 1591.42 | 1591.76 | 1070724 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
csp/pseudo/mps/ normalized-mps-air02.xml | ? (MO) | 227.4 | 229.127 | 1065252 |
csp/pseudo/mpsReduced/ normalized-mps-red-air03.xml | ? (MO) | 302.74 | 306.935 | 1063320 |
csp/pseudo/mps/ normalized-mps-air03.xml | ? (MO) | 324.09 | 328.73 | 1065042 |
csp/pseudo/mpsReduced/ normalized-mps-red-beaconfd.xml | ? (MO) | 802.83 | 810.635 | 1063698 |