| Name | random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1788789488-19-SAT.cnf |
| MD5SUM | 8dd20c2b2815f1615e92da9f7d25dd5d |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.007998 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 630 |
| Number of clauses | 2280 |
| Sum of the clauses size | 6612 |
| Maximum clause length | 3 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 228 |
| Number of clauses of size 3 | 2052 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| adaptnovelty 2007-02-08 | 369931 | SAT | 0.007998 | 0.0104229 |
| sapsrt 2007-02-08 | 372007 | SAT | 0.016996 | 0.0181119 |
| adaptg2wsat0 2007-02-08 | 369929 | SAT | 0.022995 | 0.024357 |
| adaptg2wsat+ 2007-02-08 | 372006 | SAT | 0.023995 | 0.0261231 |
| gnovelty+ 2007-02-08 | 369930 | SAT | 0.047992 | 0.0525031 |
| March KS 2007-02-08 | 372005 | SAT | 0.070989 | 0.0735191 |
| DEWSATZ 1A 2007-02-08 | 426997 | SAT | 0.079987 | 0.081634 |
| ranov 2007-02-08 | 423985 | SAT | 0.094985 | 0.0968369 |
| SATzilla RANDOM | 423983 | SAT | 0.149976 | 0.151955 |
| KCNFS 2004 | 426996 | SAT | 0.183971 | 0.185389 |
| minisat SAT 2007 | 426995 | SAT | 2.15767 | 2.16071 |
| MiraXT v3 | 426998 | SAT | 2.67759 | 1.35852 |
| MXC 2007-02-08 | 426993 | SAT | 8.16976 | 8.18734 |
| SAT7 2007-02-08 | 426994 | SAT | 17.3904 | 17.3978 |