Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-172.opb | ? (MO) | 792.785 | 440.583 | 4465673 | |
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-116.opb | ? (MO) | 66655.9 | 3494.96 | 4465669 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm25p-dec.opb.negationfix.opb | Signal 11 | 2386.22 | 1534.96 | 4465752 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_5_8.opb | UNSAT | 0.261489 | 0.066912 | 4465981 | |
PB24/normalized-PB07/DEC-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_3_5.opb | UNSAT | 0.306563 | 0.073704 | 4465980 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/ normalized-aries-da_network_2000_5__647_1792__512.opb | ? (MO) | 665.967 | 538.667 | 4465322 | |
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_3_mh.opb | ? (MO) | 1360.94 | 1188.76 | 4465450 | |
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_2_mh.opb | ? (MO) | 1374 | 1210.23 | 4465449 | |
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_5_mh.opb | ? (MO) | 1381.83 | 1200.92 | 4465452 | |
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_8_mh.opb | ? (MO) | 1396.39 | 1219.41 | 4465454 | |
PB24/normalized-PB11/ OPT-LIN/heinz/normalized-mspp16.opb | ? (MO) | 4840.4 | 473.44 | 4465392 | |
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.01-5.opb | ? (MO) | 34472 | 1815.01 | 4465407 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_54.opb | Signal 11 | 655.671 | 661.129 | 4465977 | |
PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-sbox_8_shg.opb | Signal 6 | 1151.52 | 359.211 | 4465405 | |
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb | Signal 11 | 11849.3 | 605.824 | 4465138 | |
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb | Signal 11 | 23088.4 | 1173.82 | 4465142 | |
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=11-t=5.opb | Signal 24 | 72000.7 | 3643.87 | 4465776 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB10/OPT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_15_errors.opb | Wrong Opt. | 47 | 1194.84 | 60.5864 | 4466030 |