| hash | isohash | family | author | result | proceedings | minisat1m | filename | track |
|---|---|---|---|---|---|---|---|---|
| 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 |
| 008e7716c69009090ff6bd0048dc55f8 | be2f6ade7fb483507373d03afa16dca9 | hardware-verification | ibm | unsat | empty | no | SAT_dat.k10.cnf.xz | anni_2022,application_2012,main_2023 |
| 00a981f385cd209d41e1efa1f5f29bac | cec04e06ad991983108fe7ed0cd92fea | hardware-verification | ibm | sat | empty | yes | ibm-2004-03-k70.cnf.xz | anni_2022,main_2006,main_2023 |
| 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 |
| 00bb0b4ef28ed38c49de4c54b9fabc4d | f5a9ab84b535fa44e91b7326cec9e453 | cryptography-simon | zhang | sat | http://hdl.handle.net/10138/563824 | no | 25_2.cnf.xz | main_2023,submissions_2023 |
| 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 |
| 017ba03ed108f492c9293c7c95e5cae9 | 26abc879bcffc5d1615ce8d9ca98a71b | miter | xindi | unknown | http://hdl.handle.net/10138/563824 | no | multiplier_14bits__miter_14.cnf.xz | main_2023,submissions_2023 |
| 0191a0bf3412ed407ba669f8d69081ee | 88513f91fafb488773e76f74778f7fee | planning | surynek | sat | empty | no | mrpp_6x6#18_20.cnf.xz | anni_2022,crafted_2013,main_2023 |
| 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 |
| 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 |
| 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 |
| 02066c116dbacc40ec5cca2067db26c0 | 5cf868fa1b66e35fedbcdba5b6a33044 | planning | surynek | unsat | empty | no | mrpp_4x4#12_12.cnf.xz | anni_2022,main_2015,main_2023,main_2024 |
| 028d0cc7af63e9bba5795f20e24db4f6 | 60d9b7ee8c58b2f8f6ad4273aa7311bd | prime-factoring | pyhala | sat | empty | yes | pyhala-braun-sat-35-4-04.shuffled.cnf.xz | anni_2022,handmade_2002,main_2023 |
| 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 |
| 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 |
| 0336f81b60baac5b8f481dd3c32861a5 | c691b5d79fe4f81e65352d1a0e97bcaa | modcircuits | unknown | sat | empty | no | mod4block_2vars_10gates_u2_autoenc-sc2009.cnf.xz | anni_2022,main_2019,main_2023 |
| 036b541db9d0839b0591d408ff4f77ae | 10c77f9954952ffea054702504054e58 | cryptography-cbmc | post | unsat | empty | no | aes_decry_2_rounds.debugged.cnf.xz | anni_2022,application_2012,crypto_2021,main_2023,portfolio_2012 |
| 037c423f56548082b1935e88c48ffdda | c609561d95e240d1b7e3112b71458bea | coloring | pehoushek | sat | empty | yes | 3col120_5_2.shuffled.cnf.xz | anni_2022,handmade_2002,main_2023 |
| 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 |
| 03a43a7ea55217f53542ed3f029963af | 763e6d144978e6d0810db7343c7d8b7d | test-configuration | biere | unsat | http://hdl.handle.net/10138/333647 | no | satch2ways16w.cnf.xz | anni_2022,main_2021,main_2023 |
| 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 |
| 03e9d1abe418a1727bbf2ead77d69d02 | e974ebf67a3c8ae418c773b9be13bd59 | pigeon-hole | reeves | unknown | http://hdl.handle.net/10138/563824 | no | php15-mixed-15percent-blocked.cnf.xz | main_2023,submissions_2023 |
| 06b138e8a6da806e88ac7da2919cef30 | 607426441c443d85ee2bdc68a5c02d7d | grs-fp-comm | fleury | unsat | http://hdl.handle.net/10138/563824 | no | grs-192-32.cnf.xz | main_2023,submissions_2023 |
| 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 |
| 0811f761eee5e4ef28196fd98884a67b | ef7e4b236989f4f48ef53037762f697c | miter | xindi | unsat | http://hdl.handle.net/10138/563824 | no | multiplier_13bits__miter_15.cnf.xz | main_2023,submissions_2023 |
| 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 |
| 090eefb9bc472f6478e70baf2c6d2403 | 5a28685cb9082dc40e8191e25c07b648 | profitable-robust-production | chowdhury | sat | http://hdl.handle.net/10138/563824 | no | PRP_100_150.cnf.xz | main_2023,submissions_2023 |
| 0945c95ba9b82c32d12fc9d9e5229c5a | f8ca694410c40c12d6505ee0c7ac6c93 | school-timetabling | tchinda | unknown | http://hdl.handle.net/10138/563824 | no | SC23_Timetable_C_473_E_45_Cl_32_D_6_T_50.cnf.xz | main_2023,submissions_2023 |
| 096ac97e4261eabca440fc7bc135d7c0 | 0feb7b0d73ff5cb7c38a4df1541a32f7 | school-timetabling | tchinda | sat | http://hdl.handle.net/10138/563824 | no | SC23_Timetable_C_478_E_50_Cl_32_D_6_T_50.cnf.xz | main_2023,submissions_2023 |
| 0982db5b0b15642e79e8242881529b39 | 517fc4a29a0605b9e4e8ac15639a044f | reg-n | shuolinli | unknown | http://hdl.handle.net/10138/563824 | no | REGRandom-K4-L3-Seed15.cnf.xz | main_2023,submissions_2023 |
| 0a279c478775cdeede51ad431aebf200 | 2f9660fac5fc5945ce47c776634ecb58 | cryptography-simon | zhang | sat | http://hdl.handle.net/10138/563824 | no | 24_0.cnf.xz | main_2023,submissions_2023 |
| 0a4ed112f2cdc0a524976a15d1821097 | 0ef7e4f1d8b07a21d286ebefce1502ec | coloring-clique | yldirimoglu | unsat | http://hdl.handle.net/10138/563824 | no | cliquecoloring_n12_k9_c8.cnf.xz | main_2023,submissions_2023 |
| 0ae0c5a4fb9001d63669a0aa5b592167 | 44a8cb8fc36f50ecccc79711eb135380 | miter | xindi | unsat | http://hdl.handle.net/10138/563824 | no | multiplier_16bits__miter_19.cnf.xz | main_2023,submissions_2023 |
| 0be1e12a8e7282d1a4e389bb90f6dbc7 | e00905575ce250f56ba9b1a7fcf2c281 | or_randxor | yldirimoglu | unsat | http://hdl.handle.net/10138/563824 | no | or_randxor_k3_n600_m600.cnf.xz | main_2023,submissions_2023 |
| 0c9da400944b002f90fd385d4fdab385 | f1b7072876c4dacb6484714b5221c75c | subsumptiontest | nuttall | sat | http://hdl.handle.net/10138/563824 | no | DivS_568_11.cnf.sanitized.cnf.xz | main_2023,submissions_2023 |
| 0d3e99a07b6a6b67ac59d706c0af9d68 | 5e7cbfe222fe574799ec1ba19b22736c | grs-fp-comm | fleury | unsat | http://hdl.handle.net/10138/563824 | no | grs-32-160.cnf.xz | main_2023,submissions_2023 |
| 0eb98926b26343d31954169dfbde2b24 | c1b95fa7786a5fbbbe843a27d0d66a14 | satcoin | chung | unsat | http://hdl.handle.net/10138/563824 | no | satcoin-genesis-UNSAT-11900.cnf.xz | main_2023,submissions_2023 |
| 0ef0d91d378eab41ba6fb9dfc9b87fc8 | eeab75710e401b9a4fa1beaf99e7cb76 | trigonometric-functions | hiller | unsat | http://hdl.handle.net/10138/563824 | no | sat-bench-trig-taylor4.cnf.xz | main_2023,submissions_2023 |
| 10196804504080e7107809a2e5b3bfcc | 110c172c555d13e95934fac08a23a48f | social-golfer | mayer-eichberger | sat | http://hdl.handle.net/10138/563824 | no | ContextModel_output_6_5_6.bul_.dimacs.cnf.xz | main_2023,submissions_2023 |
| 112b0ac22b2a567cd3badfed3a5497fd | 95d0dabf45c143c8f181bd0fb05fcfce | mutilated-chessboard | reeves | unsat | http://hdl.handle.net/10138/563824 | no | mchess16-mixed-35percent-blocked.cnf.xz | main_2023,submissions_2023 |
| 1153a473e1d5dd21ccd33189d594a4aa | 4de8c61d1647a8fe56445f7bb15082da | tseitin-formulas | yldirimoglu | unsat | http://hdl.handle.net/10138/563824 | no | tseitin_d3_n10000.cnf.xz | main_2023,submissions_2023 |
| 11db226d109e82f93aaa3b2604173ff9 | 5aeace6a3fcbc6ff0e4234c301043a6c | register-allocation | green | unsat | http://hdl.handle.net/10138/563824 | no | posixpath__joinrealpath_13.cnf.xz | main_2023,submissions_2023 |
| 14a5ff0d6213dcfe182ec656764bbdfb | 08ca6a00beb2e1f7398cf96ff5020727 | satcoin | chung | unsat | http://hdl.handle.net/10138/563824 | no | satcoin-genesis-UNSAT-9080.cnf.xz | main_2023,submissions_2023 |
| 150b5f8cac40bb4e0fcbdd65c3c04701 | ad5f0617ef7877d8af86579e7297873d | profitable-robust-production | chowdhury | unknown | http://hdl.handle.net/10138/563824 | no | PRP_100_550.cnf.xz | main_2023,submissions_2023 |
| 15a2ec07aaca45d454a2fbfc0624e75e | bac030d4ce03ae5cbea775683ead00f0 | hashtable-safety | osama | unsat | http://hdl.handle.net/10138/563824 | no | hash_table_find_safety_size_29.cnf.xz | main_2023,submissions_2023 |
| 15c53f73c62a78c24bf5974e4a7afcd8 | 94d3418e2950857699fcbdf0d9ddcc4f | cryptography-simon | zhang | sat | http://hdl.handle.net/10138/563824 | no | 18_1.cnf.xz | main_2023,submissions_2023 |
| 17039a3ed02ea12653ec5389e56dab50 | 1fbeb8a1d102d125ccb43f6579e0d4d8 | pebbling | sabharwal | unsat | empty | yes | pbl-00070.shuffled-as.sat05-1324.shuffled-as.sat05-1324.cnf.xz | anni_2022,crafted_2005,main_2023 |
| 177a4ad8fd76ad8240387998112c3168 | c9249d96638a240329d9ada9030cb6fe | school-timetabling | tchinda | sat | http://hdl.handle.net/10138/563824 | no | SC23_Timetable_C_481_E_49_Cl_32_D_6_T_50.cnf.xz | main_2023,submissions_2023 |
| 18416a9ac0909dce5fa96345f784c87e | 24a4c528153ec2b7f2a96c00fcc8dae7 | interval-matching | gao | unsat | http://hdl.handle.net/10138/563824 | no | intervals122.cnf.xz | main_2023,submissions_2023 |
| 189e5991b041a89700513106988e720d | f99ccb26e9016d653647cd0fd123550d | relativized-pigeon-hole | yldirimoglu | unsat | http://hdl.handle.net/10138/563824 | no | rphp_p20_r20.cnf.xz | main_2023,submissions_2023 |
| 18babbd2835b8a37c6299f8b0301c7c9 | 71198ba4b14a95f472081d25945be8fa | brent-equations | karia | sat | http://hdl.handle.net/10138/563824 | no | brent_67_0.05.cnf.xz | main_2023,submissions_2023 |
| 19004c7d629f7e6e83c6e1d7a9a768a9 | 04f9a4ee384419eed87bbb3358130483 | miter | biere | unsat | empty | no | 6s166.cnf.xz | anni_2022,application_2013,main_2023 |
| 1932e1e8f0c78372759909e45a19ecc7 | bde74a7458d922c1ad218222b0c90548 | brent-equations | karia | sat | http://hdl.handle.net/10138/563824 | no | brent_69_0.3.cnf.xz | main_2023,submissions_2023 |
| 19c6a29181bee2f3aa03bfb5c5d693d0 | 0d061d3b6d67a97bb53df13c35c8e2c2 | brent-equations | karia | unsat | http://hdl.handle.net/10138/563824 | no | brent_9_0.cnf.xz | main_2023,submissions_2023 |
| 1a20649a8c79d6675d934cec271d573f | 3db6277a7d91765e3bbfce5db5b08c70 | tseitin-formulas | yldirimoglu | unsat | http://hdl.handle.net/10138/563824 | no | tseitin_grid_n100_m100.cnf.xz | main_2023,submissions_2023 |
| 1a40d2d8c589799a0d267cae03fcd4c5 | 8e670bce702df52544a4b83b3be8f664 | set-covering | zheng | sat | http://hdl.handle.net/10138/563824 | no | SCPC-800-40.cnf.xz | main_2023,submissions_2023 |
| 1a63072b90f88c7fa621b5041f412b79 | f059efd324dbd8780fba5864bf555ff3 | cryptography-ascon | manthey | unsat | http://hdl.handle.net/10138/563824 | no | asconhashv12_opt64_H8_M2-nm2vUdkK_m3_5_U3.c.cnf.xz | main_2023,submissions_2023 |
| 1a6a635f5b959e191ec705b2f236568a | 6fc37630b163e1a5ef129d7ad8a2aabf | bitvector | manthey | unsat | empty | yes | square.2.0.i.smt2-cvc4.cnf.xz | anni_2022,application_2016,main_2023 |
| 1aa7cd96ab1f7bf58984deccf8362ab4 | c20b89cec4db67897bf0bf2ee59088d1 | miter | goldberg | unsat | empty | yes | rand_net50-60-10.shuffled.cnf.xz | anni_2022,industrial_2002,main_2023 |
| 1b02025658c2a23e1fd3ce0a9c3633cb | 944f3543220e459921b685d44bc7fe56 | cryptography-ascon | manthey | sat | http://hdl.handle.net/10138/563824 | no | asconhashv12_opt64_H8_M2-I61h2mH5_m2_6.c.cnf.xz | main_2023,submissions_2023 |
| 1b86f59ce4c43f19f0ad1238f8c362b4 | b9c518578efa7ac921912a4a8e719e29 | profitable-robust-production | chowdhury | sat | http://hdl.handle.net/10138/563824 | no | PRP_30_37.cnf.xz | main_2023,submissions_2023 |
| 1ce81dbba1292bf791e194b17aa2a219 | b012253e9399c4f41d77d37aaa992ab0 | test-configuration | biere | unsat | http://hdl.handle.net/10138/333647 | no | satch2ways15u.cnf.xz | anni_2022,main_2021,main_2023 |
| 1d1af993697599892804df5878d58979 | 8f19e02837e95ae14d8dd9cf5900ed25 | brent-equations | karia | sat | http://hdl.handle.net/10138/563824 | no | brent_69_0.cnf.xz | main_2023,submissions_2023 |
| 1d42a7c3616ce163e292340cfcd34f97 | 8b295f31e754bf53d8c4487a9e2a1e63 | profitable-robust-production | chowdhury | sat | http://hdl.handle.net/10138/563824 | no | PRP_100_600.cnf.xz | main_2023,submissions_2023 |
| 1ea7fe95e6158afe11f7b795b9aac939 | a0758fc914145983a97252d4376c9da4 | reg-n | shuolinli | unknown | http://hdl.handle.net/10138/563824 | no | REGRandom-K4-L4-Seed10.cnf.xz | main_2023,submissions_2023 |
| 1eea3d913d346b900252d77fc0cb25c8 | c0c913442dcbb100ed1fb39cf075590f | minimal-disagreement-parity | simon | sat | empty | no | par32-4.shuffled.cnf.xz | anni_2022,handmade_2002,main_2023 |
| 1f215812371f0c428eb1f1e51f9f23d7 | 8428d583d83f67ba73286ca5aff6820a | cryptography-simon | zhang | sat | http://hdl.handle.net/10138/563824 | no | 20_2.cnf.xz | main_2023,submissions_2023 |
| 1f6cf91464c6a19022144774b162a3cc | 370b80a943166f1983f212a1913917ae | argumentation | niskanen | unsat | http://hdl.handle.net/10138/563824 | no | ER_500_30_3.apx_2_DC-ST.cnf.xz | main_2023,submissions_2023 |
| 20be6aa61af15fd53b4c48eb3f2f3319 | a1a5aa06e48d9a87550270bacec623b4 | cryptography-simon | zhang | sat | http://hdl.handle.net/10138/563824 | no | 27_1.cnf.xz | main_2023,submissions_2023 |
| 20cae5fe475d571da703f89d5da4bb8f | fb4b79ea9274468738800c4cc15c1929 | grs-fp-comm | fleury | unsat | http://hdl.handle.net/10138/563824 | no | grs-96-32.cnf.xz | main_2023,submissions_2023 |
| 211938776d92f11870a687abd11d55a4 | a79f40c2566dfd14d2414ad27515c54d | quasigroup-completion | sorge | unsat | empty | yes | iso-icl004.shuffled-as.sat05-3238.cnf.xz | anni_2022,crafted_2005,main_2023 |
| 21667cf04beae213adbab0d48408a7e4 | e3fd7cb0605eb2f8c8ec1718fbcd3877 | satcoin | chung | unsat | http://hdl.handle.net/10138/563824 | no | satcoin-genesis-UNSAT-10600.cnf.xz | main_2023,submissions_2023 |
| 21bde0ebb111c637a1ae8789827b0b73 | 0a9f1ed661705f7290b1844529449278 | register-allocation | green | unsat | http://hdl.handle.net/10138/563824 | no | WCNF_from_fp_13.cnf.xz | main_2023,submissions_2023 |
| 220bb8aa093e502c47afcdac3140d67c | bd86eed3c49101c2c1a1b541dac8fa34 | cryptography | grieu | sat | empty | yes | vmpc_24.cnf.xz,vmpc_24.renamed-as.sat05-1912.cnf.xz | anni_2022,application_2009,industrial_2005,industrial_2007,main_2023 |
| 22d0a2fdc65d884c2bbde56af9feba4a | dd13286989271671bba824aef705e3eb | interval-matching | gao | unsat | http://hdl.handle.net/10138/563824 | no | intervals961.cnf.xz | main_2023,submissions_2023 |
| 23c4e178c94c0dff82ea6c87abed7ecc | a8ffa72447ebbe142522557fe4c7cc06 | relativized-pigeon-hole | yldirimoglu | unsat | http://hdl.handle.net/10138/563824 | no | rphp_p60_r60.cnf.xz | main_2023,submissions_2023 |
| 246afd75cb97a21144f368c00252a656 | 2c3254f175d7dbdfe4fdb323771b123f | register-allocation | green | unsat | http://hdl.handle.net/10138/563824 | no | BZ2File_write_11.cnf.xz | main_2023,submissions_2023 |
| 24b93d0bf941e4b050c9109e4cb7faf4 | 87132653ddbe53218e1a57ec4b620b1d | generic-csp | connamacher | sat | empty | yes | connm-ue-csp-sat-n600-d-0.02-s1022905465.used-as.sat04-951.cnf.xz | anni_2022,handmade_2004,main_2023 |
| 24bf910d2b9da558fb3e71a4dbe79ba3 | 3f6a71aae576e9d60239e959d16f0e2f | prime-factoring | aloul | sat | empty | yes | lisa19_99_a.shuffled.cnf.xz | anni_2022,handmade_2002,main_2023 |
| 2537f10a45d7ab430334dc1de6bfbdf0 | fb80720fca3fb37b8513c238ec1d432b | school-timetabling | tchinda | sat | http://hdl.handle.net/10138/563824 | no | SC23_Timetable_C_486_E_50_Cl_33_D_6_T_50.cnf.xz | main_2023,submissions_2023 |
| 25b7a69d04a5029cf4ba2f483b5bec45 | 3745f7f16583d80dcd0876de6fa99081 | cryptography-ascon | manthey | sat | http://hdl.handle.net/10138/563824 | no | asconhashv12_opt64_H9_M2-LSGb5PgEM_m2_7.c.cnf.xz | main_2023,submissions_2023 |
| 26114429758a203d651f4df87c94de4c | 4b9000fa10e4d1b27480eecce38ea234 | sgen | spence | unsat | empty | no | sgen1-unsat-97-100.cnf.mis-72.debugged.cnf.xz | anni_2022,crafted_2012,main_2023 |
| 262009b8df6350761c7dfc8761f0af79 | 3c9d17c8b84b1345e4afdeed8bc365e6 | interval-matching | gao | unsat | http://hdl.handle.net/10138/563824 | no | intervals788.cnf.xz | main_2023,submissions_2023 |
| 2722f39c27dc45a989bb52761ed52e50 | 5374ef9c6014d78ea2afc9a12850aa4f | cryptography-simon | zhang | sat | http://hdl.handle.net/10138/563824 | no | 31_1.cnf.xz | main_2023,submissions_2023 |
| 275d36e3f246990dccd094e5e1442ba9 | 1e229b6204e3dda99b911b0d190f6d3a | argumentation | niskanen | unknown | http://hdl.handle.net/10138/563824 | no | WS_500_32_50_10.apx_2_DC-AD.cnf.xz | main_2023,submissions_2023 |
| 27b4fe4cb0b4e2fd8327209ca5ff352c | 6f2a04073e16e32a28c0e618b812829f | theorem-proving | vangelder | unsat | empty | yes | grid_10_20.shuffled.cnf.xz | anni_2022,handmade_2002,main_2023 |
| 28857e681fc6a9077d5a7d0e9c7a19ad | 24252264963c9a6b904b313f63467a32 | hashtable-safety | osama | unsat | http://hdl.handle.net/10138/563824 | no | hash_table_find_safety_size_14.cnf.xz | main_2023,submissions_2023 |
| 28e45a3e488ddac73b6116cc6f3e67e0 | 3a779af4d7aa655cd7b486df7b2e8a68 | cril-misc | frioux | unsat | empty | no | g2-T99.2.0.cnf.xz | anni_2022,main_2017,main_2023 |
| 28f29fe949422ec88892e18073de065c | c12dfcea819502173774201b9a20363f | coloring | pehoushek | unsat | empty | yes | 5col100_15_6.shuffled.cnf.xz | anni_2022,handmade_2002,main_2023 |
| 2902c241b2196f5fd914509fdc124ba7 | eed09c3677ee6ae3a69abfef4223cb0c | reg-n | shuolinli | unsat | http://hdl.handle.net/10138/563824 | no | REGRandom-K4-L2-Seed20.cnf.xz | main_2023,submissions_2023 |
| 291c2b4fa2d8b009cd2a8331891ba667 | 88d402971e4d912af3b959d3c0cf8084 | profitable-robust-production | chowdhury | sat | http://hdl.handle.net/10138/563824 | no | PRP_30_40.cnf.xz | main_2023,submissions_2023 |
| 29505dfcf090c4cfdfb59268160be81d | 49d51a369f2fba91035908a9c7ce63a0 | hashtable-safety | osama | unsat | http://hdl.handle.net/10138/563824 | no | hash_table_find_safety_size_24.cnf.xz | main_2023,submissions_2023 |
| 29bab0de14e56e526be9683131005cb2 | 4b75ad5c6c25abfae1238c85308d790e | argumentation | niskanen | sat | http://hdl.handle.net/10138/563824 | no | stb_588_138.apx_2_DS-ST.cnf.xz | main_2023,submissions_2023 |
| 29e101b66dfddb440e974b9feec5b1aa | 2a1891dca4441092ac270b0cb76f2352 | cellular-automata | chowdhury | unsat | http://hdl.handle.net/10138/333647 | no | spg_200_307.cnf.xz | anni_2022,main_2021,main_2023 |
| 2a144840047376cee3b7b99455158976 | 2bd9f4b38329594b65828efb5430ef68 | miter | goldberg | unsat | empty | no | goldberg03:hard_eq_check:i10mul.miter.used-as.sat04-333.cnf.xz,i10mul.miter.used-as.sat04-333.cnf.xz | anni_2022,application_2012,industrial_2004,main_2023,portfolio_2012 |
| 2a4680a801ad32ab8768030250daf0c8 | 05797dde183ecd9bcdd54aaaa125e9a4 | argumentation | niskanen | unknown | http://hdl.handle.net/10138/563824 | no | ER_500_10_5.apx_2_DC-ST.cnf.xz | main_2023,submissions_2023 |
| 2b3de92685792ae19e4549b5c4571e27 | 1dccbfb5a4f4e495bf0e12cfe117be47 | graph-isomorphism | mugrauer | unsat | http://hdl.handle.net/10138/135571 | no | crafted_n12_d6_c4_num4.cnf.xz | anni_2022,crafted_2014,main_2023 |
| 2b7e863462991fd008f9898eca63ebf4 | abfec0d10bf833bd1cfb73c418224d10 | school-timetabling | tchinda | sat | http://hdl.handle.net/10138/563824 | no | SC23_Timetable_C_481_E_50_Cl_32_D_6_T_50.cnf.xz | main_2023,submissions_2023 |
| 2c9dc96b7a8b0410e64dd33f7e00a0c1 | 10730b0033ce584adfe880b1f70ac0d2 | cryptography-simon | zhang | sat | http://hdl.handle.net/10138/563824 | no | 30_2.cnf.xz | main_2023,submissions_2023 |
| 2d0c041c0fe72dc32527bfbf34f63e61 | 7f8b8eeb26095b7f790838711b64271c | hgen | guanfeng | sat | http://hdl.handle.net/10138/318754 | no | 170223547.cnf.xz | anni_2022,main_2020,main_2023,main_2025 |
| 2e808d215e4155379a847b146ef38b34 | 0feff3ded5fb1fc03599ef98f9144908 | risc-instruction-removal-golcrest | fleury | unsat | http://hdl.handle.net/10138/563824 | no | goldcrest-and-16.cnf.xz,goldcrest-or-16.cnf.xz,goldcrest-xor-16.cnf.xz | main_2023,submissions_2023 |
| 2ef023ae6c46e4415734f9349a36d678 | 1b296a4e39304e0e595f914462e566e2 | hardware-verification | velev | unsat | empty | no | velev-pipe-o-uns-1.0-7.cnf.xz | anni_2022,application_2009,application_2011,application_2012,main_2006,main_2023,portfolio_2012 |
| 2f219dfa21d996e1834aa247f934f304 | 2dff83f3faa4d42403a6a7bb064da72f | grs-fp-comm | fleury | unsat | http://hdl.handle.net/10138/563824 | no | grs-192-48.cnf.xz | main_2023,submissions_2023 |
| 303ba61141150f84b0d8b44839df59fd | b16445417a0de651491adc02c39760c1 | reg-n | shuolinli | unsat | http://hdl.handle.net/10138/563824 | no | REGRandom-K3-L3-Seed10.cnf.xz | main_2023,submissions_2023 |
| 30e680ded3b9be6be0b5baac273f2646 | 94e45d434a922d1540366964184649ed | cryptography-ascon | manthey | unsat | http://hdl.handle.net/10138/563824 | no | asconhashv12_opt64_H5_M2-A8qZX_m0_3_U23.c.cnf.xz | main_2023,submissions_2023 |
| 323223c497a22051f5a3ef508ccbaa7c | 7da132eea16bf9690b53484c2dcd82c4 | school-timetabling | tchinda | sat | http://hdl.handle.net/10138/563824 | no | SC23_Timetable_C_477_E_50_Cl_32_D_6_T_50.cnf.xz | main_2023,submissions_2023 |
| 328da7966b09b2f6e99c93c4e877fbff | ba427eef921fdd3cc96f04fe922555c4 | sgen | spence | sat | empty | no | sgen3-n260-s62321009-sat.cnf.xz | anni_2022,crafted_2011,crafted_2012,main_2023,portfolio_2012 |
| 339b1cfda231aaca601cd6339c07ca2c | 9e2ec6fc61acee718a484f2ea3a3b09c | profitable-robust-production | chowdhury | sat | http://hdl.handle.net/10138/563824 | no | PRP_100_450.cnf.xz | main_2023,submissions_2023 |
| 33bcf82677b7fdacf18dd48892596a1d | cb78f26231d60ebc248000750c79aa79 | scheduling | konan | sat | empty | no | TimetableCNFEncoding_20_UNKNOWN.cnf.xz | anni_2022,main_2018,main_2023 |
| 33cfa309d10e1d4fe30f1302807f42ce | d025bb08dd263542e0309c6d8cc1f8e1 | school-timetabling | tchinda | sat | http://hdl.handle.net/10138/563824 | no | SC23_Timetable_C_482_E_50_Cl_33_D_6_T_50.cnf.xz | main_2023,submissions_2023 |
| 3498eea73b78ddc444cbee48b121c541 | ec0726dbdd4fb08d8249c132bfeaa450 | grs-fp-comm | fleury | unsat | http://hdl.handle.net/10138/563824 | no | grs-64-160.cnf.xz | main_2023,submissions_2023 |
| 34e5fd58b65bf305cc773f0dbfb47917 | fc25f9ae685841ded193de141a1b519c | interval-matching | gao | unsat | http://hdl.handle.net/10138/563824 | no | intervals553.cnf.xz | main_2023,submissions_2023 |
| 358fa8d20aa467c7e9b9bf34f73d1dc9 | aca04b800c24ef6094fe07c6256dc8a5 | unknown | zhou | sat | empty | yes | patat-08-comp-3.cnf.xz | anni_2022,main_2018,main_2023 |
| 35b19a3332597c1e5a3668f75ca72971 | 026ba6df3f2b9549061582889900436a | school-timetabling | tchinda | sat | http://hdl.handle.net/10138/563824 | no | SC23_Timetable_C_480_E_50_Cl_32_D_6_T_50.cnf.xz | main_2023,submissions_2023 |
| 361290e60ab2a8ea9dccfcff65bf0778 | 1e2385e3af0c2c029bd457dff3e82d63 | satcoin | chung | unsat | http://hdl.handle.net/10138/563824 | no | satcoin-genesis-UNSAT-9880.cnf.xz | main_2023,submissions_2023 |
| 3663000b31a5c80922afc6e48322accb | 1d6a7e213089957d161a05bb6ad13336 | miter | biere | unsat | empty | no | 6s165.cnf.xz | anni_2022,application_2013,main_2023 |
| 36c342091848d5d6a1a8eeb3a8b49b86 | 92c8f2f3a700c88ca57f44b488451ce9 | planning | maris | sat | empty | yes | rovers1_ks99i.renamed-as.sat05-3971.cnf.xz | anni_2022,application_2011,industrial_2005,main_2023 |
| 3728fe50d8038c639c2d9c84e04fe2b1 | 4644945b798f1b01a1d152d4e4f9316f | prime-factoring | unknown | sat | empty | no | 46bits_11.dimacs.cnf.xz | anni_2022,main_2015,main_2023 |
| 37d40a1092b58ad28285b9453872d211 | dfa7a2619533fd580897deb10d6962e4 | register-allocation | green | unsat | http://hdl.handle.net/10138/563824 | no | DecompressReader_read_12.cnf.xz | main_2023,submissions_2023 |
| 385a678ba820d79c6fb5f497adaf32ec | 7b89e3a3cef92018ff4f4d7133bb8399 | grs-fp-comm | fleury | unsat | http://hdl.handle.net/10138/563824 | no | grs-48-128.cnf.xz | main_2023,submissions_2023 |
| 385e2c7010a419a9bd47b9258c9d2903 | 7e8f5c50282ee942ffc8cd0421dda680 | tseitin-formulas | yldirimoglu | unsat | http://hdl.handle.net/10138/563824 | no | tseitin_d3_n200.cnf.xz | main_2023,submissions_2023 |
| 38833d6a1ff6a56ef22bd2dc1e3fdde7 | c425d351d4d389bd2469bb1b4c99ffb5 | rbsat | huang | sat | http://hdl.handle.net/10138/135571 | no | rbsat-v1150c84314gyes10.cnf.xz | anni_2022,crafted_2014,main_2023 |
| 38ca761a5808eace8bc8f1fcfdb5b5a8 | cc0bd82ce4e0b0b714b633e86fb5369e | miter | xindi | unsat | http://hdl.handle.net/10138/563824 | no | multiplier_15bits__miter_20.cnf.xz | main_2023,submissions_2023 |
| 396245861b331d45e1345bd43fe352e2 | 05b99eabddf053ab10b7270b7899e0a6 | cryptography-ascon | manthey | sat | http://hdl.handle.net/10138/563824 | no | asconhashv12_opt64_H8_M2-1yQCyA0j_m2_6.c.cnf.xz | main_2023,submissions_2023 |
| 3a7a64e1d6cf5ce969b2b05b5464f707 | 5355288440a991d5ff6eecd74a83eadd | profitable-robust-production | chowdhury | sat | http://hdl.handle.net/10138/563824 | no | PRP_30_38.cnf.xz | main_2023,submissions_2023 |
| 3cff6c97a515aecfe46ba0f1256a3c11 | 804783b5d4accc4be98a7a77a5f3cc2a | planning | unknown | sat | empty | no | shuffling-1-s1870372346-of-bench-sat04-423.used-as.sat04-562.cnf.xz | anni_2022,industrial_2004,main_2023 |
| 3e7dc7350195104b76b7d03ab5b0af8f | 1cfbd73145100f7b9483639f2b066030 | school-timetabling | tchinda | sat | http://hdl.handle.net/10138/563824 | no | SC23_Timetable_C_490_E_50_Cl_33_D_6_T_50.cnf.xz | main_2023,submissions_2023 |
| 3f341c57c37d86350af5233b8e15e52e | f7faf8397f5f3bd169b4670a63ca22fd | cryptography-simon | zhang | sat | http://hdl.handle.net/10138/563824 | no | 19_2.cnf.xz | main_2023,submissions_2023 |
| 3f4174289e971950c290f27892169bc5 | 808c3d203a720051f4162d6c70a612a6 | interval-matching | gao | unsat | http://hdl.handle.net/10138/563824 | no | intervals607.cnf.xz | main_2023,submissions_2023 |
| 3ff114cc7bee4f39fa56a0325e605c2d | f004541e852b7a697742b1717b4cec14 | argumentation | niskanen | unsat | http://hdl.handle.net/10138/563824 | no | stb_588_138.apx_2_DC-ST.cnf.xz | main_2023,submissions_2023 |
| 4029fbae284eaf924b37b6f43d3a67fb | e1e4b36dd8ebd17fa5cfd3da00014462 | register-allocation | green | unsat | http://hdl.handle.net/10138/563824 | no | WCNF_from_fp_14.cnf.xz | main_2023,submissions_2023 |
| 40ae60a61929b6bfa2ac99ab4b9a0f7e | 12de8773eb6341648fc7f15863a147fd | grs-fp-comm | fleury | unsat | http://hdl.handle.net/10138/563824 | no | grs-96-192.cnf.xz | main_2023,submissions_2023 |
| 41457ee03686b32962c12445524f62a9 | 9cbd763cdb231efbdada4edb5d43cb22 | mutilated-chessboard | reeves | unsat | http://hdl.handle.net/10138/563824 | no | mchess18-mixed-45percent-blocked.cnf.xz | main_2023,submissions_2023 |
| 41a8365f60db55b71d949df6954e0db7 | 24b63ea8b40b5d31c3417d18c7d73f5d | register-allocation | green | unsat | http://hdl.handle.net/10138/563824 | no | FileObject_open_13.cnf.xz | main_2023,submissions_2023 |
| 41c39c9a2d75ca50b603ea7c3d86106a | 84ef54c27ac29fead849bc7d1f199146 | brent-equations | karia | sat | http://hdl.handle.net/10138/563824 | no | brent_63_0.cnf.xz | main_2023,submissions_2023 |
| 4282ea42fd414bfd2c4bf81fe8a43e24 | 0b098f5cb42b751ba1caee38fe21954f | subsumptiontest | nuttall | unsat | http://hdl.handle.net/10138/563824 | no | DivU_1520_10.cnf.sanitized.cnf.xz | main_2023,submissions_2023 |
| 428da12ab8f5f68ae261e6468c2fef73 | 767ad29c4b33b4488b6143fa1ff497da | social-golfer | mayer-eichberger | unknown | http://hdl.handle.net/10138/563824 | no | TableSymModel_output_8_3_10.bul_.dimacs.cnf.xz | main_2023,submissions_2023 |
| 431bfb466be51ecd86b321b5cbce6d3c | 32c1e06067c0aa9d6aca8564949e7047 | planning | surynek | unsat | empty | yes | mrpp_8x8#22_10.cnf.xz | anni_2022,main_2015,main_2023 |
| 4380f8ed143d97a65f8888b2feeddb80 | b11f61ade8c4dcca61f7554cb9fafe21 | interval-matching | gao | unsat | http://hdl.handle.net/10138/563824 | no | intervals477.cnf.xz | main_2023,submissions_2023 |
| 4408f30395fb799e01b34b0dc7ee1d62 | 73c8f91a9eeff66d686c787d6f7fefaa | coloring-clique | yldirimoglu | unsat | http://hdl.handle.net/10138/563824 | no | cliquecoloring_n14_k9_c8.cnf.xz | main_2023,submissions_2023 |
| 44092fcc83a5cba81419e82cfd18602c | 01bd3f33e770a08f403d31917cbf0477 | pigeon-hole | unknown | unsat | empty | yes | php-010-009.shuffled-as.sat05-1185.cnf.xz | anni_2022,crafted_2005,main_2023 |
| 44ad104c3b0c83b4cfc260583dee2397 | 7207fb4f9530dd62689a05d0d89a569a | profitable-robust-production | chowdhury | sat | http://hdl.handle.net/10138/563824 | no | PRP_30_36.cnf.xz | main_2023,submissions_2023 |
| 44b249f51321a2bf38f730534b781bec | 2a54ae679c84731c4ee9ace95b2b1010 | fpga-routing | goldberg | sat | empty | yes | c880_gr_rcs_w7.shuffled.cnf.xz | anni_2022,industrial_2002,main_2023 |
| 45faf223af97fe9177daa3ad4002cf2f | c79ae6ca629c11de8e6a6c7e19bbde32 | hashtable-safety | osama | unsat | http://hdl.handle.net/10138/563824 | no | hash_table_find_safety_size_25.cnf.xz | main_2023,submissions_2023 |
| 4611cd26b441b8c5866e4a2c5a7952dc | 4ce241a2059cd6f2965ec20334ac2334 | argumentation | niskanen | unknown | http://hdl.handle.net/10138/563824 | no | WS_400_24_90_10.apx_1_DS-ST.cnf.xz | main_2023,submissions_2023 |
| 46e119b7ff8d0781354bfe68139c99b5 | 32d1197eb8860c401642374a0913249a | grs-fp-comm | fleury | unsat | http://hdl.handle.net/10138/563824 | no | grs-96-96.cnf.xz | main_2023,submissions_2023 |
| 48539e7e4baae6db72cda7e8a9cecfa0 | 568541f80c2165243522b6f63706ae7e | risc-instruction-removal-subrv | fleury | unsat | http://hdl.handle.net/10138/563824 | no | oisc-subrv-sll-nested-15.cnf.xz | main_2023,submissions_2023 |
| 48ac8814180bdc90bf96a4caea64dae2 | d3af89eb03bf36c703578681f6fbe979 | interval-matching | gao | unsat | http://hdl.handle.net/10138/563824 | no | intervals633.cnf.xz | main_2023,submissions_2023 |
| 4989239fbeb6eb40fc0b664d9ba92636 | c8cee7d38a7ffa9fc3bc26411e410cad | cryptography-ascon | manthey | unsat | http://hdl.handle.net/10138/563824 | no | asconhashv12_opt64_H7_M2-K1zfAs8_m0_3_U5.c.cnf.xz | main_2023,submissions_2023 |
| 4a6a797c6b4a8055d10b74edda9a5e30 | b7437cbfbfe180ae3f672aa5ea4d2e8a | social-golfer | mayer-eichberger | unknown | http://hdl.handle.net/10138/563824 | no | TableSymModel_output_8_4_8.bul_.dimacs.cnf.xz | main_2023,submissions_2023 |
| 4d2f74ef97b6d40ebd71f85dcb75c543 | ecf06afc1abc0c6fe633ea100b08a30c | tseitin-formulas | elffers | unsat | empty | no | tseitingrid7x160_shuffled-sc2016.cnf.xz | anni_2022,main_2019,main_2023 |
| 4e64ffc14db014d5591f40865376c32a | b936cd9610d4b72152a10fa0f7b0ecba | satcoin | chung | unsat | http://hdl.handle.net/10138/563824 | no | satcoin-genesis-UNSAT-7200.cnf.xz | main_2023,submissions_2023 |
| 4f38f4b005cc54122135c8c21aec4b85 | 97fc05a23506c39056a43496f9d98cca | interval-matching | gao | unsat | http://hdl.handle.net/10138/563824 | no | intervals7.cnf.xz | main_2023,submissions_2023 |
| 4fd2e4e6ecb4fe8d3f9e1fda81633469 | ba60d1dc47ca2132b8d68b0ce0d3718d | brent-equations | karia | sat | http://hdl.handle.net/10138/563824 | no | brent_69_0.05.cnf.xz | main_2023,submissions_2023 |
| 4fdcf4248a332c1c9a89d37439c879a9 | 0f54f9ce60f0039335f3c9364ccc0740 | or_randxor | yldirimoglu | unsat | http://hdl.handle.net/10138/563824 | no | or_randxor_k3_n520_m520.cnf.xz | main_2023,submissions_2023 |
| 4fe42891b004d7425631a8edb4252d3f | e7a319ce63b2f6a7f47fcd2e1aa45182 | cryptography-simon | zhang | sat | http://hdl.handle.net/10138/563824 | no | 32_0.cnf.xz | main_2023,submissions_2023 |
| 4ffb80a0ad8b753fee1492101ffcbdbb | 26c6fb311170ed57d037770ca1c84929 | reg-n | shuolinli | unsat | http://hdl.handle.net/10138/563824 | no | REGRandom-K4-L1-Seed5.cnf.xz | main_2023,submissions_2023 |
| 524848d379582b63060ed43d3729b9f3 | f439ecf9dc51c861d4b24c2e04b0000e | satcoin | chung | unsat | http://hdl.handle.net/10138/563824 | no | satcoin-genesis-UNSAT-19500.cnf.xz | main_2023,submissions_2023 |
| 52be8740aab896317320cd44a5d2af2f | 3f32bca8a45bc6966ca7524325816668 | interval-matching | gao | unsat | http://hdl.handle.net/10138/563824 | no | intervals753.cnf.xz | main_2023,submissions_2023 |
| 53799aafcd0c684a2adc79400bd35f82 | 2693665321cdb8805ac686e2170c9b2f | satcoin | chung | unsat | http://hdl.handle.net/10138/563824 | no | satcoin-genesis-UNSAT-5920.cnf.xz | main_2023,submissions_2023 |
| 5437ba8972228ea5531a69a9aa064acc | 512112cafc61e832b2a07cd7da7d4431 | satcoin | chung | unsat | http://hdl.handle.net/10138/563824 | no | satcoin-genesis-UNSAT-19800.cnf.xz | main_2023,submissions_2023 |
| 54ab5a53d2fdfcda16ec74768b29f901 | f251494eac08d6755ce8d20905fc4c8a | relativized-pigeon-hole | yldirimoglu | unsat | http://hdl.handle.net/10138/563824 | no | rphp_p30_r30.cnf.xz | main_2023,submissions_2023 |
| 558113ad4d50130351db8c426230a50f | ad55df7797c16e1e6845557ae0538bc4 | cryptography-ascon | manthey | unsat | http://hdl.handle.net/10138/563824 | no | asconhashv12_opt64_H9_M2-wNfQskE8G_m1_6_U0.c.cnf.xz | main_2023,submissions_2023 |
| 558ce551d2b933b7a5f1c7d2a6044930 | a6db407edf8066829da954b92e3e8df9 | register-allocation | green | unsat | http://hdl.handle.net/10138/563824 | no | collections_namedtuple_15.cnf.xz | main_2023,submissions_2023 |
| 571a2f223784fb92a53b4cc8cc8b569e | 1f6caef6b638f4dbb0f85208cdd11be9 | coloring | sabharwal | unsat | empty | yes | clqcolor-08-06-07.shuffled-as.sat05-1257.cnf.xz | anni_2022,crafted_2005,main_2023 |
| 578b5e6a2f0b295168cb6c5420810a72 | 95c9fe8aeefe3274ecdd1accd7f78a7a | pigeon-hole | reeves | unsat | http://hdl.handle.net/10138/563824 | no | php18-mixed-35percent-blocked.cnf.xz | main_2023,submissions_2023 |
| 578f9377bfbfcc6ea3a18eb630667956 | c364c7386889ac369587902d599acba9 | planning | maris | sat | empty | yes | ferry8_ks99i.renamed-as.sat05-4005.cnf.xz | anni_2022,industrial_2005,main_2023 |
| 57c305967b30c503da1737258e6cc7e5 | a2149325887cf09859796bfcc9b6df7c | miter | biere | unsat | https://helda.helsinki.fi/bitstream/handle/10138/306988/sr2019_proceedings.pdf#page=49 | no | 6s20-sc2013.cnf.xz | anni_2022,main_2019,main_2023 |
| 587150fb7b12a6b5dd7e4a9446b9713b | f07367ef5dfb011aaacfbd969dc69c4a | quasigroup-completion | sorge | sat | empty | yes | iso-ukn004.shuffled-as.sat05-3385.cnf.xz | anni_2022,crafted_2005,main_2023 |
| 5918f1624d4dfd964227356786a4e9ec | 26c3670e47d0aafcd38d86e5248f5c71 | social-golfer | mayer-eichberger | unknown | http://hdl.handle.net/10138/563824 | no | ContextModel_output_8_4_9.bul.dimacs.cnf.xz | main_2023,submissions_2023 |
| 5a72cb588bcda7b1b54a1eac6b19ab2e | b99f5140b44b4bc0b8537a774833fa31 | hashtable-safety | osama | unsat | http://hdl.handle.net/10138/563824 | no | hash_table_find_safety_size_23.cnf.xz | main_2023,submissions_2023 |
| 5b3d8a4465726adfcb58b9cdb1cc33f1 | caccadec5204ccfb96e6102ac3adf838 | interval-matching | gao | unsat | http://hdl.handle.net/10138/563824 | no | intervals222.cnf.xz | main_2023,submissions_2023 |
| 5dc5185101e1d439d14f0a04acfa9bfb | f2c5d87d3b592b03cbd6e6f082a11f9d | cryptography-simon | zhang | sat | http://hdl.handle.net/10138/563824 | no | 28_2.cnf.xz | main_2023,submissions_2023 |
| 5f6861053fb4ed4fc0b997cd6b505ef4 | 98d92ed9a914baf4730f24e8e479b741 | tseitin-formulas | yldirimoglu | unsat | http://hdl.handle.net/10138/563824 | no | tseitin_d3_n110000.cnf.xz | main_2023,submissions_2023 |
| 62c763bdf8d351b15df3a4d62a03eba0 | 253df80396599433426d45143375e67d | miter | biere | sat | empty | no | g2-ak128astepbg2asisc.cnf.xz | anni_2022,main_2017,main_2023 |
| 63159b6b10c3d6832bd5944e05d78b11 | 1423aa0d20fceee3a5f84eabef7d0760 | set-covering | zheng | sat | http://hdl.handle.net/10138/563824 | no | SCPC-700-80.cnf.xz | main_2023,submissions_2023 |
| 644fd765d26bd4a380922ccd0f594c58 | 584a6f4d63153fb6c76b95d18e829da0 | mutilated-chessboard | reeves | unsat | http://hdl.handle.net/10138/563824 | no | mchess18-mixed-25percent-blocked.cnf.xz | main_2023,submissions_2023 |
| 6549f23728c52d5319f30371ff709622 | 824d736dc36ac3eed5ef3d8495c390f3 | hashtable-safety | osama | unsat | http://hdl.handle.net/10138/563824 | no | hash_table_find_safety_size_27.cnf.xz | main_2023,submissions_2023 |
| 65b1e2253626af4a72b954f8186a5880 | c625c28de7c6f5c43328dad8715db2b7 | hashtable-safety | osama | unsat | http://hdl.handle.net/10138/563824 | no | hash_table_find_safety_size_10.cnf.xz | main_2023,submissions_2023 |
| 670a24d73dbadd3073e9604c6ef903d1 | 5122e27e2f909975f7af6fb3195356fb | tseitin-formulas | yldirimoglu | unsat | http://hdl.handle.net/10138/563824 | no | tseitin_grid_n260_m260.cnf.xz | main_2023,submissions_2023 |
| 67904554c73addf89fe675bd8e494641 | b3ae75d3eb0c074bbee9b0bcfbff3b33 | interval-matching | gao | unsat | http://hdl.handle.net/10138/563824 | no | intervals327.cnf.xz | main_2023,submissions_2023 |
| 67a5b7ccde980b37576b993c79e176b0 | 26689fd62691476b27c0f26980674cc6 | hashtable-safety | osama | unsat | http://hdl.handle.net/10138/563824 | no | hash_table_find_safety_size_22.cnf.xz | main_2023,submissions_2023 |
| 685d37e93ba26197925353e58026ae10 | 67aa30d697e528bc08fc4f1d7a2c1c98 | hashtable-safety | osama | unsat | http://hdl.handle.net/10138/563824 | no | hash_table_find_safety_size_12.cnf.xz | main_2023,submissions_2023 |
| 68649ac2830edad5d0dc7e3d13935132 | d31a9925b7fc80274546aa317473b662 | set-covering | zheng | sat | http://hdl.handle.net/10138/563824 | no | SCPC-800-46.cnf.xz | main_2023,submissions_2023 |
| 6aacae96461cb65176942b6dc88ea470 | 1d1ae706454c9352c8b6a92f70683b4f | mutilated-chessboard | reeves | unsat | http://hdl.handle.net/10138/563824 | no | mchess20-mixed-25percent-blocked.cnf.xz | main_2023,submissions_2023 |
| 6b2ccabf0304af478a558b8a333ced32 | 108e843787838350eb8c5d3869ddd21a | grs-fp-comm | fleury | unknown | http://hdl.handle.net/10138/563824 | no | grs-192-256.cnf.xz | main_2023,submissions_2023 |
| 6bb485770dbc3943ea84933a03131958 | 1c41639b06faf8f74c0398bbf5ad0229 | satcoin | chung | unsat | http://hdl.handle.net/10138/563824 | no | satcoin-genesis-UNSAT-18600.cnf.xz | main_2023,submissions_2023 |
| 6d67f76f114db9801952ed155e745e16 | 51fefdc61488048dce4632c0b4c5f58d | cryptography-simon | zhang | sat | http://hdl.handle.net/10138/563824 | no | 23_2.cnf.xz | main_2023,submissions_2023 |
| 6dca14e1af1795565d1e502ddc7d376b | bd972dd4af2a1f4b7c34127038bae16c | hashtable-safety | osama | unsat | http://hdl.handle.net/10138/563824 | no | hash_table_find_safety_size_15.cnf.xz | main_2023,submissions_2023 |
| 6e31e88a5dadaa3876eb5ff4293134c2 | 431d9e9eb0e652e26e0082b83bd4e7ce | hashtable-safety | osama | unsat | http://hdl.handle.net/10138/563824 | no | hash_table_find_safety_size_21.cnf.xz | main_2023,submissions_2023 |
| 6e5efd19744842d1fa5415173bffbf6b | 07436cf83924028589bf39c1901b72c9 | tseitin-formulas | yldirimoglu | unsat | http://hdl.handle.net/10138/563824 | no | tseitin_d3_n180000.cnf.xz | main_2023,submissions_2023 |
| 6e9cae5108bd423666c73aaace197769 | bfae098a8e6577c85f44e2f78769af2e | brent-equations | karia | sat | http://hdl.handle.net/10138/563824 | no | brent_51_0.28.cnf.xz | main_2023,submissions_2023 |
| 705f6075b27775e03daf6e8d781cb953 | 5f6206248d9698ebc0c0950c6b8191b9 | bitvector | kovasznai | unsat | empty | yes | shift1add.28943.cnf.xz | anni_2022,crafted_2013,main_2023 |
| 70af2c3bfd44bcf9baa2a9605f4a17fe | 003eb6ca9a800c3ad130e7fcfa4cf3c0 | quasigroup-completion | heule | unsat | empty | yes | gensys-icl002.shuffled-as.sat05-2714.cnf.xz | anni_2022,crafted_2005,main_2023 |
| 70ce0cff914efdc48f2a8fe86b5c68c6 | 9e7c25a1a5c2210702fb48fe00f4bd0d | social-golfer | mayer-eichberger | sat | http://hdl.handle.net/10138/563824 | no | TableModel_output_8_4_7.bul_.dimacs.cnf.xz | main_2023,submissions_2023 |
| 711ff7681711949f44b07a0d530dc729 | d7e2fe11fe1ff279f84dd9429259a93e | cryptography-ascon | manthey | unsat | http://hdl.handle.net/10138/563824 | no | asconhashv12_opt64_H12_M2-CxLJidFX21oI_m3_6_U2.c.cnf.xz | main_2023,submissions_2023 |
| 71270454196ae092b28d0a74300a85e1 | 1399d98ebabdae8a6e16b8505105b986 | coloring | heule | unsat | empty | no | Schur_161_5_d40.cnf.xz | anni_2022,crafted_2016,main_2023 |
| 71758ed7637888d4fd4593ec820677bc | 781f2d63129215e63d6cf77ca2bbb70a | set-covering | zheng | sat | http://hdl.handle.net/10138/563824 | no | SCPC-800-42.cnf.xz | main_2023,submissions_2023 |
| 71bca76153c6ee65b72a517fd658a42d | cebae1c62c221ec70edc5ba0015f5b70 | quasigroup-completion | sorge | sat | empty | yes | iso-brn100.shuffled-as.sat05-3025.cnf.xz | anni_2022,crafted_2005,main_2023 |
| 71cf538aa0751d27f144de9c8d82e458 | 796b3f2cda4dba073af34361ff88f489 | social-golfer | mayer-eichberger | unknown | http://hdl.handle.net/10138/563824 | no | TableModel_output_8_3_10.bul_.dimacs.cnf.xz | main_2023,submissions_2023 |
| 71dbf7ab78ef93c3d491c67752f03fd1 | a7f244d48e9c2e2e9bc2832b76c3ba40 | miter | jarvisalo | unsat | empty | yes | hwmcc10-timeframe-expansion-k45-nusmvguidancep9-tseitin.cnf.xz | anni_2022,main_2023,mus_2011 |
| 727cd7c528ac106f134cc882c9202108 | b9f7a1923530fc824c87fd9b49da9fa4 | hardware-verification | velev | unsat | empty | empty | 15pipe_q0_k.cnf.xz | anni_2022,application_2012,application_2014,main_2023 |
| 72b5ad031bf852634bc081f9da9a5a60 | 5af1026e37e10e0b08184f5ecf528b1c | register-allocation | green | unsat | http://hdl.handle.net/10138/563824 | no | GzipFile_close_11.cnf.xz | main_2023,submissions_2023 |
| 73063c6257a4ffc29f5bea7028403a64 | 7cd813be9d89f03e3114862f41a32d7f | tseitin-formulas | jarvisalo | sat | empty | no | mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf.xz | anni_2022,crafted_2005,crafted_2011,crafted_2012,main_2023,portfolio_2012 |
| 74931e82fd208ed949fa44bccd80df6b | 7f1304a2bd21fbf630626ee9ab1d96dd | subsumptiontest | nuttall | sat | http://hdl.handle.net/10138/563824 | no | DivS_862_11.cnf.sanitized.cnf.xz | main_2023,submissions_2023 |
| 751402d0738e5622b599c651283cb48a | 79f0f3d21871afe2652f84656a11897b | set-covering | zheng | sat | http://hdl.handle.net/10138/563824 | no | SCPC-800-43.cnf.xz | main_2023,submissions_2023 |
| 751afd7ddf8f242ed7bd93517ba82149 | c4dec0ebc46b404e35a9e1e1a92917ff | mutilated-chessboard | reeves | unsat | http://hdl.handle.net/10138/563824 | no | mchess20-mixed-45percent-blocked.cnf.xz | main_2023,submissions_2023 |
| 758f9ed67b4d2068c209157335e07266 | c7fc4123209b849824c25a31aa13850a | or_randxor | yldirimoglu | unsat | http://hdl.handle.net/10138/563824 | no | or_randxor_k3_n640_m640.cnf.xz | main_2023,submissions_2023 |
| 78d23f235b63b1b7f08eb1b6cfb03f34 | 27c7426134e660711fe534fa6aff5aa0 | cryptography-simon | zhang | sat | http://hdl.handle.net/10138/563824 | no | 29_1.cnf.xz | main_2023,submissions_2023 |
| 79391ed5a7f19b947cefe7af1178146a | b5fa146b79f61fcf7d61587f63316ca3 | cryptography-simon | zhang | sat | http://hdl.handle.net/10138/563824 | no | 21_1.cnf.xz | main_2023,submissions_2023 |
| 79c109a8c1da53c6b636d3835f11a19d | 872944e14a7c8a85fb5fb9dba7adb2b0 | grs-fp-comm | fleury | unsat | http://hdl.handle.net/10138/563824 | no | grs-64-32.cnf.xz | main_2023,submissions_2023 |
| 7aaf3275cbe217044ef305f0a1ca8eb5 | a75fdaddb634105e3572635bb92d225d | register-allocation | green | unsat | http://hdl.handle.net/10138/563824 | no | CNFPlus_from_fp_12.cnf.xz | main_2023,submissions_2023 |
| 7b4622a3ab523264378a560199de47ed | 34c9c3e60c1407d400b136d2e9f99117 | argumentation | niskanen | unsat | http://hdl.handle.net/10138/563824 | no | ER_400_20_4.apx_1_DC-ST.cnf.xz | main_2023,submissions_2023 |
| 7d58f2f0c79cbcad0496ced184ba0680 | 83698e225fa9afe0ebdb776b5dd7181d | social-golfer | mayer-eichberger | sat | http://hdl.handle.net/10138/563824 | no | TableSymModel_output_6_3_8.bul_.dimacs.cnf.xz | main_2023,submissions_2023 |
| 7dc81d3cb9066f8bc06ceffbca237572 | 2dc054cabbae5b827de27327856bf680 | social-golfer | mayer-eichberger | unknown | http://hdl.handle.net/10138/563824 | no | TableModel_output_7_3_9.bul_.dimacs.cnf.xz | main_2023,submissions_2023 |
| 81d2158d506ea1049708837460b9387e | 1481e2f5ba5040427423b9ddd50f8e76 | argumentation | niskanen | unsat | http://hdl.handle.net/10138/563824 | no | WS_400_24_70_10.apx_2_DC-AD.cnf.xz | main_2023,submissions_2023 |
| 824c21545e228872744675ae4ee32976 | 95d2551639738aa6c4b4cf4786a1ac54 | register-allocation | green | unsat | http://hdl.handle.net/10138/563824 | no | WCNFPlus_to_alien_14.cnf.xz | main_2023,submissions_2023 |
| 8252d67358381873e07bb637ad177b83 | 43e52c6ac051ee4f102c41f646a6ff6b | hashtable-safety | osama | unsat | http://hdl.handle.net/10138/563824 | no | hash_table_find_safety_size_16.cnf.xz | main_2023,submissions_2023 |
| 8270ae50e6f2881136868db6d3a88eee | 0530ef12a099a2d73dd75b90086f6a68 | argumentation | niskanen | unsat | http://hdl.handle.net/10138/563824 | no | WS_400_24_90_10.apx_2_DC-AD.cnf.xz | main_2023,submissions_2023 |
| 828e1066a477e98e8d834528df3fc874 | d7300c3e55bcfb10631a6fa5b27eff93 | or_randxor | yldirimoglu | unsat | http://hdl.handle.net/10138/563824 | no | or_randxor_k3_n560_m560.cnf.xz | main_2023,submissions_2023 |
| 82fe0a5b2467d6e5299c315da8b16ec5 | 4a4472b343ec8b6b1be22db252084e82 | brent-equations | karia | sat | http://hdl.handle.net/10138/563824 | no | brent_51_0.07.cnf.xz | main_2023,submissions_2023 |
| 835ac60ca83af6f334b64b61c4ad345b | 6cc15a30ba0b8374fe97f73960843c69 | tseitin-formulas | yldirimoglu | unsat | http://hdl.handle.net/10138/563824 | no | tseitin_d3_n160.cnf.xz | main_2023,submissions_2023 |
| 83cf6bfa7945b54e8c4ac659d1a4359e | ed2e9f462b8640619f14624033c6c617 | school-timetabling | tchinda | sat | http://hdl.handle.net/10138/563824 | no | SC23_Timetable_C_473_E_52_Cl_32_D_6_T_50.cnf.xz | main_2023,submissions_2023 |
| 8403d03df1ce64af3bf7581449d320fb | 483d2ed594a61b242f2db8d49fb2bbd4 | brent-equations | karia | sat | http://hdl.handle.net/10138/563824 | no | brent_63_0.26.cnf.xz | main_2023,submissions_2023 |
| 85240babab8083e1b381e2971d875ab8 | 85af6484d214d22eca8833f2d37a2434 | satcoin | chung | unsat | http://hdl.handle.net/10138/563824 | no | satcoin-genesis-UNSAT-17800.cnf.xz | main_2023,submissions_2023 |
| 8751f8d1570611ba079dfd862b14c514 | 763110c503ebd8a67cb4017d04b17ea6 | school-timetabling | tchinda | sat | http://hdl.handle.net/10138/563824 | no | SC23_Timetable_C_473_E_49_Cl_32_D_6_T_50.cnf.xz | main_2023,submissions_2023 |
| 87ec32f70c5e3a279e636f7f62e70a19 | bcdca1b1c356a97fceac2f985e16e42a | mutilated-chessboard | reeves | unsat | http://hdl.handle.net/10138/563824 | no | mchess22-mixed-45percent-blocked.cnf.xz | main_2023,submissions_2023 |
| 89120de895868a3fccd74f30f78a5448 | 36147bc8a8b1834df395a7522418579b | grs-fp-comm | fleury | unsat | http://hdl.handle.net/10138/563824 | no | grs-192-160.cnf.xz | main_2023,submissions_2023 |
| 8a7a61a63a718e4dc5aba5426b31c063 | 4b081c5efd57b2e0b7014212b1ee906f | satcoin | chung | unsat | http://hdl.handle.net/10138/563824 | no | satcoin-genesis-UNSAT-18400.cnf.xz | main_2023,submissions_2023 |
| 8ade10da9731ce31d103c1687ff40a3d | eb4fe11387e2bcdd5be8f1d65990d50e | brent-equations | karia | sat | http://hdl.handle.net/10138/563824 | no | brent_63_0.15.cnf.xz | main_2023,submissions_2023 |
| 8b797110ff321ee673eab1542069f192 | 5fee1bf2a7e58a025dbcf417bfe754f1 | social-golfer | mayer-eichberger | unknown | http://hdl.handle.net/10138/563824 | no | ContextModel_output_8_4_10.bul.dimacs.cnf.xz | main_2023,submissions_2023 |
| 8bcd3f3e269fa3c9516667b626d61602 | ce9ab58695d171d8e9dc0c6879e7b549 | social-golfer | mayer-eichberger | sat | http://hdl.handle.net/10138/563824 | no | TableSymModel_output_8_4_7.bul_.dimacs.cnf.xz | main_2023,submissions_2023 |
| 8c7477dc33a412514998a2fd6b32dbf5 | 25d498006b23408fdb4a8e3cc5c363be | interval-matching | gao | unsat | http://hdl.handle.net/10138/563824 | no | intervals855.cnf.xz | main_2023,submissions_2023 |
| 8cf6b81061285343c4f33c51afdb3fbb | 1723f434ddb0e05004ec2789b9798d45 | bitvector | unknown | unsat | empty | no | minxor128.cnf.xz | anni_2022,application_2009,application_2012,application_2013,application_2014,main_2023 |
| 8cfc8e99d31bcaf18ff3360b08c8521c | ef93f62b7e9209dcfbc188b4b9ca5ff1 | trigonometric-functions | hiller | unsat | http://hdl.handle.net/10138/563824 | no | sat-bench-trig-taylor6.cnf.xz | main_2023,submissions_2023 |
| 8d31ec9edeac705ffd1b23f0cc4f3256 | 83975b9f589f5071a4c998a87257aeb4 | social-golfer | mayer-eichberger | sat | http://hdl.handle.net/10138/563824 | no | ContextModel_output_7_3_9.bul_.dimacs.cnf.xz | main_2023,submissions_2023 |
| 8d458780fb74c28c01a5fe89990ad521 | 4808583477ee0a852fa4a55299ef3230 | mutilated-chessboard | reeves | unsat | http://hdl.handle.net/10138/563824 | no | mchess16-mixed-45percent-blocked.cnf.xz | main_2023,submissions_2023 |
| 8db36208fc6ce43b4002cf048c549b3f | 2ef1e7e60f5e84ac98e1aac3b9005c63 | argumentation | niskanen | unknown | http://hdl.handle.net/10138/563824 | no | WS_400_32_90_10.apx_1_DC-AD.cnf.xz | main_2023,submissions_2023 |
| 8e30bfdb721ca0a20031c79a76f9aa7c | 039223f3ea5163f320c4091169211793 | satcoin | chung | unsat | http://hdl.handle.net/10138/563824 | no | satcoin-genesis-UNSAT-18800.cnf.xz | main_2023,submissions_2023 |
| 8f7cd9fb4b8852fdf9a21c606724c71a | 07ae5262298dbd9597e1801c651a463d | satcoin | chung | unsat | http://hdl.handle.net/10138/563824 | no | satcoin-genesis-UNSAT-12300.cnf.xz | main_2023,submissions_2023 |
| 8fa526d20599ca8c3d613e9066d62e61 | db572322542e6560d3eca178823398c0 | trigonometric-functions | hiller | unsat | http://hdl.handle.net/10138/563824 | no | sat-bench-trig-taylor2.cnf.xz | main_2023,submissions_2023 |
| 8fcc57f6c75cb2ac48d19e3038ad3c6c | 1e0655b87525011aa58be4cbaf0154f4 | cryptography-ascon | manthey | unsat | http://hdl.handle.net/10138/563824 | no | asconhashv12_opt64_H6_M2-4XKSMr_m1_3_U25.c.cnf.xz | main_2023,submissions_2023 |
| 909f704d5f4127c1197a086705468624 | d2e11998ea017b7fcd97bd7b5fd187ea | rbsat | huang | sat | empty | yes | rbsat-v760c43649gyes10.cnf.xz | anni_2022,crafted_2009,crafted_2012,main_2023 |
| 911cbc796d15eb316d36c82c90fd7d11 | 8f07b4e1cb694675029d247be30bfc0b | fpga-routing | goldberg | sat | empty | yes | c499_gr_2pin_w6.shuffled.cnf.xz | anni_2022,industrial_2002,main_2023 |
| 91b88d172a08e2a57c189bddff51bfd5 | 2cab863ae5d1a4472ca63a7ba8b726e3 | cryptography-simon | zhang | sat | http://hdl.handle.net/10138/563824 | no | 22_1.cnf.xz | main_2023,submissions_2023 |
| 92387c29e87aa857e84feb301f3d6aff | fc685d6473be2847f5280087b740c265 | rbsat | huang | sat | empty | yes | rbsat-v760c43649gyes5.cnf.xz | anni_2022,crafted_2012,main_2023,portfolio_2012 |
| 92c17c00d862668de6e6c45d4eecdc75 | 6be32404276b93e94aaea668d9133f89 | cryptography | soos | sat | http://hdl.handle.net/10138/318754 | no | combined-crypto1-wff-seed-101-wffvars-500-cryptocplx-31-overlap-2.cnf.xz | anni_2022,main_2020,main_2023 |
| 92d6795785d35d1dcc42b15dc0e933d0 | ac29a834263adacb933811f66e90d9d9 | pebbling | sabharwal | unsat | empty | yes | grid-pbl-0150.shuffled-as.sat05-1347.shuffled-as.sat05-1347.cnf.xz | anni_2022,crafted_2005,main_2023 |
| 93a87994c03a7752f85d863239555d48 | 8a2984304b3bb1cde6a0a7465da1a9dc | profitable-robust-production | chowdhury | sat | http://hdl.handle.net/10138/563824 | no | PRP_30_35.cnf.xz | main_2023,submissions_2023 |
| 945d67baeb7860df648ab6ef4782d5ed | 3812d68863f9596733ff37e04c46c983 | argumentation | niskanen | sat | http://hdl.handle.net/10138/563824 | no | stb_792_333.apx_1_DS-ST.cnf.xz | main_2023,submissions_2023 |
| 953e9ff735bdf5ada27b0ab2b908b6af | 1cb1d1963a8af8f1c4ae9b936e2865bd | argumentation | niskanen | unsat | http://hdl.handle.net/10138/563824 | no | WS_400_24_70_10.apx_1_DC-ST.cnf.xz | main_2023,submissions_2023 |
| 9631e4082abf03e560b889c5715d3979 | c4fee54c99e51212fd802b6051897575 | profitable-robust-production | chowdhury | sat | http://hdl.handle.net/10138/563824 | no | PRP_30_41.cnf.xz | main_2023,submissions_2023 |
| 964162c1faee2c1e3a4dfa4f9c75c34f | 83dc3a217f173b64f994c4f99aad0217 | pigeon-hole | reeves | unknown | http://hdl.handle.net/10138/563824 | no | php18-mixed-15percent-blocked.cnf.xz | main_2023,submissions_2023 |
| 965ca988015c9aee5a1a7b2136c1fe5d | 0eb0b5c05472f1f65752375b79e40ab9 | register-allocation | green | unsat | http://hdl.handle.net/10138/563824 | no | os_fwalk_12.cnf.xz | main_2023,submissions_2023 |
| 96ae6bde39369f75aa975b0f5b74c325 | 4a56074a0df732ade76485d2db5095d2 | cryptography-ascon | manthey | sat | http://hdl.handle.net/10138/563824 | no | asconhashv12_opt64_H13_M2-NBRdIKEb8MS2W_m3_5.c.cnf.xz | main_2023,submissions_2023 |
| 96e01064ac3b644143278c21859e201f | eee842fb5be25bd080e05f2c731ab4fd | brent-equations | karia | sat | http://hdl.handle.net/10138/563824 | no | brent_51_0.29.cnf.xz | main_2023,submissions_2023 |
| 97a17306a2882e0fd1aa3981a267df0d | 2303128cd195e6cab7472467c496d56b | school-timetabling | tchinda | unknown | http://hdl.handle.net/10138/563824 | no | SC23_Timetable_C_473_E_46_Cl_32_D_6_T_50.cnf.xz | main_2023,submissions_2023 |
| 9811b95bfd5888014d27e6dd384ff502 | 3374c50063a3bbe35065af7c96108ae9 | argumentation | niskanen | unsat | http://hdl.handle.net/10138/563824 | no | WS_500_16_90_70.apx_2_DC-ST.cnf.xz | main_2023,submissions_2023 |
| 98c6da979a0a22d384d465a1da17111e | be25144f44b0de3da53b8cd04e4c6adb | profitable-robust-production | chowdhury | sat | http://hdl.handle.net/10138/563824 | no | PRP_100_250.cnf.xz | main_2023,submissions_2023 |
| 99d134de6323a845a2828596a48bbb1d | 53e92ca323565a34f78e3d2879917291 | pigeon-hole | reeves | unknown | http://hdl.handle.net/10138/563824 | no | php17-mixed-15percent-blocked.cnf.xz | main_2023,submissions_2023 |
| 9a413c250f82a93d513d4092ba654ee2 | 17ff9416705e2376008c72a420f5bf0c | cryptography-ascon | manthey | unsat | http://hdl.handle.net/10138/563824 | no | asconhashv12_opt64_H4_M2-ldRf_m1_2_U21.c.cnf.xz | main_2023,submissions_2023 |
| 9c7043290cee8127c3626d8067759267 | f9ecee2f858006f66703a437fff4b3bf | argumentation | niskanen | unsat | http://hdl.handle.net/10138/563824 | no | stb_531_83.apx_2_DC-AD.cnf.xz | main_2023,submissions_2023 |
| 9de6ddddf7fde06bf2efd955e2bd1a83 | 93278221750c99dda4d53f4b330e970f | set-covering | zheng | sat | http://hdl.handle.net/10138/563824 | no | SCPC-700-84.cnf.xz | main_2023,submissions_2023 |
| 9e18c079efdc17ceade5c7a330b507d2 | 137399ab294b97425511c36fbc3097f7 | school-timetabling | tchinda | sat | http://hdl.handle.net/10138/563824 | no | SC23_Timetable_C_474_E_50_Cl_32_D_6_T_50.cnf.xz | main_2023,submissions_2023 |
| 9e7f2b92c6e46d03ddcafd798aa80cb6 | 707f235d605dc0fa589c56481e21c827 | hashtable-safety | osama | unsat | http://hdl.handle.net/10138/563824 | no | hash_table_find_safety_size_17.cnf.xz | main_2023,submissions_2023 |
| 9f3ef12b5b68f92eb9265721ea73bb03 | 78b50e0247a1a6832c8ac6c4870de48a | cryptography-ascon | manthey | sat | http://hdl.handle.net/10138/563824 | no | asconhashv12_opt64_H9_M2-Jdds95CIv_m1_5.c.cnf.xz | main_2023,submissions_2023 |
| 9fe43145e48a0ef0096bb72531f1a0e3 | 611619105d2953f1da10d251fe6ea8d6 | cryptography-simon | zhang | sat | http://hdl.handle.net/10138/563824 | no | 16_1.cnf.xz | main_2023,submissions_2023 |
| a09a2d7397732447bdcc9651973767b7 | 2661ac4ca6572ebc3227604f00526c6f | social-golfer | mayer-eichberger | sat | http://hdl.handle.net/10138/563824 | no | TableSymModel_output_6_5_6.bul_.dimacs.cnf.xz | main_2023,submissions_2023 |
| a0c7aea176b5a2b65c27c8af7039326b | 30aa6bfe80b550a15862bfbf470ae773 | grs-fp-comm | fleury | unsat | http://hdl.handle.net/10138/563824 | no | grs-160-64.cnf.xz | main_2023,submissions_2023 |
| a1276d5dcb822aa03806df58fa9ca1c8 | 5219f36ff6098ff0709a988668ad9ec3 | grs-fp-comm | fleury | unsat | http://hdl.handle.net/10138/563824 | no | grs-128-32.cnf.xz | main_2023,submissions_2023 |
| a18b6fbdfee43c007e07dedf15477797 | fce4ec3db5872d96ec6f0755fcce265b | set-covering | zheng | sat | http://hdl.handle.net/10138/563824 | no | SCPC-700-86.cnf.xz | main_2023,submissions_2023 |
| a292411f3f563a47c05a78f8295163dc | 02dea2a7f8b17650479bc1d2caa5baf7 | hashtable-safety | osama | unsat | http://hdl.handle.net/10138/563824 | no | hash_table_find_safety_size_26.cnf.xz | main_2023,submissions_2023 |
| a45b60e53917968f922b97c6f8aa8db3 | 7c6db933a975b35efc9cf435a0235244 | coloring | sabharwal | unsat | empty | no | unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf.xz | anni_2022,crafted_2007,crafted_2009,crafted_2012,main_2023,portfolio_2012 |
| a4941208671f6ebfd118e4e563538c31 | a693a3c0eafbcdb90e1a8c85840437b0 | set-covering | zheng | sat | http://hdl.handle.net/10138/563824 | no | SCPC-1000-20.cnf.xz | main_2023,submissions_2023 |
| a4b05fbc5be28207b704e1fae4b7c8a0 | b0918603e6f6f8b836aaffca54217d14 | register-allocation | green | unsat | http://hdl.handle.net/10138/563824 | no | FileObject_open_12.cnf.xz | main_2023,submissions_2023 |
| a552a058e6376a36b1f1b2724f228364 | 379f78fe6520295e2bfcdc749de7a654 | hardware-verification | ibm | unsat | empty | no | IBM_FV_2004_rule_batch_1_31_1_SAT_dat.k40.debugged.cnf.xz | anni_2022,application_2012,application_2014,main_2023,main_2024 |
| a64f3c1afd7e0f6165efbe9fc2fc8003 | 1fac3892a191b13e2a03310bebc065be | long-learned-clauses | markstrom | unsat | empty | no | pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf.xz | anni_2022,crafted_2007,crafted_2009,crafted_2012,crafted_2013,main_2023 |
| a6d7268b35eec18656a85ad91b0413e9 | 682be023381f309ff7d49d9d4f8bc3a4 | pigeon-hole | reeves | unsat | http://hdl.handle.net/10138/563824 | no | php17-mixed-35percent-blocked.cnf.xz | main_2023,submissions_2023 |
| a7a9ca7e06b6b1e979950ea96183d07d | 38e67c27a7cf2e62a8249b5ca0e28b9b | rooks | manthey | unsat | http://hdl.handle.net/10138/135571 | no | rook-47-0-1.cnf.xz | anni_2022,crafted_2014,main_2023 |
| a7bbcc6535cca5a37f015f29090e8797 | 3e411e36b81c89ac3fe5cbc3b95479ee | grs-fp-comm | fleury | unsat | http://hdl.handle.net/10138/563824 | no | grs-48-256.cnf.xz | main_2023,submissions_2023 |
| a811388cc92def6ef2d639dc062d456c | 2ac641e4f48241f24963e83769cb0dcb | social-golfer | mayer-eichberger | sat | http://hdl.handle.net/10138/563824 | no | ContextModel_output_6_3_8.bul_.dimacs.cnf.xz | main_2023,submissions_2023 |
| a83665715cf54e10f6d5382b97fd909c | bf4c13cc5e4bb14baab77f6ce80e6700 | profitable-robust-production | chowdhury | sat | http://hdl.handle.net/10138/563824 | no | PRP_100_400.cnf.xz | main_2023,submissions_2023 |
| a8dc92a9c0434576b47c82c94ab5c446 | 2cd7c8813c910c0e5b34fa5529730ed9 | cryptography | zaikin | unsat | https://helda.helsinki.fi/bitstream/handle/10138/306988/sr2019_proceedings.pdf#page=50 | no | Grain_no_init_ver1_out200_known_last105_0_u.cnf.xz | anni_2022,main_2019,main_2023 |
| a8dcaf436bda091dad9ca1ff58de7287 | 2cf5d2720b0dc32e74c1b86e579279bf | cryptography-ascon | manthey | unsat | http://hdl.handle.net/10138/563824 | no | asconhashv12_opt64_H10_M2-BPHqhzNzqi_m5_6_U14.c.cnf.xz | main_2023,submissions_2023 |
| a931fb0e1490883ee7719eab96ed558a | c3e6ee0ada2dbd6f3144dccfc6da422b | cril-misc | frioux | unsat | empty | no | T87.2.0.cnf.xz | anni_2022,main_2018,main_2023 |
| a98d77ba9d3fbe8b7c55cbf75b2b43a8 | 7cc312cae4bdf1906bbb4408ae961308 | social-golfer | mayer-eichberger | unknown | http://hdl.handle.net/10138/563824 | no | TableModel_output_6_3_8.bul_.dimacs.cnf.xz | main_2023,submissions_2023 |
| a9d081cbb33e6051be2512f2a2269d65 | be8b9f3160cbdca3d4e5af7b4c7e9b2b | hashtable-safety | osama | unsat | http://hdl.handle.net/10138/563824 | no | hash_table_find_safety_size_20.cnf.xz | main_2023,submissions_2023 |
| aa0d6b8c63f57956b9aed350f38e0571 | 026abe07cec12e9f6b315f3590705176 | interval-matching | gao | unsat | http://hdl.handle.net/10138/563824 | no | intervals244.cnf.xz | main_2023,submissions_2023 |
| aa4a861240c0c39b5aa44602133ae5e1 | 442ddb3c7dd6c6a1b4ed2e98682237d2 | argumentation | niskanen | unsat | http://hdl.handle.net/10138/563824 | no | stb_418_125.apx_2_DC-ST.cnf.xz | main_2023,submissions_2023 |
| abe802007c9aed4eab2e758fb130174b | f47e0c12f756b067c6c6cace532407db | crafted-cec | klieber | unsat | https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=39 | no | mp1-klieber2017s-1600-022-eq.cnf.xz | anni_2022,main_2017,main_2023 |
| accf33a84bdf211bebbd2111fb7f6b91 | ff23a5c1d6dcdb8ca72a3b6d99d3228e | subsumptiontest | nuttall | sat | http://hdl.handle.net/10138/563824 | no | DivS_942_11.cnf.sanitized.cnf.xz | main_2023,submissions_2023 |
| ad69e0a0880cd377e26260f7e4bc6d51 | 2a96310f13c4edf5ed6a4afc906a52f0 | cril-misc | frioux | unsat | empty | no | g2-T49.2.0.cnf.xz | anni_2022,main_2017,main_2023,main_2025 |
| ae7e391be73431e5dddf2bbafe95758a | 230affbff6c7d78b158fd071793d29f7 | argumentation | niskanen | unsat | http://hdl.handle.net/10138/563824 | no | WS_400_24_70_10.apx_2_DC-ST.cnf.xz | main_2023,submissions_2023 |
| ae9522ea003ea9f75891b2d37a5e264b | e647ecc9c8de8fe89907f1563d05b9c9 | subgraph-isomorphism | anton | sat | empty | no | srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf.xz | anni_2022,crafted_2011,crafted_2012,main_2023,main_2024 |
| ae9b7950ef1513068bb9339893ec8c50 | f2b3bb47fc312de36b1cd206bc6988c4 | register-allocation | green | unsat | http://hdl.handle.net/10138/563824 | no | WCNF_to_alien_14.cnf.xz | main_2023,submissions_2023 |
| af1e84bc2ab44d87d1c4c0cbf9e601c5 | 1edcf92a40918300460abb85e6f94299 | register-allocation | green | unsat | http://hdl.handle.net/10138/563824 | no | posixpath_expanduser_14.cnf.xz | main_2023,submissions_2023 |
| af3d5273605b21b9d4c56dd46cbf366a | efc7bd1f42961e2ffee0654e7e50eba4 | set-covering | zheng | sat | http://hdl.handle.net/10138/563824 | no | SCPC-700-82.cnf.xz | main_2023,submissions_2023 |
| af5838e83024d2dee3942be8d8e35fec | f12678a59216d3224734378094479e2f | social-golfer | mayer-eichberger | unknown | http://hdl.handle.net/10138/563824 | no | TableModel_output_8_4_8.bul_.dimacs.cnf.xz | main_2023,submissions_2023 |
| b09585f2346c207e9e14a3daf0de46cf | 8e845c31302d3d5ebd2530cf3500f162 | register-allocation | green | unsat | http://hdl.handle.net/10138/563824 | no | CNF_to_alien_11.cnf.xz | main_2023,submissions_2023 |
| b157aeb75aec9158fed9e16d7fd2da57 | a148b3952a2ead2830574796a7a26129 | social-golfer | mayer-eichberger | sat | http://hdl.handle.net/10138/563824 | no | ContextModel_output_6_4_6.bul_.dimacs.cnf.xz | main_2023,submissions_2023 |
| b2145c28dbed385329ea73a06d9c519a | 1ad19bc4980721ee145f9bb3b4cc12d6 | register-allocation | green | unsat | http://hdl.handle.net/10138/563824 | no | LZMAFile___init___14.cnf.xz | main_2023,submissions_2023 |
| b3840e295097a13e6697fff6be813eeb | c147295a91c24cf3b6fa9be80eaef6a3 | pigeon-hole | reeves | unknown | http://hdl.handle.net/10138/563824 | no | php16-mixed-15percent-blocked.cnf.xz | main_2023,submissions_2023 |
| b44611ea7852dd30215cc1cb09e1ab79 | ecc2a4418ee509d87e72fd5b8db6b65a | profitable-robust-production | chowdhury | sat | http://hdl.handle.net/10138/563824 | no | PRP_30_39.cnf.xz | main_2023,submissions_2023 |
| b5b1803491a265b02d595c1fb62d5991 | 988a11afbbb1ab5d1d76f13f521b3d80 | interval-matching | gao | unsat | http://hdl.handle.net/10138/563824 | no | intervals802.cnf.xz | main_2023,submissions_2023 |
| b5cede38496a803dcfa155a5f4295c47 | f8d1b1cf2ac67faaf81035a0e2587295 | school-timetabling | tchinda | sat | http://hdl.handle.net/10138/563824 | no | SC23_Timetable_C_476_E_50_Cl_32_D_6_T_50.cnf.xz | main_2023,submissions_2023 |
| b6c44ccb3174b7f0a69185b11de86cfa | 858b21414a562f6dcc3c17fb9fc121ab | grs-fp-comm | fleury | unsat | http://hdl.handle.net/10138/563824 | no | grs-128-64.cnf.xz | main_2023,submissions_2023 |
| b6c6f1081dbb672e8294685d03326b09 | 58e4fd9ef7b5e47f6f0befaf25018f13 | interval-matching | gao | unsat | http://hdl.handle.net/10138/563824 | no | intervals80.cnf.xz | main_2023,submissions_2023 |
| b86f2425cafeb1239d65bd529e372e02 | 18486d53c450ec133c485b87b23477d4 | argumentation | niskanen | unknown | http://hdl.handle.net/10138/563824 | no | ER_500_10_1.apx_1_DC-AD.cnf.xz | main_2023,submissions_2023 |
| bab57c8799cb05c8c1757c60d4ebdefd | 1e14d8287a547d24cf40e79c3d18b34d | satcoin | chung | unsat | http://hdl.handle.net/10138/563824 | no | satcoin-genesis-UNSAT-17400.cnf.xz | main_2023,submissions_2023 |
| bb8042839130ce5597c358c1955706ff | fcd9342bc8d837996a21befc105dead5 | hashtable-safety | osama | unsat | http://hdl.handle.net/10138/563824 | no | hash_table_find_safety_size_30.cnf.xz | main_2023,submissions_2023 |
| bbf800109d039e117ed60593c185692c | 49a47bfe054eea27bf46608803509bc7 | argumentation | niskanen | unknown | http://hdl.handle.net/10138/563824 | no | ER_500_10_2.apx_1_DS-ST.cnf.xz | main_2023,submissions_2023 |
| bc3a8bd47c5575c2f1b31882d28ee091 | 1b7a94ddc9b20b5cb3e814dcfffae0b6 | cryptography-simon | zhang | sat | http://hdl.handle.net/10138/563824 | no | 26_1.cnf.xz | main_2023,submissions_2023 |
| bc7dc7a83b442a2bf4cf8cae3f0e0faa | e0a34cf4952cc4597a81b2bea301b514 | hashtable-safety | osama | unsat | http://hdl.handle.net/10138/563824 | no | hash_table_find_safety_size_18.cnf.xz | main_2023,submissions_2023 |
| bca01a49805df3399a0438191019e417 | d9e369fd848047e6917186b4daf13d26 | set-covering | zheng | sat | http://hdl.handle.net/10138/563824 | no | SCPC-700-87.cnf.xz | main_2023,submissions_2023 |
| bcd753d08904860fa93a794557185e04 | 9c939f7beb39ada02b921c5686fb2500 | school-timetabling | tchinda | sat | http://hdl.handle.net/10138/563824 | no | SC23_Timetable_C_488_E_50_Cl_33_D_6_T_50.cnf.xz | main_2023,submissions_2023 |
| bd0b055b890a9ace598a0c4aba40de30 | b6f0b46d85aca7002427631e81f96b22 | trigonometric-functions | hiller | unsat | http://hdl.handle.net/10138/563824 | no | sat-bench-trig-bhaskara.cnf.xz | main_2023,submissions_2023 |
| bdc85226a8d910a8b7d6a8730c7a4572 | f6bc1d5a314a979b7bc41e8f983a2e0b | profitable-robust-production | chowdhury | sat | http://hdl.handle.net/10138/563824 | no | PRP_40_40.cnf.xz | main_2023,submissions_2023 |
| be5c82b97513a31e0b3bcc1c231018ad | 1e98368288e525c0fb680cb4b1c12219 | cryptography-ascon | manthey | unsat | http://hdl.handle.net/10138/563824 | no | asconhashv12_opt64_H15_M2-kwhXs2juqFoKAYA_m12_13_U16.c.cnf.xz | main_2023,submissions_2023 |
| c0069efa0c924e416878d9426f1ef92e | 2be658e4ba412798f2355c73c8a9df1d | set-covering | zheng | sat | http://hdl.handle.net/10138/563824 | no | SCPC-900-29.cnf.xz | main_2023,submissions_2023 |
| c115ebeec47bb82fa7f9850a632ec94a | 0e6de39cab132652b88132de8bcbc65f | brent-equations | karia | sat | http://hdl.handle.net/10138/563824 | no | brent_71_0.25.cnf.xz | main_2023,submissions_2023 |
| c1324a6876269ee93890e266fe214557 | ee18746bf9596c06767acbed26e343e1 | set-covering | zheng | sat | http://hdl.handle.net/10138/563824 | no | SCPC-800-50.cnf.xz | main_2023,submissions_2023 |
| c1b5c3d1016de7baeb0ddb3a2ab2d891 | 2516a60b34f2cbc9a9af54718a49cc77 | set-covering | zheng | sat | http://hdl.handle.net/10138/563824 | no | SCPC-900-27.cnf.xz | main_2023,submissions_2023 |
| c32f194ad850c944142c74514dfb3c5f | 39a59f8f27d774cde616848eb40ee039 | register-allocation | green | unsat | http://hdl.handle.net/10138/563824 | no | WCNFPlus_from_fp_13.cnf.xz | main_2023,submissions_2023 |
| c40838cb3ed9babe51dc41185e70a3dd | fb5b5db7c79b0c651ca0ade823c5a8d7 | hashtable-safety | osama | unsat | http://hdl.handle.net/10138/563824 | no | hash_table_find_safety_size_11.cnf.xz | main_2023,submissions_2023 |
| c7bf3517f47d583ae567de3db3708969 | 5be7cbb728886bed819f23c3a0b32cc8 | risc-instruction-removal-subrv | fleury | unknown | http://hdl.handle.net/10138/563824 | no | oisc-subrv-and-nested-14.cnf.xz | main_2023,submissions_2023 |
| c9af5b23c87350f5d817acc9ca7b69bb | 2418702bcbbbd7de6a3be5a180ab8b90 | register-allocation | green | unsat | http://hdl.handle.net/10138/563824 | no | CNF_to_alien_12.cnf.xz | main_2023,submissions_2023 |
| c9f7ca549a6773bea4628e2c66f597c6 | 9bd27b58dd4823ceaeaf175dad282861 | brent-equations | karia | sat | http://hdl.handle.net/10138/563824 | no | brent_51_0.17.cnf.xz | main_2023,submissions_2023 |
| caead0e04b6de4365822b25dfd55967f | 7056c0d4f268e8955dd5445335d2e413 | cryptography | shaw | sat | http://hdl.handle.net/10138/318754 | no | preimage_80r_490m_160h_seed_150.cnf.xz | anni_2022,main_2020,main_2023 |
| cbd0933002d6c4ea99ceb47bb0c3f4c9 | dc4c10922552a80db0152c7cbe0d61a9 | edge-matching | heule | sat | empty | no | em_11_3_4_cmp.cnf.xz | anni_2022,crafted_2009,crafted_2011,crafted_2012,main_2023,main_2025 |
| cd118ff851f95661b2a3adfc3e393c74 | a5e2acd91128716e255037a4f6cde0b8 | coloring | heule | sat | empty | no | Schur_160_5_d34.cnf.xz | anni_2022,crafted_2016,main_2023 |
| cd58fa8eba4046fd0a86642e1fe26cb9 | e50d52e396b38823b3ddfbeae7963ad6 | interval-matching | gao | unsat | http://hdl.handle.net/10138/563824 | no | intervals803.cnf.xz | main_2023,submissions_2023 |
| cd86fbfd8b7e0d66ec5fe8fe85c014d3 | f87a78ea200e114e22e35c07f01e394a | mutilated-chessboard | reeves | unsat | http://hdl.handle.net/10138/563824 | no | mchess22-mixed-35percent-blocked.cnf.xz | main_2023,submissions_2023 |
| cdd131110acc861a5a01fae6c4936c91 | 1f50d29c58657fb62efa3e9470226427 | coloring | oostema | sat | https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=68 | no | 6g_6color_366_050_04.cnf.xz | anni_2022,main_2020,main_2023,main_2024,main_2025 |
| ce49f590c98885f7ac95567f2b1e7dd5 | 618566aa569eb9b1469f8cc7d8030a5b | coloring | heule | sat | https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=66 | no | CNP-5-1100.cnf.xz | anni_2022,main_2018,main_2023 |
| cea96962ebd736646af54d950943d909 | e05a6cc375e322b3c61ed4f251380bcd | set-covering | zheng | sat | http://hdl.handle.net/10138/563824 | no | SCPC-800-41.cnf.xz | main_2023,submissions_2023 |
| cfc53adcc8ed18ca161bb6f8bc02b237 | 9fd9edb69440588732ed7d4bf5f4e93d | cryptography-ascon | manthey | unsat | http://hdl.handle.net/10138/563824 | no | asconhashv12_opt64_H7_M2-gHvzZOd_m3_4_U11.c.cnf.xz | main_2023,submissions_2023 |
| d0364ea3e1680c6da7e982e6b0264af6 | caa8a19f74d6bb5e19b79aeaa69ed7d4 | subgraph-isomorphism | anton | sat | empty | no | new-difficult-26-243-24-70.cnf.xz | anni_2022,crafted_2009,crafted_2012,main_2023 |
| d0fe6bf914469ca51675bac9078a2c0b | 869270e418b15e59d843804d8201bea7 | cryptography-ascon | manthey | sat | http://hdl.handle.net/10138/563824 | no | asconhashv12_opt64_H10_M2-pH7B6T6Vub_m6_7.c.cnf.xz | main_2023,submissions_2023 |
| d17aa530bbd09452b0f32daf4ab9c8f0 | 3aa9c8dd2977b03c8cf27e19b89e9e3b | pigeon-hole | biere | unsat | empty | no | tph8.cnf.xz | anni_2022,crafted_2013,main_2023 |
| d1a62a8688c6c4fabd0dec3770ce40dd | 5ae64548a0e8aee0074f163fb86866d4 | quasigroup-completion | gomes | sat | empty | yes | qwh.40.560.shuffled-as.sat03-1654.cnf.xz | anni_2022,handmade_2003,main_2023 |
| d1f4348ad66cae01386777daae51c024 | 3a5dfa2bf02f1265df4e3f070bd8df1f | hardware-verification | unknown | unsat | empty | no | eqspctbk14spwtcl14.cnf.xz | anni_2022,main_2019,main_2023 |
| d3529338d35aa27e8024932d3b5f64b5 | 1a9937ab8f6ae895d7e71ad6f150c6ab | profitable-robust-production | chowdhury | sat | http://hdl.handle.net/10138/563824 | no | PRP_20_50.cnf.xz | main_2023,submissions_2023 |
| d3daba681653ea969bedf0c4a2fdb947 | 23ad4d41ccd9c8bd49a4f1547b30a214 | argumentation | niskanen | unsat | http://hdl.handle.net/10138/563824 | no | ER_400_20_7.apx_1_DC-ST.cnf.xz | main_2023,submissions_2023 |
| d46c3fc9e953d4f84e8a18e52e29e7b7 | 2e36b72f71ce4b4b050ca0ef3001ec97 | profitable-robust-production | chowdhury | sat | http://hdl.handle.net/10138/563824 | no | PRP_100_350.cnf.xz | main_2023,submissions_2023 |
| d5efaaee0197822c2676e45bac5068b2 | bff567547b450504df6e6d8cbba9f325 | school-timetabling | tchinda | sat | http://hdl.handle.net/10138/563824 | no | SC23_Timetable_C_484_E_50_Cl_33_D_6_T_50.cnf.xz | main_2023,submissions_2023 |
| d60f56735dc8e89d7d91a01f4340df0c | 3bdce6cb014ee7fb53b7968a28bbb79d | baseball-lineup | hickey | unsat | http://hdl.handle.net/10138/318754 | no | baseballcover13with25_and3positions.cnf.xz | anni_2022,main_2020,main_2023 |
| d6402b482a5dc102a5b09360689e2be8 | dfba3ef39b16438d848a220f5161f75f | ensemble-computation | jarvisalo | unsat | empty | no | jkkk-one-one-11-32-unsat.cnf.xz | anni_2022,crafted_2012,main_2023,portfolio_2012 |
| d66ab8bce1b8979dbd26b3c220e817be | c3cddb13d477cc8a7d76edabad92eff8 | profitable-robust-production | chowdhury | sat | http://hdl.handle.net/10138/563824 | no | PRP_200_100.cnf.xz | main_2023,submissions_2023 |
| d7f381cd99ca40ba3324c8cc03a54269 | dc7c414a6ccffb5c5bbe703907983140 | mutilated-chessboard | reeves | unsat | http://hdl.handle.net/10138/563824 | no | mchess16-mixed-25percent-blocked.cnf.xz | main_2023,submissions_2023 |
| d84a89fb1bc1ff37dc4737867257b290 | 8328e880812779b949072925fedd5b13 | set-covering | zheng | sat | http://hdl.handle.net/10138/563824 | no | SCPC-800-49.cnf.xz | main_2023,submissions_2023 |
| d89718e39ff99638c2882b47988120cd | ed468f142449614840ab4d8757235824 | brent-equations | karia | sat | http://hdl.handle.net/10138/563824 | no | brent_63_0.1.cnf.xz | main_2023,submissions_2023 |
| d89f0a7a08f9b60579b26b01e2196394 | 888ab9e1dc0b3c8181dd7daa80696b37 | interval-matching | gao | unsat | http://hdl.handle.net/10138/563824 | no | intervals467.cnf.xz | main_2023,submissions_2023 |
| d8f131a86243ef138af39abf52a479e5 | dcb00dcc74afa3922d44ed03bab42702 | school-timetabling | tchinda | sat | http://hdl.handle.net/10138/563824 | no | SC23_Timetable_C_481_E_51_Cl_32_D_6_T_50.cnf.xz | main_2023,submissions_2023 |
| d8fa4265b93d0931ba6484e3cc0d7ab1 | 5801808ef29538a849d6eb1252900f30 | brent-equations | karia | unsat | http://hdl.handle.net/10138/563824 | no | brent_13_0.1.cnf.xz | main_2023,submissions_2023 |
| da43a3ef0ef5d34143e765d480dedc7a | 5fdb59d3621d331e564ee1dbe7b2797a | subsumptiontest | nuttall | unsat | http://hdl.handle.net/10138/563824 | no | DivU_624_11.cnf.sanitized.cnf.xz | main_2023,submissions_2023 |
| db4a0d4ba26c46d66ad6cdcb0645a4d9 | 0885d3cb23b75841cb702c02f12315ce | argumentation | niskanen | unsat | http://hdl.handle.net/10138/563824 | no | WS_500_16_70_10.apx_2_DC-ST.cnf.xz | main_2023,submissions_2023 |
| dbe18c99e95ac42816b99b96d36a8732 | 775ce77204302af5d01e623c666327cc | grs-fp-comm | fleury | unsat | http://hdl.handle.net/10138/563824 | no | grs-32-256.cnf.xz | main_2023,submissions_2023 |
| dd169198070f9aa35015de65e8209a05 | 78cc98cf3adbca3cd25b2633313a66fd | register-allocation | green | unsat | http://hdl.handle.net/10138/563824 | no | LZMAFile_write_12.cnf.xz | main_2023,submissions_2023 |
| dd6ef995af0267ce71076250a1226801 | ebc674ba1ccce3452394422fbaad73b8 | interval-matching | gao | unsat | http://hdl.handle.net/10138/563824 | no | intervals313.cnf.xz | main_2023,submissions_2023 |
| ddd3b43476c18cf483aac233d4dc1c68 | 8a912aa03ef2cca2a383cfff5e5aa02f | profitable-robust-production | chowdhury | sat | http://hdl.handle.net/10138/563824 | no | PRP_20_40.cnf.xz | main_2023,submissions_2023 |
| deef4e5f8bf88393cea9589dff97d70c | 3a554786d69973e8f9f00c67ce64f7cc | social-golfer | mayer-eichberger | sat | http://hdl.handle.net/10138/563824 | no | ContextModel_output_8_4_8.bul_.dimacs.cnf.xz | main_2023,submissions_2023 |
| df237594dc22b8f7cad2c4b38a23e40c | 8c6e053ef769093c6b5c7227af03b498 | cryptography-simon | zhang | sat | http://hdl.handle.net/10138/563824 | no | 17_0.cnf.xz | main_2023,submissions_2023 |
| e444548857eaf649c4624e3494c89c8e | 5e6a3c62092a7aad06a46d10d39437fb | cryptography-ascon | manthey | unsat | http://hdl.handle.net/10138/563824 | no | asconhashv12_opt64_H8_M2-bL4cM6NJ_m4_5_U14.c.cnf.xz | main_2023,submissions_2023 |
| e46bdd62b3789b64f7fbb3bd6c99484e | 08b9dd8670288779b70d4b7df2cb03b5 | interval-matching | gao | unsat | http://hdl.handle.net/10138/563824 | no | intervals727.cnf.xz | main_2023,submissions_2023 |
| e51a98d78f61103e0672579e87cfd7e5 | 7007292dd89ded429743eeb07bfd2a6d | satcoin | chung | unsat | http://hdl.handle.net/10138/563824 | no | satcoin-genesis-UNSAT-11400.cnf.xz | main_2023,submissions_2023 |
| e5a72ac8f4880702a4deacc7854318e8 | 30b8789b1e5ed79a583ec59cf1b805d3 | hashtable-safety | osama | unsat | http://hdl.handle.net/10138/563824 | no | hash_table_find_safety_size_19.cnf.xz | main_2023,submissions_2023 |
| e6d247292b525447a220323901842e4c | b517fff7bc5801a1a988ece6c1bf6d2c | or_randxor | yldirimoglu | unsat | http://hdl.handle.net/10138/563824 | no | or_randxor_k3_n540_m540.cnf.xz | main_2023,submissions_2023 |
| e966bddd11e46b735f8520f8304e368e | 61e421f7949c394d056df265bca635cb | school-timetabling | tchinda | sat | http://hdl.handle.net/10138/563824 | no | SC23_Timetable_C_483_E_50_Cl_33_D_6_T_50.cnf.xz | main_2023,submissions_2023 |
| ea5b47b3ffb3b8cb77a2cff83cc1ffba | 2ed157b114826066a3ac96ab2a5c1794 | profitable-robust-production | chowdhury | sat | http://hdl.handle.net/10138/563824 | no | PRP_100_500.cnf.xz | main_2023,submissions_2023 |
| eaf2f0803dd2045f1b189ee834ef0c8f | 070634fe0448d6be7635f9caff789d0b | relativized-pigeon-hole | yldirimoglu | unsat | http://hdl.handle.net/10138/563824 | no | rphp_p8_r250.cnf.xz | main_2023,submissions_2023 |
| eca3692344e30ae83a49158b5baf3372 | 41f19599af0eae103cea1a69f2ed2dd8 | brent-equations | karia | sat | http://hdl.handle.net/10138/563824 | no | brent_65_0.1.cnf.xz | main_2023,submissions_2023 |
| ed76b075cdf07435c6e4f6203dd10cb7 | 5e215a6f4bc37b10c1064dfb8d4e0866 | set-covering | zheng | sat | http://hdl.handle.net/10138/563824 | no | SCPC-700-88.cnf.xz | main_2023,submissions_2023 |
| eec821f866557886a5b0352332943fa2 | ef9985e3b9b6787f7a3e907347db710a | set-covering | zheng | sat | http://hdl.handle.net/10138/563824 | no | SCPC-700-81.cnf.xz | main_2023,submissions_2023 |
| eecdcc36d35f06224cc972cbb08de804 | 5c159b7ac867d67665ca8713570fff0b | set-covering | zheng | sat | http://hdl.handle.net/10138/563824 | no | SCPC-1000-18.cnf.xz | main_2023,submissions_2023 |
| f02379d63678798e38dcc52b043cc51d | 8a8af56c189ad152db98afd49e633b37 | cryptography-ascon | manthey | sat | http://hdl.handle.net/10138/563824 | no | asconhashv12_opt64_H13_M2-axxJh7DAq767y_m4_5.c.cnf.xz | main_2023,submissions_2023 |
| f0895a5904fb97278b7b54733ee1dabb | ba7c39f13842b17bf7ae727751db8abb | brent-equations | karia | sat | http://hdl.handle.net/10138/563824 | no | brent_63_0.22.cnf.xz | main_2023,submissions_2023 |
| f08b3567642ea029452fff2c1d10c132 | f743d2166e1996c8cc0b026c526483f7 | brent-equations | karia | unsat | http://hdl.handle.net/10138/563824 | no | brent_15_0.25.cnf.xz | main_2023,submissions_2023 |
| f090d0d6eaff3b92c817f5db6fa47544 | ec64bfd4fc52a42c30591179eda98248 | interval-matching | gao | unsat | http://hdl.handle.net/10138/563824 | no | intervals718.cnf.xz | main_2023,submissions_2023 |
| f20c2aa0f9cced05a74031e0a3afaa1a | 02b8417ce0bce7673320b3b845de2afc | school-timetabling | tchinda | sat | http://hdl.handle.net/10138/563824 | no | SC23_Timetable_C_473_E_50_Cl_32_D_6_T_50.cnf.xz | main_2023,submissions_2023 |
| f26f199564d6ffac7e700c2e66470ec0 | 0617d57aad0836d5dd113216633482c5 | social-golfer | mayer-eichberger | sat | http://hdl.handle.net/10138/563824 | no | TableSymModel_output_6_4_6.bul_.dimacs.cnf.xz | main_2023,submissions_2023 |
| f35ed23733431177436a1e7797c07dfe | 7cc158a9748c611b7ed8c97f82f8b727 | set-covering | zheng | sat | http://hdl.handle.net/10138/563824 | no | SCPC-900-31.cnf.xz | main_2023,submissions_2023 |
| f4064d73fd6e69caf154046e61fea7b8 | bcac7356261dc1f6f1c014181b25a066 | coloring-clique | yldirimoglu | unsat | http://hdl.handle.net/10138/563824 | no | cliquecoloring_n18_k7_c6.cnf.xz | main_2023,submissions_2023 |
| f448874997bae64bd455fb00309dc738 | 2f46d1e646927cbf511550fcb2acd3e6 | cryptography-ascon | manthey | sat | http://hdl.handle.net/10138/563824 | no | asconhashv12_opt64_H7_M2-OrF8zEw_m2_4.c.cnf.xz | main_2023,submissions_2023 |
| f55acea8f0d207becbbbd26a11d97841 | 1c60f880db25ae7861cb737a56691f17 | grs-fp-comm | fleury | unsat | http://hdl.handle.net/10138/563824 | no | grs-48-160.cnf.xz | main_2023,submissions_2023 |
| f57aba96bfed8f8a8b860eba1a8f1ea5 | 4131e8462ba091c61548f738942cde53 | social-golfer | mayer-eichberger | unknown | http://hdl.handle.net/10138/563824 | no | TableModel_output_6_4_6.bul_.dimacs.cnf.xz | main_2023,submissions_2023 |
| f88afbcd8b4c29a8c1b3518caa4e949c | 5ca2cd18b8336446d4089572037a2009 | coloring-clique | yldirimoglu | unsat | http://hdl.handle.net/10138/563824 | no | cliquecoloring_n16_k7_c6.cnf.xz | main_2023,submissions_2023 |
| f959755d7c68ea8b64d900e589fbe21f | 12e7c9a105466581debd68aab29e1b38 | cryptography | fuhs | sat | empty | no | g2-slp-synthesis-aes-top29.cnf.xz,slp-synthesis-aes-top29.cnf.xz | anni_2022,application_2011,application_2014,main_2017,main_2023 |
| fab0db1ab0dd5baa3215aab51ab69355 | 077c0cb9e1ae7127d54cc19fe75fced7 | brent-equations | karia | sat | http://hdl.handle.net/10138/563824 | no | brent_63_0.2.cnf.xz | main_2023,submissions_2023 |
| faeb113864d97ea4cb3f01f95d2fe92f | 7ebf0c2a0ef4900262d2e3e794a578d1 | set-covering | zheng | sat | http://hdl.handle.net/10138/563824 | no | SCPC-800-44.cnf.xz | main_2023,submissions_2023 |
| fb5d0254bc4b8d258eb84ea1dbcdda13 | 77eddf3e6063f83de83ad2f71a7d3565 | mutilated-chessboard | reeves | unsat | http://hdl.handle.net/10138/563824 | no | mchess22-mixed-25percent-blocked.cnf.xz | main_2023,submissions_2023 |
| fd1fbc1b090c14746a883b3a17259743 | 6aa791eca2721ae7d020c0efab0dd39a | hardware-verification | simon | unsat | empty | yes | 9vliw_bp_mc.shuffled.cnf.xz | anni_2022,handmade_2002,main_2023 |
| fd2af7622798171f23a4b8d2616df55e | dfe9343b9003e370aacfd0298d2e5bac | register-allocation | green | unsat | http://hdl.handle.net/10138/563824 | no | StreamReader_readline_13.cnf.xz | main_2023,submissions_2023 |
| fdc5aa7c150fd1c49ad3b50433277528 | b74a296b5205dcbb8abf45edf7a2d0d8 | profitable-robust-production | chowdhury | sat | http://hdl.handle.net/10138/563824 | no | PRP_100_300.cnf.xz | main_2023,submissions_2023 |
| fdfcd52a21824b7181d66672f283ba04 | ef7740c3be938870337c955f743a5c8d | parity-games | friedmann | sat | empty | yes | instance_n6_i6_pp_ci_ce.cnf.xz | anni_2022,crafted_2009,crafted_2012,main_2023 |
| fe19a31b76cbba5901e16ce36c7578ed | ea2c4cb5dcaafd17fc5f4ff6d5fc2195 | product-configuration | marques-silva | unsat | empty | yes | C208_FA_UT_3254.cnf.xz | anni_2022,main_2023,mus_2011 |
| fe8b1ef742724947620a419d0180a640 | e739d2980b41b29e18f1d0b738cab406 | mutilated-chessboard | reeves | unsat | http://hdl.handle.net/10138/563824 | no | mchess18-mixed-35percent-blocked.cnf.xz | main_2023,submissions_2023 |
| fee70cede2b5b55bfbdb6e48fbe7ce4f | 787f942a17807b7a446b08537df882ba | influence-maximization | kochemazov | sat | http://hdl.handle.net/10138/318754 | no | DLTM_twitter690_74_16.cnf.xz | anni_2022,main_2020,main_2022,main_2023 |
| ff5170c690129f8c94658e82b6aab05c | a38abc67ef64449cc46666c3b832d01e | tseitin-formulas | simon | unsat | empty | no | Urquhart-s5-b4.shuffled.cnf.xz | anni_2022,handmade_2002,main_2023 |
| ff867fd35aa52058382a8b0c21cd1f38 | 94fdb589dff71e7bbedc723e4c39921b | mutilated-chessboard | reeves | unsat | http://hdl.handle.net/10138/563824 | no | mchess20-mixed-35percent-blocked.cnf.xz | main_2023,submissions_2023 |
