GBD-Logo
Select a context
Select a context-specific database

Query for Instances

Quickstart
  • Query for Instances: Simple queries are constraints of the form "feature operator value", e.g., track=main_2024. More complex queries can be formulated as specified in our SAT 2024 paper.
  • Download Instances: The file track_main_2023.uri contains the download links for the selected instances. Use it to download the instances, e.g., with wget like this
    wget --content-disposition -i track_main_2023.uri.
  • Download the selected database: meta
hash isohash family author result proceedings minisat1m isohash2 filename track
004b0f451f7d96f6a572e9e76360f51a 8614f82909dc0eaab513724a4ecf9835 cellular-automata chowdhury unsat http://hdl.handle.net/10138/333647 no fef712ef604d13c2 spg_420_280.cnf.xz anni_2022,main_2021,main_2022,main_2023
008e7716c69009090ff6bd0048dc55f8 be2f6ade7fb483507373d03afa16dca9 hardware-verification ibm unsat empty no a716dd2f2627094b SAT_dat.k10.cnf.xz anni_2022,application_2012,main_2023
00a981f385cd209d41e1efa1f5f29bac cec04e06ad991983108fe7ed0cd92fea hardware-verification ibm sat empty yes a1b54d9181fb1575 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 400a428fd1561d65 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 7e9dc3ae4016b393 25_2.cnf.xz main_2023,submissions_2023
00f2eb377986e7decbc863931680a3b2 58ea2da369f461984afb6767e0e5da33 miter goldberg unsat empty yes 713b878abed86b28 rand_net70-40-10.shuffled.cnf.xz anni_2022,industrial_2002,main_2023
00f4aca773e5675f35263dcd46b15bde 755e0e8a5bdf16181846015a7838e346 cryptography grieu sat empty no a63ea69d417b19f5 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 da647d39e3fb1dce multiplier_14bits__miter_14.cnf.xz main_2023,submissions_2023
0191a0bf3412ed407ba669f8d69081ee 88513f91fafb488773e76f74778f7fee planning surynek sat empty no b7512dc9865fe3c2 mrpp_6x6#18_20.cnf.xz anni_2022,crafted_2013,main_2023
01966a0fc52b2200a13f5f835275a919 5a9dd00cd47caff7e82d76b201b10ba9 subgraph-isomorphism anton unsat empty no 673d8ed11c4380ca 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 e9eda8ebc7e95a30 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 5397ce6a7eb987a8 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 2163e12f6746605d mrpp_4x4#12_12.cnf.xz anni_2022,main_2015,main_2023,main_2024
028d0cc7af63e9bba5795f20e24db4f6 60d9b7ee8c58b2f8f6ad4273aa7311bd prime-factoring pyhala sat empty yes 2c9b51d046d37f3f 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 76f201fde5b3bef7 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 no 947f097c95c294ea 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 a58e5062db7fe849 mod4block_2vars_10gates_u2_autoenc-sc2009.cnf.xz anni_2022,main_2019,main_2023
036b541db9d0839b0591d408ff4f77ae 10c77f9954952ffea054702504054e58 cryptography-cbmc post unsat empty no 6ae3b236550836f3 aes_decry_2_rounds.debugged.cnf.xz anni_2022,application_2012,crypto_2021,main_2023,portfolio_2012
037c423f56548082b1935e88c48ffdda c609561d95e240d1b7e3112b71458bea coloring pehoushek sat empty yes f31fe803a1ab084e 3col120_5_2.shuffled.cnf.xz anni_2022,handmade_2002,main_2023
037d21e060a2e3eab8b080aa84ceee75 b021796f7c7ac5990b981f36e13dcf10 matrix-multiplication markstrom sat empty yes 397cb255d0a0d0c0 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 1f2293fd8384611f satch2ways16w.cnf.xz anni_2022,main_2021,main_2023
03de316ba1e90305471a3b8620cb9cd7 81c4937178ec57855aed167d7f2892b9 subgraph-isomorphism anton sat empty yes eb29969a532b123e 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 8a7815d29e390221 php15-mixed-15percent-blocked.cnf.xz main_2023,submissions_2023
06b138e8a6da806e88ac7da2919cef30 607426441c443d85ee2bdc68a5c02d7d grs-fp-comm fleury unsat http://hdl.handle.net/10138/563824 no 0d2344c526a55d79 grs-192-32.cnf.xz main_2023,submissions_2023
075ca0a158690a55b7254d9aaee2e103 9018522e33a7249a04e2026a45e55a44 cryptography-ascon manthey unsat http://hdl.handle.net/10138/563824 no 37fdca4b5af3a323 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 eb00c87dc5b073b2 multiplier_13bits__miter_15.cnf.xz main_2023,submissions_2023
08455b2e1e6fda910989f0481a20f1c3 bce64650c8d76302962b2ac9e58d4276 hashtable-safety osama unsat http://hdl.handle.net/10138/563824 yes 9907fdc5e4c6575e 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 9cdeee3e1ad35520 PRP_100_150.cnf.xz main_2023,submissions_2023
0945c95ba9b82c32d12fc9d9e5229c5a f8ca694410c40c12d6505ee0c7ac6c93 school-timetabling tchinda unknown http://hdl.handle.net/10138/563824 no 8eb29a93ac70b60f 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 1c8f2e6b692b701d 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 c8d8ab5e61228e89 REGRandom-K4-L3-Seed15.cnf.xz main_2023,submissions_2023
0a279c478775cdeede51ad431aebf200 2f9660fac5fc5945ce47c776634ecb58 cryptography-simon zhang sat http://hdl.handle.net/10138/563824 no a86ba39137042099 24_0.cnf.xz main_2023,submissions_2023
0a4ed112f2cdc0a524976a15d1821097 0ef7e4f1d8b07a21d286ebefce1502ec coloring-clique yldirimoglu unsat http://hdl.handle.net/10138/563824 no b87a9d82fd7ee2ad cliquecoloring_n12_k9_c8.cnf.xz main_2023,submissions_2023
0ae0c5a4fb9001d63669a0aa5b592167 44a8cb8fc36f50ecccc79711eb135380 miter xindi unsat http://hdl.handle.net/10138/563824 no 00b1188dcf787a15 multiplier_16bits__miter_19.cnf.xz main_2023,submissions_2023
0be1e12a8e7282d1a4e389bb90f6dbc7 e00905575ce250f56ba9b1a7fcf2c281 or_randxor yldirimoglu unsat http://hdl.handle.net/10138/563824 no c6db7912fbb278c5 or_randxor_k3_n600_m600.cnf.xz main_2023,main_2026,submissions_2023
0c9da400944b002f90fd385d4fdab385 f1b7072876c4dacb6484714b5221c75c subsumptiontest nuttall sat http://hdl.handle.net/10138/563824 no c94c0b159a77a2a6 DivS_568_11.cnf.sanitized.cnf.xz main_2023,main_2026,submissions_2023
0d3e99a07b6a6b67ac59d706c0af9d68 5e7cbfe222fe574799ec1ba19b22736c grs-fp-comm fleury unsat http://hdl.handle.net/10138/563824 no e352d0287378e5c4 grs-32-160.cnf.xz main_2023,submissions_2023
0eb98926b26343d31954169dfbde2b24 c1b95fa7786a5fbbbe843a27d0d66a14 satcoin chung unsat http://hdl.handle.net/10138/563824 no 80aa6e7903f0ae46 satcoin-genesis-UNSAT-11900.cnf.xz main_2023,submissions_2023
0ef0d91d378eab41ba6fb9dfc9b87fc8 eeab75710e401b9a4fa1beaf99e7cb76 trigonometric-functions hiller unsat http://hdl.handle.net/10138/563824 no 944a3443b4cef9d9 sat-bench-trig-taylor4.cnf.xz main_2023,submissions_2023
10196804504080e7107809a2e5b3bfcc 110c172c555d13e95934fac08a23a48f social-golfer mayer-eichberger sat http://hdl.handle.net/10138/563824 no 26c668484b1b1ce7 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 a3557e6d4986653f mchess16-mixed-35percent-blocked.cnf.xz main_2023,submissions_2023
1153a473e1d5dd21ccd33189d594a4aa 4de8c61d1647a8fe56445f7bb15082da tseitin-formulas yldirimoglu unsat http://hdl.handle.net/10138/563824 no 51b7bafce4d9d653 tseitin_d3_n10000.cnf.xz main_2023,submissions_2023
11db226d109e82f93aaa3b2604173ff9 5aeace6a3fcbc6ff0e4234c301043a6c register-allocation green unsat http://hdl.handle.net/10138/563824 no 90db43127a5cc42e posixpath__joinrealpath_13.cnf.xz main_2023,submissions_2023
14a5ff0d6213dcfe182ec656764bbdfb 08ca6a00beb2e1f7398cf96ff5020727 satcoin chung unsat http://hdl.handle.net/10138/563824 no 597767bcf5fd9034 satcoin-genesis-UNSAT-9080.cnf.xz main_2023,submissions_2023
150b5f8cac40bb4e0fcbdd65c3c04701 ad5f0617ef7877d8af86579e7297873d profitable-robust-production chowdhury unknown http://hdl.handle.net/10138/563824 no 28cce0b501c6f9ff PRP_100_550.cnf.xz main_2023,submissions_2023
15a2ec07aaca45d454a2fbfc0624e75e bac030d4ce03ae5cbea775683ead00f0 hashtable-safety osama unsat http://hdl.handle.net/10138/563824 no f00df5de9ab2d1cf 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 385f4bbd7079bec1 18_1.cnf.xz main_2023,submissions_2023
17039a3ed02ea12653ec5389e56dab50 1fbeb8a1d102d125ccb43f6579e0d4d8 pebbling sabharwal unsat empty yes 810dc84a6e43df32 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 a61ddfa42e13783f 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 42b2b55a2edcf6f1 intervals122.cnf.xz main_2023,submissions_2023
189e5991b041a89700513106988e720d f99ccb26e9016d653647cd0fd123550d relativized-pigeon-hole yldirimoglu unsat http://hdl.handle.net/10138/563824 no 5c10af191d686d5d rphp_p20_r20.cnf.xz main_2023,submissions_2023
18babbd2835b8a37c6299f8b0301c7c9 71198ba4b14a95f472081d25945be8fa brent-equations karia sat http://hdl.handle.net/10138/563824 no 9e6f54dfb4b1dc2e brent_67_0.05.cnf.xz main_2023,submissions_2023
19004c7d629f7e6e83c6e1d7a9a768a9 04f9a4ee384419eed87bbb3358130483 miter biere unsat empty no c8edd83ed07cd275 6s166.cnf.xz anni_2022,application_2013,main_2023
1932e1e8f0c78372759909e45a19ecc7 bde74a7458d922c1ad218222b0c90548 brent-equations karia sat http://hdl.handle.net/10138/563824 no 87caaf8436251794 brent_69_0.3.cnf.xz main_2023,submissions_2023
19c6a29181bee2f3aa03bfb5c5d693d0 0d061d3b6d67a97bb53df13c35c8e2c2 brent-equations karia unsat http://hdl.handle.net/10138/563824 no c525d05393e4e03c brent_9_0.cnf.xz main_2023,submissions_2023
1a20649a8c79d6675d934cec271d573f 3db6277a7d91765e3bbfce5db5b08c70 tseitin-formulas yldirimoglu unsat http://hdl.handle.net/10138/563824 no 55a088712fe31bcb tseitin_grid_n100_m100.cnf.xz main_2023,submissions_2023
1a40d2d8c589799a0d267cae03fcd4c5 8e670bce702df52544a4b83b3be8f664 set-covering zheng sat http://hdl.handle.net/10138/563824 no 7867381dff644ae8 SCPC-800-40.cnf.xz main_2023,submissions_2023
1a63072b90f88c7fa621b5041f412b79 f059efd324dbd8780fba5864bf555ff3 cryptography-ascon manthey unsat http://hdl.handle.net/10138/563824 no 3be1b5ad02b4023c asconhashv12_opt64_H8_M2-nm2vUdkK_m3_5_U3.c.cnf.xz main_2023,submissions_2023
1a6a635f5b959e191ec705b2f236568a 6fc37630b163e1a5ef129d7ad8a2aabf bitvector manthey unsat empty yes d3652e13e54050af square.2.0.i.smt2-cvc4.cnf.xz anni_2022,application_2016,main_2023
1aa7cd96ab1f7bf58984deccf8362ab4 c20b89cec4db67897bf0bf2ee59088d1 miter goldberg unsat empty yes 109c47fff7f78c20 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 c77a4a79a247fd83 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 5bf154d34423b91e PRP_30_37.cnf.xz main_2023,submissions_2023
1ce81dbba1292bf791e194b17aa2a219 b012253e9399c4f41d77d37aaa992ab0 test-configuration biere unsat http://hdl.handle.net/10138/333647 no 16cd24232406e929 satch2ways15u.cnf.xz anni_2022,main_2021,main_2023
1d1af993697599892804df5878d58979 8f19e02837e95ae14d8dd9cf5900ed25 brent-equations karia sat http://hdl.handle.net/10138/563824 no 8cc9dc03dcac0d07 brent_69_0.cnf.xz main_2023,submissions_2023
1d42a7c3616ce163e292340cfcd34f97 8b295f31e754bf53d8c4487a9e2a1e63 profitable-robust-production chowdhury sat http://hdl.handle.net/10138/563824 no b8fac94394512341 PRP_100_600.cnf.xz main_2023,submissions_2023
1ea7fe95e6158afe11f7b795b9aac939 a0758fc914145983a97252d4376c9da4 reg-n shuolinli unknown http://hdl.handle.net/10138/563824 no b65eafb523ca1d57 REGRandom-K4-L4-Seed10.cnf.xz main_2023,submissions_2023
1eea3d913d346b900252d77fc0cb25c8 c0c913442dcbb100ed1fb39cf075590f minimal-disagreement-parity simon sat empty no 414c4f7244f07d9f par32-4.shuffled.cnf.xz anni_2022,handmade_2002,main_2023,main_2026
1f215812371f0c428eb1f1e51f9f23d7 8428d583d83f67ba73286ca5aff6820a cryptography-simon zhang sat http://hdl.handle.net/10138/563824 no 9f3da5b2b648cfee 20_2.cnf.xz main_2023,submissions_2023
1f6cf91464c6a19022144774b162a3cc 370b80a943166f1983f212a1913917ae argumentation niskanen unsat http://hdl.handle.net/10138/563824 no 9b1fb485de74da85 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 74226b2dd0ad469b 27_1.cnf.xz main_2023,submissions_2023
20cae5fe475d571da703f89d5da4bb8f fb4b79ea9274468738800c4cc15c1929 grs-fp-comm fleury unsat http://hdl.handle.net/10138/563824 no 96d143206bd8b1a3 grs-96-32.cnf.xz main_2023,submissions_2023
211938776d92f11870a687abd11d55a4 a79f40c2566dfd14d2414ad27515c54d quasigroup-completion sorge unsat empty yes 6eeef6830bfab99f 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 5203c4b23bbc5943 satcoin-genesis-UNSAT-10600.cnf.xz main_2023,submissions_2023
21bde0ebb111c637a1ae8789827b0b73 0a9f1ed661705f7290b1844529449278 register-allocation green unsat http://hdl.handle.net/10138/563824 no e7791971bb73e4d8 WCNF_from_fp_13.cnf.xz main_2023,submissions_2023
220bb8aa093e502c47afcdac3140d67c bd86eed3c49101c2c1a1b541dac8fa34 cryptography grieu sat empty yes 868409744a8b26be 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 92100fc748dadd5c intervals961.cnf.xz main_2023,submissions_2023
23c4e178c94c0dff82ea6c87abed7ecc a8ffa72447ebbe142522557fe4c7cc06 relativized-pigeon-hole yldirimoglu unsat http://hdl.handle.net/10138/563824 no 693c689935e6a46f rphp_p60_r60.cnf.xz main_2023,submissions_2023
246afd75cb97a21144f368c00252a656 2c3254f175d7dbdfe4fdb323771b123f register-allocation green unsat http://hdl.handle.net/10138/563824 no c600135645a0698d BZ2File_write_11.cnf.xz main_2023,submissions_2023
24b93d0bf941e4b050c9109e4cb7faf4 87132653ddbe53218e1a57ec4b620b1d generic-csp connamacher sat empty yes ffcc78107b5a52b5 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 2f675466de38db16 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 737a72707e3b0950 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 f12a6426b56a84f7 asconhashv12_opt64_H9_M2-LSGb5PgEM_m2_7.c.cnf.xz main_2023,submissions_2023
26114429758a203d651f4df87c94de4c 4b9000fa10e4d1b27480eecce38ea234 sgen spence unsat empty no 6908415c1833885d 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 92ecab1f61435f00 intervals788.cnf.xz main_2023,submissions_2023
2722f39c27dc45a989bb52761ed52e50 5374ef9c6014d78ea2afc9a12850aa4f cryptography-simon zhang sat http://hdl.handle.net/10138/563824 no 497eb73629606f79 31_1.cnf.xz main_2023,submissions_2023
275d36e3f246990dccd094e5e1442ba9 1e229b6204e3dda99b911b0d190f6d3a argumentation niskanen unknown http://hdl.handle.net/10138/563824 no b100c632ede4b71b WS_500_32_50_10.apx_2_DC-AD.cnf.xz main_2023,submissions_2023
27b4fe4cb0b4e2fd8327209ca5ff352c 6f2a04073e16e32a28c0e618b812829f theorem-proving vangelder unsat empty yes d9e5fddfff065ece grid_10_20.shuffled.cnf.xz anni_2022,handmade_2002,main_2023
28857e681fc6a9077d5a7d0e9c7a19ad 24252264963c9a6b904b313f63467a32 hashtable-safety osama unsat http://hdl.handle.net/10138/563824 yes 6be7c44fb37f8710 hash_table_find_safety_size_14.cnf.xz main_2023,submissions_2023
28e45a3e488ddac73b6116cc6f3e67e0 3a779af4d7aa655cd7b486df7b2e8a68 cril-misc frioux unsat empty yes 2fd9dce3d95002ae g2-T99.2.0.cnf.xz anni_2022,main_2017,main_2023
28f29fe949422ec88892e18073de065c c12dfcea819502173774201b9a20363f coloring pehoushek unsat empty yes 30581d84881fde47 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 46d046217926be68 REGRandom-K4-L2-Seed20.cnf.xz main_2023,submissions_2023
291c2b4fa2d8b009cd2a8331891ba667 88d402971e4d912af3b959d3c0cf8084 profitable-robust-production chowdhury sat http://hdl.handle.net/10138/563824 no 0ee2c683bb0e3aa3 PRP_30_40.cnf.xz main_2023,submissions_2023
29505dfcf090c4cfdfb59268160be81d 49d51a369f2fba91035908a9c7ce63a0 hashtable-safety osama unsat http://hdl.handle.net/10138/563824 no 67d655ed0075ff4b hash_table_find_safety_size_24.cnf.xz main_2023,submissions_2023
29bab0de14e56e526be9683131005cb2 4b75ad5c6c25abfae1238c85308d790e argumentation niskanen sat http://hdl.handle.net/10138/563824 no 862dc39e41fd233d 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 ebe843ccebcd3cd0 spg_200_307.cnf.xz anni_2022,main_2021,main_2023
2a144840047376cee3b7b99455158976 2bd9f4b38329594b65828efb5430ef68 miter goldberg unsat empty no 42777c19c929f1fe 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 07f53bcb86a6be75 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 f0802df776ca6dbe 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 f05029efe4b187b5 SC23_Timetable_C_481_E_50_Cl_32_D_6_T_50.cnf.xz main_2023,main_2026,submissions_2023
2c9dc96b7a8b0410e64dd33f7e00a0c1 10730b0033ce584adfe880b1f70ac0d2 cryptography-simon zhang sat http://hdl.handle.net/10138/563824 no fa006acadd5620cf 30_2.cnf.xz main_2023,submissions_2023
2d0c041c0fe72dc32527bfbf34f63e61 7f8b8eeb26095b7f790838711b64271c hgen guanfeng sat http://hdl.handle.net/10138/318754 no 76c8a4b3947c3ccf 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 6daa5ef7605d4f6c 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 60160ab2e69ccac0 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 db3bd695d7e59ab2 grs-192-48.cnf.xz main_2023,submissions_2023
303ba61141150f84b0d8b44839df59fd b16445417a0de651491adc02c39760c1 reg-n shuolinli unsat http://hdl.handle.net/10138/563824 no d4b1df3eeda62535 REGRandom-K3-L3-Seed10.cnf.xz main_2023,submissions_2023
30e680ded3b9be6be0b5baac273f2646 94e45d434a922d1540366964184649ed cryptography-ascon manthey unsat http://hdl.handle.net/10138/563824 no 5eb7419e797462c0 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 bd570cde5faed970 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 2f3c58ddeb755a4f 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 04ab4ca7fd5ec745 PRP_100_450.cnf.xz main_2023,submissions_2023
33bcf82677b7fdacf18dd48892596a1d cb78f26231d60ebc248000750c79aa79 scheduling konan sat empty no 952cc060264e9180 TimetableCNFEncoding_20_UNKNOWN.cnf.xz anni_2022,main_2018,main_2023
33cfa309d10e1d4fe30f1302807f42ce d025bb08dd263542e0309c6d8cc1f8e1 school-timetabling tchinda sat http://hdl.handle.net/10138/563824 no 2d5b90cb9b6dae92 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 96290e7eac774a4e grs-64-160.cnf.xz main_2023,submissions_2023
34e5fd58b65bf305cc773f0dbfb47917 fc25f9ae685841ded193de141a1b519c interval-matching gao unsat http://hdl.handle.net/10138/563824 no 7a384ee273bba9de intervals553.cnf.xz main_2023,submissions_2023
358fa8d20aa467c7e9b9bf34f73d1dc9 aca04b800c24ef6094fe07c6256dc8a5 unknown zhou sat empty yes 12f3ccc350e069b2 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 d41aff45bdf765a6 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 c9bcb1e5c6fb76f9 satcoin-genesis-UNSAT-9880.cnf.xz main_2023,submissions_2023
3663000b31a5c80922afc6e48322accb 1d6a7e213089957d161a05bb6ad13336 miter biere unsat empty no c2c1fce49719d88c 6s165.cnf.xz anni_2022,application_2013,main_2023
36c342091848d5d6a1a8eeb3a8b49b86 92c8f2f3a700c88ca57f44b488451ce9 planning maris sat empty yes a6b1954cf599b7ec rovers1_ks99i.renamed-as.sat05-3971.cnf.xz anni_2022,application_2011,industrial_2005,main_2023
3728fe50d8038c639c2d9c84e04fe2b1 4644945b798f1b01a1d152d4e4f9316f prime-factoring unknown sat empty no 970ebc8049984d85 46bits_11.dimacs.cnf.xz anni_2022,main_2015,main_2023
37d40a1092b58ad28285b9453872d211 dfa7a2619533fd580897deb10d6962e4 register-allocation green unsat http://hdl.handle.net/10138/563824 no b261de3dcf2b3422 DecompressReader_read_12.cnf.xz main_2023,submissions_2023
385a678ba820d79c6fb5f497adaf32ec 7b89e3a3cef92018ff4f4d7133bb8399 grs-fp-comm fleury unsat http://hdl.handle.net/10138/563824 no 47df5c60894704ab grs-48-128.cnf.xz main_2023,submissions_2023
385e2c7010a419a9bd47b9258c9d2903 7e8f5c50282ee942ffc8cd0421dda680 tseitin-formulas yldirimoglu unsat http://hdl.handle.net/10138/563824 no 98489aa8e96bc34e tseitin_d3_n200.cnf.xz main_2023,submissions_2023
38833d6a1ff6a56ef22bd2dc1e3fdde7 c425d351d4d389bd2469bb1b4c99ffb5 rbsat huang sat http://hdl.handle.net/10138/135571 no f219fcf762e6e9fd rbsat-v1150c84314gyes10.cnf.xz anni_2022,crafted_2014,main_2023
38ca761a5808eace8bc8f1fcfdb5b5a8 cc0bd82ce4e0b0b714b633e86fb5369e miter xindi unsat http://hdl.handle.net/10138/563824 no 5ec9127ee8c0cb40 multiplier_15bits__miter_20.cnf.xz main_2023,submissions_2023
396245861b331d45e1345bd43fe352e2 05b99eabddf053ab10b7270b7899e0a6 cryptography-ascon manthey sat http://hdl.handle.net/10138/563824 no be7fe1ab4f2c0af1 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 82bb0bd1d8d911b9 PRP_30_38.cnf.xz main_2023,submissions_2023
3cff6c97a515aecfe46ba0f1256a3c11 804783b5d4accc4be98a7a77a5f3cc2a planning unknown sat empty no 37b0d7ebd6fecca0 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 1b70ef39cc5a3a3d 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 61d16043011cb932 19_2.cnf.xz main_2023,submissions_2023
3f4174289e971950c290f27892169bc5 808c3d203a720051f4162d6c70a612a6 interval-matching gao unsat http://hdl.handle.net/10138/563824 no 128c42079afcd92c intervals607.cnf.xz main_2023,submissions_2023
3ff114cc7bee4f39fa56a0325e605c2d f004541e852b7a697742b1717b4cec14 argumentation niskanen unsat http://hdl.handle.net/10138/563824 no d1138a0093a241d1 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 2511c92ce77aa703 WCNF_from_fp_14.cnf.xz main_2023,submissions_2023
40ae60a61929b6bfa2ac99ab4b9a0f7e 12de8773eb6341648fc7f15863a147fd grs-fp-comm fleury unsat http://hdl.handle.net/10138/563824 no cbba7ec58c43a991 grs-96-192.cnf.xz main_2023,main_2026,submissions_2023
41457ee03686b32962c12445524f62a9 9cbd763cdb231efbdada4edb5d43cb22 mutilated-chessboard reeves unsat http://hdl.handle.net/10138/563824 no 6549127590c2e664 mchess18-mixed-45percent-blocked.cnf.xz main_2023,submissions_2023
41a8365f60db55b71d949df6954e0db7 24b63ea8b40b5d31c3417d18c7d73f5d register-allocation green unsat http://hdl.handle.net/10138/563824 no a3779cb9ddd4252c FileObject_open_13.cnf.xz main_2023,submissions_2023
41c39c9a2d75ca50b603ea7c3d86106a 84ef54c27ac29fead849bc7d1f199146 brent-equations karia sat http://hdl.handle.net/10138/563824 no d7ba2788e8eebb99 brent_63_0.cnf.xz main_2023,submissions_2023
4282ea42fd414bfd2c4bf81fe8a43e24 0b098f5cb42b751ba1caee38fe21954f subsumptiontest nuttall unsat http://hdl.handle.net/10138/563824 yes 2d07fbc7ca742535 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 dac5baeca95df2fc TableSymModel_output_8_3_10.bul_.dimacs.cnf.xz main_2023,submissions_2023
431bfb466be51ecd86b321b5cbce6d3c 32c1e06067c0aa9d6aca8564949e7047 planning surynek unsat empty yes e2c8372af9b83385 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 a360de6b8b96e811 intervals477.cnf.xz main_2023,submissions_2023
4408f30395fb799e01b34b0dc7ee1d62 73c8f91a9eeff66d686c787d6f7fefaa coloring-clique yldirimoglu unsat http://hdl.handle.net/10138/563824 no cc6fb97abe96b24f cliquecoloring_n14_k9_c8.cnf.xz main_2023,submissions_2023
44092fcc83a5cba81419e82cfd18602c 01bd3f33e770a08f403d31917cbf0477 pigeon-hole unknown unsat empty yes a92cdf72f180fda9 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 bb9e7356be939a95 PRP_30_36.cnf.xz main_2023,submissions_2023
44b249f51321a2bf38f730534b781bec 2a54ae679c84731c4ee9ace95b2b1010 fpga-routing goldberg sat empty yes f7c0527df1d8528e 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 1451f98ab33a3d36 hash_table_find_safety_size_25.cnf.xz main_2023,submissions_2023
4611cd26b441b8c5866e4a2c5a7952dc 4ce241a2059cd6f2965ec20334ac2334 argumentation niskanen unknown http://hdl.handle.net/10138/563824 no 967db59a418efe22 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 51b706b860ccbb61 grs-96-96.cnf.xz main_2023,submissions_2023
48539e7e4baae6db72cda7e8a9cecfa0 568541f80c2165243522b6f63706ae7e risc-instruction-removal-subrv fleury unsat http://hdl.handle.net/10138/563824 no a1106e1d92f3241a oisc-subrv-sll-nested-15.cnf.xz main_2023,submissions_2023
48ac8814180bdc90bf96a4caea64dae2 d3af89eb03bf36c703578681f6fbe979 interval-matching gao unsat http://hdl.handle.net/10138/563824 no f43f0930e508a49e intervals633.cnf.xz main_2023,submissions_2023
4989239fbeb6eb40fc0b664d9ba92636 c8cee7d38a7ffa9fc3bc26411e410cad cryptography-ascon manthey unsat http://hdl.handle.net/10138/563824 no 2afc461964b12147 asconhashv12_opt64_H7_M2-K1zfAs8_m0_3_U5.c.cnf.xz main_2023,main_2026,submissions_2023
4a6a797c6b4a8055d10b74edda9a5e30 b7437cbfbfe180ae3f672aa5ea4d2e8a social-golfer mayer-eichberger unknown http://hdl.handle.net/10138/563824 no 324324ffcec60dea TableSymModel_output_8_4_8.bul_.dimacs.cnf.xz main_2023,submissions_2023
4d2f74ef97b6d40ebd71f85dcb75c543 ecf06afc1abc0c6fe633ea100b08a30c tseitin-formulas elffers unsat empty no f85b8e368b99855b tseitingrid7x160_shuffled-sc2016.cnf.xz anni_2022,main_2019,main_2023
4e64ffc14db014d5591f40865376c32a b936cd9610d4b72152a10fa0f7b0ecba satcoin chung unsat http://hdl.handle.net/10138/563824 no 824483140bebca3d satcoin-genesis-UNSAT-7200.cnf.xz main_2023,main_2026,submissions_2023
4f38f4b005cc54122135c8c21aec4b85 97fc05a23506c39056a43496f9d98cca interval-matching gao unsat http://hdl.handle.net/10138/563824 no 790c4d74ef0726c0 intervals7.cnf.xz main_2023,submissions_2023
4fd2e4e6ecb4fe8d3f9e1fda81633469 ba60d1dc47ca2132b8d68b0ce0d3718d brent-equations karia sat http://hdl.handle.net/10138/563824 no 1e94f6c3543b9c97 brent_69_0.05.cnf.xz main_2023,submissions_2023
4fdcf4248a332c1c9a89d37439c879a9 0f54f9ce60f0039335f3c9364ccc0740 or_randxor yldirimoglu unsat http://hdl.handle.net/10138/563824 no b85c2f7c3a2ad160 or_randxor_k3_n520_m520.cnf.xz main_2023,submissions_2023
4fe42891b004d7425631a8edb4252d3f e7a319ce63b2f6a7f47fcd2e1aa45182 cryptography-simon zhang sat http://hdl.handle.net/10138/563824 no 9dd695e65b2318a7 32_0.cnf.xz main_2023,submissions_2023
4ffb80a0ad8b753fee1492101ffcbdbb 26c6fb311170ed57d037770ca1c84929 reg-n shuolinli unsat http://hdl.handle.net/10138/563824 no 7be184fbd253d4b9 REGRandom-K4-L1-Seed5.cnf.xz main_2023,submissions_2023
524848d379582b63060ed43d3729b9f3 f439ecf9dc51c861d4b24c2e04b0000e satcoin chung unsat http://hdl.handle.net/10138/563824 no cfe22e8c2aa6a712 satcoin-genesis-UNSAT-19500.cnf.xz main_2023,submissions_2023
52be8740aab896317320cd44a5d2af2f 3f32bca8a45bc6966ca7524325816668 interval-matching gao unsat http://hdl.handle.net/10138/563824 no c641d8091b57a49f intervals753.cnf.xz main_2023,submissions_2023
53799aafcd0c684a2adc79400bd35f82 2693665321cdb8805ac686e2170c9b2f satcoin chung unsat http://hdl.handle.net/10138/563824 no 3cdce614a1a4a963 satcoin-genesis-UNSAT-5920.cnf.xz main_2023,submissions_2023
5437ba8972228ea5531a69a9aa064acc 512112cafc61e832b2a07cd7da7d4431 satcoin chung unsat http://hdl.handle.net/10138/563824 no 2344ac86192d11af satcoin-genesis-UNSAT-19800.cnf.xz main_2023,submissions_2023
54ab5a53d2fdfcda16ec74768b29f901 f251494eac08d6755ce8d20905fc4c8a relativized-pigeon-hole yldirimoglu unsat http://hdl.handle.net/10138/563824 no ee4eb0c8f2bd6396 rphp_p30_r30.cnf.xz main_2023,submissions_2023
558113ad4d50130351db8c426230a50f ad55df7797c16e1e6845557ae0538bc4 cryptography-ascon manthey unsat http://hdl.handle.net/10138/563824 no e008b428a3403073 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 fb9d5e9502a22374 collections_namedtuple_15.cnf.xz main_2023,submissions_2023
571a2f223784fb92a53b4cc8cc8b569e 1f6caef6b638f4dbb0f85208cdd11be9 coloring sabharwal unsat empty yes 32e83989993932f0 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 6501f632931ae5f7 php18-mixed-35percent-blocked.cnf.xz main_2023,submissions_2023
578f9377bfbfcc6ea3a18eb630667956 c364c7386889ac369587902d599acba9 planning maris sat empty yes 5bae17c5eba15bc1 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 c3d89df8667d85b0 6s20-sc2013.cnf.xz anni_2022,main_2019,main_2023
587150fb7b12a6b5dd7e4a9446b9713b f07367ef5dfb011aaacfbd969dc69c4a quasigroup-completion sorge sat empty yes c402eaf635ec7988 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 2f388758b7260f1e 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 c5d5d0773a319a70 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 23723a27cbca3e61 intervals222.cnf.xz main_2023,submissions_2023
5dc5185101e1d439d14f0a04acfa9bfb f2c5d87d3b592b03cbd6e6f082a11f9d cryptography-simon zhang sat http://hdl.handle.net/10138/563824 no 4485ef39062487be 28_2.cnf.xz main_2023,submissions_2023
5f6861053fb4ed4fc0b997cd6b505ef4 98d92ed9a914baf4730f24e8e479b741 tseitin-formulas yldirimoglu unsat http://hdl.handle.net/10138/563824 no 316f64c1a2eac24b tseitin_d3_n110000.cnf.xz main_2023,submissions_2023
62c763bdf8d351b15df3a4d62a03eba0 253df80396599433426d45143375e67d miter biere sat empty no 6487bba9dcd5828d g2-ak128astepbg2asisc.cnf.xz anni_2022,main_2017,main_2023
63159b6b10c3d6832bd5944e05d78b11 1423aa0d20fceee3a5f84eabef7d0760 set-covering zheng sat http://hdl.handle.net/10138/563824 no 2aa048b67370c0ee SCPC-700-80.cnf.xz main_2023,submissions_2023
644fd765d26bd4a380922ccd0f594c58 584a6f4d63153fb6c76b95d18e829da0 mutilated-chessboard reeves unsat http://hdl.handle.net/10138/563824 no 12e9c09e40accd0b mchess18-mixed-25percent-blocked.cnf.xz main_2023,submissions_2023
6549f23728c52d5319f30371ff709622 824d736dc36ac3eed5ef3d8495c390f3 hashtable-safety osama unsat http://hdl.handle.net/10138/563824 no c75ef510d020aaed hash_table_find_safety_size_27.cnf.xz main_2023,submissions_2023
65b1e2253626af4a72b954f8186a5880 c625c28de7c6f5c43328dad8715db2b7 hashtable-safety osama unsat http://hdl.handle.net/10138/563824 yes 81c42dfcba338b05 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 ea0375700e868263 tseitin_grid_n260_m260.cnf.xz main_2023,submissions_2023
67904554c73addf89fe675bd8e494641 b3ae75d3eb0c074bbee9b0bcfbff3b33 interval-matching gao unsat http://hdl.handle.net/10138/563824 no bfc2326d72ef972c intervals327.cnf.xz main_2023,submissions_2023
67a5b7ccde980b37576b993c79e176b0 26689fd62691476b27c0f26980674cc6 hashtable-safety osama unsat http://hdl.handle.net/10138/563824 no 35c1e8ff31ff6206 hash_table_find_safety_size_22.cnf.xz main_2023,submissions_2023
685d37e93ba26197925353e58026ae10 67aa30d697e528bc08fc4f1d7a2c1c98 hashtable-safety osama unsat http://hdl.handle.net/10138/563824 yes a003f77cc7e128fc 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 38fab699c9040f70 SCPC-800-46.cnf.xz main_2023,submissions_2023
6aacae96461cb65176942b6dc88ea470 1d1ae706454c9352c8b6a92f70683b4f mutilated-chessboard reeves unsat http://hdl.handle.net/10138/563824 no 124d0b797ac9e618 mchess20-mixed-25percent-blocked.cnf.xz main_2023,submissions_2023
6b2ccabf0304af478a558b8a333ced32 108e843787838350eb8c5d3869ddd21a grs-fp-comm fleury unknown http://hdl.handle.net/10138/563824 no d5c6f60de778ba6b grs-192-256.cnf.xz main_2023,submissions_2023
6bb485770dbc3943ea84933a03131958 1c41639b06faf8f74c0398bbf5ad0229 satcoin chung unsat http://hdl.handle.net/10138/563824 no 888d2ae9ccf13516 satcoin-genesis-UNSAT-18600.cnf.xz main_2023,submissions_2023
6d67f76f114db9801952ed155e745e16 51fefdc61488048dce4632c0b4c5f58d cryptography-simon zhang sat http://hdl.handle.net/10138/563824 no 00dbf997d53afe1b 23_2.cnf.xz main_2023,submissions_2023
6dca14e1af1795565d1e502ddc7d376b bd972dd4af2a1f4b7c34127038bae16c hashtable-safety osama unsat http://hdl.handle.net/10138/563824 yes a9da8d0c80a380bb 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 8692e8f62942ed20 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 d253bcb6223d6e31 tseitin_d3_n180000.cnf.xz main_2023,submissions_2023
6e9cae5108bd423666c73aaace197769 bfae098a8e6577c85f44e2f78769af2e brent-equations karia sat http://hdl.handle.net/10138/563824 no 6eb9c065645e9360 brent_51_0.28.cnf.xz main_2023,submissions_2023
705f6075b27775e03daf6e8d781cb953 5f6206248d9698ebc0c0950c6b8191b9 bitvector kovasznai unsat empty yes 7d6b5ad39167293f shift1add.28943.cnf.xz anni_2022,crafted_2013,main_2023
70af2c3bfd44bcf9baa2a9605f4a17fe 003eb6ca9a800c3ad130e7fcfa4cf3c0 quasigroup-completion heule unsat empty yes e74c47de0e1ccdc2 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 52de8ac4cf821905 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 dd7ef5ad7b362738 asconhashv12_opt64_H12_M2-CxLJidFX21oI_m3_6_U2.c.cnf.xz main_2023,submissions_2023
71270454196ae092b28d0a74300a85e1 1399d98ebabdae8a6e16b8505105b986 coloring heule unsat empty no 53a028ff710fde54 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 7996ef394b3991e7 SCPC-800-42.cnf.xz main_2023,submissions_2023
71bca76153c6ee65b72a517fd658a42d cebae1c62c221ec70edc5ba0015f5b70 quasigroup-completion sorge sat empty yes bc0a975b7b3271e2 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 42e6d04fd8fc8892 TableModel_output_8_3_10.bul_.dimacs.cnf.xz main_2023,submissions_2023
71dbf7ab78ef93c3d491c67752f03fd1 a7f244d48e9c2e2e9bc2832b76c3ba40 miter jarvisalo unsat empty yes aaa55d82b2530ad4 hwmcc10-timeframe-expansion-k45-nusmvguidancep9-tseitin.cnf.xz anni_2022,main_2023,mus_2011
727cd7c528ac106f134cc882c9202108 b9f7a1923530fc824c87fd9b49da9fa4 hardware-verification velev unsat empty no d9fce970aca6b461 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 99798a9f1d496136 GzipFile_close_11.cnf.xz main_2023,submissions_2023
73063c6257a4ffc29f5bea7028403a64 7cd813be9d89f03e3114862f41a32d7f random-graph-xorsat jarvisalo sat https://www.cs.helsinki.fi/u/mjarvisa/papers/hjkn.sat05benchmarks.pdf no 0f58a64250f9b15f 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 51b59b9e3e0af45f DivS_862_11.cnf.sanitized.cnf.xz main_2023,main_2026,submissions_2023
751402d0738e5622b599c651283cb48a 79f0f3d21871afe2652f84656a11897b set-covering zheng sat http://hdl.handle.net/10138/563824 no 95dc70321e22a4a2 SCPC-800-43.cnf.xz main_2023,submissions_2023
751afd7ddf8f242ed7bd93517ba82149 c4dec0ebc46b404e35a9e1e1a92917ff mutilated-chessboard reeves unsat http://hdl.handle.net/10138/563824 no 0d40edc5c316485e mchess20-mixed-45percent-blocked.cnf.xz main_2023,submissions_2023
758f9ed67b4d2068c209157335e07266 c7fc4123209b849824c25a31aa13850a or_randxor yldirimoglu unsat http://hdl.handle.net/10138/563824 no 5d48c9b349fae97a or_randxor_k3_n640_m640.cnf.xz main_2023,submissions_2023
78d23f235b63b1b7f08eb1b6cfb03f34 27c7426134e660711fe534fa6aff5aa0 cryptography-simon zhang sat http://hdl.handle.net/10138/563824 no 0d1c9afb2014af2d 29_1.cnf.xz main_2023,submissions_2023
79391ed5a7f19b947cefe7af1178146a b5fa146b79f61fcf7d61587f63316ca3 cryptography-simon zhang sat http://hdl.handle.net/10138/563824 no 886f89f7fb0d6d81 21_1.cnf.xz main_2023,submissions_2023
79c109a8c1da53c6b636d3835f11a19d 872944e14a7c8a85fb5fb9dba7adb2b0 grs-fp-comm fleury unsat http://hdl.handle.net/10138/563824 no 61b4cc57f3c98ec9 grs-64-32.cnf.xz main_2023,submissions_2023
7aaf3275cbe217044ef305f0a1ca8eb5 a75fdaddb634105e3572635bb92d225d register-allocation green unsat http://hdl.handle.net/10138/563824 no 9b49047660f38153 CNFPlus_from_fp_12.cnf.xz main_2023,submissions_2023
7b4622a3ab523264378a560199de47ed 34c9c3e60c1407d400b136d2e9f99117 argumentation niskanen unsat http://hdl.handle.net/10138/563824 no e1cd50531360b7b0 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 17a84cb391f6db12 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 8df5e96afbd12ade 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 3ce72bbbb32952df 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 bf014b6c545e0184 WCNFPlus_to_alien_14.cnf.xz main_2023,submissions_2023
8252d67358381873e07bb637ad177b83 43e52c6ac051ee4f102c41f646a6ff6b hashtable-safety osama unsat http://hdl.handle.net/10138/563824 yes e2013a36bbde3664 hash_table_find_safety_size_16.cnf.xz main_2023,submissions_2023
8270ae50e6f2881136868db6d3a88eee 0530ef12a099a2d73dd75b90086f6a68 argumentation niskanen unsat http://hdl.handle.net/10138/563824 no 584fe05c8c1ab2f9 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 1aa33aa50d808378 or_randxor_k3_n560_m560.cnf.xz main_2023,submissions_2023
82fe0a5b2467d6e5299c315da8b16ec5 4a4472b343ec8b6b1be22db252084e82 brent-equations karia sat http://hdl.handle.net/10138/563824 no bdb213d05706be59 brent_51_0.07.cnf.xz main_2023,submissions_2023
835ac60ca83af6f334b64b61c4ad345b 6cc15a30ba0b8374fe97f73960843c69 tseitin-formulas yldirimoglu unsat http://hdl.handle.net/10138/563824 no 500a18065ab351d3 tseitin_d3_n160.cnf.xz main_2023,submissions_2023
83cf6bfa7945b54e8c4ac659d1a4359e ed2e9f462b8640619f14624033c6c617 school-timetabling tchinda sat http://hdl.handle.net/10138/563824 no 002253c3bc442671 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 eff6e2c34aff8a91 brent_63_0.26.cnf.xz main_2023,submissions_2023
85240babab8083e1b381e2971d875ab8 85af6484d214d22eca8833f2d37a2434 satcoin chung unsat http://hdl.handle.net/10138/563824 no 2e85394f4f5a8c12 satcoin-genesis-UNSAT-17800.cnf.xz main_2023,submissions_2023
8751f8d1570611ba079dfd862b14c514 763110c503ebd8a67cb4017d04b17ea6 school-timetabling tchinda sat http://hdl.handle.net/10138/563824 no a91afaaa77e3e7b1 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 7e0dfc37d27de8e3 mchess22-mixed-45percent-blocked.cnf.xz main_2023,submissions_2023
89120de895868a3fccd74f30f78a5448 36147bc8a8b1834df395a7522418579b grs-fp-comm fleury unsat http://hdl.handle.net/10138/563824 no 6a7907ac01f2d4fc grs-192-160.cnf.xz main_2023,submissions_2023
8a7a61a63a718e4dc5aba5426b31c063 4b081c5efd57b2e0b7014212b1ee906f satcoin chung unsat http://hdl.handle.net/10138/563824 no 350dbad6809e5dfa satcoin-genesis-UNSAT-18400.cnf.xz main_2023,submissions_2023
8ade10da9731ce31d103c1687ff40a3d eb4fe11387e2bcdd5be8f1d65990d50e brent-equations karia sat http://hdl.handle.net/10138/563824 no 7d50428ab82592d1 brent_63_0.15.cnf.xz main_2023,submissions_2023
8b797110ff321ee673eab1542069f192 5fee1bf2a7e58a025dbcf417bfe754f1 social-golfer mayer-eichberger unknown http://hdl.handle.net/10138/563824 no 8b6956411ee0d14b 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 39bf20df3f31146c 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 8785e75a1284cc9a intervals855.cnf.xz main_2023,submissions_2023
8cf6b81061285343c4f33c51afdb3fbb 1723f434ddb0e05004ec2789b9798d45 bitvector unknown unsat empty no 822cb7b51cbf8ac3 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 20c20bef2c21f846 sat-bench-trig-taylor6.cnf.xz main_2023,submissions_2023
8d31ec9edeac705ffd1b23f0cc4f3256 83975b9f589f5071a4c998a87257aeb4 social-golfer mayer-eichberger sat http://hdl.handle.net/10138/563824 no 31b722f1b6ab543c 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 772283c200ba1ac0 mchess16-mixed-45percent-blocked.cnf.xz main_2023,submissions_2023
8db36208fc6ce43b4002cf048c549b3f 2ef1e7e60f5e84ac98e1aac3b9005c63 argumentation niskanen unknown http://hdl.handle.net/10138/563824 no 0908dfe62212a4f8 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 3104a15855dc84fa satcoin-genesis-UNSAT-18800.cnf.xz main_2023,submissions_2023
8f7cd9fb4b8852fdf9a21c606724c71a 07ae5262298dbd9597e1801c651a463d satcoin chung unsat http://hdl.handle.net/10138/563824 no 57280b1e6732eda3 satcoin-genesis-UNSAT-12300.cnf.xz main_2023,submissions_2023
8fa526d20599ca8c3d613e9066d62e61 db572322542e6560d3eca178823398c0 trigonometric-functions hiller unsat http://hdl.handle.net/10138/563824 no 415186aef2244b4b sat-bench-trig-taylor2.cnf.xz main_2023,submissions_2023
8fcc57f6c75cb2ac48d19e3038ad3c6c 1e0655b87525011aa58be4cbaf0154f4 cryptography-ascon manthey unsat http://hdl.handle.net/10138/563824 no d92565205f62deed asconhashv12_opt64_H6_M2-4XKSMr_m1_3_U25.c.cnf.xz main_2023,submissions_2023
909f704d5f4127c1197a086705468624 d2e11998ea017b7fcd97bd7b5fd187ea rbsat huang sat empty yes 8aeade398ac1b0d2 rbsat-v760c43649gyes10.cnf.xz anni_2022,crafted_2009,crafted_2012,main_2023
911cbc796d15eb316d36c82c90fd7d11 8f07b4e1cb694675029d247be30bfc0b fpga-routing goldberg sat empty yes 5da5b31ae343ec9d 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 2bbce20cf97521b4 22_1.cnf.xz main_2023,submissions_2023
92387c29e87aa857e84feb301f3d6aff fc685d6473be2847f5280087b740c265 rbsat huang sat empty yes c7d948ae9445b21a rbsat-v760c43649gyes5.cnf.xz anni_2022,crafted_2012,main_2023,portfolio_2012
92c17c00d862668de6e6c45d4eecdc75 6be32404276b93e94aaea668d9133f89 cryptography soos sat http://hdl.handle.net/10138/318754 no 10c7ba120eab2a99 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 36ead44ce26eb098 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 fc35148aef698ec7 PRP_30_35.cnf.xz main_2023,submissions_2023
945d67baeb7860df648ab6ef4782d5ed 3812d68863f9596733ff37e04c46c983 argumentation niskanen sat http://hdl.handle.net/10138/563824 no af58e8ed92c42972 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 112244b7ed1a0def 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 dd55425058f18b36 PRP_30_41.cnf.xz main_2023,submissions_2023
964162c1faee2c1e3a4dfa4f9c75c34f 83dc3a217f173b64f994c4f99aad0217 pigeon-hole reeves unknown http://hdl.handle.net/10138/563824 no ef857589d2da70c6 php18-mixed-15percent-blocked.cnf.xz main_2023,submissions_2023
965ca988015c9aee5a1a7b2136c1fe5d 0eb0b5c05472f1f65752375b79e40ab9 register-allocation green unsat http://hdl.handle.net/10138/563824 no 453fa425e2b912b4 os_fwalk_12.cnf.xz main_2023,main_2026,submissions_2023
96ae6bde39369f75aa975b0f5b74c325 4a56074a0df732ade76485d2db5095d2 cryptography-ascon manthey sat http://hdl.handle.net/10138/563824 no 011732c78f7be3dd 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 3d32272ed1a4d51b brent_51_0.29.cnf.xz main_2023,submissions_2023
97a17306a2882e0fd1aa3981a267df0d 2303128cd195e6cab7472467c496d56b school-timetabling tchinda unknown http://hdl.handle.net/10138/563824 no fa3ba3f043e1dafa 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 71cb4d27a94e2c9f 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 38151997df63b5c9 PRP_100_250.cnf.xz main_2023,submissions_2023
99d134de6323a845a2828596a48bbb1d 53e92ca323565a34f78e3d2879917291 pigeon-hole reeves unknown http://hdl.handle.net/10138/563824 no 0eb3f4ca8e45e7be php17-mixed-15percent-blocked.cnf.xz main_2023,submissions_2023
9a413c250f82a93d513d4092ba654ee2 17ff9416705e2376008c72a420f5bf0c cryptography-ascon manthey unsat http://hdl.handle.net/10138/563824 no ecc08ce24c466239 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 7761d2b811318555 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 ad9c570dc19e55ba SCPC-700-84.cnf.xz main_2023,submissions_2023
9e18c079efdc17ceade5c7a330b507d2 137399ab294b97425511c36fbc3097f7 school-timetabling tchinda sat http://hdl.handle.net/10138/563824 no 0706e41c410914cf 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 960d9088c4c1049f 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 cb9180d1bd5dd997 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 da49da9b15be99aa 16_1.cnf.xz main_2023,submissions_2023
a09a2d7397732447bdcc9651973767b7 2661ac4ca6572ebc3227604f00526c6f social-golfer mayer-eichberger sat http://hdl.handle.net/10138/563824 no 08d7303ebb15d269 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 3ecdb8a155d0766a grs-160-64.cnf.xz main_2023,submissions_2023
a1276d5dcb822aa03806df58fa9ca1c8 5219f36ff6098ff0709a988668ad9ec3 grs-fp-comm fleury unsat http://hdl.handle.net/10138/563824 no b13b36f1a29554eb grs-128-32.cnf.xz main_2023,submissions_2023
a18b6fbdfee43c007e07dedf15477797 fce4ec3db5872d96ec6f0755fcce265b set-covering zheng sat http://hdl.handle.net/10138/563824 no a2cf2157c7590917 SCPC-700-86.cnf.xz main_2023,submissions_2023
a292411f3f563a47c05a78f8295163dc 02dea2a7f8b17650479bc1d2caa5baf7 hashtable-safety osama unsat http://hdl.handle.net/10138/563824 no 43b885214302e963 hash_table_find_safety_size_26.cnf.xz main_2023,submissions_2023
a45b60e53917968f922b97c6f8aa8db3 7c6db933a975b35efc9cf435a0235244 coloring sabharwal unsat empty no 7e3c5bf2e7775d6c 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 fa6649dd04a4a327 SCPC-1000-20.cnf.xz main_2023,submissions_2023
a4b05fbc5be28207b704e1fae4b7c8a0 b0918603e6f6f8b836aaffca54217d14 register-allocation green unsat http://hdl.handle.net/10138/563824 no 998e794fe46f284f FileObject_open_12.cnf.xz main_2023,submissions_2023
a552a058e6376a36b1f1b2724f228364 379f78fe6520295e2bfcdc749de7a654 hardware-verification ibm unsat empty no b47e83280c0e993a 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 a6bcdd23567a42f4 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 06947fe533bbec59 php17-mixed-35percent-blocked.cnf.xz main_2023,submissions_2023
a7a9ca7e06b6b1e979950ea96183d07d 38e67c27a7cf2e62a8249b5ca0e28b9b rooks manthey unsat http://hdl.handle.net/10138/135571 no b5bf56e23189ceaf 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 ab00f13762cb2df8 grs-48-256.cnf.xz main_2023,submissions_2023
a811388cc92def6ef2d639dc062d456c 2ac641e4f48241f24963e83769cb0dcb social-golfer mayer-eichberger sat http://hdl.handle.net/10138/563824 no 8e9410fe322b676e 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 aec84798c5e06585 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 3d3ecf0932510bf0 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 78fc25f713bd7d79 asconhashv12_opt64_H10_M2-BPHqhzNzqi_m5_6_U14.c.cnf.xz main_2023,main_2026,submissions_2023
a931fb0e1490883ee7719eab96ed558a c3e6ee0ada2dbd6f3144dccfc6da422b cril-misc frioux unsat empty no d9254d1347db5e54 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 6fe5ad29addaeb2e 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 a06fce59f4255631 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 45f786dfab66ed5a intervals244.cnf.xz main_2023,submissions_2023
aa4a861240c0c39b5aa44602133ae5e1 442ddb3c7dd6c6a1b4ed2e98682237d2 argumentation niskanen unsat http://hdl.handle.net/10138/563824 no a49867d02add390b 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 a5413eb96c1c1e01 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 dff54d7d170407fb DivS_942_11.cnf.sanitized.cnf.xz main_2023,submissions_2023
ad69e0a0880cd377e26260f7e4bc6d51 2a96310f13c4edf5ed6a4afc906a52f0 cril-misc frioux unsat empty no 90d380309f9b57e1 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 f586517b3d3ce563 WS_400_24_70_10.apx_2_DC-ST.cnf.xz main_2023,submissions_2023
ae9522ea003ea9f75891b2d37a5e264b e647ecc9c8de8fe89907f1563d05b9c9 subgraph-isomorphism anton sat empty no 454679accd5ca227 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 e97b1a12ad0938ab WCNF_to_alien_14.cnf.xz main_2023,submissions_2023
af1e84bc2ab44d87d1c4c0cbf9e601c5 1edcf92a40918300460abb85e6f94299 register-allocation green unsat http://hdl.handle.net/10138/563824 no 7ed328d91a4d8abb posixpath_expanduser_14.cnf.xz main_2023,submissions_2023
af3d5273605b21b9d4c56dd46cbf366a efc7bd1f42961e2ffee0654e7e50eba4 set-covering zheng sat http://hdl.handle.net/10138/563824 no e72b28159e29a532 SCPC-700-82.cnf.xz main_2023,submissions_2023
af5838e83024d2dee3942be8d8e35fec f12678a59216d3224734378094479e2f social-golfer mayer-eichberger unknown http://hdl.handle.net/10138/563824 no 8b080a18f3f737c7 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 decbdc4d617936ed CNF_to_alien_11.cnf.xz main_2023,submissions_2023
b157aeb75aec9158fed9e16d7fd2da57 a148b3952a2ead2830574796a7a26129 social-golfer mayer-eichberger sat http://hdl.handle.net/10138/563824 no 9b8768102146a09f 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 e5700dd42781c82a LZMAFile___init___14.cnf.xz main_2023,submissions_2023
b3840e295097a13e6697fff6be813eeb c147295a91c24cf3b6fa9be80eaef6a3 pigeon-hole reeves unknown http://hdl.handle.net/10138/563824 no e64086044687c711 php16-mixed-15percent-blocked.cnf.xz main_2023,submissions_2023
b44611ea7852dd30215cc1cb09e1ab79 ecc2a4418ee509d87e72fd5b8db6b65a profitable-robust-production chowdhury sat http://hdl.handle.net/10138/563824 no 90d8966e8f47ff83 PRP_30_39.cnf.xz main_2023,submissions_2023
b5b1803491a265b02d595c1fb62d5991 988a11afbbb1ab5d1d76f13f521b3d80 interval-matching gao unsat http://hdl.handle.net/10138/563824 no 2e3975fff53c8f7c intervals802.cnf.xz main_2023,submissions_2023
b5cede38496a803dcfa155a5f4295c47 f8d1b1cf2ac67faaf81035a0e2587295 school-timetabling tchinda sat http://hdl.handle.net/10138/563824 no fc85009d50b774cf 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 52257105a829c52c grs-128-64.cnf.xz main_2023,submissions_2023
b6c6f1081dbb672e8294685d03326b09 58e4fd9ef7b5e47f6f0befaf25018f13 interval-matching gao unsat http://hdl.handle.net/10138/563824 no c443b8bed8d8590a intervals80.cnf.xz main_2023,submissions_2023
b86f2425cafeb1239d65bd529e372e02 18486d53c450ec133c485b87b23477d4 argumentation niskanen unknown http://hdl.handle.net/10138/563824 no 02fd9b4fedad9c0f 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 5e6c3f304b1691b5 satcoin-genesis-UNSAT-17400.cnf.xz main_2023,submissions_2023
bb8042839130ce5597c358c1955706ff fcd9342bc8d837996a21befc105dead5 hashtable-safety osama unsat http://hdl.handle.net/10138/563824 no f0a5f0ea998772cc hash_table_find_safety_size_30.cnf.xz main_2023,submissions_2023
bbf800109d039e117ed60593c185692c 49a47bfe054eea27bf46608803509bc7 argumentation niskanen unknown http://hdl.handle.net/10138/563824 no 1ba566e746f0fc0b 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 fdad496d8dd64bf7 26_1.cnf.xz main_2023,submissions_2023
bc7dc7a83b442a2bf4cf8cae3f0e0faa e0a34cf4952cc4597a81b2bea301b514 hashtable-safety osama unsat http://hdl.handle.net/10138/563824 no 52ed86339d8b811a 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 4f360a7abd7b8275 SCPC-700-87.cnf.xz main_2023,submissions_2023
bcd753d08904860fa93a794557185e04 9c939f7beb39ada02b921c5686fb2500 school-timetabling tchinda sat http://hdl.handle.net/10138/563824 no e7f0ae8894befe51 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 cf6d27000e5e4294 sat-bench-trig-bhaskara.cnf.xz main_2023,main_2026,submissions_2023
bdc85226a8d910a8b7d6a8730c7a4572 f6bc1d5a314a979b7bc41e8f983a2e0b profitable-robust-production chowdhury sat http://hdl.handle.net/10138/563824 no e071911d899e4854 PRP_40_40.cnf.xz main_2023,submissions_2023
be5c82b97513a31e0b3bcc1c231018ad 1e98368288e525c0fb680cb4b1c12219 cryptography-ascon manthey unsat http://hdl.handle.net/10138/563824 no 2dcdc061624a5b52 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 59ccc4053ab0fd8a SCPC-900-29.cnf.xz main_2023,submissions_2023
c115ebeec47bb82fa7f9850a632ec94a 0e6de39cab132652b88132de8bcbc65f brent-equations karia sat http://hdl.handle.net/10138/563824 no 30b2d6111badb871 brent_71_0.25.cnf.xz main_2023,submissions_2023
c1324a6876269ee93890e266fe214557 ee18746bf9596c06767acbed26e343e1 set-covering zheng sat http://hdl.handle.net/10138/563824 no f4b232f9a64b2549 SCPC-800-50.cnf.xz main_2023,submissions_2023
c1b5c3d1016de7baeb0ddb3a2ab2d891 2516a60b34f2cbc9a9af54718a49cc77 set-covering zheng sat http://hdl.handle.net/10138/563824 no 1605f767d61be097 SCPC-900-27.cnf.xz main_2023,submissions_2023
c32f194ad850c944142c74514dfb3c5f 39a59f8f27d774cde616848eb40ee039 register-allocation green unsat http://hdl.handle.net/10138/563824 no d2a8ae68f65b29bf WCNFPlus_from_fp_13.cnf.xz main_2023,submissions_2023
c40838cb3ed9babe51dc41185e70a3dd fb5b5db7c79b0c651ca0ade823c5a8d7 hashtable-safety osama unsat http://hdl.handle.net/10138/563824 yes 269d8beaeab5b967 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 c77419d761eb3855 oisc-subrv-and-nested-14.cnf.xz main_2023,submissions_2023
c9af5b23c87350f5d817acc9ca7b69bb 2418702bcbbbd7de6a3be5a180ab8b90 register-allocation green unsat http://hdl.handle.net/10138/563824 no 99cf1df37e66cb84 CNF_to_alien_12.cnf.xz main_2023,submissions_2023
c9f7ca549a6773bea4628e2c66f597c6 9bd27b58dd4823ceaeaf175dad282861 brent-equations karia sat http://hdl.handle.net/10138/563824 no 06c5a8cff6941ee6 brent_51_0.17.cnf.xz main_2023,submissions_2023
caead0e04b6de4365822b25dfd55967f 7056c0d4f268e8955dd5445335d2e413 cryptography shaw sat http://hdl.handle.net/10138/318754 no fb39ce032878f665 preimage_80r_490m_160h_seed_150.cnf.xz anni_2022,main_2020,main_2023
cbd0933002d6c4ea99ceb47bb0c3f4c9 dc4c10922552a80db0152c7cbe0d61a9 edge-matching heule sat empty no f828ee857885034a 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 cf026e454765eccc 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 dfba12061e0d210f intervals803.cnf.xz main_2023,submissions_2023
cd86fbfd8b7e0d66ec5fe8fe85c014d3 f87a78ea200e114e22e35c07f01e394a mutilated-chessboard reeves unsat http://hdl.handle.net/10138/563824 no 76ceea4497c00082 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 788a9483f7947334 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 yes 6b8e46f5912b5ee8 CNP-5-1100.cnf.xz anni_2022,main_2018,main_2023
cea96962ebd736646af54d950943d909 e05a6cc375e322b3c61ed4f251380bcd set-covering zheng sat http://hdl.handle.net/10138/563824 no ddd8ab03a0eb5776 SCPC-800-41.cnf.xz main_2023,submissions_2023
cfc53adcc8ed18ca161bb6f8bc02b237 9fd9edb69440588732ed7d4bf5f4e93d cryptography-ascon manthey unsat http://hdl.handle.net/10138/563824 no 12851aa92d9fe209 asconhashv12_opt64_H7_M2-gHvzZOd_m3_4_U11.c.cnf.xz main_2023,submissions_2023
d0364ea3e1680c6da7e982e6b0264af6 caa8a19f74d6bb5e19b79aeaa69ed7d4 subgraph-isomorphism anton sat empty no b309bcfe8e96b9fb 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 2e637e5efa3e2668 asconhashv12_opt64_H10_M2-pH7B6T6Vub_m6_7.c.cnf.xz main_2023,submissions_2023
d17aa530bbd09452b0f32daf4ab9c8f0 3aa9c8dd2977b03c8cf27e19b89e9e3b pigeon-hole biere unsat empty no 8bd0626d2fbdd82a tph8.cnf.xz anni_2022,crafted_2013,main_2023
d1a62a8688c6c4fabd0dec3770ce40dd 5ae64548a0e8aee0074f163fb86866d4 quasigroup-completion gomes sat empty yes a8a3b5ed148ab328 qwh.40.560.shuffled-as.sat03-1654.cnf.xz anni_2022,handmade_2003,main_2023
d1f4348ad66cae01386777daae51c024 3a5dfa2bf02f1265df4e3f070bd8df1f hardware-verification unknown unsat empty no 3c595eb4c2a8e830 eqspctbk14spwtcl14.cnf.xz anni_2022,main_2019,main_2023
d3529338d35aa27e8024932d3b5f64b5 1a9937ab8f6ae895d7e71ad6f150c6ab profitable-robust-production chowdhury sat http://hdl.handle.net/10138/563824 no 9b92acda47584760 PRP_20_50.cnf.xz main_2023,submissions_2023
d3daba681653ea969bedf0c4a2fdb947 23ad4d41ccd9c8bd49a4f1547b30a214 argumentation niskanen unsat http://hdl.handle.net/10138/563824 no c3aab48dcae16c4d 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 a7b24430c350cac9 PRP_100_350.cnf.xz main_2023,submissions_2023
d5efaaee0197822c2676e45bac5068b2 bff567547b450504df6e6d8cbba9f325 school-timetabling tchinda sat http://hdl.handle.net/10138/563824 no d6393adb8bddc762 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 b8f9fc333ebe2dcc baseballcover13with25_and3positions.cnf.xz anni_2022,main_2020,main_2023
d6402b482a5dc102a5b09360689e2be8 dfba3ef39b16438d848a220f5161f75f ensemble-computation jarvisalo unsat empty no 98e85c36328d9be0 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 cb57166b645cbad2 PRP_200_100.cnf.xz main_2023,submissions_2023
d7f381cd99ca40ba3324c8cc03a54269 dc7c414a6ccffb5c5bbe703907983140 mutilated-chessboard reeves unsat http://hdl.handle.net/10138/563824 no 803375e799fbf703 mchess16-mixed-25percent-blocked.cnf.xz main_2023,submissions_2023
d84a89fb1bc1ff37dc4737867257b290 8328e880812779b949072925fedd5b13 set-covering zheng sat http://hdl.handle.net/10138/563824 no c1111308f42f3351 SCPC-800-49.cnf.xz main_2023,submissions_2023
d89718e39ff99638c2882b47988120cd ed468f142449614840ab4d8757235824 brent-equations karia sat http://hdl.handle.net/10138/563824 no 767b22317beb929a brent_63_0.1.cnf.xz main_2023,submissions_2023
d89f0a7a08f9b60579b26b01e2196394 888ab9e1dc0b3c8181dd7daa80696b37 interval-matching gao unsat http://hdl.handle.net/10138/563824 no 269b577a606da148 intervals467.cnf.xz main_2023,submissions_2023
d8f131a86243ef138af39abf52a479e5 dcb00dcc74afa3922d44ed03bab42702 school-timetabling tchinda sat http://hdl.handle.net/10138/563824 no fee031712e3c9ecb 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 88adf49791428a6a brent_13_0.1.cnf.xz main_2023,submissions_2023
da43a3ef0ef5d34143e765d480dedc7a 5fdb59d3621d331e564ee1dbe7b2797a subsumptiontest nuttall unsat http://hdl.handle.net/10138/563824 yes a6a7a59a75ccb34e DivU_624_11.cnf.sanitized.cnf.xz main_2023,submissions_2023
db4a0d4ba26c46d66ad6cdcb0645a4d9 0885d3cb23b75841cb702c02f12315ce argumentation niskanen unsat http://hdl.handle.net/10138/563824 no 912eebf82a6db96d 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 df9b369fca51001d grs-32-256.cnf.xz main_2023,submissions_2023
dd169198070f9aa35015de65e8209a05 78cc98cf3adbca3cd25b2633313a66fd register-allocation green unsat http://hdl.handle.net/10138/563824 no 50d492edebc47750 LZMAFile_write_12.cnf.xz main_2023,submissions_2023
dd6ef995af0267ce71076250a1226801 ebc674ba1ccce3452394422fbaad73b8 interval-matching gao unsat http://hdl.handle.net/10138/563824 no 7225f6ef84529e63 intervals313.cnf.xz main_2023,submissions_2023
ddd3b43476c18cf483aac233d4dc1c68 8a912aa03ef2cca2a383cfff5e5aa02f profitable-robust-production chowdhury sat http://hdl.handle.net/10138/563824 yes ff20c03668d5b379 PRP_20_40.cnf.xz main_2023,submissions_2023
deef4e5f8bf88393cea9589dff97d70c 3a554786d69973e8f9f00c67ce64f7cc social-golfer mayer-eichberger sat http://hdl.handle.net/10138/563824 no b0511a1922eed53d 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 90ec7d82682eec84 17_0.cnf.xz main_2023,submissions_2023
e444548857eaf649c4624e3494c89c8e 5e6a3c62092a7aad06a46d10d39437fb cryptography-ascon manthey unsat http://hdl.handle.net/10138/563824 no 57af486f0d4b4fd9 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 dae1eeafd15d54ce intervals727.cnf.xz main_2023,submissions_2023
e51a98d78f61103e0672579e87cfd7e5 7007292dd89ded429743eeb07bfd2a6d satcoin chung unsat http://hdl.handle.net/10138/563824 no 84da3ff04826198e satcoin-genesis-UNSAT-11400.cnf.xz main_2023,submissions_2023
e5a72ac8f4880702a4deacc7854318e8 30b8789b1e5ed79a583ec59cf1b805d3 hashtable-safety osama unsat http://hdl.handle.net/10138/563824 no 47d1b5cee816829b 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 1842e99f52627400 or_randxor_k3_n540_m540.cnf.xz main_2023,submissions_2023
e966bddd11e46b735f8520f8304e368e 61e421f7949c394d056df265bca635cb school-timetabling tchinda sat http://hdl.handle.net/10138/563824 no 8de72832e65893f0 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 09b82cece92f7ef1 PRP_100_500.cnf.xz main_2023,submissions_2023
eaf2f0803dd2045f1b189ee834ef0c8f 070634fe0448d6be7635f9caff789d0b relativized-pigeon-hole yldirimoglu unsat http://hdl.handle.net/10138/563824 no 139c370b139bd52b rphp_p8_r250.cnf.xz main_2023,submissions_2023
eca3692344e30ae83a49158b5baf3372 41f19599af0eae103cea1a69f2ed2dd8 brent-equations karia sat http://hdl.handle.net/10138/563824 no bbf1b5ce44e1aca5 brent_65_0.1.cnf.xz main_2023,submissions_2023
ed76b075cdf07435c6e4f6203dd10cb7 5e215a6f4bc37b10c1064dfb8d4e0866 set-covering zheng sat http://hdl.handle.net/10138/563824 no 279062ba677856fe SCPC-700-88.cnf.xz main_2023,submissions_2023
eec821f866557886a5b0352332943fa2 ef9985e3b9b6787f7a3e907347db710a set-covering zheng sat http://hdl.handle.net/10138/563824 no d8bcc37f1ce0d73b SCPC-700-81.cnf.xz main_2023,submissions_2023
eecdcc36d35f06224cc972cbb08de804 5c159b7ac867d67665ca8713570fff0b set-covering zheng sat http://hdl.handle.net/10138/563824 no dc63f875b7a6bfcb SCPC-1000-18.cnf.xz main_2023,submissions_2023
f02379d63678798e38dcc52b043cc51d 8a8af56c189ad152db98afd49e633b37 cryptography-ascon manthey sat http://hdl.handle.net/10138/563824 no 24bfe279ff23e201 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 cc8e94266eb1a6c2 brent_63_0.22.cnf.xz main_2023,submissions_2023
f08b3567642ea029452fff2c1d10c132 f743d2166e1996c8cc0b026c526483f7 brent-equations karia unsat http://hdl.handle.net/10138/563824 no 57ed277526c02a10 brent_15_0.25.cnf.xz main_2023,submissions_2023
f090d0d6eaff3b92c817f5db6fa47544 ec64bfd4fc52a42c30591179eda98248 interval-matching gao unsat http://hdl.handle.net/10138/563824 no d6f0dcc1300eb462 intervals718.cnf.xz main_2023,submissions_2023
f20c2aa0f9cced05a74031e0a3afaa1a 02b8417ce0bce7673320b3b845de2afc school-timetabling tchinda sat http://hdl.handle.net/10138/563824 no 394a7be4b6c95619 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 d79e183029e9cb1c 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 ee9172f94c6a69cc SCPC-900-31.cnf.xz main_2023,submissions_2023
f4064d73fd6e69caf154046e61fea7b8 bcac7356261dc1f6f1c014181b25a066 coloring-clique yldirimoglu unsat http://hdl.handle.net/10138/563824 no 74e1078e625fa2ac cliquecoloring_n18_k7_c6.cnf.xz main_2023,submissions_2023
f448874997bae64bd455fb00309dc738 2f46d1e646927cbf511550fcb2acd3e6 cryptography-ascon manthey sat http://hdl.handle.net/10138/563824 no 7ee0f79b85c159b1 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 7b49fde86250808b grs-48-160.cnf.xz main_2023,submissions_2023
f57aba96bfed8f8a8b860eba1a8f1ea5 4131e8462ba091c61548f738942cde53 social-golfer mayer-eichberger unknown http://hdl.handle.net/10138/563824 no f3fa229bf75a43f8 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 e260b8e5eee0d828 cliquecoloring_n16_k7_c6.cnf.xz main_2023,submissions_2023
f959755d7c68ea8b64d900e589fbe21f 12e7c9a105466581debd68aab29e1b38 cryptography fuhs sat empty no 8a6354d3ff7f57ac 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 e0524f1feb8c17ef brent_63_0.2.cnf.xz main_2023,submissions_2023
faeb113864d97ea4cb3f01f95d2fe92f 7ebf0c2a0ef4900262d2e3e794a578d1 set-covering zheng sat http://hdl.handle.net/10138/563824 no 64b7637894b6dd1c SCPC-800-44.cnf.xz main_2023,submissions_2023
fb5d0254bc4b8d258eb84ea1dbcdda13 77eddf3e6063f83de83ad2f71a7d3565 mutilated-chessboard reeves unsat http://hdl.handle.net/10138/563824 no dfce2c9f99d70252 mchess22-mixed-25percent-blocked.cnf.xz main_2023,submissions_2023
fd1fbc1b090c14746a883b3a17259743 6aa791eca2721ae7d020c0efab0dd39a hardware-verification simon unsat empty yes f2d63668b2aa31bb 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 1c9675a51f4ff7a0 StreamReader_readline_13.cnf.xz main_2023,submissions_2023
fdc5aa7c150fd1c49ad3b50433277528 b74a296b5205dcbb8abf45edf7a2d0d8 profitable-robust-production chowdhury sat http://hdl.handle.net/10138/563824 no 54e1caf6fd03e61a PRP_100_300.cnf.xz main_2023,submissions_2023
fdfcd52a21824b7181d66672f283ba04 ef7740c3be938870337c955f743a5c8d parity-games friedmann sat empty yes 076d92c383ab67ef 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 3eaade7a33b0fcc5 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 9ad3c1736673799d mchess18-mixed-35percent-blocked.cnf.xz main_2023,submissions_2023
fee70cede2b5b55bfbdb6e48fbe7ce4f 787f942a17807b7a446b08537df882ba influence-maximization kochemazov sat http://hdl.handle.net/10138/318754 no ecd0026ed0547504 DLTM_twitter690_74_16.cnf.xz anni_2022,main_2020,main_2022,main_2023
ff5170c690129f8c94658e82b6aab05c a38abc67ef64449cc46666c3b832d01e tseitin-formulas simon unsat empty no 14899903c8db8d00 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 e54f47085c6b14d6 mchess20-mixed-35percent-blocked.cnf.xz main_2023,submissions_2023