Name | mus/marques-silva/ atpg/bf1355-228.cnf |
MD5SUM | fcdfae41aba6a9e12da10a58e1a89961 |
Bench Category | MUS (MUS) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.007998 |
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) | 3495841 | UNSAT | 0.007998 | 0.011151 |
Haifa-MUC 2011-04-07 (complete) | 3494341 | UNSAT | 0.020996 | 0.0217459 |
Haifa-MUC 2011-04-07 (complete) | 3494641 | UNSAT | 0.023995 | 0.025378 |
MUSer 2011-02-10 (complete) | 3493295 | UNSAT | 0.035994 | 0.036816 |
Haifa-MUC-A 2011-04-07 (complete) | 3494041 | UNSAT | 0.042992 | 0.0446821 |
PicoMUS 941 (complete) | 3493298 | UNSAT | 0.19097 | 0.19207 |
MiniUnsat2 2011-02-22 (complete) | 3493297 | UNSAT | 0.421935 | 0.422948 |
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3493296 | UNSAT | 1.67474 | 1.06855 |
OptimuS x100_source (complete) | 3495541 | ? (exit code) | 0.041992 | 0.042831 |
OptimuS p100_source (complete) | 3495241 | ? (exit code) | 0.041993 | 0.0447169 |
OptimuS a100_source (complete) | 3494941 | ? (exit code) | 0.042992 | 0.043017 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:4756 4747 1423 1421 1410 387 4727 384 1407 1431 1406 1402 1383 1399 1387 1390 1395 1434 4725 385 4687 4703 1382 1380 4691 1398 4705 1404 4688 1405 1409 4686 3944 4704 1424 1429 1396 3938 4743 1394 1391 1389 1194 1364 1381 1190 386 1374 1198 1371 1370 1184 307 1186 1192 3949 305 4708 4714 4717 291 289 14 5 4 1397 1388 1386 1403 1375 1372 1367 1416 1361 1202 1426 1199 1432 1433 1197 3943 1193 0