Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PseudoBoolean-opt/ Pb-circ10-3_c18.xml | ? (TO) | 2520.02 | 2466.21 | 4298328 | |
Bacp/Bacp-m2/ Bacp-m2-12a-nodv_c18.xml | ? (TO) | 2520.06 | 2494.51 | 4300636 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-graph-06-opt_c18.xml | ? (TO) | 2520.06 | 2483.13 | 4298300 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-graph-11-opt_c18.xml | ? (TO) | 2520.07 | 2484.22 | 4298237 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-scen-06-opt_c18.xml | ? (TO) | 2520.07 | 2475.72 | 4298202 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-graph-13-opt_c18.xml | ? (TO) | 2520.09 | 2482.43 | 4298216 | |
Bacp/Bacp-m2/ Bacp-m2-12a_c18.xml | ? (TO) | 2520.09 | 2500.61 | 4300615 | |
PseudoBoolean-opt/ Pb-circ8-3_c18.xml | ? (TO) | 2520.1 | 2468.71 | 4298342 | |
Bacp/Bacp-m2/ Bacp-m2-10a_c18.xml | ? (TO) | 2520.11 | 2500.02 | 4300622 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PseudoBoolean-dec/ Pb-robin18_c18.xml | ? (NS) | 6.82164 | 3.64948 | 4298827 |