| Name | random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1821409123-12-SAT.cnf |
| MD5SUM | 38e2a9bd59e68a32cdb8e1dbac558add |
| 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.167974 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4494 |
| Number of clauses | 12014 |
| Sum of the clauses size | 32438 |
| Maximum clause length | 3 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 3604 |
| Number of clauses of size 3 | 8410 |
| 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 | 369874 | SAT | 0.167974 | 0.170592 |
| adaptg2wsat0 2007-02-08 | 369872 | SAT | 0.168973 | 0.170928 |
| adaptg2wsat+ 2007-02-08 | 371943 | SAT | 0.180971 | 0.183794 |
| gnovelty+ 2007-02-08 | 369873 | SAT | 0.354945 | 0.370953 |
| ranov 2007-02-08 | 423923 | SAT | 0.72089 | 0.737552 |
| SATzilla RANDOM | 423921 | SAT | 0.965852 | 0.968057 |
| MiraXT v3 | 426946 | SAT | 1.02184 | 0.553634 |
| SAT7 2007-02-08 | 426942 | SAT | 1.22181 | 1.22481 |
| March KS 2007-02-08 | 371942 | SAT | 1.38479 | 1.38754 |
| minisat SAT 2007 | 426943 | SAT | 1.52677 | 1.52958 |
| KCNFS 2004 | 426944 | SAT | 4.69828 | 4.70596 |
| MXC 2007-02-08 | 426941 | SAT | 7.65583 | 7.67341 |
| sapsrt 2007-02-08 | 371944 | SAT | 55.5386 | 55.5565 |
| DEWSATZ 1A 2007-02-08 | 426945 | SAT | 716.798 | 716.991 |