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.71097 | 0.929101 | 4298193 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-scen-02-opt_c18.xml | ? (NS) | 2.82211 | 1.0773 | 4298277 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-graph-02-opt_c18.xml | ? (NS) | 3.22681 | 1.17928 | 4298263 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-scen-03-opt_c18.xml | ? (NS) | 4.146 | 1.64407 | 4298158 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-graph-14-opt_c18.xml | ? (NS) | 4.52032 | 1.77448 | 4298249 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-graph-08-opt_c18.xml | ? (NS) | 4.56692 | 1.72623 | 4298151 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-scen-11-opt_c18.xml | ? (NS) | 4.69043 | 2.0207 | 4298207 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-graph-09-opt_c18.xml | ? (NS) | 9.75568 | 3.28698 | 4298221 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-scen-01-opt_c18.xml | ? (NS) | 11.0065 | 3.77535 | 4298179 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-scen-04-opt_c18.xml | ? (NS) | 11.5257 | 5.69569 | 4298284 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Langford/ LangfordBin-07_c18.xml | Wrong UNSAT | 0.545757 | 0.326239 | 4299303 | |
Langford/ LangfordBin-08_c18.xml | Wrong UNSAT | 0.548832 | 0.32986 | 4299295 | |
Langford/ LangfordBin-11_c18.xml | Wrong UNSAT | 0.571952 | 0.33012 | 4299271 | |
Langford/ LangfordBin-12_c18.xml | Wrong UNSAT | 0.613491 | 0.340474 | 4299263 | |
Langford/ LangfordBin-16_c18.xml | Wrong UNSAT | 0.62902 | 0.351788 | 4299319 | |
Langford/ LangfordBin-15_c18.xml | Wrong UNSAT | 0.639885 | 0.347962 | 4299287 | |
Quasigroups_mini/ QuasiGroup-v7-09_mini_c18.xml | Wrong UNSAT | 0.735196 | 0.391248 | 4299100 | |
Quasigroups_mini/ QuasiGroup-v4-09_mini_c18.xml | Wrong UNSAT | 0.897714 | 0.425509 | 4299068 | |
Quasigroups_mini/ QuasiGroup-v4-12_mini_c18.xml | Wrong UNSAT | 1.11996 | 0.490124 | 4299108 |