Name | mus/marques-silva/ atpg/bf1355-665.cnf |
MD5SUM | bf9fc56c5283fb3108d56ad54eeda7a5 |
Bench Category | MUS (MUS) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.008998 |
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) | 3495850 | UNSAT | 0.008998 | 0.0106699 |
Haifa-MUC 2011-04-07 (complete) | 3494350 | UNSAT | 0.027994 | 0.02919 |
Haifa-MUC 2011-04-07 (complete) | 3494650 | UNSAT | 0.031995 | 0.0359579 |
MUSer 2011-02-10 (complete) | 3480975 | UNSAT | 0.046992 | 0.0508731 |
Haifa-MUC-A 2011-04-07 (complete) | 3494050 | UNSAT | 0.05899 | 0.0598611 |
PicoMUS 941 (complete) | 3483646 | UNSAT | 0.265959 | 0.268788 |
MiniUnsat2 2011-02-22 (complete) | 3483346 | UNSAT | 0.660899 | 0.663382 |
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3483046 | UNSAT | 1.71474 | 1.18135 |
OptimuS x100_source (complete) | 3495550 | ? (exit code) | 0.026995 | 0.027584 |
OptimuS p100_source (complete) | 3495250 | ? (exit code) | 0.027995 | 0.027928 |
OptimuS a100_source (complete) | 3494950 | ? (exit code) | 0.027995 | 0.028082 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:505 506 3940 3949 237 230 227 224 221 261 260 213 244 254 4149 228 223 231 236 219 3946 3943 215 4167 4254 391 393 259 262 381 385 390 401 407 4267 408 4249 406 409 384 4277 4268 258 4177 4168 245 243 4154 250 4166 332 382 252 257 343 345 4210 4227 355 366 378 370 361 372 334 344 461 369 4211 462 365 363 373 4228 357 379 251 4151 4180 358 356 4215 4171 249 4150 460 4212 463 4241 374 377 4232 364 362 346 4238 4229 371 380 246 253 331 333 4 5 13 398 404 420 422 433 435 441 443 446 454 0