Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
NurseRostering/ NurseRostering-00_c18.xml | Wrong Cert. | 17.3886 | 4.77248 | 4291104 | |
NurseRostering/ NurseRostering-02_c18.xml | Wrong Cert. | 20028.1 | 2520.28 | 4291106 | |
NurseRostering/ NurseRostering-04_c18.xml | Wrong Cert. | 20032 | 2520.33 | 4291108 | |
NurseRostering/ NurseRostering-03_c18.xml | Wrong Cert. | 20033.9 | 2520.28 | 4291107 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Rlfap/Rlfap-opt/ Rlfap-graph-01-opt_c18.xml | Wrong Opt. | 36 | 10.5824 | 3.17776 | 4291900 |
Rlfap/Rlfap-opt/ Rlfap-scen-02-opt_c18.xml | Wrong Opt. | 28 | 11.6057 | 3.42155 | 4291920 |
Rlfap/Rlfap-opt/ Rlfap-graph-02-opt_c18.xml | Wrong Opt. | 34 | 14.9956 | 4.72401 | 4291950 |
Rlfap/Rlfap-opt/ Rlfap-scen-03-opt_c18.xml | Wrong Opt. | 40 | 16.3618 | 4.81048 | 4291940 |
Rlfap/Rlfap-opt/ Rlfap-graph-08-opt_c18.xml | Wrong Opt. | 48 | 21.0006 | 6.06389 | 4291965 |
Rlfap/Rlfap-opt/ Rlfap-graph-14-opt_c18.xml | Wrong Opt. | 28 | 24.88 | 7.0935 | 4291970 |
Rlfap/Rlfap-opt/ Rlfap-scen-01-opt_c18.xml | Wrong Opt. | 42 | 25.951 | 7.33416 | 4291865 |
Rlfap/Rlfap-opt/ Rlfap-graph-09-opt_c18.xml | Wrong Opt. | 46 | 27.5022 | 8.08185 | 4291930 |
Rlfap/Rlfap-opt/ Rlfap-scen-11-opt_c18.xml | Wrong Opt. | 46 | 152.753 | 22.6421 | 4291875 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Tal/ Tal-02_c18.xml | Wrong UNSAT | 3.49844 | 1.63686 | 4291143 | |
Tal/ Tal-04_c18.xml | Wrong UNSAT | 3.79665 | 1.69231 | 4291145 | |
Tal/ Tal-05_c18.xml | Wrong UNSAT | 4.01912 | 1.79037 | 4291146 | |
Tal/ Tal-06_c18.xml | Wrong UNSAT | 4.05702 | 1.74713 | 4291147 | |
Tal/ Tal-03_c18.xml | Wrong UNSAT | 4.08542 | 1.74918 | 4291144 | |
Tal/ Tal-07_c18.xml | Wrong UNSAT | 4.24117 | 1.82823 | 4291148 | |
Tal/ Tal-08_c18.xml | Wrong UNSAT | 4.28589 | 1.88056 | 4291149 | |
Tal/ Tal-09_c18.xml | Wrong UNSAT | 4.58604 | 1.92363 | 4291150 | |
Tal/ Tal-10_c18.xml | Wrong UNSAT | 4.64379 | 1.91951 | 4291151 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
MisteryShopper/ MisteryShopper-06b_c18.xml | SAT (TO) | 2576.35 | 2520.03 | 4291421 | |
Eternity/ Eternity-10-05_c18.xml | SAT (TO) | 5841.08 | 2520.03 | 4291287 | |
GracefulGraph/ GracefulGraph-K05-P03_c18.xml | SAT (TO) | 6451.43 | 2520.03 | 4291301 | |
SocialGolfers/ SocialGolfers-5-5-5-cp_c18.xml | SAT (TO) | 10095.8 | 2520.05 | 4291326 | |
PseudoBoolean-dec/ Pb-robin08_c18.xml | SAT (TO) | 12534.2 | 2520.03 | 4291413 | |
SportsScheduling/ SportsScheduling-10_c18.xml | SAT (TO) | 12556 | 2520.03 | 4291347 |