Name | mus/marques-silva/ atpg/bf1355-445.cnf |
MD5SUM | d0a0ab05e29c999604dfe61901b7297f |
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) | 3495843 | UNSAT | 0.010998 | 0.011987 |
Haifa-MUC 2011-04-07 (complete) | 3494343 | UNSAT | 0.035993 | 0.03696 |
Haifa-MUC 2011-04-07 (complete) | 3494643 | UNSAT | 0.038994 | 0.041203 |
MUSer 2011-02-10 (complete) | 3480966 | UNSAT | 0.05799 | 0.0697381 |
Haifa-MUC-A 2011-04-07 (complete) | 3494043 | UNSAT | 0.065989 | 0.0688221 |
PicoMUS 941 (complete) | 3483637 | UNSAT | 0.32295 | 0.322997 |
MiniUnsat2 2011-02-22 (complete) | 3483337 | UNSAT | 0.85087 | 0.851881 |
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3483037 | UNSAT | 2.00969 | 1.42625 |
OptimuS x100_source (complete) | 3495543 | ? (exit code) | 0.041992 | 0.0440601 |
OptimuS p100_source (complete) | 3495243 | ? (exit code) | 0.041992 | 0.0448151 |
OptimuS a100_source (complete) | 3494943 | ? (exit code) | 0.042993 | 0.042788 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:528 527 188 3946 207 184 201 193 3943 180 196 205 505 506 195 189 204 208 3949 202 192 186 507 3940 178 504 382 4249 384 4268 409 390 401 407 4117 4140 214 216 4131 231 4113 4130 220 4134 222 463 460 4112 391 393 406 385 408 381 4277 4267 4254 221 227 4129 229 462 461 215 223 4241 4232 4212 364 362 371 4229 4238 380 358 4215 356 4211 365 357 4227 4149 332 4166 344 379 4228 4210 372 369 366 363 355 213 224 230 4143 236 219 228 232 4114 374 238 377 343 4168 331 4151 237 378 373 370 361 235 4154 243 245 4171 4180 4150 253 333 251 346 249 246 250 261 244 259 258 254 252 13 5 4 454 446 443 441 435 433 422 420 404 398 345 334 262 260 4167 257 4177 0