SAT 2009 Competition: multithread track: General informations on benchmark

General informations on benchmarks in category "all categories"

This page displays general informations on each benchmark in category "all categories"

Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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
RANDOM/LARGE/3SAT/UNKNOWN/
10000/
unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf
RANDOM 10000 42000 3 3 0 0 42000 0 0 0 126000 bdbdcaa81df700a6beb0f62dde612ba9
RANDOM/LARGE/3SAT/UNKNOWN/
10000/
unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf
RANDOM 10000 42000 3 3 0 0 42000 0 0 0 126000 a3bc6e5867287d61e63c82ab3d8a4844
RANDOM/LARGE/3SAT/UNKNOWN/
10000/
unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf
RANDOM 10000 42000 3 3 0 0 42000 0 0 0 126000 03e92abd50719ffb3da2b41e986c9d5a
RANDOM/LARGE/3SAT/UNKNOWN/
10000/
unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf
RANDOM 10000 42000 3 3 0 0 42000 0 0 0 126000 f6a466c72f4f8727dda0aabdbbe355f0
RANDOM/LARGE/3SAT/UNKNOWN/
10000/
unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf
RANDOM 10000 42000 3 3 0 0 42000 0 0 0 126000 0a19f92dcb720285a20d980734b7d718
RANDOM/LARGE/3SAT/UNKNOWN/
10000/
unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf
RANDOM 10000 42000 3 3 0 0 42000 0 0 0 126000 feffab3a110531eb2fd2a1a79e11bcda
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S21800963-085.cnf
RANDOM 10000 42000 3 3 0 0 42000 0 0 0 126000 4cbc233e7a70cae22bbfdd2b4008f16f
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S268463339-081.cnf
RANDOM 10000 42000 3 3 0 0 42000 0 0 0 126000 c0db0b493ae63a00f0ab9cc60e186dad
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S279212213-020.cnf
RANDOM 10000 42000 3 3 0 0 42000 0 0 0 126000 183c921e18805bcc408ca715f9914368
RANDOM/LARGE/3SAT/UNKNOWN/10000/
unif-k3-r4.2-v10000-c42000-S859578263-029.cnf
RANDOM 10000 42000 3 3 0 0 42000 0 0 0 126000 17df6005fb09e0a5c9a1d88e4e3ac572
RANDOM/LARGE/3SAT/UNKNOWN/
12000/
unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf
RANDOM 12000 50400 3 3 0 0 50400 0 0 0 151200 baab5bee77b4ec39821ca7eac508e100
RANDOM/LARGE/3SAT/UNKNOWN/
12000/
unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf
RANDOM 12000 50400 3 3 0 0 50400 0 0 0 151200 3576a3cf7cfc1985034b5d4b3a46f902
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S15767910-042.cnf
RANDOM 12000 50400 3 3 0 0 50400 0 0 0 151200 c210a2e606daadbb1d4386048a71e2b1
RANDOM/LARGE/3SAT/UNKNOWN/
12000/
unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf
RANDOM 12000 50400 3 3 0 0 50400 0 0 0 151200 8d7f64a35c0c8e6b970d380bfdb49f2a
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S219795104-099.cnf
RANDOM 12000 50400 3 3 0 0 50400 0 0 0 151200 b3388c169ab5d49a74d975bbdbf2ea31
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S221596758-009.cnf
RANDOM 12000 50400 3 3 0 0 50400 0 0 0 151200 4e7f5c25a1af5225c3ae5cd2b08760df
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S377647456-019.cnf
RANDOM 12000 50400 3 3 0 0 50400 0 0 0 151200 65bb593760651b10c127c4b3276e73fc
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S56507352-034.cnf
RANDOM 12000 50400 3 3 0 0 50400 0 0 0 151200 3489273d9d670dd6da5e410852c60205
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S650356257-052.cnf
RANDOM 12000 50400 3 3 0 0 50400 0 0 0 151200 2b1b5cba2ea775d4b0eb4b407240568e
RANDOM/LARGE/3SAT/UNKNOWN/12000/
unif-k3-r4.2-v12000-c50400-S826724848-048.cnf
RANDOM 12000 50400 3 3 0 0 50400 0 0 0 151200 ac206d26fdd8779eb6f2b1fce5fa4c62
RANDOM/LARGE/3SAT/UNKNOWN/
14000/
unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf
RANDOM 14000 58800 3 3 0 0 58800 0 0 0 176400 4a32998e8f57b42d66014efe21307642
RANDOM/LARGE/3SAT/UNKNOWN/
14000/
unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf
RANDOM 14000 58800 3 3 0 0 58800 0 0 0 176400 01285fb91a1e47f6ebc0bc6eca4b49ed
RANDOM/LARGE/3SAT/UNKNOWN/
14000/
unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf
RANDOM 14000 58800 3 3 0 0 58800 0 0 0 176400 eddf23a9129879ac5af61d87df97c9d0
RANDOM/LARGE/3SAT/UNKNOWN/
14000/
unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf
RANDOM 14000 58800 3 3 0 0 58800 0 0 0 176400 0d3fcd560d811748824b45b279f18880
RANDOM/LARGE/3SAT/UNKNOWN/
14000/
unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf
RANDOM 14000 58800 3 3 0 0 58800 0 0 0 176400 7770dfa1661e274add02933decd27ac4
RANDOM/LARGE/3SAT/UNKNOWN/
14000/
unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf
RANDOM 14000 58800 3 3 0 0 58800 0 0 0 176400 96ac67354b2d4edc2a83b4892dd0ca62
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/LARGE/3SAT/UNKNOWN/
14000/
unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf
RANDOM 14000 58800 3 3 0 0 58800 0 0 0 176400 09c56b8f22055d8047e518985ef77900
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S310111511-029.cnf
RANDOM 14000 58800 3 3 0 0 58800 0 0 0 176400 a9b0b659393e65a898228098b67aeeff
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S648763183-023.cnf
RANDOM 14000 58800 3 3 0 0 58800 0 0 0 176400 40253b5ef067295a954d5da373fbf256
RANDOM/LARGE/3SAT/UNKNOWN/14000/
unif-k3-r4.2-v14000-c58800-S822708255-070.cnf
RANDOM 14000 58800 3 3 0 0 58800 0 0 0 176400 b4b21d0b7e1c85f1ed2d73fe388ea563
RANDOM/LARGE/3SAT/UNKNOWN/
16000/
unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf
RANDOM 16000 67200 3 3 0 0 67200 0 0 0 201600 a714fa4bd1373c24435aaf22c9d8231c
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S162003179-087.cnf
RANDOM 16000 67200 3 3 0 0 67200 0 0 0 201600 b6948329f00787361710da473154a8ea
RANDOM/LARGE/3SAT/UNKNOWN/
16000/
unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf
RANDOM 16000 67200 3 3 0 0 67200 0 0 0 201600 5a6b74e0cbac6cfafc017348bf701f4b
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S17277413-072.cnf
RANDOM 16000 67200 3 3 0 0 67200 0 0 0 201600 0ec786bf459e33d21d020cc6c867d755
RANDOM/LARGE/3SAT/UNKNOWN/
16000/
unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf
RANDOM 16000 67200 3 3 0 0 67200 0 0 0 201600 b323780c0efe36d916bbe48c23a818f7
RANDOM/LARGE/3SAT/UNKNOWN/
16000/
unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf
RANDOM 16000 67200 3 3 0 0 67200 0 0 0 201600 bc18b3dcb5640a3085870d083d959b05
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/LARGE/3SAT/UNKNOWN/
16000/
unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf
RANDOM 16000 67200 3 3 0 0 67200 0 0 0 201600 3ed6e5f5358c1fd3f163dcbb9450e91a
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S322778960-054.cnf
RANDOM 16000 67200 3 3 0 0 67200 0 0 0 201600 738d561654cbc7d1587a637b71302edd
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S339800239-026.cnf
RANDOM 16000 67200 3 3 0 0 67200 0 0 0 201600 487133af0320f59d52bd31546508fd57
RANDOM/LARGE/3SAT/UNKNOWN/16000/
unif-k3-r4.2-v16000-c67200-S51132115-023.cnf
RANDOM 16000 67200 3 3 0 0 67200 0 0 0 201600 774d62294125db90f73d8b18ec29f4dd
RANDOM/LARGE/3SAT/UNKNOWN/
18000/
unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf
RANDOM 18000 75600 3 3 0 0 75600 0 0 0 226800 d14279a52e06a00270e4ece8a857fb4f
RANDOM/LARGE/3SAT/UNKNOWN/
18000/
unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf
RANDOM 18000 75600 3 3 0 0 75600 0 0 0 226800 a31d778f02686a6129c52bf8a3bcbfa2
RANDOM/LARGE/3SAT/UNKNOWN/
18000/
unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf
RANDOM 18000 75600 3 3 0 0 75600 0 0 0 226800 829e6759ca030227d67c86b92c3743be
RANDOM/LARGE/3SAT/UNKNOWN/
18000/
unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf
RANDOM 18000 75600 3 3 0 0 75600 0 0 0 226800 eb6bf34a1ded0d6ac9d6c9b7ba628c09
RANDOM/LARGE/3SAT/UNKNOWN/
18000/
unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf
RANDOM 18000 75600 3 3 0 0 75600 0 0 0 226800 ae02373c0ed448bf77bcd57171ccc944
RANDOM/LARGE/3SAT/UNKNOWN/
18000/
unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf
RANDOM 18000 75600 3 3 0 0 75600 0 0 0 226800 a97095b6dcf1b1abdc82fc7e5a3a4050
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/LARGE/3SAT/UNKNOWN/
18000/
unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf
RANDOM 18000 75600 3 3 0 0 75600 0 0 0 226800 1d9454adc76495811d3ba130d2b8d41e
RANDOM/LARGE/3SAT/UNKNOWN/
18000/
unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf
RANDOM 18000 75600 3 3 0 0 75600 0 0 0 226800 0b73ddee1057244eb6a8d3ac4fd7781f
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S420719158-080.cnf
RANDOM 18000 75600 3 3 0 0 75600 0 0 0 226800 727f10970711b4154a45c3b50e2e1fe7
RANDOM/LARGE/3SAT/UNKNOWN/18000/
unif-k3-r4.2-v18000-c75600-S914323646-060.cnf
RANDOM 18000 75600 3 3 0 0 75600 0 0 0 226800 f485347639f83ec94bb8d93787135581
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf
RANDOM 2000 8400 3 3 0 0 8400 0 0 0 25200 e6c4aa9150c7e5a44a3dd14ff53afc9f
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf
RANDOM 2000 8400 3 3 0 0 8400 0 0 0 25200 05f00f0c3f7e171627ff97eb0175accd
RANDOM/LARGE/3SAT/UNKNOWN/
2000/
unif-k3-r4.2-v2000-c8400-S136987316-008.cnf
RANDOM 2000 8400 3 3 0 0 8400 0 0 0 25200 f6ddf1b0f08bcc31521c4b74db5ce22f
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf
RANDOM 2000 8400 3 3 0 0 8400 0 0 0 25200 e16a301b3b11f2fcadc19b12fcb8ed0b
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf
RANDOM 2000 8400 3 3 0 0 8400 0 0 0 25200 68d6a1970f04966f07e2b02a79996009
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf
RANDOM 2000 8400 3 3 0 0 8400 0 0 0 25200 7696351997fcc9a0c11830645b719732
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf
RANDOM 2000 8400 3 3 0 0 8400 0 0 0 25200 8919b1e0a8b22ddbf62ba887cc4a9b9a
RANDOM/LARGE/3SAT/UNKNOWN/
2000/
unif-k3-r4.2-v2000-c8400-S520696524-059.cnf
RANDOM 2000 8400 3 3 0 0 8400 0 0 0 25200 3606a223e44ca7ebc5d996a3ddbfb35d
RANDOM/LARGE/3SAT/UNKNOWN/
2000/
unif-k3-r4.2-v2000-c8400-S7007454-009.cnf
RANDOM 2000 8400 3 3 0 0 8400 0 0 0 25200 648c8d820b622b84f63b74fa018c43ab
RANDOM/LARGE/3SAT/UNKNOWN/
2000/
unif-k3-r4.2-v2000-c8400-S779309989-069.cnf
RANDOM 2000 8400 3 3 0 0 8400 0 0 0 25200 f790d28bf27d167da954318ad1a18e9d
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf
RANDOM 4000 16800 3 3 0 0 16800 0 0 0 50400 2cf097c2e3f08e952b8382a74656155a
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf
RANDOM 4000 16800 3 3 0 0 16800 0 0 0 50400 a2535194d868b4e0014d35a0421df6ea
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S139794312-098.cnf
RANDOM 4000 16800 3 3 0 0 16800 0 0 0 50400 94f2ca8c39053ec6a521a994d8a70291
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf
RANDOM 4000 16800 3 3 0 0 16800 0 0 0 50400 526915dc72c013b3ed33744e623b5ae9
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf
RANDOM 4000 16800 3 3 0 0 16800 0 0 0 50400 9d94109a874948dbc629e7a030616546
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf
RANDOM 4000 16800 3 3 0 0 16800 0 0 0 50400 b76c43c3a4ebb25b4fe350a62b537043
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf
RANDOM 4000 16800 3 3 0 0 16800 0 0 0 50400 2fdf3400f00d8b99db65500ea60232b7
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S568017735-066.cnf
RANDOM 4000 16800 3 3 0 0 16800 0 0 0 50400 ac6625145d68efca76f59e4cfc6c820e
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S612955126-075.cnf
RANDOM 4000 16800 3 3 0 0 16800 0 0 0 50400 438060a1be2646cf8b7b6ce135e188f8
RANDOM/LARGE/3SAT/UNKNOWN/4000/
unif-k3-r4.2-v4000-c16800-S906020180-093.cnf
RANDOM 4000 16800 3 3 0 0 16800 0 0 0 50400 49df6b763f2da2592b10d7fad09e2c78
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf
RANDOM 6000 25200 3 3 0 0 25200 0 0 0 75600 682adf22440a1975a5efec3ca28f38cb
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf
RANDOM 6000 25200 3 3 0 0 25200 0 0 0 75600 5d2224f3d8577481fb818d6a750d12f6
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf
RANDOM 6000 25200 3 3 0 0 25200 0 0 0 75600 9b604e81393e56d82864199888f120ce
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf
RANDOM 6000 25200 3 3 0 0 25200 0 0 0 75600 f395e669823c1b01b74bf47c7e820b61
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf
RANDOM 6000 25200 3 3 0 0 25200 0 0 0 75600 9495def54e734dca859c56c910204a6a
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf
RANDOM 6000 25200 3 3 0 0 25200 0 0 0 75600 094bbc8049ac48071777e2655eaf782a
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf
RANDOM 6000 25200 3 3 0 0 25200 0 0 0 75600 7cb8956402a507cc73d79fe8c2c7c68b
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S595075179-058.cnf
RANDOM 6000 25200 3 3 0 0 25200 0 0 0 75600 4f302a0a96331733d31d4d68d88fd415
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S762724712-048.cnf
RANDOM 6000 25200 3 3 0 0 25200 0 0 0 75600 ded0a20d749cf4becf9e25906c1822a6
RANDOM/LARGE/3SAT/UNKNOWN/6000/
unif-k3-r4.2-v6000-c25200-S821759333-092.cnf
RANDOM 5999 25200 3 3 0 0 25200 0 0 0 75600 b4ec0c2df22218bd519db808f39dee11
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf
RANDOM 8000 33600 3 3 0 0 33600 0 0 0 100800 355ff7ae526b221bc4c8d8e4e0eadc31
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf
RANDOM 8000 33600 3 3 0 0 33600 0 0 0 100800 554406faac1ee9debf7de31577421ee6
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S195213520-027.cnf
RANDOM 8000 33600 3 3 0 0 33600 0 0 0 100800 9441297e33213208348519454e6efb92
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf
RANDOM 8000 33600 3 3 0 0 33600 0 0 0 100800 e2770daa493ba034d910db34ba341508
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S274764005-003.cnf
RANDOM 8000 33600 3 3 0 0 33600 0 0 0 100800 6ee4600065a8b5657c5266726ecbe863
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S439075063-023.cnf
RANDOM 8000 33600 3 3 0 0 33600 0 0 0 100800 ee1ee4ce24708e1154601d98d318621f
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S500426663-025.cnf
RANDOM 7999 33600 3 3 0 0 33600 0 0 0 100800 6bf66283a1f602e5557546993c52c1e8
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S579205610-033.cnf
RANDOM 8000 33600 3 3 0 0 33600 0 0 0 100800 af63667f47d0171fb9e14e0a190b25c2
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S688804305-073.cnf
RANDOM 8000 33600 3 3 0 0 33600 0 0 0 100800 c44bf8e86de68afd8b13539ed87fd1d0
RANDOM/LARGE/3SAT/UNKNOWN/8000/
unif-k3-r4.2-v8000-c33600-S839302453-094.cnf
RANDOM 8000 33600 3 3 0 0 33600 0 0 0 100800 5a4a01076ef9554c4c4991324b6100b4
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1040507052-028.cnf
RANDOM 1000 20000 5 5 0 0 0 0 20000 0 100000 460680b15ea4b6f4cb4765d23626d1a5
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1284372491-036.cnf
RANDOM 1000 20000 5 5 0 0 0 0 20000 0 100000 2936351992cd53f891ea98e5e0e8663e
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1322153318-039.cnf
RANDOM 1000 20000 5 5 0 0 0 0 20000 0 100000 9b4324a23c82753183d597b4a4c7c7c2
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S1850138369-006.cnf
RANDOM 1000 20000 5 5 0 0 0 0 20000 0 100000 ede25cb155c6cf4ca4d7600faec2bb41
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2015297474-031.cnf
RANDOM 1000 20000 5 5 0 0 0 0 20000 0 100000 3b614b06e2532ea8a6491816cc6dd7a8
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2054549948-012.cnf
RANDOM 1000 20000 5 5 0 0 0 0 20000 0 100000 60b6e2588c02cbe8eea228421d953cc1
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/LARGE/5SAT/UNKNOWN/1000/
unif-k5-r20-v1000-c20000-S2088224617-083.cnf
RANDOM 1000 20000 5 5 0 0 0 0 20000 0 100000 cd8ff3390234df6242528d108d1584c9
RANDOM/LARGE/5SAT/UNKNOWN/
1000/
unif-k5-r20-v1000-c20000-S45173584-020.cnf
RANDOM 1000 20000 5 5 0 0 0 0 20000 0 100000 59fbd40d503488bcdf45b7724d53bd6d
RANDOM/LARGE/5SAT/UNKNOWN/
1000/
unif-k5-r20-v1000-c20000-S501150091-001.cnf
RANDOM 1000 20000 5 5 0 0 0 0 20000 0 100000 e113edb96dafae9a32f84235b77a2595
RANDOM/LARGE/5SAT/UNKNOWN/
1000/
unif-k5-r20-v1000-c20000-S704699380-099.cnf
RANDOM 1000 20000 5 5 0 0 0 0 20000 0 100000 79363fa796cb5f9a1d9ad7ab58b2c2fb
RANDOM/LARGE/5SAT/UNKNOWN/
1100/
unif-k5-r20-v1100-c22000-S115851319-100.cnf
RANDOM 1100 22000 5 5 0 0 0 0 22000 0 110000 a1edfaeac2621d913d1c4fa9fc78f271
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1388268034-092.cnf
RANDOM 1100 22000 5 5 0 0 0 0 22000 0 110000 487c5503612c9b61998004f60168456d
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1441840675-053.cnf
RANDOM 1100 22000 5 5 0 0 0 0 22000 0 110000 54609dfda8487443dabfcd35e8af453e
RANDOM/LARGE/5SAT/UNKNOWN/
1100/
unif-k5-r20-v1100-c22000-S144924920-056.cnf
RANDOM 1100 22000 5 5 0 0 0 0 22000 0 110000 6b9a37a79419867538c8285ea50dff79
RANDOM/LARGE/5SAT/UNKNOWN/
1100/
unif-k5-r20-v1100-c22000-S155821307-034.cnf
RANDOM 1100 22000 5 5 0 0 0 0 22000 0 110000 28359db36bffb53d70af426463d1fc34
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1912214877-051.cnf
RANDOM 1100 22000 5 5 0 0 0 0 22000 0 110000 3e2c453febe9a82dafec20260d8edecb
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S1954748117-061.cnf
RANDOM 1100 22000 5 5 0 0 0 0 22000 0 110000 30068bb62ff2ae5a4888c347460a4a1d
RANDOM/LARGE/5SAT/UNKNOWN/1100/
unif-k5-r20-v1100-c22000-S2054922493-058.cnf
RANDOM 1100 22000 5 5 0 0 0 0 22000 0 110000 b60450275781a4bce2d80b1541942582
RANDOM/LARGE/5SAT/UNKNOWN/
1100/
unif-k5-r20-v1100-c22000-S805234188-084.cnf
RANDOM 1100 22000 5 5 0 0 0 0 22000 0 110000 a1fc4ba8186be6b254ba81203aa388ed
RANDOM/LARGE/5SAT/UNKNOWN/
1100/
unif-k5-r20-v1100-c22000-S882603971-022.cnf
RANDOM 1100 22000 5 5 0 0 0 0 22000 0 110000 8c169219b64992954a6c6431ec472521
RANDOM/LARGE/5SAT/UNKNOWN/
700/
unif-k5-r20-v700-c14000-S1018145191-052.cnf
RANDOM 700 14000 5 5 0 0 0 0 14000 0 70000 38e0bd101ebf8f53eafa7d9a988513ec
RANDOM/LARGE/5SAT/UNKNOWN/
700/
unif-k5-r20-v700-c14000-S1192890414-033.cnf
RANDOM 700 14000 5 5 0 0 0 0 14000 0 70000 b3febcd5ef9d5b37314559489b51c141
RANDOM/LARGE/5SAT/UNKNOWN/
700/
unif-k5-r20-v700-c14000-S1281410666-045.cnf
RANDOM 700 14000 5 5 0 0 0 0 14000 0 70000 028affe952ec460796dd6a41dfe58fcc
RANDOM/LARGE/5SAT/UNKNOWN/
700/
unif-k5-r20-v700-c14000-S1313163883-027.cnf
RANDOM 700 14000 5 5 0 0 0 0 14000 0 70000 4d7c374b44e6dc0e3274f37b66abba8f
RANDOM/LARGE/5SAT/UNKNOWN/
700/
unif-k5-r20-v700-c14000-S1500472284-060.cnf
RANDOM 700 14000 5 5 0 0 0 0 14000 0 70000 2b259c43c2d565526fa8f71172751b7f
RANDOM/LARGE/5SAT/UNKNOWN/
700/
unif-k5-r20-v700-c14000-S1611899384-022.cnf
RANDOM 700 14000 5 5 0 0 0 0 14000 0 70000 66fb9b1d9d1970f097747a014bb15243
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/LARGE/5SAT/UNKNOWN/
700/
unif-k5-r20-v700-c14000-S1970456972-046.cnf
RANDOM 700 14000 5 5 0 0 0 0 14000 0 70000 a92f5808dbdbecf675a4a3e4cbc41fbd
RANDOM/LARGE/5SAT/UNKNOWN/
700/
unif-k5-r20-v700-c14000-S211141966-058.cnf
RANDOM 700 14000 5 5 0 0 0 0 14000 0 70000 9e692d77c0b05a1b536adcf4dbb49d43
RANDOM/LARGE/5SAT/UNKNOWN/
700/
unif-k5-r20-v700-c14000-S685953260-065.cnf
RANDOM 700 14000 5 5 0 0 0 0 14000 0 70000 3c731c817594d5a699b72cfb7a1ff2af
RANDOM/LARGE/5SAT/UNKNOWN/
700/
unif-k5-r20-v700-c14000-S962875623-008.cnf
RANDOM 700 14000 5 5 0 0 0 0 14000 0 70000 dc58d201aad12c2725ed362695aa3edc
RANDOM/LARGE/5SAT/UNKNOWN/
800/
unif-k5-r20-v800-c16000-S1183359164-025.cnf
RANDOM 800 16000 5 5 0 0 0 0 16000 0 80000 eb88883744268c4015fbf88194e85a82
RANDOM/LARGE/5SAT/UNKNOWN/
800/
unif-k5-r20-v800-c16000-S1185462553-011.cnf
RANDOM 800 16000 5 5 0 0 0 0 16000 0 80000 775d7caa3d486b151a5911ebb89973a9
RANDOM/LARGE/5SAT/UNKNOWN/
800/
unif-k5-r20-v800-c16000-S1353769076-009.cnf
RANDOM 800 16000 5 5 0 0 0 0 16000 0 80000 0aeb33d4615b67c4ba3e205bec8691bf
RANDOM/LARGE/5SAT/UNKNOWN/
800/
unif-k5-r20-v800-c16000-S1724014998-099.cnf
RANDOM 800 16000 5 5 0 0 0 0 16000 0 80000 30e7a593e751ee62bb5b03787006ccc0
RANDOM/LARGE/5SAT/UNKNOWN/
800/
unif-k5-r20-v800-c16000-S1736471436-014.cnf
RANDOM 800 16000 5 5 0 0 0 0 16000 0 80000 88b3ae0f7e2752f0b445f361629fc38e
RANDOM/LARGE/5SAT/UNKNOWN/
800/
unif-k5-r20-v800-c16000-S1748152762-086.cnf
RANDOM 800 16000 5 5 0 0 0 0 16000 0 80000 cb3df87f6ea203a41951f0aeb36ba2e4
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/LARGE/5SAT/UNKNOWN/
800/
unif-k5-r20-v800-c16000-S1797123396-073.cnf
RANDOM 800 16000 5 5 0 0 0 0 16000 0 80000 592fd8247e28ca9686c73dd35ffde58f
RANDOM/LARGE/5SAT/UNKNOWN/
800/
unif-k5-r20-v800-c16000-S249585100-059.cnf
RANDOM 800 16000 5 5 0 0 0 0 16000 0 80000 143712ca4284eea58745e182764b5b47
RANDOM/LARGE/5SAT/UNKNOWN/
800/
unif-k5-r20-v800-c16000-S251246256-047.cnf
RANDOM 800 16000 5 5 0 0 0 0 16000 0 80000 8f73ab57f6037e66eefb750c3e8213fd
RANDOM/LARGE/5SAT/UNKNOWN/
800/
unif-k5-r20-v800-c16000-S315403000-060.cnf
RANDOM 800 16000 5 5 0 0 0 0 16000 0 80000 5bdd8d21d4edc82016dc7031e101a675
RANDOM/LARGE/5SAT/UNKNOWN/
900/
unif-k5-r20-v900-c18000-S1119648091-064.cnf
RANDOM 900 18000 5 5 0 0 0 0 18000 0 90000 a0e1aec07865a725709061f3f17cc524
RANDOM/LARGE/5SAT/UNKNOWN/
900/
unif-k5-r20-v900-c18000-S1253795703-015.cnf
RANDOM 900 18000 5 5 0 0 0 0 18000 0 90000 17b09148dbc69a552ff183cd5c8f891a
RANDOM/LARGE/5SAT/UNKNOWN/
900/
unif-k5-r20-v900-c18000-S1334593800-018.cnf
RANDOM 900 18000 5 5 0 0 0 0 18000 0 90000 445a4153e94b03b5b26d24042b03c5d7
RANDOM/LARGE/5SAT/UNKNOWN/
900/
unif-k5-r20-v900-c18000-S1573578038-005.cnf
RANDOM 900 18000 5 5 0 0 0 0 18000 0 90000 6079b5c5aa5b129580ea074d44eca93f
RANDOM/LARGE/5SAT/UNKNOWN/
900/
unif-k5-r20-v900-c18000-S1738391204-028.cnf
RANDOM 900 18000 5 5 0 0 0 0 18000 0 90000 fd29fc2170c47e49781a555a781e5652
RANDOM/LARGE/5SAT/UNKNOWN/
900/
unif-k5-r20-v900-c18000-S1788451776-008.cnf
RANDOM 900 18000 5 5 0 0 0 0 18000 0 90000 753f19bcdc2785a101dbb1ac96d61ec5
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/LARGE/5SAT/UNKNOWN/
900/
unif-k5-r20-v900-c18000-S2124311399-085.cnf
RANDOM 900 18000 5 5 0 0 0 0 18000 0 90000 591878ac77c59e57a1598f2a38d0dcd8
RANDOM/LARGE/5SAT/UNKNOWN/
900/
unif-k5-r20-v900-c18000-S661850551-087.cnf
RANDOM 900 18000 5 5 0 0 0 0 18000 0 90000 8cc13233e4c2c3c435dccf0012fdfdbd
RANDOM/LARGE/5SAT/UNKNOWN/
900/
unif-k5-r20-v900-c18000-S678706275-057.cnf
RANDOM 900 18000 5 5 0 0 0 0 18000 0 90000 c7f3c844f4c0d844518712db07e3e201
RANDOM/LARGE/5SAT/UNKNOWN/
900/
unif-k5-r20-v900-c18000-S743448446-027.cnf
RANDOM 900 18000 5 5 0 0 0 0 18000 0 90000 56d3d27e3897f3ba7df449d72abf21ef
RANDOM/LARGE/7SAT/UNKNOWN/
140/
unif-k7-r85-v140-c11900-S1017667294-044.cnf
RANDOM 140 11900 7 7 0 0 0 0 0 11900 83300 083530c917e5930f85d1f6585a40e1fa
RANDOM/LARGE/7SAT/UNKNOWN/
140/
unif-k7-r85-v140-c11900-S1085378176-050.cnf
RANDOM 140 11900 7 7 0 0 0 0 0 11900 83300 948d32b8ee8265dc795865cb56b9a64b
RANDOM/LARGE/7SAT/UNKNOWN/
140/
unif-k7-r85-v140-c11900-S1818639567-059.cnf
RANDOM 140 11900 7 7 0 0 0 0 0 11900 83300 7d306f2c24913eb95b4eca32110fa72f
RANDOM/LARGE/7SAT/UNKNOWN/
140/
unif-k7-r85-v140-c11900-S1906075351-024.cnf
RANDOM 140 11900 7 7 0 0 0 0 0 11900 83300 ad3646e0a0cdbfbd5513a638946c9f2e
RANDOM/LARGE/7SAT/UNKNOWN/
140/
unif-k7-r85-v140-c11900-S2059720696-001.cnf
RANDOM 140 11900 7 7 0 0 0 0 0 11900 83300 c4a0eb3415818159d561f36b2a8ffa74
RANDOM/LARGE/7SAT/UNKNOWN/
140/
unif-k7-r85-v140-c11900-S541865505-057.cnf
RANDOM 140 11900 7 7 0 0 0 0 0 11900 83300 e3b225dad76097977d4c5c88712eb95a
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/LARGE/7SAT/UNKNOWN/
140/
unif-k7-r85-v140-c11900-S547165541-056.cnf
RANDOM 140 11900 7 7 0 0 0 0 0 11900 83300 c7b32920fad710a8e62fee8bc80010c2
RANDOM/LARGE/7SAT/UNKNOWN/
140/
unif-k7-r85-v140-c11900-S74035269-088.cnf
RANDOM 140 11900 7 7 0 0 0 0 0 11900 83300 b57ad66e53e78b10a33d8e64aa605409
RANDOM/LARGE/7SAT/UNKNOWN/
140/
unif-k7-r85-v140-c11900-S814638510-058.cnf
RANDOM 140 11900 7 7 0 0 0 0 0 11900 83300 6fac88499c30c65b5d674700418285bf
RANDOM/LARGE/7SAT/UNKNOWN/
140/
unif-k7-r85-v140-c11900-S870840347-014.cnf
RANDOM 140 11900 7 7 0 0 0 0 0 11900 83300 a5d5e4fa8cedb12d5680a53a31f09411
RANDOM/LARGE/7SAT/UNKNOWN/
160/
unif-k7-r85-v160-c13600-S1178729443-051.cnf
RANDOM 160 13600 7 7 0 0 0 0 0 13600 95200 f5bbeff2cbd29506603dd9467e477360
RANDOM/LARGE/7SAT/UNKNOWN/
160/
unif-k7-r85-v160-c13600-S1543261951-042.cnf
RANDOM 160 13600 7 7 0 0 0 0 0 13600 95200 f53260962d7c8afd7ae82ca459f22f43
RANDOM/LARGE/7SAT/UNKNOWN/
160/
unif-k7-r85-v160-c13600-S1849057034-020.cnf
RANDOM 160 13600 7 7 0 0 0 0 0 13600 95200 33aa10492d14e1883d707891a0a1cdfc
RANDOM/LARGE/7SAT/UNKNOWN/
160/
unif-k7-r85-v160-c13600-S1864473452-037.cnf
RANDOM 160 13600 7 7 0 0 0 0 0 13600 95200 db4e49ea1628a563e13565b21c6502ef
RANDOM/LARGE/7SAT/UNKNOWN/
160/
unif-k7-r85-v160-c13600-S285713182-059.cnf
RANDOM 160 13600 7 7 0 0 0 0 0 13600 95200 a43cbdef3a4536def8ea28a7d3ce3c97
RANDOM/LARGE/7SAT/UNKNOWN/
160/
unif-k7-r85-v160-c13600-S327274323-044.cnf
RANDOM 160 13600 7 7 0 0 0 0 0 13600 95200 828620c36787edb17d919cfe2c324682
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/LARGE/7SAT/UNKNOWN/
160/
unif-k7-r85-v160-c13600-S432776913-077.cnf
RANDOM 160 13600 7 7 0 0 0 0 0 13600 95200 7added98d83a731c0c62b4e7cbaf3442
RANDOM/LARGE/7SAT/UNKNOWN/
160/
unif-k7-r85-v160-c13600-S566590366-099.cnf
RANDOM 160 13600 7 7 0 0 0 0 0 13600 95200 af242f12cd81864273d9a43871d67b92
RANDOM/LARGE/7SAT/UNKNOWN/
160/
unif-k7-r85-v160-c13600-S592525179-032.cnf
RANDOM 160 13600 7 7 0 0 0 0 0 13600 95200 7460bd7d43551ea81285a6734d727c9e
RANDOM/LARGE/7SAT/UNKNOWN/
160/
unif-k7-r85-v160-c13600-S91288590-071.cnf
RANDOM 160 13600 7 7 0 0 0 0 0 13600 95200 fa1c9f583a9135f82181313be8dfbb29
RANDOM/LARGE/7SAT/UNKNOWN/
180/
unif-k7-r85-v180-c15300-S1049921489-034.cnf
RANDOM 180 15300 7 7 0 0 0 0 0 15300 107100 5f6d9d113e535105e77af29b0e165b23
RANDOM/LARGE/7SAT/UNKNOWN/
180/
unif-k7-r85-v180-c15300-S1249224492-031.cnf
RANDOM 180 15300 7 7 0 0 0 0 0 15300 107100 926573baa883bfadaffafb33f2f57748
RANDOM/LARGE/7SAT/UNKNOWN/
180/
unif-k7-r85-v180-c15300-S1295462378-089.cnf
RANDOM 180 15300 7 7 0 0 0 0 0 15300 107100 680f1c08894c7336e339abedaa2a15cb
RANDOM/LARGE/7SAT/UNKNOWN/
180/
unif-k7-r85-v180-c15300-S1352224201-070.cnf
RANDOM 180 15300 7 7 0 0 0 0 0 15300 107100 ce4c4bfdd2071e51446dd0a693e805b0
RANDOM/LARGE/7SAT/UNKNOWN/
180/
unif-k7-r85-v180-c15300-S1378953985-075.cnf
RANDOM 180 15300 7 7 0 0 0 0 0 15300 107100 e77e91a0bcfa213f4da3e00139d8dd15
RANDOM/LARGE/7SAT/UNKNOWN/
180/
unif-k7-r85-v180-c15300-S1802626390-033.cnf
RANDOM 180 15300 7 7 0 0 0 0 0 15300 107100 298c47e7c897264ddc867921f7476e46
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/LARGE/7SAT/UNKNOWN/
180/
unif-k7-r85-v180-c15300-S1845944120-011.cnf
RANDOM 180 15300 7 7 0 0 0 0 0 15300 107100 c7e600e65327a74ce4dc4cc40e37ba60
RANDOM/LARGE/7SAT/UNKNOWN/
180/
unif-k7-r85-v180-c15300-S1992353905-004.cnf
RANDOM 180 15300 7 7 0 0 0 0 0 15300 107100 bd2ffd9bc7cc85da4d9e7498163745df
RANDOM/LARGE/7SAT/UNKNOWN/
180/
unif-k7-r85-v180-c15300-S907861678-077.cnf
RANDOM 180 15300 7 7 0 0 0 0 0 15300 107100 3d095d003b98913e818830d59841a8fe
RANDOM/LARGE/7SAT/UNKNOWN/
180/
unif-k7-r85-v180-c15300-S956556686-037.cnf
RANDOM 180 15300 7 7 0 0 0 0 0 15300 107100 acdedd9b500b479d333013009842065d
RANDOM/LARGE/7SAT/UNKNOWN/
200/
unif-k7-r85-v200-c17000-S1136894336-075.cnf
RANDOM 200 17000 7 7 0 0 0 0 0 17000 119000 95130954abd8400708fa3e3db5d60039
RANDOM/LARGE/7SAT/UNKNOWN/
200/
unif-k7-r85-v200-c17000-S1588298513-036.cnf
RANDOM 200 17000 7 7 0 0 0 0 0 17000 119000 7df25975bd52e28f5eb180dab9fc29e0
RANDOM/LARGE/7SAT/UNKNOWN/
200/
unif-k7-r85-v200-c17000-S1695726805-003.cnf
RANDOM 200 17000 7 7 0 0 0 0 0 17000 119000 382f60389aa2be490306466e5f9deebc
RANDOM/LARGE/7SAT/UNKNOWN/
200/
unif-k7-r85-v200-c17000-S2140929154-062.cnf
RANDOM 200 17000 7 7 0 0 0 0 0 17000 119000 d3e388145b1dc90e0d73a294f0c3ce44
RANDOM/LARGE/7SAT/UNKNOWN/
200/
unif-k7-r85-v200-c17000-S266028630-005.cnf
RANDOM 200 17000 7 7 0 0 0 0 0 17000 119000 a707a7c29825dc72fa3ef0fca06c3f00
RANDOM/LARGE/7SAT/UNKNOWN/
200/
unif-k7-r85-v200-c17000-S441484366-048.cnf
RANDOM 200 17000 7 7 0 0 0 0 0 17000 119000 b6119f642cd28b8170b8f409c6616618
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/LARGE/7SAT/UNKNOWN/
200/
unif-k7-r85-v200-c17000-S452919966-071.cnf
RANDOM 200 17000 7 7 0 0 0 0 0 17000 119000 5584bb498091ab0373fd0be3ad8dc940
RANDOM/LARGE/7SAT/UNKNOWN/
200/
unif-k7-r85-v200-c17000-S522321670-058.cnf
RANDOM 200 17000 7 7 0 0 0 0 0 17000 119000 925bc133251a0b8070d62549c0360fc5
RANDOM/LARGE/7SAT/UNKNOWN/
200/
unif-k7-r85-v200-c17000-S942507261-096.cnf
RANDOM 200 17000 7 7 0 0 0 0 0 17000 119000 4f6bdfd00a34ed543884cc191900870c
RANDOM/LARGE/7SAT/UNKNOWN/
200/
unif-k7-r85-v200-c17000-S948914005-013.cnf
RANDOM 200 17000 7 7 0 0 0 0 0 17000 119000 8e7038f460a2090de0c9ec52bd5a121d
RANDOM/LARGE/7SAT/UNKNOWN/
220/
unif-k7-r85-v220-c18700-S1127319144-058.cnf
RANDOM 220 18700 7 7 0 0 0 0 0 18700 130900 79b21fea94540db2568097a6c80690f8
RANDOM/LARGE/7SAT/UNKNOWN/
220/
unif-k7-r85-v220-c18700-S1549575664-035.cnf
RANDOM 220 18700 7 7 0 0 0 0 0 18700 130900 88d4611d108004ec1f24e3826a831460
RANDOM/LARGE/7SAT/UNKNOWN/
220/
unif-k7-r85-v220-c18700-S1568578307-064.cnf
RANDOM 220 18700 7 7 0 0 0 0 0 18700 130900 5adac1d8579162dbe20ef9795f561831
RANDOM/LARGE/7SAT/UNKNOWN/
220/
unif-k7-r85-v220-c18700-S1766907733-036.cnf
RANDOM 220 18700 7 7 0 0 0 0 0 18700 130900 bb1339ae162280016fc37fa2e91a7c5e
RANDOM/LARGE/7SAT/UNKNOWN/
220/
unif-k7-r85-v220-c18700-S193214747-044.cnf
RANDOM 220 18700 7 7 0 0 0 0 0 18700 130900 01b687d69c52888789968aa62c5caeb5
RANDOM/LARGE/7SAT/UNKNOWN/
220/
unif-k7-r85-v220-c18700-S1961115887-052.cnf
RANDOM 220 18700 7 7 0 0 0 0 0 18700 130900 fd254436f3c419e09066b64a7ac072c2
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/LARGE/7SAT/UNKNOWN/
220/
unif-k7-r85-v220-c18700-S2051339669-029.cnf
RANDOM 220 18700 7 7 0 0 0 0 0 18700 130900 517a75d68208490415f54c6427b40d77
RANDOM/LARGE/7SAT/UNKNOWN/
220/
unif-k7-r85-v220-c18700-S318878687-017.cnf
RANDOM 220 18700 7 7 0 0 0 0 0 18700 130900 08262d4364cee07369a2b1aec963343c
RANDOM/LARGE/7SAT/UNKNOWN/
220/
unif-k7-r85-v220-c18700-S375588147-050.cnf
RANDOM 220 18700 7 7 0 0 0 0 0 18700 130900 7f520cacbc1966b43139f7a53a60437c
RANDOM/LARGE/7SAT/UNKNOWN/
220/
unif-k7-r85-v220-c18700-S886725553-011.cnf
RANDOM 220 18700 7 7 0 0 0 0 0 18700 130900 149f4a347f3f97737dc0646d2caf1180
RANDOM/MEDIUM/3SAT/SATISFIABLE/
360/
unif-k3-r4.25-v360-c1530-S1293537826-039.cnf
RANDOM 360 1530 3 3 0 0 1530 0 0 0 4590 3cbdb12135a22f8cc0405b84f56b2b22
RANDOM/MEDIUM/3SAT/SATISFIABLE/
360/
unif-k3-r4.25-v360-c1530-S144043535-002.cnf
RANDOM 360 1530 3 3 0 0 1530 0 0 0 4590 7d1ad487c2fb43d49523e96ef25c43ea
RANDOM/MEDIUM/3SAT/SATISFIABLE/
360/
unif-k3-r4.25-v360-c1530-S1448866403-060.cnf
RANDOM 360 1530 3 3 0 0 1530 0 0 0 4590 ba4dd6705efff0f7954eeaa845a5bab8
RANDOM/MEDIUM/3SAT/SATISFIABLE/
360/
unif-k3-r4.25-v360-c1530-S1459690542-033.cnf
RANDOM 360 1530 3 3 0 0 1530 0 0 0 4590 c06f037558f89bd433f3640c2e148f97
RANDOM/MEDIUM/3SAT/SATISFIABLE/
360/
unif-k3-r4.25-v360-c1530-S1684547485-073.cnf
RANDOM 360 1530 3 3 0 0 1530 0 0 0 4590 7978035feeedb8c4f26fadad2c608014
RANDOM/MEDIUM/3SAT/SATISFIABLE/
360/
unif-k3-r4.25-v360-c1530-S1711406314-093.cnf
RANDOM 360 1530 3 3 0 0 1530 0 0 0 4590 827e988c6cf21e8a9c90f9f21d3beb6e
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/3SAT/SATISFIABLE/
360/
unif-k3-r4.25-v360-c1530-S1826927554-087.cnf
RANDOM 360 1530 3 3 0 0 1530 0 0 0 4590 0b7c656709bcc63999a07f86368ab57c
RANDOM/MEDIUM/3SAT/SATISFIABLE/
360/
unif-k3-r4.25-v360-c1530-S2032263657-035.cnf
RANDOM 360 1530 3 3 0 0 1530 0 0 0 4590 53f64d3919c2bd6a89e2520e3c5780bd
RANDOM/MEDIUM/3SAT/SATISFIABLE/
360/
unif-k3-r4.25-v360-c1530-S368632549-051.cnf
RANDOM 360 1530 3 3 0 0 1530 0 0 0 4590 e9f4b9a6985f9474c409accc4dab158a
RANDOM/MEDIUM/3SAT/SATISFIABLE/
360/
unif-k3-r4.25-v360-c1530-S722433227-030.cnf
RANDOM 360 1530 3 3 0 0 1530 0 0 0 4590 e6110b5edd373bb12951d072e14f505c
RANDOM/MEDIUM/3SAT/SATISFIABLE/
380/
unif-k3-r4.25-v380-c1615-S1036996799-006.cnf
RANDOM 380 1615 3 3 0 0 1615 0 0 0 4845 aea037edf2192f628decdd3193ff0d42
RANDOM/MEDIUM/3SAT/SATISFIABLE/
380/
unif-k3-r4.25-v380-c1615-S1041106011-094.cnf
RANDOM 380 1615 3 3 0 0 1615 0 0 0 4845 5d7bd014f243a8ba433df6a7b547cbaa
RANDOM/MEDIUM/3SAT/SATISFIABLE/
380/
unif-k3-r4.25-v380-c1615-S1516934767-080.cnf
RANDOM 380 1615 3 3 0 0 1615 0 0 0 4845 e81ed5c11d3bffdd04a2753974045769
RANDOM/MEDIUM/3SAT/SATISFIABLE/
380/
unif-k3-r4.25-v380-c1615-S1674394075-027.cnf
RANDOM 380 1615 3 3 0 0 1615 0 0 0 4845 6324d57907fe9330330d9cdcd71a4730
RANDOM/MEDIUM/3SAT/SATISFIABLE/
380/
unif-k3-r4.25-v380-c1615-S1804335510-002.cnf
RANDOM 380 1615 3 3 0 0 1615 0 0 0 4845 6253dd31bd16eb30b646e4014a5ca88d
RANDOM/MEDIUM/3SAT/SATISFIABLE/
380/
unif-k3-r4.25-v380-c1615-S1841979702-078.cnf
RANDOM 380 1615 3 3 0 0 1615 0 0 0 4845 53069fa4d3b9f0f792df2e9bdae5662b
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/3SAT/SATISFIABLE/
380/
unif-k3-r4.25-v380-c1615-S1912687159-077.cnf
RANDOM 380 1615 3 3 0 0 1615 0 0 0 4845 f099d7c4c7a591bc2b090785989ddd19
RANDOM/MEDIUM/3SAT/SATISFIABLE/
380/
unif-k3-r4.25-v380-c1615-S1985172968-100.cnf
RANDOM 380 1615 3 3 0 0 1615 0 0 0 4845 d341022d95ddbcad449a00c47578e9f1
RANDOM/MEDIUM/3SAT/SATISFIABLE/
380/
unif-k3-r4.25-v380-c1615-S326477539-068.cnf
RANDOM 380 1615 3 3 0 0 1615 0 0 0 4845 5041825f960f1b265cdeb6a449c6172e
RANDOM/MEDIUM/3SAT/SATISFIABLE/
380/
unif-k3-r4.25-v380-c1615-S486002104-037.cnf
RANDOM 380 1615 3 3 0 0 1615 0 0 0 4845 f4b8d839b40ecfc6d6fa55a34f75fca9
RANDOM/MEDIUM/3SAT/SATISFIABLE/
400/
unif-k3-r4.25-v400-c1700-S1326039470-063.cnf
RANDOM 400 1700 3 3 0 0 1700 0 0 0 5100 2e40295bba29f3b31b5d5a615b1b160f
RANDOM/MEDIUM/3SAT/SATISFIABLE/
400/
unif-k3-r4.25-v400-c1700-S142096783-019.cnf
RANDOM 400 1700 3 3 0 0 1700 0 0 0 5100 720983bca31f006417885890df90a951
RANDOM/MEDIUM/3SAT/SATISFIABLE/
400/
unif-k3-r4.25-v400-c1700-S1531283922-009.cnf
RANDOM 400 1700 3 3 0 0 1700 0 0 0 5100 ed6fcf5f29f5b190db98674f0404abc2
RANDOM/MEDIUM/3SAT/SATISFIABLE/
400/
unif-k3-r4.25-v400-c1700-S172053238-003.cnf
RANDOM 400 1700 3 3 0 0 1700 0 0 0 5100 d645722ef726f8347e5e1cd19bda8fdf
RANDOM/MEDIUM/3SAT/SATISFIABLE/
400/
unif-k3-r4.25-v400-c1700-S1767425240-073.cnf
RANDOM 400 1700 3 3 0 0 1700 0 0 0 5100 a3570ddee79c19b1c54131a205337743
RANDOM/MEDIUM/3SAT/SATISFIABLE/
400/
unif-k3-r4.25-v400-c1700-S2032726331-082.cnf
RANDOM 400 1700 3 3 0 0 1700 0 0 0 5100 978a693c176682b07f74cd4acf1b2ac2
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/3SAT/SATISFIABLE/
400/
unif-k3-r4.25-v400-c1700-S418266958-049.cnf
RANDOM 400 1700 3 3 0 0 1700 0 0 0 5100 29a186a96c562943a29f8d865fcda20e
RANDOM/MEDIUM/3SAT/SATISFIABLE/
400/
unif-k3-r4.25-v400-c1700-S419666888-007.cnf
RANDOM 400 1700 3 3 0 0 1700 0 0 0 5100 0d6d5d5399446131b06db17642f36592
RANDOM/MEDIUM/3SAT/SATISFIABLE/
400/
unif-k3-r4.25-v400-c1700-S714125262-017.cnf
RANDOM 400 1700 3 3 0 0 1700 0 0 0 5100 dfd8633a4f173899180c2a33f1de5594
RANDOM/MEDIUM/3SAT/SATISFIABLE/
400/
unif-k3-r4.25-v400-c1700-S981523907-072.cnf
RANDOM 400 1700 3 3 0 0 1700 0 0 0 5100 cf49ce63274aed23e9ae314dbfe30852
RANDOM/MEDIUM/3SAT/SATISFIABLE/
420/
unif-k3-r4.25-v420-c1785-S1014608490-038.cnf
RANDOM 420 1785 3 3 0 0 1785 0 0 0 5355 fa87bf22946652bd235c5205438c2d39
RANDOM/MEDIUM/3SAT/SATISFIABLE/
420/
unif-k3-r4.25-v420-c1785-S1139247531-051.cnf
RANDOM 420 1785 3 3 0 0 1785 0 0 0 5355 a0444a7552e36138b8c3b45356eecf6e
RANDOM/MEDIUM/3SAT/SATISFIABLE/
420/
unif-k3-r4.25-v420-c1785-S1362286908-061.cnf
RANDOM 420 1785 3 3 0 0 1785 0 0 0 5355 647005b2285214f4136823936a28bcc9
RANDOM/MEDIUM/3SAT/SATISFIABLE/
420/
unif-k3-r4.25-v420-c1785-S1460100153-095.cnf
RANDOM 420 1785 3 3 0 0 1785 0 0 0 5355 147f9c942ba89935aaa4b8c99ea683ac
RANDOM/MEDIUM/3SAT/SATISFIABLE/
420/
unif-k3-r4.25-v420-c1785-S1624574519-076.cnf
RANDOM 420 1785 3 3 0 0 1785 0 0 0 5355 f91fb9cf218ac3f77f20099d617a2bf9
RANDOM/MEDIUM/3SAT/SATISFIABLE/
420/
unif-k3-r4.25-v420-c1785-S1778559297-006.cnf
RANDOM 420 1785 3 3 0 0 1785 0 0 0 5355 a5462f4ed0be2c72f8dfc94f9311f583
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/3SAT/SATISFIABLE/
420/
unif-k3-r4.25-v420-c1785-S180439591-093.cnf
RANDOM 420 1785 3 3 0 0 1785 0 0 0 5355 69b9fd52ab448c99d778e33811fd6518
RANDOM/MEDIUM/3SAT/SATISFIABLE/
420/
unif-k3-r4.25-v420-c1785-S1880984131-087.cnf
RANDOM 420 1785 3 3 0 0 1785 0 0 0 5355 e8e7e26f525620bde52dee4b2a5f6f0e
RANDOM/MEDIUM/3SAT/SATISFIABLE/
420/
unif-k3-r4.25-v420-c1785-S1940784272-089.cnf
RANDOM 420 1785 3 3 0 0 1785 0 0 0 5355 bd1e8bac20c24526524d34ea2c494a05
RANDOM/MEDIUM/3SAT/SATISFIABLE/
420/
unif-k3-r4.25-v420-c1785-S311671104-045.cnf
RANDOM 420 1785 3 3 0 0 1785 0 0 0 5355 b892d03833c64865c28a6c109f19fcb2
RANDOM/MEDIUM/3SAT/SATISFIABLE/
440/
unif-k3-r4.25-v440-c1870-S110290755-003.cnf
RANDOM 440 1870 3 3 0 0 1870 0 0 0 5610 b397531a5b47895d047912125448cbcd
RANDOM/MEDIUM/3SAT/SATISFIABLE/
440/
unif-k3-r4.25-v440-c1870-S1112524719-021.cnf
RANDOM 440 1870 3 3 0 0 1870 0 0 0 5610 91e05b0ecb05a962d8527635e6de2e78
RANDOM/MEDIUM/3SAT/SATISFIABLE/
440/
unif-k3-r4.25-v440-c1870-S1263695887-042.cnf
RANDOM 440 1870 3 3 0 0 1870 0 0 0 5610 6b9d9c25eec439b73e50a5fc031019ea
RANDOM/MEDIUM/3SAT/SATISFIABLE/
440/
unif-k3-r4.25-v440-c1870-S1339293988-069.cnf
RANDOM 440 1870 3 3 0 0 1870 0 0 0 5610 04c00558435f25dfb5b6e5262d4684dc
RANDOM/MEDIUM/3SAT/SATISFIABLE/
440/
unif-k3-r4.25-v440-c1870-S1666821205-020.cnf
RANDOM 440 1870 3 3 0 0 1870 0 0 0 5610 f4b3f375641fd9718c333ac8bdda10dc
RANDOM/MEDIUM/3SAT/SATISFIABLE/
440/
unif-k3-r4.25-v440-c1870-S1864638535-048.cnf
RANDOM 440 1870 3 3 0 0 1870 0 0 0 5610 47eb0f54ab564eca9e634c7e5d4ea4f1
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/3SAT/SATISFIABLE/
440/
unif-k3-r4.25-v440-c1870-S208461254-049.cnf
RANDOM 440 1870 3 3 0 0 1870 0 0 0 5610 cb7c78e2db807d1456447efe0ef16fcf
RANDOM/MEDIUM/3SAT/SATISFIABLE/
440/
unif-k3-r4.25-v440-c1870-S725789261-031.cnf
RANDOM 440 1870 3 3 0 0 1870 0 0 0 5610 f67f090e24644066ce5872fbc256498a
RANDOM/MEDIUM/3SAT/SATISFIABLE/
440/
unif-k3-r4.25-v440-c1870-S780904324-093.cnf
RANDOM 440 1870 3 3 0 0 1870 0 0 0 5610 0370c3395f27638ffb4005ffcc836f58
RANDOM/MEDIUM/3SAT/SATISFIABLE/
440/
unif-k3-r4.25-v440-c1870-S787972994-025.cnf
RANDOM 440 1870 3 3 0 0 1870 0 0 0 5610 195829daef01dc74526b389936ef96cc
RANDOM/MEDIUM/3SAT/SATISFIABLE/
460/
unif-k3-r4.25-v460-c1955-S1367181683-025.cnf
RANDOM 460 1955 3 3 0 0 1955 0 0 0 5865 0c6dae1feec9774fac72f3ea3b150662
RANDOM/MEDIUM/3SAT/SATISFIABLE/
460/
unif-k3-r4.25-v460-c1955-S1546885609-031.cnf
RANDOM 460 1955 3 3 0 0 1955 0 0 0 5865 ab528a6ad10c0959e2d17075599d3c26
RANDOM/MEDIUM/3SAT/SATISFIABLE/
460/
unif-k3-r4.25-v460-c1955-S1555503917-029.cnf
RANDOM 460 1955 3 3 0 0 1955 0 0 0 5865 19cceacad52a786b8f9d29887aa918f2
RANDOM/MEDIUM/3SAT/SATISFIABLE/
460/
unif-k3-r4.25-v460-c1955-S1614425450-034.cnf
RANDOM 460 1955 3 3 0 0 1955 0 0 0 5865 b466b358793a0dcf15cdf46533518f73
RANDOM/MEDIUM/3SAT/SATISFIABLE/
460/
unif-k3-r4.25-v460-c1955-S1733990810-090.cnf
RANDOM 460 1955 3 3 0 0 1955 0 0 0 5865 cc65c4677bcd52e268abf185559aaea4
RANDOM/MEDIUM/3SAT/SATISFIABLE/
460/
unif-k3-r4.25-v460-c1955-S2035161427-020.cnf
RANDOM 460 1955 3 3 0 0 1955 0 0 0 5865 074d3c53fc7fcb6f758396e5d450cb42
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/3SAT/SATISFIABLE/
460/
unif-k3-r4.25-v460-c1955-S2067258640-036.cnf
RANDOM 460 1955 3 3 0 0 1955 0 0 0 5865 d816900b718754e89a88330965d80e86
RANDOM/MEDIUM/3SAT/SATISFIABLE/
460/
unif-k3-r4.25-v460-c1955-S2106599808-035.cnf
RANDOM 460 1955 3 3 0 0 1955 0 0 0 5865 23914e10b601e89075d5cbe23a039c20
RANDOM/MEDIUM/3SAT/SATISFIABLE/
460/
unif-k3-r4.25-v460-c1955-S321371087-018.cnf
RANDOM 460 1955 3 3 0 0 1955 0 0 0 5865 b036614b8a0cd434fa1df7a69038371b
RANDOM/MEDIUM/3SAT/SATISFIABLE/
460/
unif-k3-r4.25-v460-c1955-S617358728-082.cnf
RANDOM 460 1955 3 3 0 0 1955 0 0 0 5865 f77bf155457eaab086ae39f525f81379
RANDOM/MEDIUM/3SAT/SATISFIABLE/
480/
unif-k3-r4.25-v480-c2040-S1002348653-090.cnf
RANDOM 480 2040 3 3 0 0 2040 0 0 0 6120 c369517cece9ac5de13f6444259c5dd0
RANDOM/MEDIUM/3SAT/SATISFIABLE/
480/
unif-k3-r4.25-v480-c2040-S1229813320-044.cnf
RANDOM 480 2040 3 3 0 0 2040 0 0 0 6120 2315ae7c52f58a7ab05069e081d5c3af
RANDOM/MEDIUM/3SAT/SATISFIABLE/
480/
unif-k3-r4.25-v480-c2040-S1338462531-082.cnf
RANDOM 480 2040 3 3 0 0 2040 0 0 0 6120 8cb1176508e2efdfe13581d28c3b3032
RANDOM/MEDIUM/3SAT/SATISFIABLE/
480/
unif-k3-r4.25-v480-c2040-S1528563858-100.cnf
RANDOM 480 2040 3 3 0 0 2040 0 0 0 6120 54e149b7aa0d0382dd802169940f6ffe
RANDOM/MEDIUM/3SAT/SATISFIABLE/
480/
unif-k3-r4.25-v480-c2040-S1730125812-056.cnf
RANDOM 480 2040 3 3 0 0 2040 0 0 0 6120 69b797da312e506f0ab25c6b8dcfe4ab
RANDOM/MEDIUM/3SAT/SATISFIABLE/
480/
unif-k3-r4.25-v480-c2040-S1924575376-025.cnf
RANDOM 480 2040 3 3 0 0 2040 0 0 0 6120 6fb0ba561e085817334f61be44abbbd8
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/3SAT/SATISFIABLE/
480/
unif-k3-r4.25-v480-c2040-S2069223517-023.cnf
RANDOM 480 2040 3 3 0 0 2040 0 0 0 6120 7ead389f296345f5890ecfc4b085f8df
RANDOM/MEDIUM/3SAT/SATISFIABLE/
480/
unif-k3-r4.25-v480-c2040-S449556655-088.cnf
RANDOM 480 2040 3 3 0 0 2040 0 0 0 6120 a2cac78f4268ad770e0a9e5d4a9fdb69
RANDOM/MEDIUM/3SAT/SATISFIABLE/
480/
unif-k3-r4.25-v480-c2040-S554804223-012.cnf
RANDOM 480 2040 3 3 0 0 2040 0 0 0 6120 fb88daaef532d2aea4a43cab65510e36
RANDOM/MEDIUM/3SAT/SATISFIABLE/
480/
unif-k3-r4.25-v480-c2040-S957997002-040.cnf
RANDOM 480 2040 3 3 0 0 2040 0 0 0 6120 92eaf07e43795c59dd53e3c833d9e0f0
RANDOM/MEDIUM/3SAT/SATISFIABLE/
500/
unif-k3-r4.25-v500-c2125-S1045096471-025.cnf
RANDOM 500 2125 3 3 0 0 2125 0 0 0 6375 855b59e9a0f8a08a40646aec3f122ba2
RANDOM/MEDIUM/3SAT/SATISFIABLE/
500/
unif-k3-r4.25-v500-c2125-S1258122549-031.cnf
RANDOM 500 2125 3 3 0 0 2125 0 0 0 6375 e4beefd25957794efe8088679c7fff55
RANDOM/MEDIUM/3SAT/SATISFIABLE/
500/
unif-k3-r4.25-v500-c2125-S1494961823-060.cnf
RANDOM 500 2125 3 3 0 0 2125 0 0 0 6375 7495f98ae37985dd5ad2be6175c3d801
RANDOM/MEDIUM/3SAT/SATISFIABLE/
500/
unif-k3-r4.25-v500-c2125-S2025169165-076.cnf
RANDOM 500 2125 3 3 0 0 2125 0 0 0 6375 963b100dc4b220203d759e4d96e6c55d
RANDOM/MEDIUM/3SAT/SATISFIABLE/
500/
unif-k3-r4.25-v500-c2125-S2056912842-027.cnf
RANDOM 500 2125 3 3 0 0 2125 0 0 0 6375 14b591d0eb90ad9845c9a4137eb8ce97
RANDOM/MEDIUM/3SAT/SATISFIABLE/
500/
unif-k3-r4.25-v500-c2125-S349436298-004.cnf
RANDOM 500 2125 3 3 0 0 2125 0 0 0 6375 807de0757f2dbadea1e7b17f93f9b484
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/3SAT/SATISFIABLE/
500/
unif-k3-r4.25-v500-c2125-S353643296-086.cnf
RANDOM 500 2125 3 3 0 0 2125 0 0 0 6375 737f90cc4667953389f21d8a50271567
RANDOM/MEDIUM/3SAT/SATISFIABLE/
500/
unif-k3-r4.25-v500-c2125-S602463346-055.cnf
RANDOM 500 2125 3 3 0 0 2125 0 0 0 6375 f50ad9abb19635b49e2de66215f8fa56
RANDOM/MEDIUM/3SAT/SATISFIABLE/
500/
unif-k3-r4.25-v500-c2125-S658989873-070.cnf
RANDOM 500 2125 3 3 0 0 2125 0 0 0 6375 33b307e970060c9ea54050d6d257eed0
RANDOM/MEDIUM/3SAT/SATISFIABLE/
500/
unif-k3-r4.25-v500-c2125-S95953046-044.cnf
RANDOM 500 2125 3 3 0 0 2125 0 0 0 6375 dce3f3d28c96d2da08ad88599fffc85f
RANDOM/MEDIUM/3SAT/SATISFIABLE/
520/
unif-k3-r4.25-v520-c2210-S1161147107-031.cnf
RANDOM 520 2210 3 3 0 0 2210 0 0 0 6630 4cc7ee2f20081e6ebd36addd568f2c4e
RANDOM/MEDIUM/3SAT/SATISFIABLE/
520/
unif-k3-r4.25-v520-c2210-S146188995-071.cnf
RANDOM 520 2210 3 3 0 0 2210 0 0 0 6630 890aea0df389e5329db583f37e858c1b
RANDOM/MEDIUM/3SAT/SATISFIABLE/
520/
unif-k3-r4.25-v520-c2210-S1536609007-088.cnf
RANDOM 520 2210 3 3 0 0 2210 0 0 0 6630 95e50be0ec36bd6dfa5233022c3ad7ac
RANDOM/MEDIUM/3SAT/SATISFIABLE/
520/
unif-k3-r4.25-v520-c2210-S1800466054-025.cnf
RANDOM 520 2210 3 3 0 0 2210 0 0 0 6630 bee6b22c61c85c79429fd4c1adab5451
RANDOM/MEDIUM/3SAT/SATISFIABLE/
520/
unif-k3-r4.25-v520-c2210-S1977519792-030.cnf
RANDOM 520 2210 3 3 0 0 2210 0 0 0 6630 e6458c1749be20cdbcded67df8cce1cf
RANDOM/MEDIUM/3SAT/SATISFIABLE/
520/
unif-k3-r4.25-v520-c2210-S2087271472-092.cnf
RANDOM 520 2210 3 3 0 0 2210 0 0 0 6630 0b959375755b7be8d72e0ee6a403232e
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/3SAT/SATISFIABLE/
520/
unif-k3-r4.25-v520-c2210-S227954525-082.cnf
RANDOM 520 2210 3 3 0 0 2210 0 0 0 6630 ae01fd57ec6a595afedf29818bd4a62c
RANDOM/MEDIUM/3SAT/SATISFIABLE/
520/
unif-k3-r4.25-v520-c2210-S247943532-069.cnf
RANDOM 520 2210 3 3 0 0 2210 0 0 0 6630 480eadd67693b734091a7d5840645722
RANDOM/MEDIUM/3SAT/SATISFIABLE/
520/
unif-k3-r4.25-v520-c2210-S621134782-041.cnf
RANDOM 520 2210 3 3 0 0 2210 0 0 0 6630 09a6dc57cba44ea6f55eca37108c958d
RANDOM/MEDIUM/3SAT/SATISFIABLE/
520/
unif-k3-r4.25-v520-c2210-S956671877-054.cnf
RANDOM 520 2210 3 3 0 0 2210 0 0 0 6630 fa9334576b7ead7d32e2b64d3b23241f
RANDOM/MEDIUM/3SAT/SATISFIABLE/
540/
unif-k3-r4.25-v540-c2295-S1137823545-077.cnf
RANDOM 540 2295 3 3 0 0 2295 0 0 0 6885 6fb9b4534b8680fbd6cb5c0187532027
RANDOM/MEDIUM/3SAT/SATISFIABLE/
540/
unif-k3-r4.25-v540-c2295-S1332067449-041.cnf
RANDOM 540 2295 3 3 0 0 2295 0 0 0 6885 2b606655a01fc0a35cd7131dc9f54b92
RANDOM/MEDIUM/3SAT/SATISFIABLE/
540/
unif-k3-r4.25-v540-c2295-S1916548023-003.cnf
RANDOM 540 2295 3 3 0 0 2295 0 0 0 6885 11db2aaf72f0cb9c260a5127c4f6b388
RANDOM/MEDIUM/3SAT/SATISFIABLE/
540/
unif-k3-r4.25-v540-c2295-S2142680239-019.cnf
RANDOM 540 2295 3 3 0 0 2295 0 0 0 6885 2937149ca8da560a9415e9a967cfab27
RANDOM/MEDIUM/3SAT/SATISFIABLE/
540/
unif-k3-r4.25-v540-c2295-S23858409-056.cnf
RANDOM 540 2295 3 3 0 0 2295 0 0 0 6885 1d9e0ed32c3bf3bc5fbb21926c01a19c
RANDOM/MEDIUM/3SAT/SATISFIABLE/
540/
unif-k3-r4.25-v540-c2295-S433356712-017.cnf
RANDOM 540 2295 3 3 0 0 2295 0 0 0 6885 4a78ab70ae5c4ba56ac4f88e429d1c79
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/3SAT/SATISFIABLE/
540/
unif-k3-r4.25-v540-c2295-S449511205-064.cnf
RANDOM 540 2295 3 3 0 0 2295 0 0 0 6885 0527554bf26e85456bf4748c19812747
RANDOM/MEDIUM/3SAT/SATISFIABLE/
540/
unif-k3-r4.25-v540-c2295-S817309453-059.cnf
RANDOM 540 2295 3 3 0 0 2295 0 0 0 6885 534584fc51d8f0ef0254b8dbc8353cc1
RANDOM/MEDIUM/3SAT/SATISFIABLE/
540/
unif-k3-r4.25-v540-c2295-S84716411-095.cnf
RANDOM 540 2295 3 3 0 0 2295 0 0 0 6885 ee6ebc8afc6634471ab0e2f554ddcb49
RANDOM/MEDIUM/3SAT/SATISFIABLE/
540/
unif-k3-r4.25-v540-c2295-S900737394-048.cnf
RANDOM 540 2295 3 3 0 0 2295 0 0 0 6885 a3ba32614e3b11804668b06c2afeb296
RANDOM/MEDIUM/3SAT/SATISFIABLE/
560/
unif-k3-r4.25-v560-c2380-S1429776379-099.cnf
RANDOM 560 2380 3 3 0 0 2380 0 0 0 7140 ea276ce6a9a917d7362e239e9cf3e2f4
RANDOM/MEDIUM/3SAT/SATISFIABLE/
560/
unif-k3-r4.25-v560-c2380-S1876865608-086.cnf
RANDOM 560 2380 3 3 0 0 2380 0 0 0 7140 a08fcca560a80877927507a2ea133f40
RANDOM/MEDIUM/3SAT/SATISFIABLE/
560/
unif-k3-r4.25-v560-c2380-S1879859331-044.cnf
RANDOM 560 2380 3 3 0 0 2380 0 0 0 7140 7a99883e1d20acc28491f28db1ea5f95
RANDOM/MEDIUM/3SAT/SATISFIABLE/
560/
unif-k3-r4.25-v560-c2380-S1949086545-083.cnf
RANDOM 560 2380 3 3 0 0 2380 0 0 0 7140 4bfed38592d845032443637a02e777c6
RANDOM/MEDIUM/3SAT/SATISFIABLE/
560/
unif-k3-r4.25-v560-c2380-S45592023-054.cnf
RANDOM 560 2380 3 3 0 0 2380 0 0 0 7140 1cdf960645ef22947407473f1df63e0b
RANDOM/MEDIUM/3SAT/SATISFIABLE/
560/
unif-k3-r4.25-v560-c2380-S565763763-051.cnf
RANDOM 560 2380 3 3 0 0 2380 0 0 0 7140 c8ce7aa8b898c6cd15227b0e8c297c77
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/3SAT/SATISFIABLE/
560/
unif-k3-r4.25-v560-c2380-S786890012-057.cnf
RANDOM 560 2380 3 3 0 0 2380 0 0 0 7140 a1a4d8d82b0d4daf47cfa00c0df86ca5
RANDOM/MEDIUM/3SAT/SATISFIABLE/
560/
unif-k3-r4.25-v560-c2380-S809967194-078.cnf
RANDOM 560 2380 3 3 0 0 2380 0 0 0 7140 ed095e38b0a3e5af1f48e3823e5c45cb
RANDOM/MEDIUM/3SAT/SATISFIABLE/
560/
unif-k3-r4.25-v560-c2380-S844931093-069.cnf
RANDOM 560 2380 3 3 0 0 2380 0 0 0 7140 589832b31b8f1cb4096063d76e2202cf
RANDOM/MEDIUM/3SAT/SATISFIABLE/
560/
unif-k3-r4.25-v560-c2380-S889538696-070.cnf
RANDOM 560 2380 3 3 0 0 2380 0 0 0 7140 638869086f20650eb09f2e935bdc737c
RANDOM/MEDIUM/3SAT/UNKNOWN/
360/
unif-k3-r4.25-v360-c1530-S1028159446-096.cnf
RANDOM 360 1530 3 3 0 0 1530 0 0 0 4590 a68afc9bf021c353745f280b16667e74
RANDOM/MEDIUM/3SAT/UNKNOWN/
360/
unif-k3-r4.25-v360-c1530-S1369720750-015.cnf
RANDOM 360 1530 3 3 0 0 1530 0 0 0 4590 a64f61e36a26258a4e57b34bdb756185
RANDOM/MEDIUM/3SAT/UNKNOWN/
360/
unif-k3-r4.25-v360-c1530-S1906521511-089.cnf
RANDOM 360 1530 3 3 0 0 1530 0 0 0 4590 9c1fb07d5218acc7d1bc3d4acef5e909
RANDOM/MEDIUM/3SAT/UNKNOWN/
360/
unif-k3-r4.25-v360-c1530-S2025517367-061.cnf
RANDOM 360 1530 3 3 0 0 1530 0 0 0 4590 747eab6e16fc5e29dfb421f806361704
RANDOM/MEDIUM/3SAT/UNKNOWN/
360/
unif-k3-r4.25-v360-c1530-S23373420-028.cnf
RANDOM 360 1530 3 3 0 0 1530 0 0 0 4590 c80ac2513e7d4a317f260e6d71a9bb08
RANDOM/MEDIUM/3SAT/UNKNOWN/
360/
unif-k3-r4.25-v360-c1530-S253750560-086.cnf
RANDOM 360 1530 3 3 0 0 1530 0 0 0 4590 1510e2158cc54ae2963f5611496bde02
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/3SAT/UNKNOWN/
360/
unif-k3-r4.25-v360-c1530-S305156909-031.cnf
RANDOM 360 1530 3 3 0 0 1530 0 0 0 4590 94fbc938c49a6d0bc295232a6f2b8a2c
RANDOM/MEDIUM/3SAT/UNKNOWN/
360/
unif-k3-r4.25-v360-c1530-S367138237-029.cnf
RANDOM 360 1530 3 3 0 0 1530 0 0 0 4590 fe0a666da3389b49d8bffa123f8cecff
RANDOM/MEDIUM/3SAT/UNKNOWN/
360/
unif-k3-r4.25-v360-c1530-S404185236-001.cnf
RANDOM 360 1530 3 3 0 0 1530 0 0 0 4590 0374a56a4be774bc099f027bd9c7fc30
RANDOM/MEDIUM/3SAT/UNKNOWN/
360/
unif-k3-r4.25-v360-c1530-S680239195-053.cnf
RANDOM 360 1530 3 3 0 0 1530 0 0 0 4590 5093c545fdc7c5094d7e8f31c2f6e759
RANDOM/MEDIUM/3SAT/UNKNOWN/
380/
unif-k3-r4.25-v380-c1615-S1580204273-012.cnf
RANDOM 380 1615 3 3 0 0 1615 0 0 0 4845 a8c5a2cea66d67c637fb35d0276c87d0
RANDOM/MEDIUM/3SAT/UNKNOWN/
380/
unif-k3-r4.25-v380-c1615-S1694258328-099.cnf
RANDOM 380 1615 3 3 0 0 1615 0 0 0 4845 01d386c590bcd2ab7c9aeb6450815f98
RANDOM/MEDIUM/3SAT/UNKNOWN/
380/
unif-k3-r4.25-v380-c1615-S1700363952-014.cnf
RANDOM 380 1615 3 3 0 0 1615 0 0 0 4845 29b15a76839bb4e367777518dfae2822
RANDOM/MEDIUM/3SAT/UNKNOWN/
380/
unif-k3-r4.25-v380-c1615-S1807135406-059.cnf
RANDOM 380 1615 3 3 0 0 1615 0 0 0 4845 cb595cd6bad1f0c5699baaa892a03467
RANDOM/MEDIUM/3SAT/UNKNOWN/
380/
unif-k3-r4.25-v380-c1615-S1983754128-073.cnf
RANDOM 380 1615 3 3 0 0 1615 0 0 0 4845 b11978b0ce5403208988a0dc3b9e35ce
RANDOM/MEDIUM/3SAT/UNKNOWN/
380/
unif-k3-r4.25-v380-c1615-S2043187304-036.cnf
RANDOM 380 1615 3 3 0 0 1615 0 0 0 4845 8f761d7a83f8ed9f2fb1562cef6a194f
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/3SAT/UNKNOWN/
380/
unif-k3-r4.25-v380-c1615-S260616787-042.cnf
RANDOM 380 1615 3 3 0 0 1615 0 0 0 4845 9a70ac660abd105bceac08fd27643051
RANDOM/MEDIUM/3SAT/UNKNOWN/
380/
unif-k3-r4.25-v380-c1615-S502087726-095.cnf
RANDOM 380 1615 3 3 0 0 1615 0 0 0 4845 19585c969548ec91e42795356f5c76b1
RANDOM/MEDIUM/3SAT/UNKNOWN/
380/
unif-k3-r4.25-v380-c1615-S928666993-098.cnf
RANDOM 380 1615 3 3 0 0 1615 0 0 0 4845 abbce28168cbe1770c6abedb21f913a2
RANDOM/MEDIUM/3SAT/UNKNOWN/
380/
unif-k3-r4.25-v380-c1615-S999404609-010.cnf
RANDOM 380 1615 3 3 0 0 1615 0 0 0 4845 5929dd8b325f87d1ae10eb412c236ac3
RANDOM/MEDIUM/3SAT/UNKNOWN/
400/
unif-k3-r4.25-v400-c1700-S1039370030-037.cnf
RANDOM 400 1700 3 3 0 0 1700 0 0 0 5100 d12485f50a62e2b98f775ccf4d7988c2
RANDOM/MEDIUM/3SAT/UNKNOWN/
400/
unif-k3-r4.25-v400-c1700-S104085281-076.cnf
RANDOM 400 1700 3 3 0 0 1700 0 0 0 5100 5ab9251cccb4c72968393b6f409a56b6
RANDOM/MEDIUM/3SAT/UNKNOWN/
400/
unif-k3-r4.25-v400-c1700-S125259973-020.cnf
RANDOM 400 1700 3 3 0 0 1700 0 0 0 5100 12036b968a11f05f0115f39f0b6ae97c
RANDOM/MEDIUM/3SAT/UNKNOWN/
400/
unif-k3-r4.25-v400-c1700-S131938947-014.cnf
RANDOM 400 1700 3 3 0 0 1700 0 0 0 5100 e0b283f050c44779317a891a591f5168
RANDOM/MEDIUM/3SAT/UNKNOWN/
400/
unif-k3-r4.25-v400-c1700-S1375576340-029.cnf
RANDOM 400 1700 3 3 0 0 1700 0 0 0 5100 1b93ff755afc24c2ba01a5f3cf1dc449
RANDOM/MEDIUM/3SAT/UNKNOWN/
400/
unif-k3-r4.25-v400-c1700-S1553390498-064.cnf
RANDOM 400 1700 3 3 0 0 1700 0 0 0 5100 ad000d059aa01091d195f8e0c8f346f6
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/3SAT/UNKNOWN/
400/
unif-k3-r4.25-v400-c1700-S2104277852-078.cnf
RANDOM 400 1700 3 3 0 0 1700 0 0 0 5100 346ed8e054c5e49a4baaa61df35615f1
RANDOM/MEDIUM/3SAT/UNKNOWN/
400/
unif-k3-r4.25-v400-c1700-S387386125-069.cnf
RANDOM 400 1700 3 3 0 0 1700 0 0 0 5100 b2823982c36e6ccfe58a4082350a85f9
RANDOM/MEDIUM/3SAT/UNKNOWN/
400/
unif-k3-r4.25-v400-c1700-S418505498-026.cnf
RANDOM 400 1700 3 3 0 0 1700 0 0 0 5100 befd6412bc726e8030b70acee890aba3
RANDOM/MEDIUM/3SAT/UNKNOWN/
400/
unif-k3-r4.25-v400-c1700-S816613570-013.cnf
RANDOM 400 1700 3 3 0 0 1700 0 0 0 5100 81069fe0820ec926c4489d15e9670c03
RANDOM/MEDIUM/3SAT/UNKNOWN/
420/
unif-k3-r4.25-v420-c1785-S1136141672-041.cnf
RANDOM 420 1785 3 3 0 0 1785 0 0 0 5355 09d6fe3a1e05d3fb5871651e475eb37c
RANDOM/MEDIUM/3SAT/UNKNOWN/
420/
unif-k3-r4.25-v420-c1785-S121765931-081.cnf
RANDOM 420 1785 3 3 0 0 1785 0 0 0 5355 096475bf0bd85d9e44aabbaddceca0e3
RANDOM/MEDIUM/3SAT/UNKNOWN/
420/
unif-k3-r4.25-v420-c1785-S1394036608-091.cnf
RANDOM 420 1785 3 3 0 0 1785 0 0 0 5355 6a1b72e9c09abd09fd440dc53a7d41a8
RANDOM/MEDIUM/3SAT/UNKNOWN/
420/
unif-k3-r4.25-v420-c1785-S1528023000-027.cnf
RANDOM 420 1785 3 3 0 0 1785 0 0 0 5355 33b4b8b17ca915888003039597e2272b
RANDOM/MEDIUM/3SAT/UNKNOWN/
420/
unif-k3-r4.25-v420-c1785-S1854680784-082.cnf
RANDOM 420 1785 3 3 0 0 1785 0 0 0 5355 4b06db6948efef167aa1a27d1aa9c8a8
RANDOM/MEDIUM/3SAT/UNKNOWN/
420/
unif-k3-r4.25-v420-c1785-S2096960818-049.cnf
RANDOM 420 1785 3 3 0 0 1785 0 0 0 5355 0dd96c632ca80e24c12df38646d2de2b
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/3SAT/UNKNOWN/
420/
unif-k3-r4.25-v420-c1785-S531507935-068.cnf
RANDOM 420 1785 3 3 0 0 1785 0 0 0 5355 2d23364f7226a1447867652ed6067cac
RANDOM/MEDIUM/3SAT/UNKNOWN/
420/
unif-k3-r4.25-v420-c1785-S565564805-059.cnf
RANDOM 420 1785 3 3 0 0 1785 0 0 0 5355 cec2f389a8f4289974cef5cb69e9af70
RANDOM/MEDIUM/3SAT/UNKNOWN/
420/
unif-k3-r4.25-v420-c1785-S572248576-042.cnf
RANDOM 420 1785 3 3 0 0 1785 0 0 0 5355 3dd081bf1c5f1756e6172fad5da9506e
RANDOM/MEDIUM/3SAT/UNKNOWN/
420/
unif-k3-r4.25-v420-c1785-S596342014-039.cnf
RANDOM 420 1785 3 3 0 0 1785 0 0 0 5355 2515572a613e65602da74910f5ce3b7f
RANDOM/MEDIUM/3SAT/UNKNOWN/
440/
unif-k3-r4.25-v440-c1870-S1035441377-058.cnf
RANDOM 440 1870 3 3 0 0 1870 0 0 0 5610 c6ff311280a6d1a0e6f0a58edc326a81
RANDOM/MEDIUM/3SAT/UNKNOWN/
440/
unif-k3-r4.25-v440-c1870-S1350958473-082.cnf
RANDOM 440 1870 3 3 0 0 1870 0 0 0 5610 c022e76aae9fa6802d112de6ed8b76d9
RANDOM/MEDIUM/3SAT/UNKNOWN/
440/
unif-k3-r4.25-v440-c1870-S1353993612-015.cnf
RANDOM 440 1870 3 3 0 0 1870 0 0 0 5610 7e6bd83d547ab2ddd279310a87244a37
RANDOM/MEDIUM/3SAT/UNKNOWN/
440/
unif-k3-r4.25-v440-c1870-S1563412474-059.cnf
RANDOM 440 1870 3 3 0 0 1870 0 0 0 5610 db2a5eb5a2e705c514d4161cd8870d93
RANDOM/MEDIUM/3SAT/UNKNOWN/
440/
unif-k3-r4.25-v440-c1870-S1775841359-070.cnf
RANDOM 440 1870 3 3 0 0 1870 0 0 0 5610 690a5fe43a37275cc4c39d3d0d23f423
RANDOM/MEDIUM/3SAT/UNKNOWN/
440/
unif-k3-r4.25-v440-c1870-S287522321-032.cnf
RANDOM 440 1870 3 3 0 0 1870 0 0 0 5610 348784df95efc4633396948fc1376145
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/3SAT/UNKNOWN/
440/
unif-k3-r4.25-v440-c1870-S332478069-041.cnf
RANDOM 440 1870 3 3 0 0 1870 0 0 0 5610 a8388760bc12fcaf54760067730a9d5b
RANDOM/MEDIUM/3SAT/UNKNOWN/
440/
unif-k3-r4.25-v440-c1870-S393462637-097.cnf
RANDOM 440 1870 3 3 0 0 1870 0 0 0 5610 7bb141e5170278fe5236c7e91edc07cf
RANDOM/MEDIUM/3SAT/UNKNOWN/
440/
unif-k3-r4.25-v440-c1870-S444219303-098.cnf
RANDOM 440 1870 3 3 0 0 1870 0 0 0 5610 19d216b508c325e77d8047e01d28266c
RANDOM/MEDIUM/3SAT/UNKNOWN/
440/
unif-k3-r4.25-v440-c1870-S492033085-065.cnf
RANDOM 440 1870 3 3 0 0 1870 0 0 0 5610 cbe223815ecb4175f94b654d971303ac
RANDOM/MEDIUM/3SAT/UNKNOWN/
460/
unif-k3-r4.25-v460-c1955-S1159067237-017.cnf
RANDOM 460 1955 3 3 0 0 1955 0 0 0 5865 ef8baf42456f710e70f6a8e764cf7030
RANDOM/MEDIUM/3SAT/UNKNOWN/
460/
unif-k3-r4.25-v460-c1955-S1249441590-066.cnf
RANDOM 460 1955 3 3 0 0 1955 0 0 0 5865 64f6e5f7d0993d9696f70154b17a6c06
RANDOM/MEDIUM/3SAT/UNKNOWN/
460/
unif-k3-r4.25-v460-c1955-S1377066099-004.cnf
RANDOM 460 1955 3 3 0 0 1955 0 0 0 5865 c274543915c4e3a4d5b9fc155f904448
RANDOM/MEDIUM/3SAT/UNKNOWN/
460/
unif-k3-r4.25-v460-c1955-S1746008863-010.cnf
RANDOM 460 1955 3 3 0 0 1955 0 0 0 5865 243926b94d1dc7710cf6791cadd5350d
RANDOM/MEDIUM/3SAT/UNKNOWN/
460/
unif-k3-r4.25-v460-c1955-S1810287895-075.cnf
RANDOM 460 1955 3 3 0 0 1955 0 0 0 5865 642edeb8ba30ebee256f5f53448e9be6
RANDOM/MEDIUM/3SAT/UNKNOWN/
460/
unif-k3-r4.25-v460-c1955-S1892788676-021.cnf
RANDOM 460 1955 3 3 0 0 1955 0 0 0 5865 2a69d64bc0469e28656e3317eba96ba6
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/3SAT/UNKNOWN/
460/
unif-k3-r4.25-v460-c1955-S190880026-038.cnf
RANDOM 460 1955 3 3 0 0 1955 0 0 0 5865 1c16225d4e571234b78d9dbdbb77e015
RANDOM/MEDIUM/3SAT/UNKNOWN/
460/
unif-k3-r4.25-v460-c1955-S2007898659-069.cnf
RANDOM 460 1955 3 3 0 0 1955 0 0 0 5865 c31ae01e49038ee90ca261273074a0e1
RANDOM/MEDIUM/3SAT/UNKNOWN/
460/
unif-k3-r4.25-v460-c1955-S356738975-073.cnf
RANDOM 460 1955 3 3 0 0 1955 0 0 0 5865 8ca9dc2aaddc49b665e7ef3ce67ef4f5
RANDOM/MEDIUM/3SAT/UNKNOWN/
460/
unif-k3-r4.25-v460-c1955-S729526068-046.cnf
RANDOM 460 1955 3 3 0 0 1955 0 0 0 5865 167b9c9b8ef7174228a6613d96e94620
RANDOM/MEDIUM/3SAT/UNKNOWN/
480/
unif-k3-r4.25-v480-c2040-S1007745655-097.cnf
RANDOM 480 2040 3 3 0 0 2040 0 0 0 6120 f27b62ac5d581ce44726630650722106
RANDOM/MEDIUM/3SAT/UNKNOWN/
480/
unif-k3-r4.25-v480-c2040-S1175850950-017.cnf
RANDOM 480 2040 3 3 0 0 2040 0 0 0 6120 7e1d47339fe7e93ea029abb348893d97
RANDOM/MEDIUM/3SAT/UNKNOWN/
480/
unif-k3-r4.25-v480-c2040-S1524836866-036.cnf
RANDOM 480 2040 3 3 0 0 2040 0 0 0 6120 ce31bd93f3110b9fcfa2521eb95c9c79
RANDOM/MEDIUM/3SAT/UNKNOWN/
480/
unif-k3-r4.25-v480-c2040-S1628763900-004.cnf
RANDOM 480 2040 3 3 0 0 2040 0 0 0 6120 508021853eb1f7d157653d1ea0c941a6
RANDOM/MEDIUM/3SAT/UNKNOWN/
480/
unif-k3-r4.25-v480-c2040-S2034442711-054.cnf
RANDOM 480 2040 3 3 0 0 2040 0 0 0 6120 e64132f69b48603863762aba5004d683
RANDOM/MEDIUM/3SAT/UNKNOWN/
480/
unif-k3-r4.25-v480-c2040-S285229208-001.cnf
RANDOM 480 2040 3 3 0 0 2040 0 0 0 6120 f428950b8de23fd3ae8c7cb75dec2d44
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/3SAT/UNKNOWN/
480/
unif-k3-r4.25-v480-c2040-S457856978-061.cnf
RANDOM 480 2040 3 3 0 0 2040 0 0 0 6120 8ebd6c8756a6249928946b3a588cd94f
RANDOM/MEDIUM/3SAT/UNKNOWN/
480/
unif-k3-r4.25-v480-c2040-S583379276-046.cnf
RANDOM 480 2040 3 3 0 0 2040 0 0 0 6120 ec21ee53dc668007eeef1fc2466b7011
RANDOM/MEDIUM/3SAT/UNKNOWN/
480/
unif-k3-r4.25-v480-c2040-S915600698-006.cnf
RANDOM 480 2040 3 3 0 0 2040 0 0 0 6120 fad8593fd5ac6353581d4728abbb4a34
RANDOM/MEDIUM/3SAT/UNKNOWN/
480/
unif-k3-r4.25-v480-c2040-S926047226-039.cnf
RANDOM 480 2040 3 3 0 0 2040 0 0 0 6120 58a348483ec5f90a0278e7c47824496f
RANDOM/MEDIUM/3SAT/UNKNOWN/
500/
unif-k3-r4.25-v500-c2125-S1213077873-067.cnf
RANDOM 500 2125 3 3 0 0 2125 0 0 0 6375 8db311cabf8fb8b12c84c250d98747d5
RANDOM/MEDIUM/3SAT/UNKNOWN/
500/
unif-k3-r4.25-v500-c2125-S1339364096-048.cnf
RANDOM 500 2125 3 3 0 0 2125 0 0 0 6375 2cbf25bf3c1a8a645c8c658cff25ce06
RANDOM/MEDIUM/3SAT/UNKNOWN/
500/
unif-k3-r4.25-v500-c2125-S1731702106-010.cnf
RANDOM 500 2125 3 3 0 0 2125 0 0 0 6375 c9e74b633df5135d26c194cfafd328d1
RANDOM/MEDIUM/3SAT/UNKNOWN/
500/
unif-k3-r4.25-v500-c2125-S1735544520-075.cnf
RANDOM 500 2125 3 3 0 0 2125 0 0 0 6375 5b5eacd69579443fc2a1a78b000c06ae
RANDOM/MEDIUM/3SAT/UNKNOWN/
500/
unif-k3-r4.25-v500-c2125-S1803805764-016.cnf
RANDOM 500 2125 3 3 0 0 2125 0 0 0 6375 d656d2954192ff0afc1fa92de39f8309
RANDOM/MEDIUM/3SAT/UNKNOWN/
500/
unif-k3-r4.25-v500-c2125-S1826325374-100.cnf
RANDOM 500 2125 3 3 0 0 2125 0 0 0 6375 a61c5a47056b58e65936096833df1084
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/3SAT/UNKNOWN/
500/
unif-k3-r4.25-v500-c2125-S287307030-088.cnf
RANDOM 500 2125 3 3 0 0 2125 0 0 0 6375 9d5d7164d3d5840805b65af8448e9499
RANDOM/MEDIUM/3SAT/UNKNOWN/
500/
unif-k3-r4.25-v500-c2125-S645163129-012.cnf
RANDOM 500 2125 3 3 0 0 2125 0 0 0 6375 009e989e2755ac440b0ff3df87428440
RANDOM/MEDIUM/3SAT/UNKNOWN/
500/
unif-k3-r4.25-v500-c2125-S799705985-049.cnf
RANDOM 500 2125 3 3 0 0 2125 0 0 0 6375 9571d20b2c85f2916982e3779a8bfa58
RANDOM/MEDIUM/3SAT/UNKNOWN/
500/
unif-k3-r4.25-v500-c2125-S900957093-043.cnf
RANDOM 500 2125 3 3 0 0 2125 0 0 0 6375 089e945986e09301802f8b3ff2e688f1
RANDOM/MEDIUM/3SAT/UNKNOWN/
520/
unif-k3-r4.25-v520-c2210-S1048138627-064.cnf
RANDOM 520 2210 3 3 0 0 2210 0 0 0 6630 43148ab7d47c376d341b3329c22899e7
RANDOM/MEDIUM/3SAT/UNKNOWN/
520/
unif-k3-r4.25-v520-c2210-S1089910525-056.cnf
RANDOM 520 2210 3 3 0 0 2210 0 0 0 6630 d3e536fdc68bd7011b2698c42fdf490b
RANDOM/MEDIUM/3SAT/UNKNOWN/
520/
unif-k3-r4.25-v520-c2210-S1331813943-033.cnf
RANDOM 520 2210 3 3 0 0 2210 0 0 0 6630 3c2c13464ac33c271a6f6b3146a6fa75
RANDOM/MEDIUM/3SAT/UNKNOWN/
520/
unif-k3-r4.25-v520-c2210-S149116968-021.cnf
RANDOM 520 2210 3 3 0 0 2210 0 0 0 6630 7d2d3634187334a9c4b4ef97daf4cc0a
RANDOM/MEDIUM/3SAT/UNKNOWN/
520/
unif-k3-r4.25-v520-c2210-S1540921235-015.cnf
RANDOM 520 2210 3 3 0 0 2210 0 0 0 6630 49dc86fbfdf68b8af633e3ee1aa2a9e7
RANDOM/MEDIUM/3SAT/UNKNOWN/
520/
unif-k3-r4.25-v520-c2210-S159251645-087.cnf
RANDOM 520 2210 3 3 0 0 2210 0 0 0 6630 ce26e93a4185cf6cf29bdb9810800206
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/3SAT/UNKNOWN/
520/
unif-k3-r4.25-v520-c2210-S1602291491-023.cnf
RANDOM 520 2210 3 3 0 0 2210 0 0 0 6630 8ac945fd2d00d7595dd6a09603bfa3b0
RANDOM/MEDIUM/3SAT/UNKNOWN/
520/
unif-k3-r4.25-v520-c2210-S1897376969-026.cnf
RANDOM 520 2210 3 3 0 0 2210 0 0 0 6630 b48cc51eec7acfdc5e1646bdd0ea863f
RANDOM/MEDIUM/3SAT/UNKNOWN/
520/
unif-k3-r4.25-v520-c2210-S486178562-011.cnf
RANDOM 520 2210 3 3 0 0 2210 0 0 0 6630 e73deb485f74364d96363116560553d5
RANDOM/MEDIUM/3SAT/UNKNOWN/
520/
unif-k3-r4.25-v520-c2210-S697681291-080.cnf
RANDOM 520 2210 3 3 0 0 2210 0 0 0 6630 4bbf0687a75cc815423eb8afa8e9d43f
RANDOM/MEDIUM/3SAT/UNKNOWN/
540/
unif-k3-r4.25-v540-c2295-S1077410718-040.cnf
RANDOM 540 2295 3 3 0 0 2295 0 0 0 6885 2974efe3ed57ce21d588fea959cd376f
RANDOM/MEDIUM/3SAT/UNKNOWN/
540/
unif-k3-r4.25-v540-c2295-S1250067652-054.cnf
RANDOM 540 2295 3 3 0 0 2295 0 0 0 6885 385aa4c60934b13e455a567c42e0ab0c
RANDOM/MEDIUM/3SAT/UNKNOWN/
540/
unif-k3-r4.25-v540-c2295-S1404929091-050.cnf
RANDOM 540 2295 3 3 0 0 2295 0 0 0 6885 16ac45f8099e9b8d91370787f14bd295
RANDOM/MEDIUM/3SAT/UNKNOWN/
540/
unif-k3-r4.25-v540-c2295-S1457384322-029.cnf
RANDOM 540 2295 3 3 0 0 2295 0 0 0 6885 9b9652f9e46170eb2f25adac2572c7eb
RANDOM/MEDIUM/3SAT/UNKNOWN/
540/
unif-k3-r4.25-v540-c2295-S1564075794-028.cnf
RANDOM 540 2295 3 3 0 0 2295 0 0 0 6885 12366f275d7d2c369dd8888e0db58ba8
RANDOM/MEDIUM/3SAT/UNKNOWN/
540/
unif-k3-r4.25-v540-c2295-S1598052044-078.cnf
RANDOM 540 2295 3 3 0 0 2295 0 0 0 6885 871c21efb71b729632fed1e9ce79057d
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/3SAT/UNKNOWN/
540/
unif-k3-r4.25-v540-c2295-S1606932551-072.cnf
RANDOM 540 2295 3 3 0 0 2295 0 0 0 6885 a3de3746a6fb6968c798f1ba3ad0f77f
RANDOM/MEDIUM/3SAT/UNKNOWN/
540/
unif-k3-r4.25-v540-c2295-S2037268960-098.cnf
RANDOM 540 2295 3 3 0 0 2295 0 0 0 6885 45c0b4fd7394c92818ddec03e6b5f3f2
RANDOM/MEDIUM/3SAT/UNKNOWN/
540/
unif-k3-r4.25-v540-c2295-S638051453-097.cnf
RANDOM 540 2295 3 3 0 0 2295 0 0 0 6885 f703653b42bdd3cc2ad2ea17949e8d3f
RANDOM/MEDIUM/3SAT/UNKNOWN/
540/
unif-k3-r4.25-v540-c2295-S853819067-006.cnf
RANDOM 540 2295 3 3 0 0 2295 0 0 0 6885 02a783b8e731a7854fc4f9514bffb4d8
RANDOM/MEDIUM/3SAT/UNKNOWN/
560/
unif-k3-r4.25-v560-c2380-S1154116462-097.cnf
RANDOM 560 2380 3 3 0 0 2380 0 0 0 7140 871cffda16697cd39cfc1811ad38c0e4
RANDOM/MEDIUM/3SAT/UNKNOWN/
560/
unif-k3-r4.25-v560-c2380-S1750991629-037.cnf
RANDOM 560 2380 3 3 0 0 2380 0 0 0 7140 73e1213f2abc37c0c09958a5583a1b69
RANDOM/MEDIUM/3SAT/UNKNOWN/
560/
unif-k3-r4.25-v560-c2380-S179568577-034.cnf
RANDOM 560 2380 3 3 0 0 2380 0 0 0 7140 123ef46409ad575b494b818820298c6e
RANDOM/MEDIUM/3SAT/UNKNOWN/
560/
unif-k3-r4.25-v560-c2380-S2061874746-039.cnf
RANDOM 560 2380 3 3 0 0 2380 0 0 0 7140 7a50a8aff0c6952edb5e8fbcf8bad297
RANDOM/MEDIUM/3SAT/UNKNOWN/
560/
unif-k3-r4.25-v560-c2380-S28271012-055.cnf
RANDOM 560 2380 3 3 0 0 2380 0 0 0 7140 b8930473062e759b42f76ae6552762ee
RANDOM/MEDIUM/3SAT/UNKNOWN/
560/
unif-k3-r4.25-v560-c2380-S374947955-075.cnf
RANDOM 560 2380 3 3 0 0 2380 0 0 0 7140 1c26be7e8f45c396fe1a5a9f4716cff4
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/3SAT/UNKNOWN/
560/
unif-k3-r4.25-v560-c2380-S517464300-073.cnf
RANDOM 560 2380 3 3 0 0 2380 0 0 0 7140 7c267c9186cddd61ecbfa4c2ad3e3281
RANDOM/MEDIUM/3SAT/UNKNOWN/
560/
unif-k3-r4.25-v560-c2380-S688769362-007.cnf
RANDOM 560 2380 3 3 0 0 2380 0 0 0 7140 dcd5f1c3fe8ddccf921fc006721ef352
RANDOM/MEDIUM/3SAT/UNKNOWN/
560/
unif-k3-r4.25-v560-c2380-S820736259-091.cnf
RANDOM 560 2380 3 3 0 0 2380 0 0 0 7140 40cbc7855271d25e9f7a8a91ba5b6927
RANDOM/MEDIUM/3SAT/UNKNOWN/
560/
unif-k3-r4.25-v560-c2380-S975048338-088.cnf
RANDOM 560 2380 3 3 0 0 2380 0 0 0 7140 eba6bb50fff28076a45b86724388a765
RANDOM/MEDIUM/5SAT/SATISFIABLE/
100/
unif-k5-r21.3-v100-c2130-S1707873242-085.cnf
RANDOM 100 2130 5 5 0 0 0 0 2130 0 10650 50fb19065f42fe4981158c7f4fb4e31f
RANDOM/MEDIUM/5SAT/SATISFIABLE/
100/
unif-k5-r21.3-v100-c2130-S1772254584-042.cnf
RANDOM 100 2130 5 5 0 0 0 0 2130 0 10650 f204ae5b9db3d0db644045bd9b064e28
RANDOM/MEDIUM/5SAT/SATISFIABLE/
100/
unif-k5-r21.3-v100-c2130-S1920888253-090.cnf
RANDOM 100 2130 5 5 0 0 0 0 2130 0 10650 be6412148c18a5066c4c7814d492498d
RANDOM/MEDIUM/5SAT/SATISFIABLE/
100/
unif-k5-r21.3-v100-c2130-S282405510-004.cnf
RANDOM 100 2130 5 5 0 0 0 0 2130 0 10650 ce585ef8de51ea191ea179c0c20f7f7a
RANDOM/MEDIUM/5SAT/SATISFIABLE/
100/
unif-k5-r21.3-v100-c2130-S308012126-046.cnf
RANDOM 100 2130 5 5 0 0 0 0 2130 0 10650 8824df59c7b60dfa0748d28bf56c7110
RANDOM/MEDIUM/5SAT/SATISFIABLE/
100/
unif-k5-r21.3-v100-c2130-S393518083-009.cnf
RANDOM 100 2130 5 5 0 0 0 0 2130 0 10650 81856c3d33444497a06d91594d737387
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/5SAT/SATISFIABLE/
100/
unif-k5-r21.3-v100-c2130-S402241321-038.cnf
RANDOM 100 2130 5 5 0 0 0 0 2130 0 10650 778bc7bd516c886b7617280668f06051
RANDOM/MEDIUM/5SAT/SATISFIABLE/
100/
unif-k5-r21.3-v100-c2130-S748216286-061.cnf
RANDOM 100 2130 5 5 0 0 0 0 2130 0 10650 2754b3d0d46124bc4b807ae18c388fa5
RANDOM/MEDIUM/5SAT/SATISFIABLE/
100/
unif-k5-r21.3-v100-c2130-S971118900-053.cnf
RANDOM 100 2130 5 5 0 0 0 0 2130 0 10650 ee045fa3fe75a551172052e915c97e36
RANDOM/MEDIUM/5SAT/SATISFIABLE/
100/
unif-k5-r21.3-v100-c2130-S984347600-003.cnf
RANDOM 100 2130 5 5 0 0 0 0 2130 0 10650 f970d757930d05086c1a20356ea57d99
RANDOM/MEDIUM/5SAT/SATISFIABLE/
110/
unif-k5-r21.3-v110-c2343-S1376127278-008.cnf
RANDOM 110 2343 5 5 0 0 0 0 2343 0 11715 2a9d7aa09089c785d286d069b028c319
RANDOM/MEDIUM/5SAT/SATISFIABLE/
110/
unif-k5-r21.3-v110-c2343-S1481888618-011.cnf
RANDOM 110 2343 5 5 0 0 0 0 2343 0 11715 c648d80ef4f9e62ead1eba3d863e448d
RANDOM/MEDIUM/5SAT/SATISFIABLE/
110/
unif-k5-r21.3-v110-c2343-S1492329924-074.cnf
RANDOM 110 2343 5 5 0 0 0 0 2343 0 11715 667156c9cba21970f1c7c0c7e22c36aa
RANDOM/MEDIUM/5SAT/SATISFIABLE/
110/
unif-k5-r21.3-v110-c2343-S1767813611-042.cnf
RANDOM 110 2343 5 5 0 0 0 0 2343 0 11715 e8bef21b1523a2570095f6899127c7e2
RANDOM/MEDIUM/5SAT/SATISFIABLE/
110/
unif-k5-r21.3-v110-c2343-S1771223975-021.cnf
RANDOM 110 2343 5 5 0 0 0 0 2343 0 11715 96f5a7b5e0d4bc00c89d90487d4d5b74
RANDOM/MEDIUM/5SAT/SATISFIABLE/
110/
unif-k5-r21.3-v110-c2343-S1850025790-078.cnf
RANDOM 110 2343 5 5 0 0 0 0 2343 0 11715 92fc8bc430de4460c33b884d5a42779d
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/5SAT/SATISFIABLE/
110/
unif-k5-r21.3-v110-c2343-S398733532-072.cnf
RANDOM 110 2343 5 5 0 0 0 0 2343 0 11715 d9f4caf675a8f6d697dc5efdb9aa8c41
RANDOM/MEDIUM/5SAT/SATISFIABLE/
110/
unif-k5-r21.3-v110-c2343-S638042053-051.cnf
RANDOM 110 2343 5 5 0 0 0 0 2343 0 11715 bac537400dd7c59f04b551112719781b
RANDOM/MEDIUM/5SAT/SATISFIABLE/
110/
unif-k5-r21.3-v110-c2343-S884941173-092.cnf
RANDOM 110 2343 5 5 0 0 0 0 2343 0 11715 08970150c744745078d9b8c7ec1a3e63
RANDOM/MEDIUM/5SAT/SATISFIABLE/
110/
unif-k5-r21.3-v110-c2343-S986324446-009.cnf
RANDOM 110 2343 5 5 0 0 0 0 2343 0 11715 b8c930418a16f3a24b4fb0e57c45eda6
RANDOM/MEDIUM/5SAT/SATISFIABLE/
120/
unif-k5-r21.3-v120-c2556-S1017443264-065.cnf
RANDOM 120 2556 5 5 0 0 0 0 2556 0 12780 a3624ecf3a9b6c1696f882edd6a86cc4
RANDOM/MEDIUM/5SAT/SATISFIABLE/
120/
unif-k5-r21.3-v120-c2556-S1153031014-012.cnf
RANDOM 120 2556 5 5 0 0 0 0 2556 0 12780 9d5cdf2497a80c47fde0f7ee1276bd77
RANDOM/MEDIUM/5SAT/SATISFIABLE/
120/
unif-k5-r21.3-v120-c2556-S1163324878-032.cnf
RANDOM 120 2556 5 5 0 0 0 0 2556 0 12780 041948145db994bef4ef7befa5b1ff3c
RANDOM/MEDIUM/5SAT/SATISFIABLE/
120/
unif-k5-r21.3-v120-c2556-S1422278005-004.cnf
RANDOM 120 2556 5 5 0 0 0 0 2556 0 12780 0fb27214473ddc5f7ac63d69b0565022
RANDOM/MEDIUM/5SAT/SATISFIABLE/
120/
unif-k5-r21.3-v120-c2556-S1503318847-091.cnf
RANDOM 120 2556 5 5 0 0 0 0 2556 0 12780 eaf4e52b2ac22d87cb6a2c76b08ea88a
RANDOM/MEDIUM/5SAT/SATISFIABLE/
120/
unif-k5-r21.3-v120-c2556-S179172230-011.cnf
RANDOM 120 2556 5 5 0 0 0 0 2556 0 12780 af61a6a11d784bb0b80c63b360b179f6
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/5SAT/SATISFIABLE/
120/
unif-k5-r21.3-v120-c2556-S1879656894-046.cnf
RANDOM 120 2556 5 5 0 0 0 0 2556 0 12780 f7bf3a504486cf138c26426940975d5c
RANDOM/MEDIUM/5SAT/SATISFIABLE/
120/
unif-k5-r21.3-v120-c2556-S1963731659-060.cnf
RANDOM 120 2556 5 5 0 0 0 0 2556 0 12780 ad0fbcf6f5125cb9c05cf259388b367e
RANDOM/MEDIUM/5SAT/SATISFIABLE/
120/
unif-k5-r21.3-v120-c2556-S357555833-073.cnf
RANDOM 120 2556 5 5 0 0 0 0 2556 0 12780 d524fa9dff1d70d9e0d930212049605a
RANDOM/MEDIUM/5SAT/SATISFIABLE/
120/
unif-k5-r21.3-v120-c2556-S644655157-049.cnf
RANDOM 120 2556 5 5 0 0 0 0 2556 0 12780 f938cfdd4478a8554923c46697238b9e
RANDOM/MEDIUM/5SAT/SATISFIABLE/
90/
unif-k5-r21.3-v90-c1917-S1040456712-073.cnf
RANDOM 90 1917 5 5 0 0 0 0 1917 0 9585 c089a210f28b730c7ed75b9093204955
RANDOM/MEDIUM/5SAT/SATISFIABLE/
90/
unif-k5-r21.3-v90-c1917-S1159550149-077.cnf
RANDOM 90 1917 5 5 0 0 0 0 1917 0 9585 7e03cd843234dc424776ba0f93603598
RANDOM/MEDIUM/5SAT/SATISFIABLE/
90/
unif-k5-r21.3-v90-c1917-S1568932519-011.cnf
RANDOM 90 1917 5 5 0 0 0 0 1917 0 9585 58887e5330b5ce04c1b9dbb757401af0
RANDOM/MEDIUM/5SAT/SATISFIABLE/
90/
unif-k5-r21.3-v90-c1917-S1931398869-036.cnf
RANDOM 90 1917 5 5 0 0 0 0 1917 0 9585 ced561befb08624b32eaaf27530007d8
RANDOM/MEDIUM/5SAT/SATISFIABLE/
90/
unif-k5-r21.3-v90-c1917-S2007547542-039.cnf
RANDOM 90 1917 5 5 0 0 0 0 1917 0 9585 0cd2dfafac072edecb100e7e97a51fc1
RANDOM/MEDIUM/5SAT/SATISFIABLE/
90/
unif-k5-r21.3-v90-c1917-S2139292994-055.cnf
RANDOM 90 1917 5 5 0 0 0 0 1917 0 9585 41ed6a246c10a2f9a4d7ddf7edc0236a
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/5SAT/SATISFIABLE/
90/
unif-k5-r21.3-v90-c1917-S47926000-049.cnf
RANDOM 90 1917 5 5 0 0 0 0 1917 0 9585 43e1914e2baa4366249337eaf6ba76dd
RANDOM/MEDIUM/5SAT/SATISFIABLE/
90/
unif-k5-r21.3-v90-c1917-S744068878-072.cnf
RANDOM 90 1917 5 5 0 0 0 0 1917 0 9585 ea01dcc63f842c424e5e6a53cd5384db
RANDOM/MEDIUM/5SAT/SATISFIABLE/
90/
unif-k5-r21.3-v90-c1917-S824721511-001.cnf
RANDOM 90 1917 5 5 0 0 0 0 1917 0 9585 f2a7fee26e0cf07e97811f1061f30ce6
RANDOM/MEDIUM/5SAT/SATISFIABLE/
90/
unif-k5-r21.3-v90-c1917-S852794659-023.cnf
RANDOM 90 1917 5 5 0 0 0 0 1917 0 9585 953ef05f5b840ab4ea419c3c099363cb
RANDOM/MEDIUM/5SAT/UNKNOWN/
100/
unif-k5-r21.3-v100-c2130-S1050568800-025.cnf
RANDOM 100 2130 5 5 0 0 0 0 2130 0 10650 e85d34ddccfa23997bc15509ac656c11
RANDOM/MEDIUM/5SAT/UNKNOWN/
100/
unif-k5-r21.3-v100-c2130-S1211704640-033.cnf
RANDOM 100 2130 5 5 0 0 0 0 2130 0 10650 8ef5d3e404e3cdd2967f89ed54f9c238
RANDOM/MEDIUM/5SAT/UNKNOWN/
100/
unif-k5-r21.3-v100-c2130-S1221988902-087.cnf
RANDOM 100 2130 5 5 0 0 0 0 2130 0 10650 6fc5e3007085f071badf6b78cd2069ba
RANDOM/MEDIUM/5SAT/UNKNOWN/
100/
unif-k5-r21.3-v100-c2130-S1357790788-074.cnf
RANDOM 100 2130 5 5 0 0 0 0 2130 0 10650 d4efa5a6235ae8f332b85eb028bc13f2
RANDOM/MEDIUM/5SAT/UNKNOWN/
100/
unif-k5-r21.3-v100-c2130-S1420449214-092.cnf
RANDOM 100 2130 5 5 0 0 0 0 2130 0 10650 320f330386aa57359f97f15f784cbd07
RANDOM/MEDIUM/5SAT/UNKNOWN/
100/
unif-k5-r21.3-v100-c2130-S1629955917-055.cnf
RANDOM 100 2130 5 5 0 0 0 0 2130 0 10650 e34d6d6a0a2cfdccfc6dbc62facdd555
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/5SAT/UNKNOWN/
100/
unif-k5-r21.3-v100-c2130-S1698591437-083.cnf
RANDOM 100 2130 5 5 0 0 0 0 2130 0 10650 24020efeef97a2534de77350f664299c
RANDOM/MEDIUM/5SAT/UNKNOWN/
100/
unif-k5-r21.3-v100-c2130-S207294319-099.cnf
RANDOM 100 2130 5 5 0 0 0 0 2130 0 10650 1b6dd4a4bffa25ef2a1202202724759f
RANDOM/MEDIUM/5SAT/UNKNOWN/
100/
unif-k5-r21.3-v100-c2130-S35186747-095.cnf
RANDOM 100 2130 5 5 0 0 0 0 2130 0 10650 63a7ffd07e7685b33dfd464b13ef6936
RANDOM/MEDIUM/5SAT/UNKNOWN/
100/
unif-k5-r21.3-v100-c2130-S367498571-066.cnf
RANDOM 100 2130 5 5 0 0 0 0 2130 0 10650 df5d3532662b9ce2690eaf77166028f5
RANDOM/MEDIUM/5SAT/UNKNOWN/
110/
unif-k5-r21.3-v110-c2343-S102181364-052.cnf
RANDOM 110 2343 5 5 0 0 0 0 2343 0 11715 be53d6aab4327d2095ad021029e1f91d
RANDOM/MEDIUM/5SAT/UNKNOWN/
110/
unif-k5-r21.3-v110-c2343-S1251522734-073.cnf
RANDOM 110 2343 5 5 0 0 0 0 2343 0 11715 1434f33cdfd0e0bf38ee5caed68ed069
RANDOM/MEDIUM/5SAT/UNKNOWN/
110/
unif-k5-r21.3-v110-c2343-S1736056721-032.cnf
RANDOM 110 2343 5 5 0 0 0 0 2343 0 11715 d2ecc9d94f1ba393552dfdf11d60f816
RANDOM/MEDIUM/5SAT/UNKNOWN/
110/
unif-k5-r21.3-v110-c2343-S1971658345-089.cnf
RANDOM 110 2343 5 5 0 0 0 0 2343 0 11715 80ddc27a2476c7a1f18f4f644f3f4389
RANDOM/MEDIUM/5SAT/UNKNOWN/
110/
unif-k5-r21.3-v110-c2343-S2083487609-068.cnf
RANDOM 110 2343 5 5 0 0 0 0 2343 0 11715 57c4481d80dab225feb097c0bb7b33c7
RANDOM/MEDIUM/5SAT/UNKNOWN/
110/
unif-k5-r21.3-v110-c2343-S2119656249-086.cnf
RANDOM 110 2343 5 5 0 0 0 0 2343 0 11715 834ef435737da3a9d77dd6f3e79becea
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/5SAT/UNKNOWN/
110/
unif-k5-r21.3-v110-c2343-S257485978-084.cnf
RANDOM 110 2343 5 5 0 0 0 0 2343 0 11715 78177f2db9eebc5964f62181ca200222
RANDOM/MEDIUM/5SAT/UNKNOWN/
110/
unif-k5-r21.3-v110-c2343-S632066493-060.cnf
RANDOM 110 2343 5 5 0 0 0 0 2343 0 11715 18acde07d0986af307d23032d1000e7e
RANDOM/MEDIUM/5SAT/UNKNOWN/
110/
unif-k5-r21.3-v110-c2343-S745855171-090.cnf
RANDOM 110 2343 5 5 0 0 0 0 2343 0 11715 424ae5e08db4b5fb6ed3561627cff998
RANDOM/MEDIUM/5SAT/UNKNOWN/
110/
unif-k5-r21.3-v110-c2343-S914952752-019.cnf
RANDOM 110 2343 5 5 0 0 0 0 2343 0 11715 ab0fa90b59935117df784f9568093dd2
RANDOM/MEDIUM/5SAT/UNKNOWN/
120/
unif-k5-r21.3-v120-c2556-S1070443005-075.cnf
RANDOM 120 2556 5 5 0 0 0 0 2556 0 12780 82e9fd89190319a892b6aadaca00b0b8
RANDOM/MEDIUM/5SAT/UNKNOWN/
120/
unif-k5-r21.3-v120-c2556-S1086008090-058.cnf
RANDOM 120 2556 5 5 0 0 0 0 2556 0 12780 210d16964e48e5c70641d6fd32357cb0
RANDOM/MEDIUM/5SAT/UNKNOWN/
120/
unif-k5-r21.3-v120-c2556-S1481598919-023.cnf
RANDOM 120 2556 5 5 0 0 0 0 2556 0 12780 b5e7cd1135ca2561f4261d81ae9e01a8
RANDOM/MEDIUM/5SAT/UNKNOWN/
120/
unif-k5-r21.3-v120-c2556-S1723900160-044.cnf
RANDOM 120 2556 5 5 0 0 0 0 2556 0 12780 b980518c5f881f8ca0028e115c3772e4
RANDOM/MEDIUM/5SAT/UNKNOWN/
120/
unif-k5-r21.3-v120-c2556-S2083778933-085.cnf
RANDOM 120 2556 5 5 0 0 0 0 2556 0 12780 e13634ab61f0f03aa1f18900849e7462
RANDOM/MEDIUM/5SAT/UNKNOWN/
120/
unif-k5-r21.3-v120-c2556-S267191961-079.cnf
RANDOM 120 2556 5 5 0 0 0 0 2556 0 12780 f5b73d46fd6886685677ead6f3b9d50d
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/5SAT/UNKNOWN/
120/
unif-k5-r21.3-v120-c2556-S515665970-021.cnf
RANDOM 120 2556 5 5 0 0 0 0 2556 0 12780 6ccf28464d128bfcb3d3d46c37a4ba0f
RANDOM/MEDIUM/5SAT/UNKNOWN/
120/
unif-k5-r21.3-v120-c2556-S578339356-013.cnf
RANDOM 120 2556 5 5 0 0 0 0 2556 0 12780 4003d88d5e738aebe7112be499f87bca
RANDOM/MEDIUM/5SAT/UNKNOWN/
120/
unif-k5-r21.3-v120-c2556-S80067159-015.cnf
RANDOM 120 2556 5 5 0 0 0 0 2556 0 12780 4df98fe109038d9163a11298f0c496d1
RANDOM/MEDIUM/5SAT/UNKNOWN/
120/
unif-k5-r21.3-v120-c2556-S918173205-035.cnf
RANDOM 120 2556 5 5 0 0 0 0 2556 0 12780 01229a71bca95743148fcd5c63c4afaa
RANDOM/MEDIUM/5SAT/UNKNOWN/
90/
unif-k5-r21.3-v90-c1917-S122462268-047.cnf
RANDOM 90 1917 5 5 0 0 0 0 1917 0 9585 5d0778d9bbd17c145825bd8d03b4a06d
RANDOM/MEDIUM/5SAT/UNKNOWN/
90/
unif-k5-r21.3-v90-c1917-S1305875336-097.cnf
RANDOM 90 1917 5 5 0 0 0 0 1917 0 9585 b3cf2670d50b8679bd962b141ac1ad44
RANDOM/MEDIUM/5SAT/UNKNOWN/
90/
unif-k5-r21.3-v90-c1917-S1331382449-070.cnf
RANDOM 90 1917 5 5 0 0 0 0 1917 0 9585 36a082b6f84518db1d26c17edc1bcd0c
RANDOM/MEDIUM/5SAT/UNKNOWN/
90/
unif-k5-r21.3-v90-c1917-S1410489780-030.cnf
RANDOM 90 1917 5 5 0 0 0 0 1917 0 9585 8a9e5a10d7167b9edb4334092b7b4912
RANDOM/MEDIUM/5SAT/UNKNOWN/
90/
unif-k5-r21.3-v90-c1917-S1916972979-060.cnf
RANDOM 90 1917 5 5 0 0 0 0 1917 0 9585 d29c11770d6610975a34617c3f7e4dcb
RANDOM/MEDIUM/5SAT/UNKNOWN/
90/
unif-k5-r21.3-v90-c1917-S291433416-025.cnf
RANDOM 90 1917 5 5 0 0 0 0 1917 0 9585 f605382d61971a127354e33363a04ef5
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/5SAT/UNKNOWN/
90/
unif-k5-r21.3-v90-c1917-S559732886-091.cnf
RANDOM 90 1917 5 5 0 0 0 0 1917 0 9585 3547ce771ce0dc5a0812b6017fd47b75
RANDOM/MEDIUM/5SAT/UNKNOWN/
90/
unif-k5-r21.3-v90-c1917-S712437980-063.cnf
RANDOM 90 1917 5 5 0 0 0 0 1917 0 9585 b463dbc968e6641b221ce623da961f00
RANDOM/MEDIUM/5SAT/UNKNOWN/
90/
unif-k5-r21.3-v90-c1917-S785082413-028.cnf
RANDOM 90 1917 5 5 0 0 0 0 1917 0 9585 13e9cb633f9b051a78e57cdfbe73ffb2
RANDOM/MEDIUM/5SAT/UNKNOWN/
90/
unif-k5-r21.3-v90-c1917-S845966893-046.cnf
RANDOM 90 1917 5 5 0 0 0 0 1917 0 9585 5cc6f84f110f3d0af812ff76f6bf656e
RANDOM/MEDIUM/7SAT/SATISFIABLE/
60/
unif-k7-r89-v60-c5340-S1096716652-027.cnf
RANDOM 60 5340 7 7 0 0 0 0 0 5340 37380 5b03a3f3b068376a14f73a415b34dbf6
RANDOM/MEDIUM/7SAT/SATISFIABLE/
60/
unif-k7-r89-v60-c5340-S1206040031-030.cnf
RANDOM 60 5340 7 7 0 0 0 0 0 5340 37380 f01a357506e46fa7e7841ae96b5e63ce
RANDOM/MEDIUM/7SAT/SATISFIABLE/
60/
unif-k7-r89-v60-c5340-S1514821049-021.cnf
RANDOM 60 5340 7 7 0 0 0 0 0 5340 37380 f4161d2880fd7bbc6678916071117669
RANDOM/MEDIUM/7SAT/SATISFIABLE/
60/
unif-k7-r89-v60-c5340-S1639151107-094.cnf
RANDOM 60 5340 7 7 0 0 0 0 0 5340 37380 bb2737f1555379d7532a4714c236afae
RANDOM/MEDIUM/7SAT/SATISFIABLE/
60/
unif-k7-r89-v60-c5340-S178043354-076.cnf
RANDOM 60 5340 7 7 0 0 0 0 0 5340 37380 1d34e3663c561a89d93a195f39097223
RANDOM/MEDIUM/7SAT/SATISFIABLE/
60/
unif-k7-r89-v60-c5340-S1828800850-025.cnf
RANDOM 60 5340 7 7 0 0 0 0 0 5340 37380 1799a7c7de2a9b5babcc69602c6767d5
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/7SAT/SATISFIABLE/
60/
unif-k7-r89-v60-c5340-S1858385213-060.cnf
RANDOM 60 5340 7 7 0 0 0 0 0 5340 37380 769b1d78f1df1ca341c4fa4a9e3927fb
RANDOM/MEDIUM/7SAT/SATISFIABLE/
60/
unif-k7-r89-v60-c5340-S2037556208-016.cnf
RANDOM 60 5340 7 7 0 0 0 0 0 5340 37380 420131c044d6c3aad62b65241fc230d6
RANDOM/MEDIUM/7SAT/SATISFIABLE/
60/
unif-k7-r89-v60-c5340-S326668183-079.cnf
RANDOM 60 5340 7 7 0 0 0 0 0 5340 37380 bdf81229b44197dff4efee16f75580b3
RANDOM/MEDIUM/7SAT/SATISFIABLE/
60/
unif-k7-r89-v60-c5340-S746386799-050.cnf
RANDOM 60 5340 7 7 0 0 0 0 0 5340 37380 89411b5855708a1ff19d84ad79be00ff
RANDOM/MEDIUM/7SAT/SATISFIABLE/
65/
unif-k7-r89-v65-c5785-S1146593655-045.cnf
RANDOM 65 5785 7 7 0 0 0 0 0 5785 40495 4f3aa79447d830354123007662a4d040
RANDOM/MEDIUM/7SAT/SATISFIABLE/
65/
unif-k7-r89-v65-c5785-S1223878722-065.cnf
RANDOM 65 5785 7 7 0 0 0 0 0 5785 40495 ba952995d391e0bb1228846b7000ce02
RANDOM/MEDIUM/7SAT/SATISFIABLE/
65/
unif-k7-r89-v65-c5785-S1366769180-095.cnf
RANDOM 65 5785 7 7 0 0 0 0 0 5785 40495 24a651376c44fe64c4aa5e817f0a506b
RANDOM/MEDIUM/7SAT/SATISFIABLE/
65/
unif-k7-r89-v65-c5785-S1645769281-097.cnf
RANDOM 65 5785 7 7 0 0 0 0 0 5785 40495 6923dc5685633b9bbf405cf2133639d1
RANDOM/MEDIUM/7SAT/SATISFIABLE/
65/
unif-k7-r89-v65-c5785-S1895787950-064.cnf
RANDOM 65 5785 7 7 0 0 0 0 0 5785 40495 54a96505caa013e850b03b843814f5cb
RANDOM/MEDIUM/7SAT/SATISFIABLE/
65/
unif-k7-r89-v65-c5785-S2060380282-019.cnf
RANDOM 65 5785 7 7 0 0 0 0 0 5785 40495 88a7084af5dd17420de308796e7679c8
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/7SAT/SATISFIABLE/
65/
unif-k7-r89-v65-c5785-S400088537-049.cnf
RANDOM 65 5785 7 7 0 0 0 0 0 5785 40495 a5c2d5c8780a4ba3adaa2befd47c4ac7
RANDOM/MEDIUM/7SAT/SATISFIABLE/
65/
unif-k7-r89-v65-c5785-S432895007-058.cnf
RANDOM 65 5785 7 7 0 0 0 0 0 5785 40495 b337f0a085d20c5033cb313ec673bed5
RANDOM/MEDIUM/7SAT/SATISFIABLE/
65/
unif-k7-r89-v65-c5785-S445910413-047.cnf
RANDOM 65 5785 7 7 0 0 0 0 0 5785 40495 94792c8e1ea4b54b79fb0ca4e6f889a6
RANDOM/MEDIUM/7SAT/SATISFIABLE/
65/
unif-k7-r89-v65-c5785-S709270457-007.cnf
RANDOM 65 5785 7 7 0 0 0 0 0 5785 40495 7d0170c2c90b6be41806d4509f495e21
RANDOM/MEDIUM/7SAT/SATISFIABLE/
70/
unif-k7-r89-v70-c6230-S1354285755-030.cnf
RANDOM 70 6230 7 7 0 0 0 0 0 6230 43610 66607d8f2eb60a58f4b25cefb4199529
RANDOM/MEDIUM/7SAT/SATISFIABLE/
70/
unif-k7-r89-v70-c6230-S1484713995-092.cnf
RANDOM 70 6230 7 7 0 0 0 0 0 6230 43610 51b5beb62ba2ddadbcd03c7139c7c934
RANDOM/MEDIUM/7SAT/SATISFIABLE/
70/
unif-k7-r89-v70-c6230-S1718226278-096.cnf
RANDOM 70 6230 7 7 0 0 0 0 0 6230 43610 35904e0c8ea78accb6323dc68b496f54
RANDOM/MEDIUM/7SAT/SATISFIABLE/
70/
unif-k7-r89-v70-c6230-S1723021362-073.cnf
RANDOM 70 6230 7 7 0 0 0 0 0 6230 43610 9e27250481876e41a2264caf2169cef4
RANDOM/MEDIUM/7SAT/SATISFIABLE/
70/
unif-k7-r89-v70-c6230-S1794178048-059.cnf
RANDOM 70 6230 7 7 0 0 0 0 0 6230 43610 f50dda60e1e45f85b822b6ad12182f2a
RANDOM/MEDIUM/7SAT/SATISFIABLE/
70/
unif-k7-r89-v70-c6230-S284173264-081.cnf
RANDOM 70 6230 7 7 0 0 0 0 0 6230 43610 e8f7903d690618b3eb32880d64fd6acf
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/7SAT/SATISFIABLE/
70/
unif-k7-r89-v70-c6230-S512486692-050.cnf
RANDOM 70 6230 7 7 0 0 0 0 0 6230 43610 751cca0f1a9f3ec1e9287cb296cf29d5
RANDOM/MEDIUM/7SAT/SATISFIABLE/
70/
unif-k7-r89-v70-c6230-S603077945-019.cnf
RANDOM 70 6230 7 7 0 0 0 0 0 6230 43610 ba7fab3ac0ce1b351c2d42cffabe6360
RANDOM/MEDIUM/7SAT/SATISFIABLE/
70/
unif-k7-r89-v70-c6230-S754967851-033.cnf
RANDOM 70 6230 7 7 0 0 0 0 0 6230 43610 ca6438c2650e1f6095e022fd7ba3c2d0
RANDOM/MEDIUM/7SAT/SATISFIABLE/
70/
unif-k7-r89-v70-c6230-S834811574-084.cnf
RANDOM 70 6230 7 7 0 0 0 0 0 6230 43610 f47b98142bda69eb96f4457b8b3ad814
RANDOM/MEDIUM/7SAT/SATISFIABLE/
75/
unif-k7-r89-v75-c6675-S1402156840-093.cnf
RANDOM 75 6675 7 7 0 0 0 0 0 6675 46725 3a21c2076cf8c7350d1388a742c488ff
RANDOM/MEDIUM/7SAT/SATISFIABLE/
75/
unif-k7-r89-v75-c6675-S1640054673-078.cnf
RANDOM 75 6675 7 7 0 0 0 0 0 6675 46725 983c11fe9a9bd4b15fdd321cb1aaf013
RANDOM/MEDIUM/7SAT/SATISFIABLE/
75/
unif-k7-r89-v75-c6675-S1988754311-026.cnf
RANDOM 75 6675 7 7 0 0 0 0 0 6675 46725 4c6698180e16258b697babf4cf0c76a1
RANDOM/MEDIUM/7SAT/SATISFIABLE/
75/
unif-k7-r89-v75-c6675-S342542912-045.cnf
RANDOM 75 6675 7 7 0 0 0 0 0 6675 46725 080829f316d0d50a199c4a4a09021eac
RANDOM/MEDIUM/7SAT/SATISFIABLE/
75/
unif-k7-r89-v75-c6675-S51205200-028.cnf
RANDOM 75 6675 7 7 0 0 0 0 0 6675 46725 28daa15bd31978d0b42959b6abf4709b
RANDOM/MEDIUM/7SAT/SATISFIABLE/
75/
unif-k7-r89-v75-c6675-S72273909-010.cnf
RANDOM 75 6675 7 7 0 0 0 0 0 6675 46725 f18bbe79897d776ef5b8ed738a35d3cb
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/7SAT/SATISFIABLE/
75/
unif-k7-r89-v75-c6675-S803029538-050.cnf
RANDOM 75 6675 7 7 0 0 0 0 0 6675 46725 eaeb9d206baf9bf4b9f4d0bb3c9943b4
RANDOM/MEDIUM/7SAT/SATISFIABLE/
75/
unif-k7-r89-v75-c6675-S803323266-025.cnf
RANDOM 75 6675 7 7 0 0 0 0 0 6675 46725 a11d406e9a87b0625224174ce3b9eaa2
RANDOM/MEDIUM/7SAT/SATISFIABLE/
75/
unif-k7-r89-v75-c6675-S819692891-023.cnf
RANDOM 75 6675 7 7 0 0 0 0 0 6675 46725 f025101ee357b099f3b22dfcd8620ffb
RANDOM/MEDIUM/7SAT/SATISFIABLE/
75/
unif-k7-r89-v75-c6675-S839983432-073.cnf
RANDOM 75 6675 7 7 0 0 0 0 0 6675 46725 61fe438f75f15b75b4359f74a1691313
RANDOM/MEDIUM/7SAT/UNKNOWN/
60/
unif-k7-r89-v60-c5340-S108799362-035.cnf
RANDOM 60 5340 7 7 0 0 0 0 0 5340 37380 a1a7c44aaefb9d151590a11e58c71aae
RANDOM/MEDIUM/7SAT/UNKNOWN/
60/
unif-k7-r89-v60-c5340-S1318210982-002.cnf
RANDOM 60 5340 7 7 0 0 0 0 0 5340 37380 7e88818ba4d3f0eeeb0b87f01ea89e01
RANDOM/MEDIUM/7SAT/UNKNOWN/
60/
unif-k7-r89-v60-c5340-S1559668863-058.cnf
RANDOM 60 5340 7 7 0 0 0 0 0 5340 37380 a3f3fd0be9c576316fd52f2f017266f9
RANDOM/MEDIUM/7SAT/UNKNOWN/
60/
unif-k7-r89-v60-c5340-S1703611043-077.cnf
RANDOM 60 5340 7 7 0 0 0 0 0 5340 37380 5a3058eca6d17c7e905cfeaf908c8bc0
RANDOM/MEDIUM/7SAT/UNKNOWN/
60/
unif-k7-r89-v60-c5340-S1772751287-054.cnf
RANDOM 60 5340 7 7 0 0 0 0 0 5340 37380 35065935e71c2ceef94b54d497dccd31
RANDOM/MEDIUM/7SAT/UNKNOWN/
60/
unif-k7-r89-v60-c5340-S197260469-019.cnf
RANDOM 60 5340 7 7 0 0 0 0 0 5340 37380 c0553d7e475dba3d28dcd703430a5f12
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/7SAT/UNKNOWN/
60/
unif-k7-r89-v60-c5340-S2065372010-022.cnf
RANDOM 60 5340 7 7 0 0 0 0 0 5340 37380 9c2e94bcd290d34e0b2c0cbd91a44953
RANDOM/MEDIUM/7SAT/UNKNOWN/
60/
unif-k7-r89-v60-c5340-S2099753268-053.cnf
RANDOM 60 5340 7 7 0 0 0 0 0 5340 37380 cb1f4edd1dcc152ccd33775552af7b56
RANDOM/MEDIUM/7SAT/UNKNOWN/
60/
unif-k7-r89-v60-c5340-S528193823-041.cnf
RANDOM 60 5340 7 7 0 0 0 0 0 5340 37380 c154bca4589ab170cd9a9501250bcf71
RANDOM/MEDIUM/7SAT/UNKNOWN/
60/
unif-k7-r89-v60-c5340-S703461330-034.cnf
RANDOM 60 5340 7 7 0 0 0 0 0 5340 37380 5871895160b61e33d95658e3a61619c3
RANDOM/MEDIUM/7SAT/UNKNOWN/
65/
unif-k7-r89-v65-c5785-S1171422074-087.cnf
RANDOM 65 5785 7 7 0 0 0 0 0 5785 40495 1a36742e374953fce9dd773ff1e5ac20
RANDOM/MEDIUM/7SAT/UNKNOWN/
65/
unif-k7-r89-v65-c5785-S1266438269-016.cnf
RANDOM 65 5785 7 7 0 0 0 0 0 5785 40495 166fa796e9e4e8cad989cc4a86020c12
RANDOM/MEDIUM/7SAT/UNKNOWN/
65/
unif-k7-r89-v65-c5785-S1551099861-042.cnf
RANDOM 65 5785 7 7 0 0 0 0 0 5785 40495 1971ae5cb46ad8bbc8e3b82792c4f819
RANDOM/MEDIUM/7SAT/UNKNOWN/
65/
unif-k7-r89-v65-c5785-S1610649331-094.cnf
RANDOM 65 5785 7 7 0 0 0 0 0 5785 40495 559244527104bd6e88d823e1ca1028fc
RANDOM/MEDIUM/7SAT/UNKNOWN/
65/
unif-k7-r89-v65-c5785-S1796956909-029.cnf
RANDOM 65 5785 7 7 0 0 0 0 0 5785 40495 42a0dcd09b57ad0eb87d8e8da7b56375
RANDOM/MEDIUM/7SAT/UNKNOWN/
65/
unif-k7-r89-v65-c5785-S1818347447-078.cnf
RANDOM 65 5785 7 7 0 0 0 0 0 5785 40495 16e4b9d806035068b91886cd39d11cb8
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/7SAT/UNKNOWN/
65/
unif-k7-r89-v65-c5785-S2142794689-088.cnf
RANDOM 65 5785 7 7 0 0 0 0 0 5785 40495 0f4b7bee4959ec0290a8262b27584313
RANDOM/MEDIUM/7SAT/UNKNOWN/
65/
unif-k7-r89-v65-c5785-S254828838-055.cnf
RANDOM 65 5785 7 7 0 0 0 0 0 5785 40495 49dcfc34ef97670988a946b0575b679c
RANDOM/MEDIUM/7SAT/UNKNOWN/
65/
unif-k7-r89-v65-c5785-S599916448-096.cnf
RANDOM 65 5785 7 7 0 0 0 0 0 5785 40495 5f04fc92392bf2bf11053ad43646135d
RANDOM/MEDIUM/7SAT/UNKNOWN/
65/
unif-k7-r89-v65-c5785-S857870897-089.cnf
RANDOM 65 5785 7 7 0 0 0 0 0 5785 40495 c58d3e32f1903c03b844745c17ddeb30
RANDOM/MEDIUM/7SAT/UNKNOWN/
70/
unif-k7-r89-v70-c6230-S1482824652-097.cnf
RANDOM 70 6230 7 7 0 0 0 0 0 6230 43610 1640cae151285022c447edfa087f7ec9
RANDOM/MEDIUM/7SAT/UNKNOWN/
70/
unif-k7-r89-v70-c6230-S1758422766-080.cnf
RANDOM 70 6230 7 7 0 0 0 0 0 6230 43610 d43ec7420ae06189526d8ca748662c3c
RANDOM/MEDIUM/7SAT/UNKNOWN/
70/
unif-k7-r89-v70-c6230-S184801254-020.cnf
RANDOM 70 6230 7 7 0 0 0 0 0 6230 43610 c42b25ec5d03f5e4d5a2a3426147c1d0
RANDOM/MEDIUM/7SAT/UNKNOWN/
70/
unif-k7-r89-v70-c6230-S1900558626-069.cnf
RANDOM 70 6230 7 7 0 0 0 0 0 6230 43610 febdf1b8ba5bbd40107a806ae2296ad3
RANDOM/MEDIUM/7SAT/UNKNOWN/
70/
unif-k7-r89-v70-c6230-S2028777924-038.cnf
RANDOM 70 6230 7 7 0 0 0 0 0 6230 43610 fe3309ffe1b711047a9fc636f2702995
RANDOM/MEDIUM/7SAT/UNKNOWN/
70/
unif-k7-r89-v70-c6230-S2125310989-062.cnf
RANDOM 70 6230 7 7 0 0 0 0 0 6230 43610 beb8ec5deb81221137327aa09f80e330
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/7SAT/UNKNOWN/
70/
unif-k7-r89-v70-c6230-S2141146009-040.cnf
RANDOM 70 6230 7 7 0 0 0 0 0 6230 43610 706f9f438d5c8feea78ebbd738aac840
RANDOM/MEDIUM/7SAT/UNKNOWN/
70/
unif-k7-r89-v70-c6230-S289069074-070.cnf
RANDOM 70 6230 7 7 0 0 0 0 0 6230 43610 6d110538c6795cd651a202a3fd6fda7d
RANDOM/MEDIUM/7SAT/UNKNOWN/
70/
unif-k7-r89-v70-c6230-S358640743-023.cnf
RANDOM 70 6230 7 7 0 0 0 0 0 6230 43610 093008c1ff7003864425a0786735d960
RANDOM/MEDIUM/7SAT/UNKNOWN/
70/
unif-k7-r89-v70-c6230-S884764237-004.cnf
RANDOM 70 6230 7 7 0 0 0 0 0 6230 43610 96ceaf7a09cf1a67341c76fb72be7203
RANDOM/MEDIUM/7SAT/UNKNOWN/
75/
unif-k7-r89-v75-c6675-S1299934729-015.cnf
RANDOM 75 6675 7 7 0 0 0 0 0 6675 46725 bcd262fcf09db79337137ea25c65ab0c
RANDOM/MEDIUM/7SAT/UNKNOWN/
75/
unif-k7-r89-v75-c6675-S1394630553-009.cnf
RANDOM 75 6675 7 7 0 0 0 0 0 6675 46725 699f3a80f674e8c0bc8bfc06cc4ce0c9
RANDOM/MEDIUM/7SAT/UNKNOWN/
75/
unif-k7-r89-v75-c6675-S1525918493-008.cnf
RANDOM 75 6675 7 7 0 0 0 0 0 6675 46725 8d13747fa44bd7d02e1fc5ca9353af8b
RANDOM/MEDIUM/7SAT/UNKNOWN/
75/
unif-k7-r89-v75-c6675-S1718100253-004.cnf
RANDOM 75 6675 7 7 0 0 0 0 0 6675 46725 8e5b8ce1a4edfef4a97a3ad9e571c97a
RANDOM/MEDIUM/7SAT/UNKNOWN/
75/
unif-k7-r89-v75-c6675-S1736708510-089.cnf
RANDOM 75 6675 7 7 0 0 0 0 0 6675 46725 a49ed3ca5dd834a3f2dad0ab32e44184
RANDOM/MEDIUM/7SAT/UNKNOWN/
75/
unif-k7-r89-v75-c6675-S2058039218-006.cnf
RANDOM 75 6675 7 7 0 0 0 0 0 6675 46725 89d430115ed57f7d5b6a0f9a2181e3b8
Bench nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
RANDOM/MEDIUM/7SAT/UNKNOWN/
75/
unif-k7-r89-v75-c6675-S2073320038-053.cnf
RANDOM 75 6675 7 7 0 0 0 0 0 6675 46725 300c8ae729fc4cfef7dfe1b29765ac92
RANDOM/MEDIUM/7SAT/UNKNOWN/
75/
unif-k7-r89-v75-c6675-S2142489608-055.cnf
RANDOM 75 6675 7 7 0 0 0 0 0 6675 46725 73f3f0cb39ec906200b237ac9eb2621d
RANDOM/MEDIUM/7SAT/UNKNOWN/
75/
unif-k7-r89-v75-c6675-S400162545-095.cnf
RANDOM 75 6675 7 7 0 0 0 0 0 6675 46725 310ed6d0d077472e2fa695d41b2a7009
RANDOM/MEDIUM/7SAT/UNKNOWN/
75/
unif-k7-r89-v75-c6675-S905029262-097.cnf
RANDOM 75 6675 7 7 0 0 0 0 0 6675 46725 17cdccd311f05672fec0c4cfd8164ebd
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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 nameBest results
on this
instance
Main categorySub categories#variables#clausesmin. clause lengthmax. 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 >5sum of clause lengthmd5sum
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