Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-graph-01-opt_c18.xml | ? (NS) | 2.89411 | 0.980096 | 4298194 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-scen-02-opt_c18.xml | ? (NS) | 2.90098 | 1.07755 | 4298278 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-graph-02-opt_c18.xml | ? (NS) | 3.14806 | 1.13187 | 4298264 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-scen-03-opt_c18.xml | ? (NS) | 4.38163 | 1.71897 | 4298159 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-graph-14-opt_c18.xml | ? (NS) | 4.42904 | 1.72471 | 4298250 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-graph-08-opt_c18.xml | ? (NS) | 4.44435 | 1.66703 | 4298152 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-scen-11-opt_c18.xml | ? (NS) | 4.78305 | 1.9964 | 4298208 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-graph-09-opt_c18.xml | ? (NS) | 9.33585 | 3.13524 | 4298222 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-scen-01-opt_c18.xml | ? (NS) | 10.528 | 3.67311 | 4298180 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-scen-04-opt_c18.xml | ? (NS) | 11.2829 | 5.32552 | 4298285 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Langford/ LangfordBin-06_c18.xml | Wrong Cert. | 0.607048 | 0.338734 | 4299328 | |
Langford/ LangfordBin-09_c18.xml | Wrong Cert. | 1.54989 | 0.659991 | 4299344 | |
Langford/ LangfordBin-10_c18.xml | Wrong Cert. | 3.41112 | 1.91918 | 4299312 | |
Langford/ LangfordBin-13_c18.xml | Wrong Cert. | 268.549 | 266.324 | 4299336 |