Name | mus/marques-silva/product-configuration/ C208_FA_UT_3254.cnf |
MD5SUM | 644162ce8bd77c667fb375372a8db246 |
Bench Category | MUS (MUS) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.007997 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1805 |
Number of clauses | 7334 |
Sum of the clauses size | 29481 |
Maximum clause length | 183 |
Minimum clause length | 1 |
Number of clauses of size 1 | 1166 |
Number of clauses of size 2 | 4315 |
Number of clauses of size 3 | 718 |
Number of clauses of size 4 | 274 |
Number of clauses of size 5 | 181 |
Number of clauses of size over 5 | 680 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
MoUsSaka 2011-03-26 (complete) | 3495952 | UNSAT | 0.007997 | 0.009195 |
Haifa-MUC 2011-04-07 (complete) | 3494452 | UNSAT | 0.011997 | 0.0161961 |
MiniUnsat2 2011-02-22 (complete) | 3493209 | UNSAT | 0.017996 | 0.023621 |
Haifa-MUC-A 2011-04-07 (complete) | 3494152 | UNSAT | 0.018996 | 0.0199371 |
Haifa-MUC 2011-04-07 (complete) | 3494752 | UNSAT | 0.018996 | 0.020099 |
MUSer 2011-02-10 (complete) | 3493207 | UNSAT | 0.037993 | 0.0447899 |
PicoMUS 941 (complete) | 3493210 | UNSAT | 0.228964 | 0.229295 |
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3493208 | UNSAT | 1.08783 | 0.684125 |
OptimuS a100_source (complete) | 3495052 | ? (exit code) | 0.116982 | 0.117778 |
OptimuS p100_source (complete) | 3495352 | ? (exit code) | 0.118981 | 0.12005 |
OptimuS x100_source (complete) | 3495652 | ? (exit code) | 0.134978 | 0.137648 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:6276 237 2969 7324 6029 6030 6031 6032 6033 6034 6035 6036 6037 6038 6039 6040 6041 6278 6282 7220 4068 6013 6014 6015 6016 6017 6018 6019 6020 6021 6022 6023 6024 6025 6026 6027 6028 4072 3537 7325 0