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.54795 | 0.900338 | 4298191 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-scen-02-opt_c18.xml | ? (NS) | 2.62452 | 1.05704 | 4298275 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-scen-03-opt_c18.xml | ? (NS) | 3.55021 | 1.43401 | 4298156 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-graph-02-opt_c18.xml | ? (NS) | 3.67642 | 1.30689 | 4298261 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-scen-11-opt_c18.xml | ? (NS) | 3.85809 | 1.70952 | 4298205 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-graph-09-opt_c18.xml | ? (NS) | 5.29765 | 1.8807 | 4298219 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-graph-14-opt_c18.xml | ? (NS) | 5.30411 | 1.99453 | 4298247 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-scen-01-opt_c18.xml | ? (NS) | 5.6296 | 2.31238 | 4298177 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-graph-08-opt_c18.xml | ? (NS) | 5.73077 | 2.12615 | 4298149 | |
Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-scen-04-opt_c18.xml | ? (NS) | 10.896 | 4.19382 | 4298282 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
GolombRuler/ GolombRuler-a3v18-07_c18.xml | Wrong UNSAT | 1.8449 | 0.751689 | 4299383 | |
GolombRuler/ GolombRuler-a3v18-08_c18.xml | Wrong UNSAT | 4.42448 | 2.80255 | 4299404 | |
GolombRuler/ GolombRuler-a3v18-09_c18.xml | Wrong UNSAT | 25.7962 | 23.7893 | 4299432 | |
GolombRuler/ GolombRuler-a3v18-nodv-09_c18.xml | Wrong UNSAT | 97.5664 | 93.5401 | 4299418 | |
GolombRuler/ GolombRuler-a3v18-10_c18.xml | Wrong UNSAT | 241.494 | 233.914 | 4299397 | |
GolombRuler/ GolombRuler-a3v18-nodv-10_c18.xml | Wrong UNSAT | 858.026 | 832.42 | 4299355 |