Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
NurseRostering/ NurseRostering-01_c18.xml | Wrong Cert. | 48.271 | 8.21126 | 4308874 | |
NurseRostering/ NurseRostering-03_c18.xml | Wrong Cert. | 20041.8 | 2520.35 | 4308876 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
NurseRostering/ NurseRostering-00_c18.xml | Wrong Opt. | 1207 | 23.5098 | 5.0193 | 4308873 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
MisteryShopper/ MisteryShopper-06b_c18.xml | SAT (TO) | 3114.1 | 2520.04 | 4309190 | |
CarSequencing/ CarSequencing-75-01_c18.xml | SAT (TO) | 3432.93 | 2520.04 | 4308994 | |
MisteryShopper/ MisteryShopper-06c_c18.xml | SAT (TO) | 6093.09 | 2520.04 | 4309191 | |
CarSequencing/ CarSequencing-65-01_c18.xml | SAT (TO) | 7634.11 | 2520.03 | 4308990 | |
SportsScheduling/ SportsScheduling-16_c18.xml | SAT (TO) | 10281.6 | 2520.02 | 4309119 | |
SportsScheduling/ SportsScheduling-10_c18.xml | SAT (TO) | 12557.1 | 2520.03 | 4309116 |