Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_9_sat_pb.cnf.cr.opb | SAT | 40567 | 11.5882 |
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb | SAT | 40569 | 257.436 |
normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb | SAT | 40551 | 879.2 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb | UNKNOWN | 40845 | 1200.43 |
normalized-opb/web/uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb | UNKNOWN | 40860 | 1200.43 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-gr4x6.opb | UNSAT | 41606 | 0.375942 |
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod013.opb | UNSAT | 41457 | 1.2888 |
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-mkc1.opb | UNSAT | 41650 | 106.201 |
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet3.opb | UNSAT | 41441 | 760.865 |
normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet4.opb | UNSAT | 41446 | 762.584 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-nsrand-ipx.opb | OPT FOUND | 41523 | 810.421 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp98ic.opb | OPT FOUND | 41719 | 1140.65 |
normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb | OPT FOUND | 41351 | 1143.65 |