Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
csp/largeQueens/ normalized-queens-400.xml | ? (MO) | 501.872 | 506.567 | 2081491 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
csp/pseudo/mps/ normalized-mps-seymour1.xml | ? (problem) | 36.1645 | 36.5158 | 2069479 |
csp/pseudo/mps/ normalized-mps-aflow40b.xml | ? (problem) | 39.9169 | 40.3101 | 2069468 |
csp/pseudo/mpsReduced/ normalized-mps-red-air02.xml | ? (problem) | 42.3126 | 42.6997 | 2067972 |
csp/pseudo/niklas/ normalized-air03.xml | ? (problem) | 52.409 | 52.8863 | 2067433 |
csp/pseudo/mpsReduced/ normalized-mps-red-air03.xml | ? (problem) | 56.3354 | 56.5951 | 2067961 |
csp/pseudo/mps/ normalized-mps-air03.xml | ? (problem) | 57.6722 | 58.2086 | 2069347 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
csp/pseudo/mps/ normalized-mps-vpm2.xml | Signal 24 | 1531.7 | 1840.49 | 2069325 |