Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
csp/domino/ normalized-domino-1000-100.xml | ? (MO) | 0.896862 | 1.05653 | 1084349 |
csp/fapp/fapp32/ normalized-fapp32-0550-5.xml | ? (MO) | 23.0345 | 23.1704 | 1086916 |
csp/largeQueens/ normalized-queens-800.xml | ? (MO) | 58.3821 | 59.0189 | 1056122 |
csp/largeQueens/ normalized-queens-1000.xml | ? (MO) | 195.063 | 196.298 | 1056143 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
csp/CabinetStart1/ normalized-cabinet-5599.xml | ? (MO) | 0.907861 | 3.38239 | 1132376 |
csp/CabinetStart1/ normalized-cabinet-5565.xml | ? (MO) | 1.13483 | 1.24134 | 1132466 |
csp/pseudoGLB/ normalized-pigeon-clauses-71-70.xml | ? (MO) | 11.7022 | 11.8301 | 1069442 |
csp/pseudoGLB/ normalized-pigeon-clauses-91-90.xml | ? (MO) | 18.2662 | 31.0755 | 1070226 |
csp/pseudoGLB/ normalized-dbst-v30-e350-d15-mw10-3.PB06.xml | ? (MO) | 21.6237 | 21.8246 | 1070050 |
csp/pseudoGLB/ normalized-pigeon-clauses-95-90.xml | ? (MO) | 21.7767 | 21.899 | 1070722 |
csp/pseudoGLB/ normalized-pigeon-clauses-65-60.xml | ? (MO) | 22.8455 | 22.981 | 1069538 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
csp/golombRulerArity3/ normalized-ruler-55-11-a3.xml | ? (MO) | 1.02984 | 1.05493 | 1050657 |
csp/primes-30/ normalized-primes-30-60-2-7.xml | ? (MO) | 1.13583 | 1.15634 | 1059958 |
csp/socialGolfers/ normalized-socialGolfer-6-4-8.xml | ? (MO) | 5.21621 | 5.82483 | 1093617 |
csp/chessboardColoration/ normalized-cc-15-15-3.xml | ? (MO) | 9.14161 | 9.25485 | 1071642 |