normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/

wnqueen/normalized-t2001.13queen13.1110975832.opb

Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110975832.opb |

MD5SUM | 1db724dea2682aeae2b8138d40ef319b |

Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |

Best result obtained on this benchmark | SAT |

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

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

Has Objective Function | NO |

Satisfiable | YES |

(Un)Satisfiability was proved | YES |

Best value of the objective function | |

Optimality of the best value was proved | NO |

Number of variables | 169 |

Total number of constraints | 101 |

Number of constraints which are clauses | 30 |

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

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

Minimum length of a constraint | 2 |

Maximum length of a constraint | 169 |

Number of terms in the objective function | 0 |

Biggest coefficient in the objective function | 0 |

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

Sum of the numbers in the objective function | 0 |

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

Biggest number in a constraint | 38 |

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

Biggest sum of numbers in a constraint | 1149 |

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

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 | CPU time | Wall clock time |
---|---|---|---|---|

glpPB 0.2 | 359016 | SAT | 0.028994 | 0.0332251 |

wildcat-skc 2007-03-21 | 359012 | SAT | 0.111982 | 0.113608 |

wildcat-rnp 2007-03-21 | 359011 | SAT | 0.300953 | 0.301607 |

PB-clasp 2007-04-10 | 359017 | SAT | 0.377942 | 0.36853 |

SAT4JPseudoResolution 2007-03-23 | 359009 | SAT | 1.40879 | 1.09095 |

Pueblo 1.4 | 359015 | SAT | 1.65175 | 1.65563 |

bsolo 3.0.17 | 432268 | SAT | 4.84726 | 4.86055 |

bsolo 3.0.16 | 359013 | SAT | 4.86226 | 4.86555 |

oree 0.1.2 alpha | 359018 | SAT | 10.7364 | 10.741 |

PB-clasp 2007-03-23 | 359008 | SAT | 12.5391 | 12.5365 |

absconPseudo 102 | 359005 | SAT | 13.7689 | 14.0408 |

PBS4_v2 2007-03-23 | 458178 | SAT | 33.6729 | 33.6839 |

PBS4 2007-03-23 | 359007 | SAT | 33.7979 | 33.8121 |

minisat+ 1.14 | 359006 | SAT | 95.6065 | 95.6311 |

sat4jPseudoCP 2007-03-23 | 359010 | ? (TO) | 1800.12 | 1793.8 |

sat4jPseudoCPClause 2007-03-23 | 359014 | ? (TO) | 1800.27 | 1772.89 |