normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/

miplib/normalized-mps-v2-20-10-p0291.opb

Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-p0291.opb |

MD5SUM | 5dbbb39821171ddf7cf17b36f56beeda |

Bench Category | OPT-MEDINT (optimisation, medium integers) |

Best result obtained on this benchmark | OPT |

Best value of the objective obtained on this benchmark | 10447498 |

Best CPU time to get the best result obtained on this benchmark | 0.05699 |

Has Objective Function | YES |

Satisfiable | YES |

(Un)Satisfiability was proved | YES |

Best value of the objective function | 10447498 |

Optimality of the best value was proved | YES |

Number of variables | 290 |

Total number of constraints | 205 |

Number of constraints which are clauses | 189 |

Number of constraints which are cardinality constraints (but not clauses) | 2 |

Number of constraints which are nor clauses,nor cardinality constraints | 14 |

Minimum length of a constraint | 2 |

Maximum length of a constraint | 53 |

Number of terms in the objective function | 288 |

Biggest coefficient in the objective function | 80000000 |

Number of bits for the biggest coefficient in the objective function | 27 |

Sum of the numbers in the objective function | 686402651 |

Number of bits of the sum of numbers in the objective function | 30 |

Biggest number in a constraint | 80000000 |

Number of bits of the biggest number in a constraint | 27 |

Biggest sum of numbers in a constraint | 686402651 |

Number of bits of the biggest sum of numbers | 30 |

Number of products (including duplicates) | 0 |

Sum of products size (including duplicates) | 0 |

Number of different products | 0 |

Sum of products size | 0 |

Solver Name | TraceID | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|---|

Pueblo 1.3 | 37467 | OPT | 10447498 | 0.05699 | 0.058761 |

Pueblo 1.4 | 36317 | OPT | 10447498 | 0.06099 | 0.065619 |

glpPB 0.2 | 84859 | OPT | 10447498 | 0.158975 | 0.168118 |

PBS 4.1L | 41197 | OPT | 10447498 | 0.576912 | 0.585208 |

absconPseudo 1 | 30428 | OPT | 10447498 | 1.62775 | 1.15252 |

SAT4JPSEUDO 2006.2 Heuristics | 42347 | OPT | 10447498 | 8.5177 | 7.42335 |

SAT4JPSEUDO 2006.2 | 43777 | OPT | 10447498 | 14.8157 | 13.6462 |

bsolo 2006/05 | 39767 | OPT | 10447498 | 23.9904 | 24.0167 |

minisat+ 1.14 | 34887 | SAT (TO) | 29395365 | 1800.65 | 1801.18 |