Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_1_mh.opb | SAT | 961560458 | 882.447 | 884.921 | 4505402 |
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__256.opb | SAT | 38729067 | 949.244 | 952.091 | 4498846 |
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/ normalized-dobutsu-shogi-master-noopt.opb | SAT | 167197 | 1001.65 | 1004.29 | 4523886 |
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_6_mh.opb | SAT | 726861433 | 1033.64 | 1036.38 | 4505494 |
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/ normalized-dobutsu-shogi-master.opb | SAT | 89807 | 1647.87 | 1652.54 | 4523932 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_4_mh.opb | SAT (MO) | 462157834 | 1691.23 | 1696.22 | 4505448 |
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__64.opb | SAT (MO) | 553001 | 2633.97 | 2642.43 | 4498616 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_1000_5__369_766__2048.opb | No Cert. | 3602.07 | 3613.42 | 4498570 |