| 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 | http://hdl.handle.net/10138/318754 | empty | vlsat2_16297_1562268.dimacs.cnf.xz | None |
| 000781b7a545fe723159e53127aff659 | 8bf4adb12d796e486a0915ecd7dce20f | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/359079 | empty | sudoku-N30-18.cnf.xz | submissions_2022 |
| 001304ba2e4e8adbd179aa3d8acb697b | 1d8c6a1369f306c697207991a8fd752a | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-03065.sat.sanitized.cnf.xz | submissions_2024 |
| 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 | http://hdl.handle.net/10138/318754 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 46-137775.cnf.xz | None |
| 0026aaf8bbf2df73cb5db34a7b7a7a04 | d7f6183466dc80f719aed63fec0707bc | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 42-132768.cnf.xz | None |
| 00274d0721d26f867b2573377712cac9 | a98b53d0f8f0e2f592db32ad49a13198 | bitvector | preiner | sat | empty | empty | 27.smt2.cnf.xz | None |
| 00275f3018d50ba38867268739dfc44f | fb9c4b5fc1c151737b9bf2544bafbc56 | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-04058.sat.sanitized.cnf.xz | submissions_2024 |
| 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 54-78879.cnf.xz | None |
| 00316e383123773ae35d3210f5396205 | 9368b98845a0f9d0557d536ab072e400 | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-11064.sat.sanitized.cnf.xz | submissions_2024 |
| 0033baadbd48d3f880e9b5a733bd4950 | 767c3e4149c9da1265bdfdb3e1526766 | 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 | coloring | sabharwal | sat | empty | yes | fclqcolor-20-15-15.shuffled-as.sat05-1270.cnf.xz | anni_2022,crafted_2005 |
| 003de2086be59a5fb7a7aaad0992cf47 | b4980faa72567edd1a8724e53088db1d | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-07025.sat.sanitized.cnf.xz | submissions_2024 |
| 003deabca05a76f3ee449221a80d8b62 | b3577d5a29c8de66ba0ef905fbaf8d01 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 57-124044.cnf.xz | None |
| 004b0f451f7d96f6a572e9e76360f51a | 8614f82909dc0eaab513724a4ecf9835 | cellular-automata | chowdhury | unsat | http://hdl.handle.net/10138/333647 | no | spg_420_280.cnf.xz | anni_2022,main_2021,main_2022,main_2023 |
| 005093e294b0ed0f7b23f341ff68968b | b21f609b4df1cc4005ff03168b39dddd | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 41-118813.cnf.xz | None |
| 0059d4b1cf79efbc6e6ed50caee0448e | 5865199aa84abc74c6a4626dae53555a | 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 |
| 005d76c0f37b33d8b752f7ebdd157a99 | 0075735c23a69c9898351ac443af5d3c | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-05041.sat.sanitized.cnf.xz | submissions_2024 |
| 00613b57720df18bec8d8dc68dc57a7b | bf482e8e134f686cb8d57bb4f1aa6799 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 49-114312.cnf.xz | None |
| 006cc1f4e081e7fd96a50a2171792f21 | dfd70d15b08fede08d51912e1b1341f5 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 54-87110.cnf.xz | None |
| 006da0e3f4ad5b1ecd3651e66dbea36d | fb3d274bc265898c6be7acd3a26c97da | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 52-89991.cnf.xz | None |
| 006dcf7e3d0fa7c39b0f542ad0ec949e | 1c04625e0d407e5572a1e49dfcf5bce8 | planning | froleyks | unsat | http://hdl.handle.net/10138/318754 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 49-118813.cnf.xz | None |
| 0072b38614d34eb3c6ffc36aef13ee3a | 0130801e6dc199e8b5fcfb813f6f7729 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 50-121857.cnf.xz | None |
| 008d1f79eec2b7712637e48aec7a63cd | 1cf53ddb8e63e40181920c3b7980d77d | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 53-105501.cnf.xz | None |
| 008d78352c3d630340e6a3ef0d7242d7 | 0ad5dd947099af3c0783274dd270672d | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 57-101750.cnf.xz | None |
| 0091ac9434f528a4007d82d2443d2dc9 | 2596746a3a5a1a98e989221c8a2bf134 | argumentation | niskanen | unknown | http://hdl.handle.net/10138/563824 | no | ER_500_10_2.apx_2_DS-ST.cnf.xz | submissions_2023 |
| 0092f19206d4641caaa3a638914bee3f | a0d603e1998e9f10f0f64eb03cfe002b | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 51-127798.cnf.xz | None |
| 00a30fb1c0150fe3d6692afd2b220887 | d3bca9554403ba14eb67668c5955d205 | scheduling | lester | sat | http://hdl.handle.net/10138/359079 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 44-133937.cnf.xz | None |
| 00b46ace235e3915a439c77a231a5657 | ec7ff6e2dc7b5cbfac5fa6bbfbe4121c | social-golfer | mayer-eichberger | sat | http://hdl.handle.net/10138/563824 | 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 | http://hdl.handle.net/10138/563824 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 |
| 00d1fe07ab948b348bb3fb423b1ef40d | 5d3300b44d1cc6cbe479aaa9120248f1 | miter | kochemazov | unsat | http://hdl.handle.net/10138/584822 | empty | lec_mult_KvW_12x11.sanitized.cnf.xz | main_2024,submissions_2024 |
| 00d239e486137a4f7264adb4fb57d5ae | a207e99f5dcfe500129f591ecbc4568b | miter | stanion | unsat | empty | no | hwb-n24-01-S1048418025.shuffled-as.sat03-1617.cnf.xz | anni_2022,handmade_2003 |
| 00d25e6106c5c09bb5d8d0f7eae7385a | c8567ebc5cdaea08c7e4796d3759ed84 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 54-106649.cnf.xz | None |
| 00d3338cd6cdfa099ff29f036c77d93d | 572ec11b1a0c5b64909b3cec9d800157 | cryptography | gocht | sat | http://hdl.handle.net/10138/333647 | empty | sha256__zeroOut_17__freeIn_21__seed_1.cnf.xz | None |
| 00d41fe5805aef9e2e3b63e1d9497edf | 19ec4ae0785061b74a5a0afb01fc545b | planning | froleyks | unknown | http://hdl.handle.net/10138/318754 | empty | UNSAT_MS_opt_termes_p15.pddl_139.cnf.xz | planning_2020 |
| 00d46b1518fddf95bc8ba424e1b5b77d | a1dc58b83217220c28341ad72b0e3adc | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 43-103175.cnf.xz | None |
| 00d5f0932042a96518b03e6fd2feaf48 | 42341b8aa4f6b19dd940332876db37ea | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 |
| 00df199d465391a52fc37b87f81a957f | 83edf5c9db2b40e6234cd41c23398b7e | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-02052.sat.sanitized.cnf.xz | submissions_2024 |
| 00e010712b854966aa56caf9c9dc4696 | 03bf2cec1365befee64db090b55e5c1c | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 48-136923.cnf.xz | None |
| 00e45ab8a1baf16155af6e59c3df5dbb | fbd9767b87568fb21925ce9cdc75ef29 | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-11092.sat.sanitized.cnf.xz | submissions_2024 |
| 00e5aac4701e62ae50c9f1504057fce8 | 59892222332be61cacd06e08943bd5ac | agile | unknown | unknown | empty | empty | bench_10701.smt2.cnf.xz,bench_10730.smt2.cnf.xz | agile_2016,agile_2017 |
| 00e974264f8f9048b68c983f36643115 | 6992f2cb21e2b75e7bf6742389baa01d | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 41-126739.cnf.xz | None |
| 01079ada0aa5a4f3bf4bb131b807eb38 | 2e81f363188ec9367880c617b8456f26 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 53-105823.cnf.xz | None |
| 0107da33f8475f96dcaa3bd57e3cfb0f | 8b7deecf61bf9b3e5feef0e08da94ce7 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 45-131201.cnf.xz | None |
| 0107f34364dfff8ab062193b2c71b4de | 2bd0081d71b36b56448d72653dff77a0 | minimal-superpermutation | lester | unsat | http://hdl.handle.net/10138/333647 | 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 |
| 010c2e0ca6399116d206100ca14aa880 | a608e439ee87822f7ad83d96f8b94e52 | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-12073.sat.sanitized.cnf.xz | submissions_2024 |
| 010c9d7a6e9e6cac63f110915d9dd56e | 4034d18a0965b0d9f9eeba6b354329fc | 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 | http://hdl.handle.net/10138/333647 | no | SC21_Timetable_C_140_E_29_Cl_10_S_15.cnf.xz | anni_2022,main_2021 |
| 01136f74588604a67b5e5950a2525129 | ee6fe11a0cacd1a36f502627264d9253 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 50-118842.cnf.xz | None |
| 0113bc2aba73927ba3828baab15fb8c6 | b32d28413da132b1041bd3ed404b330e | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 45-113925.cnf.xz | None |
| 0114ad337fee86dfb02871d8a971b130 | 7a7da9849869efd12640155936b57882 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 44-136586.cnf.xz | None |
| 0119a8fe54c110d927344cd950a43671 | e56ca52f23a0d21a17394e41b87ce5ca | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 58-128914.cnf.xz | None |
| 013ed5a359706d5bc4ce7e2dac38bad8 | 55b8aefcdc30afdaa2ec7dd7f60a8fa2 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 45-118599.cnf.xz | None |
| 0141b82b3d2a411d8c2168119e2d7452 | 31e650a27636d3719a15309982098297 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 53-132450.cnf.xz | None |
| 0151782431fa0ec1f855523721c52682 | 30a2168e1a52d7a797de64efdd1dfc0a | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 58-122783.cnf.xz | None |
| 0151bedac526ee195bc52e4134cd80e7 | 4d1f1aa702b578570dfed05afa42f82e | cryptography | paxian | sat | http://hdl.handle.net/10138/318754 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 48-132658.cnf.xz | None |
| 0152ba35c2942027426ebe4a074f5fdf | dc44e8e82d444c96d9f9aebbc3965a3d | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 58-123284.cnf.xz | None |
| 0152d286cde406747d179c36a95c2fdc | 7b384790f4ebf824b8a70c2c25972fd0 | bitvector | kovasznai | unsat | empty | yes | shift1add.10000.cnf.xz | anni_2022,crafted_2014 |
| 0154182ac2508df34a7bf7120a368e70 | 2620111e7b03b023e1a1d5eed916adbf | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/563824 | yes | TableModel_output_5_3_7.bul_.dimacs.cnf.xz | submissions_2023 |
| 016c52d4105ea384ade3644ab71415c4 | 64891287eb950fa926e57ab9fbc30547 | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-03042.sat.sanitized.cnf.xz | submissions_2024 |
| 016fa607917cff1ece5bd5c624a49491 | ce58a4b422151ff5a8e63a43f0f7c1cd | agile | unknown | unsat | empty | empty | bench_7620.smt2.cnf.xz,bench_7622.smt2.cnf.xz | agile_2016,agile_2017 |
| 0174593b6652936010405e3f4b6799c1 | 5278a789fee1b7f34be588e08877e4a5 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 58-115687.cnf.xz | None |
| 0176764afff2ea9f16a90fec9a516ed2 | 2a5b4cefb2d246a685830ea88f3ca595 | polynomial-multiplication | maoluo | unsat | http://hdl.handle.net/10138/318754 | empty | newpol31-4.cnf.xz | None |
| 0177419016ca9d3abad0c15998bdf72f | 5e7aa888c717a728045c1b92d99b4e2c | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 58-113941.cnf.xz | None |
| 01796eb1fc5b82e2d36e60dacb631250 | c4422e976555f0c9d09b790984c97257 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 59-118978.cnf.xz,59-119163.cnf.xz | None |
| 017ba03ed108f492c9293c7c95e5cae9 | 26abc879bcffc5d1615ce8d9ca98a71b | miter | xindi | unknown | http://hdl.handle.net/10138/563824 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/333647 | 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 | http://hdl.handle.net/10138/359079 | empty | hyp_cec_multi_7.cnf.xz | submissions_2022 |
| 018b45eea6e1db3dc076ce5650c1b33a | 8d09721d41450bfd68d63ed1a9e9ff71 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 54-123602.cnf.xz | None |
| 018baa8023b064875f9459bb4b164239 | febf50fd1e83a584e7fed63a6eded6fb | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 55-134244.cnf.xz | None |
| 01a2e098e96522a52a76c783a5b0b587 | a7f1c9a1f731ab0d2dfe891ac0adc99b | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 56-110984.cnf.xz | None |
| 01cf0326d2ab46b71fe4e2eac97b2b18 | 9951bf6f7052c8a9b7d499bcc567fbd4 | relational-dependencies | jamali | sat | http://hdl.handle.net/10138/333647 | empty | MVD_ADS_S8_9_9.cnf.xz | None |
| 01d037bf22a943430790eedd667f415e | d7a796ec583cb0f90481592db1c52b1d | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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-formulas | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 45-132805.cnf.xz | None |
| 01e460fb1710367a663ab3f7274270db | 77bd1e29c2687771db21d5a8d901ad72 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 58-105948.cnf.xz | None |
| 0202d973562cc1efd380b93faf711df3 | 34d97e96efa5d00a1c73765c07cc67f1 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 48-114143.cnf.xz | None |
| 02039a75cd47093fce9f1af3ab61a5e8 | 3afd9108496b16c3ae403062b09e274b | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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,main_2024 |
| 020bb8e3ad83c3e377648b6103c6fb4a | c49478d4efcb193dad72bb6345d15131 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 53-90970.cnf.xz | None |
| 020c63aa1ae5c6fe7aeb8e2fbef99a3c | 36c5cffec002aa42566a38534a547fbe | edge-matching | holten | sat | http://hdl.handle.net/10138/318754 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 56-123511.cnf.xz | None |
| 022d99ed11a6bbad03a8d07be558411b | b092dd4339f8a850a32ca212066c5c90 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 49-126600.cnf.xz | None |
| 0232a4f59601e7a78fa29e06d5091764 | 8b2e1784575f08e9ea09a35cb39b3e0b | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/333647 | no | SC21_Timetable_C_542_E_71_Cl_36_S_35.cnf.xz | anni_2022,main_2021,main_2022 |
| 0241f35c5752768d2b0580533d143a14 | 0512de646a4a96e70c24d03bd7b7db08 | station-repacking | newman | sat | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | no | 53-131587.cnf.xz | anni_2022,main_2020 |
| 0246c609c3a0f893028313b2291dac7c | 2af6a2f1e2c0d74d561cb30ed3c10b07 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 47-133761.cnf.xz | None |
| 024750eb1d45dbe3c081ff3372fff5be | a752f1a9f803bb423b06948e15cf962e | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 59-74078.cnf.xz | None |
| 025890af6c6f91ea4e405dbccab6be90 | bd3b946b6522fa22d173b83e722a1e9a | edge-matching | unknown | unknown | http://hdl.handle.net/10138/318754 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/318754 | no | ps_200_300_70.cnf.xz | anni_2022,main_2020,main_2022 |
| 0262e0507796703aeed95b8eb6346828 | 9da6238cf75f591b96f76faff932f973 | cryptography | gocht | sat | http://hdl.handle.net/10138/333647 | empty | md4__zeroOut_19__freeIn_23__seed_0.cnf.xz | None |
| 0265448c232e3a25aa5bcd29b1b14567 | b7dae5f3dca8186031e39890756c2ec0 | hamiltonian | sterten | unsat | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-10051.sat.sanitized.cnf.xz | main_2024,submissions_2024 |
| 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 56-108570.cnf.xz | None |
| 0272edf70e38a36b32b924ceb16c7156 | db89698586bd1dd20abe364307482e15 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 49-120481.cnf.xz | None |
| 027330866147a897c5c9b5d4d47d28cb | 2849b1d99c32fb61235c71e3c0ac79d5 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/318754 | 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-formulas | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 43-134139.cnf.xz | None |
| 029cf5345cbde37e75d11fe7c9f07ded | f6d4745d6e0bfe1d0e50b1d6091a9eab | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 41-118297.cnf.xz | None |
| 02a5d44d0559dc046e591dd8c10f2c10 | f5a6bafdeed7528b8d6080f0f25c8a9a | relativized-pigeon-hole | oertel | unknown | http://hdl.handle.net/10138/359079 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 53-120210.cnf.xz | None |
| 02ae8832f0c2821eef1e72d3df540a22 | 7d6c693625044fe36f8518e861e62c66 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 41-114703.cnf.xz | None |
| 02b60dfe8004125530bfd1b4d055dc6b | 8e06b4d6607be92393b7f8ae6c474c26 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 49-120249.cnf.xz | None |
| 02c1c6307289afd9f6ac81979b251df2 | 408769150215a9f104d276d41e09c909 | cryptography | gocht | sat | http://hdl.handle.net/10138/333647 | empty | sha256__zeroOut_04__freeIn_08__seed_1.cnf.xz | None |
| 02c1d1c6fb0c6558032f7b5f115702cf | 5aea861981b7796ef1d74f3f8e9f8a0e | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | miter | 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 | http://hdl.handle.net/10138/318754 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 |
| 02da8e9305ee7b4ad33c348f46afebea | 1431c60a3d7a52e2cad06e23a28ac56c | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-03055.sat.sanitized.cnf.xz | submissions_2024 |
| 02de69784e1bd36ed3ac1a0a7371fad0 | 701f773d123171404642a67b58a95c55 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 56-124441.cnf.xz | None |
| 02e336c79a69ddf2e868232321abd154 | ef469226daa2df1e86e7fe0f162f9fb7 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 48-111574.cnf.xz | None |
| 02e4f23ed59566d343b605dc2cc30a01 | 2588a7d3de277e35da6f6704c244bc2d | reg-n | shuolinli | unsat | http://hdl.handle.net/10138/584822 | empty | REGRandom-K4-L3-Seed40.sanitized.cnf.xz | main_2024,submissions_2024 |
| 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 | http://hdl.handle.net/10138/318754 | no | Kakuro-easy-117-ext.xml.hg_5.cnf.xz | anni_2022,main_2020,main_2022 |
| 02f3a178829aa3838b2ad9a14f986913 | d6fc069bcf2aab87faf4f1773e0ed62f | cryptography | gocht | sat | http://hdl.handle.net/10138/333647 | 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 | http://hdl.handle.net/10138/359079 | empty | linked_list_swap_contents_safety_unwind69.cnf.xz | main_2024,submissions_2022 |
| 02fe323166b147f507e045f04062854d | 3513fe69e53614ea9f11a2d45c526eb1 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/318754 | no | b2005-p2-14x14c17h9-Ser4-0.cnf.xz | anni_2022,main_2020 |
| 031a9d2143b30c6682f1f8fe23526804 | fd346496e2584ae7fa2dc1b5597059d4 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 60-88383.cnf.xz | None |
| 031c116d206f65d7c267d30108cd00a0 | 1f63ca674d52259a7c572edabf86f647 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 55-115014.cnf.xz | None |
| 0320af21bba8b8cd940a95277377803d | 0abbc17f2bf7447a357dad57f35a9581 | random | kullmann | unknown | empty | empty | okgen-c1200-v300-s509783707-509783707.cnf.xz | random_2002 |
| 032117a0ac42531420174f9b1234b6de | 6d118673090cf6b99aff8509e23b7021 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 45-96373.cnf.xz | None |
| 0321654854668173ef9983b879622722 | b5fbcc6938915019c4553eb52c64400f | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/333647 | empty | puzzle41_unsat.cnf.xz | None |
| 0327aa4bd6b07b94d14e53efc57d0d00 | da9e0dd872a7a4efbd84fff10f087040 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 44-113801.cnf.xz | None |
| 032941f5f28c9ac53fa1c80d35f3206f | f749e2f9661a3fb142b877b97f038603 | graceful-production | chowdhury | sat | http://hdl.handle.net/10138/359079 | 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 |
| 033b0be3724bb9a94ffbce3d0901db59 | 5901904b01b95ca92d614968b3471243 | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-07008.sat.sanitized.cnf.xz | submissions_2024 |
| 033bdaf71d51a1645014a54ea614312f | bae4fa053b5a51093b32219c649d81c0 | design-debugging | marques-silva | unsat | empty | empty | s15850-bug-fourvec-gate-0.dimacs.seq.filtered.cnf.xz | None |
| 033d611722714d5206cc0184479e92e2 | 58decb83d3997ec053b066d4eaceb410 | tseitin-formulas | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | shuolinli | unknown | http://hdl.handle.net/10138/359079 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 56-131796.cnf.xz | None |
| 03645a35cda06bab02dd280017fa8c3f | eceb978132cb9214656be7381271e27a | uniform-random | hirsch | unknown | empty | empty | unif-c1350-v300-s53580470.cnf.xz | random_2002 |
| 0365db8065a89550e1ba73d86ec48cc2 | aff72acd13d202c96082bd7547be33f9 | coloring | pehoushek | unknown | empty | empty | 4col240_9_9.shuffled.cnf.xz | handmade_2002 |
| 0369497a41c3914b796cb81e64dd2e55 | 0c7ad24fdd38b963f82399755c10d594 | antibandwidth | biere | sat | http://hdl.handle.net/10138/318754 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | coloring | pehoushek | sat | empty | yes | 3col120_5_2.shuffled.cnf.xz | anni_2022,handmade_2002,main_2023 |
| 037cdc23d5ce303ee466680f4fdfe1fc | 50004912af838e7e09d9035740c670fc | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 55-91443.cnf.xz | None |
| 0381d8662f1fbc50581c54921a178b0a | 849ca449536013f41e01a690a7d6fa71 | fdmus | unknown | unsat | empty | empty | fdmus_b15_337.cnf.xz | None |
| 03873e44115e30db6c3ccc2941c14101 | 760f32a18d52f995703b937e066cb166 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 44-107977.cnf.xz | None |
| 0389d1800e05f1ef2e60e640b86279d9 | a25b17fdbe542195f3a4cb8cf92ede03 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 55-101400.cnf.xz | None |
| 03942ae21753e7dead072ab1f6c1c3b1 | 0948097ec3a9cf86afa222105d4f1c9c | fdmus | unknown | unsat | empty | empty | fdmus_b22_502.cnf.xz | None |
| 03980ada4055f6198fcd7ee52bb220f1 | f540a07d72ea083b53430a32573bbf67 | planning | froleyks | sat | http://hdl.handle.net/10138/318754 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/333647 | no | satch2ways16w.cnf.xz | anni_2022,main_2021,main_2023 |
| 03a4cfbba1ef7eafe2b4f01e444c411f | 5a4661065136ca2ed10ba840a9383eef | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 46-138339.cnf.xz | None |
| 03b08ff6f932aa7c6597059061c5fc6c | 5c062a76d13a2d8c7f95cffd049d6cd7 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 60-124247.cnf.xz | None |
| 03b0e7b608a5f1052c1cdb58ffc69262 | 69d5157b02e4d3027db895cea4e5e5b9 | bitvector | preiner | unsat | empty | empty | VS3-benchmark-S2.smt2.cnf.xz | None |
| 03b297cfd24f7fffb743780ef9578886 | 71ab7dfb75a22695ffe572e075931170 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/333647 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | coloring | pehoushek | sat | empty | yes | 3col300_5_2.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 03cd587fe1f5eb6c6c10ede767571241 | 462587d4c68088a853bb53ef8716c6d6 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 56-115132.cnf.xz | None |
| 03cf322e6530ef37b455bafbf451bd77 | f378516e5e567320ec04838316702135 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 52-136597.cnf.xz | None |
| 03d1940f76051f548ee86eb71a38ff14 | 027ef42bebc137c9d556e4e0ce6ef8a7 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 51-85848.cnf.xz | None |
| 03d1d6df36fdec5be7b60e6f0cd382f7 | c185d44b30705cb541c781ad9ffd0c53 | coloring | pehoushek | sat | empty | yes | 3col280_5_8.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 03d74bc7a2c848e5f834eb31bc6c839e | 6ab555fbd1a566a588e12d790eb3cf55 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/318754 | empty | ps_200_318_70.cnf.xz | None |
| 03e906525c3ec52373157721a7ebba48 | e1caf495562dcae83d5734cbede3fe2f | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 60-128746.cnf.xz | None |
| 03e9d1abe418a1727bbf2ead77d69d02 | e974ebf67a3c8ae418c773b9be13bd59 | pigeon-hole | reeves | unknown | http://hdl.handle.net/10138/563824 | 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 | coloring | vangelder | unsat | empty | yes | rope_0003.shuffled.cnf.xz | anni_2022,handmade_2002 |
| 03f59ceb6fc1c1825ab604d526620a54 | 98e6ad8b8ee7602eaab09910998d7d55 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 |
| 04017562bd59e5a511debb2fd6051f62 | bce742bc04ca3433390fcb7cebab6cd4 | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-08063.sat.sanitized.cnf.xz | submissions_2024 |
| 0403cb413f30fe0fac6ae792a93364c9 | 9e8caae28dec439384dffaf27b80e35b | uniform-random | unknown | unknown | empty | empty | unif-k7-r86.116-v160-c13779-S7006661258521488985.cnf.xz | random_2012 |
| 04071576275e4113b60c21601b364345 | 7b238738b9525151f02c06f1c03a8471 | tseitin-formulas | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 41-106096.cnf.xz | None |
| 040e4bdb9f4b0f58d3ec4d2f869363f4 | e615ee08db9a0b26cc3dcd2e6086014f | cryptography | gocht | sat | http://hdl.handle.net/10138/333647 | empty | sha1__zeroOut_09__freeIn_13__seed_1.cnf.xz | None |
| 04121bd92efc49da7b54943da62c993f | ff19c3688a7b682048a20137476cf1bc | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/318754 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 57-106276.cnf.xz | None |
| 041bf8c064b4f6f8fabcd2a9793b8c7b | 4e0f9993e7676641088635bd6e6c70b1 | argumentation | niskanen | unknown | http://hdl.handle.net/10138/563824 | no | WS_400_24_70_10.apx_2_DS-ST.cnf.xz | submissions_2023 |
| 041df0acc65530f7e1e628130c3d411d | bdb527980624f1820f7e2e50cbceaab5 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/359079 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 42-112322.cnf.xz | None |
| 042cdc726a92bf0a2195b3b426f35bce | 0c3a50a05d6d290991939bf3ff4cdd05 | independent-set-reconfiguration | froleyks | unknown | http://hdl.handle.net/10138/359079 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 48-121614.cnf.xz | None |
| 043c40bb7bdb3a2eccb3eb0b79f47cab | 008dd530ec2fc02db66434c6f3b64d17 | random | kullmann | unknown | empty | empty | okgen-c1600-v400-s92024501-92024501.cnf.xz | random_2002 |
| 043cdbde77d0a494be264ee322847809 | 95fe7dcdc942e4627a0f2033724ca43f | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 50-129545.cnf.xz | None |
| 0445a4d6be24882bac0988a055e7f379 | ec5b31537e59126414143e7f273a862d | 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 | http://hdl.handle.net/10138/318754 | empty | abw-V-nos6.mtx-w235.cnf.xz | None |
| 044a4186f6873d19008743aa0dfd004d | aa5d896124d7b26d26e1408ff374f8cf | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/318754 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 55-125283.cnf.xz | None |
| 045eeffb8750ff847de87bc37f922c02 | 307737d9de03bc35dbc5054f39dd3911 | cryptography | gocht | sat | http://hdl.handle.net/10138/333647 | empty | sha256__zeroOut_13__freeIn_17__seed_2.cnf.xz | None |
| 046027fd1061d32ad6cba9174f9f37c8 | 034a9aeed0159062e04fa2db2a40b1be | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 52-130527.cnf.xz | None |
| 04619a36750d6e3e9f34e433e9a0cedc | c68a1b80edccc44efce8189e6d8504ad | subsumptiontest | nuttall | unsat | http://hdl.handle.net/10138/563824 | 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-formulas | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | sat | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/318754 | 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 | http://hdl.handle.net/10138/359079 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 45-91862.cnf.xz | None |
| 04897f61ac34d82804d57aa07322a400 | 719eb51950441bc0478cf704495d1d10 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 |
| 04929ae99a2b834405a1db90e2747245 | 3a785d0d6561650d6cae3be4ab544774 | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-04045.sat.sanitized.cnf.xz | submissions_2024 |
| 04935c7718d4ada8516e0d99c46df41b | ae9548674e8dcf1aa4889fdbf0ff9f89 | bitvector | manthey | sat | empty | yes | g2-newton.8.3.i.smt2-cvc4.cnf.xz | anni_2022,main_2017 |
| 0494c37fc0ae2de1550eea216cfc1752 | 8cd9d4251ff1992d5726517a9be90699 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 59-121619.cnf.xz | None |
| 04956720311452f8ad4bc3d771fdfbc0 | d8203e0b5e3b5fc005817cf44f648d43 | hardware-verification | manolios | unsat | empty | empty | manol-pipe-c6nidw.cnf.xz | None |
| 049775f8bfc13fefc68f086cd3667df4 | 93095b0f2eceb810efb2f8c71043905a | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 44-89079.cnf.xz | None |
| 0498569a656eb22b361a106e0cecff9b | e7a73205a340d683b59c2cf1c86f6eda | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 58-115310.cnf.xz | None |
| 04992f0208bb60792163c32fbc207165 | 6520ce4a1eefed87ae688674fcbfafc0 | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-06012.sat.sanitized.cnf.xz | submissions_2024 |
| 049a5615101bbe36f025a7b87d3c7360 | 716b18899b0d32a708358f8a421df8c0 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 46-107987.cnf.xz | None |
| 049ddd5ace159bd3d3363c9c36217d6d | fbd39e38ac56288e2e75769768d7aedf | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 |
| 04a0b133fe5760af8a58451053673fc9 | 9262f17fcc9d7104e0bd98c268889eb9 | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-06092.sat.sanitized.cnf.xz | submissions_2024 |
| 04a3e6aed6697c05b23934f51e9d5321 | f146fc1424bbafd6cf59aa5b35928563 | fdmus | unknown | unsat | empty | empty | fdmus_b21_413.cnf.xz | None |
| 04a7b805cf12ae898f723b735fa959df | 1cb0e4ea10bbaf4ff756d8e0b48affb1 | test-configuration | biere | unsat | http://hdl.handle.net/10138/333647 | 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 |
| 04aac627660a42b5661595b06de9685f | 6b3557a35f13db494b9b4fe41d100f62 | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-12038.sat.sanitized.cnf.xz | submissions_2024 |
| 04afde06992c1171bbcac67b3b58c53c | 4b7d733c8f48117f0df724abfca3eaf8 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 58-120285.cnf.xz | None |
| 04b111df3a3747388e923ae5252c9f4d | f5a9ab84b535fa44e91b7326cec9e453 | cryptography-simon | zhang | unknown | http://hdl.handle.net/10138/563824 | no | 25_0.cnf.xz | submissions_2023 |
| 04b1f0add9aaef195413ca4c03ea58ba | 19246989b80ac69a00f1de4f02c05606 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 46-98049.cnf.xz | None |
| 04b21b20b0f2aca4b886eb7832b6b0e8 | c45d9b0cd685f382e04c0dc899d84ea3 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 57-132304.cnf.xz | None |
| 04b88891edf088b990a3b3b81763efdd | 1cdff1664de8832461ac223540d46d88 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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-formulas | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/359079 | empty | Break_triple_20_90.xml.cnf.xz | submissions_2022 |
| 04dcc4912a16549fc97d918545b68af5 | 94fc1d2fa2ba2cba61a5aa2f69e047cb | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-03082.sat.sanitized.cnf.xz | submissions_2024 |
| 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 | http://hdl.handle.net/10138/359079 | empty | mdp-28-14-sat.cnf.xz | main_2024,submissions_2022 |
| 04dee0e90b8ce346e65a60c81f6687df | e67ea560f5fa262784495f632fa3ccf6 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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,main_2024 |
| 04e47e6635908600ef3938b32644825a | 64e930a465e08fb6bc8a6a49b64c7e7f | coloring | pehoushek | unknown | empty | empty | 3col20_5_7.shuffled.cnf.xz | handmade_2002 |
| 04e50bc7a121716e396dc538ab24490e | cb7dad48066cb10c009d77bb35804b71 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 56-115054.cnf.xz | None |
| 04ed29d91e703f9ebfd81d2d4fa97103 | 39c1b26318cbe20184452b95630eddc2 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 50-130064.cnf.xz | None |
| 04eeb39d680097817142fe4d52c0e422 | ae3492ba7bf56bc31ed3a1f85191f927 | argumentation | niskanen | unknown | http://hdl.handle.net/10138/563824 | 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 | http://hdl.handle.net/10138/563824 | no | goldcrest-and-11.cnf.xz,goldcrest-or-11.cnf.xz,goldcrest-xor-11.cnf.xz | submissions_2023 |
| 04f542671e8167741228d22abd0303db | 73f8e344bb64f979899d80fdbf0253b0 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 53-112431.cnf.xz | None |
| 04f6dd1892f3382e8356d107ba156256 | 5b868f24f0e5fcc4c0907bff30b12102 | minimal-superpermutation | lester | sat | http://hdl.handle.net/10138/333647 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 45-129928.cnf.xz | None |
| 04f9f1f61d99108b7ad0fa77d275dc4c | 90b59c723a012535ac52db0ae6234e77 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 46-88192.cnf.xz | None |
| 050688d137e1f4d563f7bd5d84d7e344 | a5f832fb43c14693d0d650aa5dc63c98 | reg-n | shuolinli | unsat | http://hdl.handle.net/10138/563824 | 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 | http://hdl.handle.net/10138/318754 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 60-107966.cnf.xz | None |
| 051cb2ec3e94e7f2a72232530f847408 | 625df4b231f8832b9b964cb31156f8d1 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 42-122417.cnf.xz | None |
| 0525891c206c0382ffc813834bdd526c | 23adaa0e6336ebbc9317678d234e2bcc | subsumptiontest | nuttall | unsat | http://hdl.handle.net/10138/563824 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 43-116107.cnf.xz | None |
| 053c477a86dac016582436e67ecf0bc3 | c24fda05c98decd2a52c9e6d250ba131 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 46-112906.cnf.xz | None |
| 053e06424279f5cfec8bb14dfa9af23c | 057693f3ffed3568d4c10ba7c28fefff | risc-instruction-removal-subrv | fleury | unknown | http://hdl.handle.net/10138/563824 | no | oisc-subrv-and-nested-15.cnf.xz | submissions_2023 |
| 0541dc77ecea9c210d3c4231d97c02de | ac11c731aa64b541c5236ce9d66587e7 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 45-119279.cnf.xz | None |
| 05423f54e9e0bf97ce3fca2abe2ba3e6 | 08a4e5e2043b139140661395e2784f0a | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 47-49226.cnf.xz | None |
| 0554c1dc9f40db098fb58d3086515b6b | 052c9edbea697a290650a127f7f0a2cd | antibandwidth | biere | unknown | http://hdl.handle.net/10138/318754 | empty | abw-P-can__445.mtx-w110.cnf.xz | None |
| 0556cacde8ebb77956342a6e81309553 | 768b7bdc44b8e4368f94f079a516a661 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | 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 |
| 0561461e2c7ff1d87aec1e5c709caa1a | 7fce02f22535ab37866280fbbf113d7a | independent-set | manyem | unknown | http://hdl.handle.net/10138/584822 | empty | 1-TC-256-K-61.sanitized.cnf.xz | submissions_2024 |
| 056263f3ef83f1b0c0fd48cab346e8e4 | c67048b32a0ce8a35038d694a00287bb | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 47-97773.cnf.xz | None |
| 05650550f21d60a3989cae43fb5ebd93 | 4d1f1aa702b578570dfed05afa42f82e | cryptography | paxian | sat | http://hdl.handle.net/10138/318754 | empty | ssAES_4-4-8_round_8-10_faultAt_8_fault_injections_2_seed_388173632.cnf.xz | crypto_2021 |
| 05670a916f890c9c4345ff4fd19561bf | 8a1246b60367da0c41b429e7c72583fe | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 48-121230.cnf.xz | None |
| 0574a9f4769dfe44ea0680aa8d935f13 | eef1efd72517723be3725c251af0a1c3 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 44-115474.cnf.xz | None |
| 0575710ecfdc61ede3807eb1c6a1b01f | ed409b1761274121117888adf360a04e | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 59-85413.cnf.xz | None |
| 0578dbb863e1dccfd5d352c1b8ba198c | e819752c39c45b3a7ec537294dcd7353 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 58-134458.cnf.xz | None |
| 0579fb9d75e018b9366db9150db7453a | f2eafaa5ea5e22e0389aaa0ef29aad8f | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 57-120887.cnf.xz | None |
| 058414cd650e2309e2d3df6b3ac80f37 | ebdee6433e55e92e8d69ddb1ac07ea96 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 |
| 0586b0f2c13948bfd51b3694c5e9c676 | 50749c736340c991252e8995ae4f6b76 | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-09026.sat.sanitized.cnf.xz | submissions_2024 |
| 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 | miter | manthey | unsat | http://hdl.handle.net/10138/318754 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 56-110748.cnf.xz | None |
| 0599c0cc9fb43d1eb90c5590d4ecbf39 | ca1feed4657bee063147d22a1f7d9573 | fdmus | unknown | unsat | empty | empty | fdmus_b17_1046.cnf.xz | None |
| 059aae70d73e0101c492106c4d214774 | d6db8b9c3203b676b2033d63dc9921fc | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 50-117078.cnf.xz | None |
| 059d90867f6ed5c4e69ab0094601bb37 | 83ddea0d28c3f5da6604b1e46cc971a2 | floodit-puzzle | unknown | unknown | http://hdl.handle.net/10138/318754 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 42-113382.cnf.xz | None |
| 05b20aaa3665b3688fe91e63b1d416b1 | ad24ca65481494dea0d2ba7344e24098 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 54-128224.cnf.xz | None |
| 05b26080370a69270bfd81327e616cee | 0b24e80dd02c549d0e3a93ae78aa23bf | bitvector | preiner | unknown | empty | empty | 144.smt2.cnf.xz | None |
| 05b373515e803818e8991e855a1d500d | 8aa09b999578667cb0c3f469e2e98865 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 53-132568.cnf.xz | None |
| 05bddbf878fc3fd6becc0b13ae747bdb | 1cdbad991e193b28226279d720198a68 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 51-136016.cnf.xz | None |
| 05bea7b46a68c2bc7761ff2424c5e58f | f288a64cffb4766820fd2057acbcb3c4 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 |
| 05c8e94aaee86390eaf6e68dd3ec3570 | f88265f1b24a4588f4f86f7d57eaea10 | heule-nol | heule | sat | http://hdl.handle.net/10138/584822 | empty | noL-11-2.sanitized.cnf.xz | main_2024,submissions_2024 |
| 05cc4564c3160e7da7be1142f0448771 | a9871e149944f08ee94ca6e3203ef669 | uniform-random | unknown | sat | empty | empty | unif-k3-r4.267-v8000-c34136-S8324805458183996333.cnf.xz | random_2017 |
| 05cca3e64d2d7766f5eb8eaff105eb40 | df4928ac560383564f6a1b768bac74a9 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 48-99593.cnf.xz | None |
| 05cf9b400cec8d7e6a606b8a2087ea3e | b35a375b9af571ba27978a9977d756bd | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 41-119925.cnf.xz | None |
| 05cfa69444404b03cce3310bfd633119 | 821d37e168c6ff65f8edd194caf7198f | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 52-139149.cnf.xz | None |
| 05d1e403eb79a9a1b4fd0182be89299b | 0e73ba9fd09d194f99832417a8054fe5 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 57-126829.cnf.xz | None |
| 05d545d220f72a6d28004dd5b092594d | 7c2cb2894b31ac43b900d3e8635b271d | uniform-random | hirsch | unknown | empty | empty | unif-c1800-v400-s1198360523.cnf.xz | random_2002 |
| 05d6efa039dad1b207f1649aa4449fd2 | a42227bb1f22f76d5ad25e587224e206 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 46-104984.cnf.xz | None |
| 05ddfe38031a7974a3d0510018ab253c | 92e42766894a3319ecf6caf09d9a69ee | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 51-134837.cnf.xz | None |
| 05e5b5a37a0d7cb5e96c82b84bbdca66 | a813c599017357919a0f142fad02ddaa | mycielski-graph | yolcu | unsat | http://hdl.handle.net/10138/333647 | no | Mycielski-11-hints-3.cnf.xz | anni_2022,main_2021 |
| 05e877d2709b8c20b3485e6b68c98bc0 | fcb70e023aa2940f16dbb0e1e25ef350 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/563824 | no | stb_495_168.apx_2_DC-AD.cnf.xz | main_2024,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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 60-120032.cnf.xz | None |
| 0601e6379f576d6ad6eaddcb5798c13c | e024bc0b0e30b1d2ac0a149971d98cf7 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 60-125637.cnf.xz | None |
| 06049cbbea67b138b7900b6c7c5730de | 31dec1db2ca7b4ec75b8230c61001b9e | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 48-106649.cnf.xz | None |
| 060ad8240dd120ae1017c31c17fa88e9 | 377e46e99cd01042283fe494dee570f4 | cryptography | gocht | sat | http://hdl.handle.net/10138/333647 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 |
| 062e0ba3b2995f2a089b92e5bf004931 | a7fbd952416cda1f49fa8e23769f5c0d | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-11011.sat.sanitized.cnf.xz | submissions_2024 |
| 062ecaf3e25632b7b6a20134f11c27e4 | 9b32ffb0dcd7919425b56ac928a7bc70 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/333647 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 45-106676.cnf.xz | None |
| 064850977be6689e4aa2165adbd8e866 | 87d90175789f9bd4faf47ce962166d36 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 55-106214.cnf.xz | None |
| 064ba3c61c5f105104edec8305853711 | 41b2000b8bc9db9f771411282aee0edd | sliding-puzzle | kaiser | sat | http://hdl.handle.net/10138/333647 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 41-86250.cnf.xz | None |
| 064fe286277f695f42b556ef991036ff | efa192ccbe43741b5fffc8bb8095c8fd | circuit-equialence-checking | junhua | unsat | http://hdl.handle.net/10138/359079 | empty | sin_depth_miter_2.cnf.xz | main_2022,submissions_2022 |
| 065036e33ca5a147c353956348fc8cc5 | 110dc324729e3cf2dbc5285bb720769c | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 47-137424.cnf.xz | None |
| 065882225b28a15ec62af09030001ee5 | 5391fdf354b7564d7d7bf46c4a29c6a9 | hardware-verification | manolios | unsat | empty | empty | manol-pipe-f6i.cnf.xz | None |
| 065b141f5b24a1ea858f9e63bf13d0cf | a9cf08f576d7e7138640c15a7d75ffcf | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 60-93490.cnf.xz | None |
| 066ade1d9e5bede84a078012ee14fdc5 | 63a8069d04df0e46bcfe91a021498809 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 45-131035.cnf.xz | None |
| 066cc2796adfff0382fed7ae88d5b41d | 6afc53252093315fd42f5989b2a391c9 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 |
| 0674a404bfea717643b7bf30d9f5eefc | a5284cf2b707bd7936d1abfde1b2b803 | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-11023.sat.sanitized.cnf.xz | submissions_2024 |
| 06767f7b8e23fd24f6df74fefef9c48c | b444b80c1b17c59bfbf80de445ee5ba1 | uniform-random | unknown | unknown | empty | empty | unif2p-p0.9-v990-c3583-S1435246639-05-UNSAT.cnf.xz | random_2007 |
| 067dc6945c4aec1c2bc1fdc2e5819124 | 64e930a465e08fb6bc8a6a49b64c7e7f | coloring | pehoushek | unknown | empty | empty | 3col20_5_8.shuffled.cnf.xz | handmade_2002 |
| 0680b380fc7a80df4c5a33ed23e11ddc | c2faa3a580435910eecbc8baa725f7bd | sudoku | zhenjiang | unsat | http://hdl.handle.net/10138/359079 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 58-127368.cnf.xz | None |
| 0696cb4f18fd63cc94f319fab92119e5 | 760df3db9637100bd4fb91a26874e666 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 46-117679.cnf.xz | None |
| 069c9e38f21a431a293c2c158e43f1f1 | 7ec593196286bd134564ea91e1b4068b | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/563824 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 44-124545.cnf.xz | None |
| 06c6e5b5ec743e16bc55089bf42546ad | 34d90715a549497344e5bd20e2b541bb | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 42-132828.cnf.xz | None |
| 06df75fc09ba7eb9f0ffb8d45aa8edfb | 549a2b08207b85e020ebd179e4c304be | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 57-113232.cnf.xz | None |
| 06e03d438c75d06f8df09f2999509749 | 208b0e1c95d5f986f8958cd6f2afd163 | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-10065.sat.sanitized.cnf.xz | submissions_2024 |
| 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 52-126710.cnf.xz | None |
| 06e91448c6aacd9086890ea46b4659b0 | 475ee6eb5006d4d391b404da4bc7cf7a | miter | kochemazov | unknown | http://hdl.handle.net/10138/584822 | empty | lec_mult_DvK_10x10.sanitized.cnf.xz | submissions_2024 |
| 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 | http://hdl.handle.net/10138/318754 | 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 | http://hdl.handle.net/10138/318754 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 42-25625.cnf.xz | None |
| 0704b6d19c7f53060c2e6b918b955226 | 19433d1e46b3bca8c8b1504c644cd9cd | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 50-114810.cnf.xz | None |
| 070837da5e4923b6a5f8c0ba0e6ce0e2 | c16ef8804a7bb3234d38014db9b14087 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/333647 | no | at-least-two-smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf.xz | anni_2022,main_2021 |
| 0712c7bb6ba573f67604efbf64f37656 | a3b0c7d2f952a615a714aa9101f4e16d | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-12028.sat.sanitized.cnf.xz | submissions_2024 |
| 071e54205d91b7c174af2ca7f686f09b | d67440e486e55f38304ad25af78cf609 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 55-106094.cnf.xz | None |
| 072199fed1704b4d1e60b996931c3d6b | 807ce2b118a10f6b7e5dfccc89bc273d | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 55-123069.cnf.xz | None |
| 072af700ad0e8957ebbaf2993d850923 | b494e283863d5d760cac4ce240e5e176 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 60-124223.cnf.xz | None |
| 0739014c268a5a12568d0e641f88ad3c | 4447e9b25bee52fdd0f507447124f8ab | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 41-112685.cnf.xz | None |
| 0739de5c877d844ce28f81e00916a884 | 0de768a1990c3587d670af81eaf03866 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 53-108870.cnf.xz | None |
| 073a405fde5b5c7434281729f24d8728 | dfc957d985163c0d36b783008e68521c | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 50-102269.cnf.xz | None |
| 073c28dfd3204f4c51e03c297ac841c1 | 6304c7bf22d052400ce79c4a06847bf9 | tseitin-formulas | jarvisalo | unsat | empty | no | mod2c-rand3bip-unsat-120-3.shuffled-as.sat05-2340.cnf.xz | anni_2022,crafted_2005 |
| 0742147dd68e5410c79a8506a7f54a1d | 1920532df9468a9ef33c64d043706df4 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 47-122323.cnf.xz | None |
| 0746ab2982f4d8c28f10df0900857dd5 | 7269b6eeaf6cd0531cd2d26e4e3259eb | cryptography | gocht | sat | http://hdl.handle.net/10138/333647 | empty | sha1__zeroOut_14__freeIn_18__seed_2.cnf.xz | None |
| 074dc4fde5af08b45569f981209e8b76 | 2e0d0ce42b298acb82acfcf4a444ad08 | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-04052.sat.sanitized.cnf.xz | submissions_2024 |
| 074ff9642153695f0fe804049c743f69 | 6a08e2a1742617fd35ec2ac722805b6e | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 58-107586.cnf.xz | None |
| 0754e62937ec75e569b8b4122ad77d7d | 92afc5bf091be8f9d728feae7de42994 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/563824 | no | asconhashv12_opt64_H4_M2-LOD9_m0_2_U19.c.cnf.xz | main_2023,submissions_2023 |
| 075e1eef00500b25ceb5ea4823ccf1b0 | 56521c541de853790295218cb4c2566d | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 41-109881.cnf.xz | None |
| 076ab0a078db7377f3e7cfd6c2aab988 | 4c0175e4883dd2bb1d194ff322f69043 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 60-128255.cnf.xz | None |
| 078f045706cfda160cbe9d1f042df57a | 29c1af58f231dcdd86b8aca89cd7874f | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 50-109094.cnf.xz | None |
| 079052907b863d58dae49e3bf9a89ef3 | 5b04abb5941278de8c95be1b29d25f74 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 52-138394.cnf.xz | None |
| 07989235cf5ccffe2feed68ae979364a | 4b72be0c1dfe0c823a327bd488363d25 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 52-136603.cnf.xz | None |
| 079fec8d04a6ee936227ea90ea0903bf | 8db7c11e36470ece0bd200ccf4774c8f | tseitin-formulas | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 45-114230.cnf.xz | None |
| 07a39b7677af6e435341c115ad5772ce | 0d663df1591ea8a679a0ae95b5b4bf65 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 53-123224.cnf.xz | None |
| 07aa35ddde44c01733038e5013b5a6ef | d3c9faa9116bb383c735dd463e87a951 | hardware-model-checking | huawei | unsat | http://hdl.handle.net/10138/359079 | empty | intel047_Iter77.cnf.xz | submissions_2022 |
| 07ab9b6d4190543591cbb0824588d392 | dc00f49199b2895f0d6749d992fb5ea2 | scheduling | lester | sat | http://hdl.handle.net/10138/359079 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 48-121408.cnf.xz | None |
| 07b476c83150d3cb7e08f5d045e255ab | c066a9e23f505af520763e48cf89f71d | tseitin-formulas | bevan | unsat | empty | no | marg5x5.shuffled-as.sat03-1455.cnf.xz | anni_2022,handmade_2003,main_2024 |
| 07b48aebb6cc968704afb001b7a50d8d | 2952dd0bfd1543481fac43fd1486840c | bitvector | preiner | sat | empty | empty | 157.smt2.cnf.xz | None |
| 07b55eb389b521faf2ea347a14b68938 | d7dc6d909f15e7cb55cadf810e9be000 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/359079 | 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 |
| 07b9f32381ed1420def289ad69994262 | 89885cc216327ff2c178b8e79f0b3139 | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-07047.sat.sanitized.cnf.xz | submissions_2024 |
| 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 60-119606.cnf.xz | None |
| 07c3cce524e2b85d8315ac4397ef08c4 | c60c852f5f0e051895a70100c72a0580 | sliding-puzzle | kaiser | sat | http://hdl.handle.net/10138/333647 | 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,main_2024 |
| 07c7baadfffe4f343b14dc65a7e62f75 | ec51f095e47849351f17b9b3cfb0b779 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/359079 | empty | pj2013_k9.cnf.xz | submissions_2022 |
| 07d0f56eb2e603bebdcad7b76235e225 | 0fefd1e9439cc50980a499db355fd49f | bitvector | preiner | unsat | empty | empty | 91.smt2.cnf.xz | None |
| 07d2092780df7b212645ddf99edf6e13 | de14164de71f16a2a0862e77e1d79723 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 |
| 07d4876685a00c116054d146cb363bb5 | cb372774d5c56ac9dc9975d611f633a2 | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-11026.sat.sanitized.cnf.xz | submissions_2024 |
| 07d889e8690331078d965dd852626e84 | 1106bcd0f88ccb9edb6ec68fce4941fb | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 58-127580.cnf.xz | None |
| 07d92f7130beefd10e6100908a6b0fa1 | 75cbcdc40ab22600ace91503a394ffb5 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 51-130161.cnf.xz | None |
| 07d99afd1451385b8f59705370617b80 | 47d9af65afe546140bebc0276612ee4d | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-03052.sat.sanitized.cnf.xz | submissions_2024 |
| 07da51c683e5fa45251fef460cf66c60 | fae90f7cf9f5d27c265a76e26fa3e511 | uniform-random | unknown | unsat | empty | empty | unif-k3-r4.25-v450-c1912-S1115796430-03.UNSAT.shuffled.cnf.xz | random_2007 |
| 07dab06913ef55d3a42e207a838c5c37 | df764a7ba37ef243e3dcbd820b19ca61 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 44-129166.cnf.xz | None |
| 07dfdde9b1020080213803c0777a04bf | 555f94ddea848087aa760c89d2e02d48 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 55-133846.cnf.xz | None |
| 07dfe40c43d9bd2f1c45bf06d490188b | 3ff4118c4343f04ac578b378e875a59b | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 45-112903.cnf.xz | None |
| 07dffb6f565305790eb6442b986f1c24 | aa8fdc53626e0612a44072c5c84040e6 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 59-111953.cnf.xz | None |
| 07e064dbe45135dd8b266eea0c0c9b6c | 6efa041cfd899906496d45ab06939ab0 | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-02040.sat.sanitized.cnf.xz | submissions_2024 |
| 07e1e29969e7eddc13877d118187c68e | 64b2137a899952fdc9666fd729d3c6fd | uniform-random | unknown | sat | empty | empty | unif-k3-r4.267-v11600-c49497-S1762043304096481101.cnf.xz | random_2017 |
| 07e6413459f92b613498a719125b6239 | 8f53099ab464bf3d34f59d380c2f595e | scheduling | shuolinli | unsat | http://hdl.handle.net/10138/359079 | empty | j3037_10_mdd_bm1.cnf.xz | main_2024,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 | http://hdl.handle.net/10138/333647 | 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 | http://hdl.handle.net/10138/333647 | 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-formulas | jarvisalo | unsat | empty | yes | mod2c-rand3bip-unsat-105-3.shuffled-as.sat05-2325.cnf.xz | anni_2022,crafted_2005 |
| 07fa3fcdf3bfea7d119e5b27c26bb189 | c736920442bfee6d890f90d993135960 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 41-82333.cnf.xz | None |
| 07fc0470c550aa7f7290a9442a3e2a83 | 560a3f6ff27e78a3804a7dd25e2eaba2 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/359079 | empty | ITC2021_Late_13.xml.cnf.xz | submissions_2022 |
| 08032add3cca8760e3397cbeaf30fb84 | 4ad8f306a15de46a9d788c32fcfc3e5d | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/563824 | no | multiplier_13bits__miter_15.cnf.xz | main_2023,submissions_2023 |
| 081ed301081776dc61bdcab61b720bd1 | 9cce9f11c63002c023dbcf7c073ee972 | test-configuration | biere | unsat | http://hdl.handle.net/10138/333647 | empty | satch2ways11.cnf.xz | None |
| 081eeeb1adf1c1a6c008468703328211 | 67da8ee8a5c5d72f1c289eaf0b193990 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 60-128377.cnf.xz | None |
| 081f111af59344b61346367a930e24f6 | 140226a8c6f6bc83654444e7f445162c | scheduling | lester | sat | http://hdl.handle.net/10138/359079 | 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 | http://hdl.handle.net/10138/359079 | empty | linked_list_swap_contents_safety_unwind66.cnf.xz | main_2022,submissions_2022 |
| 0825876c0167b72f69077b744b5c167f | 67b61b41eda2248bcb7bbaddd54abfcc | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 51-116078.cnf.xz | None |
| 082c9fdbce838d9b18260fa5c4de2f5c | a01f2c5f45a088091624c6ef4971fdca | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 56-138104.cnf.xz | None |
| 082f609e8e33aabc115e355976bc02a8 | 4ab34a9ff0cf3a4b259b4f3ea45ee214 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/318754 | no | Kakuro-easy-089-ext.xml.hg_4.cnf.xz | anni_2022,main_2021 |
| 083073b7820982b0bd5e9ff7de0b317d | 99af20941d36bba0eb2bde7eacb49230 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/333647 | empty | md5__zeroOut_19__freeIn_23__seed_2.cnf.xz | None |
| 0833521b118f61bdf8198940a6fba69a | c5f8e2f7e499887876a727c91a25af1f | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-06000.sat.sanitized.cnf.xz | submissions_2024 |
| 08365e3605c71b5363d5da9dbd92dc8d | b1a9b846f5ca07f5d2a8f8d1e76149e4 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 54-138912.cnf.xz | None |
| 083ff60b002cd12c03837d3f5122844f | a4c8024d00e653e9f84fa5cf1d01ac02 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/563824 | no | hash_table_find_safety_size_13.cnf.xz | main_2023,submissions_2023 |
| 0845cac21beb56a1b208735eff6a31dd | dad479bf91f6ae7c111719a0c5f2a6af | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | http://hdl.handle.net/10138/563824 | 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 | 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-formulas | elffers | unsat | empty | no | tseitingrid5x185_shuffled.cnf.xz | anni_2022,crafted_2016 |
| 085b8ebc423dcbd70eceaa04229cf5cd | 07301f9f9d86aad0028f1caf7413b0b3 | summle | manthey | sat | http://hdl.handle.net/10138/359079 | empty | summle_X111102_steps8_I1-2-2-4-4-8-25-100.cnf.xz | main_2022,submissions_2022 |
| 085ede801f42d9729807245a96cf71ab | 5cfae09108ef355a1a362aa6ef92e2c3 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 51-15899.cnf.xz | None |
| 0861f15a38e3614dcc2220a20ed1e96b | d6e82b17e8509d58bc56f6f126dc2d5a | floodit-puzzle | unknown | unknown | http://hdl.handle.net/10138/318754 | empty | floodit_1_n42_k10.cnf.xz | None |
| 086699aee5d37a1816b5afd81a1607dd | 688996aebd58afcbda9cf3f35873ea6d | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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,main_2024 |
| 0877d9fd26eac8b48c93935689338acb | 64ee6e19360d26f4999b53d1924d2994 | uniform-random | unknown | sat | empty | empty | unif-k7-r89-v60-c5340-S746386799-050.cnf.xz | random_2009 |
| 087904d57553076d5b9a1607315314ac | a3357a83edfaab2965dcdd9be1699a34 | planning | froleyks | sat | http://hdl.handle.net/10138/318754 | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 51-76933.cnf.xz | None |
| 087d747b5d4c1782d9bf4b8d12001441 | daaf3049cad3ba4551e3be2d4ff36c77 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 50-118324.cnf.xz | None |
| 088779a0af750f81050c3eff80b6a83e | 6caf258ecf1f508af3bf52d85cabf41b | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 58-142205.cnf.xz | None |
| 088c6214346611341f3b8386aad2a54d | 60cf0ed4c81f7a49cacd5c858f12835a | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 42-133622.cnf.xz | None |
| 088ffd086f2d5e55553d5e79aa30aaf5 | c35df68aeae469fe0c8de4458e7b39b5 | 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 | http://hdl.handle.net/10138/359079 | empty | bobsmdct_k500.cnf.xz | main_2022,submissions_2022 |
| 089a76488a6965710a5f3743902fd41a | 7ae015c8cbbf945e324e6169c6bd06b0 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 51-116924.cnf.xz | None |
| 089c0775c15f15ad5810c69bab91f31d | 031892c608bf283cad5fc1251a569951 | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | empty | 45-130845.cnf.xz | None |
| 089ec06b35d6d5c89f2e47cf030aff36 | 4a3fe6f86efdf1e1e83f4f281c425b5f | hamiltonian | sterten | unknown | https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ | empty | x9-12085.sat.sanitized.cnf.xz | submissions_2024 |
| 089f909e37b3ef0c4d90687f7e22b68f | cb0ad81deabfebcbac276ee114bc52dd | cryptography-simon | yuhangqian | sat | http://hdl.handle.net/10138/584822 | empty | simon-r18-0.sanitized.cnf.xz | main_2024,submissions_2024 |
| 089fb3a9b41e13d30852e8b023e39ed7 | 2f099fe35eea3b5fc5298b59dcffa14e | station-repacking | newman | unknown | https://satcompetition.github.io/2020/downloads/station-repacking.pdf | 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 |
