| Name | mus/marques-silva/ atpg/bf1355-359.cnf |
| MD5SUM | 10b539924c002394e510d0f90e2f40a3 |
| Bench Category | MUS (MUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.009997 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2298 |
| Number of clauses | 7307 |
| Sum of the clauses size | 18552 |
| Maximum clause length | 6 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 5 |
| Number of clauses of size 2 | 3932 |
| Number of clauses of size 3 | 2871 |
| Number of clauses of size 4 | 446 |
| Number of clauses of size 5 | 32 |
| Number of clauses of size over 5 | 21 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| MoUsSaka 2011-03-26 (complete) | 3495842 | UNSAT | 0.009997 | 0.011371 |
| Haifa-MUC 2011-04-07 (complete) | 3494342 | UNSAT | 0.032994 | 0.033754 |
| Haifa-MUC 2011-04-07 (complete) | 3494642 | UNSAT | 0.034993 | 0.0365161 |
| MUSer 2011-02-10 (complete) | 3480964 | UNSAT | 0.05699 | 0.057383 |
| Haifa-MUC-A 2011-04-07 (complete) | 3494042 | UNSAT | 0.064989 | 0.064807 |
| PicoMUS 941 (complete) | 3483635 | UNSAT | 0.314951 | 0.320609 |
| MiniUnsat2 2011-02-22 (complete) | 3483335 | UNSAT | 0.764883 | 0.76542 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3483035 | UNSAT | 1.65275 | 1.27617 |
| OptimuS p100_source (complete) | 3495242 | ? (exit code) | 0.032994 | 0.03562 |
| OptimuS x100_source (complete) | 3495542 | ? (exit code) | 0.033994 | 0.0377309 |
| OptimuS a100_source (complete) | 3494942 | ? (exit code) | 0.033994 | 0.0359001 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:275 273 4204 316 4200 283 276 4216 315 314 4218 317 4227 253 259 245 4163 326 4179 265 4180 257 251 258 329 268 249 243 4162 262 254 4190 244 246 4167 328 261 227 4420 236 4423 684 681 4181 266 674 327 4410 676 682 683 226 4193 250 252 4184 4164 666 679 234 4392 267 668 4393 788 789 260 4394 4411 3949 608 630 614 624 4409 235 672 675 680 610 3943 627 602 618 617 611 600 626 3940 225 224 3946 606 615 623 629 673 671 4414 4383 650 651 641 638 636 4360 4372 658 635 642 4386 4355 644 646 4377 652 657 233 4397 665 667 653 4356 659 4373 4357 4374 637 643 645 649 654 660 782 784 781 783 310 308 296 294 288 280 13 5 4 0