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 result_sat_and_track_main_2024.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 result_sat_and_track_main_2024.uri.
  • Download the selected database: meta
hash isohash family author result proceedings minisat1m filename track
04ded94454830d4ea960327e8b91f5a3 63aa66f626a7475bbf4b4224734618c7 minimum-disagreement-parity bryant sat http://hdl.handle.net/10138/359079 empty mdp-28-14-sat.cnf.xz main_2024,submissions_2022
04e219c640ed59dc68ea2d50493de5b5 23f1e39735dfdb3daefdbc575f0c4673 polynomial-multiplication xiao sat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=43 no mp1-Nb5T15.cnf.xz anni_2022,main_2017,main_2024
05c8e94aaee86390eaf6e68dd3ec3570 f88265f1b24a4588f4f86f7d57eaea10 heule-nol heule sat http://hdl.handle.net/10138/584822 empty noL-11-2.sanitized.cnf.xz main_2024,submissions_2024
0876c518e5653369e20fb1ee0bb8db40 224d7d28a225310114abcb5ff2965575 crafted-cec klieber sat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=39 no mp1-klieber2017s-0500-023-t12.cnf.xz anni_2022,main_2017,main_2024,main_2025
089f909e37b3ef0c4d90687f7e22b68f cb0ad81deabfebcbac276ee114bc52dd cryptography-simon yuhangqian sat http://hdl.handle.net/10138/584822 empty simon-r18-0.sanitized.cnf.xz main_2024,submissions_2024
08ccc34df5d8eb9e9d45278af3dc093d 57e78d00ce50ee7c5df40adee872808f cryptography-simon yuhangqian sat http://hdl.handle.net/10138/584822 empty simon-r16-1.sanitized.cnf.xz main_2024,submissions_2024
093fa3ff9f7bc9979c43f9d2310ac21d 3cac36b48785f1deb51e752b43419d03 miter jinjinliu sat http://hdl.handle.net/10138/584822 empty 128_125.sanitized.cnf.xz main_2024,submissions_2024
09b61bbf19748094a7d896aac314ab36 e3baa5eb3fa9ca66461adb8e5d71173d hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-12063.sat.sanitized.cnf.xz main_2024,submissions_2024
09c1b79b1cfe3522364fe60aef780703 d569d2a6434b0adcbcef6bfaae5f9c21 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-12092.sat.sanitized.cnf.xz main_2024,submissions_2024
0a27eb7c16c1e69ff4d087d217ac89cb fd47b3ceb5e808016de67e01d1473fbd heule-nol heule sat http://hdl.handle.net/10138/584822 empty noL-11-0.sanitized.cnf.xz main_2024,submissions_2024
0bad2ce307bf5b68db26fa34e252c9d4 a93fa04a2215858a58827cb9e58a08b8 maxsat-optimum cherif sat http://hdl.handle.net/10138/359079 empty af-synthesis_stb_50_100_4_sat.cnf.xz main_2024,submissions_2022
0cace8a29a1d6b225a8da561d35e8f5a 933741f565767d5581a64534c8f804cb miter jinjinliu sat http://hdl.handle.net/10138/584822 empty lru_10.sanitized.cnf.xz main_2024,submissions_2024
0cfe9c90d3a51435a5e4dba7634b882f 601739193ec14b654f072fccd0768b68 miter biere sat empty empty g2-ak128boothbg2msisc.cnf.xz anni_2022,main_2017,main_2024
0d3fcbb89bfb8e821058ba3ea4284de1 b5657e854a8df6373000685d5ff94878 scheduling shuolinli sat http://hdl.handle.net/10138/359079 empty j3045_10_gmto_b.cnf.xz main_2024,submissions_2022
0d81711a3d73c828e8c6e12607eda82d c6fb65aae8d68977ac948730d71b10d1 heule-nol heule sat http://hdl.handle.net/10138/584822 empty noL-11-20.sanitized.cnf.xz main_2024,submissions_2024
0fa9521ff633b27be11525a7b0f7d8b6 c254db736e599b7ebcb764e059b5945c random-modularity giraldez sat empty no jgiraldezlevy.2200.9086.08.40.41.cnf.xz anni_2022,main_2015,main_2024,parallel_2015
1009c791cee542cdf19651fe25e6881a 07301f9f9d86aad0028f1caf7413b0b3 summle manthey sat http://hdl.handle.net/10138/359079 empty summle_X4053_steps8_I1-2-2-4-4-8-25-100.cnf.xz main_2024,submissions_2022
11cc532ecddfb10a47e0a869b4867c1b cd7cd3187acb0d57b771f46208379b1f scheduling lester sat http://hdl.handle.net/10138/359079 empty Break_triple_20_36.xml.cnf.xz main_2024,submissions_2022
12b4a08e412a3bffb513ca65639c7c69 9c96fb55a1d84529493b01a4d8a9f8b6 heule-folkman heule sat http://hdl.handle.net/10138/584822 empty Folkman-175-7416734.sanitized.cnf.xz main_2024,submissions_2024
13ae2628d8e113db1786dba41a65fe38 71f3aecd3cea79fb2c5bad085dd8d51c hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-10027.sat.sanitized.cnf.xz main_2024,submissions_2024
1427381a809c64c721838894ece6756d cb250e6e5c95917084bf940b8aa36153 hardware-verification unknown sat empty empty shuffling-2-s25242449-of-bench-sat04-727.used-as.sat04-753.cnf.xz anni_2022,industrial_2004,main_2024
14e4cfcf0d83b2185fad41684d00d4dc 6a09793abe4a62e055b959bb29f6c422 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-12035.sat.sanitized.cnf.xz main_2024,submissions_2024
1507d9812624b3e0eaf15e40100be020 e0af8b221f0b612de857dfa3b3374000 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-12014.sat.sanitized.cnf.xz main_2024,submissions_2024
16c27d738cb45b766b8823ca4f428cf0 52071ce4403925a200aa0fd1e951b4ae rbsat huang sat empty no rbsat-v760c43649gyes7.cnf.xz anni_2022,crafted_2012,main_2024,portfolio_2012
16c5482d8e658b54e20d59cfd4b1d588 a97b334f4b95051c50a9c6aa80005c62 binary-tree-parity pakin sat http://hdl.handle.net/10138/584822 empty two-trees-511v.sanitized.cnf.xz main_2024,submissions_2024
170b13af977e962321c493544b2bd0a9 77378f0c019974d0033c6b56481fecf8 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_48in64out_with_800gates_4in4out_dist128_seed4.sanitized.cnf.xz main_2024,submissions_2024
195852083a05edee1902233698eec14a 57565c29a87575ec6cd6fbbd7833ae6a hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-11077.sat.sanitized.cnf.xz main_2024,submissions_2024
1afa2d7a3d817c3149da432eece66da8 3e28a2b467e571d0e9556237884dda59 scheduling xindi sat http://hdl.handle.net/10138/359079 empty worker_550_550_550_0.3.cnf.xz main_2024,submissions_2022
1e3c3e8d349759b8b482a6f2721762c4 a9951c86d41d4511a1caf1889e7164c6 cryptography soos sat empty no apn-sbox5-cut3-symmbreak.cnf.xz anni_2022,main_2018,main_2024
207b28c3cefc55b143259222cbfd4962 c63ec82b5d6b35edd84c31e5e1fe8671 scheduling schreiber sat http://hdl.handle.net/10138/584822 empty pcmax-scheduling-m37-28831-324346-SAT.sanitized.cnf.xz main_2024,submissions_2024
210fe1c0ffefde5bcd03d59b1efa6984 758a54cb1b7deedf7f41b17cc77b1ae9 miter jinjinliu sat http://hdl.handle.net/10138/584822 empty 32_325.sanitized.cnf.xz main_2024,submissions_2024
22b4cf412c811872d6ba5078106aeb6c b40aaef444ba2708fd8ec56e30aaa209 scheduling shuolinli sat http://hdl.handle.net/10138/359079 empty j3037_10_rggt_b.cnf.xz main_2024,submissions_2022
26254890fa7107f85242ec9190da2a7a 85791fe1279ea523e3f9e21418a2f191 cryptography nossum sat empty no 002.cnf.xz anni_2022,application_2013,main_2024
26b648475cfd06695a17ac95f4469744 fe593650cce665986e0b2a25c0e4bda4 miter jinjinliu sat http://hdl.handle.net/10138/584822 empty 128_75.sanitized.cnf.xz main_2024,submissions_2024
282a02a1743eb47c6b340e52ecce40a2 925d6cc30137ec19c2651073403363f6 miter jinjinliu sat http://hdl.handle.net/10138/584822 empty lru_6.sanitized.cnf.xz main_2024,submissions_2024
2a15a30186afdad41a49c5c5366d01be ab85b516dc0c52ed3479c8a68478b95f scheduling djamegni sat http://hdl.handle.net/10138/318754 no Timetable_C_392_E_62_Cl_26_S_28.cnf.xz anni_2022,main_2020,main_2024
2b032f8a8976a302ad125eb50a3e8445 4121dc778d7aa6dd309ba54f0bc0149b independent-set manyem sat http://hdl.handle.net/10138/584822 empty 1-ZC-512-K-60.sanitized.cnf.xz main_2024,submissions_2024
2b043efb4bde6d83f7c95a8e8e2d7bf8 f8c78befc67e4190938f267a096fa10c cryptography-simon yuhangqian sat http://hdl.handle.net/10138/584822 empty simon-r21-0.sanitized.cnf.xz main_2024,submissions_2024
2fcd8533eba981967292f1b6e41f7433 688dc5a2bf6c490d99504775299fcdcb cryptography-simon yuhangqian sat http://hdl.handle.net/10138/584822 empty simon-r20-0.sanitized.cnf.xz main_2024,submissions_2024
303480ca7e8322d771c94caf4ebd4e95 9b7943cc013caae8b1d7c9d22928da4d random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_48in64out_with_700gates_4in4out_dist128_seed1.sanitized.cnf.xz main_2024,submissions_2024
30f0db845937bbda3ffde60e5ed4cb3f 321e1272278dbdcf6117e78bc1c08147 heule-folkman heule sat http://hdl.handle.net/10138/584822 empty Folkman-190-66337703.sanitized.cnf.xz main_2024,submissions_2024
3129198788f182ce6955b18aa3c7e61e 3f00535c59ff1b543ce7146aa9b33231 cryptography-simon yuhangqian sat http://hdl.handle.net/10138/584822 empty simon-r24-1.sanitized.cnf.xz main_2024,submissions_2024
31e788a12ddc8b43ec20e77d53abaa23 3b398b1748cbf6317abd5e618ce0bca5 scheduling schreiber sat http://hdl.handle.net/10138/584822 empty pcmax-scheduling-m40-26287-324155-SAT.sanitized.cnf.xz main_2024,submissions_2024
334aa882de28856fc8c75885285d2a3c fb5647d34cdae8d486dabe86eace2a63 hamiltonian-cycle heule sat http://hdl.handle.net/10138/333647 no HCP-446-105.cnf.xz anni_2022,main_2021,main_2024,main_2025
3593875d75d6e836a3ac328c5426c1b5 bf38ca9320016c52dba3ab99bda5f939 scheduling lester sat http://hdl.handle.net/10138/359079 empty Break_18_32.xml.cnf.xz main_2024,submissions_2022
37ca184832fc6fa43a22ae900f1756a2 99d16ac848d32c7c8af61ed3255ef147 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_32in32out_with_350gates_6in6out_dist64_seed1.sanitized.cnf.xz main_2024,submissions_2024
396fd56f3fd7b85afbba4254ea6e746c 5ceb0997bee38658900b5957ab7da955 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_32in32out_with_80gates_7in7out_dist128_seed1.sanitized.cnf.xz main_2024,submissions_2024
3988a60c6e93167763c6fd2a347d5859 5228db459c61c3c4736dac645735fc68 scheduling lester sat http://hdl.handle.net/10138/359079 empty Break_08_24.xml.cnf.xz main_2024,submissions_2022
3a75ad246dbc750a7391ad887c5b0835 0f96ce212002fb59cbb97d8497741ef0 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-11093.sat.sanitized.cnf.xz main_2024,submissions_2024
3bf8ba6bb4e4ea9ad08b1b058661ba2e 295aa8fbedb5c4f7d9c7136b875e8f8a summle manthey sat http://hdl.handle.net/10138/359079 empty summle_X4044_steps7_I1-2-2-4-4-8-25-100.cnf.xz main_2024,submissions_2022
3ed56242f55e3653dbceeb4a70221787 a99f576c45bc59f4d60ea72dd1546a18 rbsat huang sat empty no rbsat-v945c61409gyes9-sc2009.cnf.xz anni_2022,main_2019,main_2024
4073757aae06fc2b50c043f088b132b4 aea6135034af7e4aa63627408baf5ecd cryptography-simon yuhangqian sat http://hdl.handle.net/10138/584822 empty simon-r19-1.sanitized.cnf.xz main_2024,submissions_2024
41f4cb4992a481c9d43e2e1a4e2349ac 86b0988f3520273d9885ae06bad3f2fa sgen spence sat empty no sgen1-sat-180-100.cnf.xz anni_2022,crafted_2009,crafted_2012,main_2024
43e492bccfd57029b758897b17d7f04f e13a2845fdd07b79ac803526803ed114 scheduling mayer-eichberger sat empty no pb_300_09_lb_07.cnf.xz anni_2022,application_2013,main_2024
44c25de7963c45e92a2407ad839f6e8b 886f53b24ea0b99f9f81218b0c2a078b scheduling lester sat http://hdl.handle.net/10138/359079 empty Break_20_72.xml.cnf.xz main_2024,submissions_2022
45a09efb026036ff4b8d19024a7563a9 27fcefa47bb5e5e049d457b80197b445 fermat riveros sat http://hdl.handle.net/10138/318754 no fermat-931960058139995587.cnf.xz anni_2022,main_2020,main_2024
461df1a7056560279d532bc2743022b6 bdaacb2f044efd81fdcfcb36642a0a0e heule-folkman heule sat http://hdl.handle.net/10138/584822 empty Folkman-185-75415683.sanitized.cnf.xz main_2024,submissions_2024
47e1ada0070708c2953d322c06aea00d 43084ad92918da6fa61a119e0aac0901 heule-nol heule sat http://hdl.handle.net/10138/584822 empty noL-11-8.sanitized.cnf.xz main_2024,submissions_2024
50019e4419d48196bb4b95933a8b5030 9a327581d26390366e1e0381d0eecaab heule-nol heule sat http://hdl.handle.net/10138/584822 empty noL-11-14.sanitized.cnf.xz main_2024,submissions_2024
511a2d81661a185c2115daec42270dec f59d79cfc906bcbd229d838ebe52d5c0 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_32in32out_with_500gates_6in6out_dist64_seed1.sanitized.cnf.xz main_2024,submissions_2024
52aaf653a79ca14fa1127cda32aa94ce fe2572da5120bc4aa429e6efbf5d3554 heule-nol heule sat http://hdl.handle.net/10138/584822 empty noL-11-10.sanitized.cnf.xz main_2024,submissions_2024
5432e4dd44480fadbd66647db1750c80 d5d1776c1164c5b98f7a477c3eb25370 scheduling schreiber sat http://hdl.handle.net/10138/584822 empty pcmax-scheduling-m24-24102-255206-SAT.sanitized.cnf.xz main_2024,submissions_2024
543e67dd5abc272c37775b1b742a1d9a 65ace48b840b177ef2a3ed5e2684c0d8 quasigroup-completion gomes sat empty no qwh.60.1728.shuffled-as.sat03-1659.cnf.xz anni_2022,handmade_2003,main_2024
54c2da6d387a6f5ad6e014ae4d4decfc 2759ffaf0840b328fb358dc8c6124612 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-10038.sat.sanitized.cnf.xz main_2024,submissions_2024
5690b9b0380aa9508699e56cae5918b5 02fcbe6e6dca7c49851f68356bd960b3 hgen chen sat http://hdl.handle.net/10138/318754 no 170058440.cnf.xz anni_2022,main_2020,main_2024
576ebc1333f2c466c2dec98792721e1f 568fac078fa8dd0f712442b54c75b361 scheduling shuolinli sat http://hdl.handle.net/10138/359079 empty j3037_9_rggt_b.cnf.xz main_2024,submissions_2022
5865fb9a6575d2ae6542c36ab96646a9 270c5a498ef874a8cb1df94195318b54 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-11088.sat.sanitized.cnf.xz main_2024,submissions_2024
59825ed96dc3bbdbd8789a4870b323ec 2cafa87b6321f800d7823abcde66b240 knights-problem unknown sat empty no hcp_CP18_18.cnf.xz anni_2022,main_2019,main_2024,main_2025
5b5dfab02ce5c12a50be3bc7d7cc42c7 a74a93ba3c930d3b69ae189202fae61c scheduling schreiber sat http://hdl.handle.net/10138/584822 empty pcmax-scheduling-m15-2352-13561-SAT.sanitized.cnf.xz main_2024,submissions_2024
5e1c11b77cdf3717b81b957120f0f477 65c3e96404eada15c223d8cdfd1a7a87 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-12001.sat.sanitized.cnf.xz main_2024,submissions_2024
5e5fe73a2e0ffc8e19873298566919fb 832979c374591183a9dfcd78ef326079 rbsat huang sat empty no rbsat-v760c43649gyes3.cnf.xz anni_2022,crafted_2012,main_2024,portfolio_2012
5ea72bcdccc86bd1a924029f7b81aec5 3aac5c2f9449829579e4a32c27ccaba6 scheduling stojadinovic sat http://hdl.handle.net/10138/135571 no atco_enc1_opt1_10_15.cnf.xz anni_2022,application_2014,main_2015,main_2024
5ee7de2bd112aa39485e79c9d487bf8f ddc43fd0ed5f6b5d0870eb5abf994df3 cryptography-simon yuhangqian sat http://hdl.handle.net/10138/584822 empty simon-r23-1.sanitized.cnf.xz main_2024,submissions_2024
634a271f5fe339007a186539d615e92f a78ae864f69f077d88a9e35ba0b235bb heule-nol heule sat http://hdl.handle.net/10138/584822 empty noL-11-4.sanitized.cnf.xz main_2024,submissions_2024
65c5a5d228ec5e52d1a72f918086f584 859c90aa3565ac3f4fd1decb85a98757 miter jinjinliu sat http://hdl.handle.net/10138/584822 empty 32_100.sanitized.cnf.xz main_2024,submissions_2024
695e287a447fcdd924985a6e73057a38 02ff2d5808eb5d429c2aba40a89a6922 rbsat huang sat empty no rbsat-v1150c84314gyes1.cnf.xz anni_2022,crafted_2009,main_2024
6969c86fbc5814332ab8615031334fa8 80db9c56dac66772a4f3b77c9c90a312 cryptography-ascon manthey sat http://hdl.handle.net/10138/563824 no asconhashv12_opt64_H11_M2-fCHjS2L0du5_m2_4.c.cnf.xz main_2024,submissions_2023
697c96ac45534726c7dbd96faa11a86a b9e823699a0211f038452e96ad12e270 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-11094.sat.sanitized.cnf.xz main_2024,submissions_2024
6f7a0e1cf94b6b26eafc08a827a692ce 5dcf28a823de8d8af6d73773f15f5a42 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_64in64out_with_64gates_8in5out_dist256_seed1.sanitized.cnf.xz main_2024,submissions_2024
6fc528fc3d0fd5a2c50992feb8bf0357 b335c5b22c02b46b417a63d1f5ed3b7e scheduling schreiber sat http://hdl.handle.net/10138/584822 empty pcmax-scheduling-m24-17855-226744-SAT.sanitized.cnf.xz main_2024,submissions_2024
7083b70c1976162e2693d7a493717ffd 44b4b8d327b82f35415bf4dadc1a5dc0 battleship skvortsov sat empty no battleship-14-26-sat.cnf.xz anni_2022,crafted_2011,crafted_2012,main_2021,main_2024,portfolio_2012
70bfbd054dc9ffd394fab32845b492d3 79f0629a8f26d414d56a855fc8f33a35 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_32in32out_with_100gates_7in7out_dist64_seed2.sanitized.cnf.xz main_2024,submissions_2024
70ef2b6bdc4101a0e35cf3d165571fe3 58dc043de5293a8472c9fe5c6dc04f53 quasigroup-completion gomes sat empty no qwh.50.1250.shuffled-as.sat03-1655.cnf.xz anni_2022,handmade_2003,main_2024
71a3dd6156463c0c55c4b38394faa753 fec840656fca478599398d8e6d36ede6 maxsat-optimum cherif sat http://hdl.handle.net/10138/359079 empty af-synthesis_stb_50_120_4_sat.cnf.xz main_2024,submissions_2022
71ec94c233016219e12d671594dc88e5 b06ef2b1f1d63093f271ee7a92558903 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_32in32out_with_70gates_7in7out_dist128_seed1.sanitized.cnf.xz main_2024,submissions_2024
72c0d81e16d91bcaed808efcde2e5069 8a40ff0aa201908fdc971cae3da07227 heule-folkman heule sat http://hdl.handle.net/10138/584822 empty Folkman-175-1251868.sanitized.cnf.xz main_2024,submissions_2024
7429e380834066c206394139c9e1e17d fe7456053c197bd3d8994ab3138fc32d maxsat-optimum cherif sat http://hdl.handle.net/10138/359079 empty af-synthesis_stb_50_100_9_sat.cnf.xz main_2024,submissions_2022
74f145bb935650f5c982d7eec6967945 3eaac8a3651f75beae562b41922419cf scheduling schreiber sat http://hdl.handle.net/10138/584822 empty pcmax-scheduling-m43-38782-385402-SAT.sanitized.cnf.xz main_2024,submissions_2024
773f3bd29e202ff700d8b5b459857a2c 73a05380891e4018cf8bff360e9dc582 heule-folkman heule sat http://hdl.handle.net/10138/584822 empty Folkman-175-9054056.sanitized.cnf.xz main_2024,submissions_2024
77b7f7bbf75faaee28f473b9941de103 0e5ccd05ce4371119fdda3fdfbe5b761 heule-folkman heule sat http://hdl.handle.net/10138/584822 empty Folkman-185-19924337.sanitized.cnf.xz main_2024,submissions_2024
79b9e24dd9af185dbec18c9b0a32b1e2 885d18ab635dc6e02f5e3648aa22aff9 cryptography fuhs sat empty no g2-slp-synthesis-aes-top30.cnf.xz,slp-synthesis-aes-top30.cnf.xz anni_2022,application_2011,application_2012,main_2017,main_2024,portfolio_2012
7ac7fabd8c078aea420087a0c80e5563 2d429b0ee4c42e6c7777fc0009da1461 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_32in32out_with_400gates_6in6out_dist64_seed1.sanitized.cnf.xz main_2024,submissions_2024
7cbc3ce2052ba7c5b501f75af58ab3c4 3a681770e66def8c650901ce334426ee cryptography-simon yuhangqian sat http://hdl.handle.net/10138/584822 empty simon-r22-1.sanitized.cnf.xz main_2024,submissions_2024
7e1d279559b202016e5797901e731a39 3c4101b6e0483ef743249d6722b45f9a cryptography-simon yuhangqian sat http://hdl.handle.net/10138/584822 empty simon-r25-0.sanitized.cnf.xz main_2024,submissions_2024
812926407774771b3bd9885f7bfa4841 0a2d98f3fdf3cdd0fce7c021a14d5eed miter jinjinliu sat http://hdl.handle.net/10138/584822 empty lru_9.sanitized.cnf.xz main_2024,submissions_2024
83b330c934d6dd35d56e1b1ca3638b3c bde08355475f6c7f5cb983daafbfe8a1 scheduling shuolinli sat http://hdl.handle.net/10138/359079 empty j3037_1_mdd_b.cnf.xz main_2024,submissions_2022
84c6d7e4a18aacf166105aaa3cd6e3de 4192b278022ca5ce5c5cec7e2c6903ac miter jinjinliu sat http://hdl.handle.net/10138/584822 empty 128_100.sanitized.cnf.xz main_2024,submissions_2024
88e89266e58f1f125ebc4e0f66e2c060 51ce1c4d19dd455f1b40e756ecf469ce miter jinjinliu sat http://hdl.handle.net/10138/584822 empty 32_200.sanitized.cnf.xz main_2024,submissions_2024
8942dca5dc0876fc3f723f738d72de1c 36359b70f8fabf229e05c15554514767 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_32in32out_with_64gates_8in6out_dist128_seed2.sanitized.cnf.xz main_2024,submissions_2024
897acc1858ce0887f286aba5c0d56d71 1b474b4b4ef1ebbe72bb553e8d10625a polynomial-multiplication xiao sat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=61 no Nb13T165.cnf.xz anni_2022,main_2018,main_2024
8b18bb75459a4161633ba2a3c8ee183e 6949a2df063632ae31925531cd970aae hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-11062.sat.sanitized.cnf.xz main_2024,submissions_2024
8b31606e10656ff7eb2936262b647443 fc31d5530b00f5d803218dc772837691 argumentation wallner sat http://hdl.handle.net/10138/135571 no stable-300-0.1-20-98765432130020.cnf.xz anni_2022,application_2014,main_2020,main_2024
8e720686372c5037f30b4fc7b1c71d48 5f20e43804cdab12d3bd3fc5bfac3c40 quantum-kochen-specker zhengyu sat http://hdl.handle.net/10138/584822 empty constraints_17_0.4_1.sanitized.cnf.xz main_2024,submissions_2024
8ffd718f763ed7a3f691cf46e57f8d98 26564aab35ab54122d6e31ac9b677c4a minimum-disagreement-parity bryant sat http://hdl.handle.net/10138/359079 empty mdp-32-10-sat.cnf.xz main_2024,submissions_2022
91e0db01b254eb78f6643328045bfeb9 af8730519d158c0818cc0147603182f1 stedman-triples johnson sat empty no sted5_0x1e3-20.cnf.xz anni_2022,main_2018,main_2021,main_2024
9276ce38c625b2d00de247f8588f1542 7d108f0eb6dab974e73d8020dbc6ec29 cryptography soos sat http://hdl.handle.net/10138/318754 no combined-crypto1-wff-seed-102-wffvars-500-cryptocplx-31-overlap-2.cnf.xz anni_2022,main_2020,main_2024
994783ef4ed3a0366842e1b6f9128a6f f048820cd86df2d453e39f39be283f6b heule-nol heule sat http://hdl.handle.net/10138/584822 empty noL-11-6.sanitized.cnf.xz main_2024,submissions_2024
9d9c4fa425282759eb9e98b82fb5f56e 9f0ffdd8db2840fe34e65a6ef5d5c027 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-12087.sat.sanitized.cnf.xz main_2024,submissions_2024
9dcbf221b8d2bb01f30bcca283f3608d 427676308f61059d133b30cd68db8523 erdos-discrepancy heule sat http://hdl.handle.net/10138/135571 no EDP3-11000.cnf.xz anni_2022,crafted_2014,main_2024,main_2025
9e6c2e7b0d6f58e449716deb9305525a 183e8efbbb5680020abd7e9f7bc9b768 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_32in32out_with_96gates_7in7out_dist128_seed1.sanitized.cnf.xz main_2024,submissions_2024
9e85aad5707405fb349c6c5548040cf4 8043a6e672b315dfd2d79fcb73a922ca scheduling schreiber sat http://hdl.handle.net/10138/584822 empty pcmax-scheduling-m35-32274-371389-SAT.sanitized.cnf.xz main_2024,submissions_2024
a08e66296d00f480e9ccadd79fa8b904 f6786da15c6bcf366be1e89885599632 scheduling shuolinli sat http://hdl.handle.net/10138/359079 empty j3045_4_gmto_b.cnf.xz main_2024,submissions_2022
a14d9ee17051ec08a4334ba43089502c a934a2bbfc6a46967627496c167e3d90 miter jinjinliu sat http://hdl.handle.net/10138/584822 empty 64_200.sanitized.cnf.xz main_2024,submissions_2024
a38affaa741c958fc32769d5fe89b06c 044c2cfd3f6335b5b13f8386e9aa54cc random-csp kexu sat empty no frb65-12-2.used-as.sat04-874.cnf.xz anni_2022,handmade_2004,main_2024
a45a0358685867bd4f1c7f7c0b0e379c 9a42ccea9bff8882739a5fab94a789d0 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-10014.sat.sanitized.cnf.xz main_2024,submissions_2024
a5dc6226e4c0bebb06926efe55640995 56a06fc56d6b20bbe8f01be84068a693 minimum-disagreement-parity bryant sat http://hdl.handle.net/10138/359079 empty mdp-36-10-sat.cnf.xz main_2024,submissions_2022
a9cb77454c6cfdf4092fb304d3aae8b7 2b02912620e16a91225e97bbf8d40690 minimum-disagreement-parity bryant sat http://hdl.handle.net/10138/359079 empty mdp-32-16-sat.cnf.xz main_2024,submissions_2022
ab3438b504b296fcee78ec9e71969863 d0f65dffe1fb29c8119690a7e1d45476 minimum-disagreement-parity bryant sat http://hdl.handle.net/10138/359079 empty mdp-36-14-sat.cnf.xz main_2024,submissions_2022
aceab5a3452e2901e645065bda3e8847 c3988a2753ee6e821c3ff93be893a02e miter jinjinliu sat http://hdl.handle.net/10138/584822 empty lru_8.sanitized.cnf.xz main_2024,submissions_2024
adf6dacdd64c93f9de1aa0eadf427faa a13026a3ce4d8beff0d5c3c28f14d2b9 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_48in64out_with_800gates_4in4out_dist128_seed1.sanitized.cnf.xz main_2024,submissions_2024
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
af05a6b68a1cff165b684d9ff0ae3b3b 38051f3e502c9775d9b5bbbc55b1ccac hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-12098.sat.sanitized.cnf.xz main_2024,submissions_2024
af750c18578d52e60472315692ad83c0 3dfb9312388b47546fafb171decb8af7 subgraph-isomorphism zhou sat empty empty si2-b03m-m800-03.cnf.xz anni_2022,main_2018,main_2024
b3167d999edd81291f33636464f2f8e6 8fb3d69a4d051b6e6c7b4da8951d5335 heule-folkman heule sat http://hdl.handle.net/10138/584822 empty Folkman-190-104806020.sanitized.cnf.xz main_2024,submissions_2024
b44ea915362c3a140269003d45b1d053 6938d247017c3581a59e2def88f968f2 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-11034.sat.sanitized.cnf.xz main_2024,submissions_2024
b68ae7866df5e852c3acb97a46da2faf 136631779011de428dac7574b4f9cb27 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_48in64out_with_1000gates_4in4out_dist128_seed4.sanitized.cnf.xz main_2024,submissions_2024
b8c7c777e76995e5bf7b517f2db234ba 9779b95660d365c45eb78a5353e2296a heule-nol heule sat http://hdl.handle.net/10138/584822 empty noL-11-16.sanitized.cnf.xz main_2024,submissions_2024
bbfed8974655bca520259deb10d2347b 8efa7a4e4521067994f634b26558ffa3 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-09054.sat.sanitized.cnf.xz main_2024,submissions_2024
bd12a2b66110451b050bd5d2943b1854 91c7960dfcda44609bdb4ad799e5dfc4 scheduling lester sat http://hdl.handle.net/10138/359079 empty ITC2021_Early_10.xml.cnf.xz main_2024,submissions_2022
be18894105e006399cc018abc14b204f 5773ce134e35cc358dd1fbf0244496b5 maxsat-optimum cherif sat http://hdl.handle.net/10138/359079 empty af-synthesis_stb_50_40_9_sat.cnf.xz main_2024,submissions_2022
be6411f4784a3c879886dda807cdc607 1ee280ac060733add62fba57e9aa2a41 scheduling shuolinli sat http://hdl.handle.net/10138/359079 empty j3037_10_mdd_b.cnf.xz main_2024,submissions_2022
c0293283432a9b15cd743702163f5184 69f1395d891b3620a9d033202362c967 polynomial-multiplication xiao sat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=43 no mp1-Nb7T42.cnf.xz anni_2022,main_2017,main_2024
c214f1eb2576af00e3fb09f7d0305764 28c64e325a4151a896fa40c7cb968106 miter jinjinliu sat http://hdl.handle.net/10138/584822 empty 64_150.sanitized.cnf.xz main_2024,submissions_2024
c2bfe541b7cff948fa3193e9ca0eddee 99b207659afd16987d80da369d5111fe random-csp kexu sat empty no frb45-21-2.used-as.sat04-884.cnf.xz anni_2022,handmade_2004,main_2024
c5a98231dd54cbca06135293bb7e1985 131a0fdcfc207880d9c7dcbfe254e73e hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-11053.sat.sanitized.cnf.xz main_2024,submissions_2024
c5ae0ec49de0959cd14431ce851c14f8 87b28f1486c09d0b0af288dcac7fdb48 circuit-multiplier shunyang sat http://hdl.handle.net/10138/333647 no Circuit_multiplier22.cnf.xz anni_2022,main_2021,main_2024
c73edc350cfa8e07af58db50054aea45 ba9209ca8c1c77ce22ec86d323383866 heule-nol heule sat http://hdl.handle.net/10138/584822 empty noL-11-12.sanitized.cnf.xz main_2024,submissions_2024
c801a020a6c8bc3c287fea495203b114 9d15be4364b183608aba6fb8b88fd45e scheduling xindi sat http://hdl.handle.net/10138/359079 empty worker_20_40_20_0.95.cnf.xz main_2024,submissions_2022
c82eee3badbc8432dad72d1d575a0ea6 ef6f9e614625fb63e8b6ec198918bdc6 cryptography shaw sat http://hdl.handle.net/10138/318754 no preimage_80r_495m_160h_seed_379.cnf.xz anni_2022,main_2020,main_2024
c8e64404361f2426490d39459832c66a e35066586aae48fc31c184fb50600508 miter jinjinliu sat http://hdl.handle.net/10138/584822 empty 64_25.sanitized.cnf.xz main_2024,submissions_2024
ca14adcb9296a7b31d7815c2ed16d0f1 295d82d755e62f711e0bd208f8120867 scheduling lester sat http://hdl.handle.net/10138/359079 empty ITC2021_Early_3.xml.cnf.xz main_2024,submissions_2022
cccee4b0d4c70a5d5422663e2d8887da 1f06f6306b3879af2c4fac1c1583c9ff independent-set manyem sat http://hdl.handle.net/10138/584822 empty 1-ET-512-K-96.sanitized.cnf.xz main_2024,submissions_2024
cd33a862b81ba7b887845d3510c41c62 e027757944750d1a1a982c88db17ae0c cryptography zaikin sat https://helda.helsinki.fi/bitstream/handle/10138/306988/sr2019_proceedings.pdf#page=50 no MASG0_72_keystream76_0.cnf.xz anni_2022,crypto_2021,main_2019,main_2024
cd361d33986dccd7f2d86016d6c35241 d1b110ceb948ef954b44d7ee03cc081c cellular-automata harder sat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=57 no ecarev-110-4099-22-30-7.cnf.xz anni_2022,main_2018,main_2022,main_2024
cdce6277b01ae06ddb95468c5f05de71 2aaf77bc1f32d71c20261d7b385a187f cryptography-simon yuhangqian sat http://hdl.handle.net/10138/584822 empty simon-r17-0.sanitized.cnf.xz main_2024,submissions_2024
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
d02fae1e84cfbe799c792ba237f08f66 633c2f16ee671dcf02243a4ea1a8313f scheduling strichman sat empty no exam_flat_0.04_2018_3.cnf.xz anni_2022,main_2018,main_2024
d11944fbca2dd6540f18bd05b6ccda0c a38296f3d230315aee637ab415deb672 minimum-disagreement-parity bryant sat http://hdl.handle.net/10138/359079 empty mdp-32-14-sat.cnf.xz main_2024,submissions_2022
d1940d3d830eb16a7d2270ca4af4acba 49544a93d50bcdbdc7a9ac3f2e8fb061 minimum-disagreement-parity bryant sat http://hdl.handle.net/10138/359079 empty mdp-28-11-sat.cnf.xz main_2024,submissions_2022
d3893e43819a907055a84e48a6ee97ba 99a8a0f616e0712e344c2e967ed685c1 miter biere sat empty no g2-ak128boothbg2msaig.cnf.xz anni_2022,main_2017,main_2024
d40a68825bdbcdd7642b249325a7b6a2 65adeaf6c6be286a07665a94044e8fc0 heule-folkman heule sat http://hdl.handle.net/10138/584822 empty Folkman-180-5383714.sanitized.cnf.xz main_2024,submissions_2024
da929c2aefde5e59878ad87c4323e581 01a921a27d8dc896f864594b373b9f61 scheduling schreiber sat http://hdl.handle.net/10138/584822 empty pcmax-scheduling-m12-8049-55035-SAT.sanitized.cnf.xz main_2024,submissions_2024
db15a85651e0d941a11bf8640625edd8 8be327aec5fec9a1eefaff4b90b40fbc minimum-disagreement-parity bryant sat http://hdl.handle.net/10138/359079 empty mdp-32-11-sat.cnf.xz main_2024,submissions_2022
de7a6b03999e2bc5bd750831c2662a4d f7401a3dd38778c76ec2ffa36e4365ff heule-nol heule sat http://hdl.handle.net/10138/584822 empty noL-11-18.sanitized.cnf.xz main_2024,submissions_2024
df1bd67978b9b0ec1d326ba174bc273c 3551cb7b5bcff4cfe84761660d03133b hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-12021.sat.sanitized.cnf.xz main_2024,submissions_2024
e067414e153ee98a7842bd6d6dafeee5 a5262112c8b29ec1e65cc69dd46a1574 maxsat-optimum cherif sat http://hdl.handle.net/10138/359079 empty af-synthesis_stb_50_200_0_sat.cnf.xz main_2024,submissions_2022
e0bf26a7527cd162c7d3016d4b2ab9fb 9299df773d4e41cd8ce64b1f40c1c9fd cryptography mironov sat empty no md5_48_1.cnf.xz,miza-sr06-md5-48-01.cnf.xz anni_2022,application_2012,application_2013,application_2016,crypto_2021,main_2010,main_2024
e2deb375e56da2360ecd08fc1179fb7d dcd29f4d1cda720d398543664eccea60 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_48in24out_with_100gates_7in7out_dist128_seed1.sanitized.cnf.xz main_2024,submissions_2024
e371cd7cdde3e7ccb9834290fd4a92d0 372611ba12c1247cadc8304766157a65 miter jinjinliu sat http://hdl.handle.net/10138/584822 empty 32_350.sanitized.cnf.xz main_2024,submissions_2024
e481a97a93fd6b4303f39024d19c2867 cc78c590ad119e9ce903a918760522ef scheduling shuolinli sat http://hdl.handle.net/10138/359079 empty j3037_1_gmto_b.cnf.xz main_2024,submissions_2022
e6cdc2687fa53506021f05b60ad0c6a2 43f3807ad65f66c90e3689a347621bc9 unknown zhou sat empty no GracefulGraph-K05-P02_c18.cnf.xz anni_2022,main_2019,main_2024
e7248b57a310ad461924eb17956cdf3a 21553e785bc01a9f4c0d16f2399ac9ac heule-folkman heule sat http://hdl.handle.net/10138/584822 empty Folkman-190-358004741.sanitized.cnf.xz main_2024,submissions_2024
e85fb114c33f450dc2622c78bc6fa019 2f2406553279854874841ae91933bc41 miter jinjinliu sat http://hdl.handle.net/10138/584822 empty lru_7.sanitized.cnf.xz main_2024,submissions_2024
e99e266b422513a2898c13898a1de501 cbfc5ab3bcec9723015ef5c52c47a347 rbsat huang sat empty no rbsat-v760c43649gyes9.cnf.xz anni_2022,crafted_2012,main_2024
ecca77b5350eca6a4323edd5b38208c6 26f2065e22a98e429ff6e2fd0992df2d cryptography nossum sat empty no 004.cnf.xz anni_2022,application_2013,main_2024
eda4aa84aeeb306468396fa82a6bba5a 4250e7605ddc796ab4a13d392313b1ef scheduling mayer-eichberger sat empty no pb_300_05_lb_17.cnf.xz anni_2022,application_2013,main_2021,main_2024
eddd68e14d69cce7190b99f4e7abdafb 57b23848bf3de2fe2ddeac37b7a5def4 hamiltonian sterten sat https://knighttours.createaforum.com/general-hamiltonian-cycles-problem/hard-randomized-small-hcp-benchmarks/ empty x9-10098.sat.sanitized.cnf.xz main_2024,submissions_2024
eed5189b73738270ae3fdb8b33bf31c8 832ae2adc67b2cbbdbcea06e58c61518 heule-folkman heule sat http://hdl.handle.net/10138/584822 empty Folkman-180-11710376.sanitized.cnf.xz main_2024,submissions_2024
ef16970ab9da31165d3c401ff9b29168 3c6375a3f88e62a085295a03959be2ed heule-folkman heule sat http://hdl.handle.net/10138/584822 empty Folkman-185-152478531.sanitized.cnf.xz main_2024,submissions_2024
f054205a7cef98e5021016f864c69816 5ab6fa6cd85da0a069abfd9480bc3813 summle manthey sat http://hdl.handle.net/10138/359079 empty summle_X11112_steps6_I1-2-2-4-4-8-25-100.cnf.xz main_2024,submissions_2022
f32bb347996c351bc3e9a91c58e8601d 1514db180a74d0c2121b65f2643a46dd influence-maximization kochemazov sat http://hdl.handle.net/10138/318754 no DLTM_twitter774_83_17.cnf.xz anni_2022,main_2020,main_2024,main_2025
f48735588e3515135f039e8bc8efaee5 3fcf73b245e7b9fb6e08b824dea15940 cryptography-ascon manthey sat http://hdl.handle.net/10138/563824 no asconhashv12_opt64_H11_M2-MxJOnbQIXNd_m5_6.c.cnf.xz main_2024,submissions_2023
f50eaf02a8041510b64104998cc81d2f 96d4bf20255c46cb7cc3b5d193d86059 stedman-triples johnson sat empty no sted5_0x24204-50.cnf.xz anni_2022,main_2018,main_2024
f561c52b987bdb9031a477864070b759 e6611db530208e4f550eef4f51c112f2 pythagorean-triples heule sat empty no Ptn-7824-b18.cnf.xz anni_2022,crafted_2016,main_2024
f746dae2050dd4aa48bcd53e8bd897b4 2aa1ba3d564aa9d70444ef9beaaafdca tree-decomposition ehlers sat empty no ex065_25.cnf.xz anni_2022,main_2018,main_2021,main_2024
f7e855b18105170b0718086d3f5b5923 a7bfeebae3721e0743932f28c6bdd3e7 scheduling shuolinli sat http://hdl.handle.net/10138/359079 empty j3045_10_rggt_b.cnf.xz main_2024,submissions_2022
f86dad4ba35369eb720a0c9ddc45037a 75bcce4bdff64087821aaa2a67971fe9 cryptography soos sat http://hdl.handle.net/10138/318754 no combined-crypto1-wff-seed-1-wffvars-450-cryptocplx-40-overlap-2.cnf.xz anni_2022,main_2020,main_2024
fa50d69adc71fe4daf7f9088cd02864a 926a089cb9cb311befe4faad62f9d097 random-circuits franck sat http://hdl.handle.net/10138/584822 empty circuit_32in64out_with_150gates_6in6out_dist256_seed1.sanitized.cnf.xz main_2024,submissions_2024
ff9e9b01d50d01ecb6740472d7dd36cd 56714d8529d4d571c5a3e2d2bed22b49 independent-set manyem sat http://hdl.handle.net/10138/584822 empty 1-ZC-512-K-61.sanitized.cnf.xz main_2024,submissions_2024