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 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| aloul-chnl11-13.cnf | APPLICATION | 286 | 1742 | 2 | 11 | 0 | 1716 | 0 | 0 | 0 | 26 | 3718 | c7162bc1ddb6d2592f237fef1b04b5ce | ||
| APPLICATIONS/aprove09/ AProVE09-01.cnf |
APPLICATION | 81870 | 318353 | 1 | 26783 | 1 | 257666 | 20739 | 23212 | 7983 | 8752 | 809527 | 44070bcd7c5b486869e0efc62686a485 | ||
| APPLICATIONS/aprove09/ AProVE09-03.cnf |
APPLICATION | 59231 | 206299 | 1 | 12707 | 1 | 160864 | 22386 | 16076 | 3106 | 3866 | 512421 | d9da53bac6f8ccfc4700d7feca025fc7 | ||
| APPLICATIONS/aprove09/ AProVE09-05.cnf |
APPLICATION | 14685 | 49510 | 1 | 38 | 1 | 22578 | 25464 | 1414 | 15 | 38 | 127630 | af775a2959a121dbdf88d251c7971506 | ||
| APPLICATIONS/aprove09/ AProVE09-06.cnf |
APPLICATION | 77262 | 263137 | 1 | 74 | 1 | 120283 | 133670 | 8992 | 54 | 137 | 679549 | d6f6073d38b29a9cff1f80910bc0501b | ||
| APPLICATIONS/aprove09/ AProVE09-07.cnf |
APPLICATION | 8567 | 28936 | 1 | 14 | 1 | 13207 | 14832 | 883 | 0 | 13 | 74592 | c5fb730ce517a6a48db8bb4f0db1d85a | ||
| APPLICATIONS/aprove09/ AProVE09-08.cnf |
APPLICATION | 8564 | 28927 | 1 | 14 | 1 | 13201 | 14829 | 883 | 0 | 13 | 74571 | fc002583fd176f7c17c597cf2b9ef469 | ||
| APPLICATIONS/aprove09/ AProVE09-10.cnf |
APPLICATION | 67186 | 245335 | 1 | 1250 | 1 | 123646 | 107493 | 8907 | 1467 | 3821 | 639643 | 8906ffdee2616e35f08782ac5b24588e | ||
| APPLICATIONS/aprove09/ AProVE09-11.cnf |
APPLICATION | 20192 | 78082 | 1 | 224 | 1 | 38969 | 34065 | 2452 | 405 | 2190 | 207558 | 0f6b435a3aa045f7fe1d5c154e2f0953 | ||
| APPLICATIONS/aprove09/ AProVE09-12.cnf |
APPLICATION | 27495 | 102011 | 1 | 403 | 1 | 50313 | 44457 | 3835 | 1939 | 1466 | 269291 | 6a32ad8e8547dd5cd5ba6e2c50db1534 | ||
| 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 |
| APPLICATIONS/aprove09/ AProVE09-13.cnf |
APPLICATION | 7606 | 26317 | 1 | 73 | 1 | 12967 | 11641 | 1237 | 367 | 104 | 68415 | c24db6fd9a75d53a7bd695605d4863e5 | ||
| APPLICATIONS/aprove09/ AProVE09-15.cnf |
APPLICATION | 94663 | 305105 | 1 | 3 | 1 | 142994 | 162110 | 0 | 0 | 0 | 772319 | 1f63372992bc329c286ff481059b0ff7 | ||
| APPLICATIONS/aprove09/ AProVE09-17.cnf |
APPLICATION | 33894 | 108759 | 1 | 3 | 1 | 51306 | 57452 | 0 | 0 | 0 | 274969 | 7c312337e643719c8d3ae6a851030951 | ||
| APPLICATIONS/aprove09/ AProVE09-19.cnf |
APPLICATION | 30537 | 112780 | 1 | 148 | 1 | 53006 | 53087 | 4597 | 631 | 1458 | 297318 | 89e737bdc24531e3f2b7e5a36de9e44f | ||
| APPLICATIONS/aprove09/ AProVE09-20.cnf |
APPLICATION | 33054 | 108377 | 1 | 61 | 2 | 51324 | 55013 | 1546 | 256 | 236 | 276669 | d682d44f13c64e9669f2eded046ee8c4 | ||
| APPLICATIONS/aprove09/ AProVE09-21.cnf |
APPLICATION | 29964 | 91044 | 1 | 61 | 1 | 61962 | 26475 | 2242 | 320 | 44 | 214442 | a3cc0103b4df5b44a302c893b16b5971 | ||
| APPLICATIONS/aprove09/ AProVE09-22.cnf |
APPLICATION | 11557 | 38505 | 1 | 289 | 1 | 16316 | 21332 | 788 | 17 | 51 | 100479 | f83b70dc0ecb0b7df1f39f8d066a5804 | ||
| APPLICATIONS/aprove09/ AProVE09-24.cnf |
APPLICATION | 61164 | 209228 | 1 | 415 | 1 | 83362 | 120430 | 5204 | 68 | 163 | 550828 | add72395f3e7c6e9e29d4b056a962859 | ||
| APPLICATIONS/aprove09/ AProVE09-25.cnf |
APPLICATION | 37821 | 124485 | 1 | 1123 | 1 | 54582 | 67195 | 2484 | 147 | 76 | 323039 | 8422d798c38ec5bb1334193aaefd87be | ||
| APPLICATIONS/ bioinfo/ q_query_2_L324_coli.cnf |
APPLICATION | 617854 | 2745225 | 1 | 11 | 63819 | 860549 | 1288709 | 426025 | 105475 | 648 | 7889647 | 501f46d9a7ec80065d0e56530d26e648 | ||
| 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 |
| APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf |
APPLICATION | 315617 | 1522583 | 1 | 11 | 32077 | 403677 | 835608 | 197035 | 53887 | 299 | 4407119 | 370a08d01be1cc652e9a09ab1aafdced | ||
| APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf |
APPLICATION | 486992 | 2456708 | 1 | 11 | 45577 | 599727 | 1431108 | 295435 | 84412 | 449 | 7147094 | ba6884aaa746378e56c38fd8b3d0255e | ||
| APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf |
APPLICATION | 670867 | 3513333 | 1 | 11 | 59077 | 795777 | 2146608 | 393835 | 117437 | 599 | 10259569 | 853982f8646333d217e35d938b7eb00b | ||
| APPLICATIONS/ bioinfo/ q_query_3_l37_lambda.cnf |
APPLICATION | 26241 | 128361 | 1 | 9 | 3566 | 33367 | 73230 | 12521 | 5566 | 111 | 368903 | 6c0fa36b77ee8403468509d27984ddf2 | ||
| APPLICATIONS/ bioinfo/ q_query_3_l38_lambda.cnf |
APPLICATION | 26986 | 132388 | 1 | 9 | 3644 | 34225 | 75813 | 12876 | 5716 | 114 | 380643 | 208fab3c6bb011254beb601f462aad3b | ||
| APPLICATIONS/ bioinfo/ q_query_3_l39_lambda.cnf |
APPLICATION | 27735 | 136449 | 1 | 9 | 3722 | 35083 | 78429 | 13232 | 5866 | 117 | 392486 | cc949593da8c10735a1b7ac8b30d4e4d | ||
| APPLICATIONS/ bioinfo/ q_query_3_l40_lambda.cnf |
APPLICATION | 28488 | 140544 | 1 | 9 | 3800 | 35941 | 81078 | 13589 | 6016 | 120 | 404432 | 660e95de0ccce382abc30cb1546100bc | ||
| APPLICATIONS/ bioinfo/ q_query_3_l41_lambda.cnf |
APPLICATION | 29245 | 144673 | 1 | 9 | 3878 | 36799 | 83760 | 13947 | 6166 | 123 | 416481 | 50760ceab82aaa514e253121456f71f6 | ||
| APPLICATIONS/ bioinfo/ q_query_3_l42_lambda.cnf |
APPLICATION | 30006 | 148836 | 1 | 9 | 3956 | 37657 | 86475 | 14306 | 6316 | 126 | 428633 | f7e4b8eacc29c0297225e4db3860ba3b | ||
| APPLICATIONS/ bioinfo/ q_query_3_l43_lambda.cnf |
APPLICATION | 30771 | 153033 | 1 | 9 | 4034 | 38515 | 89223 | 14666 | 6466 | 129 | 440888 | 040db958f11a89b7e62063379f36b96a | ||
| 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 |
| APPLICATIONS/ bioinfo/ q_query_3_l44_lambda.cnf |
APPLICATION | 31540 | 157264 | 1 | 9 | 4112 | 39373 | 92004 | 15027 | 6616 | 132 | 453246 | a7bc41b32260e4459b2bee7c18cacba1 | ||
| APPLICATIONS/ bioinfo/ q_query_3_l45_lambda.cnf |
APPLICATION | 32313 | 161529 | 1 | 9 | 4190 | 40231 | 94818 | 15389 | 6766 | 135 | 465707 | 94aa7bdbcbe99c5b3082c395dc2384e9 | ||
| APPLICATIONS/ bioinfo/ q_query_3_l46_lambda.cnf |
APPLICATION | 33090 | 165828 | 1 | 9 | 4268 | 41089 | 97665 | 15752 | 6916 | 138 | 478271 | eb4d0d02a25a8a84182ddd3b6d1fa8b5 | ||
| APPLICATIONS/ bioinfo/ q_query_3_l47_lambda.cnf |
APPLICATION | 33871 | 170161 | 1 | 9 | 4346 | 41947 | 100545 | 16116 | 7066 | 141 | 490938 | ed7689c65135a913d97feca3ab3874eb | ||
| APPLICATIONS/ bioinfo/ q_query_3_l48_lambda.cnf |
APPLICATION | 34656 | 174528 | 1 | 9 | 4424 | 42805 | 103458 | 16481 | 7216 | 144 | 503708 | e7c28f6a200a1c1912fbaacfb3572515 | ||
| APPLICATIONS/ bioinfo/ q_query_3_L60_coli.sat.cnf |
APPLICATION | 187517 | 863483 | 1 | 11 | 21277 | 246837 | 445608 | 118315 | 31267 | 179 | 2483339 | 38736d508aa4b137792e18ad6998c963 | ||
| APPLICATIONS/ bioinfo/ q_query_3_L70_coli.sat.cnf |
APPLICATION | 218792 | 1020908 | 1 | 11 | 23977 | 286047 | 535908 | 137995 | 36772 | 209 | 2941934 | 7fc9b20f0efe1e9457bd61eba8178674 | ||
| APPLICATIONS/ bioinfo/ q_query_3_L80_coli.sat.cnf |
APPLICATION | 250567 | 1183233 | 1 | 11 | 26677 | 325257 | 631008 | 157675 | 42377 | 239 | 3415429 | eb71c8cb3482ee70f1c98af8944179ca | ||
| APPLICATIONS/ bioinfo/ q_query_3_L90_coli.sat.cnf |
APPLICATION | 282842 | 1350458 | 1 | 11 | 29377 | 364467 | 730908 | 177355 | 48082 | 269 | 3903824 | a9e7651569c1b43a1021c78982fb4e6b | ||
| APPLICATIONS/bitverif/ countbitsarray/ countbitsarray02_32.cnf |
APPLICATION | 4252 | 12563 | 1 | 3 | 2 | 8374 | 4187 | 0 | 0 | 0 | 29311 | da0c445b72f13d929ab0690c3bfa81ed | ||
| 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 |
| APPLICATIONS/bitverif/ countbitsarray/ countbitsarray08_32.cnf |
APPLICATION | 17818 | 52685 | 1 | 3 | 2 | 35122 | 17561 | 0 | 0 | 0 | 122929 | fd3f8184ebdeefe767f2b0366176385e | ||
| APPLICATIONS/bitverif/ countbitsarray/ countbitsarray32_32.cnf |
APPLICATION | 72202 | 213533 | 1 | 3 | 2 | 142354 | 71177 | 0 | 0 | 0 | 498241 | b7a07371a2da4a8c8bef63c213dd1e15 | ||
| APPLICATIONS/bitverif/ countbitsrotate/ countbitsrotate016.cnf |
APPLICATION | 2087 | 6212 | 1 | 3 | 2 | 4140 | 2070 | 0 | 0 | 0 | 14492 | cb3e934c498918abbc8bcf7f964c0d21 | ||
| APPLICATIONS/bitverif/ countbitsrotate/ countbitsrotate032.cnf |
APPLICATION | 8527 | 25484 | 1 | 3 | 2 | 16988 | 8494 | 0 | 0 | 0 | 59460 | 8d76aa747359ea8ccf15726792949452 | ||
| APPLICATIONS/bitverif/ countbitsrotate/ countbitsrotate128.cnf |
APPLICATION | 138559 | 415292 | 1 | 3 | 2 | 276860 | 138430 | 0 | 0 | 0 | 969012 | f21954c654ab1cfd9e2c1aa6fdf49c58 | ||
| APPLICATIONS/bitverif/ countbitssrl/ countbitssrl016.cnf |
APPLICATION | 4567 | 13652 | 1 | 3 | 2 | 9100 | 4550 | 0 | 0 | 0 | 31852 | 505fee3283f518ccb9d234f549b3c214 | ||
| APPLICATIONS/bitverif/ countbitssrl/ countbitssrl032.cnf |
APPLICATION | 18607 | 55724 | 1 | 3 | 2 | 37148 | 18574 | 0 | 0 | 0 | 130020 | 5bb6e70c95bda454f634cd586084908b | ||
| APPLICATIONS/bitverif/ countbitssrl/ countbitssrl128.cnf |
APPLICATION | 301759 | 904892 | 1 | 3 | 2 | 603260 | 301630 | 0 | 0 | 0 | 2111412 | d464f22dd212ad9afa317dae82dd7350 | ||
| APPLICATIONS/bitverif/ countbitswegner/ countbitswegner064.cnf |
APPLICATION | 24448 | 73151 | 1 | 3 | 2 | 48766 | 24383 | 0 | 0 | 0 | 170683 | 1a0b22841159d2c84fdcb857229ffa08 | ||
| APPLICATIONS/ bitverif/ icbrt/icbrt1_32.cnf |
APPLICATION | 11309 | 33833 | 1 | 3 | 2 | 22554 | 11277 | 0 | 0 | 0 | 78941 | 157e258753171ede0eac48b41cfa7b1d | ||
| 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 |
| APPLICATIONS/ bitverif/maxand/ maxand064.cnf |
APPLICATION | 14578 | 42581 | 1 | 3 | 2 | 28386 | 14193 | 0 | 0 | 0 | 99353 | b2d2617ddc348aef0d35df3c8f228dcb | ||
| APPLICATIONS/ bitverif/maxor/ maxor128.cnf |
APPLICATION | 200308 | 598619 | 1 | 3 | 2 | 399078 | 199539 | 0 | 0 | 0 | 1396775 | e050fe11c7c50ba82ac7126f49db3c10 | ||
| APPLICATIONS/ bitverif/maxxor/ maxxor064.cnf |
APPLICATION | 51064 | 152039 | 1 | 3 | 2 | 101358 | 50679 | 0 | 0 | 0 | 354755 | 902b28046d424b16042ca612ddad48e0 | ||
| APPLICATIONS/ bitverif/maxxor/ maxxor128.cnf |
APPLICATION | 200440 | 599015 | 1 | 3 | 2 | 399342 | 199671 | 0 | 0 | 0 | 1397699 | 065c126f0d55807310a398728b44423f | ||
| APPLICATIONS/bitverif/ maxxororand/ maxxororand032.cnf |
APPLICATION | 23696 | 70703 | 1 | 3 | 2 | 47134 | 23567 | 0 | 0 | 0 | 164971 | fc00df719c8630009723cd295f7c0c3b | ||
| APPLICATIONS/bitverif/ maxxororand/ maxxororand128.cnf |
APPLICATION | 365168 | 1093967 | 1 | 3 | 2 | 729310 | 364655 | 0 | 0 | 0 | 2552587 | 3022ff2a7ae31b29e9b784d8e848042f | ||
| APPLICATIONS/bitverif/ minandmaxor/ minandmaxor032.cnf |
APPLICATION | 16239 | 48332 | 1 | 3 | 2 | 32220 | 16110 | 0 | 0 | 0 | 112772 | 25c7914ccc82f6f574febbd03924feed | ||
| APPLICATIONS/bitverif/ minandmaxor/ minandmaxor128.cnf |
APPLICATION | 249327 | 746444 | 1 | 3 | 2 | 497628 | 248814 | 0 | 0 | 0 | 1741700 | 5b2e2178738883a628728bb1ec39f4a9 | ||
| APPLICATIONS/ bitverif/minand/ minand128.cnf |
APPLICATION | 53999 | 159692 | 1 | 3 | 2 | 106460 | 53230 | 0 | 0 | 0 | 372612 | 34e3afebec3eaf03cbcceb51b352993a | ||
| APPLICATIONS/ bitverif/minor/ minor032.cnf |
APPLICATION | 4210 | 12053 | 1 | 3 | 2 | 8034 | 4017 | 0 | 0 | 0 | 28121 | 93c9f18c75548b864ec69c2789cae658 | ||
| 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 |
| APPLICATIONS/ bitverif/minor/ minor064.cnf |
APPLICATION | 14578 | 42581 | 1 | 3 | 2 | 28386 | 14193 | 0 | 0 | 0 | 99353 | 1a151a1e93387c74239b48070e3eed97 | ||
| APPLICATIONS/bitverif/ minxorminand/ minxorminand032.cnf |
APPLICATION | 10794 | 31997 | 1 | 3 | 2 | 21330 | 10665 | 0 | 0 | 0 | 74657 | 49dda3faa6676166ee2ccb89f6cd8ca0 | ||
| APPLICATIONS/bitverif/ minxorminand/ minxorminand064.cnf |
APPLICATION | 40042 | 119357 | 1 | 3 | 2 | 79570 | 39785 | 0 | 0 | 0 | 278497 | 1394bf507e3ed448c81b5502d6550d78 | ||
| APPLICATIONS/bitverif/ minxorminand/ minxorminand128.cnf |
APPLICATION | 153834 | 459965 | 1 | 3 | 2 | 306642 | 153321 | 0 | 0 | 0 | 1073249 | a551844fb6a7f35cf6025d0a525ca14e | ||
| APPLICATIONS/ bitverif/minxor/ minxor128.cnf |
APPLICATION | 54258 | 160469 | 1 | 3 | 2 | 106978 | 53489 | 0 | 0 | 0 | 374425 | 10b48467ea3d951975cb9264f0b654fe | ||
| APPLICATIONS/ bitverif/mulhs/ mulhs016.cnf |
APPLICATION | 4656 | 13871 | 1 | 3 | 2 | 9246 | 4623 | 0 | 0 | 0 | 32363 | e4ef55733955e0a45519e9f7dec923e5 | ||
| APPLICATIONS/ bitverif/mulhs/ mulhs032.cnf |
APPLICATION | 18792 | 56183 | 1 | 3 | 2 | 37454 | 18727 | 0 | 0 | 0 | 131091 | 431823fbe355abc605baf058be5925a0 | ||
| APPLICATIONS/ bitverif/smulo/ smulo016.cnf |
APPLICATION | 2945 | 8738 | 1 | 3 | 2 | 5824 | 2912 | 0 | 0 | 0 | 20386 | 576249eded8a3c95c0b3aa8dcd51992e | ||
| APPLICATIONS/ bitverif/smulo/ smulo128.cnf |
APPLICATION | 188473 | 564650 | 1 | 3 | 2 | 376432 | 188216 | 0 | 0 | 0 | 1317514 | c5685247c8f21e8da88f42049fffdb13 | ||
| APPLICATIONS/ c32sat/ post-c32s-col400-16.cnf |
APPLICATION | 286329 | 839692 | 1 | 3 | 1 | 559794 | 279897 | 0 | 0 | 0 | 1959280 | a8766c9a72f73eaac2d0ddc5a182692e | ||
| 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 |
| APPLICATIONS/ c32sat/ post-c32s-gcdm16-22.cnf |
APPLICATION | 129652 | 386749 | 1 | 3 | 1 | 257832 | 128916 | 0 | 0 | 0 | 902413 | 8d2a42a37522a445646cc07d2396ea2a | ||
| APPLICATIONS/ c32sat/ post-c32s-gcdm16-23.cnf |
APPLICATION | 135543 | 404326 | 1 | 3 | 1 | 269550 | 134775 | 0 | 0 | 0 | 943426 | a61ef2b7b3d16661e8162c430ffb1a51 | ||
| APPLICATIONS/ c32sat/post-c32s-ss-8.cnf |
APPLICATION | 53752 | 148393 | 1 | 3 | 1 | 98928 | 49464 | 0 | 0 | 0 | 346249 | 9d3d3bb9b296880c7463693ae665aafd | ||
| APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf |
APPLICATION | 276895 | 1607567 | 1 | 184 | 40271 | 1154041 | 332345 | 10685 | 0 | 70225 | 4321960 | 17bffac3a21734cf7ff7fa9ecba23d9d | ||
| APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf |
APPLICATION | 266199 | 1575975 | 1 | 33 | 39783 | 1138497 | 317809 | 9949 | 0 | 69937 | 4240496 | 4c8b9603e0c90cfb3c82064eae956799 | ||
| APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf |
APPLICATION | 498723 | 2928183 | 1 | 33 | 70035 | 2107033 | 609981 | 19805 | 0 | 121329 | 7885040 | 91d125ee3007575f40ddeef126d7f80f | ||
| APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf |
APPLICATION | 270963 | 1601376 | 1 | 257 | 39870 | 1147330 | 334113 | 9978 | 0 | 70085 | 4314698 | f135b1d0c8abb3603a01568e46f7396a | ||
| APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf |
APPLICATION | 10950109 | 32697150 | 1 | 65 | 2415 | 21783823 | 10907882 | 1592 | 131 | 1307 | 76320846 | c4aa2ddc60eee766fbdf95a32eed5b43 | ||
| APPLICATIONS/ crypto/desgen/ gss-13-s100.cnf |
APPLICATION | 30867 | 92735 | 1 | 3 | 64 | 59830 | 32841 | 0 | 0 | 0 | 218247 | 18e29c95dcbfcbcf33a0a6c65b568b2d | ||
| APPLICATIONS/ crypto/desgen/ gss-14-s100.cnf |
APPLICATION | 31229 | 93855 | 1 | 3 | 64 | 60488 | 33303 | 0 | 0 | 0 | 220949 | 0395bced0950ab7e0c6e0bf7b855fed1 | ||
| 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 |
| APPLICATIONS/ crypto/desgen/ gss-15-s100.cnf |
APPLICATION | 31238 | 93878 | 1 | 3 | 64 | 60504 | 33310 | 0 | 0 | 0 | 221002 | b185751224700d221426aae46b36e25c | ||
| APPLICATIONS/ crypto/desgen/ gss-16-s100.cnf |
APPLICATION | 31248 | 93904 | 1 | 3 | 64 | 60522 | 33318 | 0 | 0 | 0 | 221062 | 0b8996f2f5c4b978a2df4466203c2361 | ||
| APPLICATIONS/ crypto/desgen/ gss-17-s100.cnf |
APPLICATION | 31318 | 94116 | 1 | 3 | 64 | 60636 | 33416 | 0 | 0 | 0 | 221584 | d37c12b8284d10d47c2000db061ff0e1 | ||
| APPLICATIONS/ crypto/desgen/ gss-19-s100.cnf |
APPLICATION | 31435 | 94548 | 1 | 3 | 64 | 60710 | 33774 | 0 | 0 | 0 | 222806 | e2d18d9d1a45d63e75556fb963e4ae47 | ||
| APPLICATIONS/ crypto/desgen/ gss-20-s100.cnf |
APPLICATION | 31503 | 94748 | 1 | 3 | 64 | 60816 | 33868 | 0 | 0 | 0 | 223300 | 5d7745a7593199a47cd1accba5810ed0 | ||
| APPLICATIONS/ crypto/desgen/ gss-21-s100.cnf |
APPLICATION | 31613 | 95104 | 1 | 3 | 64 | 60978 | 34062 | 0 | 0 | 0 | 224206 | d34c45eae853ce60c342643824196dbf | ||
| APPLICATIONS/ crypto/desgen/ gss-22-s100.cnf |
APPLICATION | 31616 | 95110 | 1 | 3 | 64 | 60982 | 34064 | 0 | 0 | 0 | 224220 | 96596d59af0c6949ab68ac8c5abcf28b | ||
| APPLICATIONS/ crypto/desgen/ gss-23-s100.cnf |
APPLICATION | 31711 | 95400 | 1 | 3 | 64 | 61146 | 34190 | 0 | 0 | 0 | 224926 | aa3fff3e05d3f50a3d088c22afa455ea | ||
| APPLICATIONS/ crypto/desgen/ gss-24-s100.cnf |
APPLICATION | 31821 | 95735 | 1 | 3 | 64 | 61338 | 34333 | 0 | 0 | 0 | 225739 | 107f2922072d64498e09af3270c7b9c3 | ||
| APPLICATIONS/ crypto/desgen/ gss-25-s100.cnf |
APPLICATION | 31931 | 96111 | 1 | 3 | 64 | 61482 | 34565 | 0 | 0 | 0 | 226723 | c4b5df05f50ec97b624a18161f6d43b5 | ||
| 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 |
| APPLICATIONS/ crypto/desgen/ gss-26-s100.cnf |
APPLICATION | 31942 | 96138 | 1 | 3 | 64 | 61502 | 34572 | 0 | 0 | 0 | 226784 | a2be03cdc152990d030fb3c2aea1f730 | ||
| APPLICATIONS/ crypto/desgen/ gss-27-s100.cnf |
APPLICATION | 31951 | 96161 | 1 | 3 | 64 | 61518 | 34579 | 0 | 0 | 0 | 226837 | f47c33d2a9a327da4633207adfef7b77 | ||
| APPLICATIONS/ crypto/desgen/ gss-28-s100.cnf |
APPLICATION | 32151 | 96786 | 1 | 3 | 64 | 61858 | 34864 | 0 | 0 | 0 | 228372 | 06e51f5d7b210924fc518c0569affee4 | ||
| APPLICATIONS/ crypto/desgen/ gss-31-s100.cnf |
APPLICATION | 32310 | 97279 | 1 | 3 | 64 | 62102 | 35113 | 0 | 0 | 0 | 229607 | 5dbb80f29538e26a3285bf497c57f592 | ||
| APPLICATIONS/ crypto/desgen/ gss-32-s100.cnf |
APPLICATION | 32312 | 97285 | 1 | 3 | 64 | 62100 | 35121 | 0 | 0 | 0 | 229627 | 7785f51f4f3cb780b4d123215711f948 | ||
| APPLICATIONS/ crypto/desgen/ gss-33-s100.cnf |
APPLICATION | 32402 | 97556 | 1 | 3 | 64 | 62250 | 35242 | 0 | 0 | 0 | 230290 | abeb2c5a0bb0ad39fbdbdbc07efbecf7 | ||
| APPLICATIONS/ crypto/desgen/ gss-34-s100.cnf |
APPLICATION | 32465 | 97748 | 1 | 3 | 64 | 62350 | 35334 | 0 | 0 | 0 | 230766 | d33264afbb7fa6f88a24b97cfc468c5a | ||
| APPLICATIONS/ crypto/md5gen/ gus-md5-04.cnf |
APPLICATION | 68679 | 223994 | 1 | 3 | 129 | 91178 | 132687 | 0 | 0 | 0 | 580546 | 019984f9d84c315e8eec645fb9d169da | ||
| APPLICATIONS/ crypto/md5gen/ gus-md5-05.cnf |
APPLICATION | 68827 | 224473 | 1 | 3 | 129 | 91368 | 132976 | 0 | 0 | 0 | 581793 | 2802e980ef7a0af021d80df126a2e28c | ||
| APPLICATIONS/ crypto/md5gen/ gus-md5-06.cnf |
APPLICATION | 68953 | 224868 | 1 | 3 | 129 | 91550 | 133189 | 0 | 0 | 0 | 582796 | 54bbde63bf0c9b14dd4e32426eab0a42 | ||
| 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 |
| APPLICATIONS/ crypto/md5gen/ gus-md5-07.cnf |
APPLICATION | 69097 | 225325 | 1 | 3 | 129 | 91744 | 133452 | 0 | 0 | 0 | 583973 | d5384c4b81fff59c87944d03e9ed7d02 | ||
| APPLICATIONS/ crypto/md5gen/ gus-md5-09.cnf |
APPLICATION | 69487 | 226581 | 1 | 3 | 129 | 92264 | 134188 | 0 | 0 | 0 | 587221 | 5c56557463274332c6704b6432dfc42b | ||
| APPLICATIONS/ crypto/md5gen/ gus-md5-10.cnf |
APPLICATION | 69503 | 226618 | 1 | 3 | 129 | 92294 | 134195 | 0 | 0 | 0 | 587302 | 0260f441a1d07270edb6a85b2fc90d1d | ||
| APPLICATIONS/ crypto/md5gen/ gus-md5-11.cnf |
APPLICATION | 69561 | 226787 | 1 | 3 | 129 | 92376 | 134282 | 0 | 0 | 0 | 587727 | 49867705b76fc90285dd6fc48de2613c | ||
| APPLICATIONS/ crypto/md5gen/ gus-md5-14.cnf |
APPLICATION | 69641 | 227010 | 1 | 3 | 129 | 92498 | 134383 | 0 | 0 | 0 | 588274 | 5822cc7fe01f06c27406011d612b5e7d | ||
| APPLICATIONS/ crypto/md5gen/ gus-md5-15.cnf |
APPLICATION | 69695 | 227171 | 1 | 3 | 129 | 92572 | 134470 | 0 | 0 | 0 | 588683 | c8a05d1e76535706c430a6b42d191d4b | ||
| APPLICATIONS/ crypto/md5gen/ gus-md5-16.cnf |
APPLICATION | 70139 | 228634 | 1 | 3 | 129 | 93186 | 135319 | 0 | 0 | 0 | 592458 | 3cb14750de2495357cf28b8ab826b9e3 | ||
| APPLICATIONS/diagnosis/ ACG-10-5p0.cnf |
APPLICATION | 123925 | 539763 | 1 | 10 | 5498 | 437089 | 69976 | 3020 | 12080 | 12100 | 1252804 | b0f091d476e617a8697e9f8acfd1538f | ||
| APPLICATIONS/diagnosis/ ACG-15-10p0.cnf |
APPLICATION | 262253 | 1131732 | 1 | 10 | 10249 | 882815 | 187708 | 5660 | 22640 | 22660 | 2644763 | d8dd0726277891eae9a2807dfd8946db | ||
| APPLICATIONS/diagnosis/ ACG-15-10p1.cnf |
APPLICATION | 268258 | 1155731 | 1 | 10 | 10249 | 895523 | 198999 | 5660 | 22640 | 22660 | 2704052 | 4f02dda0c6b1f76f43bce732093e4f1f | ||
| 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 |
| APPLICATIONS/diagnosis/ ACG-20-10p0.cnf |
APPLICATION | 374228 | 1603007 | 1 | 10 | 13149 | 1211215 | 313283 | 7260 | 29040 | 29060 | 3767588 | 28e85fc2a4586943a0ffdffa15206b58 | ||
| APPLICATIONS/diagnosis/ ACG-20-10p1.cnf |
APPLICATION | 381708 | 1632906 | 1 | 10 | 13149 | 1226633 | 327764 | 7260 | 29040 | 29060 | 3841867 | 31a85166c16c74a5f2dcee32f2093a67 | ||
| APPLICATIONS/diagnosis/ ACG-20-5p1.cnf |
APPLICATION | 331196 | 1416850 | 1 | 10 | 11403 | 1064373 | 284354 | 6300 | 25200 | 25220 | 3333531 | 8eb175d312e8be3bb4695a79b8f45bdc | ||
| APPLICATIONS/diagnosis/ UCG-10-5p0.cnf |
APPLICATION | 104481 | 500875 | 1 | 10 | 5498 | 398201 | 69976 | 3020 | 12080 | 12100 | 1175028 | 9d45c35f4df88b155135c4914792c59e | ||
| APPLICATIONS/diagnosis/ UCG-15-10p0.cnf |
APPLICATION | 199304 | 1005834 | 1 | 10 | 10249 | 756917 | 187708 | 5660 | 22640 | 22660 | 2392967 | bcbcc9a4e4a7e3ebed9eeaa393ebdc32 | ||
| APPLICATIONS/diagnosis/ UCG-15-10p1.cnf |
APPLICATION | 200003 | 1019221 | 1 | 10 | 10249 | 759013 | 198999 | 5660 | 22640 | 22660 | 2431032 | 484dad50fb275faff8eff92c4d5447cb | ||
| APPLICATIONS/diagnosis/ UCG-15-5p0.cnf |
APPLICATION | 162696 | 821000 | 1 | 10 | 8386 | 617825 | 153189 | 4620 | 18480 | 18500 | 1953203 | 4385f03fe3bdaf0f127ae989ddd7908d | ||
| APPLICATIONS/diagnosis/ UCG-20-10p1.cnf |
APPLICATION | 259258 | 1388006 | 1 | 10 | 13149 | 981733 | 327764 | 7260 | 29040 | 29060 | 3352067 | 4454a006891d750fc88d47a8b0848855 | ||
| APPLICATIONS/diagnosis/ UCG-20-5p1.cnf |
APPLICATION | 224986 | 1204430 | 1 | 10 | 11403 | 851953 | 284354 | 6300 | 25200 | 25220 | 2908691 | 93858500e23e9a4bf0619d7bf7dc00f3 | ||
| APPLICATIONS/diagnosis/ UR-10-5p0.cnf |
APPLICATION | 104479 | 500869 | 1 | 10 | 5498 | 398195 | 69976 | 3020 | 12080 | 12100 | 1175016 | e024fd9d9cdae82453a8cdaa74d08481 | ||
| 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 |
| APPLICATIONS/diagnosis/ UR-10-5p1.cnf |
APPLICATION | 104856 | 508020 | 1 | 10 | 5498 | 399325 | 75997 | 3020 | 12080 | 12100 | 1195339 | 71709b0ed450234f1e59c71288c2c81a | ||
| APPLICATIONS/diagnosis/ UR-15-10p0.cnf |
APPLICATION | 199290 | 1005792 | 1 | 10 | 10249 | 756875 | 187708 | 5660 | 22640 | 22660 | 2392883 | a860cf613d4e0cb34c00f8b79611121d | ||
| APPLICATIONS/diagnosis/ UR-15-10p1.cnf |
APPLICATION | 199996 | 1019200 | 1 | 10 | 10249 | 758992 | 198999 | 5660 | 22640 | 22660 | 2430990 | 558e9ecf39a7773e94f4b47eef706f44 | ||
| APPLICATIONS/diagnosis/ UR-15-5p0.cnf |
APPLICATION | 162682 | 820958 | 1 | 10 | 8386 | 617783 | 153189 | 4620 | 18480 | 18500 | 1953119 | 46c031b3f08c6158a2e68fd75d34fa31 | ||
| APPLICATIONS/diagnosis/ UR-20-10p1.cnf |
APPLICATION | 259234 | 1387934 | 1 | 10 | 13149 | 981661 | 327764 | 7260 | 29040 | 29060 | 3351923 | 6ace5cfbe110f1a43049037cb7432998 | ||
| APPLICATIONS/diagnosis/ UR-20-5p0.cnf |
APPLICATION | 224569 | 1190619 | 1 | 10 | 11403 | 850703 | 271793 | 6300 | 25200 | 25220 | 2868508 | 782c70d5631cbc24bc659543ee69ca8b | ||
| APPLICATIONS/diagnosis/ UR-20-5p1.cnf |
APPLICATION | 224962 | 1204358 | 1 | 10 | 11403 | 851881 | 284354 | 6300 | 25200 | 25220 | 2908547 | c530016627d60451f148c386bba0e9bf | ||
| APPLICATIONS/diagnosis/ UTI-10-10p0.cnf |
APPLICATION | 130859 | 627223 | 1 | 10 | 6856 | 498729 | 87598 | 3780 | 15120 | 15140 | 1471348 | 76f64a29755badc2dae8f70e8e96bc3e | ||
| APPLICATIONS/diagnosis/ UTI-15-10p0.cnf |
APPLICATION | 199586 | 1006679 | 1 | 10 | 10249 | 757762 | 187708 | 5660 | 22640 | 22660 | 2394657 | abc6c44b372f4addd18c6a7b2eac59f5 | ||
| APPLICATIONS/diagnosis/ UTI-15-10p1.cnf |
APPLICATION | 200152 | 1019667 | 1 | 10 | 10249 | 759459 | 198999 | 5660 | 22640 | 22660 | 2431924 | 95ee3bccf00be0d94959b7512fd434b4 | ||
| 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 |
| APPLICATIONS/diagnosis/ UTI-15-5p0.cnf |
APPLICATION | 162926 | 821689 | 1 | 10 | 8386 | 618514 | 153189 | 4620 | 18480 | 18500 | 1954581 | b21b299f860c56270b509900cff82599 | ||
| APPLICATIONS/diagnosis/ UTI-15-5p1.cnf |
APPLICATION | 163388 | 832285 | 1 | 10 | 8386 | 619899 | 162400 | 4620 | 18480 | 18500 | 1984984 | 3860cadf04571c4600e5fd531189ff9f | ||
| APPLICATIONS/diagnosis/ UTI-20-10p0.cnf |
APPLICATION | 259616 | 1374599 | 1 | 10 | 13149 | 982807 | 313283 | 7260 | 29040 | 29060 | 3310772 | 209f7789e3588d11f275f2003f2c6a67 | ||
| APPLICATIONS/diagnosis/ UTI-20-10p1.cnf |
APPLICATION | 260342 | 1391257 | 1 | 10 | 13149 | 984984 | 327764 | 7260 | 29040 | 29060 | 3358569 | 9573f6b4001373bab93d1a02f96820d1 | ||
| APPLICATIONS/diagnosis/ UTI-20-5p0.cnf |
APPLICATION | 225296 | 1192799 | 1 | 10 | 11403 | 852883 | 271793 | 6300 | 25200 | 25220 | 2872868 | 5588dd996576f939b8ae497437078705 | ||
| APPLICATIONS/diagnosis/ UTI-20-5p1.cnf |
APPLICATION | 225926 | 1207249 | 1 | 10 | 11403 | 854772 | 284354 | 6300 | 25200 | 25220 | 2914329 | 10eca282b9263f77903cd90a479b46ee | ||
| APPLICATIONS/ satComp09_BioInstances/ndhf_xits_09_UNSAT.cnf |
APPLICATION | 1910 | 167931 | 2 | 10 | 0 | 3312 | 164588 | 0 | 0 | 31 | 500698 | 3cd74d1813a4408b4123afc23df07d7d | ||
| APPLICATIONS/ satComp09_BioInstances/ndhf_xits_10_UNSAT.cnf |
APPLICATION | 2112 | 191788 | 2 | 11 | 0 | 3595 | 188162 | 0 | 0 | 31 | 572017 | 54c22a62e5d0a640d4ea8d185b9b1fc7 | ||
| APPLICATIONS/ satComp09_BioInstances/ndhf_xits_11_UNSAT.cnf |
APPLICATION | 2316 | 216962 | 2 | 12 | 0 | 3879 | 213052 | 0 | 0 | 31 | 647286 | 238f1788225c41f1f5779700e39b5833 | ||
| APPLICATIONS/ satComp09_BioInstances/ndhf_xits_12_UNSAT.cnf |
APPLICATION | 2522 | 243459 | 2 | 13 | 0 | 4164 | 239264 | 0 | 0 | 31 | 726523 | ecc4810d82e30597ea8451526243ec09 | ||
| 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 |
| APPLICATIONS/ satComp09_BioInstances/ndhf_xits_13_UNSAT.cnf |
APPLICATION | 2730 | 271285 | 2 | 14 | 0 | 4450 | 266804 | 0 | 0 | 31 | 809746 | d4e16a803f6cd0903a2bd3e7157287b3 | ||
| APPLICATIONS/ satComp09_BioInstances/ndhf_xits_14_UNSAT.cnf |
APPLICATION | 2940 | 300446 | 2 | 15 | 0 | 4737 | 295678 | 0 | 0 | 31 | 896973 | 6d69d175921d14f1c2600aaedc59f514 | ||
| APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf |
APPLICATION | 3152 | 330948 | 2 | 16 | 0 | 5025 | 325892 | 0 | 0 | 31 | 988222 | 8e41b9860982308be5a85106d5324611 | ||
| APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf |
APPLICATION | 3366 | 362797 | 2 | 17 | 0 | 5314 | 357452 | 0 | 0 | 31 | 1083511 | 85279cb74dedd2e1c7356e22d8e98939 | ||
| APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf |
APPLICATION | 3582 | 395999 | 2 | 18 | 0 | 5604 | 390364 | 0 | 0 | 31 | 1182858 | d554330e1400d4f25a793413df9abc4e | ||
| APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_20_SAT.cnf |
APPLICATION | 4242 | 503783 | 2 | 21 | 0 | 6480 | 497272 | 0 | 0 | 31 | 1505427 | 8aa38136187abb1238dedfc85e88a72c | ||
| APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_21_SAT.cnf |
APPLICATION | 4466 | 542457 | 2 | 22 | 0 | 6774 | 535652 | 0 | 0 | 31 | 1621186 | 03a36a0e1b9af8e7c30a29a92e02302e | ||
| APPLICATIONS/ satComp09_BioInstances/ ndhf_xits_22_SAT.cnf |
APPLICATION | 4692 | 582514 | 2 | 23 | 0 | 7069 | 575414 | 0 | 0 | 31 | 1741093 | 0370c302d744cf5297e07b7d8a6a8190 | ||
| APPLICATIONS/ satComp09_BioInstances/rbcl_xits_06_UNSAT.cnf |
APPLICATION | 980 | 47620 | 2 | 7 | 0 | 1731 | 45866 | 0 | 0 | 23 | 141221 | 540450986cd3d9879ae19d42219d1fab | ||
| APPLICATIONS/ satComp09_BioInstances/rbcl_xits_07_UNSAT.cnf |
APPLICATION | 1128 | 57446 | 2 | 8 | 0 | 1939 | 55484 | 0 | 0 | 23 | 170514 | 6419e2e5b92274df2e7e43e6c6a98566 | ||
| 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 |
| APPLICATIONS/ satComp09_BioInstances/rbcl_xits_08_UNSAT.cnf |
APPLICATION | 1278 | 68055 | 2 | 9 | 0 | 2148 | 65884 | 0 | 0 | 23 | 202155 | 66aa2e18c32a02f55a810347a9702c7f | ||
| APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf |
APPLICATION | 1430 | 79453 | 2 | 10 | 0 | 2358 | 77072 | 0 | 0 | 23 | 236162 | 18ad1dee1e9d863458e75a20545ae68a | ||
| APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf |
APPLICATION | 1584 | 91646 | 2 | 11 | 0 | 2569 | 89054 | 0 | 0 | 23 | 272553 | e868383f091c36fa9594c670095c9824 | ||
| APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf |
APPLICATION | 1740 | 104640 | 2 | 12 | 0 | 2781 | 101836 | 0 | 0 | 23 | 311346 | b02fa517730e45c506203f9bd7ebb62c | ||
| APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf |
APPLICATION | 1898 | 118441 | 2 | 13 | 0 | 2994 | 115424 | 0 | 0 | 23 | 352559 | d18a114d646a89f18fb3efba2be009e6 | ||
| APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf |
APPLICATION | 2058 | 133055 | 2 | 14 | 0 | 3208 | 129824 | 0 | 0 | 23 | 396210 | 604e1311b2fcb3c933399ca7195c63f1 | ||
| APPLICATIONS/ satComp09_BioInstances/ rbcl_xits_14_SAT.cnf |
APPLICATION | 2220 | 148488 | 2 | 15 | 0 | 3423 | 145042 | 0 | 0 | 23 | 442317 | 0678a0ef5b4345961915559db9bf689b | ||
| APPLICATIONS/ satComp09_BioInstances/rpoc_xits_07_UNSAT.cnf |
APPLICATION | 1128 | 63345 | 2 | 8 | 0 | 1950 | 61372 | 0 | 0 | 23 | 188200 | a30111c778b4a83ebe950f77b63a1b33 | ||
| APPLICATIONS/ satComp09_BioInstances/rpoc_xits_08_UNSAT.cnf |
APPLICATION | 1278 | 74789 | 2 | 9 | 0 | 2159 | 72607 | 0 | 0 | 23 | 222346 | 0b7170d33b896e8b879b19b65ac5c517 | ||
| APPLICATIONS/ satComp09_BioInstances/rpoc_xits_09_UNSAT.cnf |
APPLICATION | 1430 | 87044 | 2 | 10 | 0 | 2369 | 84652 | 0 | 0 | 23 | 258924 | feb620c17f2a4d7899a2e7883baa7391 | ||
| 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 |
| APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf |
APPLICATION | 1584 | 100116 | 2 | 11 | 0 | 2580 | 97513 | 0 | 0 | 23 | 297952 | 8ece32bbd9e6c3f5c8cdf0e94e0569cd | ||
| APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf |
APPLICATION | 1740 | 114011 | 2 | 12 | 0 | 2792 | 111196 | 0 | 0 | 23 | 339448 | e0639bbed56c8b8c34616f8cb99c381c | ||
| APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf |
APPLICATION | 1898 | 128735 | 2 | 13 | 0 | 3005 | 125707 | 0 | 0 | 23 | 383430 | fbf37caab2e9eafe910c795f49053484 | ||
| APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf |
APPLICATION | 2058 | 144294 | 2 | 14 | 0 | 3219 | 141052 | 0 | 0 | 23 | 429916 | 57b85ec7870f670f13b00667a6315c05 | ||
| APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf |
APPLICATION | 2220 | 160694 | 2 | 15 | 0 | 3434 | 157237 | 0 | 0 | 23 | 478924 | 74b3bf25aa16f613ee15d6b4b9bc9486 | ||
| APPLICATIONS/ satComp09_BioInstances/ rpoc_xits_17_SAT.cnf |
APPLICATION | 2718 | 215000 | 2 | 18 | 0 | 4085 | 210892 | 0 | 0 | 23 | 641260 | 4607e45ceb8682e35172b7d697608fbf | ||
| cmu-bmc-barrel6.cnf | APPLICATION | 2306 | 8931 | 2 | 217 | 0 | 2629 | 6048 | 252 | 0 | 2 | 24664 | cc87f90bf08e13838e59f0f2639db121 | ||
| cmu-bmc-longmult15.cnf | APPLICATION | 7807 | 24351 | 1 | 18 | 53 | 16386 | 6700 | 908 | 16 | 288 | 58557 | 21b49b73035bb6e7a1dd17830907ac9d | ||
| een-tip-sat-texas-tp-5e.cnf | APPLICATION | 17985 | 52128 | 1 | 15 | 15 | 32912 | 19200 | 0 | 0 | 1 | 123454 | 5bf390b945bda57e276dac6d13ea27f6 | ||
| een-tip-uns-nusmv-t5.B.cnf | APPLICATION | 59265 | 170983 | 1 | 23 | 23 | 99418 | 71541 | 0 | 0 | 1 | 413505 | 5a0032960b52c5fb367771f030675e6c | ||
| 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 |
| goldb-heqc-alu4mul.cnf | APPLICATION | 4736 | 30465 | 2 | 16 | 0 | 7024 | 14112 | 0 | 9328 | 1 | 103040 | 2d68b23bdbf6e7e2868e82c4f24dffc3 | ||
| goldb-heqc-dalumul.cnf | APPLICATION | 9426 | 59991 | 2 | 32 | 0 | 13834 | 27796 | 0 | 18360 | 1 | 202888 | f03acb1e2f3063539a5fb2ac1bbf6244 | ||
| goldb-heqc-frg1mul.cnf | APPLICATION | 3230 | 20575 | 2 | 6 | 0 | 4746 | 9516 | 0 | 6312 | 1 | 69606 | 4984fea7abc49dd7f6973cd779e805d7 | ||
| goldb-heqc-i10mul.cnf | APPLICATION | 12998 | 77941 | 2 | 448 | 0 | 17756 | 37304 | 0 | 22880 | 1 | 262272 | 80e15f28c8e2d72627ec75fe75757317 | ||
| goldb-heqc-term1mul.cnf | APPLICATION | 3504 | 22229 | 2 | 20 | 0 | 5116 | 10312 | 0 | 6800 | 1 | 75188 | c356d60706abf7ddd80826e417c8de67 | ||
| goldb-heqc-x1mul.cnf | APPLICATION | 8756 | 55571 | 1 | 70 | 28 | 12786 | 25852 | 0 | 16904 | 1 | 187746 | b44e541aede789d4830fa0a3a047fcda | ||
| hoons-vbmc-lucky7.cnf | APPLICATION | 8503 | 25116 | 1 | 3 | 21 | 16730 | 8365 | 0 | 0 | 0 | 58576 | e05028f569e580a3335aeab2d092cf1f | ||
| industrial/anbulagan/ hard-sat/ partial-10-13-s.cnf |
APPLICATION | 234673 | 1071339 | 1 | 10 | 17679 | 856659 | 153061 | 4880 | 19520 | 19540 | 2453820 | d90571b4b69632567da9d3ebfd25979e | ||
| industrial/anbulagan/ hard-sat/ partial-10-15-s.cnf |
APPLICATION | 261020 | 1211106 | 1 | 10 | 19537 | 952032 | 190917 | 5400 | 21600 | 21620 | 2788072 | a6b04ec2cace5c4e6bef212c7f2df796 | ||
| industrial/anbulagan/ hard-sat/ partial-5-17-s.cnf |
APPLICATION | 252328 | 1189896 | 1 | 10 | 18837 | 919648 | 204591 | 5200 | 20800 | 20820 | 2752826 | cd6cb5ea01688ce5beec6e625055ac90 | ||
| 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 |
| industrial/anbulagan/ hard-unsat/ dated-10-19-u.cnf |
APPLICATION | 246502 | 1169243 | 1 | 10 | 20518 | 893029 | 209596 | 5120 | 20480 | 20500 | 2711964 | 1f049803198bb32ab05476465773cc39 | ||
| industrial/anbulagan/ hard-unsat/ dated-5-13-u.cnf |
APPLICATION | 138808 | 626501 | 1 | 10 | 11712 | 503953 | 84536 | 2920 | 11680 | 11700 | 1431026 | 45ee13b66821e6c36f3e38be418fa121 | ||
| industrial/anbulagan/ hard-unsat/ dated-5-15-u.cnf |
APPLICATION | 151952 | 697321 | 1 | 10 | 12754 | 551183 | 104744 | 3180 | 12720 | 12740 | 1601192 | c716daea92d5e29b94f85a19b52859ac | ||
| industrial/anbulagan/ hard-unsat/ dated-5-17-u.cnf |
APPLICATION | 183464 | 855717 | 1 | 10 | 15316 | 664917 | 141084 | 3820 | 15280 | 15300 | 1974802 | 83ece6745238c422c7e68e5a07fc7f73 | ||
| industrial/anbulagan/ hard-unsat/ dated-5-19-u.cnf |
APPLICATION | 208002 | 986543 | 1 | 10 | 17318 | 753529 | 176796 | 4320 | 17280 | 17300 | 2288164 | 3be331331884289c55e55acdeed55dc7 | ||
| industrial/anbulagan/ hard-unsat/ partial-10-13-u.cnf |
APPLICATION | 234064 | 1059777 | 1 | 10 | 17678 | 854833 | 143326 | 4880 | 19520 | 19540 | 2420962 | ec1a03bc95c5b06907199f7ae65ad092 | ||
| industrial/anbulagan/ hard-unsat/ partial-10-19-u.cnf |
APPLICATION | 330372 | 1570953 | 1 | 10 | 24592 | 1203951 | 281190 | 6800 | 27200 | 27220 | 3643384 | ec6ae8f44e827ed5bcc8aed459990775 | ||
| industrial/anbulagan/ hard-unsat/ partial-5-11-u.cnf |
APPLICATION | 164158 | 730719 | 1 | 10 | 12474 | 600009 | 87256 | 3440 | 13760 | 13780 | 1660140 | 8e22d84b1ae625d44fbf300a32374a2d | ||
| industrial/anbulagan/ hard-unsat/ partial-5-13-u.cnf |
APPLICATION | 184196 | 833889 | 1 | 10 | 13964 | 672565 | 112780 | 3840 | 15360 | 15380 | 1904914 | 4bb23e70b97827425fcf5759bf0a79a2 | ||
| industrial/anbulagan/ hard-unsat/ partial-5-15-u.cnf |
APPLICATION | 217930 | 1002997 | 1 | 10 | 16378 | 795155 | 150764 | 4520 | 18080 | 18100 | 2303180 | c2f768afbb9db3d5f5133c3f48734894 | ||
| 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 |
| industrial/anbulagan/ hard-unsat/ partial-5-17-u.cnf |
APPLICATION | 252004 | 1178557 | 1 | 10 | 18836 | 918677 | 194224 | 5200 | 20800 | 20820 | 2719782 | b9de1594525a25a6c43932e2e172e913 | ||
| industrial/anbulagan/ hard-unsat/ total-10-17-u.cnf |
APPLICATION | 293864 | 1370917 | 1 | 10 | 24516 | 1065117 | 226184 | 6120 | 24480 | 24500 | 3163902 | 9ce7c48a28ddd5790e38607bb893dd38 | ||
| industrial/anbulagan/ hard-unsat/ total-10-19-u.cnf |
APPLICATION | 331202 | 1571183 | 1 | 10 | 27558 | 1199929 | 281756 | 6880 | 27520 | 27540 | 3644324 | a2687a8a1b0deeabfd7eddcfa56549a2 | ||
| industrial/anbulagan/ hard-unsat/ total-5-15-u.cnf |
APPLICATION | 219756 | 1008653 | 1 | 10 | 18434 | 797195 | 151604 | 4600 | 18400 | 18420 | 2316156 | c438ce1eb243ac0a49869eda1166f28f | ||
| industrial/anbulagan/ hard-unsat/ total-5-17-u.cnf |
APPLICATION | 265064 | 1236517 | 1 | 10 | 22116 | 960717 | 203984 | 5520 | 22080 | 22100 | 2853702 | 9f79c3f75a90db314ed315006ba97d6f | ||
| industrial/anbulagan/ medium-sat/ partial-5-13-s.cnf |
APPLICATION | 184675 | 842981 | 1 | 10 | 13965 | 674001 | 120435 | 3840 | 15360 | 15380 | 1930752 | 8440e7259e120363fc65b24385da09e8 | ||
| industrial/anbulagan/ medium-sat/ partial-5-15-s.cnf |
APPLICATION | 218494 | 1013700 | 1 | 10 | 16379 | 796846 | 159775 | 4520 | 18080 | 18100 | 2333596 | aeddf6934ba21adf4a25a76bc314ef43 | ||
| industrial/anbulagan/ medium-unsat/ total-10-13-u.cnf |
APPLICATION | 226208 | 1021181 | 1 | 10 | 19072 | 821353 | 137896 | 4760 | 19040 | 19060 | 2332626 | a443b9e3a7093c1d9a47b42016a65c52 | ||
| industrial/anbulagan/ medium-unsat/ total-5-11-u.cnf |
APPLICATION | 156980 | 696581 | 1 | 10 | 13310 | 570471 | 82900 | 3320 | 13280 | 13300 | 1582352 | 770fa9cd880a43d98e936f33f4e86d7a | ||
| industrial/anbulagan/ medium-unsat/ total-5-13-u.cnf |
APPLICATION | 178708 | 806681 | 1 | 10 | 15072 | 648853 | 108896 | 3760 | 15040 | 15060 | 1842626 | 127968d7d14f3ab7655995f561e62ed8 | ||
| 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 |
| industrial/babic/ hsatv17/ hsat_vc11803.cnf |
APPLICATION | 276402 | 798348 | 1 | 3 | 31560 | 251728 | 515060 | 0 | 0 | 0 | 2080196 | 6c6fd606fd41d7205b07602118ad74a0 | ||
| industrial/babic/ hsatv17/ hsat_vc11813.cnf |
APPLICATION | 312579 | 905106 | 1 | 3 | 35218 | 283723 | 586165 | 0 | 0 | 0 | 2361159 | 1d84e062d693fe840d2f54155b9ad4a4 | ||
| industrial/babic/ xinetd/ xinetd_vc56703.cnf |
APPLICATION | 110923 | 286428 | 1 | 3 | 13085 | 138156 | 135187 | 0 | 0 | 0 | 694958 | 09053ffc48c8fbc3352a0ce4d89c2bbb | ||
| industrial/ fuhs/hard/ AProVE07-01.cnf |
APPLICATION | 7502 | 28770 | 1 | 847 | 1 | 15814 | 11119 | 733 | 172 | 931 | 76290 | d2f77e32530988f77dca5112174eee00 | ||
| industrial/ fuhs/hard/ AProVE07-08.cnf |
APPLICATION | 4614 | 16637 | 1 | 97 | 1 | 7532 | 8048 | 732 | 246 | 78 | 44007 | 81ed5ec4a2e7c208a4184383f9e53838 | ||
| industrial/ fuhs/hard/ AProVE07-25.cnf |
APPLICATION | 8920 | 31884 | 1 | 229 | 1 | 15331 | 14327 | 1469 | 588 | 168 | 83706 | 0acd143a4e60b38309663b5993b5ded9 | ||
| industrial/ fuhs/hard/ AProVE07-26.cnf |
APPLICATION | 21734 | 79766 | 1 | 225 | 1 | 36916 | 38055 | 3077 | 748 | 969 | 211276 | 0cf155110f71a43081221b427d368ee8 | ||
| industrial/ fuhs/hard/ AProVE07-27.cnf |
APPLICATION | 7729 | 29194 | 1 | 201 | 1 | 14904 | 11692 | 1614 | 463 | 520 | 77124 | a948576641dd03cc33abaca38a6e7e4c | ||
| industrial/ fuhs/medium/ AProVE07-09.cnf |
APPLICATION | 33582 | 160817 | 1 | 4200 | 1 | 136464 | 6536 | 6374 | 2328 | 9114 | 423605 | 50ed98553825ac1825482c1496260592 | ||
| industrial/ fuhs/medium/ AProVE07-16.cnf |
APPLICATION | 52382 | 182485 | 1 | 131 | 1 | 85834 | 87884 | 7609 | 700 | 457 | 472601 | 65057bcebbeecf6a7f3bc3fcfb2de009 | ||
| 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 |
| industrial/grieu/ vmpc_24.cnf |
APPLICATION | 576 | 67872 | 2 | 24 | 0 | 26568 | 41256 | 0 | 0 | 48 | 178056 | a69847fa52646cc8016cf4fd8e9d428a | ||
| industrial/grieu/ vmpc_25.cnf |
APPLICATION | 625 | 76775 | 2 | 25 | 0 | 30075 | 46650 | 0 | 0 | 50 | 201350 | c5b44b10975f50cd32d40650a6a22d18 | ||
| industrial/grieu/ vmpc_26.cnf |
APPLICATION | 676 | 86424 | 2 | 26 | 0 | 33878 | 52494 | 0 | 0 | 52 | 226590 | 7e9eba7a609bdbcf7c3a7e0f5c07ab04 | ||
| industrial/grieu/ vmpc_28.cnf |
APPLICATION | 784 | 108080 | 2 | 28 | 0 | 42420 | 65604 | 0 | 0 | 56 | 283220 | 2679ca6fb11bcf9f950de09652ce7147 | ||
| industrial/grieu/ vmpc_29.cnf |
APPLICATION | 841 | 120147 | 2 | 29 | 0 | 47183 | 72906 | 0 | 0 | 58 | 314766 | 1e81246225c81a67548d334d1dfcc24b | ||
| industrial/grieu/ vmpc_30.cnf |
APPLICATION | 900 | 133080 | 2 | 30 | 0 | 52290 | 80730 | 0 | 0 | 60 | 348570 | 8df6cfaff4435ad2a04367a34fb047c1 | ||
| industrial/grieu/ vmpc_33.cnf |
APPLICATION | 1089 | 177375 | 2 | 33 | 0 | 69795 | 107514 | 0 | 0 | 66 | 464310 | 4c4d694bb911a7a13a7cb66a99dd484c | ||
| industrial/grieu/ vmpc_34.cnf |
APPLICATION | 1156 | 194072 | 2 | 34 | 0 | 76398 | 117606 | 0 | 0 | 68 | 507926 | a27d41b3e10d867544cd2bff7d005be2 | ||
| industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf |
APPLICATION | 1111 | 3756 | 1 | 19 | 3 | 1603 | 2090 | 30 | 18 | 12 | 9786 | b1a6497b6934405ef70bfcc51fa85893 | ||
| industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf |
APPLICATION | 1400 | 4732 | 1 | 21 | 3 | 2052 | 2605 | 27 | 31 | 14 | 12300 | 90581094793af5fc10d4e4b9a10259ac | ||
| 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 |
| industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf |
APPLICATION | 1694 | 5726 | 1 | 23 | 3 | 2490 | 3143 | 39 | 38 | 13 | 14874 | 8d6acb9f6b752ad76c024133f5175c69 | ||
| industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf |
APPLICATION | 2010 | 6802 | 1 | 25 | 3 | 2961 | 3733 | 43 | 46 | 16 | 17668 | 8ca1246723b65c8e0ae1eddb535ce13f | ||
| industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf |
APPLICATION | 684 | 2300 | 1 | 15 | 3 | 978 | 1284 | 16 | 12 | 7 | 5992 | 35a8bbabf9cb954216ad71150cb47290 | ||
| industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf |
APPLICATION | 892 | 3006 | 1 | 17 | 3 | 1283 | 1676 | 18 | 16 | 10 | 7828 | 738c5d916b76338511b77dbd47cdbc16 | ||
| industrial/narain/ clauses-8.cnf |
APPLICATION | 1461771 | 5687554 | 1 | 601 | 1 | 4325673 | 961281 | 11051 | 354960 | 34588 | 14147618 | 74bd745b1c68e4deddfa063e58b6b54d | ||
| industrial/palacios/ hard/ safe-30-h29-unsat.cnf |
APPLICATION | 129128 | 437794 | 1 | 61 | 30 | 310376 | 124560 | 189 | 83 | 2556 | 1056806 | 7cb48ce6f0320bc88623afd3c5af4aae | ||
| industrial/palacios/ hard/ safe-50-h49-unsat.cnf |
APPLICATION | 615037 | 2098249 | 1 | 101 | 50 | 1488062 | 602029 | 238 | 148 | 7722 | 5069473 | afc9746f162b3434bc79ea21bd1704d5 | ||
| industrial/palacios/ hard/ sortnet-7-ipc5-h15-unsat.cnf |
APPLICATION | 105623 | 374254 | 1 | 43 | 128 | 269133 | 99944 | 407 | 309 | 4333 | 911890 | 0683489092a5eb0c881dd17c2c45d08e | ||
| industrial/palacios/ hard/ sortnet-8-ipc5-h18-unsat.cnf |
APPLICATION | 338487 | 1187589 | 1 | 57 | 256 | 849854 | 326098 | 798 | 544 | 10039 | 2886289 | b3381a58cbbd64d5d90a3b4fcd44bf6d | ||
| industrial/palacios/ hard/ sortnet-8-ipc5-h19-sat.cnf |
APPLICATION | 359341 | 1254773 | 1 | 57 | 256 | 896240 | 346435 | 830 | 571 | 10441 | 3046189 | 409f4401e9e8b60ee665ac5567a13e41 | ||
| 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 |
| industrial/palacios/ medium/ blocks-4-ipc5-h22-unknown.cnf |
APPLICATION | 146874 | 937242 | 1 | 417 | 125 | 791651 | 139269 | 1522 | 83 | 4592 | 2519136 | 8c6ad18be635cee0d986377c4d06ab11 | ||
| industrial/palacios/ medium/ cube-11-h13-unsat.cnf |
APPLICATION | 454385 | 1367522 | 1 | 19 | 1331 | 911962 | 451911 | 2126 | 18 | 174 | 3191290 | 3a68d904935650d9da7e64e1ee7bae82 | ||
| industrial/palacios/ medium/ cube-11-h14-sat.cnf |
APPLICATION | 508177 | 1529045 | 1 | 19 | 1331 | 1019705 | 505422 | 2413 | 19 | 155 | 3568287 | 7cc30e40be8c690e76c3fb158623be61 | ||
| industrial/palacios/ medium/ emptyroom-4-h21-unsat.cnf |
APPLICATION | 69148 | 208728 | 1 | 28 | 256 | 139492 | 68730 | 102 | 13 | 135 | 487544 | 175ec3119584300988ad366c4a04cccc | ||
| industrial/palacios/ uts/ uts-l05-ipc5-h26-unsat.cnf |
APPLICATION | 85694 | 414657 | 1 | 403 | 190 | 330211 | 80574 | 910 | 103 | 2669 | 1073659 | 4b97e69214a2eddbe060a9ecc3dfbbd8 | ||
| industrial/palacios/ uts/ uts-l05-ipc5-h27-unknown.cnf |
APPLICATION | 93573 | 439508 | 1 | 403 | 190 | 347239 | 88215 | 1000 | 107 | 2757 | 1132510 | 7634252332633927f116161c1beb6151 | ||
| industrial/palacios/ uts/ uts-l06-ipc5-h28-unknown.cnf |
APPLICATION | 113583 | 649270 | 1 | 591 | 276 | 537293 | 107101 | 980 | 101 | 3519 | 1721996 | ccc94758bbd09de3056ff3a062ddfd45 | ||
| industrial/palacios/ uts/ uts-l06-ipc5-h31-unknown.cnf |
APPLICATION | 149210 | 761906 | 1 | 591 | 276 | 614506 | 141844 | 1307 | 115 | 3858 | 1988854 | 4211c3af8594e6cbb06d7f7e8978c614 | ||
| industrial/palacios/ uts/ uts-l06-ipc5-h33-unknown.cnf |
APPLICATION | 172950 | 837466 | 1 | 591 | 276 | 666462 | 164950 | 1526 | 129 | 4123 | 2168190 | 6197e38464facb30636a5a3ad5b2f0b5 | ||
| industrial/palacios/ uts/ uts-l06-ipc5-h35-unknown.cnf |
APPLICATION | 196689 | 912286 | 1 | 591 | 276 | 717679 | 188110 | 1747 | 138 | 4336 | 2345308 | 5e044c9f89a347ff1731180a403693c1 | ||
| 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 |
| industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf |
APPLICATION | 520770 | 13380350 | 1 | 6689 | 1 | 8710587 | 4215482 | 25225 | 15593 | 413462 | 39210884 | c77a56af24208a6401c763e11a38de01 | ||
| industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf |
APPLICATION | 521179 | 13378617 | 1 | 6689 | 1 | 8714562 | 4209393 | 25257 | 15681 | 413723 | 39204907 | 5fe5b52b05e512edbe82e7d139ac7362 | ||
| industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf |
APPLICATION | 24604 | 261473 | 1 | 73 | 1 | 238933 | 6442 | 1972 | 2972 | 11153 | 744579 | 9158de01004aff62af67cbb9db5bcbbb | ||
| industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf |
APPLICATION | 44095 | 542253 | 1 | 93 | 1 | 500227 | 10265 | 3051 | 5229 | 23480 | 1554259 | f0f4556999ccb446384994a4148fca28 | ||
| industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf |
APPLICATION | 69789 | 968295 | 1 | 110 | 1 | 899512 | 16116 | 3707 | 6480 | 42479 | 2788367 | ba6236c6cc840bb0208f73665843c375 | ||
| industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf |
APPLICATION | 106013 | 1598301 | 1 | 131 | 1 | 1491607 | 24060 | 5002 | 9194 | 68437 | 4617403 | 6fcbaf8c6c7ed0c41d8ac12258cafaee | ||
| industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf |
APPLICATION | 151669 | 2465731 | 1 | 150 | 1 | 2309834 | 35167 | 5995 | 11790 | 102944 | 7141423 | 79c983ee7a6671238604da3040f85341 | ||
| industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf |
APPLICATION | 209724 | 3634677 | 1 | 169 | 1 | 3415202 | 49840 | 6998 | 14973 | 147663 | 10547961 | 580dc3969c4e46e50013253fd4ac9139 | ||
| industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf |
APPLICATION | 306095 | 6069108 | 1 | 163 | 1 | 5745111 | 66910 | 4878 | 18476 | 233732 | 17675754 | 0fbc00fde383cec371bb97d621c5e7e5 | ||
| industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf |
APPLICATION | 371419 | 7170909 | 1 | 205 | 1 | 6770451 | 92326 | 8862 | 23554 | 275715 | 20872419 | 776da55785376fd8eac6989ca812b102 | ||
| 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 |
| industrial/ vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf |
APPLICATION | 482093 | 9676386 | 1 | 226 | 1 | 9152157 | 120945 | 10067 | 28986 | 364230 | 28195028 | 9a43349587a435e7109b46b3aceb156e | ||
| manol-pipe-c10nid_i.cnf | APPLICATION | 252516 | 750877 | 1 | 3 | 1 | 500584 | 250292 | 0 | 0 | 0 | 1752045 | 5845608382cee59cce4973c50f16416c | ||
| manol-pipe-c10nidw.cnf | APPLICATION | 433601 | 1291714 | 1 | 3 | 1 | 861142 | 430571 | 0 | 0 | 0 | 3013998 | 943fd86d922b13236c21a74c4f82b6d0 | ||
| manol-pipe-c10nidw_s.cnf | APPLICATION | 404382 | 1204273 | 1 | 3 | 1 | 802848 | 401424 | 0 | 0 | 0 | 2809969 | 7989bb134c6f50cb418407e85e733980 | ||
| manol-pipe-c6bidw_i.cnf | APPLICATION | 96089 | 283993 | 1 | 3 | 1 | 189328 | 94664 | 0 | 0 | 0 | 662649 | 8aeb1eb6b7bf22d54183762fb5b6410c | ||
| manol-pipe-c6nidw_i.cnf | APPLICATION | 95863 | 283363 | 1 | 3 | 1 | 188908 | 94454 | 0 | 0 | 0 | 661179 | 15c4413e436aecbd4fcb1d7037e18abf | ||
| manol-pipe-c7bidw_i.cnf | APPLICATION | 131004 | 387841 | 1 | 3 | 1 | 258560 | 129280 | 0 | 0 | 0 | 904961 | 3eac71f4fca7132b74d6d27cfa83813f | ||
| manol-pipe-c7nidw.cnf | APPLICATION | 169072 | 501421 | 1 | 3 | 1 | 334280 | 167140 | 0 | 0 | 0 | 1169981 | cddc29f8f256e39e02d9b418f68e802c | ||
| manol-pipe-c9.cnf | APPLICATION | 15214 | 45082 | 1 | 3 | 1 | 30054 | 15027 | 0 | 0 | 0 | 105190 | 7f47eb2c5986b40772da3e38cf0759b1 | ||
| manol-pipe-f10ni.cnf | APPLICATION | 368888 | 1100500 | 1 | 3 | 1 | 733666 | 366833 | 0 | 0 | 0 | 2567832 | b99a5b8844b4e1d2656eb1422e6e888f | ||
| 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 |
| manol-pipe-f9b.cnf | APPLICATION | 183371 | 547078 | 1 | 3 | 1 | 364718 | 182359 | 0 | 0 | 0 | 1276514 | c3e7cb16bced9d54ce489b6e95d89943 | ||
| manol-pipe-f9n.cnf | APPLICATION | 185149 | 552412 | 1 | 3 | 1 | 368274 | 184137 | 0 | 0 | 0 | 1288960 | 61e4a04a828a2cd33ae3f3dde54ef320 | ||
| manol-pipe-g10bidw.cnf | APPLICATION | 237485 | 705220 | 1 | 3 | 1 | 470146 | 235073 | 0 | 0 | 0 | 1645512 | 6ade683f6bfd116f49e58395d70ae6c0 | ||
| manol-pipe-g10id.cnf | APPLICATION | 159638 | 473596 | 1 | 3 | 1 | 315730 | 157865 | 0 | 0 | 0 | 1105056 | 79b8866c5f4be7f699958174c5be63e9 | ||
| manol-pipe-g10nid.cnf | APPLICATION | 217725 | 646228 | 1 | 3 | 1 | 430818 | 215409 | 0 | 0 | 0 | 1507864 | d46e452956bc993f202d3b06fd3e858e | ||
| manol-pipe-g6bi.cnf | APPLICATION | 23891 | 69895 | 1 | 3 | 1 | 46596 | 23298 | 0 | 0 | 0 | 163087 | 276c05fafaa0b870834db9baaef6afca | ||
| manol-pipe-g7nidw.cnf | APPLICATION | 75496 | 222379 | 1 | 3 | 1 | 148252 | 74126 | 0 | 0 | 0 | 518883 | a0303c742e981cc0d4711ad3ac66f146 | ||
| mizh-md5-47-3.cnf | APPLICATION | 65604 | 273522 | 1 | 4 | 199 | 118260 | 42021 | 113042 | 0 | 0 | 814950 | 3bb585fcdaeb772457dbcffd3371aab9 | ||
| mizh-md5-47-4.cnf | APPLICATION | 65604 | 273506 | 1 | 4 | 199 | 118244 | 42021 | 113042 | 0 | 0 | 814918 | b0a37265834986ac9165bda379d279fd | ||
| mizh-md5-48-5.cnf | APPLICATION | 66892 | 279256 | 1 | 4 | 201 | 120496 | 42781 | 115778 | 0 | 0 | 832648 | 8ab50418497c0326ed1ff5d73a4e24a3 | ||
| 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 |
| mizh-sha0-35-3.cnf | APPLICATION | 48689 | 204067 | 1 | 4 | 187 | 84694 | 36898 | 82288 | 0 | 0 | 609421 | 41d0118c47af202f6c4d6c3e9e8bdfb7 | ||
| mizh-sha0-36-2.cnf | APPLICATION | 50073 | 210239 | 1 | 4 | 177 | 86996 | 38042 | 85024 | 0 | 0 | 628391 | 82bf685774b76ba263c886940c3aa94d | ||
| mizh-sha0-36-3.cnf | APPLICATION | 50073 | 210235 | 1 | 4 | 177 | 86992 | 38042 | 85024 | 0 | 0 | 628383 | 7e900a3d5c709e5167c14f906d6ebd88 | ||
| mizh-sha0-36-4.cnf | APPLICATION | 50073 | 210235 | 1 | 4 | 177 | 86992 | 38042 | 85024 | 0 | 0 | 628383 | f43e1bf70d9ce8021bafd328efc83ae7 | ||
| schup-l2s-abp4-1-k31.cnf | APPLICATION | 14809 | 48483 | 1 | 33 | 36 | 24983 | 22191 | 589 | 403 | 281 | 123522 | 2ec4066bd8381455b1990aa40b382ff0 | ||
| schup-l2s-bc56s-1-k391.cnf | APPLICATION | 561371 | 1778987 | 1 | 392 | 142 | 843213 | 908640 | 16428 | 6651 | 3913 | 4570195 | 1f1dd0782ec95ee5e6d7a06f92fc0f12 | ||
| schup-l2s-guid-1-k56.cnf | APPLICATION | 98746 | 307346 | 1 | 57 | 72 | 178795 | 120630 | 4935 | 2464 | 450 | 757661 | 8945850ff5a1fb30f0867a5172da0b2e | ||
| schup-l2s-motst-2-k315.cnf | APPLICATION | 507145 | 1601920 | 1 | 316 | 158 | 769140 | 810244 | 14181 | 5044 | 3153 | 4100982 | ae1df1f35073d9127e72d2baa74b497d | ||
| simon-s02b-dp11u10.cnf | APPLICATION | 8513 | 25271 | 1 | 11 | 22 | 16216 | 9032 | 0 | 0 | 1 | 59561 | bd35ccd857138682818061a3fbcb7546 | ||
| simon-s02b-k2f-gr-rcs-w8.cnf | APPLICATION | 10056 | 271393 | 2 | 8 | 0 | 270136 | 0 | 0 | 0 | 1257 | 550328 | 5da8899feefc5a4bb9db99e983e30f52 | ||
| 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 |
| simon-s03-fifo8-300.cnf | APPLICATION | 194762 | 530713 | 1 | 11 | 4539 | 407666 | 101726 | 13487 | 1199 | 2096 | 1200865 | bc88ff447c824a634465ac9483a47d5c | ||
| simon-s03-w08-15.cnf | APPLICATION | 132555 | 469519 | 1 | 15 | 37 | 379993 | 42167 | 18997 | 11195 | 17130 | 1146761 | 169fbc07424949a1f20859053fcfe192 | ||
| vange-col-abb313GPIA-9-c.cnf | APPLICATION | 6228 | 484871 | 1 | 8 | 15 | 4651 | 1 | 0 | 0 | 480204 | 3850952 | 0baefedb2aaa81442743e253487854d8 | ||
| velev-engi-uns-1.0-4nd.cnf | APPLICATION | 7000 | 67586 | 1 | 58 | 1 | 56649 | 5901 | 437 | 591 | 4007 | 190944 | 700f8e86139a93fca212e22efa0f7d2b | ||
| velev-live-uns-2.0-ebuf.cnf | APPLICATION | 14628 | 161477 | 1 | 88 | 1 | 133719 | 16973 | 833 | 676 | 9275 | 460215 | 67de5cf23f11aa400b48f4451ee5f362 | ||
| velev-pipe-o-uns-1.0-7.cnf | APPLICATION | 24415 | 711050 | 1 | 161 | 1 | 605924 | 86384 | 614 | 475 | 17652 | 2091630 | b7df25f653e1e7a9ffcd39b3231809e6 | ||
| velev-pipe-o-uns-1.1-6.cnf | APPLICATION | 17710 | 304026 | 1 | 131 | 1 | 268354 | 26401 | 173 | 120 | 8977 | 890580 | d986f0b849e7c714ed5d3a26373567af | ||
| velev-pipe-sat-1.0-b10.cnf | APPLICATION | 118040 | 8804672 | 1 | 340 | 1 | 8252265 | 456959 | 620 | 552 | 94275 | 26208080 | a9abd96191efca8626c02160761beedd | ||
| velev-pipe-sat-1.0-b7.cnf | APPLICATION | 118040 | 8804672 | 1 | 340 | 1 | 8252265 | 456959 | 620 | 552 | 94275 | 26208080 | 612845a855119304b698a4b55aed3089 | ||
| velev-pipe-uns-1.0-8.cnf | APPLICATION | 35065 | 1332773 | 1 | 178 | 1 | 1290115 | 14508 | 256 | 216 | 27677 | 3936683 | 0767e5dbf6844720495e9eb5423112e1 | ||
| 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 |
| velev-vliw-uns-4.0-9C1.cnf | APPLICATION | 96177 | 1814189 | 1 | 2216 | 1 | 1178665 | 560157 | 5491 | 4739 | 65136 | 5280501 | 0c9a15d0f561e9d1bb438b04ae3c31af | ||
| velev-vliw-uns-4.0-9-i1.cnf | APPLICATION | 154309 | 3230738 | 1 | 3625 | 1 | 2024994 | 1081436 | 8866 | 8692 | 106749 | 9429252 | 590cca3a58efdeb1c95ef988a53daa1d |