Name | mus/marques-silva/abstraction-refinement-intel/ edn_28491_6.cnf_0.31000000.unsat.cnf |
MD5SUM | f39f27c4bf4f902d44be0637b491cb53 |
Bench Category | MUS (MUS) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.44178 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 509004 |
Number of clauses | 1484506 |
Sum of the clauses size | 3444717 |
Maximum clause length | 3 |
Minimum clause length | 1 |
Number of clauses of size 1 | 1764 |
Number of clauses of size 2 | 1005273 |
Number of clauses of size 3 | 477469 |
Number of clauses of size 4 | 0 |
Number of clauses of size 5 | 0 |
Number of clauses of size over 5 | 0 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
MoUsSaka 2011-03-26 (complete) | 3495829 | UNSAT | 1.44178 | 1.44321 |
MUSer 2011-02-10 (complete) | 3493271 | UNSAT | 6.42502 | 6.42553 |
Haifa-MUC 2011-04-07 (complete) | 3494329 | UNSAT | 14.1918 | 14.1944 |
Haifa-MUC 2011-04-07 (complete) | 3494629 | UNSAT | 16.8624 | 16.8886 |
Haifa-MUC-A 2011-04-07 (complete) | 3494029 | UNSAT | 20.8238 | 20.8274 |
PicoMUS 941 (complete) | 3493274 | UNSAT | 100.689 | 100.702 |
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3493272 | UNSAT | 198.769 | 194.459 |
MiniUnsat2 2011-02-22 (complete) | 3493273 | UNSAT | 1516.49 | 1516.53 |
OptimuS a100_source (complete) | 3494929 | ? (exit code) | 12.4991 | 12.5309 |
OptimuS p100_source (complete) | 3495229 | ? (exit code) | 12.6181 | 12.6252 |
OptimuS x100_source (complete) | 3495529 | ? (exit code) | 13.6869 | 13.6879 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1432890 1432908 1432926 1436662 1436668 1436669 1436672 1436677 1436680 1441703 1441714 1441716 1441718 1484387 1484399 1484411 1484423 1484441 1484442 320544 320548 320552 320554 320558 320561 320563 320567 926143 1219426 1219430 1219434 1219438 1219442 1219445 1219449 1425212 1432858 1432882 0