Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-sp97ar.opb | SAT (MO) | 101753767138 | 748.837 | 749.06 | 357385 |
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir08_trarea_ac.opb | SAT (MO) | 20085055 | 780.123 | 780.323 | 373451 |
normalized-PB07/OPT-BIGINT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir10_trarea_ac.opb | SAT (MO) | 22545982 | 893.797 | 894.061 | 373469 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3702.opb | ? (exit code) | 923.096 | 923.332 | 362272 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_25_4.opb | ? (MO) | 956.276 | 956.509 | 454910 | |
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_25_1.opb | ? (MO) | 991.307 | 991.602 | 455315 | |
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_25_3.opb | ? (MO) | 1063.9 | 1064.21 | 455225 | |
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_25_5.opb | ? (MO) | 1066.2 | 1066.51 | 455435 | |
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_25_2.opb | ? (MO) | 1089.94 | 1090.31 | 455525 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/xinetd/xinetd_vc56687.opb | UNSAT | 2.81257 | 2.82092 | 419507 | |
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/xinetd/xinetd_vc56703.opb | UNSAT | 2.81557 | 2.81781 | 419381 | |
normalized-PB07/PURE-SAT/SAT07/ industrial/babic/xinetd/itox_vc965.opb | UNSAT | 3.47247 | 3.47437 | 419465 | |
normalized-PB07/PURE-SAT/SAT07/ industrial/babic/xinetd/itox_vc979.opb | UNSAT | 3.81142 | 3.81406 | 419395 | |
normalized-PB07/PURE-SAT/SAT07/ industrial/babic/xinetd/itox_vc1216.opb | UNSAT | 4.97324 | 5.00669 | 419479 | |
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/hsatv17/hsat_vc11803.opb | UNSAT | 779.177 | 779.4 | 419787 | |
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/hsatv17/hsat_vc11773.opb | UNSAT | 822.368 | 822.745 | 419745 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB07/PURE-SAT/SAT07/ industrial/babic/xinetd/itox_vc909.opb | SAT | 0 | 83.9362 | 83.9648 | 419423 |
normalized-PB07/PURE-SAT/SAT07/ industrial/babic/xinetd/itox_vc1044.opb | SAT | 0 | 142.754 | 142.807 | 419437 |
normalized-PB07/PURE-SAT/SAT07/ industrial/babic/xinetd/itox_vc1138.opb | SAT | 0 | 217.573 | 217.673 | 419493 |
normalized-PB07/PURE-SAT/SAT07/ industrial/babic/xinetd/itox_vc1130.opb | SAT | 0 | 289.511 | 289.603 | 419451 |
normalized-PB07/PURE-SAT/SAT07/ industrial/babic/xinetd/itox_vc1033.opb | SAT | 0 | 312.156 | 312.28 | 419409 |
normalized-PB07/PURE-SAT/SAT07/ industrial/narain/clauses-2.opb | SAT | 0 | 702.368 | 702.537 | 419899 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB07/PURE-SAT/SAT07/industrial/ vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug1.opb | ? (exit code) | 0.002998 | 0.00522211 | 420291 | |
normalized-PB07/PURE-SAT/SAT07/ industrial/narain/clauses-10.opb | ? (exit code) | 75.7945 | 76.0216 | 419885 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-prob6.opb | SAT | 0 | 0.327949 | 0.329588 | 365769 |