Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
csp/largeQueens/ normalized-queens-1000.xml | ? (problem) | 1651.78 | 1657.24 | 1056146 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
csp/pseudoGLB/ normalized-pigeon-clauses-71-70.xml | ? (MO) | 1101.75 | 1107.33 | 1069445 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
csp/pseudoGLB/ normalized-pigeon-clauses-95-90.xml | ? (problem) | 1087.55 | 1090.47 | 1070725 |
csp/pseudoGLB/ normalized-pigeon-clauses-91-90.xml | ? (problem) | 1539.62 | 1540.81 | 1070229 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
csp/pseudo/mps/ normalized-mps-air02.xml | ? (MO) | 242.07 | 244.728 | 1065253 |
csp/pseudo/mpsReduced/ normalized-mps-red-air03.xml | ? (MO) | 307.37 | 311.233 | 1063321 |
csp/pseudo/mps/ normalized-mps-air03.xml | ? (MO) | 317.37 | 320.528 | 1065043 |
csp/pseudo/mpsReduced/ normalized-mps-red-beaconfd.xml | ? (MO) | 794.9 | 805.232 | 1063699 |