Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome11.opb | ? (MO) | 9.99548 | 10.1084 | 347856 | |
normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos9.opb | ? (MO) | 13.32 | 13.3732 | 347921 | |
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos19.opb | ? (MO) | 16.6615 | 58.4807 | 351894 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/xinetd/xinetd_vc56687.opb | UNSAT | 5.60215 | 5.76943 | 419494 | |
normalized-PB07/PURE-SAT/SAT07/industrial/ babic/xinetd/xinetd_vc56703.opb | UNSAT | 5.62215 | 5.93731 | 419368 | |
normalized-PB07/PURE-SAT/SAT07/ industrial/babic/xinetd/itox_vc965.opb | UNSAT | 6.37103 | 6.23289 | 419452 | |
normalized-PB07/PURE-SAT/SAT07/ crafted/spence/medium/s57-100.opb | UNSAT | 23.9614 | 23.894 | 420250 | |
normalized-PB07/PURE-SAT/SAT07/ crafted/spence/medium/s61-100.opb | UNSAT | 57.8512 | 58.0413 | 420222 | |
normalized-PB07/PURE-SAT/SAT07/industrial/ jarvisalo/eq.atree.braun.7.unsat.opb | UNSAT | 101.698 | 101.769 | 419942 | |
normalized-PB07/PURE-SAT/SAT07/ crafted/spence/medium/s65-100.opb | UNSAT | 144.637 | 144.616 | 420194 | |
normalized-PB07/PURE-SAT/SAT07/ crafted/spence/medium/s69-100.opb | UNSAT | 367.891 | 367.996 | 420152 | |
normalized-PB07/PURE-SAT/SAT07/ crafted/spence/medium/s73-100.opb | UNSAT | 830.339 | 830.831 | 420166 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB07/PURE-SAT/SAT07/ industrial/fuhs/medium/AProVE07-11.opb | ? (MO) | 16.9404 | 121.686 | 419144 | |
normalized-PB07/PURE-SAT/SAT07/ industrial/narain/clauses-10.opb | ? (MO) | 20.5779 | 284.8 | 419872 |
Benchmark Name | Answer | Objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb | ? (MO) | 12.4421 | 12.5907 | 350513 |