normalized-PB06/OPT-SMALLINT/submitted-PB05/

manquinho/primes-dimacs-cnf/normalized-jnh218.opb

Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh218.opb |

MD5SUM | cba4f92fd2fe518316e4b3350164b448 |

Bench Category | OPT-SMALLINT (optimisation, small integers) |

Best result obtained on this benchmark | OPT |

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

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

Has Objective Function | YES |

Satisfiable | YES |

(Un)Satisfiability was proved | YES |

Best value of the objective function | 90 |

Optimality of the best value was proved | YES |

Number of variables | 200 |

Total number of constraints | 900 |

Number of constraints which are clauses | 900 |

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

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

Minimum length of a constraint | 2 |

Maximum length of a constraint | 11 |

Number of terms in the objective function | 200 |

Biggest coefficient in the objective function | 1 |

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

Sum of the numbers in the objective function | 200 |

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

Biggest number in a constraint | 1 |

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

Biggest sum of numbers in a constraint | 200 |

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

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 |
---|---|---|---|---|---|

PBS4 2007-03-23 | 365145 | OPT | 90 | 0.040992 | 0.042875 |

PBS4_v2 2007-03-23 | 458940 | OPT | 90 | 0.040992 | 0.042756 |

Pueblo 1.4 | 365153 | OPT | 90 | 0.081986 | 0.0838741 |

minisat+ 1.14 | 365144 | OPT | 90 | 0.182971 | 0.185429 |

PB-clasp 2007-04-10 | 365155 | OPT | 90 | 0.438933 | 0.519731 |

SAT4JPseudoResolution 2007-03-23 | 365147 | OPT | 90 | 1.2968 | 0.964482 |

PB-clasp 2007-03-23 | 365146 | OPT | 90 | 2.57361 | 2.64029 |

bsolo 3.0.16 | 365151 | OPT | 90 | 2.85256 | 2.856 |

sat4jPseudoCPClause 2007-03-23 | 365152 | OPT | 90 | 4.02439 | 2.73246 |

sat4jPseudoCP 2007-03-23 | 365148 | OPT | 90 | 4.35534 | 2.94056 |

bsolo 3.0.17 | 433055 | OPT | 90 | 5.58615 | 5.58848 |

oree 0.1.2 alpha | 365156 | OPT | 90 | 52.1591 | 52.1744 |

glpPB 0.2 | 365154 | OPT | 90 | 59.7769 | 59.7956 |

absconPseudo 102 | 365143 | OPT | 90 | 98.0911 | 98.0332 |

wildcat-rnp 2007-03-21 | 365149 | SAT (TO) | 90 | 1800.05 | 1800.51 |

wildcat-skc 2007-03-21 | 365150 | SAT (TO) | 90 | 1800.11 | 1801.51 |