Name | mus/marques-silva/ atpg/bf1355-741.cnf |
MD5SUM | 40564c3f9a361a3656affcf0aca4d4e8 |
Bench Category | MUS (MUS) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.008997 |
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) | 3495852 | UNSAT | 0.008997 | 0.0094631 |
Haifa-MUC 2011-04-07 (complete) | 3494352 | UNSAT | 0.022995 | 0.0233949 |
Haifa-MUC 2011-04-07 (complete) | 3494652 | UNSAT | 0.025995 | 0.0292381 |
MUSer 2011-02-10 (complete) | 3493307 | UNSAT | 0.031995 | 0.0371359 |
Haifa-MUC-A 2011-04-07 (complete) | 3494052 | UNSAT | 0.040993 | 0.0439131 |
PicoMUS 941 (complete) | 3493310 | UNSAT | 0.200968 | 0.201382 |
MiniUnsat2 2011-02-22 (complete) | 3493309 | UNSAT | 0.420935 | 0.422172 |
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3493308 | UNSAT | 1.67174 | 1.07544 |
OptimuS a100_source (complete) | 3494952 | ? (exit code) | 0.025996 | 0.026368 |
OptimuS x100_source (complete) | 3495552 | ? (exit code) | 0.026995 | 0.0269849 |
OptimuS p100_source (complete) | 3495252 | ? (exit code) | 0.026995 | 0.0271151 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:3949 317 314 275 273 4204 238 223 217 4227 4218 201 207 3943 195 229 203 211 220 265 204 193 4180 260 4164 355 356 210 3940 219 228 250 252 4184 262 268 4179 4162 258 243 254 249 222 3946 216 237 199 329 245 327 4163 208 316 315 4216 4200 251 4181 283 253 276 257 266 259 4167 4190 4193 328 326 310 308 296 294 288 280 267 261 246 244 13 5 4 0