Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-22s.smv.opb | ? | 3598.7 | 3600.01 | 4441813 | |
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-21.opb | ? | 3598.74 | 3600.01 | 4446403 | |
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb | ? | 3598.82 | 3600.01 | 4441453 | |
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-35.opb | ? | 3599.51 | 3600.01 | 4446223 | |
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq10/normalized-15array_ineq10.opb | ? | 3599.69 | 3600 | 4453833 | |
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x80split.cnf-extracted.pb.metafix.opb | ? | 3599.73 | 3600.01 | 4447963 | |
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-55.opb | ? | 3599.78 | 3600.01 | 4446343 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-bg512142.opb | ? | 3598.86 | 3600.01 | 4430554 | |
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_2.opb | ? | 3599.89 | 3600 | 4430661 |
Benchmark Name | Answer | objective function | CPU time | Wall clock time | TraceID |
---|---|---|---|---|---|
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=9-t=5.opb | Signal 24 | 3597.98 | 3576.14 | 4449928 |