Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Tal/ Tal-03_c18.xml | ? (MO) | 17.8151 | 17.8167 | 4289310 | |
Tal/ Tal-02_c18.xml | ? (MO) | 18.3452 | 18.3474 | 4289312 | |
CrosswordDesign/ CrosswordDesign-11-4-rom_c18.xml | ? (MO) | 18.6639 | 18.6802 | 4289418 | |
Tal/ Tal-05_c18.xml | ? (MO) | 18.8258 | 18.8345 | 4289307 | |
CrosswordDesign/ CrosswordDesign-14-4-rom_c18.xml | ? (MO) | 19.5638 | 19.5733 | 4289415 | |
CrosswordDesign/ CrosswordDesign-06-4-rom_c18.xml | ? (MO) | 27.4655 | 27.4713 | 4289416 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Rlfap/Rlfap-opt/ Rlfap-graph-05-opt_c18.xml | Signal 11 | 0.071212 | 1.10985 | 4291932 | |
Rlfap/Rlfap-opt/ Rlfap-scen-06-opt_c18.xml | Signal 11 | 0.071661 | 0.780929 | 4291952 | |
Rlfap/Rlfap-opt/ Rlfap-graph-07-opt_c18.xml | Signal 11 | 0.093637 | 1.69515 | 4291877 | |
Rlfap/Rlfap-opt/ Rlfap-graph-06-opt_c18.xml | Signal 11 | 0.127302 | 1.66619 | 4291882 | |
Rlfap/Rlfap-opt/ Rlfap-scen-09-opt_c18.xml | Signal 11 | 0.157814 | 1.49376 | 4291852 | |
Rlfap/Rlfap-opt/ Rlfap-graph-12-opt_c18.xml | Signal 11 | 0.159159 | 1.97415 | 4291887 | |
Rlfap/Rlfap-opt/ Rlfap-graph-11-opt_c18.xml | Signal 11 | 0.216902 | 1.78135 | 4291957 | |
Rlfap/Rlfap-opt/ Rlfap-scen-10-opt_c18.xml | Signal 11 | 0.221449 | 2.94561 | 4291922 | |
Rlfap/Rlfap-opt/ Rlfap-scen-08-opt_c18.xml | Signal 11 | 0.299961 | 1.81909 | 4291857 | |
Rlfap/Rlfap-opt/ Rlfap-graph-13-opt_c18.xml | Signal 11 | 0.301549 | 1.58878 | 4291902 | |
Rlfap/Rlfap-opt/ Rlfap-scen-07-opt_c18.xml | Signal 11 | 2.44709 | 46.2701 | 4291912 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
Bacp/Bacp-m2/ Bacp-m2-06_c18.xml | Wrong UNSAT | 0.018946 | 0.0199789 | 4292087 | |
Bacp/Bacp-m2/ Bacp-m2-08b_c18.xml | Wrong UNSAT | 0.043318 | 0.044276 | 4292117 | |
Bacp/Bacp-m2/ Bacp-m2-08a_c18.xml | Wrong UNSAT | 0.044133 | 0.045151 | 4292067 | |
Bacp/Bacp-m2/ Bacp-m2-10a-nodv_c18.xml | Wrong UNSAT | 0.047631 | 0.04856 | 4292122 | |
Bacp/Bacp-m2/ Bacp-m2-10b_c18.xml | Wrong UNSAT | 0.048629 | 0.04948 | 4292072 | |
Bacp/Bacp-m2/ Bacp-m2-10a_c18.xml | Wrong UNSAT | 0.048937 | 0.0499749 | 4292082 | |
Bacp/Bacp-m2/ Bacp-m2-12a-nodv_c18.xml | Wrong UNSAT | 0.085255 | 0.086081 | 4292092 | |
Bacp/Bacp-m2/ Bacp-m2-12b_c18.xml | Wrong UNSAT | 0.086214 | 0.087073 | 4292097 | |
Bacp/Bacp-m2/ Bacp-m2-12a_c18.xml | Wrong UNSAT | 0.087304 | 0.0884639 | 4292077 | |
SteelMillSlab/ SteelMillSlab-m2-simple_c18.xml | Wrong UNSAT | 0.100228 | 0.101068 | 4289717 | |
Tal/ Tal-01_c18.xml | Wrong UNSAT | 0.143638 | 0.14492 | 4289308 | |
Fapp/Fapp-m2s/ Fapp-m2s-07-0600_c18.xml | Wrong UNSAT | 168.362 | 168.381 | 4291997 |