Entropy Computation on CNF Formula Instances
88.17EntropyPSE
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| PSEinstance=s1423a_15_7.cnf, |X|=91, |Y|=7732025.02 | 88.17 | 232.65 | |
| PSEinstance=blasted_case144.cnf, |X|=138, |Y|=6272025.02 | 77.62 | 35.42 | |
| PSEinstance=CVE-2007-2875.cnf, |X|=752, |Y|=322025.02 | 32 | 0.72 | |
| PSEinstance=s382_15_7.cnf, |X|=24, |Y|=3262025.02 | 23.58 | 0.22 | |
| SharpSAT-TDinstance=small-bug1-fixpoint-6.cnf, |X|=79, |Y|=252025.02 | 15.31 | 1,406.47 | |
| ExactMCinstance=small-bug1-fixpoint-6.cnf, |X|=79, |Y|=252025.02 | 15.31 | 51.9 | |
| Ganakinstance=small-bug1-fixpoint-6.cnf, |X|=79, |Y|=252025.02 | 15.31 | 1,846.36 | |
| Paniniinstance=small-bug1-fixpoint-6.cnf, |X|=79, |Y|=252025.02 | 15.31 | 127.7 | |
| PSEinstance=small-bug1-fixpoint-6.cnf, |X|=79, |Y|=252025.02 | 15.31 | 0.21 | |
| PSEinstance=10.sk_1_46.cnf, |X|=47, |Y|=14472025.02 | 13.58 | 0.18 | |
| SharpSAT-TDinstance=small-bug1-fixpoint-5.cnf, |X|=66, |Y|=212025.02 | 12.81 | 79.51 | |
| ExactMCinstance=small-bug1-fixpoint-5.cnf, |X|=66, |Y|=212025.02 | 12.81 | 2.99 | |
| Ganakinstance=small-bug1-fixpoint-5.cnf, |X|=66, |Y|=212025.02 | 12.81 | 104.17 | |
| Paniniinstance=small-bug1-fixpoint-5.cnf, |X|=66, |Y|=212025.02 | 12.81 | 8.79 | |
| PSEinstance=small-bug1-fixpoint-5.cnf, |X|=66, |Y|=212025.02 | 12.81 | 0.18 | |
| SharpSAT-TDinstance=blasted_case102.cnf, |X|=11, |Y|=232025.02 | 8 | 81.29 | |
| ExactMCinstance=blasted_case102.cnf, |X|=11, |Y|=232025.02 | 8 | 0.39 | |
| Ganakinstance=blasted_case102.cnf, |X|=11, |Y|=232025.02 | 8 | 35.42 | |
| Paniniinstance=blasted_case102.cnf, |X|=11, |Y|=232025.02 | 8 | 1.82 | |
| PSEinstance=blasted_case102.cnf, |X|=11, |Y|=232025.02 | 8 | 0.16 | |
| SharpSAT-TDinstance=s27_15_7.cnf, |X|=7, |Y|=252025.02 | 3.3 | 142.77 | |
| ExactMCinstance=s27_15_7.cnf, |X|=7, |Y|=252025.02 | 3.3 | 0.15 | |
| Ganakinstance=s27_15_7.cnf, |X|=7, |Y|=252025.02 | 3.3 | 0.25 | |
| Paniniinstance=s27_15_7.cnf, |X|=7, |Y|=252025.02 | 3.3 | 0.31 | |
| PSEinstance=s27_15_7.cnf, |X|=7, |Y|=252025.02 | 3.3 | 0.14 |