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

namasivayam/tsp/normalized-t3002.11tsp11.1900581321.opb

Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900581321.opb |

MD5SUM | e4bbe52e30b63463eee488a367080b13 |

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

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

Total number of constraints | 2707 |

Number of constraints which are clauses | 2684 |

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

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

Minimum length of a constraint | 2 |

Maximum length of a constraint | 110 |

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

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

Biggest sum of numbers in a constraint | 627 |

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

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

wildcat-skc 0.8.0 | 32449 | SAT | 0.021995 | 0.028115 |

wildcat-rnp 0.8.0 | 31346 | SAT | 0.05999 | 0.0635921 |

Pueblo 1.3 | 37235 | SAT | 0.079987 | 0.0837539 |

PBS 4.1L | 40965 | SAT | 0.096984 | 0.100238 |

Pueblo 1.4 | 36085 | SAT | 0.315951 | 0.320164 |

minisat+ 1.14 | 34655 | SAT | 0.385941 | 0.387209 |

PB-smodels 1.31 | 44975 | SAT | 0.549915 | 0.484851 |

PB-smodels 1.28 | 33552 | SAT | 0.720889 | 0.663793 |

bsolo 2006/05 | 39535 | SAT | 1.36679 | 1.38647 |

absconPseudo 1 | 30196 | SAT | 14.1698 | 13.3711 |

SAT4JPSEUDO 2006.2 | 43545 | SAT | 19.3951 | 17.9419 |

SAT4JPSEUDO 2006.2 Heuristics | 42115 | SAT | 19.841 | 18.2449 |

glpPB 0.2 | 84629 | SAT | 82.0555 | 82.0887 |