Name | SAT02/industrial/goldberg/fpga_routing/ c499_gr_rcs_w5.shuffled.cnf |
MD5SUM | 3ca77a6388943289dc958201f25942ff |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.091985 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1560 |
Number of clauses | 15777 |
Sum of the clauses size | 32490 |
Maximum clause length | 5 |
Minimum clause length | 2 |
Number of clauses of size 1 | 0 |
Number of clauses of size 2 | 15465 |
Number of clauses of size 3 | 0 |
Number of clauses of size 4 | 0 |
Number of clauses of size 5 | 312 |
Number of clauses of size over 5 | 0 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
MUSer 2011-02-10 (complete) | 3493783 | UNSAT | 0.091985 | 0.0930051 |
Haifa-MUC 2011-04-07 (complete) | 3494180 | UNSAT | 0.178972 | 0.180736 |
Haifa-MUC 2011-04-07 (complete) | 3494480 | UNSAT | 0.185971 | 0.18915 |
Haifa-MUC-A 2011-04-07 (complete) | 3493880 | UNSAT | 0.294954 | 0.295712 |
MiniUnsat2 2011-02-22 (complete) | 3493785 | UNSAT | 0.399938 | 0.400808 |
PicoMUS 941 (complete) | 3493786 | UNSAT | 0.543916 | 0.545762 |
MoUsSaka 2011-03-26 (complete) | 3495680 | UNSAT | 0.712891 | 0.71414 |
OptimuS x100_source (complete) | 3495380 | UNSAT | 1.65675 | 1.65833 |
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3493784 | UNSAT | 10.0005 | 8.94913 |
OptimuS p100_source (complete) | 3495080 | ? (TO) | 1800.07 | 1800.01 |
OptimuS a100_source (complete) | 3494780 | ? (TO) | 1800.08 | 1800.01 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:8125 2000 6662 14747 889 93 15098 6964 8420 8065 10456 2839 3226 822 2852 13833 7530 3719 10450 12333 7510 8406 1380 6943 14706 9750 11757 2480 9743 8442 2173 7157 11506 5590 9734 14461 15664 5518 45 15659 12565 7405 7742 6885 7463 5178 2766 7426 3051 3663 6879 6860 11963 6840 5165 2411 6121 7103 7970 9398 462 671 2374 9394 5468 3889 15557 4352 1234 1036 13162 10608 3341 15268 9328 12704 3317 6453 3182 9308 1541 5317 8976 3801 13628 8554 3298 13352 1496 1190 2924 7008 3160 9832 11389 8531 2278 6410 5970 6694 10850 3097 4738 7632 4987 4922 14777 14069 12101 5000 11842 564 7218 7586 11567 898 15123 7215 2212 5666 0