Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
csp/largeQueens/ normalized-queens-1000.xml | ? (problem) | 114.741 | 115.273 | 1056134 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
csp/ogdHerald/ normalized-crossword-m1-ogd-21-10.xml | ? (problem) | 51.2372 | 51.7359 | 1075711 |
csp/ogdHerald/ normalized-crossword-m1-ogd-23-10.xml | ? (problem) | 60.8208 | 61.3635 | 1075438 |
csp/ogdHerald/ normalized-crossword-m1-ogd-23-07.xml | ? (problem) | 64.5832 | 65.1797 | 1075270 |
csp/ogdHerald/ normalized-crossword-m1-ogd-23-02.xml | ? (problem) | 65.3191 | 65.9513 | 1075312 |
csp/ogdHerald/ normalized-crossword-m1-ogd-23-03.xml | ? (problem) | 70.9152 | 71.5759 | 1075648 |