Name | mus/marques-silva/ atpg/bf1355-462.cnf |
MD5SUM | 2370682f24e0a15432c51bf296fcfe16 |
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) | 3495845 | UNSAT | 0.010997 | 0.0155551 |
Haifa-MUC 2011-04-07 (complete) | 3494345 | UNSAT | 0.036994 | 0.038499 |
Haifa-MUC 2011-04-07 (complete) | 3494645 | UNSAT | 0.040993 | 0.0413359 |
MUSer 2011-02-10 (complete) | 3480968 | UNSAT | 0.05599 | 0.05654 |
Haifa-MUC-A 2011-04-07 (complete) | 3494045 | UNSAT | 0.070988 | 0.0703231 |
PicoMUS 941 (complete) | 3483639 | UNSAT | 0.374942 | 0.380847 |
MiniUnsat2 2011-02-22 (complete) | 3483339 | UNSAT | 0.85487 | 0.857443 |
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3483039 | UNSAT | 2.17567 | 1.61255 |
OptimuS a100_source (complete) | 3494945 | ? (exit code) | 0.029994 | 0.0304869 |
OptimuS x100_source (complete) | 3495545 | ? (exit code) | 0.029995 | 0.0304551 |
OptimuS p100_source (complete) | 3495245 | ? (exit code) | 0.029995 | 0.030427 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:4266 396 385 405 407 408 4250 382 1193 1190 1180 1187 1183 1184 4503 1129 1125 1121 3938 1118 1148 1142 4529 1156 4511 1153 1145 1134 887 337 4550 888 4549 4565 889 4567 4576 1167 1174 886 336 4553 1164 1166 4579 4566 1173 350 338 348 1170 1178 4500 3944 1128 1126 1124 1115 371 4238 377 4241 4232 364 362 358 4215 356 4251 384 381 397 399 406 409 4271 4280 1159 1149 4528 1140 349 357 363 379 365 369 4211 373 4228 4570 1172 4516 1135 1137 4548 1165 1171 460 463 380 4212 4229 374 4539 1175 1179 347 335 4542 4533 1158 1141 1143 1186 1185 1182 1181 355 361 366 370 372 378 461 462 4210 4227 4513 1152 1151 4512 1150 1136 1144 4530 1157 1106 3948 1108 1100 1102 3942 4 5 12 392 400 421 423 432 434 440 444 445 455 0