This page displays general informations on each benchmark in category "all categories"
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| gmus/belov/ 2dlx_ca_mc_ex_bp_f_new.gcnf |
GMUS | 4110 | 28017 | 1 | 84 | 1 | 24746 | 923 | 369 | 236 | 1742 | 76513 | 8ce69977c7e65050cc0a738ab5a95659 | ||
| gmus/belov/ 2dlx_cc_mc_ex_bp_f_new.gcnf |
GMUS | 5629 | 45214 | 1 | 145 | 1 | 40637 | 1193 | 452 | 308 | 2623 | 125210 | ae534d294631b14c73b49a30dad95fa9 | ||
| gmus/belov/ 3pipe_1_ooo.gcnf |
GMUS | 8099 | 49820 | 1 | 5083 | 1 | 42592 | 594 | 5164 | 128 | 1341 | 133864 | 4ca4f7a8b9de83f885514c49d3086d0d | ||
| gmus/belov/ 3pipe_2_ooo.gcnf |
GMUS | 8297 | 53417 | 1 | 5083 | 1 | 46003 | 611 | 5155 | 135 | 1512 | 144265 | 3890ae4a6a4c6ae91f600a442901bc01 | ||
| gmus/belov/ 3pipe_3_ooo.gcnf |
GMUS | 8485 | 56896 | 1 | 5083 | 1 | 49303 | 628 | 5156 | 129 | 1679 | 154332 | ad90ac53dfe25d87fafb27a0e3201e87 | ||
| gmus/belov/ 3pipe.gcnf |
GMUS | 2877 | 29861 | 1 | 43 | 1 | 27475 | 491 | 27 | 167 | 1700 | 84223 | 86a589ff845dc75fd56b52367b5187ae | ||
| gmus/belov/ 4pipe_1_ooo.gcnf |
GMUS | 19638 | 136298 | 1 | 13330 | 1 | 118230 | 1328 | 13456 | 84 | 3199 | 370704 | cba743d9f0585352692b1545e1fee5a4 | ||
| gmus/belov/ 4pipe_2_ooo.gcnf |
GMUS | 19964 | 144385 | 1 | 13330 | 1 | 126004 | 1352 | 13451 | 95 | 3482 | 394319 | 161524264b766f40bfa30063970bbccb | ||
| gmus/belov/ 4pipe_3_ooo.gcnf |
GMUS | 20286 | 152210 | 1 | 13330 | 1 | 133520 | 1384 | 13450 | 90 | 3765 | 417156 | c9d2ae8cc2921e0e6398cfa06bd7c2ea | ||
| gmus/belov/ 4pipe_4_ooo.gcnf |
GMUS | 20599 | 159824 | 1 | 13330 | 1 | 140831 | 1419 | 13449 | 95 | 4029 | 439378 | 98d996a7b505e88f50cc56ae15ae2e19 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| gmus/belov/ 4pipe.gcnf |
GMUS | 6123 | 87237 | 1 | 64 | 1 | 81967 | 1082 | 52 | 40 | 4095 | 250143 | 7c0ff5b6fc063a44b2fb545ecba84871 | ||
| gmus/belov/ bj08amba2g3f3.aig.k20.gcnf |
GMUS | 19079 | 56821 | 1 | 3 | 1 | 37880 | 18940 | 0 | 0 | 0 | 132581 | 672d9e899c4896db5318263cea098f2b | ||
| gmus/belov/ bj08amba4g5.aig.k20.gcnf |
GMUS | 173691 | 520504 | 1 | 3 | 1 | 347002 | 173501 | 0 | 0 | 0 | 1214508 | d86ffa201119563f66bf247710429fab | ||
| gmus/belov/ bj08amba4g5.aig.k25.gcnf |
GMUS | 241676 | 724294 | 1 | 3 | 1 | 482862 | 241431 | 0 | 0 | 0 | 1690018 | c33663f618382c2878074068eb7ae094 | ||
| gmus/belov/ bj08amba5g62.aig.k20.gcnf |
GMUS | 231705 | 694459 | 1 | 3 | 1 | 462972 | 231486 | 0 | 0 | 0 | 1620403 | 529d23eafc4b4ed14da45cde8752ae3d | ||
| gmus/belov/ bj08amba5g62.aig.k25.gcnf |
GMUS | 331540 | 993769 | 1 | 3 | 1 | 662512 | 331256 | 0 | 0 | 0 | 2318793 | de18b6cb121574c53d40286fa3492ff1 | ||
| gmus/belov/ bjrb07amba2andenv.aig.k20.gcnf |
GMUS | 20726 | 61822 | 1 | 3 | 1 | 41214 | 20607 | 0 | 0 | 0 | 144250 | f819894e3b20ca6808b0174686d1f5e5 | ||
| gmus/belov/ bjrb07amba2andenv.aig.k25.gcnf |
GMUS | 28966 | 86437 | 1 | 3 | 1 | 57624 | 28812 | 0 | 0 | 0 | 201685 | d2b7a3aab506084891f3149b4dbc8784 | ||
| gmus/belov/ bjrb07amba4andenv.aig.k10.gcnf |
GMUS | 51476 | 154213 | 1 | 3 | 1 | 102808 | 51404 | 0 | 0 | 0 | 359829 | cb0e1af26bf4b51ef7edd8a5c36df6f8 | ||
| gmus/belov/ bjrb07amba5andenv.aig.k10.gcnf |
GMUS | 55501 | 166243 | 1 | 3 | 1 | 110828 | 55414 | 0 | 0 | 0 | 387899 | 2642560c98e6f14cfc9bcdd106f558a2 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| gmus/belov/ intel005.aig.k20.gcnf |
GMUS | 19317 | 51361 | 1 | 3 | 1 | 34240 | 17120 | 0 | 0 | 0 | 119841 | a2d49a929247da0fe11b8e9d03469ca1 | ||
| gmus/belov/ intel049.aig.k25.gcnf |
GMUS | 15640 | 40930 | 1 | 3 | 1 | 27286 | 13643 | 0 | 0 | 0 | 95502 | e6cf101f1601b321aeefd2b89c5e5317 | ||
| gmus/belov/ kenflashp11.aig.k25.gcnf |
GMUS | 148726 | 440746 | 1 | 3 | 1 | 293830 | 146915 | 0 | 0 | 0 | 1028406 | d429047dd0f824687cfd2a5b9f3dc878 | ||
| gmus/belov/ mentorbm1p00.aig.k20.gcnf |
GMUS | 176937 | 525805 | 1 | 3 | 1 | 350536 | 175268 | 0 | 0 | 0 | 1226877 | 57b6f4bb1f082e801658b29827bbe7af | ||
| gmus/belov/ mentorbm1p00.aig.k25.gcnf |
GMUS | 251332 | 747490 | 1 | 3 | 1 | 498326 | 249163 | 0 | 0 | 0 | 1744142 | ccb01e6a5e65f373ee2e3d11f1b95bb1 | ||
| gmus/belov/ mentorbm1p02.aig.k20.gcnf |
GMUS | 177362 | 527068 | 1 | 3 | 1 | 351378 | 175689 | 0 | 0 | 0 | 1229824 | f9defe59fd4519c79f9b6f699181d7ee | ||
| gmus/belov/ mentorbm1p02.aig.k25.gcnf |
GMUS | 251807 | 748903 | 1 | 3 | 1 | 499268 | 249634 | 0 | 0 | 0 | 1747439 | 2884b5599c418e2c2f13c080d2b3fb7b | ||
| gmus/belov/ nusmvguidancep2.aig.k20.gcnf |
GMUS | 28331 | 79954 | 1 | 3 | 1 | 53302 | 26651 | 0 | 0 | 0 | 186558 | f274a30f1cdc24734f339afabde5c4d7 | ||
| gmus/belov/ nusmvguidancep2.aig.k25.gcnf |
GMUS | 35656 | 100669 | 1 | 3 | 1 | 67112 | 33556 | 0 | 0 | 0 | 234893 | 3b4471e013bfc75092309164fa607509 | ||
| gmus/belov/ nusmvguidancep5.aig.k20.gcnf |
GMUS | 28150 | 79411 | 1 | 3 | 1 | 52940 | 26470 | 0 | 0 | 0 | 185291 | 74a6e72f282b3961d983f2d1a182b23d | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| gmus/belov/ nusmvguidancep5.aig.k25.gcnf |
GMUS | 35430 | 99991 | 1 | 3 | 1 | 66660 | 33330 | 0 | 0 | 0 | 233311 | 0341bf1aa989a9599509e3d17ed259cc | ||
| gmus/belov/ nusmvguidancep6.aig.k25.gcnf |
GMUS | 35181 | 99244 | 1 | 3 | 1 | 66162 | 33081 | 0 | 0 | 0 | 231568 | 851bbf0128c7a2e123197aaf3d6843fc | ||
| gmus/belov/ nusmvguidancep7.aig.k20.gcnf |
GMUS | 28714 | 81103 | 1 | 3 | 1 | 54068 | 27034 | 0 | 0 | 0 | 189239 | 75fac40455fc42eb4121630592dd47e7 | ||
| gmus/belov/ nusmvguidancep7.aig.k25.gcnf |
GMUS | 36124 | 102073 | 1 | 3 | 1 | 68048 | 34024 | 0 | 0 | 0 | 238169 | 24652164fb0467a6748f9a3da493f55a | ||
| gmus/belov/ nusmvguidancep8.aig.k20.gcnf |
GMUS | 28307 | 79882 | 1 | 3 | 1 | 53254 | 26627 | 0 | 0 | 0 | 186390 | 03d3cc782bf9b863bad32845c5750d53 | ||
| gmus/belov/ nusmvguidancep8.aig.k25.gcnf |
GMUS | 35627 | 100582 | 1 | 3 | 1 | 67054 | 33527 | 0 | 0 | 0 | 234690 | 470574876ba067e43c88e0526253980f | ||
| gmus/belov/ pdtpmseisenberg.aig.k15.gcnf |
GMUS | 22169 | 66382 | 1 | 3 | 1 | 44254 | 22127 | 0 | 0 | 0 | 154890 | bcabe0c1b3a8fe7a79fdf5ce4c64b2c1 | ||
| gmus/belov/ pdtpmsgigamax.aig.k15.gcnf |
GMUS | 12710 | 37171 | 1 | 3 | 1 | 24780 | 12390 | 0 | 0 | 0 | 86731 | fbcaf8f84ea8e6a85dfe20fdbc9d5171 | ||
| gmus/belov/ pdtpmsgigamax.aig.k20.gcnf |
GMUS | 17275 | 50536 | 1 | 3 | 1 | 33690 | 16845 | 0 | 0 | 0 | 117916 | 11390c2b5b983ad380cb0650417223b4 | ||
| gmus/belov/ pdtpmsgigamax.aig.k25.gcnf |
GMUS | 21840 | 63901 | 1 | 3 | 1 | 42600 | 21300 | 0 | 0 | 0 | 149101 | a2e49604ff6b6df4927da644ad05db5f | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| gmus/belov/ pdtpmsgoodbakery.aig.k15.gcnf |
GMUS | 26214 | 78514 | 1 | 3 | 1 | 52342 | 26171 | 0 | 0 | 0 | 183198 | 73494c08087b85306ac4c95d00499ed3 | ||
| gmus/belov/ pdtpmsgoodbakery.aig.k20.gcnf |
GMUS | 38334 | 114829 | 1 | 3 | 1 | 76552 | 38276 | 0 | 0 | 0 | 267933 | c32d0767929b800e01d25fbf5c79e7b4 | ||
| gmus/belov/ pdtpmsheap.aig.k15.gcnf |
GMUS | 12797 | 38218 | 1 | 3 | 1 | 25478 | 12739 | 0 | 0 | 0 | 89174 | d708b0ddc1173b9f097444b169dd7e7c | ||
| gmus/belov/ pdtpmsrethersqo.aig.k20.gcnf |
GMUS | 8269 | 24649 | 1 | 3 | 1 | 16432 | 8216 | 0 | 0 | 0 | 57513 | 39dc3e8e7e4ba4f0c8ff1cdb5761baf4 | ||
| gmus/belov/ pdtpmsvsa16a.aig.k10.gcnf |
GMUS | 11102 | 33115 | 1 | 3 | 1 | 22076 | 11038 | 0 | 0 | 0 | 77267 | 5ebfd4a07a6e399cef358a70220767bc | ||
| gmus/belov/ pdtpmsvsar.aig.k15.gcnf |
GMUS | 6951 | 20701 | 1 | 3 | 1 | 13800 | 6900 | 0 | 0 | 0 | 48301 | 273d41277d9d8e83caacc454e5978394 | ||
| gmus/belov/ pdtswvibs16x4p2.aig.k25.gcnf |
GMUS | 56626 | 169555 | 1 | 3 | 1 | 113036 | 56518 | 0 | 0 | 0 | 395627 | 95130d1ccee66e10742daab3b2786190 | ||
| gmus/belov/ pdtswvibs8x8p1.aig.k25.gcnf |
GMUS | 63063 | 188590 | 1 | 3 | 1 | 125726 | 62863 | 0 | 0 | 0 | 440042 | d1c1d21ce25cca846f710c449176ecae | ||
| gmus/belov/ pdtswvibs8x8p2.aig.k25.gcnf |
GMUS | 61729 | 184612 | 1 | 3 | 1 | 123074 | 61537 | 0 | 0 | 0 | 430760 | b5d8beda1f6bc3fd5255d87e960f8f5a | ||
| gmus/belov/ pdtswvrod6x8p1.aig.k20.gcnf |
GMUS | 57193 | 171115 | 1 | 3 | 1 | 114076 | 57038 | 0 | 0 | 0 | 399267 | e77fdd701dfe85ef67dd72c8ad6ccf03 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| gmus/belov/ pdtswvrod6x8p1.aig.k25.gcnf |
GMUS | 77803 | 232810 | 1 | 3 | 1 | 155206 | 77603 | 0 | 0 | 0 | 543222 | cf7e38a4033675310aeb9cfd591766e7 | ||
| gmus/belov/ pdtswvrod6x8p2.aig.k25.gcnf |
GMUS | 78849 | 235924 | 1 | 3 | 1 | 157282 | 78641 | 0 | 0 | 0 | 550488 | c48f17c117ec03bd8edf00d6f3e8c9c1 | ||
| gmus/belov/ pdtswvsam4x8p2.aig.k25.gcnf |
GMUS | 55283 | 165274 | 1 | 3 | 1 | 110182 | 55091 | 0 | 0 | 0 | 385638 | 0eb7821990a9f1485f99e1064c3337ee | ||
| gmus/belov/ pdtswvsam4x8p4.aig.k25.gcnf |
GMUS | 106597 | 319216 | 1 | 3 | 1 | 212810 | 106405 | 0 | 0 | 0 | 744836 | d034cb1f25f2b5b1a459efdfd7bfd32b | ||
| gmus/belov/ pdtswvsam6x8p1.aig.k25.gcnf |
GMUS | 64849 | 193972 | 1 | 3 | 1 | 129314 | 64657 | 0 | 0 | 0 | 452600 | ec9f771aa2630070aefbbecc85b11890 | ||
| gmus/belov/ pdtswvsam6x8p2.aig.k25.gcnf |
GMUS | 64875 | 194050 | 1 | 3 | 1 | 129366 | 64683 | 0 | 0 | 0 | 452782 | 9d62e31f09b4e31c2d1d2fed9d1c4c89 | ||
| gmus/belov/ pdtswvsam6x8p3.aig.k25.gcnf |
GMUS | 64937 | 194236 | 1 | 3 | 1 | 129490 | 64745 | 0 | 0 | 0 | 453216 | 87ff24e3923b3d08880efbd8244f0905 | ||
| gmus/belov/ pdtswvsam6x8p4.aig.k25.gcnf |
GMUS | 139461 | 417808 | 1 | 3 | 1 | 278538 | 139269 | 0 | 0 | 0 | 974884 | 76f27849f0c210c773399f73b794ef54 | ||
| gmus/belov/ pdtswvtms10x8p1.aig.k20.gcnf |
GMUS | 31557 | 93721 | 1 | 3 | 1 | 62480 | 31240 | 0 | 0 | 0 | 218681 | 674e6ec5ee4798395643daf3e6eaf570 | ||
| gmus/belov/ pdtswvtms12x8p1.aig.k20.gcnf |
GMUS | 32660 | 96928 | 1 | 3 | 1 | 64618 | 32309 | 0 | 0 | 0 | 226164 | 900b87cf8b522275f51c1a19e44c65f3 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| gmus/belov/ pdtswvtms14x8p1.aig.k20.gcnf |
GMUS | 33519 | 99403 | 1 | 3 | 1 | 66268 | 33134 | 0 | 0 | 0 | 231939 | 810866da655f82e602f1a7928d4a0394 | ||
| gmus/belov/ pdtswvtms14x8p1.aig.k25.gcnf |
GMUS | 46034 | 136603 | 1 | 3 | 1 | 91068 | 45534 | 0 | 0 | 0 | 318739 | 622a6bcae561bb354a7dc5f320bcccad | ||
| gmus/belov/ pdtvisbakery0.aig.k15.gcnf |
GMUS | 68003 | 203878 | 1 | 3 | 1 | 135918 | 67959 | 0 | 0 | 0 | 475714 | d2e74dd77df47b97ccb324328590832d | ||
| gmus/belov/ pdtvisbakery0.aig.k20.gcnf |
GMUS | 102168 | 306328 | 1 | 3 | 1 | 204218 | 102109 | 0 | 0 | 0 | 714764 | dcd948030e4f4983632058895f819e87 | ||
| gmus/belov/ pdtvisbakery1.aig.k20.gcnf |
GMUS | 101544 | 304456 | 1 | 3 | 1 | 202970 | 101485 | 0 | 0 | 0 | 710396 | 98f391ff900245a55ddb3f43fe3c0f0c | ||
| gmus/belov/ pdtvisbakery1.aig.k25.gcnf |
GMUS | 135499 | 406276 | 1 | 3 | 1 | 270850 | 135425 | 0 | 0 | 0 | 947976 | 19c537b7cfbea0d4d5e97a33961a550c | ||
| gmus/belov/ pdtvisbakery2.aig.k20.gcnf |
GMUS | 101617 | 304675 | 1 | 3 | 1 | 203116 | 101558 | 0 | 0 | 0 | 710907 | aeae53d4efd778361ab7f6c719c5fabb | ||
| gmus/belov/ pdtviscoherence3.aig.k15.gcnf |
GMUS | 21976 | 65659 | 1 | 3 | 1 | 43772 | 21886 | 0 | 0 | 0 | 153203 | 475773d2d74ebb37c9a14e5737decf6e | ||
| gmus/belov/ pdtviscoherence4.aig.k15.gcnf |
GMUS | 21950 | 65581 | 1 | 3 | 1 | 43720 | 21860 | 0 | 0 | 0 | 153021 | 19571ddac9c09c2eed50fb0e86ab445f | ||
| gmus/belov/ pdtviscoherence5.aig.k15.gcnf |
GMUS | 21950 | 65581 | 1 | 3 | 1 | 43720 | 21860 | 0 | 0 | 0 | 153021 | 8a65ee532e6c7b15ca60fda846e0538d | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| gmus/belov/ pdtviseisenberg0.aig.k15.gcnf |
GMUS | 26751 | 80131 | 1 | 3 | 1 | 53420 | 26710 | 0 | 0 | 0 | 186971 | c2a94fff4c18598b3f99cabbc53d81b3 | ||
| gmus/belov/ pdtviseisenberg0.aig.k20.gcnf |
GMUS | 39396 | 118021 | 1 | 3 | 1 | 78680 | 39340 | 0 | 0 | 0 | 275381 | bbc2b24357d183daabd72a46b23531b2 | ||
| gmus/belov/ pdtviseisenberg1.aig.k20.gcnf |
GMUS | 39395 | 118018 | 1 | 3 | 1 | 78678 | 39339 | 0 | 0 | 0 | 275374 | c93e9391b976c3ff7cd5dd562043945e | ||
| gmus/belov/ pdtviseisenberg2.aig.k15.gcnf |
GMUS | 26750 | 80128 | 1 | 3 | 1 | 53418 | 26709 | 0 | 0 | 0 | 186964 | 783ec78d35de952d7307ce1bb6297323 | ||
| gmus/belov/ pdtviseisenberg2.aig.k20.gcnf |
GMUS | 39395 | 118018 | 1 | 3 | 1 | 78678 | 39339 | 0 | 0 | 0 | 275374 | 231db77b7d74810bc7afcef64141a9e4 | ||
| gmus/belov/ pdtvisgigamax0.aig.k20.gcnf |
GMUS | 20559 | 60391 | 1 | 3 | 1 | 40260 | 20130 | 0 | 0 | 0 | 140911 | faf38e333ddc42a1dc01ee10e2582baf | ||
| gmus/belov/ pdtvisgigamax0.aig.k25.gcnf |
GMUS | 26019 | 76441 | 1 | 3 | 1 | 50960 | 25480 | 0 | 0 | 0 | 178361 | 0bdfdbe31cfc0458d25f25b26fd1afe7 | ||
| gmus/belov/ pdtvisgigamax1.aig.k20.gcnf |
GMUS | 20559 | 60391 | 1 | 3 | 1 | 40260 | 20130 | 0 | 0 | 0 | 140911 | 6e58862acab4dc25edd31b3b0600c24c | ||
| gmus/belov/ pdtvisgigamax1.aig.k25.gcnf |
GMUS | 26019 | 76441 | 1 | 3 | 1 | 50960 | 25480 | 0 | 0 | 0 | 178361 | b9b25d06523d0a37431ff5ceca605a06 | ||
| gmus/belov/ pdtvisgigamax2.aig.k20.gcnf |
GMUS | 20559 | 60391 | 1 | 3 | 1 | 40260 | 20130 | 0 | 0 | 0 | 140911 | b09b3435b96c0b8918fb9ba15ef8e203 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| gmus/belov/ pdtvisgigamax2.aig.k25.gcnf |
GMUS | 26019 | 76441 | 1 | 3 | 1 | 50960 | 25480 | 0 | 0 | 0 | 178361 | d28e8cf15db0e46ad2d1267f7501a8d0 | ||
| gmus/belov/ pdtvisgigamax3.aig.k20.gcnf |
GMUS | 20740 | 60931 | 1 | 3 | 1 | 40620 | 20310 | 0 | 0 | 0 | 142171 | 7060b43b4a44b57ba6d8fea9c55830e1 | ||
| gmus/belov/ pdtvisgigamax3.aig.k25.gcnf |
GMUS | 26210 | 77011 | 1 | 3 | 1 | 51340 | 25670 | 0 | 0 | 0 | 179691 | c6eb881d8e039f85b3f0f5d647d24f35 | ||
| gmus/belov/ pdtvisgigamax4.aig.k20.gcnf |
GMUS | 20740 | 60931 | 1 | 3 | 1 | 40620 | 20310 | 0 | 0 | 0 | 142171 | 027faf788a7125b7df9f9eeb429b2697 | ||
| gmus/belov/ pdtvisgigamax4.aig.k25.gcnf |
GMUS | 26210 | 77011 | 1 | 3 | 1 | 51340 | 25670 | 0 | 0 | 0 | 179691 | 2ad3e4cbf7064474b158c50fd741c828 | ||
| gmus/belov/ pdtvisgigamax5.aig.k20.gcnf |
GMUS | 20740 | 60931 | 1 | 3 | 1 | 40620 | 20310 | 0 | 0 | 0 | 142171 | 02b7c681d3e0670c9620d079f2ccfb7a | ||
| gmus/belov/ pdtvisgigamax5.aig.k25.gcnf |
GMUS | 26210 | 77011 | 1 | 3 | 1 | 51340 | 25670 | 0 | 0 | 0 | 179691 | 884c4ccacb3f249cac2dbc5e4d7506be | ||
| gmus/belov/ pdtvisgoodbakery0.aig.k15.gcnf |
GMUS | 68003 | 203878 | 1 | 3 | 1 | 135918 | 67959 | 0 | 0 | 0 | 475714 | 0a84dd104de11794cb455429f58b78c3 | ||
| gmus/belov/ pdtvisgoodbakery0.aig.k20.gcnf |
GMUS | 102168 | 306328 | 1 | 3 | 1 | 204218 | 102109 | 0 | 0 | 0 | 714764 | ed3408a2aa0458c699e0aa1a64a2604c | ||
| gmus/belov/ pdtvisgoodbakery0.aig.k25.gcnf |
GMUS | 136333 | 408778 | 1 | 3 | 1 | 272518 | 136259 | 0 | 0 | 0 | 953814 | 7a2a85b640e423e2bf1308151f5248f8 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| gmus/belov/ pdtvisgoodbakery1.aig.k20.gcnf |
GMUS | 101544 | 304456 | 1 | 3 | 1 | 202970 | 101485 | 0 | 0 | 0 | 710396 | ddc25fcc7da0162a7a3805515ced5462 | ||
| gmus/belov/ pdtvisgoodbakery2.aig.k20.gcnf |
GMUS | 101617 | 304675 | 1 | 3 | 1 | 203116 | 101558 | 0 | 0 | 0 | 710907 | 690cdfb6aa30a69fa5a2db57dbccb43f | ||
| gmus/belov/ pdtvisgoodbakery2.aig.k25.gcnf |
GMUS | 135597 | 406570 | 1 | 3 | 1 | 271046 | 135523 | 0 | 0 | 0 | 948662 | 3752e4f5670213a8bb9d67d0b8cec264 | ||
| gmus/belov/ pdtvisheap00.aig.k20.gcnf |
GMUS | 19303 | 57682 | 1 | 3 | 1 | 38454 | 19227 | 0 | 0 | 0 | 134590 | d00909d501435a4ad04228d6e2397b8a | ||
| gmus/belov/ pdtvisns2p0.aig.k15.gcnf |
GMUS | 29123 | 86722 | 1 | 3 | 1 | 57814 | 28907 | 0 | 0 | 0 | 202350 | f3b2f664ed915894cf12f52c3dfbfb1e | ||
| gmus/belov/ pdtvisns2p0.aig.k20.gcnf |
GMUS | 41808 | 124537 | 1 | 3 | 1 | 83024 | 41512 | 0 | 0 | 0 | 290585 | 3870b6e38041d9f02e7abd04a4a0903e | ||
| gmus/belov/ pdtvisns2p1.aig.k15.gcnf |
GMUS | 29097 | 86644 | 1 | 3 | 1 | 57762 | 28881 | 0 | 0 | 0 | 202168 | 65a69e61d48e095d6e2496ee2e1ff40c | ||
| gmus/belov/ pdtvisns2p2.aig.k15.gcnf |
GMUS | 28380 | 84499 | 1 | 3 | 1 | 56332 | 28166 | 0 | 0 | 0 | 197163 | 9630da4f8829fb7c7d43290e257eabf2 | ||
| gmus/belov/ pdtvisns2p3.aig.k15.gcnf |
GMUS | 29254 | 87079 | 1 | 3 | 1 | 58052 | 29026 | 0 | 0 | 0 | 203183 | 853b3d0196841ed0bb161f43bbd1adcd | ||
| gmus/belov/ pdtvisns2p3.aig.k20.gcnf |
GMUS | 41704 | 124189 | 1 | 3 | 1 | 82792 | 41396 | 0 | 0 | 0 | 289773 | 4dea9d863c9e78684d9cf28126bd0de9 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| gmus/belov/ pdtvisns2p3.aig.k25.gcnf |
GMUS | 54154 | 161299 | 1 | 3 | 1 | 107532 | 53766 | 0 | 0 | 0 | 376363 | b72d06d613aa6d39bbad3d3aeae3d5b1 | ||
| gmus/belov/ pdtvisns3p00.aig.k10.gcnf |
GMUS | 26044 | 77593 | 1 | 3 | 1 | 51728 | 25864 | 0 | 0 | 0 | 181049 | d5737d62d1930ccc850c7496e171153f | ||
| gmus/belov/ pdtvisns3p01.aig.k10.gcnf |
GMUS | 26036 | 77569 | 1 | 3 | 1 | 51712 | 25856 | 0 | 0 | 0 | 180993 | b79f08ab02e856a82639e4e893bc921e | ||
| gmus/belov/ pdtvisns3p02.aig.k10.gcnf |
GMUS | 26036 | 77569 | 1 | 3 | 1 | 51712 | 25856 | 0 | 0 | 0 | 180993 | 55c299dfac40965f301b17052046ccaa | ||
| gmus/belov/ pdtvisns3p03.aig.k10.gcnf |
GMUS | 26028 | 77545 | 1 | 3 | 1 | 51696 | 25848 | 0 | 0 | 0 | 180937 | 3fc75ee788c05c6154984f0c703ed732 | ||
| gmus/belov/ pdtvisns3p04.aig.k10.gcnf |
GMUS | 26028 | 77545 | 1 | 3 | 1 | 51696 | 25848 | 0 | 0 | 0 | 180937 | 8c44af2498b52c0b0ebbcf83d8522c36 | ||
| gmus/belov/ pdtvisns3p05.aig.k10.gcnf |
GMUS | 26020 | 77521 | 1 | 3 | 1 | 51680 | 25840 | 0 | 0 | 0 | 180881 | e67c0cf2663e907a13bd73b58ac1e66e | ||
| gmus/belov/ pdtvisns3p06.aig.k10.gcnf |
GMUS | 26020 | 77521 | 1 | 3 | 1 | 51680 | 25840 | 0 | 0 | 0 | 180881 | 33bf8e7799680436eba4b54b4f038870 | ||
| gmus/belov/ pdtvisns3p07.aig.k10.gcnf |
GMUS | 26012 | 77497 | 1 | 3 | 1 | 51664 | 25832 | 0 | 0 | 0 | 180825 | 042cb0d1d632c6c46a9869ae1d323bff | ||
| gmus/belov/ pdtvisns3p08.aig.k10.gcnf |
GMUS | 24556 | 73138 | 1 | 3 | 1 | 48758 | 24379 | 0 | 0 | 0 | 170654 | 1d68e1b44f639dc432fdcad2e10f6cb9 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| gmus/belov/ pdtvisns3p08.aig.k15.gcnf |
GMUS | 44116 | 131503 | 1 | 3 | 1 | 87668 | 43834 | 0 | 0 | 0 | 306839 | bb3c6a7e053d6506f0458a1d7df40ae1 | ||
| gmus/belov/ pdtvisns3p09.aig.k10.gcnf |
GMUS | 24556 | 73138 | 1 | 3 | 1 | 48758 | 24379 | 0 | 0 | 0 | 170654 | 30dea0d3cdd90f520b2e374bba9a573e | ||
| gmus/belov/ pdtvisns3p09.aig.k15.gcnf |
GMUS | 44116 | 131503 | 1 | 3 | 1 | 87668 | 43834 | 0 | 0 | 0 | 306839 | 86d0577a2ea46f4af9f5769aff06cd1d | ||
| gmus/belov/ pdtvisns3p10.aig.k15.gcnf |
GMUS | 45548 | 135745 | 1 | 3 | 1 | 90496 | 45248 | 0 | 0 | 0 | 316737 | 59942f27086fd4a14e902364e3b5bf3c | ||
| gmus/belov/ pdtvisns3p10.aig.k20.gcnf |
GMUS | 64818 | 193240 | 1 | 3 | 1 | 128826 | 64413 | 0 | 0 | 0 | 450892 | 02fe66965dc10c7fd64a6d0b9b527b28 | ||
| gmus/belov/ pdtvisns3p10.aig.k25.gcnf |
GMUS | 84088 | 250735 | 1 | 3 | 1 | 167156 | 83578 | 0 | 0 | 0 | 585047 | 24d5aa0a4fa9793a1322195060a76eaf | ||
| gmus/belov/ pdtvisns3p16.aig.k25.gcnf |
GMUS | 81865 | 244111 | 1 | 3 | 1 | 162740 | 81370 | 0 | 0 | 0 | 569591 | 6bceb5f933091197577355cfaa20a282 | ||
| gmus/belov/ pdtvisns3p17.aig.k25.gcnf |
GMUS | 81842 | 244042 | 1 | 3 | 1 | 162694 | 81347 | 0 | 0 | 0 | 569430 | c51876b25a5093745da3459a5204ed6f | ||
| gmus/belov/ pdtvisns3p18.aig.k25.gcnf |
GMUS | 81390 | 242695 | 1 | 3 | 1 | 161796 | 80898 | 0 | 0 | 0 | 566287 | acddf44c118fb7ea204caf40096e06c1 | ||
| gmus/belov/ pdtvisns3p19.aig.k20.gcnf |
GMUS | 62122 | 185206 | 1 | 3 | 1 | 123470 | 61735 | 0 | 0 | 0 | 432146 | f957af2e4d972d88fdb835328330115d | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| gmus/belov/ pdtvisns3p19.aig.k25.gcnf |
GMUS | 81367 | 242626 | 1 | 3 | 1 | 161750 | 80875 | 0 | 0 | 0 | 566126 | 2f5b9e1b086d0de4917fc4f95b968489 | ||
| gmus/belov/ pdtvispeterson.aig.k25.gcnf |
GMUS | 15790 | 47221 | 1 | 3 | 1 | 31480 | 15740 | 0 | 0 | 0 | 110181 | 1f9aca2849754891f0a11088b8ea902a | ||
| gmus/belov/ pdtvisrethersqo1.aig.k25.gcnf |
GMUS | 15619 | 46654 | 1 | 3 | 1 | 31102 | 15551 | 0 | 0 | 0 | 108858 | f3a9b1d8fc80467448a257cc1750a3a6 | ||
| gmus/belov/ pdtvissoap2.aig.k15.gcnf |
GMUS | 42429 | 126793 | 1 | 3 | 1 | 84528 | 42264 | 0 | 0 | 0 | 295849 | 9e1dcf6874f2b72f02de60931d885dc6 | ||
| gmus/belov/ pdtvistictactoe10.aig.k20.gcnf |
GMUS | 15216 | 45421 | 1 | 3 | 1 | 30280 | 15140 | 0 | 0 | 0 | 105981 | f32b589cfc9038644dadf66045f65a4d | ||
| gmus/belov/ pdtvistictactoe10.aig.k25.gcnf |
GMUS | 19556 | 58381 | 1 | 3 | 1 | 38920 | 19460 | 0 | 0 | 0 | 136221 | f3d34fec7d2cafab8176d352f71597f0 | ||
| gmus/belov/ pdtvistimeout0.aig.k10.gcnf |
GMUS | 9074 | 26926 | 1 | 3 | 1 | 17950 | 8975 | 0 | 0 | 0 | 62826 | ba69ec50d0058cfed8d168289e2de5b0 | ||
| gmus/belov/ pdtvistimeout2.aig.k25.gcnf |
GMUS | 22891 | 67942 | 1 | 3 | 1 | 45294 | 22647 | 0 | 0 | 0 | 158530 | 32b81f8a082d5d3ba5fdf44e9ea4f483 | ||
| gmus/belov/ pdtvistimeout3.aig.k20.gcnf |
GMUS | 17682 | 52453 | 1 | 3 | 1 | 34968 | 17484 | 0 | 0 | 0 | 122389 | bbd9f43e8a63e75985c7a7407f7dccbb | ||
| gmus/belov/ pdtvistimeout3.aig.k25.gcnf |
GMUS | 22747 | 67498 | 1 | 3 | 1 | 44998 | 22499 | 0 | 0 | 0 | 157494 | 8fca34e8d186f4c3e4c6768fbabb63f7 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| gmus/belov/ pdtvisvending00.aig.k20.gcnf |
GMUS | 13459 | 40258 | 1 | 3 | 1 | 26838 | 13419 | 0 | 0 | 0 | 93934 | 2223104f50e7c205f8af56ac489fd58e | ||
| gmus/belov/ pdtvisvending01.aig.k15.gcnf |
GMUS | 10806 | 32329 | 1 | 3 | 1 | 21552 | 10776 | 0 | 0 | 0 | 75433 | 9cc6cebe5f4342ad40ac239cf9342dfb | ||
| gmus/belov/ pdtvisvending02.aig.k25.gcnf |
GMUS | 17168 | 51355 | 1 | 3 | 1 | 34236 | 17118 | 0 | 0 | 0 | 119827 | b1757f9d7e4bfcf89409dd05766ed019 | ||
| gmus/belov/ pdtvisvending05.aig.k25.gcnf |
GMUS | 16887 | 50512 | 1 | 3 | 1 | 33674 | 16837 | 0 | 0 | 0 | 117860 | e0c26485363ea0f117d4a2cba450b381 | ||
| gmus/belov/ pdtvisvending07.aig.k25.gcnf |
GMUS | 17062 | 51037 | 1 | 3 | 1 | 34024 | 17012 | 0 | 0 | 0 | 119085 | 4f08a465adfe8bfd52a0d5212d433aa1 | ||
| gmus/belov/ pdtvisvending08.aig.k25.gcnf |
GMUS | 16963 | 50740 | 1 | 3 | 1 | 33826 | 16913 | 0 | 0 | 0 | 118392 | 7ca2d300125903c46c0060d8bcd01e4f | ||
| gmus/belov/ pdtvisvsa16a29.aig.k25.gcnf |
GMUS | 23464 | 69919 | 1 | 3 | 1 | 46612 | 23306 | 0 | 0 | 0 | 163143 | f7113b41b7ee89f16c0895be03b85ae4 | ||
| gmus/belov/ pj2003.aig.k20.gcnf |
GMUS | 644412 | 1878724 | 1 | 3 | 1 | 1252482 | 626241 | 0 | 0 | 0 | 4383688 | 8150b10e9988dfed70110f6792c1c1f0 | ||
| gmus/belov/ pj2006.aig.k10.gcnf |
GMUS | 305366 | 889243 | 1 | 3 | 1 | 592828 | 296414 | 0 | 0 | 0 | 2074899 | c76f0ca8a60a711a516e5932a7195163 | ||
| gmus/belov/ pj2007.aig.k20.gcnf |
GMUS | 305858 | 899395 | 1 | 3 | 1 | 599596 | 299798 | 0 | 0 | 0 | 2098587 | b0945faa6f667914df524eed1e5631e1 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| gmus/belov/ pj2007.aig.k25.gcnf |
GMUS | 390878 | 1149565 | 1 | 3 | 1 | 766376 | 383188 | 0 | 0 | 0 | 2682317 | aa03abda1d022f8b562043b661c96dc2 | ||
| gmus/belov/ pj2008.aig.k20.gcnf |
GMUS | 314734 | 924250 | 1 | 3 | 1 | 616166 | 308083 | 0 | 0 | 0 | 2156582 | 6c6e999194fd3d508ba12d16ef31aec0 | ||
| gmus/belov/ pj2010.aig.k20.gcnf |
GMUS | 327807 | 965959 | 1 | 3 | 1 | 643972 | 321986 | 0 | 0 | 0 | 2253903 | b5304a176ad7ad75b25f1edf1fb4812b | ||
| gmus/belov/ pj2010.aig.k25.gcnf |
GMUS | 418467 | 1233244 | 1 | 3 | 1 | 822162 | 411081 | 0 | 0 | 0 | 2877568 | c47eecf0b402e36539f0f87ce1331bd1 | ||
| gmus/belov/ vis4arbitp1.aig.k25.gcnf |
GMUS | 6562 | 18823 | 1 | 3 | 1 | 12548 | 6274 | 0 | 0 | 0 | 43919 | 962dfafc2f2e56bfaa2e057ae691f806 | ||
| gmus/belov/ viscoherencep2.aig.k20.gcnf |
GMUS | 20566 | 61339 | 1 | 3 | 1 | 40892 | 20446 | 0 | 0 | 0 | 143123 | 42ddc77443099613aeeb800270010f14 | ||
| gmus/belov/ viscoherencep3.aig.k15.gcnf |
GMUS | 14485 | 43186 | 1 | 3 | 1 | 28790 | 14395 | 0 | 0 | 0 | 100766 | 54de26b05551a7f74af414995753fe67 | ||
| gmus/belov/ viscoherencep3.aig.k20.gcnf |
GMUS | 20475 | 61066 | 1 | 3 | 1 | 40710 | 20355 | 0 | 0 | 0 | 142486 | db427a1ceab9fd0096c6290b16526763 | ||
| gmus/nadel/ edn_20259_10.cnf_0.48000000.unsat.gcnf |
GMUS | 864479 | 2529120 | 1 | 3 | 1768 | 1713225 | 814127 | 0 | 0 | 0 | 5870599 | caaa1053d742d9411d4ad395ac617c7f | ||
| gmus/nadel/ edn_20259_12.cnf_0.50000000.unsat.gcnf |
GMUS | 1042191 | 3051362 | 1 | 3 | 1774 | 2067151 | 982437 | 0 | 0 | 0 | 7083387 | 943b8cc429863b8164dd9df6670c2cab | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| gmus/nadel/ edn_20259_14.cnf_0.55000000.unsat.gcnf |
GMUS | 1219903 | 3573604 | 1 | 3 | 1780 | 2421077 | 1150747 | 0 | 0 | 0 | 8296175 | df65341c4097361d05f494bb8c3298c5 | ||
| gmus/nadel/ edn_20259_4.cnf_0.21000000.unsat.gcnf |
GMUS | 331378 | 962499 | 1 | 3 | 1750 | 651517 | 309232 | 0 | 0 | 0 | 2232480 | ea3a70c06e433ea6774b95260225eee6 | ||
| gmus/nadel/ edn_20259_6.cnf_0.31000000.unsat.gcnf |
GMUS | 509090 | 1484741 | 1 | 3 | 1756 | 1005443 | 477542 | 0 | 0 | 0 | 3445268 | 18eaa21b6da114620ac5f0f213b232b0 | ||
| gmus/nadel/ edn_20259_8.cnf_0.39000000.unsat.gcnf |
GMUS | 686767 | 2006878 | 1 | 3 | 1762 | 1359299 | 645817 | 0 | 0 | 0 | 4657811 | f57baf24ae37a7b91ed92e10ab13658f | ||
| gmus/nadel/ edn_20403_10.cnf_0.03000000.unsat.gcnf |
GMUS | 69746 | 198942 | 1 | 3 | 394 | 135453 | 63095 | 0 | 0 | 0 | 460585 | f15785f12d94ac4f431e410f3cfadb33 | ||
| gmus/nadel/ edn_20403_12.cnf_0.08000000.unsat.gcnf |
GMUS | 91417 | 261401 | 1 | 3 | 396 | 178067 | 82938 | 0 | 0 | 0 | 605344 | 394a7e0984d49b55f8676e59b94c5197 | ||
| gmus/nadel/ edn_20403_14.cnf_0.10000000.unsat.gcnf |
GMUS | 113335 | 324578 | 1 | 3 | 398 | 221173 | 103007 | 0 | 0 | 0 | 751765 | d56032d56be6f6964cc68420e3d76fcd | ||
| gmus/nadel/ edn_20403_16.cnf_0.29000000.unsat.gcnf |
GMUS | 135198 | 387583 | 1 | 3 | 400 | 264169 | 123014 | 0 | 0 | 0 | 897780 | b23409a85479896f827aa127538bdef8 | ||
| gmus/nadel/ edn_20403_23.cnf_14.27000000.unsat.gcnf |
GMUS | 266562 | 766171 | 1 | 3 | 412 | 522517 | 243242 | 0 | 0 | 0 | 1775172 | 73ffdf40f451e1af8e17b5448d146173 | ||
| gmus/nadel/ edn_20403_8.cnf_0.03000000.unsat.gcnf |
GMUS | 48217 | 136878 | 1 | 3 | 392 | 93117 | 43369 | 0 | 0 | 0 | 316733 | 627c2fcc00dc42d883a571b5fdffad5d | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| gmus/nadel/ edn_22134_10.cnf_0.47000000.unsat.gcnf |
GMUS | 864437 | 2529021 | 1 | 3 | 1776 | 1713143 | 814102 | 0 | 0 | 0 | 5870368 | c2d2bfb7e43652d983f8d8434ce11771 | ||
| gmus/nadel/ edn_22134_12.cnf_0.50000000.unsat.gcnf |
GMUS | 1042203 | 3051427 | 1 | 3 | 1782 | 2067177 | 982468 | 0 | 0 | 0 | 7083540 | f6667381dee1145d8c4acce78818288b | ||
| gmus/nadel/ edn_22134_4.cnf_0.14000000.unsat.gcnf |
GMUS | 331251 | 962139 | 1 | 3 | 1758 | 651265 | 309116 | 0 | 0 | 0 | 2231636 | c3b3bc71f0a7066bbeff8355a3fe11e2 | ||
| gmus/nadel/ edn_22134_6.cnf_0.31000000.unsat.gcnf |
GMUS | 508989 | 1484461 | 1 | 3 | 1764 | 1005243 | 477454 | 0 | 0 | 0 | 3444612 | ebad5f562e0c6423de9dcbb37a9fa249 | ||
| gmus/nadel/ edn_22134_8.cnf_0.38000000.unsat.gcnf |
GMUS | 686692 | 2006678 | 1 | 3 | 1770 | 1359151 | 645757 | 0 | 0 | 0 | 4657343 | 74a9bd6ec70b49d83e4c375b6f8e41be | ||
| gmus/nadel/ edn_24095_10.cnf_0.29000000.unsat.gcnf |
GMUS | 863232 | 2525398 | 1 | 3 | 1780 | 1710722 | 812896 | 0 | 0 | 0 | 5861912 | 59396d16b48424e0de77b278de22f61f | ||
| gmus/nadel/ edn_24095_17.cnf_4.40000000.unsat.gcnf |
GMUS | 1574120 | 4614494 | 1 | 3 | 1804 | 3126506 | 1486184 | 0 | 0 | 0 | 10713368 | f52d1f7f3fcd8a92db4a65f84a6b3891 | ||
| gmus/nadel/ edn_24095_19.cnf_2.12000000.unsat.gcnf |
GMUS | 1751877 | 5136873 | 1 | 3 | 1810 | 3480522 | 1654541 | 0 | 0 | 0 | 11926477 | e6629857e3e959f09cb95fc99980a478 | ||
| gmus/nadel/ edn_24095_4.cnf_0.11000000.unsat.gcnf |
GMUS | 330101 | 958681 | 1 | 3 | 1762 | 648954 | 307965 | 0 | 0 | 0 | 2223565 | 6460b1c55d6c2c50b5032ddb35fe99b7 | ||
| gmus/nadel/ edn_24095_6.cnf_0.17000000.unsat.gcnf |
GMUS | 507823 | 1480955 | 1 | 3 | 1768 | 1002900 | 476287 | 0 | 0 | 0 | 3436429 | c51da33d15687039669c18f62657127a | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| gmus/nadel/ edn_24095_8.cnf_0.21000000.unsat.gcnf |
GMUS | 685510 | 2003124 | 1 | 3 | 1774 | 1356776 | 644574 | 0 | 0 | 0 | 4649048 | 45a327c1bd797dd190d4bd2e7227d13e | ||
| gmus/nadel/ edn_25208_10.cnf_0.58000000.unsat.gcnf |
GMUS | 654429 | 1903361 | 1 | 3 | 1655 | 1287622 | 614084 | 0 | 0 | 0 | 4419151 | 7543a948d2d1a4f8c1980af742583a97 | ||
| gmus/nadel/ edn_25208_14.cnf_37.38000000.unsat.gcnf |
GMUS | 1143135 | 3330773 | 1 | 3 | 1673 | 2254432 | 1074668 | 0 | 0 | 0 | 7734541 | 0a24cf2864d1bfb67f9397e186ab8e35 | ||
| gmus/nadel/ edn_25208_2.cnf_0.08000000.unsat.gcnf |
GMUS | 165723 | 475949 | 1 | 3 | 1637 | 320812 | 153500 | 0 | 0 | 0 | 1103761 | 3ef4619cd70ae49780dd7d9335df55ac | ||
| gmus/nadel/ edn_25208_4.cnf_0.05000000.unsat.gcnf |
GMUS | 247194 | 713911 | 1 | 3 | 1640 | 481987 | 230284 | 0 | 0 | 0 | 1656466 | 011dbfbc248a3a41e228cd4b0f1008bd | ||
| gmus/nadel/ edn_25208_6.cnf_0.20000000.unsat.gcnf |
GMUS | 328645 | 951813 | 1 | 3 | 1643 | 643122 | 307048 | 0 | 0 | 0 | 2209031 | abd4989e8a82bcd6da6a997d7de50cd4 | ||
| gmus/nadel/ edn_25208_8.cnf_0.30000000.unsat.gcnf |
GMUS | 491527 | 1427557 | 1 | 3 | 1649 | 965352 | 460556 | 0 | 0 | 0 | 3314021 | b4e20e7f24f96e2983abe125079de4d9 | ||
| gmus/nadel/ edn_28491_10.cnf_0.46000000.unsat.gcnf |
GMUS | 864460 | 2529090 | 1 | 3 | 1776 | 1713189 | 814125 | 0 | 0 | 0 | 5870529 | e48392344cb035e46a534907c175151a | ||
| gmus/nadel/ edn_28491_12.cnf_0.50000000.unsat.gcnf |
GMUS | 1042230 | 3051508 | 1 | 3 | 1782 | 2067231 | 982495 | 0 | 0 | 0 | 7083729 | 50477d9f07eeb075e8a42bd35ffae30f | ||
| gmus/nadel/ edn_28491_6.cnf_0.31000000.unsat.gcnf |
GMUS | 509004 | 1484506 | 1 | 3 | 1764 | 1005273 | 477469 | 0 | 0 | 0 | 3444717 | 1fb36027876e2449ae4cc09a342c7177 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| gmus/nadel/ edn_28491_8.cnf_0.39000000.unsat.gcnf |
GMUS | 686711 | 2006735 | 1 | 3 | 1770 | 1359189 | 645776 | 0 | 0 | 0 | 4657476 | 7d764322de76b3db680fb7166965cee1 | ||
| gmus/nadel/ edn_2948_10.cnf_0.28000000.unsat.gcnf |
GMUS | 728290 | 2118495 | 1 | 3 | 1660 | 1433575 | 683260 | 0 | 0 | 0 | 4918590 | 1cdf41514b0ffc1dcedd4aa20a4edd64 | ||
| gmus/nadel/ edn_2948_14.cnf_0.97000000.unsat.gcnf |
GMUS | 1050042 | 3057947 | 1 | 3 | 1672 | 2070011 | 986264 | 0 | 0 | 0 | 7100486 | a84326751e7c427ff2595f7493904c6b | ||
| gmus/nadel/ edn_2948_4.cnf_0.07000000.unsat.gcnf |
GMUS | 245687 | 709392 | 1 | 3 | 1642 | 478971 | 228779 | 0 | 0 | 0 | 1645921 | 3350375b68160091418231acba8a34cc | ||
| gmus/nadel/ edn_2948_6.cnf_0.12000000.unsat.gcnf |
GMUS | 406538 | 1179043 | 1 | 3 | 1648 | 797139 | 380256 | 0 | 0 | 0 | 2736694 | 903ff9cc0ddf05834988fcfcc7fd545e | ||
| gmus/nadel/ edn_2948_8.cnf_0.25000000.unsat.gcnf |
GMUS | 567414 | 1648769 | 1 | 3 | 1654 | 1115357 | 531758 | 0 | 0 | 0 | 3827642 | 1f15eeb421407453701c953efe9903a8 | ||
| gmus/nadel/ edn_5371_10.cnf_0.46000000.unsat.gcnf |
GMUS | 864485 | 2529138 | 1 | 3 | 1768 | 1713237 | 814133 | 0 | 0 | 0 | 5870641 | c13e45a4da6d29cb30dc285e189088e1 | ||
| gmus/nadel/ edn_5371_12.cnf_0.50000000.unsat.gcnf |
GMUS | 1042190 | 3051359 | 1 | 3 | 1774 | 2067149 | 982436 | 0 | 0 | 0 | 7083380 | dae8f18d5010212542f31e652974e37d | ||
| gmus/nadel/ edn_5371_4.cnf_0.21000000.unsat.gcnf |
GMUS | 331377 | 962496 | 1 | 3 | 1750 | 651515 | 309231 | 0 | 0 | 0 | 2232473 | 9450aca9cba0f18d80190fb75e4a539b | ||
| gmus/nadel/ edn_5371_6.cnf_0.30000000.unsat.gcnf |
GMUS | 509089 | 1484738 | 1 | 3 | 1756 | 1005441 | 477541 | 0 | 0 | 0 | 3445261 | e16a3c0ef182f90435133d8bf5bc6b84 | ||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| gmus/nadel/ edn_5371_8.cnf_0.39000000.unsat.gcnf |
GMUS | 686766 | 2006875 | 1 | 3 | 1762 | 1359297 | 645816 | 0 | 0 | 0 | 4657804 | bc5d9c12ac0417c2deb0a57bd9d8539a | ||
| gmus/nadel/ edn_9789_10.cnf_0.68000000.unsat.gcnf |
GMUS | 647262 | 1881862 | 1 | 3 | 1656 | 1273288 | 606918 | 0 | 0 | 0 | 4368986 | d853096633779866ae1ae2f1f70e2328 | ||
| gmus/nadel/ edn_9789_12.cnf_0.93000000.unsat.gcnf |
GMUS | 808144 | 2351606 | 1 | 3 | 1662 | 1591518 | 758426 | 0 | 0 | 0 | 5459976 | 5b204da777531e6a07943f1379c38502 | ||
| gmus/nadel/ edn_9789_21.cnf_46.05000000.unsat.gcnf |
GMUS | 1612554 | 4700326 | 1 | 3 | 1692 | 3182668 | 1515966 | 0 | 0 | 0 | 10914926 | d8594e3eb910643185b2af446fe54587 | ||
| gmus/nadel/ edn_9789_2.cnf_0.07000000.unsat.gcnf |
GMUS | 164616 | 472630 | 1 | 3 | 1636 | 318600 | 152394 | 0 | 0 | 0 | 1096018 | a10409e96b74d11d1efbcda04ce3b6ac | ||
| gmus/nadel/ edn_9789_6.cnf_0.31000000.unsat.gcnf |
GMUS | 325518 | 942434 | 1 | 3 | 1644 | 636868 | 303922 | 0 | 0 | 0 | 2187146 | de44268d1ba47a44f46895f7af94a42d | ||
| gmus/nadel/ edn_9789_8.cnf_0.51000000.unsat.gcnf |
GMUS | 486400 | 1412178 | 1 | 3 | 1650 | 955098 | 455430 | 0 | 0 | 0 | 3278136 | 0681a237e7856e7a752d52f757da9301 |