Name | mus/marques-silva/product-configuration/ C210_FW_UT_8630.cnf |
MD5SUM | 6a90c62f25aeb84633b77cb83e837b69 |
Bench Category | MUS (MUS) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.012997 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1891 |
Number of clauses | 9721 |
Sum of the clauses size | 40785 |
Maximum clause length | 44 |
Minimum clause length | 1 |
Number of clauses of size 1 | 1109 |
Number of clauses of size 2 | 4652 |
Number of clauses of size 3 | 860 |
Number of clauses of size 4 | 518 |
Number of clauses of size 5 | 551 |
Number of clauses of size over 5 | 2031 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
MoUsSaka 2011-03-26 (complete) | 3495953 | UNSAT | 0.012997 | 0.0143389 |
Haifa-MUC 2011-04-07 (complete) | 3494453 | UNSAT | 0.013997 | 0.0143699 |
Haifa-MUC 2011-04-07 (complete) | 3494753 | UNSAT | 0.020996 | 0.0222421 |
Haifa-MUC-A 2011-04-07 (complete) | 3494153 | UNSAT | 0.023996 | 0.0235551 |
MUSer 2011-02-10 (complete) | 3481121 | UNSAT | 0.033994 | 0.0356971 |
MiniUnsat2 2011-02-22 (complete) | 3483492 | UNSAT | 0.051991 | 0.054212 |
PicoMUS 941 (complete) | 3483792 | UNSAT | 0.261959 | 0.280187 |
OptimuS x100_source (complete) | 3495653 | UNSAT | 0.500923 | 0.502292 |
OptimuS p100_source (complete) | 3495353 | UNSAT | 0.668897 | 0.669852 |
OptimuS a100_source (complete) | 3495053 | UNSAT | 0.672896 | 0.673881 |
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3483192 | UNSAT | 1.13283 | 0.739411 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:9719 9711 8197 8196 8195 8192 8191 2290 2366 7910 9718 2287 2371 9720 2561 2352 9712 2526 2329 2372 9713 9721 3002 2506 9716 9710 2504 9715 9709 2992 9708 9707 0