| Name | mus/marques-silva/ atpg/bf1355-666.cnf |
| MD5SUM | bba3c92a2683f10dad7026debd252860 |
| Bench Category | MUS (MUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.010997 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2297 |
| Number of clauses | 7305 |
| Sum of the clauses size | 18548 |
| 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 | 2868 |
| Number of clauses of size 4 | 445 |
| Number of clauses of size 5 | 35 |
| Number of clauses of size over 5 | 20 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| MoUsSaka 2011-03-26 (complete) | 3495851 | UNSAT | 0.010997 | 0.010729 |
| Haifa-MUC 2011-04-07 (complete) | 3494351 | UNSAT | 0.026995 | 0.028087 |
| Haifa-MUC 2011-04-07 (complete) | 3494651 | UNSAT | 0.030994 | 0.0313551 |
| MUSer 2011-02-10 (complete) | 3480976 | UNSAT | 0.043992 | 0.0451059 |
| Haifa-MUC-A 2011-04-07 (complete) | 3494051 | UNSAT | 0.05999 | 0.0599391 |
| PicoMUS 941 (complete) | 3483647 | UNSAT | 0.275957 | 0.277306 |
| MiniUnsat2 2011-02-22 (complete) | 3483347 | UNSAT | 0.588909 | 0.589213 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3483047 | UNSAT | 1.71074 | 1.18828 |
| OptimuS x100_source (complete) | 3495551 | ? (exit code) | 0.025996 | 0.0269539 |
| OptimuS p100_source (complete) | 3495251 | ? (exit code) | 0.026995 | 0.0275389 |
| OptimuS a100_source (complete) | 3494951 | ? (exit code) | 0.026995 | 0.026848 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:4271 399 397 4250 408 407 405 382 384 355 361 366 370 372 378 381 406 409 4210 4227 4251 4280 3938 507 232 4154 245 243 369 4266 365 373 363 379 385 357 396 235 4228 4211 461 462 504 4143 4180 4177 262 334 259 346 252 4167 3944 238 4140 229 4168 343 4151 251 249 4171 371 463 460 4229 380 4238 358 356 4215 254 261 4149 260 244 257 345 331 4212 374 377 4241 332 364 4232 362 3942 216 214 344 4166 3948 220 222 5 12 4 4150 455 445 444 440 434 432 423 421 400 392 246 250 253 333 258 0