List your company
ResearchFormerly WizWand

Entropy Computation on CNF Formula Instances

88.17EntropyPSE
-0.094822.820145.73568.6499Feb 3, 2025
Updated 8mo ago

Evaluation results

MethodLinks
PSEinstance=s1423a_15_7.cnf, |X|=91, |Y|=7732025.0288.17232.65
PSEinstance=blasted_case144.cnf, |X|=138, |Y|=6272025.0277.6235.42
PSEinstance=CVE-2007-2875.cnf, |X|=752, |Y|=322025.02320.72
PSEinstance=s382_15_7.cnf, |X|=24, |Y|=3262025.0223.580.22
SharpSAT-TDinstance=small-bug1-fixpoint-6.cnf, |X|=79, |Y|=252025.0215.311,406.47
ExactMCinstance=small-bug1-fixpoint-6.cnf, |X|=79, |Y|=252025.0215.3151.9
Ganakinstance=small-bug1-fixpoint-6.cnf, |X|=79, |Y|=252025.0215.311,846.36
Paniniinstance=small-bug1-fixpoint-6.cnf, |X|=79, |Y|=252025.0215.31127.7
PSEinstance=small-bug1-fixpoint-6.cnf, |X|=79, |Y|=252025.0215.310.21
PSEinstance=10.sk_1_46.cnf, |X|=47, |Y|=14472025.0213.580.18
SharpSAT-TDinstance=small-bug1-fixpoint-5.cnf, |X|=66, |Y|=212025.0212.8179.51
ExactMCinstance=small-bug1-fixpoint-5.cnf, |X|=66, |Y|=212025.0212.812.99
Ganakinstance=small-bug1-fixpoint-5.cnf, |X|=66, |Y|=212025.0212.81104.17
Paniniinstance=small-bug1-fixpoint-5.cnf, |X|=66, |Y|=212025.0212.818.79
PSEinstance=small-bug1-fixpoint-5.cnf, |X|=66, |Y|=212025.0212.810.18
SharpSAT-TDinstance=blasted_case102.cnf, |X|=11, |Y|=232025.02881.29
ExactMCinstance=blasted_case102.cnf, |X|=11, |Y|=232025.0280.39
Ganakinstance=blasted_case102.cnf, |X|=11, |Y|=232025.02835.42
Paniniinstance=blasted_case102.cnf, |X|=11, |Y|=232025.0281.82
PSEinstance=blasted_case102.cnf, |X|=11, |Y|=232025.0280.16
SharpSAT-TDinstance=s27_15_7.cnf, |X|=7, |Y|=252025.023.3142.77
ExactMCinstance=s27_15_7.cnf, |X|=7, |Y|=252025.023.30.15
Ganakinstance=s27_15_7.cnf, |X|=7, |Y|=252025.023.30.25
Paniniinstance=s27_15_7.cnf, |X|=7, |Y|=252025.023.30.31
PSEinstance=s27_15_7.cnf, |X|=7, |Y|=252025.023.30.14