GBD-Logo
Select Context
Select 'cnf' Database

Query for Instances

Found 30090 Benchmark Instances
Quickstart
  • Query for Instances:
    Constraints are of the form "featurename operator value" and can be combined with "and" and "or".
    Query Example: track=main_2023
  • Download Instances:
    The file allinstances.uri contains the download links for the selected instances.
    Usage Example: wget --content-disposition -i allinstances.uri
  • Download Selected Database:
    Download meta
hash isohash family author result proceedings minisat1m filename track
00063d88244921d6ec46aeab6866a8e2 d642ae7fc5e1fd972d4b130407ea4519 miter biere unsat empty no 6s16.cnf.xz,san-6s16.cnf.xz anni_2022,application_2014,main_2015
00072cf107ae1349c8c59a15c5ce4af1 1ef05341ba4017bd107a9b2aa6bb2841 uniform-random hirsch unknown empty empty unif-c1275-v300-s428434218.cnf.xz random_2002
00076733bdbce94d7e44eca84f1425f0 a10da8b861b1e1a1a17af27060e94f6e petrinet-concurrency bouvier unsat empty empty vlsat2_16297_1562268.dimacs.cnf.xz None
000781b7a545fe723159e53127aff659 8bf4adb12d796e486a0915ecd7dce20f spectrum-repacking newman unknown empty empty 42-121369.cnf.xz None
000a41cdca43be89ed62ea3abf2d0b64 bb3b6ceaeee2d5e9fd8e1066389a8a94 sorting-networks ehlers sat empty yes snw_13_9_pre.cnf.xz anni_2022,application_2016,main_2021
000e4e0db67e27083649c20a2a3f761b 0e00b2eed7d862a9322e74aff1d2eb36 uniform-random unknown sat empty empty unif-k5-r16.0-v250000-c4000000-S2840568844400290198.cnf.xz random_2017
00107d84f57e2371476a7b2cabe0b351 74869413385b1be800a65bb6252cd90d sudoku zhenjiang unsat empty empty sudoku-N30-18.cnf.xz submissions_2022
001344c9b3cb1626af1c7c35155cf26a 72b1b54fb940ce8eb1855bbcd8d4a750 agile unknown unsat empty empty bench_13439.smt2.cnf.xz agile_2017
0020aa0c69379226948904ad455b6c09 7a6379702cd1a466bc7855c1fd39c502 uniform-random unknown unsat empty empty unif-k7-r89-v45-c4005-S179716588-02.UNSAT.shuffled.cnf.xz random_2007
00213e27dabcf679205144f3dde5d37e 0afa13deb8144c4a2a366fc314fed25a uniform-random unknown sat empty empty unif-p12-k5-r21.117-v250-c5279-S8618839184587418381.cnf.xz random_2018
0022f125b13bd7ccc91e793431c67a52 f29b0ffa0d1e3681bd2df2ad53f73afa hypertree-decomposition schidler sat empty empty Kakuro-easy-048-ext.xml.hg_4.cnf.xz None
0025a06f00f6e467f7cf4ef9e649b2a7 d702bb664671ea32cfe33b04ed2acf99 agile unknown unknown empty empty bench_15721.smt2.cnf.xz,bench_15754.smt2.cnf.xz agile_2017
00260e67c792062bc3e10e6b94522101 b43d7a0abfd9b9ecc7c8cdf07df14242 spectrum-repacking newman unknown empty empty 46-137775.cnf.xz None
0026aaf8bbf2df73cb5db34a7b7a7a04 d7f6183466dc80f719aed63fec0707bc spectrum-repacking newman unknown empty empty 42-132768.cnf.xz None
00274d0721d26f867b2573377712cac9 a98b53d0f8f0e2f592db32ad49a13198 bitvector preiner sat empty empty 27.smt2.cnf.xz None
002a0330958a14deb23dcc84b5489e8a 227779ac538cd3a2c78c6ff3d8cad235 scheduling manthey unsat empty no traffic_f_unknown.cnf.xz anni_2022,application_2011,application_2012,main_2022
002bed2572e6e326815e674f288de8b4 7a0032b8aad3b21cda036a79caa5f6eb fdmus unknown unsat empty empty fdmus_b21_341.cnf.xz None
003154fc91d34d29ec5cf93b0bc32143 3918389491f1e0424a221e5a508d30ff spectrum-repacking newman unknown empty empty 54-78879.cnf.xz None
0033baadbd48d3f880e9b5a733bd4950 767c3e4149c9da1265bdfdb3e1526766 graph-coloring vangelder unsat empty yes rope_0030.shuffled.cnf.xz anni_2022,handmade_2002
0035666407d4ccb5082630045d60a5fe dbcbcc0d7ada0bf52960d506ac2fdfc7 uniform-random unknown unknown empty empty unif-k5-r21.117-v300-c6335-S7321118839272301463.cnf.xz random_2012
0038cea06eae4c3234b7bb65d9a8497c 9ad8991134b4b8fce5115a69f27fb3e6 uniform-random unknown sat empty empty unif-k7-r89-v65-c5785-S709270457-007.cnf.xz random_2009
003a77d2aa15a5f93aa2cfe79b986c9e 52b4b2deffe6f3a04cde483bc0665f3a clique-coloring sabharwal sat empty yes fclqcolor-20-15-15.shuffled-as.sat05-1270.cnf.xz anni_2022,crafted_2005
003deabca05a76f3ee449221a80d8b62 b3577d5a29c8de66ba0ef905fbaf8d01 spectrum-repacking newman unknown empty empty 42-127629.cnf.xz None
0041051c73dcdd885d412a38e8b09fba 1731a457fce065a6a758b224839f45ee relativized-pigeon-hole elffers unsat empty no rphp4_065_shuffled.cnf.xz anni_2022,crafted_2016,main_2021
0041f01bcd7d0d1f9541cea6da79ad57 dbc0536d387cedf9d93e2cba738a15d5 subgraph-isomorphism anton unsat empty no SGI_30_60_24_40_2-dir.shuffled-as.sat03-118.cnf.xz anni_2022,handmade_2003
0042a627dfba7daa62d6ce175540c8a2 00e84d0fce166b24a60e3ea4f0c39069 uniform-random unknown sat empty empty unif-k3-r4.267-v12200-c52057-S523604335245593178.cnf.xz random_2013
0043cfdde474fa37dfeb5ce5952d22f6 e572d26645b1d19679631b2bd1f73955 uniform-random hirsch unknown empty empty unif-c2520-v600-s1111033636.cnf.xz random_2002
0049919cdf9556bfda5bb365af72414c 8bae8be4a4a1f4f09aaa6ddcf82a8c96 spectrum-repacking newman unknown empty empty 57-124044.cnf.xz None
004b0f451f7d96f6a572e9e76360f51a 8614f82909dc0eaab513724a4ecf9835 cellular-automata chowdhury unsat empty no spg_420_280.cnf.xz anni_2022,main_2021,main_2022,main_2023
005093e294b0ed0f7b23f341ff68968b b21f609b4df1cc4005ff03168b39dddd spectrum-repacking newman unknown empty empty 55-115476.cnf.xz None
00547b9476397463c8220560aeeea086 7048a928cf30d19ea90bf3d1226af0b1 agile unknown sat empty empty bench_3250.smt2.cnf.xz agile_2017
005522cf558f9b77ed345a289384e191 0b4af51b741fbb14bd00344a0cf306d5 uniform-random unknown unknown empty empty unif-k3-r4.25-v420-c1785-S1394036608-091.cnf.xz random_2009
00597fb425e994af7a9d224ef4d09fc4 3e16c3107f0876b1db6dc13f179964a2 spectrum-repacking newman unknown empty empty 41-118813.cnf.xz None
0059d4b1cf79efbc6e6ed50caee0448e 5865199aa84abc74c6a4626dae53555a graph-coloring pehoushek sat empty no 4col220_9_1.shuffled.cnf.xz anni_2022,handmade_2002
005ccb378ced61c02105ed7ee0a62038 9cc1026828eb0c34c158572ced7530ad matrix-multiplication markstrom unsat empty yes mm-2x2-5-0-s.1.shuffled-as.sat03-1496.cnf.xz anni_2022,handmade_2003
00613b57720df18bec8d8dc68dc57a7b bf482e8e134f686cb8d57bb4f1aa6799 spectrum-repacking newman unknown empty empty 51-135677.cnf.xz None
006282ac3d0013b911249d14c326f53d bd40bcc4daef04707a96e44a4eb0f14a agile unknown unsat empty empty bench_5908.smt2.cnf.xz,bench_5941.smt2.cnf.xz agile_2016,agile_2017
0062dc10471119b9e13da682216b190f 7e2613987e25c3050afcd89a56b4afc4 tree-decomposition ehlers sat empty no ex179_11.cnf.xz anni_2022,main_2018
0064aa2e16c9d4b18d32a45d3073fce9 1e7e0203228fbd91f74db79d140099fc miter goldberg unsat empty yes desmul.miter.used-as.sat04-330.cnf.xz,goldberg03:hard_eq_check:desmul.miter.used-as.sat04-330.cnf.xz anni_2022,application_2012,industrial_2004
0067d012901f358831afb6d6e5f83767 fbcb811266df25610bba15eddade86fd agile unknown sat empty empty bench_13811.smt2.cnf.xz agile_2017
006be0fb3ae0a75aac0e386c2e6c4669 71e6e1d39c27648e0bbb09f85e7c3123 agile unknown sat empty empty bench_501.smt2.cnf.xz,bench_502.smt2.cnf.xz agile_2016
006c57c6c09a6e4a4402f1dd264cab15 c6d26e830f3069a857bcf1d65abe592e spectrum-repacking newman unknown empty empty 49-114312.cnf.xz None
006cc1f4e081e7fd96a50a2171792f21 dfd70d15b08fede08d51912e1b1341f5 spectrum-repacking newman unknown empty empty 54-87110.cnf.xz None
006da0e3f4ad5b1ecd3651e66dbea36d fb3d274bc265898c6be7acd3a26c97da spectrum-repacking newman unknown empty empty 52-89991.cnf.xz None
006dcf7e3d0fa7c39b0f542ad0ec949e 1c04625e0d407e5572a1e49dfcf5bce8 planning froleyks unsat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=64 empty UNSAT_P_sat_snake_p05.pddl_30.cnf.xz planning_2020
006e293dfc476b21c246b963c6eb16b7 e783c7abe50390825c521d9adb1ad0f8 agile unknown sat empty empty bench_2778.smt2.cnf.xz,bench_2779.smt2.cnf.xz agile_2016,agile_2017
0071b624d91ebe408b0585f8c4e34fd9 ab1e93b4ab8be51c40a14b9543dd5c61 scheduling kummling unsat empty no ctl_4291_567_7_unsat.cnf.xz anni_2022,application_2013
0072b0ce5c4ab8386763d10ef88f636e 87e7af8fda89223e204d0171229619c4 spectrum-repacking newman unknown empty empty 49-118813.cnf.xz None
0072b38614d34eb3c6ffc36aef13ee3a 0130801e6dc199e8b5fcfb813f6f7729 spectrum-repacking newman unknown empty empty 60-116374.cnf.xz None
00784e1e1a9ae772aae7f33c1fa5fbe2 8152eb558f074c8088470f35bce4ed97 uniform-random unknown unknown empty empty unif-k7-r85-v200-c17000-S266028630-005.cnf.xz random_2009
00847fca81490df01b9e239fd6027378 570b13596b34c42f4f21c8830bf2a6c9 agile unknown sat empty empty bench_1614.smt2.cnf.xz,bench_1615.smt2.cnf.xz agile_2016,agile_2017
0085c7242003811caf4b7eff64022e55 1a7e89ef52d5a8988ea77b02ed7f30ef spectrum-repacking newman unknown empty empty 50-121857.cnf.xz None
008d1f79eec2b7712637e48aec7a63cd 1cf53ddb8e63e40181920c3b7980d77d spectrum-repacking newman unknown empty empty 53-105501.cnf.xz None
008d78352c3d630340e6a3ef0d7242d7 0ad5dd947099af3c0783274dd270672d spectrum-repacking newman unknown empty empty 54-132166.cnf.xz None
008e7716c69009090ff6bd0048dc55f8 be2f6ade7fb483507373d03afa16dca9 hardware-verification ibm unsat empty no SAT_dat.k10.cnf.xz anni_2022,application_2012,main_2023
008fa3f37db9759dee825665e78e2e80 f88f8e340f859815fa59e35258b23019 spectrum-repacking newman unknown empty empty 57-101750.cnf.xz None
0091ac9434f528a4007d82d2443d2dc9 2596746a3a5a1a98e989221c8a2bf134 argumentation niskanen unknown empty no ER_500_10_2.apx_2_DS-ST.cnf.xz submissions_2023
0092f19206d4641caaa3a638914bee3f a0d603e1998e9f10f0f64eb03cfe002b spectrum-repacking newman unknown empty empty 51-106342.cnf.xz None
0094d44002500c187e3c2d07a13bee7c db459329b26cef4c2cbd590442b6b877 uniform-random unknown unknown empty empty unif-k3-r4.25-v480-c2040-S926047226-039.cnf.xz random_2009
009a4a6c23299b864508393ee726625a f2fb36d7d50cf535e66d9112f7ce8296 agile unknown unsat empty empty bench_10899.smt2.cnf.xz,bench_10959.smt2.cnf.xz agile_2016,agile_2017
00a1604721e43896a93b5329e5b38af4 0cfbd3c5674cc518ec59cc385f71e49f spectrum-repacking newman unknown empty empty 51-127798.cnf.xz None
00a30fb1c0150fe3d6692afd2b220887 d3bca9554403ba14eb67668c5955d205 scheduling lester sat empty empty Break_triple_10_16.xml.cnf.xz submissions_2022
00a62eb89afbf27e1addf8f5c437da9b 0d70f59e9d0fbac87d26088a5f9a8812 unknown zhou sat empty no ortholatin-7.cnf.xz anni_2022,main_2018,main_2022
00a981f385cd209d41e1efa1f5f29bac cec04e06ad991983108fe7ed0cd92fea hardware-verification ibm sat empty yes ibm-2004-03-k70.cnf.xz anni_2022,main_2006,main_2023
00ae4072f9b57d5d3cfe8919aff1b776 fc97bd0ec4cb87b2f68aa86ced6b7939 bitvector preiner sat empty empty 163.smt2.cnf.xz None
00aec3b2e38968bf8a922709e2acfccd 46e8013cf9d4abccc77ac23ebae90828 uniform-random unknown unknown empty empty unif-k5-r20-v2000-c40000-S837431592-027-UNKNOWN.cnf.xz random_2011
00aefd1fc30c425075166ca051e57218 fdf55e1b02a137ed2884650e1b991092 planning balyo unsat empty empty barman-pfile10-038.sas.ex.15.cnf.xz anni_2022,application_2016,main_2022
00b1c27aee52d6dd9e112fa55d4cc1ca 97955f61242534e7f83a587498330ff7 spectrum-repacking newman unknown empty empty 44-133937.cnf.xz None
00b46ace235e3915a439c77a231a5657 ec7ff6e2dc7b5cbfac5fa6bbfbe4121c social-golfer mayer-eichberger sat empty no TableSymModel_output_7_3_9.bul_.dimacs.cnf.xz main_2023,submissions_2023
00b9b467c26540853360491401da61a5 187460f08c94149081ab81130be5c5ce bitvector unknown unsat empty yes minand064.cnf.xz anni_2022,mus_2011
00bb0b4ef28ed38c49de4c54b9fabc4d f5a9ab84b535fa44e91b7326cec9e453 cryptography-simon zhang sat empty no 25_2.cnf.xz main_2023,submissions_2023
00bbdbb1bc700e4c4ceb0d6e86e33c23 ed4d7d36d3f248f7bf8cba98c004bd01 glassy-gen ricci-tersenghi unknown empty empty glassybp-v300-s1496080651.cnf.xz random_2002
00be4c67683c8edeca138279e13942cb bd5a63b78505ee1e7a14d0ba36cbbda6 spectrum-repacking newman unknown empty empty 52-139122.cnf.xz None
00be590675417eba2bb2585790ac392d 5bce323bf7c9cc5fa639c275deeeb53e quasigroup-completion sorge sat empty yes iso-brn008.shuffled-as.sat05-2933.cnf.xz anni_2022,crafted_2005
00c4c1dfa04e7cd8b7abc80a4a4f7153 fb641e4d952898b3cd2a4bc89136cfd5 uniform-random unknown sat empty empty unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf.xz random_2011
00d0eef039aa1f9cf1cf2647a58fe313 50d41e6dc0691f590bb5921dcd7abf7d uniform-random unknown unknown empty empty unif-k4-r9.121-v8800-c80265-S4104809886357711891.cnf.xz random_2012
00d239e486137a4f7264adb4fb57d5ae a207e99f5dcfe500129f591ecbc4568b miter stanion unsat empty no hwb-n24-01-S1048418025.shuffled-as.sat03-1617.cnf.xz anni_2022,handmade_2003
00d25e6106c5c09bb5d8d0f7eae7385a c8567ebc5cdaea08c7e4796d3759ed84 spectrum-repacking newman unknown empty empty 54-106649.cnf.xz None
00d3338cd6cdfa099ff29f036c77d93d 572ec11b1a0c5b64909b3cec9d800157 cryptography gocht sat empty empty sha256__zeroOut_17__freeIn_21__seed_1.cnf.xz None
00d41fe5805aef9e2e3b63e1d9497edf 19ec4ae0785061b74a5a0afb01fc545b planning froleyks unknown https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=64 empty UNSAT_MS_opt_termes_p15.pddl_139.cnf.xz planning_2020
00d46b1518fddf95bc8ba424e1b5b77d a1dc58b83217220c28341ad72b0e3adc spectrum-repacking newman unknown empty empty 43-103175.cnf.xz None
00d5f0932042a96518b03e6fd2feaf48 42341b8aa4f6b19dd940332876db37ea spectrum-repacking newman unknown empty empty 56-115042.cnf.xz None
00d74259dcca2176f1cd561f52bc0326 018bf9b9f44b687473a6c8619ed01a0a uniform-random unknown unknown empty empty unif-k6-r43.37-v210-c9108-S5835296729793976499.cnf.xz random_2014
00e010712b854966aa56caf9c9dc4696 03bf2cec1365befee64db090b55e5c1c spectrum-repacking newman unknown empty empty 58-122927.cnf.xz None
00e1e5a05ed04bcb437bd7fc57a88b7f c7469e03c5c0b41ce9587e8a4f2cf998 uniform-random unknown unsat empty empty unif-k5-r21.3-v100-c2130-S1225022879-08.UNSAT.shuffled.cnf.xz random_2007
00e289099ea9bcef6a056a8c8ba8a3c0 5b42e642bcfcf38ae7330cd2b8f7bdbd bitvector kovasznai sat empty yes ndist.b.21497.cnf.xz anni_2022,crafted_2013
00e32767bee1894beb0b71867f279d36 7be8849a6dd0d5ecf129ff7de147769d spectrum-repacking newman unknown empty empty 48-136923.cnf.xz None
00e5aac4701e62ae50c9f1504057fce8 59892222332be61cacd06e08943bd5ac agile unknown unknown empty empty bench_10701.smt2.cnf.xz,bench_10730.smt2.cnf.xz agile_2016,agile_2017
00e974264f8f9048b68c983f36643115 6992f2cb21e2b75e7bf6742389baa01d spectrum-repacking newman unknown empty empty 47-108545.cnf.xz None
00ec2992d59f85705eb8e1f4f1e01b3d d0e5d8d44a8534076afaec8a6d0f6960 sgen spence sat empty no sgen4-sat-280-8.cnf.xz anni_2022,crafted_2012
00ecd19c442956ff9a22584fd9bf439e 08820662453c916fb282278a763e244c uniform-random unknown unknown empty empty unif-k3-r4.267-v5200-c22188-S8832663068472759902.cnf.xz random_2014
00ee79ac35e86f955a633d339777cfd5 7aa35da81a8fe8e59130034ec554590c agile unknown sat empty empty bench_1794.smt2.cnf.xz,bench_1903.smt2.cnf.xz agile_2016,agile_2017
00f122e0bb11a9bf197002715699e204 fc5cf9840e021a2930dc965e71a509de hardware-verification marques-silva unsat empty empty edn_20259_14.cnf_0.55000000.unsat.cnf.xz None
00f2eb377986e7decbc863931680a3b2 58ea2da369f461984afb6767e0e5da33 miter goldberg unsat empty yes rand_net70-40-10.shuffled.cnf.xz anni_2022,industrial_2002,main_2023
00f4aca773e5675f35263dcd46b15bde 755e0e8a5bdf16181846015a7838e346 cryptography grieu sat empty no vmpc_28.shuffled-as.sat05-1957.cnf.xz anni_2022,industrial_2005,main_2023
00f88a15e12e7b364077c33125a35547 6cd70b28d01f6e8cb50bd63e2aa97fe2 random-planted-solution unknown sat empty empty fla-350-6.cnf.xz random_2016
00f969737ba4338bd233cd3ed249bd55 64e930a465e08fb6bc8a6a49b64c7e7f graph-coloring pehoushek unsat empty yes 3col20_5_6.shuffled.cnf.xz anni_2022,handmade_2002
00fefbd32304db604a87910d187e8365 9eee8e6a47e5f25345b106791236d619 design-debugging marques-silva unsat empty empty rsdecoder-problem.dimacs_37.filtered.cnf.xz mus_2011
0101d013a916d903e8e618d7db1edbb3 d28afa3a5878b8932a4b1e3674d8b1f3 phnf heule unknown empty no phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.sat05-4189.reshuffled-07.cnf.xz anni_2022,crafted_2007
01077fa04638a98befd66bff16f4accd 02ac060e48c043aec868261c0698d802 spectrum-repacking newman unknown empty empty 41-126739.cnf.xz None
01079ada0aa5a4f3bf4bb131b807eb38 2e81f363188ec9367880c617b8456f26 spectrum-repacking newman unknown empty empty 53-105823.cnf.xz None
0107da33f8475f96dcaa3bd57e3cfb0f 8b7deecf61bf9b3e5feef0e08da94ce7 spectrum-repacking newman unknown empty empty 45-131201.cnf.xz None
0107f34364dfff8ab062193b2c71b4de 2bd0081d71b36b56448d72653dff77a0 minimal-superpermutation lester unsat empty no sp4-33-bin-nons-flat-noid.cnf.xz,sp4-33-bin-stri-flat-noid.cnf.xz anni_2022,main_2021
01092687660de604975b7e75932607b7 db3672e4bc91091221eeaabd8e8d4fb7 fdmus unknown unsat empty empty fdmus_b17_434.cnf.xz None
010a035bfd273b17438896d04f47b4be dd5f8858e75c4c27ade5dd5dbe7fdc3e alloy-vpn-models narain unsat empty empty narai-vpn-10s.cnf.xz,narai-vpn-sat05-02s.cnf.xz None
010c9d7a6e9e6cac63f110915d9dd56e 4034d18a0965b0d9f9eeba6b354329fc graph-coloring pehoushek unsat empty yes 3col60_5_9.shuffled.cnf.xz anni_2022,handmade_2002
010eb724ccc815100d40bcc948f9c598 e27d2a67b49efd00ba5d711e86016782 uniform-random dequen unknown empty empty gencnf-k9-r357-v46-c16422-01-S647636672.shuffled-as.sat03-1808.cnf.xz random_2003
01135f7a79d555bd0406f00fac22cbe2 2fadfdc4118ac6901c10d1e637fa8779 scheduling djamegni unknown empty no SC21_Timetable_C_140_E_29_Cl_10_S_15.cnf.xz anni_2022,main_2021
01136f74588604a67b5e5950a2525129 ee6fe11a0cacd1a36f502627264d9253 spectrum-repacking newman unknown empty empty 50-118842.cnf.xz None
0113bc2aba73927ba3828baab15fb8c6 b32d28413da132b1041bd3ed404b330e spectrum-repacking newman unknown empty empty 45-113925.cnf.xz None
0114ad337fee86dfb02871d8a971b130 7a7da9849869efd12640155936b57882 spectrum-repacking newman unknown empty empty 44-136586.cnf.xz None
0119a8fe54c110d927344cd950a43671 e56ca52f23a0d21a17394e41b87ce5ca spectrum-repacking newman unknown empty empty 48-136458.cnf.xz None
01209700b6b45ca5fda7fbcb17765db1 538ae4183d432caff70953db218c8e72 cryptography fuhs sat empty no slp-synthesis-aes-top27.cnf.xz anni_2022,application_2012,application_2013
0121f7a2adac25bb3f01fb841fdce55f 6e6fab621ff683ca2b0f6e831cfa128c uniform-random hirsch unknown empty empty unif-c3150-v700-s1612398163.cnf.xz random_2002
01225987412b6f8423cc68be93385f6e 182ce58e42831885a7ebda1b64a0821b hardware-verification unknown unknown empty no eqspwtrc16bparrc16.cnf.xz anni_2022,main_2019
01243b47967a3d012ea22e993355c833 37e3d3cbef9d5d6d44a152380a836ed2 hardware-verification manolios unsat empty no f8bidw.cnf.xz anni_2022,application_2012,portfolio_2012
012a40c3c94a3f1701efa5e73611529c 8d28e74ebfc10528e01f1c9cc8c15ce5 uniform-random hirsch unknown empty empty unif-c3500-v700-s994205410.cnf.xz random_2002
012e56e8b23c29cb222b64bdeb523409 a76739427e6c23878d91882cfa6940be fdmus unknown unsat empty empty fdmus_b22_630.cnf.xz None
01363e6edd7b668dcd8706534c4e1f4f 7ed90fd33f2497a523d0aa3b9c610734 spectrum-repacking newman unknown empty empty 48-132354.cnf.xz None
0136adb99bdca756b28f8aca2bf8a1b3 e3f46f90b4e11a83c66c73faa85de23f agile unknown unknown empty empty bench_10094.smt2.cnf.xz,bench_10164.smt2.cnf.xz agile_2016,agile_2017
013a51ccada51812061ed2d6504e23a5 beaea51d281d28def0df9d100039094c quasigroup-completion heule unsat empty no gensys-icl003.shuffled-as.sat05-3824.cnf.xz anni_2022,crafted_2005
013eb6c4963e5a4724c4b34599f0bb64 176bc09be3ae42707ab2cc1c0da33c97 spectrum-repacking newman unknown empty empty 58-128914.cnf.xz None
013ed5a359706d5bc4ce7e2dac38bad8 55b8aefcdc30afdaa2ec7dd7f60a8fa2 spectrum-repacking newman unknown empty empty 45-118599.cnf.xz None
0141b82b3d2a411d8c2168119e2d7452 31e650a27636d3719a15309982098297 graph-coloring vangelder unsat empty yes rope_0012.shuffled.cnf.xz anni_2022,handmade_2002
014a36afe8dfc0c7cd6098f66fb8756a e12cfa3649b556cb6bc7dc82d56d246d uniform-random unknown unknown empty empty unif-k7-r85-v240-c20400-S787287513-16.cnf.xz random_2007
014eb73b695be1a41c61e15ca919f0f8 61f0fc381d9940287208dcf1bc4c27aa spectrum-repacking newman unknown empty empty 53-132450.cnf.xz None
0151782431fa0ec1f855523721c52682 30a2168e1a52d7a797de64efdd1dfc0a spectrum-repacking newman unknown empty empty 58-122783.cnf.xz None
0151bedac526ee195bc52e4134cd80e7 4d1f1aa702b578570dfed05afa42f82e cryptography paxian sat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=79 no ssAES_4-4-8_round_8-10_faultAt_8_fault_injections_2_seed_1579630418.cnf.xz anni_2022,main_2020,main_2022
0151ced92d88d7b46424ccf1d26d7716 65ca551d2bb63f7150e41bbddbea65d1 spectrum-repacking newman unknown empty empty 48-132658.cnf.xz None
0152ba35c2942027426ebe4a074f5fdf dc44e8e82d444c96d9f9aebbc3965a3d spectrum-repacking newman unknown empty empty 58-123284.cnf.xz None
0152d286cde406747d179c36a95c2fdc 7b384790f4ebf824b8a70c2c25972fd0 bitvector kovasznai unsat empty yes shift1add.10000.cnf.xz anni_2022,crafted_2014
0154182ac2508df34a7bf7120a368e70 2620111e7b03b023e1a1d5eed916adbf spectrum-repacking newman unknown empty empty 47-132161.cnf.xz None
015a78f0b46546a98970be8f3101443c 5a5f8c506d17f2fd89d9cfa4825a9a35 uniform-random unknown sat empty empty unif-k4-r9.121-v8800-c80265-S8877237995837260201.cnf.xz portfolio_2012,random_2012
015a8c86d53869abb26f9dbe4a5f1e54 296bbfba5e197f8f67485a2cc138c78b uniform-random unknown unknown empty empty unif-k7-r87.232-v120-c10468-S8772423351461556100.cnf.xz random_2012
01653db16d6cedc27f5314d680efc055 44923333d2551e41aa5647a5408d797c random-planted-solution unknown sat empty empty fla-komb-220-5.cnf.xz random_2018
01657386753a1369dd286a3fee9062e4 9214287c8ef560033654e5f57482a4fd subgraph-isomorphism anton unsat empty no SGI_30_70_28_60_1-log.shuffled-as.sat03-176.cnf.xz anni_2022,handmade_2003
01665130994f549bc94ea4b1e91111cd 71caee81a9d312286fc1df570e88dc0a spectrum-repacking newman unknown empty empty 45-127683.cnf.xz None
0167ead7da1e981805564ca981f64bea 862a6c8dbaf820705052d041b91a5a40 unknown unknown unknown empty no aim-200-6_0-yes1-4.cnf.mis-135.debugged.cnf.xz anni_2022,crafted_2012,portfolio_2012
016ad2dcc5ac2bb3eb555f2a8a6e412b 0eb14b3527c7e0c5d2c77ff9c0f1e9e9 social-golfer mayer-eichberger sat empty yes TableModel_output_5_3_7.bul_.dimacs.cnf.xz submissions_2023
016fa607917cff1ece5bd5c624a49491 ce58a4b422151ff5a8e63a43f0f7c1cd agile unknown unsat empty empty bench_7620.smt2.cnf.xz,bench_7622.smt2.cnf.xz agile_2016,agile_2017
0174593b6652936010405e3f4b6799c1 5278a789fee1b7f34be588e08877e4a5 spectrum-repacking newman unknown empty empty 58-115687.cnf.xz None
0176764afff2ea9f16a90fec9a516ed2 2a5b4cefb2d246a685830ea88f3ca595 polynomial-multiplication maoluo unsat empty empty newpol31-4.cnf.xz None
0177419016ca9d3abad0c15998bdf72f 5e7aa888c717a728045c1b92d99b4e2c spectrum-repacking newman unknown empty empty 58-113941.cnf.xz None
01796eb1fc5b82e2d36e60dacb631250 c4422e976555f0c9d09b790984c97257 spectrum-repacking newman unknown empty empty 59-118978.cnf.xz,59-119163.cnf.xz None
017ba03ed108f492c9293c7c95e5cae9 26abc879bcffc5d1615ce8d9ca98a71b miter xindi unknown empty no multiplier_14bits__miter_14.cnf.xz main_2023,submissions_2023
017bba0f995e6d9921253e5a59521435 cffc82b571dd2acddcaaaa8f9c6f39a4 fpga-routing goldberg sat empty yes 9symml_gr_2pin_w6.shuffled.cnf.xz anni_2022,industrial_2002
017d217fc0568c83c47f2c35bb685481 1c29b7190a5ddff5da1cbc43eb48ddae spectrum-repacking newman unknown empty empty 47-123642.cnf.xz None
017fe0fa773f3213acb3fc70d12a0d5f f27fa1ea6512ecad77adc59918c6df56 agile unknown unsat empty empty bench_16162.smt2.cnf.xz agile_2017
01813075a2ddb68ae1fc655ca003437e 78d905945e2d26be77045f66fe6eff2b cryptography gocht sat empty empty sha256__zeroOut_12__freeIn_16__seed_1.cnf.xz crypto_2021,main_2022
01843a0195183ca14246a88bf7bad482 e3816fdaa929f5e8036ae0a62bec1bfe bitvector unknown unsat empty yes smulo016.cnf.xz anni_2022,application_2009,mus_2011
0184fc46a3e15163bf4f114a2689fe5c 6af6b14a52c13f977295958f3ecbe087 circuit-equialence-checking junhua unknown empty empty hyp_cec_multi_7.cnf.xz submissions_2022
018b45eea6e1db3dc076ce5650c1b33a 8d09721d41450bfd68d63ed1a9e9ff71 spectrum-repacking newman unknown empty empty 54-123602.cnf.xz None
018baa8023b064875f9459bb4b164239 febf50fd1e83a584e7fed63a6eded6fb spectrum-repacking newman unknown empty empty 46-138524.cnf.xz None
018e0d55855905e9914c4c1af52eea55 c6c7df7c2c5cfd818c172da8ba46acf3 random-planted-solution unknown sat empty empty fla-komb-520-3.cnf.xz random_2017
019044d2c20a2f868da3325a8392ae49 3299ee38c5005e8395c7fe050247f977 spectrum-repacking newman unknown empty empty 59-135472.cnf.xz None
0191a0bf3412ed407ba669f8d69081ee 88513f91fafb488773e76f74778f7fee planning surynek sat empty no mrpp_6x6#18_20.cnf.xz anni_2022,crafted_2013,main_2023
019312023ae44dd892cd3f62550aea6e 695121699b810730ad5c10bc352b9111 uniform-random unknown unknown empty empty unif-k5-r21.117-v300-c6335-S391260049426063227.cnf.xz random_2012
01933666e24a4fcb6240ce46b6160380 0f1850c0dfe29917d85342bd97ed4ae4 uniform-random unknown unknown empty empty unif-k4-r9.931-v800-c7945-S6410029877538796012.cnf.xz random_2012
0193bb2b5b7c07ad179001c34a885f6c e73f2d76c9e5054ce3d77468a96166d7 agile unknown sat empty empty bench_3075.smt2.cnf.xz,bench_3076.smt2.cnf.xz agile_2016,agile_2017
01943b1d6f8e65a44e99f97da3236241 9f7768dc3c9ded993f8ce10a8106d284 hardware-verification velev unsat empty empty 5pipe_5_ooo.cnf.xz None
0194a15658e15953f779d436681f1199 7f6dd7a177e712dd1e989ada8cd568a2 uniform-random unknown unknown empty empty unif-k3-r4.2-v10000-c42000-S971732863-03.cnf.xz random_2007
01950351dd73990085d75e125b1551de 53abf185294fcafef98ae04bd3e57a45 spectrum-repacking newman unknown empty empty 43-134983.cnf.xz None
0195cb8a6b36b6e6fe6b23365828e198 01694f4fae58a3438b05ef454e503509 uniform-random unknown sat empty empty unif-k3-r4.261-v650-c2769-S1172355929-14.SAT.shuffled.cnf.xz random_2007
01966a0fc52b2200a13f5f835275a919 5a9dd00cd47caff7e82d76b201b10ba9 subgraph-isomorphism anton unsat empty no SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf.xz anni_2022,crafted_2011,handmade_2003,main_2023
01979ca4966cc363ec3caeebd8d3fc31 50200af14cbde01d7e16d4ab18015ef4 generic-csp connamacher unsat empty no connm-ue-csp-sat-n600-d0.04-s1979668539.used-as.sat04-981.cnf.xz anni_2022,handmade_2004
019dc69c96737c3d62696c9acf3edf1b e9276a91f8520ce1f06b723511caf417 cril-misc frioux unsat empty no T107.2.0.cnf.xz anni_2022,main_2018
01a160920ac2891c97339805cb3093b1 018d99e4a2d53358183ff8bfa8ffee60 spectrum-repacking newman unknown empty empty 55-134244.cnf.xz None
01a2e098e96522a52a76c783a5b0b587 a7f1c9a1f731ab0d2dfe891ac0adc99b spectrum-repacking newman unknown empty empty 58-104701.cnf.xz None
01a74343f618546e9ad2a60849140317 ec7f4fef90ed4b7ced88db05c57ceddb graph-isomorphism mugrauer unsat empty no crafted_n12_d6_c3_num26.cnf.xz anni_2022,crafted_2013
01a7a38902771cf5e7f37b7e0275b0fb 86418e869563d642bb9b4904aedbb2e8 spectrum-repacking newman unknown empty empty 54-132004.cnf.xz None
01a82297e8d8f68eeeb26329d1bf26c2 6c527d38fafebbf6fb1d6ab65fee4bb9 uniform-random unknown unknown empty empty unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf.xz random_2009
01af042093bf36119811b6e658e7a231 6b85e5324af02ab35dcac01b2488e57d even-coloring elffers unsat empty no ecgrid6x155_shuffled.cnf.xz anni_2022,crafted_2016
01b105afb0dcb7a28cfe775c98b6ee00 e763c70ff34cd334bb5448dc7f263975 fdmus unknown unsat empty empty fdmus_b20_94.cnf.xz None
01b4cb9b343aef8334f5d22e4d8f0380 bb084c59142619046f9535ed3c48739a spectrum-repacking newman unknown empty empty 46-129990.cnf.xz None
01bc467c0134087a88cb308e5fb259ec 91142f9181de9465beebbb83ab8078e9 fdmus unknown unsat empty empty fdmus_b17_868.cnf.xz None
01bc4d75a43a8293132d0be627341207 ad3fbd16f7906c4d765f7414f63604f4 2d-strip-packing leberre sat empty yes E04F19.cnf.xz anni_2022,application_2011,application_2012,application_2013
01bd0865ab694bc71d80b7d285d5777d 229a1d5cc46e471a427367c4c0d72a41 hardware-bmc unknown unsat empty yes shuffling-2-s1480152728-of-bench-sat04-434.used-as.sat04-711.cnf.xz anni_2022,industrial_2004,main_2023
01c09bcfbd1f9c2cf781d37abdfc7473 7bc7b2c3d127195ba71f65bbe4334e60 spectrum-repacking newman unknown empty empty 60-119091.cnf.xz None
01c48559d4870a5f3216291060fbeb39 1a626feffb86aa1a3b504a6a16de34ca uniform-random unknown unknown empty empty unif2p-p0.8-v2035-c6328-S262114230-17-UNSAT.cnf.xz random_2007
01c64036a1e08f96e79e92d72cb8626c a3cbbab0fe846b2dfab94a0c0f6d5965 fdmus unknown unsat empty empty fdmus_b20_360.cnf.xz None
01cced75cb378574bc849f76e909c94f 2ea84ac9eda09d87a2187d92895763a2 spectrum-repacking newman unknown empty empty 56-110984.cnf.xz None
01cf0326d2ab46b71fe4e2eac97b2b18 9951bf6f7052c8a9b7d499bcc567fbd4 relational-dependencies jamali sat empty empty MVD_ADS_S8_9_9.cnf.xz None
01d037bf22a943430790eedd667f415e d7a796ec583cb0f90481592db1c52b1d spectrum-repacking newman unknown empty empty 60-128351.cnf.xz None
01d12e6a44b845def1455663b490d7cc f68db0a331b6c79a11199cbf9ff33b57 uniform-random unknown sat empty empty unif-k5-r21.3-v120-c2556-S1503318847-091.cnf.xz random_2009
01d142c43f3ce9a8c5ef7a1ecdbb6cba 5375781cee9171c29fe1cc5adfcf63a6 tseitin chu-min-li unsat empty yes urquhart3_25bis.shuffled.cnf.xz anni_2022,crafted_2011,crafted_2012,handmade_2002,main_2022,portfolio_2012
01d494c2afa4960a236bf8412e2bd08a 63ad4d4c5cd42526fa69ca73bf1e4564 hardware-verification manolios unsat empty yes manol-pipe-c10id_s.cnf.xz anni_2022,main_2006
01d55a3ba267f6b2a2911c9239f2bd31 ff2b4342555cf79488ccafc6ea094245 agile unknown sat empty empty bench_8567.smt2.cnf.xz,bench_8700.smt2.cnf.xz agile_2017
01d7029fd605b0f8aa31ce2260b9f874 5d33dfe17c011cf3338598a58b6586ed agile unknown unsat empty empty bench_14278.smt2.cnf.xz,bench_14280.smt2.cnf.xz agile_2016,agile_2017
01da0d23a7273b00c0252c1ca964444f 5ad31233e5cd496b90ac0be9eae71f54 uniform-random unknown sat empty empty unif-k5-r21.3-v120-c2556-S1963731659-060.cnf.xz random_2009
01db0170c4c634550cc710a645093cfb 2317acdaf3120bf64422cda64b559753 uniform-random unknown sat empty empty unif-k7-r87.79-v106-c9306-S474537854752200584.cnf.xz random_2013
01dd5feb463fa80f73809718f6ff735b a0b6e6ea6584ae654126948c9f356f76 hardware-verification velev unsat empty no 10pipe_q0_k.cnf.xz anni_2022,application_2012,application_2013,application_2014,main_2015,main_2023,portfolio_2012
01df60e0a1690421fa6d8e73358af751 fc4a23b46bc27e56fe7aa1f2ccded571 agile unknown sat empty empty bench_1173.smt2.cnf.xz,bench_1174.smt2.cnf.xz,bench_742.smt2.cnf.xz,bench_744.smt2.cnf.xz agile_2016
01e407c1be777e7a6bff6f69c871191e 51385a5f38f792817e081e56c84fca3b fdmus unknown unsat empty empty fdmus_b22_656.cnf.xz None
01e457295031b531787c8f092a9487f1 6c22dda9dd7170fca112459597f183b1 spectrum-repacking newman unknown empty empty 45-132805.cnf.xz None
01e460fb1710367a663ab3f7274270db 77bd1e29c2687771db21d5a8d901ad72 spectrum-repacking newman unknown empty empty 45-117366.cnf.xz None
01e6b02d61a5105f4cc4d1275e4ee626 076077584e03b4c63c950a1671d76f04 uniform-random unknown sat empty empty unif-k5-r21.117-v200-c4223-S4002140054644802477.cnf.xz random_2016
01e7e51d745a9ffd5d8c0d4be157a6ea fb574f7a9c243e443ce992556d6cfe7f uniform-random unknown unknown empty empty unif-k3-r4.2-v19000-c79800-S1330787624-15.cnf.xz random_2007
01efd93e498fa0aa8b15a225c0222824 fecf977e898bf0513a58f1ba12870ec0 fdmus unknown unsat empty empty fdmus_b14_165.cnf.xz None
01f6f378126fba702bfdca976b9ae406 13ffffb7e1880eb308478b8cdb78781f spectrum-repacking newman unknown empty empty 46-127469.cnf.xz None
01fb606163f23f52d676aa4f46b4381a 6b5965a084d1e9236648d9daff1e1c91 uniform-random unknown unknown empty empty unif-k4-r9.931-v1700-c16883-S9029530188338078272.cnf.xz random_2014
02009b14e291072e12a5b27dffdf5a7b 83d73a39f459d2ef98be908443fb78c0 hardware-verification velev unknown empty empty 9dlx_vliw_at_b_iq8_I3_C24.cnf.xz None
0202cc5d16223bceb61e66cc4d7168f7 9e8fe3f7aff06f1ce2f81135dfead849 spectrum-repacking newman unknown empty empty 58-105948.cnf.xz None
0202d973562cc1efd380b93faf711df3 34d97e96efa5d00a1c73765c07cc67f1 spectrum-repacking newman unknown empty empty 48-114143.cnf.xz None
02039a75cd47093fce9f1af3ab61a5e8 3afd9108496b16c3ae403062b09e274b spectrum-repacking newman unknown empty empty 42-113961.cnf.xz None
0205c97b33f228ca830b36156eae9bc9 6dfb47d3d18a0c5b838f58a65f048296 random kullmann unknown empty empty okgen-c1890-v450-s1673494695-1673494695.shuffled-as.sat03-1699.cnf.xz random_2003
0205e0724a8a912dde9ad7dfba2aee0b f7d23a28efe988b74ef9be20931d23ff cryptography nossum sat empty no 003-23-80.cnf.xz anni_2022,application_2014,main_2022
02066c116dbacc40ec5cca2067db26c0 5cf868fa1b66e35fedbcdba5b6a33044 planning surynek unsat empty no mrpp_4x4#12_12.cnf.xz anni_2022,main_2015,main_2023
020bb8e3ad83c3e377648b6103c6fb4a c49478d4efcb193dad72bb6345d15131 spectrum-repacking newman unknown empty empty 53-90970.cnf.xz None
020c63aa1ae5c6fe7aeb8e2fbef99a3c 36c5cffec002aa42566a38534a547fbe edge-matching holten sat empty empty b2005-p3-14x14c17h9-Ser4-0.cnf.xz None
021331d523ad3092616ff99cf0c6c355 549033bd619626634d607482ec19c408 cryptography heule unsat empty empty arcfour_initialPermutation_6_14.cnf.xz anni_2022,application_2013,application_2016
021686368317a35103f1f671f783d958 aba56e13d6a8a83ded3c82a3a4f396c2 hardware-verification velev sat empty no velev-npe-1.0-9dlx-b71.cnf.xz anni_2022,application_2011,application_2012,application_2013,main_2006,main_2008
0216f9d35f2b695b904fffb312e3e611 9b527a8fb47912318640ddced14d1903 cryptography scheel sat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=68 no cms-scheel-md5-families-r24-c11-p1-4-6-9-10-11-13-15-17-18-19.cnf.xz anni_2022,main_2018
02189c82c0395b9968ecb32895bc73c2 760f2deac7067f027982d911d50f19db uniform-random unknown unknown empty empty unif-k7-r86.395-v150-c12959-S7127314808333622769.cnf.xz random_2012
02197ec055ea06c347bf1c6ceb6facf7 a1a037134e6c5db82745f9a827a6fb8b cryptography fuhs unknown empty no slp-synthesis-aes-bottom24.cnf.xz anni_2022,application_2011
02223564bd2f5c20768e63cf28c785e3 d2b06175765e907d90d9161bbddffd9d cardinality-constraints wynn sat empty no mp1-squ_ali_s10x10_c39_abio_SAT.cnf.xz anni_2022,main_2017,main_2021,main_2022
02257f12aa71e6622d2bf4d0f7111ebf aecc45e149cf2ad6586239f232120997 sgen spence unknown empty no sgen1-unsat-139-100.cnf.mis-105.debugged.cnf.xz anni_2022,crafted_2012
0225fa9581c622e5abbc8497a97edf4e 30dfd5c7238bcea13fc5bd88909095cd random-planted-solution unknown sat empty empty fla-qhid-360-4.cnf.xz random_2018
0227c865edaeda75e13eea36d57b7eed bfe345984ddb73ac61b7214bfd90ceca bitvector biere unknown https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=56 no sdiv40prop.cnf.xz anni_2022,main_2018
022b841952d37f0d6a0d050c9b4b0071 6caebead460ed943af79cd97e2743bfc miter goldberg unsat empty no goldb-heqc-i8mul.cnf.xz anni_2022,main_2006
022d902dc901cc9dbcb9e9af8b6728e2 488c257fe21c58908d38c57f0a673a90 spectrum-repacking newman unknown empty empty 56-123511.cnf.xz None
022d99ed11a6bbad03a8d07be558411b b092dd4339f8a850a32ca212066c5c90 spectrum-repacking newman unknown empty empty 55-112996.cnf.xz None
022dc7e9935f3570c088db58bd84b2c6 68f50c692593bc25e0beaacb7ec16ba9 planning surynek unsat empty yes mrpp_6x6#12_8.cnf.xz anni_2022,main_2015
022e05157f3057a9888a85eb94a26d3a 5194fb30267d4951097c6c081c5a5f69 uniform-random unknown sat empty empty unif-k3-r4.25-v450-c1912-S216896591-15.SAT.shuffled.cnf.xz random_2007
022fd6b1d5a66e11de5fdb58d51db99c 1dd9d4c910c21555cf6146a9853090d6 uniform-random unknown unsat empty empty unif-k3-r4.261-v600-c2556-S1121556476-05.UNSAT.shuffled.cnf.xz random_2007
0230774d18baa0fb8e3267dcac0014f3 c301e54afc1313c9381e768cd9e05aed spectrum-repacking newman unknown empty empty 49-126600.cnf.xz None
0232a4f59601e7a78fa29e06d5091764 8b2e1784575f08e9ea09a35cb39b3e0b spectrum-repacking newman unknown empty empty 59-133416.cnf.xz None
02393be00525d205cbe0b6ca8ed22f48 5d9868be5eac2ed1b601c5c47487cf8c random unknown unknown empty empty OKgenerator_s0=32s1=14n=8000l=3cp=33600-Dnr0=0nr1=5-o.shuffled-as.sat05-1694.cnf.xz random_2005
023e522c9160d4d1584c5ce1a6ce48d1 a544d91723cafae6a206ab7045ae1fef random pehoushek unknown empty empty 5cnf_4100_4100_50f5.shuffled.cnf.xz random_2002
02404a08ea36dd43362bbddc578c839d d3a608c89278d7ac35aae1e509caffb7 scheduling kummling unsat empty no ctl_4201_555_unsat.cnf.xz anni_2022,application_2013,main_2021
0240f5bddc39ad2f0a786c811fc434a8 0cd2aea85d4aaf9b304e97c60779d472 scheduling djamegni sat empty no SC21_Timetable_C_542_E_71_Cl_36_S_35.cnf.xz anni_2022,main_2021,main_2022
0241f35c5752768d2b0580533d143a14 0512de646a4a96e70c24d03bd7b7db08 spectrum-repacking xindi sat empty no 53-131587.cnf.xz anni_2022,main_2020
0246c609c3a0f893028313b2291dac7c 2af6a2f1e2c0d74d561cb30ed3c10b07 spectrum-repacking newman unknown empty empty 47-133761.cnf.xz None
024750eb1d45dbe3c081ff3372fff5be a752f1a9f803bb423b06948e15cf962e spectrum-repacking newman unknown empty empty 49-23534.cnf.xz None
024af9416f8c1dad1b4f974757e38d51 24db3ea20dd1fd354161c3e144dd6288 unknown mayer-eichberger sat empty no 8-5-6.cnf.xz anni_2022,main_2018,main_2020,main_2022
024bff5f92c610e530b3756f2ccb037d 81942ffa3d7fed09e751ee36e98b8a7e spectrum-repacking newman unknown empty empty 45-101800.cnf.xz None
024d71cebfe2f5c3b574e2482b2c7b66 99b859459592bf32b11a210db9c432f8 uniform-random unknown unknown empty empty unif-k3-r4.2-v4000-c16800-S1946534526-16.cnf.xz random_2007
024ea469a7c368eadf441544cae9f90c 6a403552b183af427d1b2362509a0f64 spectrum-repacking newman unknown empty empty 60-124891.cnf.xz None
02505bcdae17368b0b44efe673160eda b8df0e46dc12bad30eb57f839586619f agile unknown sat empty empty bench_5114.smt2.cnf.xz,bench_5115.smt2.cnf.xz agile_2016,agile_2017
0257941d88a81ef2839a94587d03e87f 2f8d0052e15a02f62adac77f331d1b26 spectrum-repacking newman unknown empty empty 59-74078.cnf.xz None
025890af6c6f91ea4e405dbccab6be90 bd3b946b6522fa22d173b83e722a1e9a edge-matching unknown unknown empty empty b2005-p2-12x12c10h7-Ser7-0.cnf.xz main_2021
025b05bcc900fa8e2675ba23c6e6d454 27185b3f3e42ca4fc189dae00838b535 random kullmann unknown empty empty okgen-c1300-v650-s1509540531-1509540531.cnf.xz random_2002
025b4355cf82995a0c901b109bb2be55 f4ef1d87f2a912eff28e51f94fbb715f agile unknown unsat empty empty bench_5103.smt2.cnf.xz,bench_5113.smt2.cnf.xz agile_2016
025fe6b9b2e74c53011badb9f2c79976 80a386bd4a606f4593a6a4b0ff3d5afb spectrum-repacking newman unknown empty empty 47-120087.cnf.xz None
02609dfe236c0c2beeac79e61cbe6151 989cce1ef16ef04e29589976e29c235b hardware-verification velev unknown empty empty 12pipe_12_ooo_q0_T0.cnf.xz None
0261b44c278c36459061c368aa00575a 582f536405fcb8df991431b4084b23b7 erdos-discrepancy heule sat empty no EDP3-12000.cnf.xz anni_2022,crafted_2014
02627689047d06fbb642eef14768d751 27b1edece5e3a30d93ad05a3a97abb60 cellular-automata chowdhury unsat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=75 no ps_200_300_70.cnf.xz anni_2022,main_2020,main_2022
0262e0507796703aeed95b8eb6346828 9da6238cf75f591b96f76faff932f973 cryptography gocht sat empty empty md4__zeroOut_19__freeIn_23__seed_0.cnf.xz None
026697efcbda72c2263c11b12cd22677 4f53005a3f2322fa17ebc02922b7e292 design-debugging marques-silva unsat empty empty fpu3-problem.dimacs_18.filtered.cnf.xz None
026c28cff76457b2fa8eba99520a0f9a 07fc8b163bc4ad23d0a8978517d6247a uniform-random unknown unknown empty empty unif2p-p0.9-v1170-c4235-S1138392605-05-UNKNOWN.cnf.xz random_2007
026d5d5889dc62956ad30fa3a6ed61e4 f724fc23cfdc80349711bb510df63542 spectrum-repacking newman unknown empty empty 56-108570.cnf.xz None
0272edf70e38a36b32b924ceb16c7156 db89698586bd1dd20abe364307482e15 spectrum-repacking newman unknown empty empty 49-120481.cnf.xz None
027330866147a897c5c9b5d4d47d28cb 2849b1d99c32fb61235c71e3c0ac79d5 spectrum-repacking newman unknown empty empty 44-123759.cnf.xz None
0275407378707ad9eed2f8b30386a789 fedb729527c6e7399f25e33804e12ef9 agile unknown sat empty empty bench_5463.smt2.cnf.xz,bench_5494.smt2.cnf.xz agile_2016
027761d107a7927810afd569bfd81a4e dc375270081385ca0b6d6cb76fcb0e03 random kullmann unknown empty empty okgen-c2925-v450-s267765658-267765658.cnf.xz random_2002
0278eee117c3821771e2d18d710a89ad 876f9f53125a09ce7d420dd8d73c5ef2 equivalence-chain heule unknown empty no equilarge_l5.sat05-522.reshuffled-07.cnf.xz anni_2022,crafted_2007
027b35979bc619b89cad395d958b3270 09b78fbd6a70eee42055765291540832 spectrum-repacking newman unknown empty empty 43-100044.cnf.xz None
027dd75e80e8fd4374ed8eec187f956a 685494acba1e4fd027c174e4418d2c2e agile unknown unsat empty empty bench_138.smt2.cnf.xz,bench_1401.smt2.cnf.xz,bench_14051.smt2.cnf.xz,bench_14056.smt2.cnf.xz,bench_3638.smt2.cnf.xz,bench_3688.smt2.cnf.xz,bench_58.smt2.cnf.xz,bench_59.smt2.cnf.xz agile_2016,agile_2017
0286e90d6f0176c6f49ca4b6d0c08dff 9a486fb34862ce5a5646f7b753415fd7 spectrum-repacking newman unknown empty empty 46-128169.cnf.xz None
028d0cc7af63e9bba5795f20e24db4f6 60d9b7ee8c58b2f8f6ad4273aa7311bd prime-factoring pyhala sat empty yes pyhala-braun-sat-35-4-04.shuffled.cnf.xz anni_2022,handmade_2002,main_2023
028d1cef617dc62904ce9a7718081d4b c20a701f7d8034bf86bf00dfeeae9128 agile unknown unsat empty empty bench_16585.smt2.cnf.xz agile_2017
0291268a34c2d681dbed04f2c169fa9f b366d16566664534070173222c516f3c planning froleyks unknown https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=64 empty UNSAT_MS_sat_nurikabe_p16.pddl_85.cnf.xz planning_2020
0294158664d9ada36bd23fbb652cb823 2b56e70d6b1f775b02af386d921dfa8a bitvector jarvisalo unsat empty no smtlib-qfbv-aigs-countbits128-tseitin.cnf.xz anni_2022,application_2011,main_2022
029769d31380aed4e9915d27c73d18d6 4706445dcbbe29eb8036e5c5efbb9ab3 agile unknown unsat empty empty bench_7933.smt2.cnf.xz,bench_7934.smt2.cnf.xz agile_2016
0297c2a35f116ffd5382aea5b421e6df fbf146c7b436dccb78ae1b3c1a31b549 tseitin chu-min-li unsat empty yes Urquhart-s3-b3.shuffled-as.sat03-1556.cnf.xz,Urquhart-s3-b3.shuffled-as.sat03-1556.used-as.sat04-805.cnf.xz anni_2022,handmade_2003,handmade_2004,main_2023
0299da6b2088736e46a6ebf067804596 9932f9f51e16a48f8e09a8fd27748601 uniform-random unknown sat empty empty unif-k3-r4.25-v560-c2380-S1876865608-086.cnf.xz random_2009
029a78f54a28bab5de0ac9ea07823e74 b518ac4665ab70245f121ce589d85706 spectrum-repacking newman unknown empty empty 43-134139.cnf.xz None
029cf5345cbde37e75d11fe7c9f07ded f6d4745d6e0bfe1d0e50b1d6091a9eab spectrum-repacking newman unknown empty empty 53-125875.cnf.xz None
029ef821bff942b1be483e35b4256d79 19b848bb47f542e3b708a4b1c377d1bb uniform-random unknown unknown empty empty unif-k7-r61.0-v50000-c3050000-S6737058358718563174.cnf.xz random_2014
029f943a34e4b12fa59c6a3664e481bb 1b613be28dc5b1696a0cd77e560a1f2d spectrum-repacking newman unknown empty empty 41-118297.cnf.xz None
02a5d44d0559dc046e591dd8c10f2c10 f5a6bafdeed7528b8d6080f0f25c8a9a relativized-pigeon-hole oertel unknown empty empty rphp_p100_r100.cnf.xz submissions_2022
02aa8df7d5f231c1fa8c138bf71881b8 1b6e0917948329dda7cb118727373d27 random-planted-solution unknown sat empty empty fla-qhid-420-3.cnf.xz random_2017
02aab5b634bc3b1de8567a15f468dd53 e1944ef7985af109ebe032ed48bbc234 spectrum-repacking newman unknown empty empty 50-105833.cnf.xz None
02abb73bd8e7095a9f18f82d8239eb97 0a74df0d6831b0e1f43e5be80ce31625 uniform-random unknown unknown empty empty unif-k3-r4.267-v11600-c49497-S369478984820784143.cnf.xz random_2016
02ad1665470545464a4d28a0d4b94570 9aeccdd4ea6f2b7a5b5eed00b9cd616d agile unknown unsat empty empty bench_10614.smt2.cnf.xz,bench_10615.smt2.cnf.xz,bench_16870.smt2.cnf.xz,bench_16883.smt2.cnf.xz agile_2016,agile_2017
02ad294c09a41578dac649a64b6aadd6 f7891053b28fd67199d5215af147d51b uniform-random unknown unknown empty empty unif-k3-r4.26-v400-c1704-S1409021001-079.UNKNOWN.cnf.xz random_2011
02ae49a7f45355f52f90208a8ba5164d 0785bf93e594f4edcf50e960849c50b4 spectrum-repacking newman unknown empty empty 53-120210.cnf.xz None
02ae8832f0c2821eef1e72d3df540a22 7d6c693625044fe36f8518e861e62c66 spectrum-repacking newman unknown empty empty 48-121115.cnf.xz None
02b0ba33fc854c843c151f951be44010 e03e33d179dc114422392e7a8f2bba33 agile unknown unsat empty empty bench_11194.smt2.cnf.xz,bench_11205.smt2.cnf.xz agile_2016,agile_2017
02b385a378c232c0671c7ccae533ddfb d0b23b5b1557f03f7e03e54be6f68996 agile unknown sat empty empty bench_17739.smt2.cnf.xz agile_2017
02b3ef3c69fd77ed8ef830f4256b0022 655553619ba73d61d6ec96b0f840fde6 spectrum-repacking newman unknown empty empty 41-114703.cnf.xz None
02b60dfe8004125530bfd1b4d055dc6b 8e06b4d6607be92393b7f8ae6c474c26 spectrum-repacking newman unknown empty empty 43-122695.cnf.xz None
02b69d0e5c2b68d5c3d650164b6c277d 46200d8895ab0e1d5dea45c7202fa65f ramseycube unknown sat empty yes Q3inK08.cnf.xz anni_2022,crafted_2009
02bc149bbe801807912f651c7bad3e74 e3e114b6432d2f460894bc54133d020f quasigroup-completion sorge unsat empty no dead-dnd008.shuffled-as.sat05-3114.cnf.xz anni_2022,crafted_2005
02c18b0862662b066404f55c815e459b 0db681f07ea6dd2b328a3c0cc327afe8 spectrum-repacking newman unknown empty empty 49-120249.cnf.xz None
02c1c6307289afd9f6ac81979b251df2 408769150215a9f104d276d41e09c909 cryptography gocht sat empty empty sha256__zeroOut_04__freeIn_08__seed_1.cnf.xz None
02c1d1c6fb0c6558032f7b5f115702cf 5aea861981b7796ef1d74f3f8e9f8a0e spectrum-repacking newman unknown empty empty 60-135765.cnf.xz None
02c23ebafea72bcb7135ab806aa3e1a6 78d809993847711b06d40c09f3d4d848 bitvector preiner unsat empty empty power2sum.8684.smt2.cnf.xz None
02c3dfc0e9c16c69a66b5b7412e512ef 0866ad9b36bb074141d38bfc27b6d76c agile unknown unsat empty empty bench_16473.smt2.cnf.xz agile_2017
02c3f1d24074cba45a64d0b4b5aa0238 3422555691690e6b21b7f6d785333558 hardware-bmc biere unsat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=37 no g2-hwmcc15deep-bobpcihm-k32.cnf.xz anni_2022,main_2017
02c6fe8483e4f4474b7ac9731772535d 669dec4994a317046dc50dc5dadac838 core-based-generator hartung unsat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=89 empty ncc_none_7047_6_3_3_0_0_420.cnf.xz anni_2022,main_2020,main_2022,main_2023
02cba4bd89eb7ecbf0f063c4c4fef7d6 974b338e97796699d6dea55cf8878ccf uniform-random unknown sat empty empty unif-k5-r21.3-v130-c2769-S1032474357-17.SAT.shuffled.cnf.xz random_2007
02ce47de081045ece3d651b805235346 b736583617f5343eb9aeec8a67156eb1 uniform-random unknown unknown empty empty unif-k3-r4.267-v2000-c8534-S8225079748202723969.cnf.xz random_2012
02cf287a41c2cc7a79c682495df002d4 157510daaa45c014edb1604f6091e73e spectrum-repacking newman unknown empty empty 45-119646.cnf.xz None
02cf500db31aa951989bf4947d9165e5 e185a6be539e04d37ee0152e03354937 agile unknown unsat empty empty bench_2694.smt2.cnf.xz,bench_2752.smt2.cnf.xz agile_2016,agile_2017
02cfa5a71b5c89a1b10b5f5a5221ed05 940f339954500ab3c9392d2cb5f29d43 alloy-vpn-models narain sat empty no clauses-8.cnf.xz,clauses-8.renamed-as.sat05-1964.cnf.xz anni_2022,application_2009,application_2012,industrial_2005,industrial_2007
02cff9bea08ed95b701d23e743e2ce13 5306e9eacd2194d4880b1de7df60aa2e uniform-random unknown unsat empty empty unif-k4-r9.931-v185-c1837-S4628723751657252146.cnf.xz random_2013
02d15c71f00ba4808c8efff0ed6d71ce 3916fbdb7476142274f147f3b46b6cee agile unknown unsat empty empty bench_10058.smt2.cnf.xz,bench_10059.smt2.cnf.xz agile_2016,agile_2017
02d4f72ae5dd9be8edcd3bff7e63f8ad 8eef4438209f9bb2d188ede678601f75 agile unknown sat empty empty bench_2875.smt2.cnf.xz,bench_2877.smt2.cnf.xz,bench_8980.smt2.cnf.xz,bench_8989.smt2.cnf.xz,bench_9173.smt2.cnf.xz,bench_9174.smt2.cnf.xz agile_2016,agile_2017
02d8847ee38504792705d794eb93e9a7 ac0166de8f64dc4c57894bc74364bf97 scheduling manthey unsat empty no traffic_b_unsat.cnf.xz anni_2022,application_2011,application_2012,portfolio_2012
02d8ce98d8be14b6cb115dd4752d7c09 667bb1f6dd2b9f52010a0228c2ed8e1c uniform-random unknown unknown empty empty unif-k7-r85-v140-c11900-S870840347-014.cnf.xz random_2009
02de69784e1bd36ed3ac1a0a7371fad0 701f773d123171404642a67b58a95c55 spectrum-repacking newman unknown empty empty 56-124441.cnf.xz None
02e336c79a69ddf2e868232321abd154 ef469226daa2df1e86e7fe0f162f9fb7 spectrum-repacking newman unknown empty empty 48-111574.cnf.xz None
02e781d6f1761a8135a599de8c34bc88 f3bbe37e12c6d5102cbd3a7b5d91c37a fdmus unknown unsat empty empty fdmus_b22_176.cnf.xz None
02ee4550987a8545d00d0ad14d4b215c 42c8a8d8849162c609db4e8a9d5bc6b7 dimacs-sorter manthey unknown empty empty manthey_DimacsSorter_28_0.cnf.xz main_2015
02eef920cd1aab9ef3492fe27bf515c4 07fb4b0fd229facf1b34f6fb2e701b61 pigeon-hole unknown unsat empty no php-025-024.shuffled-as.sat05-1191.cnf.xz anni_2022,crafted_2005
02eff2cc9db1e6abe53e55e9e3f5277f 9967dc5f8fb0a5766bc6c6e9b7f10605 uniform-random unknown unknown empty empty unif-k3-r4.26-v6200-c26412-S3357862223654450007.cnf.xz portfolio_2012,random_2012
02f019f0a4040c0f9b52cd910997a362 bf4854fd5b69e7519bda27580e4084aa agile unknown unsat empty empty bench_17307.smt2.cnf.xz,bench_17392.smt2.cnf.xz agile_2016,agile_2017
02f2343e32f9070f149708d77556b4aa 9c55e620f95945336a84c0319e5164f6 hypertree-decomposition schidler sat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=91 no Kakuro-easy-117-ext.xml.hg_5.cnf.xz anni_2022,main_2020,main_2022
02f3a178829aa3838b2ad9a14f986913 d6fc069bcf2aab87faf4f1773e0ed62f cryptography gocht sat empty empty sha1__zeroOut_16__freeIn_20__seed_2.cnf.xz None
02f3e7cd5ffb56be6f619896a40fd628 59483a069bbabcc3350143e8f7a61da7 uniform-random unknown sat empty empty unif-k3-r4.267-v6000-c25602-S2702893370182692242.cnf.xz random_2013
02f6ca52f1ada872d82035088701b66a 8b8d61596cf5e7d7ad9305fe4b9e0a58 software-verification osama unsat empty empty linked_list_swap_contents_safety_unwind69.cnf.xz submissions_2022
02fe323166b147f507e045f04062854d 3513fe69e53614ea9f11a2d45c526eb1 spectrum-repacking newman unknown empty empty 52-128677.cnf.xz None
02ff9a8d99be52af14523c433e6caff4 b5401726a53eab37bec9c24a1c3c0b25 uniform-random unknown unknown empty empty unif-k4-r9.931-v1350-c13407-S5137793542187515315.cnf.xz random_2014
0300d80a6c897c389a07ee4bcf3e926c 623f65aaaa0d304b2adbd8f1febf69ac random unknown unknown empty empty gencnf-k7-r88.7-v110-c9757-10-S1990889202.used-as.sat04-250.cnf.xz random_2004
03041657b7177746724b819433c83b20 bca0defa0c1e8847b0d56f23093f2d69 planning palacios unsat empty yes blocks-4-ipc5-h21-unknown.cnf.xz anni_2022,application_2011,application_2012,industrial_2007,portfolio_2012
03083b81684212efcf3f415df0127130 020c69e403a4367dbf4d6c7d30e9b2f0 hardware-verification ibm unknown empty empty SAT_dat.k100-sc2012.cnf.xz main_2019
0309535f129965796de4193e1605bfa9 4a24f75f359936282a4974f87ca32581 agile unknown sat empty empty bench_13495.smt2.cnf.xz,bench_13496.smt2.cnf.xz agile_2017
0309ea422084568c2b4df13b32094380 7b8f701bb1e86415e1fabcfde2fb3deb rbsat huang sat empty no rbsat-v945c61409gyes1.cnf.xz anni_2022,crafted_2011
030ae49b1ccd2bdce8a35ae95997bdca 7a2e5207920dd79d6bea25e2164eb81c spectrum-repacking newman unknown empty empty 42-137659.cnf.xz None
030f36e3ef0e56533706d6c1b4fd31e1 1230ad3a7d914a8eacefc562463f37fa agile unknown unsat empty empty bench_8513.smt2.cnf.xz agile_2017
0313ef9736992ac0bef42713aedf8a1f 9e9772a2682158020ed1a962a50a7606 uniform-random unknown unknown empty empty unif-k7-r85-v240-c20400-S788797920-13.cnf.xz random_2007
0316093cadcfd18a4e30b7974e62fecd 74aebd73cc715382858726a79903c935 uniform-random unknown sat empty empty unif-k7-r66.0-v50000-c3300000-S6452105525405296639.cnf.xz random_2018
031757c0a6797eddf3e84bcefbbdb753 0208ce3e9b365d17d57566a011de8433 edge-matching holten unknown https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=70 no b2005-p2-14x14c17h9-Ser4-0.cnf.xz anni_2022,main_2020
031a9d2143b30c6682f1f8fe23526804 fd346496e2584ae7fa2dc1b5597059d4 spectrum-repacking newman unknown empty empty 60-88383.cnf.xz None
031c116d206f65d7c267d30108cd00a0 1f63ca674d52259a7c572edabf86f647 spectrum-repacking newman unknown empty empty 56-134443.cnf.xz None
031c99d72be38eedacc8b402784e9821 3e80d22046c0a0059904e9df636ae843 diagnosis anbulagan unknown empty no partial-10-17-u.cnf.xz anni_2022,industrial_2007
031daf860acbce867db7559c74bb1c60 8b9c81a80f64b8225a8a38149ca8a1a3 sgen spence unknown empty empty sgen4-sat-310-8.cnf.xz crafted_2012
031f2533749fafff58983d342f8c7ee3 c0840c02f640aa32156bfc6680d38af3 spectrum-repacking newman unknown empty empty 55-115014.cnf.xz None
0320af21bba8b8cd940a95277377803d 0abbc17f2bf7447a357dad57f35a9581 random kullmann unknown empty empty okgen-c1200-v300-s509783707-509783707.cnf.xz random_2002
032117a0ac42531420174f9b1234b6de 6d118673090cf6b99aff8509e23b7021 spectrum-repacking newman unknown empty empty 45-96373.cnf.xz None
0321654854668173ef9983b879622722 b5fbcc6938915019c4553eb52c64400f spectrum-repacking newman unknown empty empty 51-115848.cnf.xz None
032172c44f98289cf10e06ffeaf7745b 2dec3922e2edcf1f31dcfcac84ff0382 agile unknown sat empty empty bench_12334.smt2.cnf.xz,bench_12377.smt2.cnf.xz agile_2017
0325f5bdfff16d1756f786bfdccd2d26 98e16bbfccf28ea35b0ca99ec0e310c3 sliding-puzzle kaiser unknown empty empty puzzle41_unsat.cnf.xz None
0327aa4bd6b07b94d14e53efc57d0d00 da9e0dd872a7a4efbd84fff10f087040 spectrum-repacking newman unknown empty empty 44-113801.cnf.xz None
032941f5f28c9ac53fa1c80d35f3206f f749e2f9661a3fb142b877b97f038603 graceful-production chowdhury sat empty empty GP_216_290_40.cnf.xz submissions_2022
03332c1d032fcd09f91254199387215a 5fc14709e6517e790179adfbdfc80df0 agile unknown unknown empty empty bench_12179.smt2.cnf.xz agile_2017
033560dbd1b4d3545b4b40ef90aaaa29 a4a5ada838a699284f04a4d6976e3a51 diagnosis anbulagan unsat empty no total-5-15-u.cnf.xz anni_2022,application_2009,industrial_2007
0336f81b60baac5b8f481dd3c32861a5 c691b5d79fe4f81e65352d1a0e97bcaa modcircuits unknown sat empty no mod4block_2vars_10gates_u2_autoenc-sc2009.cnf.xz anni_2022,main_2019,main_2023
033743e540b7f6e2114a3e6981558795 d483f18414d40125bbaa4a3cc226df43 circuit-minimization li unknown empty no li-test4-97.shuffled-as.sat03-375.cnf.xz anni_2022,industrial_2003
03385e315b37cbb189ab45f90acf5af0 38a2d433202244d9034e4b52e668eb39 uniform-random unknown unsat empty empty unif-k7-r89-v65-c5785-S1387394500-16.UNSAT.shuffled.cnf.xz random_2007
033bdaf71d51a1645014a54ea614312f bae4fa053b5a51093b32219c649d81c0 design-debugging marques-silva unsat empty empty s15850-bug-fourvec-gate-0.dimacs.seq.filtered.cnf.xz None
033d611722714d5206cc0184479e92e2 58decb83d3997ec053b066d4eaceb410 tseitin bevan unsat empty no urqh2x5.shuffled-as.sat03-1473.cnf.xz anni_2022,handmade_2003
033f38da07bdbbad4763eaf1fe97ce37 387c42140e3ddb9c3065c52d69f718c5 termination-analysis fuhs unsat empty no AProVE07-27.cnf.xz anni_2022,application_2009,application_2012,application_2013,application_2014,industrial_2007,main_2010,main_2015,portfolio_2012
034619cf0ad20017ed9dd5f88caacae6 d944d96bdcf0721ba330ca38117c7f68 uniform-random unknown unknown empty empty unif-k3-r4.2-v18000-c75600-S420719158-080.cnf.xz random_2009
0346be00d2d7d3393d134d8be1138c45 ce170ed5d0db398bffc781115130a445 uniform-random unknown unknown empty empty unif-k5-r21.117-v450-c9503-S1476844462704965621.cnf.xz random_2017
03475e329b9fbc8246a09a4f888f9023 5527205dd4eef2f9e4743b81bf506e8e uniform-random unknown sat empty empty unif-k5-r19.6-v250000-c4900000-S1619500311433205587.cnf.xz random_2018
0350d0a0f0922b1184d3183ae3d58f4b d108e03596b67e4364cb53f22ebf9c42 spectrum-repacking newman unknown empty empty 50-120034.cnf.xz None
0358188e041daccdd2fad07e1188f28c 458689188b580989b67a9f9c61e0e457 uniform-random unknown unknown empty empty unif-k7-r87.79-v160-c14046-S4995813892174227007.cnf.xz random_2016
0359596347daa117da50950748bc06d1 0299f78d487106626abeef0ee0d999d9 scheduling shuolin unknown empty empty j3037_9_rggt_bm1.cnf.xz submissions_2022
035c200bbf0a783e4ec9656cfa9b2f68 a31aedf4485bd1f3f95bfa0ed209fb04 cryptography grieu sat empty yes vmpc_34.shuffled-as.sat05-1958-sc2005.cnf.xz anni_2022,main_2019
035c23ef8339c6d16ecd45601af8a589 93ddc99e89fa73909e58aee24c971f25 agile unknown sat empty empty bench_3557.smt2.cnf.xz,bench_3566.smt2.cnf.xz agile_2016,agile_2017
036126151ea302c37e340f6552777678 c1be7da05036f2b955cf0f2fd61817c1 spectrum-repacking newman unknown empty empty 56-131796.cnf.xz None
03645a35cda06bab02dd280017fa8c3f eceb978132cb9214656be7381271e27a uniform-random hirsch unknown empty empty unif-c1350-v300-s53580470.cnf.xz random_2002
0365db8065a89550e1ba73d86ec48cc2 aff72acd13d202c96082bd7547be33f9 graph-coloring pehoushek unknown empty empty 4col240_9_9.shuffled.cnf.xz handmade_2002
0369497a41c3914b796cb81e64dd2e55 0c7ad24fdd38b963f82399755c10d594 antibandwidth biere sat empty empty abw-X-can__715.mtx-w100.cnf.xz None
0369d8788498fe92e8337f326a929367 2db17fb1fbabb033426e5a8178669002 random kullmann unknown empty empty okgen-c1720-v400-s1439218648-1439218648.cnf.xz random_2002
036b541db9d0839b0591d408ff4f77ae 10c77f9954952ffea054702504054e58 cryptography post unsat empty no aes_decry_2_rounds.debugged.cnf.xz anni_2022,application_2012,crypto_2021,main_2023,portfolio_2012
036bb9f40335cf9c6bb167e8c3703926 f8bbce5ea4e1420098e181b4deed2d45 uniform-random dequen unknown empty empty gencnf-k7-r88.7-v97-c8603-03-S1950555695.shuffled-as.sat03-1790.cnf.xz random_2003
036bbc647cdc27d4ca455cd3cf311262 4526cbe6ccf14244cbb39e0bc2b6fd3f spectrum-repacking newman unknown empty empty 45-104555.cnf.xz None
037030471a83c04cf17c7cdbc8236e83 6f43da733e2736f1f6c286afbe4782a9 random unknown unknown empty empty OKgenerator_s0=32s1=31n=160l=7cp=13600-Dnr0=0nr1=1-o.shuffled-as.sat05-1607.cnf.xz random_2005
0379936c75c225f1a9a113762b019da6 62a20d3399318d17c81a2855c6e8723e termination-analysis fuhs sat empty yes AProVE09-17.cnf.xz anni_2022,application_2009,application_2012
037a2d470c1c9727d55d5d947dd8394c 6e93bf0b3bd14360407d24eb21f0eef3 spectrum-repacking newman unknown empty empty 41-118071.cnf.xz None
037a652d6e4bea27881073be25176934 60d9b7ee8c58b2f8f6ad4273aa7311bd prime-factoring pyhala sat empty empty pyhala-braun-sat-35-4-03.shuffled.cnf.xz handmade_2002
037c423f56548082b1935e88c48ffdda c609561d95e240d1b7e3112b71458bea graph-coloring pehoushek sat empty yes 3col120_5_2.shuffled.cnf.xz anni_2022,handmade_2002,main_2023
037cdc23d5ce303ee466680f4fdfe1fc 50004912af838e7e09d9035740c670fc spectrum-repacking newman unknown empty empty 57-127226.cnf.xz None
037d21e060a2e3eab8b080aa84ceee75 b021796f7c7ac5990b981f36e13dcf10 matrix-multiplication markstrom sat empty yes mm-1x10-10-10-sb.1.shuffled-as.sat03-1489.cnf.xz anni_2022,handmade_2003,main_2023
0380d80ca292251e5afcf16c65707eb5 0835c2f5ad438f6a1060f7217e1bc263 spectrum-repacking newman unknown empty empty 55-91443.cnf.xz None
0381d8662f1fbc50581c54921a178b0a 849ca449536013f41e01a690a7d6fa71 fdmus unknown unsat empty empty fdmus_b15_337.cnf.xz None
03873e44115e30db6c3ccc2941c14101 760f32a18d52f995703b937e066cb166 spectrum-repacking newman unknown empty empty 44-107977.cnf.xz None
0389d1800e05f1ef2e60e640b86279d9 a25b17fdbe542195f3a4cb8cf92ede03 spectrum-repacking newman unknown empty empty 45-115206.cnf.xz None
038b307ca27d32bbf2535bc7fbae82b3 ab2e4079e00f452c6c57d1435802c3a7 uniform-random unknown unknown empty empty unif-k3-r4.26-v450-c1917-S1910317962-059.UNKNOWN.cnf.xz random_2011
0391a7be47a1d4f1bf2180cffea667b1 fdfe952c094bbd9983c5d4886cee3af4 uniform-random unknown unknown empty empty unif-k5-r21.3-v100-c2130-S2051088205-036.UNKNOWN.cnf.xz random_2011
039378621dce8907fe5286ce965cce5c c16a6a9b52e4743d98259808c0ad3bb3 stone elffers unknown empty empty stone-width3chain-nmarkers-14_shuffled.cnf.xz crafted_2016
0393ff33cb3cade4b83e0b5bd60996a4 321d1ef2cc975d00bae3991b4f8d1b96 spectrum-repacking newman unknown empty empty 55-101400.cnf.xz None
03942ae21753e7dead072ab1f6c1c3b1 0948097ec3a9cf86afa222105d4f1c9c fdmus unknown unsat empty empty fdmus_b22_502.cnf.xz None
03980ada4055f6198fcd7ee52bb220f1 f540a07d72ea083b53430a32573bbf67 planning froleyks sat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=64 empty SAT_MS_opt_termes_p18.pddl_76.cnf.xz planning_2020
0398e6b20de133ba8b49c74b67dad7b7 677da042b274c04a8d7b20db343f3e7c miter biere unsat https://helda.helsinki.fi/bitstream/handle/10138/306988/sr2019_proceedings.pdf#page=49 no 6s133-sc2014.cnf.xz anni_2022,main_2019,main_2022
039b45f4a3979c9176b115bb8e88342f 23103fcaf9e4ede97576f562f76d5f34 genurq ostrowski sat empty yes genurq8Sat.shuffled-as.sat03-1514.cnf.xz anni_2022,handmade_2003
039c2bf64eab47d423b7740f3863bc49 b26a2c05b4977ede2d93f241f04f34d3 spectrum-repacking newman unknown empty empty 55-66682.cnf.xz None
039d09672019a346c710ba7d49c4f91b 3d6294010465e57f4cf7ded9a05c0b15 agile unknown unsat empty empty bench_14734.smt2.cnf.xz,bench_14735.smt2.cnf.xz agile_2016,agile_2017
039f5e361b0d24319e37e08dbc07e50d 265779e640142f2384f60a2b40fc7832 agile unknown unsat empty empty bench_14466.smt2.cnf.xz,bench_14501.smt2.cnf.xz agile_2016,agile_2017
03a1a18521814692f56a8ecbea0031d4 6d62a51a9cf467b15996244efa99f031 miter wedler unsat empty no ablmulub2x32o-sc2016.cnf.xz anni_2022,main_2019
03a1ada3e778fcec8a7ee0c9e685d4be d0244c9975e35e00a4a42f6d1d9b4fb5 generic-csp connamacher sat empty no connm-ue-csp-sat-n1200-d-0.02-s1528687777.used-as.sat04-953.cnf.xz anni_2022,handmade_2004
03a43a7ea55217f53542ed3f029963af 763e6d144978e6d0810db7343c7d8b7d test-configuration biere unsat empty no satch2ways16w.cnf.xz anni_2022,main_2021,main_2023
03a4cfbba1ef7eafe2b4f01e444c411f 5a4661065136ca2ed10ba840a9383eef spectrum-repacking newman unknown empty empty 52-121592.cnf.xz None
03a6f26e998c764c46c97dd9778036a1 22d4ff5e7e6402b7c93cebfbf6748e34 agile unknown unsat empty empty bench_11820.smt2.cnf.xz,bench_11877.smt2.cnf.xz,bench_12622.smt2.cnf.xz,bench_12623.smt2.cnf.xz,bench_15941.smt2.cnf.xz,bench_15942.smt2.cnf.xz,bench_3366.smt2.cnf.xz,bench_3367.smt2.cnf.xz agile_2016,agile_2017
03ae7447931228f49a3eec4f2f8fe9a9 d82973f63a7b6fa58c4537a18007c4b6 spectrum-repacking newman unknown empty empty 46-138339.cnf.xz None
03b08ff6f932aa7c6597059061c5fc6c 5c062a76d13a2d8c7f95cffd049d6cd7 spectrum-repacking newman unknown empty empty 60-124247.cnf.xz None
03b0e7b608a5f1052c1cdb58ffc69262 69d5157b02e4d3027db895cea4e5e5b9 bitvector preiner unsat empty empty VS3-benchmark-S2.smt2.cnf.xz None
03b297cfd24f7fffb743780ef9578886 71ab7dfb75a22695ffe572e075931170 spectrum-repacking newman unknown empty empty 48-119936.cnf.xz None
03b75ba4f3a1bdcc58c89e6846eecaab b0b3a40dc3f17e01860ade71df1b0671 xor-chain zhang-lintao unsat empty no x2_128.shuffled-as.sat03-1598.cnf.xz anni_2022,handmade_2003
03ba29d5cb38d345357a74a7b5ccd759 0c58195f52c748a752bb242bd9b25bac maxsat-optimum cherif sat empty no 20-100-lambda100-49_sat.cnf.xz anni_2022,main_2021,main_2022
03bb7baaa45980753a0e7050ae44755d 2c44650528ec6da8a04b61114f944608 scheduling stojadinovic sat empty no atco_enc3_opt1_03_53.cnf.xz anni_2022,application_2014,main_2022
03c41956324a467d4f265ee58af51f25 568295042772028cb568470a3c23efae spectrum-repacking newman unknown empty empty 46-108515.cnf.xz None
03c44a93577c98119dc498053888937a bcb2c8399c1d79cc080fba455d580431 scheduling kummling unsat empty no ctl_4291_567_1_unsat_pre.cnf.xz anni_2022,application_2013,main_2022
03c5fef8cb8957ecf687548c8d504d10 2172fa08aa08de79b1349be0f9622522 subgraph-isomorphism anton unsat empty no SGI_30_80_21_90_2-log.shuffled-as.sat03-198.cnf.xz anni_2022,handmade_2003
03c6170c9b8917706b0ad0a28400d195 cce7d936d0fb187f7b369471fd6853c7 agile unknown unsat empty empty bench_12734.smt2.cnf.xz agile_2017
03c7c131fc68f902620c24f5f28cd179 e4793fe6ae9559a949fade6f1f810e62 random-hiddenmodel moore sat empty empty hidden-k3-s0-r4-n500-03-S1575402861.shuffled-as.sat03-947.cnf.xz random_2003
03c8a9ffce923a8cb3452f18d371eacf 9ac4ee61363d204fec191683818148b7 rooks manthey unsat empty no rook-55-0-1.cnf.xz anni_2022,crafted_2014
03cb9868146a1c420ba8e3b1b08865b8 55a3944fd03a71fe39874b8d93b1096a graph-coloring pehoushek sat empty yes 3col300_5_2.shuffled.cnf.xz anni_2022,handmade_2002
03cd587fe1f5eb6c6c10ede767571241 462587d4c68088a853bb53ef8716c6d6 spectrum-repacking newman unknown empty empty 56-115132.cnf.xz None
03cf322e6530ef37b455bafbf451bd77 f378516e5e567320ec04838316702135 spectrum-repacking newman unknown empty empty 52-136597.cnf.xz None
03d1940f76051f548ee86eb71a38ff14 027ef42bebc137c9d556e4e0ce6ef8a7 spectrum-repacking newman unknown empty empty 51-85848.cnf.xz None
03d1d6df36fdec5be7b60e6f0cd382f7 c185d44b30705cb541c781ad9ffd0c53 graph-coloring pehoushek sat empty yes 3col280_5_8.shuffled.cnf.xz anni_2022,handmade_2002
03d74bc7a2c848e5f834eb31bc6c839e 6ab555fbd1a566a588e12d790eb3cf55 spectrum-repacking newman unknown empty empty 45-109231.cnf.xz None
03d8064f3be30daecf2ffe4c54361e61 472c55cf2f04935c6d32aa4cd7350fb3 sgen spence unsat empty no edges-025-4-7932777-1-00.cnf.xz anni_2022,crafted_2014
03d93f5c0378205e17260e16e463ac67 30953dea24d4dd4b3814af0904f10f0f scheduling konan unknown empty no TimetableCNFEncoding_5_UNKNOWN-sc2018.cnf.xz anni_2022,main_2019
03d9b7f7c619fdf000a1ba5eab146379 335f29589a47fcaa6062d54831008499 uniform-random unknown unknown empty empty unif-k5-r20.275-v1280-c25952-S2572867284453527358.cnf.xz portfolio_2012,random_2012
03de316ba1e90305471a3b8620cb9cd7 81c4937178ec57855aed167d7f2892b9 subgraph-isomorphism anton sat empty yes satsgi-n23himBHm26-p0-q248.cnf.xz,satsgi-n23himBHm26-p0-q257.cnf.xz anni_2022,crafted_2009,crafted_2012,main_2023
03deea471ff6f90e6b7519407f8b2056 c3a86a343c3e04b2d3a5aef041d1a0d6 uniform-random unknown unknown empty empty unif-k3-r4.267-v2000-c8534-S6517632358926225970.cnf.xz random_2012
03e1a95e608657462464d0a748428d34 15a41aeeb18f582b3087972efbfe6236 spectrum-repacking newman unknown empty empty 43-100732.cnf.xz None
03e399326b5d3dc202cdc3a9fb1b71f0 9e8d4a839c3e0d38525775b638e300f7 agile unknown unsat empty empty bench_317.smt2.cnf.xz,bench_318.smt2.cnf.xz agile_2017
03e3afdc2972da43f4549ba405ff2da4 91bd2f6947b9d877e08b4e88db0277b4 random unknown unknown empty empty OKgenerator_s0=32s1=19n=200l=7cp=17000-Dnr0=0nr1=6-o.shuffled-as.sat05-1625.cnf.xz random_2005
03e7f2c151ed62ad925ac241e4e1d792 e7a9afc074202f4b89cf063f7cced7f2 cellular-automata chowdhury unsat empty empty ps_200_318_70.cnf.xz None
03e906525c3ec52373157721a7ebba48 e1caf495562dcae83d5734cbede3fe2f spectrum-repacking newman unknown empty empty 60-128746.cnf.xz None
03e9d1abe418a1727bbf2ead77d69d02 e974ebf67a3c8ae418c773b9be13bd59 pigeon-hole reeves unknown empty no php15-mixed-15percent-blocked.cnf.xz main_2023,submissions_2023
03f06674e02ef12873c8f4e542c5c805 9d1dafd8ebe1af189faaddc039e116b7 uniform-random unknown sat empty empty unif-k6-r43.37-v221-c9585-S8514517535383564143.cnf.xz random_2013
03f08e458eea1ef5ce14661c8a7bdc60 7ed4582da600eab5a9009b96f6f135d6 uniform-random unknown unknown empty empty unif-k5-r20-v800-c16000-S409844453-15.cnf.xz random_2007
03f25e67e52baf9fb1e782026d46c8a8 1c36a0328c0905dea849c31732c95cbc graph-coloring vangelder unsat empty yes rope_0003.shuffled.cnf.xz anni_2022,handmade_2002
03f59ceb6fc1c1825ab604d526620a54 98e6ad8b8ee7602eaab09910998d7d55 spectrum-repacking newman unknown empty empty 54-104847.cnf.xz None
03f8fb3e8459ebb1e526bedde7a121a7 d13411d59a5357933b49ff36a8366a23 uniform-random unknown unknown empty empty unif-k3-r4.267-v10600-c45230-S2625238104773554105.cnf.xz random_2014
03fb9af7b390fe9e0739150ca3410cf0 07a2c5f0e9887314a2e5609bff4eae84 coloring oostema sat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=68 no 4g_5color_166_100_02.cnf.xz anni_2022,main_2020,main_2022
0403cb413f30fe0fac6ae792a93364c9 9e8caae28dec439384dffaf27b80e35b uniform-random unknown unknown empty empty unif-k7-r86.116-v160-c13779-S7006661258521488985.cnf.xz random_2012
04071576275e4113b60c21601b364345 7b238738b9525151f02c06f1c03a8471 tseitin bevan unsat empty yes marg2x5.shuffled-as.sat03-1443.cnf.xz anni_2022,handmade_2003
04091a59646a7e0f1c64c57c26d3d91e 4fd5b6ffcad5de55bc8c3545a58a8a2c bounded-model-checking marques-silva unsat empty empty barrel5.cnf.xz None
040dbf7981a3ede37ecc00548fdede93 d58715923815d074f0c490794f0409e3 spectrum-repacking newman unknown empty empty 41-106096.cnf.xz None
040e4bdb9f4b0f58d3ec4d2f869363f4 e615ee08db9a0b26cc3dcd2e6086014f cryptography gocht sat empty empty sha1__zeroOut_09__freeIn_13__seed_1.cnf.xz None
04121bd92efc49da7b54943da62c993f ff19c3688a7b682048a20137476cf1bc spectrum-repacking newman unknown empty empty 42-133298.cnf.xz None
04121f3fbe313b7046c9f54ac1e26c75 6be90adbad773f343d429a4d5726c625 modcircuits unknown unknown empty no mod3block_2vars_9gates_u2_autoenc.cnf.xz anni_2022,crafted_2009
0412f6f3174dfc4c27ad0b61280cd739 46de7984353de4a63a3c63908c69124d subgraph-isomorphism anton unsat empty no SGI_30_40_30_20_2-dir.shuffled-as.sat05-442.cnf.xz anni_2022,crafted_2005
04157f716c1e9606c6a530657bf8f957 4e00eb5cd670da17e963192207423345 hypertree-decomposition schidler unsat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=91 no Kakuro-easy-125-ext.xml.hg_4.cnf.xz anni_2022,main_2020,main_2022
0415acae197134f9d1cd7bea5ac3f2fd 8401e3575cd9b5aa5497085508be017e random-modularity giraldez sat empty no jgiraldezlevy.2200.9086.08.40.136.cnf.xz anni_2022,main_2015,parallel_2015
04166b0a94fb2e4da58436ea480e2586 110e0d7892666eeb8c6c579e7c2bcd7b uniform-random unknown unknown empty empty unif-k7-r85.0-v200-c17000-S3213321906544472845.cnf.xz portfolio_2012,random_2012
041699620802b7ed905f93976ae60bef 893ea77bb089603a27252610e4d3cb57 bounded-model-checking marques-silva unsat empty yes longmult9.cnf.xz anni_2022,mus_2011
041a4e925fd664bf8e2e41b8eb9f2840 30d402dc588cd288b8cd17ef31797e76 uniform-random unknown unknown empty empty unif-k4-r9.931-v1650-c16386-S53884124957771982.cnf.xz random_2014
041aa7c18006a2f33e5c5ec83eb08505 30052eca6036356bb772ba7500792c74 uniform-random unknown unknown empty empty unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf.xz random_2009
041afddade3479f2b9ebe3f5cf390c7e 4e9864e99882779c47c2d40e16371680 spectrum-repacking newman unknown empty empty 57-106276.cnf.xz None
041bf8c064b4f6f8fabcd2a9793b8c7b 4e0f9993e7676641088635bd6e6c70b1 argumentation niskanen unknown empty no WS_400_24_70_10.apx_2_DS-ST.cnf.xz submissions_2023
041df0acc65530f7e1e628130c3d411d bdb527980624f1820f7e2e50cbceaab5 spectrum-repacking newman unknown empty empty 52-89557.cnf.xz None
041dfae4c5f8679c1b54f1fb3b8cb0f5 cae92ec1954ddc92fc32fd275836d2f9 agile unknown sat empty empty bench_186.smt2.cnf.xz,bench_187.smt2.cnf.xz agile_2017
041e654adaeb51d241eafd1e29a5fbfb a4a8d4a0743396d805c8e2096b22b656 sat-x riveros unsat empty empty brocard_problem.cnf.xz submissions_2022
041ef0a56340a623c38e6b9012933624 3e503538fe609f9f9fc285f34dd1601f mycielski-graph unknown unsat empty no shuffling-2-s554396412-of-bench-sat04-318.used-as.sat04-598.cnf.xz anni_2022,industrial_2004
041f5fd5d1c9ae9f0ba37a745b5dfd23 1a08913730c2cad72effa2a92c1d3e6c agile unknown sat empty empty bench_4972.smt2.cnf.xz,bench_4973.smt2.cnf.xz agile_2016
041f974b7b2e24ffbc50eda1bb04f917 d26cd17f2ae26db0f20e4d40edf024db agile unknown unsat empty empty bench_16550.smt2.cnf.xz agile_2017
0421d8c1dec913b76dc72d781a864a80 e49bd643dcd28066b70de0aa0822fcd4 quasigroup-completion sorge unsat empty no dead-dnd006.shuffled-as.sat05-3112.cnf.xz anni_2022,crafted_2005
0422d43dc86ee9111d46c1a10992ea29 160887515de262414fd67971728f8742 uniform-random unknown unknown empty empty unif-k3-r4.267-v2000-c8534-S8847153303408088700.cnf.xz random_2012
04282eb8fedd703fb176b37c5d037a0c da245ae0f9bf1bdb76f5ebec734acd98 spectrum-repacking newman unknown empty empty 49-69428.cnf.xz None
04283728b84c4b0ff6cb44ca4bc4ab65 02b768f11e184d922cd04b19e07ee6aa subgraph-isomorphism anton sat empty no new-difficult-28-302-26-75.cnf.xz anni_2022,crafted_2009,crafted_2012
042846b7b23a617ad1730e9eb2dbdceb 74d29dc0d2ad92eaa7c06fba6249e246 scheduling kummling unsat empty no ctl_4291_567_9_unsat_pre.cnf.xz anni_2022,application_2013,main_2020
04296c034b9b888599263926aab8ddc8 9d0ff414c62652f3e979593e102865a8 random-planted-solution unknown sat empty empty fla-komb-520-2.cnf.xz random_2017
042b503bc444d79e1593cbdc73d18c96 7f6ae75ec2faf101e7e59c6cbaf93a16 spectrum-repacking newman unknown empty empty 42-112322.cnf.xz None
042cdc726a92bf0a2195b3b426f35bce 0c3a50a05d6d290991939bf3ff4cdd05 independent-set-reconfiguration froleyks unknown empty empty reconf20_50_grid10_1_6141.cnf.xz submissions_2022
0430dd41069c93d385b767e768c1095f b77da741b0b4829f1dfe7ef1658157c9 uniform-random unknown unsat empty empty unif-k5-r21.3-v90-c1917-S1329819842-01.UNSAT.shuffled.cnf.xz random_2007
04327b18171b43ff06586707499b97fc d09b37f3061cfd055e3656b56c58f468 graph-based bevan unsat empty yes hypercube4.shuffled-as.sat03-1434.cnf.xz anni_2022,handmade_2003
0436f8cdece0f293915bbc6d711f6850 385a01b14417149c7b2ee1dd900a8b28 spectrum-repacking newman unknown empty empty 48-121614.cnf.xz None
043c40bb7bdb3a2eccb3eb0b79f47cab 008dd530ec2fc02db66434c6f3b64d17 random kullmann unknown empty empty okgen-c1600-v400-s92024501-92024501.cnf.xz random_2002
043cdbde77d0a494be264ee322847809 95fe7dcdc942e4627a0f2033724ca43f spectrum-repacking newman unknown empty empty 49-135688.cnf.xz None
043ddf84451e8b1a50f3f5662897e385 3cd9521eefaf72d7890285701eb74d72 random kullmann unknown empty empty okgen-c900-v450-s297055419-297055419.cnf.xz random_2002
043f806db615f7a138d4beffe3367c1a 9cbbc58299464ef00d7f0dbd8b6b3603 random-csp kexu sat empty no frb45-21-1.used-as.sat04-883.cnf.xz anni_2022,crafted_2011,crafted_2012,crafted_2014,handmade_2004
04411a580ede5fd258d84ce872b5f53b 633e7ff6ff0c132ae855a1d06343348d erdos-discrepancy heule unknown empty no EDP3-50000.cnf.xz anni_2022,crafted_2014
0443c64d68e48da7bd100c03c82c0c4b 7047ce009210543a6d74d1d317a422d0 spectrum-repacking newman unknown empty empty 50-129545.cnf.xz None
0445a4d6be24882bac0988a055e7f379 ec5b31537e59126414143e7f273a862d clique-coloring sabharwal unknown empty no unsat-set-a-fclqcolor-20-13-14.sat05-1278.reshuffled-07-sc2007.cnf.xz anni_2022,main_2019
0445e60a23b32e2adc07e34ec3f5dbf4 5145038d54f8a60015bf44ac0f60cea5 uniform-random unknown unknown empty empty unif-r4.25-v500-c2125-07-S37132789.used-as.sat04-57.cnf.xz random_2004
0447371bb8a97e8fe5d3cee6de1db766 2e2bafca9e4d6801fc343b640ea43dec diagnosis anbulagan unsat empty no UTI-20-10p0-sc2009.cnf.xz anni_2022,main_2019,main_2022
0449da0fb33b7ed1f7b7f0e2924cfb14 9bd579150a53c0dce8656725ea54b83a antibandwidth biere sat empty empty abw-V-nos6.mtx-w235.cnf.xz None
044a4186f6873d19008743aa0dfd004d aa5d896124d7b26d26e1408ff374f8cf spectrum-repacking newman unknown empty empty 56-137908.cnf.xz None
044a95f1445afa3e02a258417ab90ab9 479e12b34088213e7e420e7c62ef79ff uniform-random unknown unknown empty empty unif-k5-r20-v1500-c30000-S1793954886-065-UNKNOWN.cnf.xz random_2011
044d27388c142e8e47812d9518e01b2f 0378db6eab54ddaa95d15c4bc1bce65e miter unknown unsat empty no shuffling-2-s2123257475-of-bench-sat04-327.used-as.sat04-589.cnf.xz anni_2022,industrial_2004
044eced3d5aac22e0f34ad02071132f7 600ec527e26f5498f188fa4735b67b90 ramseycube unknown unsat empty no Q32inK10.cnf.xz anni_2022,crafted_2009,crafted_2012,portfolio_2012
045182d177d3f95d7cfef1205d609f37 0ffcda70b8191f6c2863b56686100f4d agile unknown sat empty empty bench_1608.smt2.cnf.xz,bench_1609.smt2.cnf.xz agile_2016
045490bc2ea6b39133e367e0d5985ec6 285527f05ae7a82b4660c256c754d94a agile unknown sat empty empty bench_1177.smt2.cnf.xz,bench_1178.smt2.cnf.xz,bench_3066.smt2.cnf.xz,bench_3068.smt2.cnf.xz,bench_6462.smt2.cnf.xz,bench_6496.smt2.cnf.xz,bench_6692.smt2.cnf.xz,bench_6754.smt2.cnf.xz,bench_736.smt2.cnf.xz,bench_737.smt2.cnf.xz agile_2016,agile_2017
04557a22f623dcbae86173fced057c99 3eb3d54fea2efd703a87f50afe27f537 baseball-lineup hickey unsat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=80 no baseballcover14with25.cnf.xz anni_2022,main_2020
045613366353b062992e68937ca53edf aae824c54650dee4d6f37b0d6bbeed14 planning surynek sat empty yes mrpp_6x6#14_12.cnf.xz anni_2022,crafted_2014
0458851a021830f297e5dc3418ece838 7d38d9881c72fc5d0b562ecfe8772d20 cril-misc frioux unsat empty no g2-T96.1.1.cnf.xz anni_2022,main_2017
045941155fcb708d6d80e421c87c2abf d82eb168f4dec5206d6a4a67c913abc2 agile unknown unsat empty empty bench_17892.smt2.cnf.xz agile_2017
0459bb2e18a01e6f3f305dc8be7040bc 8b6e91252a669c5bc5f9b0d6bc604c2c uniform-random unknown unknown empty empty unif-k7-r85-v160-c13600-S2043900701-05.cnf.xz random_2007
045e3c00486daba698458469f773f700 368f4879249817485476897a74c94064 spectrum-repacking newman unknown empty empty 55-125283.cnf.xz None
045eeffb8750ff847de87bc37f922c02 307737d9de03bc35dbc5054f39dd3911 cryptography gocht sat empty empty sha256__zeroOut_13__freeIn_17__seed_2.cnf.xz None
046027fd1061d32ad6cba9174f9f37c8 034a9aeed0159062e04fa2db2a40b1be spectrum-repacking newman unknown empty empty 52-130527.cnf.xz None
04619a36750d6e3e9f34e433e9a0cedc c68a1b80edccc44efce8189e6d8504ad subsumptiontest nuttall unsat empty yes DivU_591_10.cnf.sanitized.cnf.xz submissions_2023
0461c116d94becf63a1c41b320f6eea3 3e26610db77f54fa1300a9ab71af6187 uniform-random unknown unsat empty empty unif-k6-r43.37-v81-c3513-S2165463424612289288.cnf.xz random_2013
0462a0427297f8979588174b502bd044 b6e717232c3fd8feeb20651a33c4405b tseitin jarvisalo sat empty no mod2c-rand3bip-sat-230-1.shuffled-as.sat05-2503.cnf.xz anni_2022,crafted_2005
0463b72200ae80c02835c027d3606c4e 4e4c85bd711f7052fd9b6a7ee50a48b1 battleship skvortsov sat empty no battleship-13-25-sat.cnf.xz anni_2022,crafted_2012,crafted_2013
0464c7eea603a1169b0d74903226ee9c 436e2b888d8fff4aa8dc2810162023f9 spectrum-repacking newman unknown empty empty 51-20020.cnf.xz,51-21552.cnf.xz None
04674c7c9520c7edc0426b820f837726 730cbd747dd695de32762f5e76db628e miter stanion unsat empty no hwb-n30-01-S682466202.shuffled-as.sat03-1632.cnf.xz,hwb-n30-01-S682466202.shuffled-as.sat03-1632.used-as.sat04-853.cnf.xz anni_2022,handmade_2003,handmade_2004
0467f94ce29392897b1c964f6557ce46 138097008d7ac0cf8921912a82dc8e4f fdmus unknown unsat empty empty fdmus_b22_627.cnf.xz None
047566aaff65b42f2d1e89e0e1fc957f 3653484518e04d4eb8de1a29495f9e65 fdmus unknown unsat empty empty fdmus_b22_375.cnf.xz None
04782106e70a3e200feb487e5dfd826b 0fbd07361015e61019a4b1e2da086095 uniform-random unknown unknown empty empty unif-k6-r43.37-v270-c11710-S8899439977305235018.cnf.xz random_2014
0478f201a06ab2219542330f36a3698c e57f02b3680d3f95b3f3f41827bc71b4 spectrum-repacking newman unknown empty empty 41-103062.cnf.xz None
047a18e21c771877710468a88576cf29 f3474b0487496917de80d0e173bd282c misc-satex simon unknown empty empty simon-mixed-s02bis-01.cnf.xz,simon-s02b-r4b1k1.1.cnf.xz application_2012,main_2008,portfolio_2012
047a24a20dcf32612975fff862a229dd fcd8a5c2a0c71f2b803f69f3f0ad3ecd spectrum-repacking xindi sat empty empty 49-132820.cnf.xz None
047c92e7c0a36a23d8107f4313517719 34a5cadeda090504840e4ea2fa9f5c28 rubikcube jingchao unsat empty no rubikcube701-sc2017.cnf.xz anni_2022,main_2019,main_2022
047fbe00ecc60835f1ee9d458bbd7ee8 de647386c453805f3d41b67fbb0f06cb planning froleyks sat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=64 empty SAT_H_instances_childsnack_p06.hddl_2.cnf.xz main_2022,planning_2020
0480133b8911f6e9c3b4bb2755327649 87500adf71e82e43dd1e81d80a1df4c7 uniform-random simon unknown empty empty unif-r4.5-v500-c2250-03-S1518674119.shuffled-as.sat03-1127.cnf.xz random_2003
048142b6048cb6c10415e08f68a2c3a3 02fcaa8dc28a890efd92e781f2d5467b graceful-production chowdhury sat empty empty GP_81_430_13.cnf.xz main_2022,submissions_2022
04823801df6304e0fd0f36b9f956c2dc 51cb98a929bceca1f9ac4d8060e07d9d uniform-random unknown unknown empty empty unif-k7-r87.79-v154-c13520-S6707779930891676684.cnf.xz random_2017
04842030167d0508d3e42d8f0dda29e0 a5ec044de6bb42261cf5e78206517905 agile unknown sat empty empty bench_3169.smt2.cnf.xz,bench_3720.smt2.cnf.xz,bench_3721.smt2.cnf.xz agile_2017
0488830078c4a680d8014bbff36deeb1 baa6a8dc4d01bd0f8dcd24ee44bca620 spectrum-repacking newman unknown empty empty 45-91862.cnf.xz None
04897f61ac34d82804d57aa07322a400 719eb51950441bc0478cf704495d1d10 spectrum-repacking newman unknown empty empty 52-137968.cnf.xz None
04898b587aa76d7625bdfe23fd8a1a0a a3173e742160819039a5ff8484d8a187 agile unknown unsat empty empty bench_10000.smt2.cnf.xz,bench_9999.smt2.cnf.xz agile_2017
048a70da40ea4908c783b8314be2da97 d6a63a269b38c7b7bd6b5f6315972006 cryptography kullmann sat empty no aes_32_2_keyfind_1.cnf.xz anni_2022,application_2014,main_2015,main_2022,parallel_2015
048ddbb09453a83d40fa85110d0958f3 8b2ee96f03152936c331535741a95f0f random kullmann unknown empty empty okgen-c1912-v450-s1189481636-1189481636.cnf.xz random_2002
048e257d6d04d3d17f6547ca07fedd76 fa52ff50be57dd83e96e026c3c708213 uniform-random unknown unknown empty empty unif-c2800-v700-s1462454127.cnf.xz random_2002
049072033960eab882a3b0933d414f36 2ff3003ba007a4369939921d23952823 bioinformatics bonet unsat empty empty rbcl_xits_08_UNSAT.cnf.xz main_2020
04909da47036ae2ccf4fd8d025b83344 151a6f4e1a53a95aee37cbf4ff215e54 glassy-gen ricci-tersenghi unknown empty empty glassy-v450-s325799114.cnf.xz random_2002
0491901f00c8663e5b49a0dbbf96412f a8f6494953433423564d2eebe88d76de rbsat huang sat empty no rbsat-v945c61409g4.cnf.xz anni_2022,crafted_2011,crafted_2012
04935c7718d4ada8516e0d99c46df41b ae9548674e8dcf1aa4889fdbf0ff9f89 bitvector manthey sat empty yes g2-newton.8.3.i.smt2-cvc4.cnf.xz anni_2022,main_2017
0494c37fc0ae2de1550eea216cfc1752 8cd9d4251ff1992d5726517a9be90699 spectrum-repacking newman unknown empty empty 59-121619.cnf.xz None
04956720311452f8ad4bc3d771fdfbc0 d8203e0b5e3b5fc005817cf44f648d43 hardware-verification manolios unsat empty empty manol-pipe-c6nidw.cnf.xz None
049775f8bfc13fefc68f086cd3667df4 93095b0f2eceb810efb2f8c71043905a spectrum-repacking newman unknown empty empty 44-89079.cnf.xz None
0498569a656eb22b361a106e0cecff9b e7a73205a340d683b59c2cf1c86f6eda spectrum-repacking newman unknown empty empty 58-115310.cnf.xz None
049a5615101bbe36f025a7b87d3c7360 716b18899b0d32a708358f8a421df8c0 spectrum-repacking newman unknown empty empty 46-107987.cnf.xz None
049ddd5ace159bd3d3363c9c36217d6d fbd39e38ac56288e2e75769768d7aedf spectrum-repacking newman unknown empty empty 52-126461.cnf.xz None
049df9eac33b5770ea20ec1f022f0173 d13af613cbbea829f51a520da86ab728 random unknown unknown empty empty OKgenerator_s0=32s1=29n=500l=5cp=10000-Dnr0=0nr1=6-o.shuffled-as.sat05-1539.cnf.xz random_2005
04a05b619dfddaebbe864e7b94e108c1 9dfe8ebe0e89e178a0569612973998e2 random kullmann unknown empty empty okgen-c1890-v450-s1447162195-1447162195.cnf.xz random_2002
04a3e6aed6697c05b23934f51e9d5321 f146fc1424bbafd6cf59aa5b35928563 fdmus unknown unsat empty empty fdmus_b21_413.cnf.xz None
04a7b805cf12ae898f723b735fa959df 1cb0e4ea10bbaf4ff756d8e0b48affb1 test-configuration biere unsat empty empty satch2ways10u.cnf.xz None
04a97eb41fd59e3495641ea2442177c9 8d98556e587ec58404dbca785c10621b 2d-strip-packing leberre sat empty empty E07F15.cnf.xz None
04aa3db794a4a1129b037aac393e0bb5 bc47f588ed19ef85b3a0675ac72e8b94 random pehoushek unknown empty empty 5cnf_4100_4100_50f1.shuffled.cnf.xz random_2002
04afde06992c1171bbcac67b3b58c53c 4b7d733c8f48117f0df724abfca3eaf8 spectrum-repacking newman unknown empty empty 58-120285.cnf.xz None
04b111df3a3747388e923ae5252c9f4d f5a9ab84b535fa44e91b7326cec9e453 cryptography-simon zhang unknown empty no 25_0.cnf.xz submissions_2023
04b1f0add9aaef195413ca4c03ea58ba 19246989b80ac69a00f1de4f02c05606 spectrum-repacking newman unknown empty empty 46-98049.cnf.xz None
04b21b20b0f2aca4b886eb7832b6b0e8 c45d9b0cd685f382e04c0dc899d84ea3 graph-coloring pehoushek unknown empty empty 5col180_15_3.shuffled.cnf.xz handmade_2002
04b2a7f442ed1b15439d0678ce902d6f fbf2f7f72d760b267a16b6cdb9fb2e64 hardware-verification dellacherie unsat empty yes f2clk_40.shuffled.cnf.xz,f2clk_40.used-as.sat04-364.cnf.xz anni_2022,industrial_2002,industrial_2004
04b4dfec9afb6529764a94d1cea16abb f7e556bcde113f923a6fc5a8dc9ca876 unknown biere unknown empty empty ca004.shuffled.cnf.xz industrial_2002
04b58fb62b01369ce326152f7c7416e9 b5f09831ff7733210292c0138f7a8095 spectrum-repacking newman unknown empty empty 57-132304.cnf.xz None
04b88891edf088b990a3b3b81763efdd 1cdff1664de8832461ac223540d46d88 spectrum-repacking newman unknown empty empty 43-115479.cnf.xz None
04b9913aca917f957c43cd4d07e5785d 1b410357d586818a179f3210af0ce0b8 agile unknown sat empty empty bench_2589.smt2.cnf.xz agile_2017
04c03de21b275b4e5e9f5882bf2c5ec1 d08ecfb47361a96fb06f3a7bb356fa2c uniform-random unknown unknown empty empty unif-k4-r9.526-v4800-c45725-S7954665678349027228.cnf.xz random_2012
04c045b6ea95a35e248f3c5fa17e4c56 230456a908a268f98f39a12772041cb0 tseitin unknown unknown empty empty Urquhart-s3-b6.shuffled-as.sat03-1558.cnf.xz,Urquhart-s3-b6.shuffled-as.sat03-1558.used-as.sat04-807.cnf.xz handmade_2003,handmade_2004
04d00ada667e60a3153fb811809d7e34 eadf2bac5576ba39b1b4a1a6486b8f79 spectrum-repacking newman unknown empty empty 49-118946.cnf.xz None
04d0ae28e10d4a35ebab62f42f0200e8 17a18abdeb1394a6a74285cdb992e0a9 bitvector preiner unknown empty empty 168.smt2.cnf.xz None
04d1b01eb1d69df1e9951f5243295833 7230515a9452faea5f322b710a5f2e6a uniform-random unknown unknown empty empty unif-k7-r85-v220-c18700-S41627158-13.cnf.xz random_2007
04d22a87377168b4bae34b530adee132 7f339c107ee4458b9f15a11773f5152f spectrum-repacking newman unknown empty empty 57-108842.cnf.xz None
04d28cb98f3362dfcd4ab74d4bb82de3 002761573f1d8ab3f57815b2e864678e tree-decomposition ehlers unknown empty no ex065_24.cnf.xz anni_2022,main_2018
04d2cca932a87b98ebfc7bbd0fe6ed5d dde76674d8593feaa6f05355cd27feb6 software-bmc manthey unsat empty yes safe009_pso.oepc_true-unreach-call.i-cbmc-u2.cnf.xz anni_2022,application_2016
04d964003e9d42e6f2483e64564c1f54 cbcf29692fd639854564eb48bfd3eb33 spectrum-repacking newman unknown empty empty 55-111983.cnf.xz None
04d9e4c3ab38c5caa1983ac2c1263bc1 9f21c5d902713a079cd4d0d0c619ebcc uniform-random unknown unknown empty empty unif-k7-r70.0-v50000-c3500000-S187829520812454032.cnf.xz random_2017
04dbb417a7eeebd7ffe3199b414f4242 9508139ab302af7496f68011d560be0e scheduling lester sat empty empty Break_triple_20_90.xml.cnf.xz submissions_2022
04dd37bd8e319df958e1e091ec60de5b 32a7f4a9f65f555341cf0977bf39abdd quasigroup-completion heule unsat empty yes gensys-icl003.shuffled-as.sat05-2715.cnf.xz anni_2022,crafted_2005
04ded94454830d4ea960327e8b91f5a3 63aa66f626a7475bbf4b4224734618c7 minimum-disagreement-parity bryant sat empty empty mdp-28-14-sat.cnf.xz submissions_2022
04dee0e90b8ce346e65a60c81f6687df e67ea560f5fa262784495f632fa3ccf6 spectrum-repacking newman unknown empty empty 54-113292.cnf.xz None
04e219c640ed59dc68ea2d50493de5b5 23f1e39735dfdb3daefdbc575f0c4673 polynomial-multiplication xiao sat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=43 no mp1-Nb5T15.cnf.xz anni_2022,main_2017
04e47e6635908600ef3938b32644825a 64e930a465e08fb6bc8a6a49b64c7e7f graph-coloring pehoushek unknown empty empty 3col20_5_7.shuffled.cnf.xz handmade_2002
04e50bc7a121716e396dc538ab24490e cb7dad48066cb10c009d77bb35804b71 graph-coloring pehoushek unsat empty no 5col120_15_5.shuffled.cnf.xz anni_2022,handmade_2002
04e54fdde41e2e623789c3f7df6d274d 3cadc5e8bdd95122846dfc68dd6f5f94 uniform-random unknown unsat empty empty unif-k5-r21.3-v75-c1597-S295912653-089.UNKNOWN.cnf.xz random_2011
04e6e374423615babd4062f67a532c5e 0771d5576f88edc14bc04b1e05ec0d3c spectrum-repacking newman unknown empty empty 56-115054.cnf.xz None
04ed29d91e703f9ebfd81d2d4fa97103 39c1b26318cbe20184452b95630eddc2 spectrum-repacking newman unknown empty empty 50-130064.cnf.xz None
04eeb39d680097817142fe4d52c0e422 ae3492ba7bf56bc31ed3a1f85191f927 argumentation niskanen unknown empty no stb_767_201.apx_2_DC-ST.cnf.xz submissions_2023
04ef162792ce0f1d675cf363db2fd99b 57f3993a2b7baad66cb8c25394a51ca3 waerden kullmann unknown empty empty VanDerWaerden_2-3-29_868.cnf.xz None
04f0b56ff8811424c3f44cb7662b3faf 8d0f779c3c1917ab0f2a40d305022ad0 random-planted-solution unknown sat empty empty fla-komb-240-5.cnf.xz random_2018
04f1442bafdd6433d41588d2c2e72e0b c867fa44d514fe28913378561f4c8e42 random-planted-solution unknown sat empty empty fla-barthel-460-3.cnf.xz random_2017
04f43bb4a4f2c193a18e7195a4fd8e41 89c6a862e18bad7c415a672bc34f8afa risc-instruction-removal-golcrest fleury unsat empty no goldcrest-and-11.cnf.xz,goldcrest-or-11.cnf.xz,goldcrest-xor-11.cnf.xz submissions_2023
04f542671e8167741228d22abd0303db 73f8e344bb64f979899d80fdbf0253b0 spectrum-repacking newman unknown empty empty 53-112431.cnf.xz None
04f6dd1892f3382e8356d107ba156256 5b868f24f0e5fcc4c0907bff30b12102 minimal-superpermutation lester sat empty empty sp5-26-19-bin-stri-tree-noid.cnf.xz None
04f7b0f8afc58d5b7be2c486c01e8164 c7907b106b16399f17544885b9c289fd uniform-random unknown unknown empty empty unif-k7-r86.395-v150-c12959-S2296442078755672158.cnf.xz random_2012
04f7b83bdf8d56116cc9d7a659464c37 de0f8d7eee237f0df4fa5003ce9ee45a random-planted-solution unknown sat empty empty fla-barthel-400-1.cnf.xz random_2017
04f829be98c8646b8a08aa9a7f20af10 e0d952717a23fc799fc50788efd2570a agile unknown unsat empty empty bench_4136.smt2.cnf.xz,bench_4137.smt2.cnf.xz agile_2017
04f8b455b41f208ea19769f051ddcb1b 41311a78d3b6606962f6ce5aa435656d equivalence-chain heule unknown empty no equilarge_l2.shuffled-as.sat05-519.cnf.xz anni_2022,crafted_2005
04f9cf38c15c4f048fc25f03cb621536 eddbf7184cbf4cf11a69f9716f550d9a spectrum-repacking newman unknown empty empty 45-129928.cnf.xz None
04f9f1f61d99108b7ad0fa77d275dc4c 90b59c723a012535ac52db0ae6234e77 graph-coloring pehoushek sat empty yes 3col260_5_9.shuffled.cnf.xz anni_2022,handmade_2002
04fa0a71339fa76067a75ff448ef6f67 df6d9d43e43ea2a3fb8451c93523510c planning sabharwal sat empty yes sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf.xz anni_2022,crafted_2007,crafted_2009,crafted_2012,portfolio_2012
04fb14e644b1858851c739b1a2170334 d99452459c250eff9f4d0f2efc794779 spectrum-repacking newman unknown empty empty 58-79407.cnf.xz None
04fef94bab64c9e3cc8b2b696f38f7be a8eb34c7d56b0b3adfeda8524ddfdb7d random pehoushek unknown empty empty 7cnf30_80000_80000_6.shuffled.cnf.xz random_2002
050214ecbd9e96136fe1bc73447f1303 fbe69b8a6ef24d91d66f2ac6d6a3f558 pigeon-hole sabharwal unsat empty no easier-php-035-029.sat05-1179.reshuffled-07.cnf.xz anni_2022,crafted_2007
0502f436e37331d0b92274e0db73b134 ce7609f819323ad50c0e22b7194dbdf8 spectrum-repacking newman unknown empty empty 43-78431.cnf.xz None
0504d4dc55e80f42ffa698a4ece021c0 b2bf1e85f1bb92344a90a4b71b64ef77 bitvector preiner unsat empty empty test_v5_r10_vr5_c1_s8690.smt2.cnf.xz None
05065ca3c3a5b2b415d7e9afd0bd2c16 e9a1876327461716a5c3c94ec54dd455 spectrum-repacking newman unknown empty empty 46-88192.cnf.xz None
050688d137e1f4d563f7bd5d84d7e344 a5f832fb43c14693d0d650aa5dc63c98 reg-n shuolin-li unsat empty yes REGRandom-K3-L1-Seed20.cnf.xz submissions_2023
0506afbcee2355dd568a2923e4461649 5518be642071ed9c49717a03a27277e5 design-debugging marques-silva unsat empty empty ac97_ctrl-debug.dimacs.cnf.xz None
0506d033a4ca469af10d95dbf36a86e9 2d1dac354a51dc7de0adad734b64ba5e edge-matching heule sat empty yes em_7_4_9_cmp.cnf.xz anni_2022,crafted_2009,crafted_2012,crafted_2013
05070c567100ecb6cdbc2ffe0fae57e2 2d4f39fa7adebc85d1ba7f3708e393dc uniform-random unknown unknown empty empty unif-k5-r20.997-v440-c9239-S1286797345410084328.cnf.xz portfolio_2012,random_2012
0513c7d43a5874fa6a17a184091b3d68 039615065c8afcff77e850319b9b158f agile unknown unsat empty empty bench_17658.smt2.cnf.xz,bench_17678.smt2.cnf.xz agile_2016,agile_2017
0515200de14d9d8eb513e88e3d28ad7c 0fc5681939a4aaa44739aa20cfd81891 baseball-lineup hickey unsat empty empty baseballcover4with200.cnf.xz None
0515bc0e0f1028fd4d086139035f5f38 6c70f15cd30bc13bb0fa64e8ae83aa52 uniform-random unknown unknown empty empty unif-k7-r85-v240-c20400-S52275463-03.cnf.xz random_2007
0518b5dc204f26b356671785e02852e1 dfb0173bfe435190382d01aa5459ed60 glassy-gen ricci-tersenghi unknown empty empty glassy-v699-s1315920810.cnf.xz random_2002
0518c5a3eb17ee72f00424e63bd7940b b64f3213fb2fb9d0057cb2d8ce63eb50 spectrum-repacking newman unknown empty empty 53-133678.cnf.xz None
051b63ae234e63226a7984d76f9dc331 d0d1c75dd782a1c438a3eaa2f4b79df8 uniform-random unknown unsat empty empty unif-k5-r21.117-v90-c1901-S7373155193805786945.cnf.xz random_2013
051c7db6f9d6daa9238ad64ddae6cea0 cb2af2fde97d7ed100ee3e0abdf0b124 spectrum-repacking newman unknown empty empty 60-107966.cnf.xz None
051cb2ec3e94e7f2a72232530f847408 625df4b231f8832b9b964cb31156f8d1 spectrum-repacking newman unknown empty empty 56-126618.cnf.xz None
0520814ad7ca7c063109ee7a28e89de8 c99e0e800a6e51903feb09c98f482ebd agile unknown unsat empty empty bench_17349.smt2.cnf.xz,bench_17350.smt2.cnf.xz agile_2016,agile_2017
0521cd68355dd16e8f7940f43003d904 5fd7daae04bb0214121cfcb6e7d56a99 graph-isomorphism mugrauer unsat empty no crafted_n10_d6_c4_num10.cnf.xz anni_2022,crafted_2013
0524e21cb713c3ba78906a6716409c80 edc246a5bbab60cc5388fc20dc06ec2c spectrum-repacking newman unknown empty empty 42-122417.cnf.xz None
0525891c206c0382ffc813834bdd526c 23adaa0e6336ebbc9317678d234e2bcc subsumptiontest nuttall unsat empty yes DivU_545_9.cnf.sanitized.cnf.xz submissions_2023
0529f3356671518a0fc851f09b693b51 cb22b79f454eb5aca78d286c7f6681bc uniform-random unknown sat empty empty unif-k3-r3.96-v1000000-c3960000-S6642130359873877999.cnf.xz random_2016
052e03355eef1d923d532699e04f0eb2 450868b32cdf2cd2b85ff361bd8ce335 spectrum-repacking newman unknown empty empty 57-127408.cnf.xz None
0533a1506eb61460bee3917f61ca4c49 ce3b524db9d8cbc17ff7a7632a1408a2 subgraph-isomorphism anton unsat empty no SGI_30_80_29_60_7-dir.shuffled-as.sat03-217.cnf.xz anni_2022,handmade_2003
0534387f90398a24495d4b7b05f9b342 407f9859fc69eaae4a53b399bcc5c413 diagnosis anbulagan unsat empty no dated-5-13-u.cnf.xz anni_2022,application_2009,application_2011,application_2012,application_2013,application_2014,industrial_2007,main_2010,main_2015,parallel_2015,portfolio_2012
05373ec86c44b2afb60fb93316b30001 726501b573ed85d8452d1625208d64a5 spectrum-repacking newman unknown empty empty 43-116107.cnf.xz None
053c477a86dac016582436e67ecf0bc3 c24fda05c98decd2a52c9e6d250ba131 spectrum-repacking newman unknown empty empty 46-112906.cnf.xz None
053e06424279f5cfec8bb14dfa9af23c 057693f3ffed3568d4c10ba7c28fefff risc-instruction-removal-subrv fleury unknown empty no oisc-subrv-and-nested-15.cnf.xz submissions_2023
0541dc77ecea9c210d3c4231d97c02de ac11c731aa64b541c5236ce9d66587e7 spectrum-repacking newman unknown empty empty 45-119279.cnf.xz None
05423f54e9e0bf97ce3fca2abe2ba3e6 08a4e5e2043b139140661395e2784f0a spectrum-repacking newman unknown empty empty 55-101347.cnf.xz None
05469ff4aedf9286f024177d0d09fbd5 9aba96739f5ce8f4472df85e1767dfe2 agile unknown unsat empty empty bench_10466.smt2.cnf.xz,bench_10501.smt2.cnf.xz agile_2016
054c1e5254cdc36bb85e06e53cafe8eb e151b0b81c8d3da2fbe5b59ee95d76b6 fdmus unknown unsat empty empty fdmus_b17_1410.cnf.xz None
054c7052d5110e9731a9d0bf34d651ec 4aef17784c8b1ded349057d1893d06b2 spectrum-repacking newman unknown empty empty 49-84536.cnf.xz None
05513edb5e778987bd727804ed4fa01e 8444458dcf6609f9cf69526c6ad803b5 uniform-random unknown unknown empty empty unif-k7-r89-v60-c5340-S1831136826-075.UNKNOWN.cnf.xz random_2011
0553f2a01f0838c1f3347f622cc3c30c e921a72a2a4468c74d4fcb32346ba296 spectrum-repacking newman unknown empty empty 47-49226.cnf.xz None
0554c1dc9f40db098fb58d3086515b6b 052c9edbea697a290650a127f7f0a2cd antibandwidth biere unknown empty empty abw-P-can__445.mtx-w110.cnf.xz None
0556cacde8ebb77956342a6e81309553 768b7bdc44b8e4368f94f079a516a661 spectrum-repacking newman unknown empty empty 44-130360.cnf.xz None
0557d21452d411c00f766973a59837a5 5df23c9e10bacb7c939bf9b7b0e28f05 random-hiddenmodel moore sat empty empty balancedhidden-k3-n648-pos5-neg5-01-S1715560656.shuffled-as.sat03-900.cnf.xz random_2003
055836a43eb318de92f09c555ba4f3b5 598cd53f312f3e80e1dc13946ac84553 graph-coloring pehoushek sat empty yes 3col160_5_6.shuffled.cnf.xz anni_2022,handmade_2002
055db8f900741c7b8d7b731e99662588 b8e29c0d916a15db16f313e525c18535 clique-width heule sat empty yes rnd-v25-e13-k3.cnf.xz anni_2022,crafted_2013,crafted_2014
055f942145df4b6c9fd0d10a3f1da98e 8ca6f314abd0c10c708a80bec1c125bc scheduling stojadinovic sat empty yes atco_enc1_opt1_15_240.cnf.xz anni_2022,application_2014
056263f3ef83f1b0c0fd48cab346e8e4 c67048b32a0ce8a35038d694a00287bb spectrum-repacking newman unknown empty empty 47-97773.cnf.xz None
05650550f21d60a3989cae43fb5ebd93 4d1f1aa702b578570dfed05afa42f82e cryptography paxian sat empty empty ssAES_4-4-8_round_8-10_faultAt_8_fault_injections_2_seed_388173632.cnf.xz crypto_2021
05670a916f890c9c4345ff4fd19561bf 8a1246b60367da0c41b429e7c72583fe spectrum-repacking newman unknown empty empty 48-108108.cnf.xz None
0567f2309e01e99021245fd34a97417d 21246435b80f95d8ae282819f6cc0eaf agile unknown unsat empty empty bench_10589.smt2.cnf.xz,bench_10675.smt2.cnf.xz agile_2017
05680de3febd39916e496dd772cb8c19 bb41409701cefcae34c93f225a4dbca7 hardware-verification marques-silva unsat empty yes minor032.cnf.xz anni_2022,application_2009
0568bb0b42891e57247ed4b436dff85d f2a6bccba02daba572efe86aff6b20a4 agile unknown sat empty empty bench_425.smt2.cnf.xz,bench_426.smt2.cnf.xz,bench_516.smt2.cnf.xz,bench_517.smt2.cnf.xz agile_2016,agile_2017
0568ff4af327110a55355527e3c454e2 3834cae28b25204c267b09331b91f7b4 spectrum-repacking newman unknown empty empty 41-131904.cnf.xz None
0569ecb5da00dd3ffc8cdfab85a4956c 5214c3bcf797c8cbcaec6b0c306c3f2b agile unknown sat empty empty bench_1584.smt2.cnf.xz,bench_1593.smt2.cnf.xz agile_2016,agile_2017
056acec954f198b911fd8c6894a6fad4 464dede26d456f42f5d9175addc87b71 spectrum-repacking newman unknown empty empty 48-121230.cnf.xz None
0574a9f4769dfe44ea0680aa8d935f13 eef1efd72517723be3725c251af0a1c3 spectrum-repacking newman unknown empty empty 44-115474.cnf.xz None
0575710ecfdc61ede3807eb1c6a1b01f ed409b1761274121117888adf360a04e spectrum-repacking newman unknown empty empty 59-85413.cnf.xz None
0578dbb863e1dccfd5d352c1b8ba198c e819752c39c45b3a7ec537294dcd7353 spectrum-repacking newman unknown empty empty 58-134458.cnf.xz None
0579fb9d75e018b9366db9150db7453a f2eafaa5ea5e22e0389aaa0ef29aad8f spectrum-repacking newman unknown empty empty 41-126723.cnf.xz None
057ee74505bbc50bfb10d6814c5a3c4d 07afa423cdfe5bd3d9cb7daa61f946ce agile unknown sat empty empty bench_2425.smt2.cnf.xz,bench_2426.smt2.cnf.xz agile_2016,agile_2017
057f143aae50b8abc3e083b7609353be a3b966718f243260768d5fed9261ab79 cril-misc frioux unsat empty no g2-T133.2.1.cnf.xz anni_2022,main_2017
058129d7cf63b8a0a10e932a0728ac36 b891d7dec74c5f64901a9b624918ded7 spectrum-repacking newman unknown empty empty 54-111963.cnf.xz None
05817b4e1add561af0e1165e01fb48cc 897eeb57831cd66e8dc0129807f71a63 bioinformatics unknown unsat empty no q_query_3_l45_lambda.cnf.xz anni_2022,application_2009,application_2012,application_2014,main_2010
05833c2c6953b76638748b3b5152b17f da6dbf0a318592bdd2a0f055a111145c spectrum-repacking newman unknown empty empty 57-120887.cnf.xz None
058414cd650e2309e2d3df6b3ac80f37 ebdee6433e55e92e8d69ddb1ac07ea96 spectrum-repacking newman unknown empty empty 45-132862.cnf.xz None
05860ef5bb55efbd4bb5ec8b0de13d03 5cb959e7341382628d996f7f61f82d8c hgen heule unknown empty empty hgen7-n250-03-S1200457785.shuffled-as.sat03-852.cnf.xz random_2003
05879c0b6a41bf08f08ea2f58a931146 d99245a2af31eb8d596dcbba427c9924 hardware-verification marques-silva unsat empty empty c9n_s.cnf.xz None
0587f345cca3ef8340e8e71829dce130 55f88866fb8ae44971fb1d3ecdc8d48f waerden kullmann unsat empty no VanDerWaerden_2-3-12_135.cnf.xz anni_2022,crafted_2011
0587fa4c5dc214a7470cfab3712f4699 6dea5587a609bccef3bce32e22557126 fdmus unknown unsat empty empty fdmus_b17_425.cnf.xz None
058b69e7c7923e2c71070c9f934f2c2e a7398bbcc981d631a5254e7c5918efd8 cnf-miter manthey unsat empty empty 5_140_sd_schur.cnf.gz.CP3-cnfmiter.cnf.xz None
058cac57444038ce7e8f6fd286ff7424 e552ae4ff828ccd4f49952fd16ac692e relativized-pigeon-hole elffers unknown empty empty rphp4_130_shuffled.cnf.xz crafted_2016
058d2ff55a09eac11780d6a368b48a80 9c5e630a52c7dda2cf46a2d4835b38b3 fdmus unknown unsat empty empty fdmus_b22_624.cnf.xz None
0593e6814f02ec9749e87bdc6aff8275 52ba0b0b42832c0da261345429916951 planning surynek sat empty yes mrpp_6x6#14_10.cnf.xz anni_2022,crafted_2013
05997924d9bb4497f0f8a027caad6bbd 54d50f48d0716e22d1dfeba19dbabede spectrum-repacking newman unknown empty empty 56-110748.cnf.xz None
0599c0cc9fb43d1eb90c5590d4ecbf39 ca1feed4657bee063147d22a1f7d9573 fdmus unknown unsat empty empty fdmus_b17_1046.cnf.xz None
059aae70d73e0101c492106c4d214774 d6db8b9c3203b676b2033d63dc9921fc spectrum-repacking newman unknown empty empty 50-117078.cnf.xz None
059d90867f6ed5c4e69ab0094601bb37 83ddea0d28c3f5da6604b1e46cc971a2 floodit-puzzle unknown unknown empty empty floodit_7_n70_k10_m229.cnf.xz None
059f3479ab76bc97c3db74efc8558482 93c9ea95ee11aa52bdd6f3e7633165f7 random-planted-solution unknown sat empty empty fla-qhid-220-2.cnf.xz random_2018
05a14c9084e09730c52b65732fe19d90 32068037c07a9451f3a6ee84f44a536a uniform-random unknown unsat empty empty unif-k7-r89-v50-c4450-S1374457799-001.UNKNOWN.cnf.xz random_2011
05a42b5c95a497c9b80116f537c48e32 9f2cc39c007bec0ee533beea19132359 agile unknown sat empty empty bench_8135.smt2.cnf.xz,bench_8136.smt2.cnf.xz agile_2017
05a5c4f83946f8390e561e006f39f0e9 b2b29d6313c86833db7a19f499304eea spectrum-repacking newman unknown empty empty 59-112643.cnf.xz None
05aaff6058ca0088f54881003c1eb57b 87e27e8234216287843a24b611e80177 glassy-gen ricci-tersenghi unknown empty empty glassyb-v348-s406890181.cnf.xz random_2002
05b04d362b374569a4eb63c4e4e132b7 f7f14d4c70a3b7631096f49048898a8f unknown moon sat empty no mp1-9_3.cnf.xz anni_2022,main_2017
05b095301362cf626067acd18590ea03 11bf801adb7d966085f46b4e93d1ba51 spectrum-repacking newman unknown empty empty 42-113382.cnf.xz None
05b20aaa3665b3688fe91e63b1d416b1 ad24ca65481494dea0d2ba7344e24098 spectrum-repacking newman unknown empty empty 54-128224.cnf.xz None
05b26080370a69270bfd81327e616cee 0b24e80dd02c549d0e3a93ae78aa23bf bitvector preiner unknown empty empty 144.smt2.cnf.xz None
05b373515e803818e8991e855a1d500d 8aa09b999578667cb0c3f469e2e98865 spectrum-repacking newman unknown empty empty 53-132568.cnf.xz None
05bddbf878fc3fd6becc0b13ae747bdb 1cdbad991e193b28226279d720198a68 spectrum-repacking newman unknown empty empty 51-136016.cnf.xz None
05bea7b46a68c2bc7761ff2424c5e58f f288a64cffb4766820fd2057acbcb3c4 spectrum-repacking newman unknown empty empty 54-118441.cnf.xz None
05c042ebd6f763d072a86cac025584f0 2c0e1b1e07e2fdf5b92f05a0287c3f70 agile unknown sat empty empty bench_2081.smt2.cnf.xz,bench_2082.smt2.cnf.xz agile_2016,agile_2017
05c46c3abf7acb1337d74ce98da20ec3 68d965329902ee9afb41ca7d8bb90ccd uniform-random unknown unknown empty empty unif-k7-r86.674-v140-c12134-S943451038130836608.cnf.xz portfolio_2012,random_2012
05c52a5f9133f5afca84767f2eff98fa 7eb8c15ff12c2df6cb39e7ec18ebe55e cril-misc frioux unsat empty no g2-T103.2.1.cnf.xz anni_2022,main_2017
05c5ed370ea11a2c19c111f4a5979921 4ab2bf3d0636ec3d86b7dfd7be4e9920 random-planted-solution unknown sat empty empty fla-450-2.cnf.xz random_2016
05c5ff612371a5773e857212174f625b 25a1154d4355f1f4fe8a7223adb5c496 prime-factoring pehoushek sat empty no ezfact64_9.shuffled-as.sat03-1525.cnf.xz,ezfact64_9.shuffled-as.sat03-1525.used-as.sat04-792.cnf.xz anni_2022,handmade_2003,handmade_2004
05c75485e42f747b9dba8da1aa1133ea 23e0dc18c8427a6c62f836d949894de0 spectrum-repacking newman unknown empty empty 54-127486.cnf.xz None
05c7d8c4a5be0da9995e180fe65f0d9e b5216f170fce19311ea3fdd9c4b8b3d9 uniform-random unknown unknown empty empty unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf.xz random_2009
05cc4564c3160e7da7be1142f0448771 a9871e149944f08ee94ca6e3203ef669 uniform-random unknown sat empty empty unif-k3-r4.267-v8000-c34136-S8324805458183996333.cnf.xz random_2017
05cca3e64d2d7766f5eb8eaff105eb40 df4928ac560383564f6a1b768bac74a9 spectrum-repacking newman unknown empty empty 48-99593.cnf.xz None
05cf9b400cec8d7e6a606b8a2087ea3e b35a375b9af571ba27978a9977d756bd spectrum-repacking newman unknown empty empty 41-119925.cnf.xz None
05cfa69444404b03cce3310bfd633119 821d37e168c6ff65f8edd194caf7198f spectrum-repacking newman unknown empty empty 54-132214.cnf.xz None
05d14498d98fd6ea69d30136eb95dcb3 0717a7120e1511384b5676879272b1cb uniform-random unknown unknown empty empty unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf.xz random_2009
05d1a5e83b3a86de7598a1e089a86b21 73fe8087bc6b9bb2163f09853c0bf7e6 spectrum-repacking newman unknown empty empty 52-139149.cnf.xz None
05d1e403eb79a9a1b4fd0182be89299b 0e73ba9fd09d194f99832417a8054fe5 spectrum-repacking newman unknown empty empty 57-126829.cnf.xz None
05d545d220f72a6d28004dd5b092594d 7c2cb2894b31ac43b900d3e8635b271d uniform-random hirsch unknown empty empty unif-c1800-v400-s1198360523.cnf.xz random_2002
05d6efa039dad1b207f1649aa4449fd2 a42227bb1f22f76d5ad25e587224e206 spectrum-repacking newman unknown empty empty 46-104984.cnf.xz None
05ddfe38031a7974a3d0510018ab253c 92e42766894a3319ecf6caf09d9a69ee spectrum-repacking newman unknown empty empty 60-88509.cnf.xz,60-89965.cnf.xz None
05df4430054ceba4fa065806e8c65041 47911a52dba8c016373ed27f20b2f0e9 subgraph-isomorphism anton unknown empty no SGI_30_80_23_90_10-log.shuffled-as.sat03-202.cnf.xz anni_2022,handmade_2003
05e291c40b85447a181d7de47ae1a2bf b5d30eecc36ceb921def8ac908aba08c spectrum-repacking newman unknown empty empty 51-134837.cnf.xz None
05e5b5a37a0d7cb5e96c82b84bbdca66 a813c599017357919a0f142fad02ddaa mycielski-graph yolcu unsat empty no Mycielski-11-hints-3.cnf.xz anni_2022,main_2021
05e877d2709b8c20b3485e6b68c98bc0 fcb70e023aa2940f16dbb0e1e25ef350 spectrum-repacking newman unknown empty empty 57-107474.cnf.xz None
05eb87eb6fecb7a8a3bdc25154412c1d 34fbff801c876dfb93972c26a827f581 waerden kullmann sat empty no VanDerWaerden_pd_2-3-24_592.cnf.xz anni_2022,crafted_2012
05ed64e4e6229f446082752936768489 b7b9f60bddf21f4ae371bf0a714bd2da argumentation niskanen unsat empty no stb_495_168.apx_2_DC-AD.cnf.xz submissions_2023
05ed840c0a907e88e475c931f40fab83 faea08d29ad2e1e3790604b4d9a4b44e quasigroup-completion unknown unknown empty no bqwh.50.750.shuffled-as.sat05-434.cnf.xz anni_2022,crafted_2005
05eee75ab69270c322b9ef6bc1ee8604 d992f96a24d9b739914e4db0a4db0f01 cryptography fuhs unknown empty no slp-synthesis-aes-bottom22.cnf.xz anni_2022,application_2011
05f3a48298721d68cded8618b432e7c3 2f9b0ef1aaeabd00069ff349f266b72d sgen spence unsat empty no s85-100.cnf.xz anni_2022,crafted_2007
05f5567936f582edc0d3ea9903f540bc 5fb02e2d0c56c784df50c24c4d2ffe27 sgen spence sat empty no sgen1-sat-230-100.cnf.xz anni_2022,crafted_2009,crafted_2012,crafted_2013,crafted_2014,portfolio_2012
05f6dbdbe30aaec98ca5fc1ce5a662b1 3509e5bc756eb2d8af261b31ea044e31 agile unknown unsat empty empty bench_6870.smt2.cnf.xz,bench_6936.smt2.cnf.xz agile_2017
05f7448ef6a998da4d58a15cebe0b6ba a0a34017c6e81dd2df48b4de3e1ebd65 spectrum-repacking newman unknown empty empty 41-105304.cnf.xz None
05f8ffcc6372f5475a0b7c61b46c162e f8bfe556b77123234dd34a441ba1c9b0 uniform-random unknown unknown empty empty unif-k7-r86.116-v160-c13779-S8500400032903634702.cnf.xz portfolio_2012,random_2012
05fa3b96505ec198385ce8bbb02d27df eabfee716669adfc3f7a89f9989efc82 agile unknown sat empty empty bench_1384.smt2.cnf.xz,bench_1385.smt2.cnf.xz agile_2016,agile_2017
05fa862fc7acabb822b6f2afb5fb6973 1f70f35fc2a5744c2db97eebf3bb7396 spectrum-repacking newman unknown empty empty 60-106238.cnf.xz None
05fb1e489956554f9115344bce4e71c7 3a81a2baa727b15583f560dc6a1f1b2a diagnosis anbulagan unknown empty no partial-10-11-u-sc2007.cnf.xz anni_2022,main_2019
05fbbab9f0baf819ed9593cca8587629 296d9e0e0d3512bc0be6a02c7a01dae4 subgraph-isomorphism anton sat empty yes satsgi-n24himBHm28-p0-q282.cnf.xz anni_2022,crafted_2012
05ff725eef6dbf5b1bff07bedd89d6c0 b93611d69294191379eb559b02bcb3ea cryptography fuhs sat empty empty slp-synthesis-aes-bottom32.cnf.xz crypto_2021
05ffa991da7ff48826faa3607de22e60 a154906d590078665421311a559c1108 spectrum-repacking newman unknown empty empty 60-120032.cnf.xz None
0601e6379f576d6ad6eaddcb5798c13c e024bc0b0e30b1d2ac0a149971d98cf7 spectrum-repacking newman unknown empty empty 60-125637.cnf.xz None
06049cbbea67b138b7900b6c7c5730de 31dec1db2ca7b4ec75b8230c61001b9e spectrum-repacking newman unknown empty empty 48-106649.cnf.xz None
060ad8240dd120ae1017c31c17fa88e9 377e46e99cd01042283fe494dee570f4 cryptography gocht sat empty empty sha1__zeroOut_06__freeIn_10__seed_2.cnf.xz crypto_2021
060b7ed7ef9e59576b9ee62c998a5103 ec5915667bd8abdcfe2e73763229157a bitvector unknown unsat empty no bvslt_13916.cnf.xz anni_2022,crafted_2014
060eaa97b6072e7d3ef9087d2421ddeb ace2ba605fbbe507002a122e78f72635 uniform-random unknown unknown empty empty unif-k6-r43.37-v130-c5638-S3107119572988961067.cnf.xz random_2014
0611c9a290bc9dc289bc097c9662913c 0155d8012245db88d14d482679177e86 spectrum-repacking newman unknown empty empty 60-138098.cnf.xz None
0612deb9e6268ddf1381d042ab2e52ce 9a94a5c99662890c60bce91d648f4f91 agile unknown unsat empty empty bench_17580.smt2.cnf.xz,bench_17581.smt2.cnf.xz agile_2016,agile_2017
0614e1ae5100ee0aca4ea24424479fa3 6b89bfb4a4f459fbb70c9545894f9563 miter stanion unsat empty no hwb-n32-01-S1491788039.shuffled-as.sat03-1637.cnf.xz,hwb-n32-01-S1491788039.shuffled-as.sat03-1637.used-as.sat04-856.cnf.xz anni_2022,handmade_2003,handmade_2004
06166a0dd78f45c213add974a6711dfe 5601b4ad5deb75a1d0d2dfe2c0c00e8e planning balyo unsat empty yes barman-pfile10-038.sas.cr.25.cnf.xz anni_2022,application_2016
0616ca6b1e0ae639d12e19ed310963a9 039223f3ea5163f320c4091169211793 cryptography heusser sat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=67 empty satcoin-genesis-SAT-4.cnf.xz anni_2022,crypto_2021,main_2018,main_2022
06172049e6804cbfb07f993023f2684f fad7920016730544b600c71d8166a729 waerden kullmann sat empty no VanDerWaerden_pd_2-3-29_809.cnf.xz anni_2022,crafted_2012
06221f824342f77b3d6cce7f05d70fe2 0ae002276bb6615fa73b247689688e4d uniform-random unknown unknown empty empty unif-k3-r4.267-v5200-c22188-S8678759431095479164.cnf.xz random_2016
062b340de8f5fdb7ad62c3ec8a7d50ac 712839804a08c84775a69e8368334c84 uniform-random unknown sat empty empty unif-k5-r20.756-v720-c14944-S6578007171384556056.cnf.xz portfolio_2012,random_2012
062c3f614211a999d533cf5ba9108e5e e4bfbf1479f012c5a4a7cd7558e1879e uniform-random unknown unknown empty empty unif-k6-r43.37-v165-c7156-S2801141672963831506.cnf.xz random_2014
062ecaf3e25632b7b6a20134f11c27e4 9b32ffb0dcd7919425b56ac928a7bc70 spectrum-repacking newman unknown empty empty 51-114562.cnf.xz None
062f58e44eb73f9274b57af5092cad90 c781c6dee94f2379979b715e77f4225f rooks manthey unsat empty no rook-51-0-0.cnf.xz anni_2022,crafted_2014
0631fa9d32573af7de0062dd3ad42d2a cf88f2f46fb98347997c664132b5b77c uniform-random unknown unknown empty empty unif-k7-r67.0-v50000-c3350000-S432818847650308572.cnf.xz random_2014
06326dd7bab63b892d2c147d5928468c 1065699ec7e354c35f923bda2d23b5f8 bitvector jarvisalo sat empty yes smtlib-qfbv-aigs-bin_libsmbsharemodes_vc6201-tseitin.cnf.xz anni_2022,application_2012
063486c4a139ae7a3874a5bac3459217 0f18d75d2c446b9fbfb4865ae08f6591 cryptography gocht sat empty empty md4__zeroOut_03__freeIn_07__seed_1.cnf.xz None
06385be5ecfc7df22b2c956093cef85f 5adb010b08546f6b05277e7c7ef721be planning maris sat empty yes depots3_v01a.renamed-as.sat05-3950.cnf.xz anni_2022,industrial_2005
063beadfa9d6dbd569d12aacbcb300c5 94b68e616a8f4040873040d344d6bc46 uniform-random unknown unknown empty empty unif-k5-r20-v700-c14000-S1281410666-045.cnf.xz random_2009
06441d7b824ead0325b07d7d7e943ddb bd2d52d923cbe7ab595f6a02d1def839 spectrum-repacking newman unknown empty empty 45-106676.cnf.xz None
064850977be6689e4aa2165adbd8e866 87d90175789f9bd4faf47ce962166d36 spectrum-repacking newman unknown empty empty 55-106214.cnf.xz None
064ba3c61c5f105104edec8305853711 41b2000b8bc9db9f771411282aee0edd sliding-puzzle kaiser sat empty no puzzle35_sat.cnf.xz anni_2022,main_2021
064bf6dbb752a83b4d3602779a4f5795 6efd881c937c6537236e5ec693e976b1 agile unknown sat empty empty bench_5191.smt2.cnf.xz,bench_5192.smt2.cnf.xz agile_2016,agile_2017
064cf5ae720265bdb95f553557e41f18 8fd17f0ef3d9f65f6006d69be96463dd spectrum-repacking newman unknown empty empty 41-86250.cnf.xz None
064fe286277f695f42b556ef991036ff efa192ccbe43741b5fffc8bb8095c8fd circuit-equialence-checking junhua unsat empty empty sin_depth_miter_2.cnf.xz main_2022,submissions_2022
065036e33ca5a147c353956348fc8cc5 110dc324729e3cf2dbc5285bb720769c spectrum-repacking newman unknown empty empty 51-105906.cnf.xz None
06536364700e9f2297d14f2aa5a425bd 8ade5bffd1519a42525e73980ea5c17e uniform-random unknown unknown empty empty unif-r4.5-v900-c4050-08-S254206340.used-as.sat04-148.cnf.xz random_2004
065775fe69392642261b1436fbd6bab4 d19a0930f7d8731a1c366cdb053e9165 uniform-random unknown unknown empty empty unif-k7-r89-v80-c7120-S1980280938-088.UNKNOWN.cnf.xz random_2011
0657d7556552d692a009861a8df0187d 9b3b65ccd90c70e68e9f9f5759fac52c spectrum-repacking newman unknown empty empty 47-137424.cnf.xz None
065882225b28a15ec62af09030001ee5 5391fdf354b7564d7d7bf46c4a29c6a9 hardware-verification manolios unsat empty empty manol-pipe-f6i.cnf.xz None
065b141f5b24a1ea858f9e63bf13d0cf a9cf08f576d7e7138640c15a7d75ffcf spectrum-repacking newman unknown empty empty 47-121128.cnf.xz None
0662b68319b8438792d39a221786680b a1a659cd1b3048de80c0cd638b23210a agile unknown sat empty empty bench_16635.smt2.cnf.xz agile_2017
0662df257be6c6d0691729cb23a17386 ccf63e1d86d055a96af607f649249dd2 random pehoushek unknown empty empty 7cnf30_80000_80000_4.shuffled.cnf.xz random_2002
066813ab5f3b7b1cc6d2847c37f5fae7 190185d01c41d8e8f343d241bf78fd75 prime-factoring pehoushek sat empty yes ezfact32_10.shuffled.cnf.xz anni_2022,handmade_2002
0668d86f91d0e8aeea2e3fe722047363 d23bf50e35a2d004b7435641e61f56f5 spectrum-repacking newman unknown empty empty 60-93490.cnf.xz None
066ade1d9e5bede84a078012ee14fdc5 63a8069d04df0e46bcfe91a021498809 spectrum-repacking newman unknown empty empty 45-131035.cnf.xz None
066cc2796adfff0382fed7ae88d5b41d 6afc53252093315fd42f5989b2a391c9 spectrum-repacking newman unknown empty empty 44-120140.cnf.xz None
066d6a47dfd9648d913ba8dbce722d75 55bf2c43b8472dd1cc6f12eacc970fbe cryptography fuhs unsat empty no slp-synthesis-aes-bottom16.cnf.xz anni_2022,application_2011
066f7dc6f15dfe89172f4b32e50ac826 cdcf8fd6245358e461bbfda49ce74933 random-hiddenmodel moore sat empty empty hidden-k3-s2-r4-n700-02-S664369081.shuffled-as.sat03-1046.cnf.xz random_2003
0671f3013bf168f4660edfb4b40fbfa5 07821a7db97033b59e8edd92d28c28c3 agile unknown sat empty empty bench_1815.smt2.cnf.xz,bench_1928.smt2.cnf.xz agile_2016,agile_2017
06767f7b8e23fd24f6df74fefef9c48c b444b80c1b17c59bfbf80de445ee5ba1 uniform-random unknown unknown empty empty unif2p-p0.9-v990-c3583-S1435246639-05-UNSAT.cnf.xz random_2007
067dc6945c4aec1c2bc1fdc2e5819124 64e930a465e08fb6bc8a6a49b64c7e7f graph-coloring pehoushek unknown empty empty 3col20_5_8.shuffled.cnf.xz handmade_2002
0680b380fc7a80df4c5a33ed23e11ddc c2faa3a580435910eecbc8baa725f7bd sudoku zhenjiang unsat empty empty sudoku-N30-21.cnf.xz submissions_2022
06810c46387bda32e8a1486bac64a7af 15d6d5d05d2143683d95de3b8993c432 agile unknown sat empty empty bench_15492.smt2.cnf.xz agile_2017
0684c9b8439112b0e3202dc1f13bae65 72488c91e73e1d6417c011990403d309 uniform-random unknown unknown empty empty unif-k5-r21.3-v90-c1917-S785082413-028.cnf.xz random_2009
068594cad63ad63966d00272acbe72f7 6791d73fbfb6b404f86d19e5ebef47df spectrum-repacking newman unknown empty empty 55-133860.cnf.xz None
06872e73223dc74c76b06f37a185dc22 680583bd82b31f273ccd172cdfca425e waerden kullmann unsat empty no VanDerWaerden_2-3-16_238.cnf.xz anni_2022,crafted_2011,crafted_2012,main_2020,portfolio_2012
068ab49cd35aa24078cd23170599484c 73a9eb62befd0289374a044d80d567f2 uniform-random unknown sat empty empty unif-k5-r17.4-v250000-c4350000-S5797512427540361148.cnf.xz random_2018
068c64314f0f8405bc28bb4c52647145 c6e48ac9bcfdee4f991dc632bd8517c1 planning balyo unsat empty no sokoban-p20.sas.cr.27.cnf.xz anni_2022,application_2016,main_2021
068f2d23820541fe4eaebfb072bd6cbb 27ada5b63fd9b95bef974567eef77869 spectrum-repacking newman unknown empty empty 58-127368.cnf.xz None
0696cb4f18fd63cc94f319fab92119e5 760df3db9637100bd4fb91a26874e666 spectrum-repacking newman unknown empty empty 60-108495.cnf.xz None
0697524f77ccd503f7e5fe15f23a1268 0274763bd587c985cf2b30869c2d8877 graph-isomorphism mugrauer unsat empty no crafted_n12_d6_c4_num27.cnf.xz anni_2022,crafted_2013
069978487284dbdafb1bb8860adf19f0 088ac53fc2f0ef54b67bf5ec546140c5 spectrum-repacking newman unknown empty empty 46-117679.cnf.xz None
069c9e38f21a431a293c2c158e43f1f1 7ec593196286bd134564ea91e1b4068b spectrum-repacking newman unknown empty empty 46-33217.cnf.xz None
069f7d519e820f6b879f880703907bb3 6dd6f9f71b4d373d0bab4dc7027c0fc7 subgraph-isomorphism anton unsat empty no SGI_30_60_28_40_2-dir.shuffled-as.sat03-124-sc2002.cnf.xz anni_2022,main_2019
06a36581f14e399a76a5110449ebe739 4370a7992364998a1da4e479d2baf8dd planning maris sat empty yes driverlog2_v01a.renamed-as.sat05-3961.cnf.xz anni_2022,industrial_2005
06a572c0ad87e4465dc82c3d94efa599 00c5029c107885c0c3c304813d992f5a agile unknown unsat empty empty bench_17455.smt2.cnf.xz,bench_17456.smt2.cnf.xz agile_2017
06a91842354cefee9d432cfd3ed50100 a0aaa59bcbea27b1e21ef0eaa91d98c3 spectrum-repacking newman unknown empty empty 53-133670.cnf.xz None
06a9fbce25234a6938bcab419bcb54e3 2d36339958ded1d046ee35eba72b9441 agile unknown unsat empty empty bench_9656.smt2.cnf.xz,bench_9657.smt2.cnf.xz agile_2017
06aac1637bcefa8de3a9901f3c030d9f ec6a55ddaf88400ec0bc5ddbe9f7b798 uniform-random unknown sat empty empty unif-k7-r70.0-v50000-c3500000-S1943310965622091429.cnf.xz random_2018
06ab2f3544c15dad7b9e4bfbce9982cf f71a6956ff12b932f3e163a5d13db546 uniform-random unknown sat empty empty unif-k5-r21.3-v130-c2769-S1284937235-05.SAT.shuffled.cnf.xz random_2007
06ac25321a9e8a0e2653ae9fc72ff939 74039548a8ddcd3105f31780952ab761 spectrum-repacking newman unknown empty empty 48-134487.cnf.xz None
06ac45adf49f5e65a05904420e22def6 ebc9006ea0a637ced46d2fc8473b999b agile unknown sat empty empty bench_1224.smt2.cnf.xz,bench_1225.smt2.cnf.xz,bench_732.smt2.cnf.xz,bench_733.smt2.cnf.xz agile_2016,agile_2017
06af18723348ccdd9b0fc20bfda1d7ff 0e206ca64e54db204071d59a66636965 agile unknown sat empty empty bench_2050.smt2.cnf.xz,bench_2051.smt2.cnf.xz agile_2016
06afd800584013b69acf3ceb8a92dd39 8955ff01e2ae9b01afbb9636b57283d9 uniform-random unknown unknown empty empty unif-k3-r4.2-v50000-c210000-S964643921-035-UNKNOWN.cnf.xz random_2011
06b138e8a6da806e88ac7da2919cef30 607426441c443d85ee2bdc68a5c02d7d grs-fp-comm fleury unsat empty no grs-192-32.cnf.xz main_2023,submissions_2023
06b234d992399a10a26d5be67230a20c c323a3cf63ebbcb4c0790094244f1028 agile unknown sat empty empty bench_2844.smt2.cnf.xz,bench_2963.smt2.cnf.xz agile_2016,agile_2017
06b238df161c9e24a31890a08bca22df 1c6e0c77133c79b81ecf7e48f20e0791 product-configuration marques-silva unsat empty empty C208_FA_UT_3255.cnf.xz None
06b27debc937e605bb3198297d4ccaf1 c5464a8bc2d5a89013853c804bda16e3 hardware-verification manolios unsat empty empty manol-pipe-g10idw.cnf.xz None
06b3fbd3e0d8f0679e979e88d852089a ae6236a0468ef8a55ba586f9e6d8492f spectrum-repacking newman unknown empty empty 52-1837.cnf.xz None
06b4ea25b64b0ea42d68fb06534a7e7b e96e2e0b1bda0a44b731fcee1b5cd115 bitvector preiner unsat empty empty bv-term-small-rw_479.smt2.cnf.xz None
06b6606fd021e9b4412bfc2fc42d7b0a 041091efa37a441771013ea47c39324c uniform-random unknown unknown empty empty unif-k3-r4.267-v7200-c30722-S6702139083167994208.cnf.xz random_2016
06b6aecc3400ca0449c6b34efa6b2910 93e61405c632bde1224384b58201600a random unknown unknown empty empty gencnf-k6-r44.3-v108-c4784-03-S1945307870.used-as.sat04-213.cnf.xz random_2004
06b6d7b1e7f26c4290413956ada422a2 66d69cb9d0764e794d9a894d5ebdbad6 agile unknown sat empty empty bench_5558.smt2.cnf.xz,bench_5560.smt2.cnf.xz agile_2016,agile_2017
06bb08c9c8624d8f6d795d1127eebffe 4385ab811957607107dac19522ecbb6e spectrum-repacking newman unknown empty empty 58-115996.cnf.xz None
06bfd83d0fba6a831d1f6db32b587d2b 6c473847587634bd0e1233fbaee411dd random-planted-solution unknown sat empty empty fla-qhid-440-4.cnf.xz random_2017
06c4a06f6c791ebcbd2e90f94d898cee a22bd86cfb60542cf4dd4f73d0e7add3 spectrum-repacking newman unknown empty empty 44-124545.cnf.xz None
06c6e5b5ec743e16bc55089bf42546ad 34d90715a549497344e5bd20e2b541bb spectrum-repacking newman unknown empty empty 48-134916.cnf.xz None
06c775a3db8f039e5684629a63398552 6ee969ce38ea520dc954b04b81102021 agile unknown unsat empty empty bench_8007.smt2.cnf.xz agile_2017
06c9e7d682595a3ea26501bd57bc36a7 6fe7433d87f4798065737b4372ea4055 uniform-random unknown unknown empty empty unif-k5-r21.3-v150-c3195-S788239782-034.UNKNOWN.cnf.xz random_2011
06cf898b21f50c827248a0f09c1d9b20 41e4f613aa6cccef46158e6c1afe615b agile unknown sat empty empty bench_4022.smt2.cnf.xz agile_2017
06d2543c151c2478fde159c6dc0424ac 7886ad062f504c793cbeaf7e1eb5b376 bitvector biere unsat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=56 no udiv45prop.cnf.xz anni_2022,main_2018
06d38596ee5a5fd90877de6c04ede06b 045bfef63795f2979c3dec71e8436507 spectrum-repacking newman unknown empty empty 44-80012.cnf.xz None
06d65173e592488f8199e9388d4d261c 8020c60e40975d2451d9247fee52896c uniform-random unknown unknown empty empty unif-k4-r9.1-v500000-c4550000-S806157651348955680.cnf.xz random_2014
06d6f4f8c3ac52d034143eca8d62d1e7 000cd2f64d0f8bc8f40c4a9f4aff2d56 agile unknown sat empty empty bench_2210.smt2.cnf.xz,bench_2211.smt2.cnf.xz agile_2016,agile_2017
06d7ddacd91c84d9c6be5ace491b410a 6f6453b74d26f0f8ca51edda7aefe9e3 uniform-random hirsch unknown empty empty unif-c2940-v700-s1981315329.cnf.xz random_2002
06d96f79264e9991a5a0a417c401657a 5ccda9bea99df58d4ef2cdbeb973953f bitvector manthey sat empty yes g2-mult1.c.50.smt2-cvc4.cnf.xz anni_2022,main_2017
06dd675f4930318f9a4e68c5737059f7 2912b53c1f002ba4ba24593bbe9ff812 agile unknown unsat empty empty bench_13822.smt2.cnf.xz agile_2017
06df09f5ff0b34724a6f43c12560c0b1 e3e435252d4d9de423be95082d7b13df spectrum-repacking newman unknown empty empty 42-132828.cnf.xz None
06df75fc09ba7eb9f0ffb8d45aa8edfb 549a2b08207b85e020ebd179e4c304be spectrum-repacking newman unknown empty empty 57-113232.cnf.xz None
06e13d42320e5c9d06d63abce2e978fe 50cea68c737682b44538a152b456ae2f uniform-random unknown sat empty empty unif-k5-r21.3-v110-c2343-S1492329924-074.cnf.xz random_2009
06e46ab0acac57a61638cbb741949a98 125371f1467e371be55ed20ffec7c3f5 argumentation wallner sat empty yes complete-500-0.1-1-9876543215001.cnf.xz anni_2022,application_2014,main_2015
06e5233a7d177a4f94b8a05eadb45368 4780eea3334bbcfcb86bb1af3d155021 spectrum-repacking newman unknown empty empty 52-126710.cnf.xz None
06e928088bd822602edb83e41ce8dadb a4e8af92a2e1a3810dcd100e6dde944b cryptography heusser sat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=67 empty satcoin-genesis-SAT-10.cnf.xz anni_2022,main_2018
06e997650b24ac5b5f87c1c64f4a5dcb 4db8e09f592f1eb5a2e6beea264a1682 hardware-verification marques-silva unsat empty yes edn_9789_8.cnf_0.51000000.unsat.cnf.xz anni_2022,mus_2011
06eca5bfcdc4fbde5715c34c87f9ab75 907c49299215c0a1c38397734bb345cd fdmus unknown unsat empty empty fdmus_b20_162.cnf.xz None
06f2da87052cef073227b497fcfcec79 47ff9cdf92b8728471ff815941f1aa35 random unknown unknown empty empty fla-komb-280-3.cnf.xz random_2018
06f4af23f9bd78087cf965f58487ae6b 588280ffb062ee3515714a16e5b2da9b agile unknown sat empty empty bench_10982.smt2.cnf.xz,bench_10983.smt2.cnf.xz agile_2017
06f538d7af257560476f9100e36d4445 2d30dde69a7e6273378a8328947b0c29 software-verification post sat empty yes gcdmax16bits_22.cnf.xz anni_2022,application_2012
06f692ab71fb031118f4c946556eca52 99884880422ad971e523ca3c183e70cf antibandwidth biere sat empty empty abw-K-dwt__234.mtx-w47.cnf.xz None
06fef0b1347542d174e91d14db9e104a 1dd6b2c856117f0e769f6adc1e401c63 bioinformatics bonet unknown empty empty rpoc_xits_15_SAT.cnf.xz application_2013,application_2014
0700de953ca94b49501cb311542ee5fb fbf4376d20a62fd7fc5fa6ff41496802 antibandwidth biere sat empty empty abw-N-bcsstk07.mtx-w34.cnf.xz None
0701a1e3481e99b590185bd6a3f8631c a79bb569f769b05ec790158227f8aa8a agile unknown unsat empty empty bench_5700.smt2.cnf.xz,bench_5853.smt2.cnf.xz agile_2016
0701a5b57f9b37c5fcb77463c8582693 103424c2ca592dd36647ff005210a8d9 cril-misc frioux unsat empty no T84.2.0.cnf.xz anni_2022,main_2018
07022ad84cf8decdf213d2fd2c59fbae 48b4ca2c84d321019d3f3cab540e9cbb spectrum-repacking newman unknown empty empty 46-96615.cnf.xz None
07037b045d5d9dd7d777fa8a3b0366a3 1910ac4e0d789557614cff297d166cea uniform-random unknown unknown empty empty unif-k5-r20-v700-c14000-S1192890414-033.cnf.xz random_2009
0703f9c5516bcc84a0c03e872066523f 5db32965092bc0b6cbb5274ed7a8f719 spectrum-repacking newman unknown empty empty 42-25625.cnf.xz None
0704b6d19c7f53060c2e6b918b955226 19433d1e46b3bca8c8b1504c644cd9cd spectrum-repacking newman unknown empty empty 56-121317.cnf.xz None
0705e4046a68c2cca4aefb38db7e9c40 c289d9bc54fe9bd933eeaf002370840a hardware-verification marques-silva unsat empty empty edn_20403_16.cnf_0.29000000.unsat.cnf.xz None
070679b773977c574b9c7b14c7bd923f 7fdd8cbd0f239e76182e9cfa5f614cec spectrum-repacking newman unknown empty empty 50-114810.cnf.xz None
070837da5e4923b6a5f8c0ba0e6ce0e2 c16ef8804a7bb3234d38014db9b14087 spectrum-repacking newman unknown empty empty 41-100899.cnf.xz None
0708595c44d0a967151517a03927d87d 4460bef9a086c47c63c1b5e564d2c152 software-verification aws unsat empty empty s2n:s2n_stuffer_read_base64.dimacs.cnf.xz None
0709175593f5f943e5a793e15ae08395 12e381487ab1fbf7b4d7670a0b58b1a3 spectrum-repacking newman unknown empty empty 55-129307.cnf.xz None
070e8e1dc84ee670df55e253450b47a4 bda74c9731b2bf375f34852a3c8a518e agile unknown sat empty empty bench_4080.smt2.cnf.xz,bench_4081.smt2.cnf.xz agile_2017
070fde310eca4ddf6967896052efcb30 24ac848655ad80b30bffccdbaa39d9d9 at-least-two-sol manthey unsat empty no at-least-two-smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf.xz anni_2022,main_2021
071e54205d91b7c174af2ca7f686f09b d67440e486e55f38304ad25af78cf609 spectrum-repacking newman unknown empty empty 55-106094.cnf.xz None
072199fed1704b4d1e60b996931c3d6b 807ce2b118a10f6b7e5dfccc89bc273d spectrum-repacking newman unknown empty empty 49-95959.cnf.xz None
072785fd927ff0fd180ce8b9cc00078f 2a89f174f737fb503c1a99a868e1ca14 hgen chen sat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=63 no 20180321_140826713_p_cnf_320_1120.cnf.xz anni_2022,main_2018,main_2022
07284bf15be6d7faa78d4deb46c6b275 90483fccf4944480426a5f376fa94cad spectrum-repacking newman unknown empty empty 55-123069.cnf.xz None
072af700ad0e8957ebbaf2993d850923 b494e283863d5d760cac4ce240e5e176 spectrum-repacking newman unknown empty empty 55-112740.cnf.xz None
072cef48d683bfde42340d0ba84c5b1a 58015acc32d35c57042ea7457201ba6b hgen heule unknown empty empty hgen1-v650-s159479219.cnf.xz random_2002
0733ae02d303c907fa2887f9fbb4ff55 eca22abe4998a1c6b33604ce09b243f9 random kullmann unknown empty empty okgen-c3900-v600-s2103762530-2103762530.cnf.xz random_2002
0737a716930b33a5979d86c1eebd835b 887437eed7c2646eb144481f1eb8b19e spectrum-repacking newman unknown empty empty 60-124223.cnf.xz None
0739014c268a5a12568d0e641f88ad3c 4447e9b25bee52fdd0f507447124f8ab spectrum-repacking newman unknown empty empty 41-112685.cnf.xz None
0739de5c877d844ce28f81e00916a884 0de768a1990c3587d670af81eaf03866 spectrum-repacking newman unknown empty empty 53-108870.cnf.xz None
073a405fde5b5c7434281729f24d8728 dfc957d985163c0d36b783008e68521c spectrum-repacking newman unknown empty empty 50-102269.cnf.xz None
073c28dfd3204f4c51e03c297ac841c1 6304c7bf22d052400ce79c4a06847bf9 tseitin jarvisalo unsat empty no mod2c-rand3bip-unsat-120-3.shuffled-as.sat05-2340.cnf.xz anni_2022,crafted_2005
0742147dd68e5410c79a8506a7f54a1d 1920532df9468a9ef33c64d043706df4 spectrum-repacking newman unknown empty empty 59-113180.cnf.xz None
07434c4f17715737ade130bc6c57cf9d 5730c7e95043f42f1e05c4bbfc6d82d6 uniform-random unknown unsat empty empty unif-k4-r9.931-v178-c1768-S829121629825456986.cnf.xz random_2013
074394da9029d9c82840091246607065 e84b1d795d3158c05119d49ae374ce89 spectrum-repacking newman unknown empty empty 47-122323.cnf.xz None
0746ab2982f4d8c28f10df0900857dd5 7269b6eeaf6cd0531cd2d26e4e3259eb cryptography gocht sat empty empty sha1__zeroOut_14__freeIn_18__seed_2.cnf.xz None
074ff9642153695f0fe804049c743f69 6a08e2a1742617fd35ec2ac722805b6e spectrum-repacking newman unknown empty empty 58-107586.cnf.xz None
0754e62937ec75e569b8b4122ad77d7d 92afc5bf091be8f9d728feae7de42994 spectrum-repacking newman unknown empty empty 47-132624.cnf.xz None
075c4fe7ae4cef57f1a4c00e58142e23 37580192ed784d020eb185f859d296d0 xor-chain zhang-lintao unsat empty no x1.1_64.shuffled-as.sat03-1585.cnf.xz anni_2022,handmade_2003
075ca0a158690a55b7254d9aaee2e103 9018522e33a7249a04e2026a45e55a44 cryptography-ascon manthey unsat empty no asconhashv12_opt64_H4_M2-LOD9_m0_2_U19.c.cnf.xz main_2023,submissions_2023
075e1eef00500b25ceb5ea4823ccf1b0 56521c541de853790295218cb4c2566d graph-coloring pehoushek sat empty yes 3col140_5_1.shuffled.cnf.xz anni_2022,handmade_2002
076305ce31dd18724a3de91045800acc 3642332173de80cf3f5af8b25c57c7d5 software-bmc manthey sat https://helda.helsinki.fi/bitstream/handle/10138/306988/sr2019_proceedings.pdf#page=55 no 26_stack_cas_longest_true-unreach-call.i-cbmc-u2-sc2016.cnf.xz anni_2022,main_2019
07638411f023fe6a4334c53384415f11 fac17784ae1f8f3acde7010342bec896 uniform-random unknown unknown empty empty unif-k3-r4.267-v10000-c42670-S6678138187305010036.cnf.xz random_2014
07682e22f82f9257d44b45777ac06168 481d87c92edc0e7dcf249660373b246c clustered-random anton sat empty yes lksat-n900-m3357-k3-l5-s241765501.used-as.sat04-936.cnf.xz anni_2022,handmade_2004
076955ba5ecdc2feb4587a8abdbe334b 0a9157e1e4dcc2335e5dc2a48baec7ef spectrum-repacking newman unknown empty empty 41-109881.cnf.xz None
076ab0a078db7377f3e7cfd6c2aab988 4c0175e4883dd2bb1d194ff322f69043 spectrum-repacking newman unknown empty empty 42-125241.cnf.xz None
076d4d6f83306ee69c35e3c99e30d8f8 077ef3fed8a1d854332a00474ed3a007 xor-chain zhang-lintao unsat empty yes x2_16.shuffled.cnf.xz anni_2022,handmade_2002
076d84ee418eb4192d427e34d8829b93 f1e7b67032df4f5985e94a2a01e5ac7c agile unknown sat empty empty bench_688.smt2.cnf.xz,bench_689.smt2.cnf.xz agile_2016,agile_2017
076fba8945d3a54a06f326474477077d d7f6d8202a409e01e7bb4e66dfd5ac05 planning surynek sat empty yes mrpp_6x6#12_9.cnf.xz anni_2022,crafted_2014
077942bcf7e284fd504ab832e1fa92b3 d7dfbb7ae2ef33eb37477cb565aef60a agile unknown sat empty empty bench_11602.smt2.cnf.xz agile_2017
0779cddacfa34241cdf579cb2370ab8e a4fc13ecdbedf667b3760cd4b29ed49c parity-games friedmann sat empty no instance_n8_i9_pp_ci_ce.cnf.xz anni_2022,crafted_2009
0779ed19ae69bf464cce003d1a573246 8e8a4abc379685882b8d63097aa3d63a cryptography nossum sat empty no 008.cnf.xz anni_2022,application_2013
077a1a0ffd35b0166ac094b64b7de50e 54f58d1be28b1822431ed633389a5c14 uniform-random unknown sat empty empty unif-k5-r17.6-v250000-c4400000-S6187989636849774117.cnf.xz random_2016
077a92393c59108b44554b67217c8d7a 04521b5c97280700ff3929d14b4d4234 spectrum-repacking newman unknown empty empty 41-118818.cnf.xz None
07851afab30a10e44c8c3a2ae7806177 17ed4513559e29334bc12f03bc6116ed generic-csp connamacher unknown empty no connm-ue-csp-sat-n1200-d0.00-s1415961664.shuffled-as.sat05-529.cnf.xz anni_2022,crafted_2005
0785d79729317f6ff8323ee9b0cf27b5 a1f06a7bb697d294fdaf6128f884efcb mosoi-289 mosoi unknown empty empty 289-unsat-21x33.cnf.xz crafted_2011
07896fe3639c24cd24bb032ae19199cc 19ed5d498bfcad72e6082aa8360ccc68 spectrum-repacking newman unknown empty empty 60-128255.cnf.xz None
078f045706cfda160cbe9d1f042df57a 29c1af58f231dcdd86b8aca89cd7874f spectrum-repacking newman unknown empty empty 50-109094.cnf.xz None
079052907b863d58dae49e3bf9a89ef3 5b04abb5941278de8c95be1b29d25f74 spectrum-repacking newman unknown empty empty 43-116400.cnf.xz None
0793e9607e3293c505b0fa62cbb4258d ea5ec2bcba0a1ac8033151e42cc9cab0 uniform-random simon unknown empty empty unif-r5.5-v700-c3850-01-S2070935521.shuffled-as.sat03-1165.cnf.xz random_2003
0798737b490f0acf01738b9a45f0f2ab 79f7c41c2997077df9844e82d2249926 spectrum-repacking newman unknown empty empty 52-138394.cnf.xz None
07989235cf5ccffe2feed68ae979364a 4b72be0c1dfe0c823a327bd488363d25 spectrum-repacking newman unknown empty empty 51-94309.cnf.xz None
079b400eede86df1f1ffd6a3c303278b b4284af2bd7ecedaaa5404c110a60dba graph-based bevan unsat empty no hypercube5.shuffled-as.sat03-1435.cnf.xz anni_2022,handmade_2003
079b877e6d9da81bd36fc7bf8a812aa2 f4b07ec461e62fa7516d2836f13f08b6 random pehoushek unknown empty empty 7cnf20_90000_90000_10.shuffled.cnf.xz random_2002
079eca299ac6b96fc9c52995fcbf24a1 5ce30e52f92ff275112beda4f8ba34d3 spectrum-repacking newman unknown empty empty 52-136603.cnf.xz None
079fec8d04a6ee936227ea90ea0903bf 8db7c11e36470ece0bd200ccf4774c8f tseitin elffers unsat empty no tseitingrid6x175_shuffled.cnf.xz anni_2022,crafted_2016
07a160f359fe4e472773551d69816e83 8153a0fd4e82cd1ad6ea83d3d1e1fef6 prime-factoring bebel unknown empty empty toughsat_22bits_1.cnf.xz main_2019
07a27fe792de37e758e3351f270324c2 66368b8bbfa254131692d2d5bb2ead41 spectrum-repacking newman unknown empty empty 45-114230.cnf.xz None
07a39b7677af6e435341c115ad5772ce 0d663df1591ea8a679a0ae95b5b4bf65 spectrum-repacking newman unknown empty empty 53-123224.cnf.xz None
07aa35ddde44c01733038e5013b5a6ef d3c9faa9116bb383c735dd463e87a951 hardware-model-checking huawei unsat empty empty intel047_Iter77.cnf.xz submissions_2022
07ab9b6d4190543591cbb0824588d392 dc00f49199b2895f0d6749d992fb5ea2 scheduling lester sat empty empty ITC2021_Test3.xml.cnf.xz submissions_2022
07ac31424ed38f27d6b93195358e3968 0d8d7a7988de72b2aa4676e52962492f agile unknown unsat empty empty bench_10100.smt2.cnf.xz,bench_10101.smt2.cnf.xz agile_2016,agile_2017
07aeafc4ee93bb832fa134d4f5971cf6 25dccff1c82a3ff9573496c4cd907f73 agile unknown sat empty empty bench_1616.smt2.cnf.xz,bench_1617.smt2.cnf.xz agile_2016,agile_2017
07b22dd6ccdd07fa12548656c4ea97a6 ecb8d62d67adb8c715ea24e57f37967a uniform-random unknown unknown empty empty unif2p-p0.9-v630-c2280-S1804595013-08-SAT.cnf.xz random_2007
07b46ab6d0c938fee77651dc4b63e1d6 cc32b23dec3ec8f1364fbb70dfe8fdc5 spectrum-repacking newman unknown empty empty 48-121408.cnf.xz None
07b476c83150d3cb7e08f5d045e255ab c066a9e23f505af520763e48cf89f71d tseitin bevan unsat empty no marg5x5.shuffled-as.sat03-1455.cnf.xz anni_2022,handmade_2003
07b48aebb6cc968704afb001b7a50d8d 2952dd0bfd1543481fac43fd1486840c bitvector preiner sat empty empty 157.smt2.cnf.xz None
07b55eb389b521faf2ea347a14b68938 d7dc6d909f15e7cb55cadf810e9be000 spectrum-repacking newman unknown empty empty 50-121447.cnf.xz,50-121629.cnf.xz None
07b6f34060b07d837482bfc3f238b252 098603d5bb80462c7a2493a6892012ee hgen heule unknown empty empty hgen2-v350-s1198920705.cnf.xz random_2002
07b7859003d84402cbb1ebdc37655d55 5c9b1212413a65505b506f67f6b74a9f hardware-model-checking huawei unsat empty empty 6s186_Iter20.cnf.xz main_2022,submissions_2022
07b8a0ca2372125b645a2fa257367ea9 9664efad20ab9bff02b23400a310a5f3 fdmus unknown unsat empty empty fdmus_b17_1416.cnf.xz None
07b9e86b020a209bd76474c4db8ab14d aef93b0df232e10adbf5a48a607cebfa uniform-random unknown unknown empty empty unif-k6-r43.37-v150-c6506-S2217571361402028131.cnf.xz random_2014
07ba380599457b2942af3b7cbb304c7b d28788e1edb49f0557070bdf84d91837 agile unknown sat empty empty bench_2980.smt2.cnf.xz,bench_2981.smt2.cnf.xz agile_2016
07bbbb292324c8d8baeb232e144349fa 291fe916012722d1d4789ac3cda6fb78 miter goldberg unsat empty yes rand_net40-60-1.shuffled.cnf.xz anni_2022,industrial_2002
07c0800f4df07db586a51cd724332a65 798651a601983d212b887d143cd44713 spectrum-repacking newman unknown empty empty 60-119606.cnf.xz None
07c3cce524e2b85d8315ac4397ef08c4 c60c852f5f0e051895a70100c72a0580 sliding-puzzle kaiser sat empty no puzzle47_sat.cnf.xz anni_2022,main_2021
07c50b89d97a55b6e1629999a445a2ba 26105d9e99f52f49205db29a7b30fe8a scheduling kummling unsat empty no ctl_4201_555_unsat_pre.cnf.xz anni_2022,application_2013
07c7baadfffe4f343b14dc65a7e62f75 ec51f095e47849351f17b9b3cfb0b779 spectrum-repacking newman unknown empty empty 44-128812.cnf.xz None
07cb45c60089b9008bf3118591a99bf9 bbef831a1c2af7947078ea10c9b56b82 random-hiddenmodel moore unknown empty no hidden-k3-s0-r5-n700-03-S1609878926.shuffled-as.sat05-487.cnf.xz anni_2022,crafted_2005
07cea7a64248a60d509368d09d3057c2 c63ab9077173b05903e573572e1a966b hardware-model-checking biere unsat empty empty pj2013_k9.cnf.xz submissions_2022
07d0f56eb2e603bebdcad7b76235e225 0fefd1e9439cc50980a499db355fd49f bitvector preiner unsat empty empty 91.smt2.cnf.xz None
07d2092780df7b212645ddf99edf6e13 de14164de71f16a2a0862e77e1d79723 spectrum-repacking newman unknown empty empty 48-132467.cnf.xz None
07d20a83feca9295e862a7d583da5971 04ae6af8737c7b07a3b2416c81a42782 diagnosis anbulagan sat empty yes UTI-20-10t1.cnf.xz anni_2022,application_2011
07d3686b96c09ba65403b55f06c8d36b 89e30bdcc6aefd7c372de0a5724e5cdc random kullmann unknown empty empty okgen-c2025-v450-s35766214-35766214.cnf.xz random_2002
07d889e8690331078d965dd852626e84 1106bcd0f88ccb9edb6ec68fce4941fb spectrum-repacking newman unknown empty empty 58-127580.cnf.xz None
07d92f7130beefd10e6100908a6b0fa1 75cbcdc40ab22600ace91503a394ffb5 spectrum-repacking newman unknown empty empty 51-130161.cnf.xz None
07da51c683e5fa45251fef460cf66c60 fae90f7cf9f5d27c265a76e26fa3e511 uniform-random unknown unsat empty empty unif-k3-r4.25-v450-c1912-S1115796430-03.UNSAT.shuffled.cnf.xz random_2007
07dab06913ef55d3a42e207a838c5c37 df764a7ba37ef243e3dcbd820b19ca61 spectrum-repacking newman unknown empty empty 45-131644.cnf.xz None
07db5bda1aabc6bf013fd5c22501bda0 fb44962e11d21e9b075ca238c86d6f3c uniform-random unknown sat empty empty unif-k5-r21.3-v100-c2130-S282405510-004.cnf.xz random_2009
07db9248a046677aa28dc35cb46a6ea1 63f41f0ebc021a9b7488219bcd6b54c5 fdmus unknown unsat empty empty fdmus_b15_305.cnf.xz None
07dd1f9bb66d375229df9f9c45237864 80b9c4d927b6a65fc996e54fe29fd83f spectrum-repacking newman unknown empty empty 44-129166.cnf.xz None
07dfdde9b1020080213803c0777a04bf 555f94ddea848087aa760c89d2e02d48 spectrum-repacking newman unknown empty empty 55-133846.cnf.xz None
07dfe40c43d9bd2f1c45bf06d490188b 3ff4118c4343f04ac578b378e875a59b spectrum-repacking newman unknown empty empty 45-112903.cnf.xz None
07dffb6f565305790eb6442b986f1c24 aa8fdc53626e0612a44072c5c84040e6 spectrum-repacking newman unknown empty empty 59-111953.cnf.xz None
07e1e29969e7eddc13877d118187c68e 64b2137a899952fdc9666fd729d3c6fd uniform-random unknown sat empty empty unif-k3-r4.267-v11600-c49497-S1762043304096481101.cnf.xz random_2017
07e6413459f92b613498a719125b6239 8f53099ab464bf3d34f59d380c2f595e scheduling shuolin unsat empty empty j3037_10_mdd_bm1.cnf.xz submissions_2022
07e851c74295f7ddf472820c0f0164e8 0197fe24df29d93c2fbc2fb2a916001a xor-chain zhang-lintao unsat empty no x2_72.shuffled-as.sat03-1604.cnf.xz anni_2022,handmade_2003
07e94be3f47652c83090dbc7576c74d2 9515231d03ea0724643677910bb47973 cryptography gocht sat empty empty md5__zeroOut_20__freeIn_24__seed_1.cnf.xz None
07ea88806d406de24635fb1aa9e57389 5468419e0b86f3e4f8afe8e9af9b2b51 uniform-random hirsch unknown empty empty unif-c4550-v700-s1378478026.cnf.xz random_2002
07eb075757e5ea1d04d3b7ce7b4d9724 ea3a50ced83791f98b8d32be78eee542 uniform-random unknown unknown empty empty unif-k5-r20-v600-c12000-S883927618-10.cnf.xz random_2007
07ec99f550accd7c9f4cd1bccc8692a1 2bfdf1a900559f458a4fccd3cf680a77 cryptography gocht sat empty empty sha1__zeroOut_21__freeIn_25__seed_1.cnf.xz None
07ed900724afdd89963eb73ca7b9634f 37ceb4693ba8a20be455c8f954907e22 uniform-random unknown sat empty empty unif-k7-r66.0-v50000-c3300000-S2919446241863213144.cnf.xz random_2016
07ef18df9dba70fdd92316b51caf7634 08afc71dad9e2261df6571db01decf33 random-hiddenmodel moore sat empty empty hidden-k3-s1-r5-n550-03-S420099363.shuffled-as.sat03-1012.cnf.xz random_2003
07f29d4de0b77c6ef5b0a4d1868bb017 1281d5e129d7015d029039790aa093df fdmus unknown unsat empty empty fdmus_b17_1421.cnf.xz None
07f5f3ca046261c3819c5c888ac837e5 c76cc643e32004f5840c305a217d58de tseitin jarvisalo unsat empty yes mod2c-rand3bip-unsat-105-3.shuffled-as.sat05-2325.cnf.xz anni_2022,crafted_2005
07fa3fcdf3bfea7d119e5b27c26bb189 c736920442bfee6d890f90d993135960 spectrum-repacking newman unknown empty empty 41-82333.cnf.xz None
07fc0470c550aa7f7290a9442a3e2a83 560a3f6ff27e78a3804a7dd25e2eaba2 spectrum-repacking newman unknown empty empty 58-134466.cnf.xz None
07fc8dc21a3cac260e41353969025eb5 bccf3840e79ed8209ca41cde1a773223 agile unknown sat empty empty bench_1264.smt2.cnf.xz,bench_1274.smt2.cnf.xz,bench_750.smt2.cnf.xz,bench_751.smt2.cnf.xz agile_2016,agile_2017
0802ae5412e1596c92a036b52792eef7 f461cec27204a3bd454f2768c5d0be7c scheduling lester sat empty empty ITC2021_Late_13.xml.cnf.xz submissions_2022
08032add3cca8760e3397cbeaf30fb84 4ad8f306a15de46a9d788c32fcfc3e5d spectrum-repacking newman unknown empty empty 54-118853.cnf.xz None
08063f5baf6655656a300c946aaaca60 c9487e3fbadad28ca13b4c16f81e0583 ordering-principle sabharwal unsat empty no gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf.xz anni_2022,crafted_2007,crafted_2009,crafted_2012
080896c437245ac25eb6d3ad6df12c4f 0c65cd9d01035aa739d91277df0c4dcc bitvector preiner sat empty no bv-term-small-rw_1492.smt2.cnf.xz anni_2022,main_2021
08099b9ad4ef3dbaa6cb53d8f04a9a5e 9080f00a53f6bd52fcfc3df7f264be7e uniform-random unknown unknown empty empty unif-k5-r20.155-v1420-c28620-S5169613467602269026.cnf.xz random_2012
080f5cf5606bfb7ebb93501b8e8a10fd 8cafedc78e37b4267f47538c1d02a699 uniform-random unknown unknown empty empty unif-k3-r4.26-v450-c1917-S116041094-082.UNKNOWN.cnf.xz random_2011
0810eb03d022334fdd1d5a6ad4969d47 44928d494477b9ad96eca7e12eb48b6a cryptography desgen sat empty no gss-18-s100.cnf.xz anni_2022,application_2012,application_2013,application_2014,main_2015,main_2022,portfolio_2012
0811f761eee5e4ef28196fd98884a67b ef7e4b236989f4f48ef53037762f697c miter xindi unsat empty no multiplier_13bits__miter_15.cnf.xz main_2023,submissions_2023
081ed301081776dc61bdcab61b720bd1 9cce9f11c63002c023dbcf7c073ee972 test-configuration biere unsat empty empty satch2ways11.cnf.xz None
081eeeb1adf1c1a6c008468703328211 67da8ee8a5c5d72f1c289eaf0b193990 spectrum-repacking newman unknown empty empty 60-128377.cnf.xz None
081f111af59344b61346367a930e24f6 140226a8c6f6bc83654444e7f445162c scheduling lester sat empty empty Break_triple_04_06.xml.cnf.xz submissions_2022
081f1d6563c9f40da1854ee2848491df 0aeeeb26ce99771a7838303d473f501f hgen heule unknown empty empty hgen2-v650-s1613554374.cnf.xz random_2002
0823bc5f954c6366702877556f0d3680 7ad246fe39be3b3905e23bf0bf246d73 software-verification osama unsat empty empty linked_list_swap_contents_safety_unwind66.cnf.xz main_2022,submissions_2022
0825876c0167b72f69077b744b5c167f 67b61b41eda2248bcb7bbaddd54abfcc spectrum-repacking newman unknown empty empty 51-116078.cnf.xz None
082c9fdbce838d9b18260fa5c4de2f5c a01f2c5f45a088091624c6ef4971fdca spectrum-repacking newman unknown empty empty 56-138104.cnf.xz None
082f609e8e33aabc115e355976bc02a8 4ab34a9ff0cf3a4b259b4f3ea45ee214 spectrum-repacking newman unknown empty empty 49-114253.cnf.xz None
08300e286c3380f7e7291ca6a534c97b 4f9731bfe4c45599562c62972778cb02 hardware-verification dellacherie unsat empty yes comb3.shuffled.cnf.xz anni_2022,industrial_2002
083030713683d8ab8e1d54372f241863 40ea4fa9c287c385080817c46d2e4d04 hypertree-decomposition schidler sat empty no Kakuro-easy-089-ext.xml.hg_4.cnf.xz anni_2022,main_2021
083073b7820982b0bd5e9ff7de0b317d 99af20941d36bba0eb2bde7eacb49230 spectrum-repacking newman unknown empty empty 42-113042.cnf.xz None
0831000a5a9727aa5fa3332df10cdb57 a76c27d9fa6fcaa865c32a47cd3d83ff hardware-verification marques-silva unsat empty yes edn_20403_12.cnf_0.08000000.unsat.cnf.xz anni_2022,mus_2011
0832446f790662899f2275ccef2e09fd d9efa8ba55a56072773469b56a2959fa cryptography gocht sat empty empty md5__zeroOut_19__freeIn_23__seed_2.cnf.xz None
08365e3605c71b5363d5da9dbd92dc8d b1a9b846f5ca07f5d2a8f8d1e76149e4 spectrum-repacking newman unknown empty empty 46-107837.cnf.xz None
0839f339c62831cc05032b3a63a98385 4a3a64585335fff81c3594ffb897da63 uniform-random unknown sat empty empty unif-p12-k3-r4.267-v6000-c25602-S8152045982034422163.cnf.xz random_2018
083f5595bbec3402643615940b179ef2 1f0b905c9b1a6906da3c989367759195 spectrum-repacking newman unknown empty empty 54-138912.cnf.xz None
083ff60b002cd12c03837d3f5122844f a4c8024d00e653e9f84fa5cf1d01ac02 spectrum-repacking newman unknown empty empty 53-40800.cnf.xz,53-42263.cnf.xz None
0842ae941be93eb229e7cdc000445ff6 23cdbd394220d65c822d8eeb03d51081 uniform-random unknown unknown empty empty unif-k3-r4.223-v27200-c114866-S3408862422708133378.cnf.xz random_2012
0842eb01dc00232edc0b26ccb2f19f25 3afbc07bbb3658e702f2ee06456cce99 unknown mayer-eichberger sat empty no 6-4-6-sc2018.cnf.xz anni_2022,main_2019,main_2022
0845065a19d24f0c11ecad0f117d89b1 28596159f7683b5f54a2a1afb96089c2 uniform-random unknown unknown empty empty unif-k3-r4.26-v600-c2556-S506401817-075.UNKNOWN.cnf.xz random_2011
08455b2e1e6fda910989f0481a20f1c3 bce64650c8d76302962b2ac9e58d4276 hashtable-safety osama unsat empty no hash_table_find_safety_size_13.cnf.xz main_2023,submissions_2023
0845cac21beb56a1b208735eff6a31dd dad479bf91f6ae7c111719a0c5f2a6af spectrum-repacking newman unknown empty empty 42-124667.cnf.xz None
08469bbccc41da0c124d69c61ce7dc58 00692d022c7b0160e82b1e7f55e1c6cb planning balyo unsat empty no barman-pfile07-027.sas.cr.37.cnf.xz anni_2022,application_2016
08491a497c1e003292d84347af51ad91 1a42a7383c9b8c01afd9c0b9174822c4 risc-instruction-removal-subrv fleury unknown empty no oisc-subrv-sll-nested-12.cnf.xz submissions_2023
084b88b00ad7460eca3e5fdb44cf5b42 765d3477971c79877408e445644768c0 uniform-random unknown unsat empty empty unif-k6-r43.37-v68-c2949-S6642350490163433086.cnf.xz random_2013
084f6e6da7f9c5125d6f28a044b6225c 7c4e5b87ffe419062f61cd5ec1c54519 clique-coloring manthey unknown empty no ccp-s8-facto3.cnf.xz anni_2022,crafted_2014
084f859b2fa74e16d609c654a6e5fb37 3e89de3e1d74032c51a7cb1321a4360c uniform-random unknown unknown empty empty unif-k3-r4.25-v540-c2295-S1404929091-050.cnf.xz random_2009
0850db65220080c130d2f54005f9e2b3 15edca2a1590ac873319a60a90e08ddb software-verification babic unsat empty yes dspam_dump_vc972.cnf.xz anni_2022,application_2012,industrial_2007,main_2010,mus_2011
08530caa5c9232f2ffc5163cf79b38e7 ca2105d71932fb58d107e25269575dc2 cryptography heusser sat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=67 empty satcoin-genesis-SAT-64.cnf.xz anni_2022,crypto_2021,main_2018
0854ef1b4b1aab957712863ca3bb86ce 1b69e7e0256e0e748b0a9985e2c55b15 agile unknown unsat empty empty bench_9684.smt2.cnf.xz agile_2017
0855033e761d91ae367e867c5a569f9e 00aaf2d363ddd46bb841018777806cc0 scheduling stojadinovic unsat empty no atco_enc1_opt2_10_15.cnf.xz anni_2022,application_2014,main_2022
085792654d945c1de700245916f2c7f6 4ca285bd2db8f1d85d38beda5f3e5368 tseitin elffers unsat empty no tseitingrid5x185_shuffled.cnf.xz anni_2022,crafted_2016
085b8ebc423dcbd70eceaa04229cf5cd 07301f9f9d86aad0028f1caf7413b0b3 summle manthey sat empty empty summle_X111102_steps8_I1-2-2-4-4-8-25-100.cnf.xz main_2022,submissions_2022
085ede801f42d9729807245a96cf71ab 5cfae09108ef355a1a362aa6ef92e2c3 spectrum-repacking newman unknown empty empty 51-15899.cnf.xz None
0861f15a38e3614dcc2220a20ed1e96b d6e82b17e8509d58bc56f6f126dc2d5a floodit-puzzle unknown unknown empty empty floodit_1_n42_k10.cnf.xz None
086699aee5d37a1816b5afd81a1607dd 688996aebd58afcbda9cf3f35873ea6d spectrum-repacking newman unknown empty empty 51-117190.cnf.xz None
0872cb17a6fd5afd67a85a7ad72ebcd4 17a305aa8724fa713dfad248c3651ffe fdmus unknown unsat empty empty fdmus_b22_111.cnf.xz None
08746660617e2a41bf03337d181e7719 9760e65dab1e533533e7d09c12620204 agile unknown sat empty empty bench_2054.smt2.cnf.xz,bench_2073.smt2.cnf.xz agile_2016,agile_2017
0876c518e5653369e20fb1ee0bb8db40 224d7d28a225310114abcb5ff2965575 crafted-cec klieber sat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=39 no mp1-klieber2017s-0500-023-t12.cnf.xz anni_2022,main_2017
0877d9fd26eac8b48c93935689338acb 64ee6e19360d26f4999b53d1924d2994 uniform-random unknown sat empty empty unif-k7-r89-v60-c5340-S746386799-050.cnf.xz random_2009
087904d57553076d5b9a1607315314ac a3357a83edfaab2965dcdd9be1699a34 planning froleyks sat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=64 empty SAT_P_opt_snake_p01.pddl_24.cnf.xz planning_2020
087b4eb050ff793dc58a3d8e67c78928 5e9bed5546efb1e03bb32f647be02c40 uniform-random unknown sat empty empty unif-k4-r9.425-v5800-c54665-S241219350872663448.cnf.xz portfolio_2012,random_2012
087c98d833ae9f5e94593f10f825143b 80586259b262311483ac90a810939ddc spectrum-repacking newman unknown empty empty 51-76933.cnf.xz None
087d747b5d4c1782d9bf4b8d12001441 daaf3049cad3ba4551e3be2d4ff36c77 spectrum-repacking newman unknown empty empty 50-118324.cnf.xz None
088779a0af750f81050c3eff80b6a83e 6caf258ecf1f508af3bf52d85cabf41b spectrum-repacking newman unknown empty empty 57-113095.cnf.xz None
088b4f7d1968efe52c8609027b8ec908 6579cd81a97aa05eb5fc3f356d93ce39 agile unknown sat empty empty bench_3080.smt2.cnf.xz,bench_3110.smt2.cnf.xz agile_2016,agile_2017
088be8f2dd0eafbbf7c27171a83c325f 31c6c44a9651dcf24cc80321e3a3e44f spectrum-repacking newman unknown empty empty 58-142205.cnf.xz None
088c6214346611341f3b8386aad2a54d 60cf0ed4c81f7a49cacd5c858f12835a spectrum-repacking newman unknown empty empty 42-133622.cnf.xz None
088ffd086f2d5e55553d5e79aa30aaf5 c35df68aeae469fe0c8de4458e7b39b5 graph-coloring pehoushek sat empty no 4col280_9_9.shuffled.cnf.xz anni_2022,handmade_2002
089456508f74be2d96f4112cc495f80a 09f1c0d17b520bd90ee5af65014cd243 unknown zhou sat empty no Eternity-10-06_c18.cnf.xz anni_2022,main_2019,main_2022
089556ebc4280793795053996bae2349 4768f5500f51a001374cb0ff56d87a5e fdmus unknown unsat empty empty fdmus_b22_742.cnf.xz None
08976c104ef1a1efd7b95c7bbb3c3e23 3ffdd2697d540c586c89141a6de6950a agile unknown unsat empty empty bench_8143.smt2.cnf.xz,bench_8144.smt2.cnf.xz agile_2016,agile_2017
08991fb6c7c45205df7f2bc2f51fb1d9 2ddbfdc36ab37886cb2249338ccee6a3 hardware-model-checking biere unsat empty empty bobsmdct_k500.cnf.xz main_2022,submissions_2022
089a76488a6965710a5f3743902fd41a 7ae015c8cbbf945e324e6169c6bd06b0 spectrum-repacking newman unknown empty empty 51-116924.cnf.xz None
089c0775c15f15ad5810c69bab91f31d 031892c608bf283cad5fc1251a569951 spectrum-repacking newman unknown empty empty 45-130845.cnf.xz None
089fb3a9b41e13d30852e8b023e39ed7 2f099fe35eea3b5fc5298b59dcffa14e spectrum-repacking newman unknown empty empty 60-136299.cnf.xz None
08a0b2a5c263a20e058fe1d98b079a13 bfdba42f8fb29cdad903c3bcc1c83b10 agile unknown sat empty empty bench_12484.smt2.cnf.xz agile_2017
08a25022c4136f2ceb36db62ce3503bb b688fdbb0d4db839e1ded6339be0aa6d hardware-verification manolios unsat empty yes c6bi_i.cnf.xz anni_2022,application_2012
08a3c2be6118912aaf18aa93661db5f0 c926b2974162c959ce9452181facadc9 random unknown unknown empty empty OKgenerator_s0=32s1=2n=2000l=3cp=8400-Dnr0=0nr1=3-o.shuffled-as.sat05-1669.cnf.xz random_2005
08a5c06bf3d7e8752e0effda1d3a8944 4a0603325f9ec5d8911e0babe353e49d uniform-random unknown unsat empty empty unif-k3-r4.26-v250-c1065-S266251785-083.UNKNOWN.cnf.xz random_2011
08a68ba9d062c0856f1bc9cce7907b11 e97f79536f23dec2ee6ed8765a703a62 subgraph-isomorphism anton sat empty yes sgi-difficult4.cnf.xz anni_2022,crafted_2009
08a8d47b5425d8f9316a9cdfb0ce7c27 36630924d66fd3ba935624be86190a89 spectrum-repacking newman unknown empty empty 51-116080.cnf.xz None
08abbb56b2345b2da7af8866a4e8ad44 f7145a4d7ea3eea2140d6bd202de82c1 tensors savicky unsat empty no size_4_5_5_i037_w31_r9.cnf.xz anni_2022,main_2020
08abc7d4b5c60faee452d15d89e62d53 71b177461001d7678b64f8ebab4f8ba2 planning froleyks unsat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=64 empty UNSAT_P_seq-opt_Barman_p435.2.pddl_32.cnf.xz planning_2020
08acbb7417346eb7dc0c860817be0cc3 15fcc55c7bbc4b1d31fc31e477afe488 cryptography chu-min-li unknown empty no MD5-28-3.cnf.xz anni_2022,application_2014
08b0355834e05eb823ae46c870e5cfc8 788910126ce80dbc299445f315f38924 spectrum-repacking newman unknown empty empty 41-132108.cnf.xz None
08b2061d30114fd51ad7e66d0df780b2 ef0c108778ecf5c9cfa0f8e423099660 bitvector preiner unknown empty empty uum20.smt2.cnf.xz None
08b2837a7ebf595919e12c37a9c62a2c f02265f422adae243ffaf85ae698e7f4 uniform-random unknown sat empty empty unif-k3-r4.267-v8400-c35843-S4024118187179567887.cnf.xz random_2013
08b6f45c900d30fb65462a65df69e214 daa3a60223b198decc76b9d8084a81d8 planning rintanen sat empty no transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf.xz anni_2022,application_2011,application_2012,application_2013
08b7c7d5a145d7fbcaf7f56781022025 46d96952bd85b800820e20066e7991c1 uniform-random unknown sat empty empty unif-k7-r89-v50-c4450-S1496316430-079.SATISFIABLE.cnf.xz random_2011
08ba8ad5d87b9b38d2f7228532ba6ccd 4b62e74747422b5980413c0d24a60d78 random kullmann unknown empty empty okgen-c2275-v650-s936858580-936858580.cnf.xz random_2002
08bc2798acf8c106f032e5e7e6003268 e4b7b6fa90477e32b3426bd57433dbfc uniform-random unknown unknown empty empty unif-k6-r35.5-v100000-c3550000-S8119933709777983324.cnf.xz random_2014
08be288536c3178e6874a5676493923c b5ce68f5a3c86b58d1540cc129586da5 hardware-bmc biere unsat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=37 no g2-hwmcc15deep-bob12s02-k16.cnf.xz anni_2022,main_2017
08bff76cf46f16ddc7eb4b20ca725695 6c83d01aa254b2ad8c07f025c71e750c random unknown unknown empty empty gencnf-k8-r180-v61-c10980-03-S853741462.used-as.sat04-273.cnf.xz random_2004
08c21a21e446c1aa8d96c43cd4b8bdea 77c9a5a4f98e9fe073eae28e8ad3fe73 spectrum-repacking newman unknown empty empty 47-132584.cnf.xz None
08c21a3bc091abcb67b883061e2381c9 8e764505653157587449ce73f697a02d matrix-multiplication markstrom unsat empty no mm-2x3-8-8-sb.1.shuffled-as.sat03-1504.cnf.xz,mm-2x3-8-8-sb.1.shuffled-as.sat03-1504.used-as.sat04-829.cnf.xz anni_2022,handmade_2003,handmade_2004
08cb0cf252b65c30c7c55218825c6ca0 badfea7c98534812a0dca3a4d038564f software-verification babic unsat empty yes hsat_vc12072.cnf.xz anni_2022,mus_2011
08cb9af1b7cfd2ba5163c180e06cad37 c5643955c2a34419fe4076cbe1c9a950 spectrum-repacking newman unknown empty empty 50-116918.cnf.xz None
08cd0352d4317eb6001722f68f113542 df1fdd9e41f59ea80b8d082c93edc554 fdmus unknown unsat empty empty fdmus_b22_348.cnf.xz None
08cd73d460c06d3c991598a267ccbbb4 f3f8b220c4f9d9ae776a46a58e89dc2e agile unknown sat empty empty bench_5116.smt2.cnf.xz,bench_5487.smt2.cnf.xz,bench_5679.smt2.cnf.xz,bench_6085.smt2.cnf.xz,bench_6134.smt2.cnf.xz agile_2017
08cda5d50d46398b7da6326108bd0a21 30570a23d6a93e519d752c1892a8498b spectrum-repacking newman unknown empty empty 52-126400.cnf.xz None
08ced2233cced754f848e2635e3f18c4 4709aef8f604c6313b9cc48c6322fc83 uniform-random unknown sat empty empty unif-k5-r18.2-v250000-c4550000-S4056491229056773009.cnf.xz random_2018
08cf53ca00dce11f5bfc02121c9bcd33 d21a4e8bc43efe0a7c22e8b2c401f0c4 greentao kullmann unsat empty no GreenTao_2-3-5_528.cnf.xz anni_2022,crafted_2011,crafted_2012
08d303919274f47715a33b0174085dae 49bd5c4fc6edaafb4ce8f9cd7f79877d spectrum-repacking newman unknown empty empty 54-118705.cnf.xz None
08d56c03e6561f6b9bec2e3f344ea3de f3447fbeb77045bcb952ee1d55a526c8 clique-coloring oertel unknown empty empty cliquecoloring_n26_k7_c6.cnf.xz submissions_2022
08d824aecaf34d655575184e5c918c4f 04d4ee3258b16a3d4a52f2a178f900c6 agile unknown sat empty empty bench_2307.smt2.cnf.xz,bench_2314.smt2.cnf.xz,bench_8867.smt2.cnf.xz,bench_8943.smt2.cnf.xz,bench_9280.smt2.cnf.xz,bench_9281.smt2.cnf.xz agile_2016,agile_2017
08d9ef367aea70eb716e6e133d516ec5 324e9b1a051fcc83d91a2b104b8eb465 spectrum-repacking newman unknown empty empty 45-103324.cnf.xz None
08da3525276c8785538f16b0073b6fb0 e3939747ff8b2aeaa0eb54e1a51679e2 fdmus unknown unsat empty empty fdmus_b20_260.cnf.xz None
08dbd282e24f5e667582a926563f9d88 7bb98ee4b08ce31dd2d5afdb8d24dc86 agile unknown sat empty empty bench_5070.smt2.cnf.xz,bench_5126.smt2.cnf.xz agile_2016
08dd14d435d895ced7f4aa229e0a7c0e cd71a888368cebe3822b5537dd10ff64 bitvector preiner sat empty empty 127.smt2.cnf.xz None
08e104233fdd57d20323620247f7b9ef b5e52649b3892d8301c72356166253b4 uniform-random unknown unknown empty empty unif-k7-r89-v90-c8010-S2127424322-078.UNKNOWN.cnf.xz random_2011
08e151e72fe10402a49463171aa557e8 ae7fb1fd2a292d10e640c1f5e009537c antibandwidth biere sat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=81 empty abw-V-nos6.mtx-w220.cnf.xz anni_2022,main_2020,main_2022
08e1c46acda38a12fa3229f9f224425d b624676939488a4f1c930b2a902a60ac unknown zhou unsat empty no Haystacks-ext-12_c18.cnf.xz anni_2022,main_2019
08e2fa034cd80757e65f1d13e63df57a 1b7aca7f781e2cb9a0b96e092d377325 random unknown unknown empty empty OKgenerator_s0=32s1=19n=200l=7cp=17000-Dnr0=0nr1=9-o.shuffled-as.sat05-1631.cnf.xz random_2005