| Name | mus/marques-silva/ atpg/bf1355-446.cnf |
| MD5SUM | 09cd3c6c98182e970a89681075c2e3b8 |
| Bench Category | MUS (MUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.010998 |
| 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) | 3495844 | UNSAT | 0.010998 | 0.0117451 |
| Haifa-MUC 2011-04-07 (complete) | 3494344 | UNSAT | 0.035993 | 0.036842 |
| Haifa-MUC 2011-04-07 (complete) | 3494644 | UNSAT | 0.037994 | 0.0396089 |
| MUSer 2011-02-10 (complete) | 3493287 | UNSAT | 0.05799 | 0.057985 |
| Haifa-MUC-A 2011-04-07 (complete) | 3494044 | UNSAT | 0.069988 | 0.071591 |
| PicoMUS 941 (complete) | 3493290 | UNSAT | 0.315951 | 0.317073 |
| MiniUnsat2 2011-02-22 (complete) | 3493289 | UNSAT | 0.667898 | 0.669745 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3493288 | UNSAT | 1.84772 | 1.40644 |
| OptimuS p100_source (complete) | 3495244 | ? (exit code) | 0.027994 | 0.0299799 |
| OptimuS x100_source (complete) | 3495544 | ? (exit code) | 0.027995 | 0.0292199 |
| OptimuS a100_source (complete) | 3494944 | ? (exit code) | 0.028994 | 0.029227 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:529 526 396 260 261 4271 399 409 4251 406 397 384 4280 382 259 262 381 408 405 385 4250 407 4266 203 207 3944 197 204 3938 205 194 4101 200 208 4104 4168 243 4177 245 4154 250 4166 4134 222 220 4215 358 356 4212 374 377 4241 463 460 258 4150 343 4232 364 362 4143 4171 249 251 334 4151 331 235 4238 380 4229 371 4180 346 229 4140 216 4117 214 507 504 461 462 238 4131 232 4114 213 4112 230 224 344 4129 219 228 236 4210 355 366 369 370 372 378 357 361 363 365 373 379 4227 4228 4211 253 333 246 332 254 4149 4167 252 244 257 345 237 231 4130 4113 3942 181 179 3948 187 185 223 221 215 12 5 4 227 392 506 505 400 421 423 432 434 455 445 444 440 0