| Name | mus/marques-silva/ atpg/bf1355-227.cnf |
| MD5SUM | 217a596369eabaf6552db11b206b72ef |
| 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 | 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) | 3495840 | UNSAT | 0.008998 | 0.012253 |
| Haifa-MUC 2011-04-07 (complete) | 3494340 | UNSAT | 0.021996 | 0.023787 |
| Haifa-MUC 2011-04-07 (complete) | 3494640 | UNSAT | 0.024996 | 0.0273519 |
| MUSer 2011-02-10 (complete) | 3480963 | UNSAT | 0.033994 | 0.0337831 |
| Haifa-MUC-A 2011-04-07 (complete) | 3494040 | UNSAT | 0.043992 | 0.045828 |
| PicoMUS 941 (complete) | 3483634 | UNSAT | 0.187971 | 0.188091 |
| MiniUnsat2 2011-02-22 (complete) | 3483334 | UNSAT | 0.32095 | 0.323118 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3483034 | UNSAT | 1.76473 | 1.11701 |
| OptimuS x100_source (complete) | 3495540 | ? (exit code) | 0.028994 | 0.0296531 |
| OptimuS p100_source (complete) | 3495240 | ? (exit code) | 0.028995 | 0.0321741 |
| OptimuS a100_source (complete) | 3494940 | ? (exit code) | 0.029994 | 0.0294061 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:1201 1200 1434 4726 1406 1371 1369 1375 4618 3945 1362 4717 1432 1386 1410 1417 387 384 4744 4753 1399 4687 4742 1409 1418 1425 4703 386 385 1431 1388 4686 4708 4705 1404 3939 4621 4691 4714 1403 1363 1382 1380 1368 1374 1397 1372 1407 1396 4730 1415 1402 1395 1394 1391 1381 1383 1389 4704 1390 1405 1191 3948 1189 3942 1183 1185 304 306 292 4688 1387 1433 1430 1422 290 15 1398 5 4 0