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_anni_2022.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_anni_2022.uri.
  • Download the selected database: meta
hash isohash family author result proceedings minisat1m filename track
00063d88244921d6ec46aeab6866a8e2 d642ae7fc5e1fd972d4b130407ea4519 miter biere unsat http://hdl.handle.net/10138/135571 no 6s16.cnf.xz,san-6s16.cnf.xz anni_2022,application_2014,main_2015
000a41cdca43be89ed62ea3abf2d0b64 bb3b6ceaeee2d5e9fd8e1066389a8a94 sorting-networks ehlers sat empty yes snw_13_9_pre.cnf.xz anni_2022,application_2016,main_2021
002a0330958a14deb23dcc84b5489e8a 227779ac538cd3a2c78c6ff3d8cad235 scheduling manthey unsat empty no traffic_f_unknown.cnf.xz anni_2022,application_2011,application_2012,main_2022
0033baadbd48d3f880e9b5a733bd4950 767c3e4149c9da1265bdfdb3e1526766 coloring vangelder unsat empty yes rope_0030.shuffled.cnf.xz anni_2022,handmade_2002
003a77d2aa15a5f93aa2cfe79b986c9e 52b4b2deffe6f3a04cde483bc0665f3a coloring sabharwal sat empty yes fclqcolor-20-15-15.shuffled-as.sat05-1270.cnf.xz anni_2022,crafted_2005
0041051c73dcdd885d412a38e8b09fba 1731a457fce065a6a758b224839f45ee relativized-pigeon-hole elffers unsat empty no rphp4_065_shuffled.cnf.xz anni_2022,crafted_2016,main_2021
0041f01bcd7d0d1f9541cea6da79ad57 dbc0536d387cedf9d93e2cba738a15d5 subgraph-isomorphism anton unsat empty no SGI_30_60_24_40_2-dir.shuffled-as.sat03-118.cnf.xz anni_2022,handmade_2003
004b0f451f7d96f6a572e9e76360f51a 8614f82909dc0eaab513724a4ecf9835 cellular-automata chowdhury unsat http://hdl.handle.net/10138/333647 no spg_420_280.cnf.xz anni_2022,main_2021,main_2022,main_2023
0059d4b1cf79efbc6e6ed50caee0448e 5865199aa84abc74c6a4626dae53555a coloring pehoushek sat empty no 4col220_9_1.shuffled.cnf.xz anni_2022,handmade_2002
005ccb378ced61c02105ed7ee0a62038 9cc1026828eb0c34c158572ced7530ad matrix-multiplication markstrom unsat empty yes mm-2x2-5-0-s.1.shuffled-as.sat03-1496.cnf.xz anni_2022,handmade_2003
0062dc10471119b9e13da682216b190f 7e2613987e25c3050afcd89a56b4afc4 tree-decomposition ehlers sat empty no ex179_11.cnf.xz anni_2022,main_2018
0064aa2e16c9d4b18d32a45d3073fce9 1e7e0203228fbd91f74db79d140099fc miter goldberg unsat empty yes desmul.miter.used-as.sat04-330.cnf.xz,goldberg03:hard_eq_check:desmul.miter.used-as.sat04-330.cnf.xz anni_2022,application_2012,industrial_2004
0071b624d91ebe408b0585f8c4e34fd9 ab1e93b4ab8be51c40a14b9543dd5c61 scheduling kummling unsat empty no ctl_4291_567_7_unsat.cnf.xz anni_2022,application_2013
008e7716c69009090ff6bd0048dc55f8 be2f6ade7fb483507373d03afa16dca9 hardware-verification ibm unsat empty no SAT_dat.k10.cnf.xz anni_2022,application_2012,main_2023
00a62eb89afbf27e1addf8f5c437da9b 0d70f59e9d0fbac87d26088a5f9a8812 unknown zhou sat empty no ortholatin-7.cnf.xz anni_2022,main_2018,main_2022
00a981f385cd209d41e1efa1f5f29bac cec04e06ad991983108fe7ed0cd92fea hardware-verification ibm sat empty yes ibm-2004-03-k70.cnf.xz anni_2022,main_2006,main_2023
00aefd1fc30c425075166ca051e57218 fdf55e1b02a137ed2884650e1b991092 planning balyo unsat empty empty barman-pfile10-038.sas.ex.15.cnf.xz anni_2022,application_2016,main_2022
00b9b467c26540853360491401da61a5 187460f08c94149081ab81130be5c5ce bitvector unknown unsat empty yes minand064.cnf.xz anni_2022,mus_2011
00be590675417eba2bb2585790ac392d 5bce323bf7c9cc5fa639c275deeeb53e quasigroup-completion sorge sat empty yes iso-brn008.shuffled-as.sat05-2933.cnf.xz anni_2022,crafted_2005
00d239e486137a4f7264adb4fb57d5ae a207e99f5dcfe500129f591ecbc4568b miter stanion unsat empty no hwb-n24-01-S1048418025.shuffled-as.sat03-1617.cnf.xz anni_2022,handmade_2003
00e289099ea9bcef6a056a8c8ba8a3c0 5b42e642bcfcf38ae7330cd2b8f7bdbd bitvector kovasznai sat empty yes ndist.b.21497.cnf.xz anni_2022,crafted_2013
00ec2992d59f85705eb8e1f4f1e01b3d d0e5d8d44a8534076afaec8a6d0f6960 sgen spence sat empty no sgen4-sat-280-8.cnf.xz anni_2022,crafted_2012
00f2eb377986e7decbc863931680a3b2 58ea2da369f461984afb6767e0e5da33 miter goldberg unsat empty yes rand_net70-40-10.shuffled.cnf.xz anni_2022,industrial_2002,main_2023
00f4aca773e5675f35263dcd46b15bde 755e0e8a5bdf16181846015a7838e346 cryptography grieu sat empty no vmpc_28.shuffled-as.sat05-1957.cnf.xz anni_2022,industrial_2005,main_2023
00f969737ba4338bd233cd3ed249bd55 64e930a465e08fb6bc8a6a49b64c7e7f coloring pehoushek unsat empty yes 3col20_5_6.shuffled.cnf.xz anni_2022,handmade_2002
0101d013a916d903e8e618d7db1edbb3 d28afa3a5878b8932a4b1e3674d8b1f3 phnf heule unknown empty no phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.sat05-4189.reshuffled-07.cnf.xz anni_2022,crafted_2007
0107f34364dfff8ab062193b2c71b4de 2bd0081d71b36b56448d72653dff77a0 minimal-superpermutation lester unsat http://hdl.handle.net/10138/333647 no sp4-33-bin-nons-flat-noid.cnf.xz,sp4-33-bin-stri-flat-noid.cnf.xz anni_2022,main_2021
010c9d7a6e9e6cac63f110915d9dd56e 4034d18a0965b0d9f9eeba6b354329fc coloring pehoushek unsat empty yes 3col60_5_9.shuffled.cnf.xz anni_2022,handmade_2002
01135f7a79d555bd0406f00fac22cbe2 2fadfdc4118ac6901c10d1e637fa8779 scheduling djamegni unknown http://hdl.handle.net/10138/333647 no SC21_Timetable_C_140_E_29_Cl_10_S_15.cnf.xz anni_2022,main_2021
01209700b6b45ca5fda7fbcb17765db1 538ae4183d432caff70953db218c8e72 cryptography fuhs sat empty no slp-synthesis-aes-top27.cnf.xz anni_2022,application_2012,application_2013
01225987412b6f8423cc68be93385f6e 182ce58e42831885a7ebda1b64a0821b hardware-verification unknown unknown empty no eqspwtrc16bparrc16.cnf.xz anni_2022,main_2019
01243b47967a3d012ea22e993355c833 37e3d3cbef9d5d6d44a152380a836ed2 hardware-verification manolios unsat empty no f8bidw.cnf.xz anni_2022,application_2012,portfolio_2012
013a51ccada51812061ed2d6504e23a5 beaea51d281d28def0df9d100039094c quasigroup-completion heule unsat empty no gensys-icl003.shuffled-as.sat05-3824.cnf.xz anni_2022,crafted_2005
0141b82b3d2a411d8c2168119e2d7452 31e650a27636d3719a15309982098297 coloring vangelder unsat empty yes rope_0012.shuffled.cnf.xz anni_2022,handmade_2002
0151bedac526ee195bc52e4134cd80e7 4d1f1aa702b578570dfed05afa42f82e cryptography paxian sat http://hdl.handle.net/10138/318754 no ssAES_4-4-8_round_8-10_faultAt_8_fault_injections_2_seed_1579630418.cnf.xz anni_2022,main_2020,main_2022
0152d286cde406747d179c36a95c2fdc 7b384790f4ebf824b8a70c2c25972fd0 bitvector kovasznai unsat http://hdl.handle.net/10138/135571 yes shift1add.10000.cnf.xz anni_2022,crafted_2014
01657386753a1369dd286a3fee9062e4 9214287c8ef560033654e5f57482a4fd subgraph-isomorphism anton unsat empty no SGI_30_70_28_60_1-log.shuffled-as.sat03-176.cnf.xz anni_2022,handmade_2003
0167ead7da1e981805564ca981f64bea 862a6c8dbaf820705052d041b91a5a40 unknown unknown unknown empty no aim-200-6_0-yes1-4.cnf.mis-135.debugged.cnf.xz anni_2022,crafted_2012,portfolio_2012
017bba0f995e6d9921253e5a59521435 cffc82b571dd2acddcaaaa8f9c6f39a4 fpga-routing goldberg sat empty yes 9symml_gr_2pin_w6.shuffled.cnf.xz anni_2022,industrial_2002
01843a0195183ca14246a88bf7bad482 e3816fdaa929f5e8036ae0a62bec1bfe bitvector unknown unsat empty yes smulo016.cnf.xz anni_2022,application_2009,mus_2011
0191a0bf3412ed407ba669f8d69081ee 88513f91fafb488773e76f74778f7fee planning surynek sat empty no mrpp_6x6#18_20.cnf.xz anni_2022,crafted_2013,main_2023
01966a0fc52b2200a13f5f835275a919 5a9dd00cd47caff7e82d76b201b10ba9 subgraph-isomorphism anton unsat empty no SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf.xz anni_2022,crafted_2011,handmade_2003,main_2023
01979ca4966cc363ec3caeebd8d3fc31 50200af14cbde01d7e16d4ab18015ef4 generic-csp connamacher unsat empty no connm-ue-csp-sat-n600-d0.04-s1979668539.used-as.sat04-981.cnf.xz anni_2022,handmade_2004
019dc69c96737c3d62696c9acf3edf1b e9276a91f8520ce1f06b723511caf417 cril-misc frioux unsat empty no T107.2.0.cnf.xz anni_2022,main_2018
01a74343f618546e9ad2a60849140317 ec7f4fef90ed4b7ced88db05c57ceddb graph-isomorphism mugrauer unsat empty no crafted_n12_d6_c3_num26.cnf.xz anni_2022,crafted_2013
01af042093bf36119811b6e658e7a231 6b85e5324af02ab35dcac01b2488e57d coloring elffers unsat empty no ecgrid6x155_shuffled.cnf.xz anni_2022,crafted_2016
01bc4d75a43a8293132d0be627341207 ad3fbd16f7906c4d765f7414f63604f4 2d-strip-packing leberre sat empty yes E04F19.cnf.xz anni_2022,application_2011,application_2012,application_2013
01bd0865ab694bc71d80b7d285d5777d 229a1d5cc46e471a427367c4c0d72a41 hardware-bmc unknown unsat empty yes shuffling-2-s1480152728-of-bench-sat04-434.used-as.sat04-711.cnf.xz anni_2022,industrial_2004,main_2023
01d142c43f3ce9a8c5ef7a1ecdbb6cba 5375781cee9171c29fe1cc5adfcf63a6 tseitin-formulas chu-min-li unsat empty yes urquhart3_25bis.shuffled.cnf.xz anni_2022,crafted_2011,crafted_2012,handmade_2002,main_2022,portfolio_2012
01d494c2afa4960a236bf8412e2bd08a 63ad4d4c5cd42526fa69ca73bf1e4564 hardware-verification manolios unsat empty yes manol-pipe-c10id_s.cnf.xz anni_2022,main_2006
01dd5feb463fa80f73809718f6ff735b a0b6e6ea6584ae654126948c9f356f76 hardware-verification velev unsat empty no 10pipe_q0_k.cnf.xz anni_2022,application_2012,application_2013,application_2014,main_2015,main_2023,portfolio_2012
0205e0724a8a912dde9ad7dfba2aee0b f7d23a28efe988b74ef9be20931d23ff cryptography nossum sat http://hdl.handle.net/10138/135571 no 003-23-80.cnf.xz anni_2022,application_2014,main_2022
02066c116dbacc40ec5cca2067db26c0 5cf868fa1b66e35fedbcdba5b6a33044 planning surynek unsat empty no mrpp_4x4#12_12.cnf.xz anni_2022,main_2015,main_2023,main_2024
021331d523ad3092616ff99cf0c6c355 549033bd619626634d607482ec19c408 cryptography heule unsat empty empty arcfour_initialPermutation_6_14.cnf.xz anni_2022,application_2013,application_2016
021686368317a35103f1f671f783d958 aba56e13d6a8a83ded3c82a3a4f396c2 hardware-verification velev sat empty no velev-npe-1.0-9dlx-b71.cnf.xz anni_2022,application_2011,application_2012,application_2013,main_2006,main_2008
0216f9d35f2b695b904fffb312e3e611 9b527a8fb47912318640ddced14d1903 cryptography scheel sat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=68 no cms-scheel-md5-families-r24-c11-p1-4-6-9-10-11-13-15-17-18-19.cnf.xz anni_2022,main_2018
02197ec055ea06c347bf1c6ceb6facf7 a1a037134e6c5db82745f9a827a6fb8b cryptography fuhs unknown empty no slp-synthesis-aes-bottom24.cnf.xz anni_2022,application_2011
02223564bd2f5c20768e63cf28c785e3 d2b06175765e907d90d9161bbddffd9d cardinality-constraints wynn sat empty no mp1-squ_ali_s10x10_c39_abio_SAT.cnf.xz anni_2022,main_2017,main_2021,main_2022
02257f12aa71e6622d2bf4d0f7111ebf aecc45e149cf2ad6586239f232120997 sgen spence unknown empty no sgen1-unsat-139-100.cnf.mis-105.debugged.cnf.xz anni_2022,crafted_2012
0227c865edaeda75e13eea36d57b7eed bfe345984ddb73ac61b7214bfd90ceca bitvector biere unknown https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=56 no sdiv40prop.cnf.xz anni_2022,main_2018
022b841952d37f0d6a0d050c9b4b0071 6caebead460ed943af79cd97e2743bfc miter goldberg unsat empty no goldb-heqc-i8mul.cnf.xz anni_2022,main_2006
022dc7e9935f3570c088db58bd84b2c6 68f50c692593bc25e0beaacb7ec16ba9 planning surynek unsat empty yes mrpp_6x6#12_8.cnf.xz anni_2022,main_2015
02404a08ea36dd43362bbddc578c839d d3a608c89278d7ac35aae1e509caffb7 scheduling kummling unsat empty no ctl_4201_555_unsat.cnf.xz anni_2022,application_2013,main_2021
0240f5bddc39ad2f0a786c811fc434a8 0cd2aea85d4aaf9b304e97c60779d472 scheduling djamegni sat http://hdl.handle.net/10138/333647 no SC21_Timetable_C_542_E_71_Cl_36_S_35.cnf.xz anni_2022,main_2021,main_2022
0241f35c5752768d2b0580533d143a14 0512de646a4a96e70c24d03bd7b7db08 station-repacking newman sat https://satcompetition.github.io/2020/downloads/station-repacking.pdf no 53-131587.cnf.xz anni_2022,main_2020
024af9416f8c1dad1b4f974757e38d51 24db3ea20dd1fd354161c3e144dd6288 unknown mayer-eichberger sat empty no 8-5-6.cnf.xz anni_2022,main_2018,main_2020,main_2022
0261b44c278c36459061c368aa00575a 582f536405fcb8df991431b4084b23b7 erdos-discrepancy heule sat http://hdl.handle.net/10138/135571 no EDP3-12000.cnf.xz anni_2022,crafted_2014
02627689047d06fbb642eef14768d751 27b1edece5e3a30d93ad05a3a97abb60 cellular-automata chowdhury unsat http://hdl.handle.net/10138/318754 no ps_200_300_70.cnf.xz anni_2022,main_2020,main_2022
0278eee117c3821771e2d18d710a89ad 876f9f53125a09ce7d420dd8d73c5ef2 equivalence-chain heule unknown empty no equilarge_l5.sat05-522.reshuffled-07.cnf.xz anni_2022,crafted_2007
028d0cc7af63e9bba5795f20e24db4f6 60d9b7ee8c58b2f8f6ad4273aa7311bd prime-factoring pyhala sat empty yes pyhala-braun-sat-35-4-04.shuffled.cnf.xz anni_2022,handmade_2002,main_2023
0294158664d9ada36bd23fbb652cb823 2b56e70d6b1f775b02af386d921dfa8a bitvector jarvisalo unsat empty no smtlib-qfbv-aigs-countbits128-tseitin.cnf.xz anni_2022,application_2011,main_2022
0297c2a35f116ffd5382aea5b421e6df fbf146c7b436dccb78ae1b3c1a31b549 tseitin-formulas chu-min-li unsat empty yes Urquhart-s3-b3.shuffled-as.sat03-1556.cnf.xz,Urquhart-s3-b3.shuffled-as.sat03-1556.used-as.sat04-805.cnf.xz anni_2022,handmade_2003,handmade_2004,main_2023
02b69d0e5c2b68d5c3d650164b6c277d 46200d8895ab0e1d5dea45c7202fa65f ramseycube unknown sat empty yes Q3inK08.cnf.xz anni_2022,crafted_2009
02bc149bbe801807912f651c7bad3e74 e3e114b6432d2f460894bc54133d020f quasigroup-completion sorge unsat empty no dead-dnd008.shuffled-as.sat05-3114.cnf.xz anni_2022,crafted_2005
02c3f1d24074cba45a64d0b4b5aa0238 3422555691690e6b21b7f6d785333558 miter biere unsat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=37 no g2-hwmcc15deep-bobpcihm-k32.cnf.xz anni_2022,main_2017
02c6fe8483e4f4474b7ac9731772535d 669dec4994a317046dc50dc5dadac838 core-based-generator hartung unsat http://hdl.handle.net/10138/318754 empty ncc_none_7047_6_3_3_0_0_420.cnf.xz anni_2022,main_2020,main_2022,main_2023
02cfa5a71b5c89a1b10b5f5a5221ed05 940f339954500ab3c9392d2cb5f29d43 alloy-vpn-models narain sat empty no clauses-8.cnf.xz,clauses-8.renamed-as.sat05-1964.cnf.xz anni_2022,application_2009,application_2012,industrial_2005,industrial_2007
02d8847ee38504792705d794eb93e9a7 ac0166de8f64dc4c57894bc74364bf97 scheduling manthey unsat empty no traffic_b_unsat.cnf.xz anni_2022,application_2011,application_2012,portfolio_2012
02eef920cd1aab9ef3492fe27bf515c4 07fb4b0fd229facf1b34f6fb2e701b61 pigeon-hole unknown unsat empty no php-025-024.shuffled-as.sat05-1191.cnf.xz anni_2022,crafted_2005
02f2343e32f9070f149708d77556b4aa 9c55e620f95945336a84c0319e5164f6 hypertree-decomposition schidler sat http://hdl.handle.net/10138/318754 no Kakuro-easy-117-ext.xml.hg_5.cnf.xz anni_2022,main_2020,main_2022
03041657b7177746724b819433c83b20 bca0defa0c1e8847b0d56f23093f2d69 planning palacios unsat empty yes blocks-4-ipc5-h21-unknown.cnf.xz anni_2022,application_2011,application_2012,industrial_2007,portfolio_2012
0309ea422084568c2b4df13b32094380 7b8f701bb1e86415e1fabcfde2fb3deb rbsat huang sat empty no rbsat-v945c61409gyes1.cnf.xz anni_2022,crafted_2011
031757c0a6797eddf3e84bcefbbdb753 0208ce3e9b365d17d57566a011de8433 edge-matching holten unknown http://hdl.handle.net/10138/318754 no b2005-p2-14x14c17h9-Ser4-0.cnf.xz anni_2022,main_2020
031c99d72be38eedacc8b402784e9821 3e80d22046c0a0059904e9df636ae843 diagnosis anbulagan unknown empty no partial-10-17-u.cnf.xz anni_2022,industrial_2007
033560dbd1b4d3545b4b40ef90aaaa29 a4a5ada838a699284f04a4d6976e3a51 diagnosis anbulagan unsat empty no total-5-15-u.cnf.xz anni_2022,application_2009,industrial_2007
0336f81b60baac5b8f481dd3c32861a5 c691b5d79fe4f81e65352d1a0e97bcaa modcircuits unknown sat empty no mod4block_2vars_10gates_u2_autoenc-sc2009.cnf.xz anni_2022,main_2019,main_2023
033743e540b7f6e2114a3e6981558795 d483f18414d40125bbaa4a3cc226df43 circuit-minimization li unknown empty no li-test4-97.shuffled-as.sat03-375.cnf.xz anni_2022,industrial_2003
033d611722714d5206cc0184479e92e2 58decb83d3997ec053b066d4eaceb410 tseitin-formulas bevan unsat empty no urqh2x5.shuffled-as.sat03-1473.cnf.xz anni_2022,handmade_2003
033f38da07bdbbad4763eaf1fe97ce37 387c42140e3ddb9c3065c52d69f718c5 termination-analysis fuhs unsat empty no AProVE07-27.cnf.xz anni_2022,application_2009,application_2012,application_2013,application_2014,industrial_2007,main_2010,main_2015,portfolio_2012
035c200bbf0a783e4ec9656cfa9b2f68 a31aedf4485bd1f3f95bfa0ed209fb04 cryptography grieu sat empty yes vmpc_34.shuffled-as.sat05-1958-sc2005.cnf.xz anni_2022,main_2019
036b541db9d0839b0591d408ff4f77ae 10c77f9954952ffea054702504054e58 cryptography-cbmc post unsat empty no aes_decry_2_rounds.debugged.cnf.xz anni_2022,application_2012,crypto_2021,main_2023,portfolio_2012
0379936c75c225f1a9a113762b019da6 62a20d3399318d17c81a2855c6e8723e termination-analysis fuhs sat empty yes AProVE09-17.cnf.xz anni_2022,application_2009,application_2012
037c423f56548082b1935e88c48ffdda c609561d95e240d1b7e3112b71458bea coloring pehoushek sat empty yes 3col120_5_2.shuffled.cnf.xz anni_2022,handmade_2002,main_2023
037d21e060a2e3eab8b080aa84ceee75 b021796f7c7ac5990b981f36e13dcf10 matrix-multiplication markstrom sat empty yes mm-1x10-10-10-sb.1.shuffled-as.sat03-1489.cnf.xz anni_2022,handmade_2003,main_2023
0398e6b20de133ba8b49c74b67dad7b7 677da042b274c04a8d7b20db343f3e7c miter biere unsat https://helda.helsinki.fi/bitstream/handle/10138/306988/sr2019_proceedings.pdf#page=49 no 6s133-sc2014.cnf.xz anni_2022,main_2019,main_2022
039b45f4a3979c9176b115bb8e88342f 23103fcaf9e4ede97576f562f76d5f34 genurq ostrowski sat empty yes genurq8Sat.shuffled-as.sat03-1514.cnf.xz anni_2022,handmade_2003
03a1a18521814692f56a8ecbea0031d4 6d62a51a9cf467b15996244efa99f031 miter wedler unsat empty no ablmulub2x32o-sc2016.cnf.xz anni_2022,main_2019
03a1ada3e778fcec8a7ee0c9e685d4be d0244c9975e35e00a4a42f6d1d9b4fb5 generic-csp connamacher sat empty no connm-ue-csp-sat-n1200-d-0.02-s1528687777.used-as.sat04-953.cnf.xz anni_2022,handmade_2004
03a43a7ea55217f53542ed3f029963af 763e6d144978e6d0810db7343c7d8b7d test-configuration biere unsat http://hdl.handle.net/10138/333647 no satch2ways16w.cnf.xz anni_2022,main_2021,main_2023
03b75ba4f3a1bdcc58c89e6846eecaab b0b3a40dc3f17e01860ade71df1b0671 xor-chain zhang-lintao unsat empty no x2_128.shuffled-as.sat03-1598.cnf.xz anni_2022,handmade_2003
03ba29d5cb38d345357a74a7b5ccd759 0c58195f52c748a752bb242bd9b25bac maxsat-optimum cherif sat http://hdl.handle.net/10138/333647 no 20-100-lambda100-49_sat.cnf.xz anni_2022,main_2021,main_2022
03bb7baaa45980753a0e7050ae44755d 2c44650528ec6da8a04b61114f944608 scheduling stojadinovic sat http://hdl.handle.net/10138/135571 no atco_enc3_opt1_03_53.cnf.xz anni_2022,application_2014,main_2022
03c44a93577c98119dc498053888937a bcb2c8399c1d79cc080fba455d580431 scheduling kummling unsat empty no ctl_4291_567_1_unsat_pre.cnf.xz anni_2022,application_2013,main_2022
03c5fef8cb8957ecf687548c8d504d10 2172fa08aa08de79b1349be0f9622522 subgraph-isomorphism anton unsat empty no SGI_30_80_21_90_2-log.shuffled-as.sat03-198.cnf.xz anni_2022,handmade_2003
03c8a9ffce923a8cb3452f18d371eacf 9ac4ee61363d204fec191683818148b7 rooks manthey unsat http://hdl.handle.net/10138/135571 no rook-55-0-1.cnf.xz anni_2022,crafted_2014
03cb9868146a1c420ba8e3b1b08865b8 55a3944fd03a71fe39874b8d93b1096a coloring pehoushek sat empty yes 3col300_5_2.shuffled.cnf.xz anni_2022,handmade_2002
03d1d6df36fdec5be7b60e6f0cd382f7 c185d44b30705cb541c781ad9ffd0c53 coloring pehoushek sat empty yes 3col280_5_8.shuffled.cnf.xz anni_2022,handmade_2002
03d8064f3be30daecf2ffe4c54361e61 472c55cf2f04935c6d32aa4cd7350fb3 sgen spence unsat http://hdl.handle.net/10138/135571 no edges-025-4-7932777-1-00.cnf.xz anni_2022,crafted_2014
03d93f5c0378205e17260e16e463ac67 30953dea24d4dd4b3814af0904f10f0f scheduling konan unknown empty no TimetableCNFEncoding_5_UNKNOWN-sc2018.cnf.xz anni_2022,main_2019
03de316ba1e90305471a3b8620cb9cd7 81c4937178ec57855aed167d7f2892b9 subgraph-isomorphism anton sat empty yes satsgi-n23himBHm26-p0-q248.cnf.xz,satsgi-n23himBHm26-p0-q257.cnf.xz anni_2022,crafted_2009,crafted_2012,main_2023
03f25e67e52baf9fb1e782026d46c8a8 1c36a0328c0905dea849c31732c95cbc coloring vangelder unsat empty yes rope_0003.shuffled.cnf.xz anni_2022,handmade_2002
03fb9af7b390fe9e0739150ca3410cf0 07a2c5f0e9887314a2e5609bff4eae84 coloring oostema sat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=68 no 4g_5color_166_100_02.cnf.xz anni_2022,main_2020,main_2022
04071576275e4113b60c21601b364345 7b238738b9525151f02c06f1c03a8471 tseitin-formulas bevan unsat empty yes marg2x5.shuffled-as.sat03-1443.cnf.xz anni_2022,handmade_2003
04121f3fbe313b7046c9f54ac1e26c75 6be90adbad773f343d429a4d5726c625 modcircuits unknown unknown empty no mod3block_2vars_9gates_u2_autoenc.cnf.xz anni_2022,crafted_2009
0412f6f3174dfc4c27ad0b61280cd739 46de7984353de4a63a3c63908c69124d subgraph-isomorphism anton unsat empty no SGI_30_40_30_20_2-dir.shuffled-as.sat05-442.cnf.xz anni_2022,crafted_2005
04157f716c1e9606c6a530657bf8f957 4e00eb5cd670da17e963192207423345 hypertree-decomposition schidler unsat http://hdl.handle.net/10138/318754 no Kakuro-easy-125-ext.xml.hg_4.cnf.xz anni_2022,main_2020,main_2022
0415acae197134f9d1cd7bea5ac3f2fd 8401e3575cd9b5aa5497085508be017e random-modularity giraldez sat empty no jgiraldezlevy.2200.9086.08.40.136.cnf.xz anni_2022,main_2015,parallel_2015
041699620802b7ed905f93976ae60bef 893ea77bb089603a27252610e4d3cb57 bounded-model-checking marques-silva unsat empty yes longmult9.cnf.xz anni_2022,mus_2011
041ef0a56340a623c38e6b9012933624 3e503538fe609f9f9fc285f34dd1601f coloring-mycielski-graph unknown unsat empty no shuffling-2-s554396412-of-bench-sat04-318.used-as.sat04-598.cnf.xz anni_2022,industrial_2004
0421d8c1dec913b76dc72d781a864a80 e49bd643dcd28066b70de0aa0822fcd4 quasigroup-completion sorge unsat empty no dead-dnd006.shuffled-as.sat05-3112.cnf.xz anni_2022,crafted_2005
04283728b84c4b0ff6cb44ca4bc4ab65 02b768f11e184d922cd04b19e07ee6aa subgraph-isomorphism anton sat empty no new-difficult-28-302-26-75.cnf.xz anni_2022,crafted_2009,crafted_2012
042846b7b23a617ad1730e9eb2dbdceb 74d29dc0d2ad92eaa7c06fba6249e246 scheduling kummling unsat empty no ctl_4291_567_9_unsat_pre.cnf.xz anni_2022,application_2013,main_2020
04327b18171b43ff06586707499b97fc d09b37f3061cfd055e3656b56c58f468 tseitin-formulas bevan unsat empty yes hypercube4.shuffled-as.sat03-1434.cnf.xz anni_2022,handmade_2003
043f806db615f7a138d4beffe3367c1a 9cbbc58299464ef00d7f0dbd8b6b3603 random-csp kexu sat empty no frb45-21-1.used-as.sat04-883.cnf.xz anni_2022,crafted_2011,crafted_2012,crafted_2014,handmade_2004
04411a580ede5fd258d84ce872b5f53b 633e7ff6ff0c132ae855a1d06343348d erdos-discrepancy heule unknown http://hdl.handle.net/10138/135571 no EDP3-50000.cnf.xz anni_2022,crafted_2014
0445a4d6be24882bac0988a055e7f379 ec5b31537e59126414143e7f273a862d coloring sabharwal unknown empty no unsat-set-a-fclqcolor-20-13-14.sat05-1278.reshuffled-07-sc2007.cnf.xz anni_2022,main_2019
0447371bb8a97e8fe5d3cee6de1db766 2e2bafca9e4d6801fc343b640ea43dec diagnosis anbulagan unsat empty no UTI-20-10p0-sc2009.cnf.xz anni_2022,main_2019,main_2022
044d27388c142e8e47812d9518e01b2f 0378db6eab54ddaa95d15c4bc1bce65e miter unknown unsat empty no shuffling-2-s2123257475-of-bench-sat04-327.used-as.sat04-589.cnf.xz anni_2022,industrial_2004
044eced3d5aac22e0f34ad02071132f7 600ec527e26f5498f188fa4735b67b90 ramseycube unknown unsat empty no Q32inK10.cnf.xz anni_2022,crafted_2009,crafted_2012,portfolio_2012
04557a22f623dcbae86173fced057c99 3eb3d54fea2efd703a87f50afe27f537 baseball-lineup hickey unsat http://hdl.handle.net/10138/318754 no baseballcover14with25.cnf.xz anni_2022,main_2020
045613366353b062992e68937ca53edf aae824c54650dee4d6f37b0d6bbeed14 planning surynek sat http://hdl.handle.net/10138/135571 yes mrpp_6x6#14_12.cnf.xz anni_2022,crafted_2014
0458851a021830f297e5dc3418ece838 7d38d9881c72fc5d0b562ecfe8772d20 cril-misc frioux unsat empty no g2-T96.1.1.cnf.xz anni_2022,main_2017
0462a0427297f8979588174b502bd044 b6e717232c3fd8feeb20651a33c4405b tseitin-formulas jarvisalo sat empty no mod2c-rand3bip-sat-230-1.shuffled-as.sat05-2503.cnf.xz anni_2022,crafted_2005
0463b72200ae80c02835c027d3606c4e 4e4c85bd711f7052fd9b6a7ee50a48b1 battleship skvortsov sat empty no battleship-13-25-sat.cnf.xz anni_2022,crafted_2012,crafted_2013
04674c7c9520c7edc0426b820f837726 730cbd747dd695de32762f5e76db628e miter stanion unsat empty no hwb-n30-01-S682466202.shuffled-as.sat03-1632.cnf.xz,hwb-n30-01-S682466202.shuffled-as.sat03-1632.used-as.sat04-853.cnf.xz anni_2022,handmade_2003,handmade_2004
047c92e7c0a36a23d8107f4313517719 34a5cadeda090504840e4ea2fa9f5c28 rubikcube jingchao unsat empty no rubikcube701-sc2017.cnf.xz anni_2022,main_2019,main_2022
048a70da40ea4908c783b8314be2da97 d6a63a269b38c7b7bd6b5f6315972006 cryptography kullmann sat http://hdl.handle.net/10138/135571 no aes_32_2_keyfind_1.cnf.xz anni_2022,application_2014,main_2015,main_2022,parallel_2015
0491901f00c8663e5b49a0dbbf96412f a8f6494953433423564d2eebe88d76de rbsat huang sat empty no rbsat-v945c61409g4.cnf.xz anni_2022,crafted_2011,crafted_2012
04935c7718d4ada8516e0d99c46df41b ae9548674e8dcf1aa4889fdbf0ff9f89 bitvector manthey sat empty yes g2-newton.8.3.i.smt2-cvc4.cnf.xz anni_2022,main_2017
04b2a7f442ed1b15439d0678ce902d6f fbf2f7f72d760b267a16b6cdb9fb2e64 hardware-verification dellacherie unsat empty yes f2clk_40.shuffled.cnf.xz,f2clk_40.used-as.sat04-364.cnf.xz anni_2022,industrial_2002,industrial_2004
04d28cb98f3362dfcd4ab74d4bb82de3 002761573f1d8ab3f57815b2e864678e tree-decomposition ehlers unknown empty no ex065_24.cnf.xz anni_2022,main_2018
04d2cca932a87b98ebfc7bbd0fe6ed5d dde76674d8593feaa6f05355cd27feb6 software-bmc manthey unsat empty yes safe009_pso.oepc_true-unreach-call.i-cbmc-u2.cnf.xz anni_2022,application_2016
04dd37bd8e319df958e1e091ec60de5b 32a7f4a9f65f555341cf0977bf39abdd quasigroup-completion heule unsat empty yes gensys-icl003.shuffled-as.sat05-2715.cnf.xz anni_2022,crafted_2005
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
04e50bc7a121716e396dc538ab24490e cb7dad48066cb10c009d77bb35804b71 coloring pehoushek unsat empty no 5col120_15_5.shuffled.cnf.xz anni_2022,handmade_2002
04f8b455b41f208ea19769f051ddcb1b 41311a78d3b6606962f6ce5aa435656d equivalence-chain heule unknown empty no equilarge_l2.shuffled-as.sat05-519.cnf.xz anni_2022,crafted_2005
04f9f1f61d99108b7ad0fa77d275dc4c 90b59c723a012535ac52db0ae6234e77 coloring pehoushek sat empty yes 3col260_5_9.shuffled.cnf.xz anni_2022,handmade_2002
04fa0a71339fa76067a75ff448ef6f67 df6d9d43e43ea2a3fb8451c93523510c planning sabharwal sat empty yes sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf.xz anni_2022,crafted_2007,crafted_2009,crafted_2012,portfolio_2012
050214ecbd9e96136fe1bc73447f1303 fbe69b8a6ef24d91d66f2ac6d6a3f558 pigeon-hole sabharwal unsat empty no easier-php-035-029.sat05-1179.reshuffled-07.cnf.xz anni_2022,crafted_2007
0506d033a4ca469af10d95dbf36a86e9 2d1dac354a51dc7de0adad734b64ba5e edge-matching heule sat empty yes em_7_4_9_cmp.cnf.xz anni_2022,crafted_2009,crafted_2012,crafted_2013
0521cd68355dd16e8f7940f43003d904 5fd7daae04bb0214121cfcb6e7d56a99 graph-isomorphism mugrauer unsat empty no crafted_n10_d6_c4_num10.cnf.xz anni_2022,crafted_2013
0533a1506eb61460bee3917f61ca4c49 ce3b524db9d8cbc17ff7a7632a1408a2 subgraph-isomorphism anton unsat empty no SGI_30_80_29_60_7-dir.shuffled-as.sat03-217.cnf.xz anni_2022,handmade_2003
0534387f90398a24495d4b7b05f9b342 407f9859fc69eaae4a53b399bcc5c413 diagnosis anbulagan unsat empty no dated-5-13-u.cnf.xz anni_2022,application_2009,application_2011,application_2012,application_2013,application_2014,industrial_2007,main_2010,main_2015,parallel_2015,portfolio_2012
055836a43eb318de92f09c555ba4f3b5 598cd53f312f3e80e1dc13946ac84553 coloring pehoushek sat empty yes 3col160_5_6.shuffled.cnf.xz anni_2022,handmade_2002
055db8f900741c7b8d7b731e99662588 b8e29c0d916a15db16f313e525c18535 clique-width heule sat empty yes rnd-v25-e13-k3.cnf.xz anni_2022,crafted_2013,crafted_2014
055f942145df4b6c9fd0d10a3f1da98e 8ca6f314abd0c10c708a80bec1c125bc scheduling stojadinovic sat http://hdl.handle.net/10138/135571 yes atco_enc1_opt1_15_240.cnf.xz anni_2022,application_2014
05680de3febd39916e496dd772cb8c19 bb41409701cefcae34c93f225a4dbca7 hardware-verification marques-silva unsat empty yes minor032.cnf.xz anni_2022,application_2009
057f143aae50b8abc3e083b7609353be a3b966718f243260768d5fed9261ab79 cril-misc frioux unsat empty no g2-T133.2.1.cnf.xz anni_2022,main_2017
05817b4e1add561af0e1165e01fb48cc 897eeb57831cd66e8dc0129807f71a63 bioinformatics unknown unsat empty no q_query_3_l45_lambda.cnf.xz anni_2022,application_2009,application_2012,application_2014,main_2010
0587f345cca3ef8340e8e71829dce130 55f88866fb8ae44971fb1d3ecdc8d48f waerden kullmann unsat empty no VanDerWaerden_2-3-12_135.cnf.xz anni_2022,crafted_2011
0593e6814f02ec9749e87bdc6aff8275 52ba0b0b42832c0da261345429916951 planning surynek sat empty yes mrpp_6x6#14_10.cnf.xz anni_2022,crafted_2013
05b04d362b374569a4eb63c4e4e132b7 f7f14d4c70a3b7631096f49048898a8f unknown moon sat empty no mp1-9_3.cnf.xz anni_2022,main_2017
05c52a5f9133f5afca84767f2eff98fa 7eb8c15ff12c2df6cb39e7ec18ebe55e cril-misc frioux unsat empty no g2-T103.2.1.cnf.xz anni_2022,main_2017
05c5ff612371a5773e857212174f625b 25a1154d4355f1f4fe8a7223adb5c496 prime-factoring pehoushek sat empty no ezfact64_9.shuffled-as.sat03-1525.cnf.xz,ezfact64_9.shuffled-as.sat03-1525.used-as.sat04-792.cnf.xz anni_2022,handmade_2003,handmade_2004
05df4430054ceba4fa065806e8c65041 47911a52dba8c016373ed27f20b2f0e9 subgraph-isomorphism anton unknown empty no SGI_30_80_23_90_10-log.shuffled-as.sat03-202.cnf.xz anni_2022,handmade_2003
05e5b5a37a0d7cb5e96c82b84bbdca66 a813c599017357919a0f142fad02ddaa coloring-mycielski-graph yolcu unsat http://hdl.handle.net/10138/333647 no Mycielski-11-hints-3.cnf.xz anni_2022,main_2021
05eb87eb6fecb7a8a3bdc25154412c1d 34fbff801c876dfb93972c26a827f581 waerden kullmann sat empty no VanDerWaerden_pd_2-3-24_592.cnf.xz anni_2022,crafted_2012
05ed840c0a907e88e475c931f40fab83 faea08d29ad2e1e3790604b4d9a4b44e quasigroup-completion unknown unknown empty no bqwh.50.750.shuffled-as.sat05-434.cnf.xz anni_2022,crafted_2005
05eee75ab69270c322b9ef6bc1ee8604 d992f96a24d9b739914e4db0a4db0f01 cryptography fuhs unknown empty no slp-synthesis-aes-bottom22.cnf.xz anni_2022,application_2011
05f3a48298721d68cded8618b432e7c3 2f9b0ef1aaeabd00069ff349f266b72d sgen spence unsat empty no s85-100.cnf.xz anni_2022,crafted_2007
05f5567936f582edc0d3ea9903f540bc 5fb02e2d0c56c784df50c24c4d2ffe27 sgen spence sat empty no sgen1-sat-230-100.cnf.xz anni_2022,crafted_2009,crafted_2012,crafted_2013,crafted_2014,portfolio_2012
05fb1e489956554f9115344bce4e71c7 3a81a2baa727b15583f560dc6a1f1b2a diagnosis anbulagan unknown empty no partial-10-11-u-sc2007.cnf.xz anni_2022,main_2019
05fbbab9f0baf819ed9593cca8587629 296d9e0e0d3512bc0be6a02c7a01dae4 subgraph-isomorphism anton sat empty yes satsgi-n24himBHm28-p0-q282.cnf.xz anni_2022,crafted_2012
060b7ed7ef9e59576b9ee62c998a5103 ec5915667bd8abdcfe2e73763229157a bitvector unknown unsat http://hdl.handle.net/10138/135571 no bvslt_13916.cnf.xz anni_2022,crafted_2014
0614e1ae5100ee0aca4ea24424479fa3 6b89bfb4a4f459fbb70c9545894f9563 miter stanion unsat empty no hwb-n32-01-S1491788039.shuffled-as.sat03-1637.cnf.xz,hwb-n32-01-S1491788039.shuffled-as.sat03-1637.used-as.sat04-856.cnf.xz anni_2022,handmade_2003,handmade_2004
06166a0dd78f45c213add974a6711dfe 5601b4ad5deb75a1d0d2dfe2c0c00e8e planning balyo unsat empty yes barman-pfile10-038.sas.cr.25.cnf.xz anni_2022,application_2016
0616ca6b1e0ae639d12e19ed310963a9 039223f3ea5163f320c4091169211793 cryptography heusser sat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=67 empty satcoin-genesis-SAT-4.cnf.xz anni_2022,crypto_2021,main_2018,main_2022
06172049e6804cbfb07f993023f2684f fad7920016730544b600c71d8166a729 waerden kullmann sat empty no VanDerWaerden_pd_2-3-29_809.cnf.xz anni_2022,crafted_2012
062f58e44eb73f9274b57af5092cad90 c781c6dee94f2379979b715e77f4225f rooks manthey unsat http://hdl.handle.net/10138/135571 no rook-51-0-0.cnf.xz anni_2022,crafted_2014,main_2025
06326dd7bab63b892d2c147d5928468c 1065699ec7e354c35f923bda2d23b5f8 bitvector jarvisalo sat empty yes smtlib-qfbv-aigs-bin_libsmbsharemodes_vc6201-tseitin.cnf.xz anni_2022,application_2012
06385be5ecfc7df22b2c956093cef85f 5adb010b08546f6b05277e7c7ef721be planning maris sat empty yes depots3_v01a.renamed-as.sat05-3950.cnf.xz anni_2022,industrial_2005
064ba3c61c5f105104edec8305853711 41b2000b8bc9db9f771411282aee0edd sliding-puzzle kaiser sat http://hdl.handle.net/10138/333647 no puzzle35_sat.cnf.xz anni_2022,main_2021
066813ab5f3b7b1cc6d2847c37f5fae7 190185d01c41d8e8f343d241bf78fd75 prime-factoring pehoushek sat empty yes ezfact32_10.shuffled.cnf.xz anni_2022,handmade_2002
066d6a47dfd9648d913ba8dbce722d75 55bf2c43b8472dd1cc6f12eacc970fbe cryptography fuhs unsat empty no slp-synthesis-aes-bottom16.cnf.xz anni_2022,application_2011
06872e73223dc74c76b06f37a185dc22 680583bd82b31f273ccd172cdfca425e waerden kullmann unsat empty no VanDerWaerden_2-3-16_238.cnf.xz anni_2022,crafted_2011,crafted_2012,main_2020,portfolio_2012
068c64314f0f8405bc28bb4c52647145 c6e48ac9bcfdee4f991dc632bd8517c1 planning balyo unsat empty no sokoban-p20.sas.cr.27.cnf.xz anni_2022,application_2016,main_2021
0697524f77ccd503f7e5fe15f23a1268 0274763bd587c985cf2b30869c2d8877 graph-isomorphism mugrauer unsat empty no crafted_n12_d6_c4_num27.cnf.xz anni_2022,crafted_2013
069f7d519e820f6b879f880703907bb3 6dd6f9f71b4d373d0bab4dc7027c0fc7 subgraph-isomorphism anton unsat empty no SGI_30_60_28_40_2-dir.shuffled-as.sat03-124-sc2002.cnf.xz anni_2022,main_2019
06a36581f14e399a76a5110449ebe739 4370a7992364998a1da4e479d2baf8dd planning maris sat empty yes driverlog2_v01a.renamed-as.sat05-3961.cnf.xz anni_2022,industrial_2005
06d2543c151c2478fde159c6dc0424ac 7886ad062f504c793cbeaf7e1eb5b376 bitvector biere unsat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=56 no udiv45prop.cnf.xz anni_2022,main_2018
06d96f79264e9991a5a0a417c401657a 5ccda9bea99df58d4ef2cdbeb973953f bitvector manthey sat empty yes g2-mult1.c.50.smt2-cvc4.cnf.xz anni_2022,main_2017
06e46ab0acac57a61638cbb741949a98 125371f1467e371be55ed20ffec7c3f5 argumentation wallner sat http://hdl.handle.net/10138/135571 yes complete-500-0.1-1-9876543215001.cnf.xz anni_2022,application_2014,main_2015
06e928088bd822602edb83e41ce8dadb a4e8af92a2e1a3810dcd100e6dde944b cryptography heusser sat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=67 empty satcoin-genesis-SAT-10.cnf.xz anni_2022,main_2018
06e997650b24ac5b5f87c1c64f4a5dcb 4db8e09f592f1eb5a2e6beea264a1682 hardware-verification marques-silva unsat empty yes edn_9789_8.cnf_0.51000000.unsat.cnf.xz anni_2022,mus_2011
06f538d7af257560476f9100e36d4445 2d30dde69a7e6273378a8328947b0c29 software-verification post sat empty yes gcdmax16bits_22.cnf.xz anni_2022,application_2012
0701a5b57f9b37c5fcb77463c8582693 103424c2ca592dd36647ff005210a8d9 cril-misc frioux unsat empty no T84.2.0.cnf.xz anni_2022,main_2018
070fde310eca4ddf6967896052efcb30 24ac848655ad80b30bffccdbaa39d9d9 at-least-two-sol manthey unsat http://hdl.handle.net/10138/333647 no at-least-two-smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf.xz anni_2022,main_2021
072785fd927ff0fd180ce8b9cc00078f 2a89f174f737fb503c1a99a868e1ca14 hgen chen sat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=63 no 20180321_140826713_p_cnf_320_1120.cnf.xz anni_2022,main_2018,main_2022
073c28dfd3204f4c51e03c297ac841c1 6304c7bf22d052400ce79c4a06847bf9 tseitin-formulas jarvisalo unsat empty no mod2c-rand3bip-unsat-120-3.shuffled-as.sat05-2340.cnf.xz anni_2022,crafted_2005
075c4fe7ae4cef57f1a4c00e58142e23 37580192ed784d020eb185f859d296d0 xor-chain zhang-lintao unsat empty no x1.1_64.shuffled-as.sat03-1585.cnf.xz anni_2022,handmade_2003
075e1eef00500b25ceb5ea4823ccf1b0 56521c541de853790295218cb4c2566d coloring pehoushek sat empty yes 3col140_5_1.shuffled.cnf.xz anni_2022,handmade_2002
076305ce31dd18724a3de91045800acc 3642332173de80cf3f5af8b25c57c7d5 software-bmc manthey sat https://helda.helsinki.fi/bitstream/handle/10138/306988/sr2019_proceedings.pdf#page=55 no 26_stack_cas_longest_true-unreach-call.i-cbmc-u2-sc2016.cnf.xz anni_2022,main_2019
07682e22f82f9257d44b45777ac06168 481d87c92edc0e7dcf249660373b246c clustered-random anton sat empty yes lksat-n900-m3357-k3-l5-s241765501.used-as.sat04-936.cnf.xz anni_2022,handmade_2004
076d4d6f83306ee69c35e3c99e30d8f8 077ef3fed8a1d854332a00474ed3a007 xor-chain zhang-lintao unsat empty yes x2_16.shuffled.cnf.xz anni_2022,handmade_2002
076fba8945d3a54a06f326474477077d d7f6d8202a409e01e7bb4e66dfd5ac05 planning surynek sat http://hdl.handle.net/10138/135571 yes mrpp_6x6#12_9.cnf.xz anni_2022,crafted_2014
0779cddacfa34241cdf579cb2370ab8e a4fc13ecdbedf667b3760cd4b29ed49c parity-games friedmann sat empty no instance_n8_i9_pp_ci_ce.cnf.xz anni_2022,crafted_2009
0779ed19ae69bf464cce003d1a573246 8e8a4abc379685882b8d63097aa3d63a cryptography nossum sat empty no 008.cnf.xz anni_2022,application_2013
07851afab30a10e44c8c3a2ae7806177 17ed4513559e29334bc12f03bc6116ed generic-csp connamacher unknown empty no connm-ue-csp-sat-n1200-d0.00-s1415961664.shuffled-as.sat05-529.cnf.xz anni_2022,crafted_2005
079b400eede86df1f1ffd6a3c303278b b4284af2bd7ecedaaa5404c110a60dba tseitin-formulas bevan unsat empty no hypercube5.shuffled-as.sat03-1435.cnf.xz anni_2022,handmade_2003
079fec8d04a6ee936227ea90ea0903bf 8db7c11e36470ece0bd200ccf4774c8f tseitin-formulas elffers unsat empty no tseitingrid6x175_shuffled.cnf.xz anni_2022,crafted_2016
07b476c83150d3cb7e08f5d045e255ab c066a9e23f505af520763e48cf89f71d tseitin-formulas bevan unsat empty no marg5x5.shuffled-as.sat03-1455.cnf.xz anni_2022,handmade_2003,main_2024
07bbbb292324c8d8baeb232e144349fa 291fe916012722d1d4789ac3cda6fb78 miter goldberg unsat empty yes rand_net40-60-1.shuffled.cnf.xz anni_2022,industrial_2002
07c3cce524e2b85d8315ac4397ef08c4 c60c852f5f0e051895a70100c72a0580 sliding-puzzle kaiser sat http://hdl.handle.net/10138/333647 no puzzle47_sat.cnf.xz anni_2022,main_2021
07c50b89d97a55b6e1629999a445a2ba 26105d9e99f52f49205db29a7b30fe8a scheduling kummling unsat empty no ctl_4201_555_unsat_pre.cnf.xz anni_2022,application_2013,main_2024
07cb45c60089b9008bf3118591a99bf9 bbef831a1c2af7947078ea10c9b56b82 random-hiddenmodel moore unknown empty no hidden-k3-s0-r5-n700-03-S1609878926.shuffled-as.sat05-487.cnf.xz anni_2022,crafted_2005
07d20a83feca9295e862a7d583da5971 04ae6af8737c7b07a3b2416c81a42782 diagnosis anbulagan sat empty yes UTI-20-10t1.cnf.xz anni_2022,application_2011
07e851c74295f7ddf472820c0f0164e8 0197fe24df29d93c2fbc2fb2a916001a xor-chain zhang-lintao unsat empty no x2_72.shuffled-as.sat03-1604.cnf.xz anni_2022,handmade_2003
07f5f3ca046261c3819c5c888ac837e5 c76cc643e32004f5840c305a217d58de tseitin-formulas jarvisalo unsat empty yes mod2c-rand3bip-unsat-105-3.shuffled-as.sat05-2325.cnf.xz anni_2022,crafted_2005
08063f5baf6655656a300c946aaaca60 c9487e3fbadad28ca13b4c16f81e0583 ordering-principle sabharwal unsat empty no gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf.xz anni_2022,crafted_2007,crafted_2009,crafted_2012
080896c437245ac25eb6d3ad6df12c4f 0c65cd9d01035aa739d91277df0c4dcc bitvector preiner sat empty no bv-term-small-rw_1492.smt2.cnf.xz anni_2022,main_2021
0810eb03d022334fdd1d5a6ad4969d47 44928d494477b9ad96eca7e12eb48b6a cryptography desgen sat empty no gss-18-s100.cnf.xz anni_2022,application_2012,application_2013,application_2014,main_2015,main_2022,portfolio_2012
08300e286c3380f7e7291ca6a534c97b 4f9731bfe4c45599562c62972778cb02 hardware-verification dellacherie unsat empty yes comb3.shuffled.cnf.xz anni_2022,industrial_2002
083030713683d8ab8e1d54372f241863 40ea4fa9c287c385080817c46d2e4d04 hypertree-decomposition schidler sat http://hdl.handle.net/10138/318754 no Kakuro-easy-089-ext.xml.hg_4.cnf.xz anni_2022,main_2021
0831000a5a9727aa5fa3332df10cdb57 a76c27d9fa6fcaa865c32a47cd3d83ff hardware-verification marques-silva unsat empty yes edn_20403_12.cnf_0.08000000.unsat.cnf.xz anni_2022,mus_2011
0842eb01dc00232edc0b26ccb2f19f25 3afbc07bbb3658e702f2ee06456cce99 unknown mayer-eichberger sat empty no 6-4-6-sc2018.cnf.xz anni_2022,main_2019,main_2022
08469bbccc41da0c124d69c61ce7dc58 00692d022c7b0160e82b1e7f55e1c6cb planning balyo unsat empty no barman-pfile07-027.sas.cr.37.cnf.xz anni_2022,application_2016
084f6e6da7f9c5125d6f28a044b6225c 7c4e5b87ffe419062f61cd5ec1c54519 coloring manthey unknown http://hdl.handle.net/10138/135571 no ccp-s8-facto3.cnf.xz anni_2022,crafted_2014
0850db65220080c130d2f54005f9e2b3 15edca2a1590ac873319a60a90e08ddb software-verification babic unsat empty yes dspam_dump_vc972.cnf.xz anni_2022,application_2012,industrial_2007,main_2010,mus_2011
08530caa5c9232f2ffc5163cf79b38e7 ca2105d71932fb58d107e25269575dc2 cryptography heusser sat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=67 empty satcoin-genesis-SAT-64.cnf.xz anni_2022,crypto_2021,main_2018
0855033e761d91ae367e867c5a569f9e 00aaf2d363ddd46bb841018777806cc0 scheduling stojadinovic unsat http://hdl.handle.net/10138/135571 no atco_enc1_opt2_10_15.cnf.xz anni_2022,application_2014,main_2022
085792654d945c1de700245916f2c7f6 4ca285bd2db8f1d85d38beda5f3e5368 tseitin-formulas elffers unsat empty no tseitingrid5x185_shuffled.cnf.xz anni_2022,crafted_2016
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
088ffd086f2d5e55553d5e79aa30aaf5 c35df68aeae469fe0c8de4458e7b39b5 coloring pehoushek sat empty no 4col280_9_9.shuffled.cnf.xz anni_2022,handmade_2002
089456508f74be2d96f4112cc495f80a 09f1c0d17b520bd90ee5af65014cd243 unknown zhou sat empty no Eternity-10-06_c18.cnf.xz anni_2022,main_2019,main_2022
08a25022c4136f2ceb36db62ce3503bb b688fdbb0d4db839e1ded6339be0aa6d hardware-verification manolios unsat empty yes c6bi_i.cnf.xz anni_2022,application_2012
08a68ba9d062c0856f1bc9cce7907b11 e97f79536f23dec2ee6ed8765a703a62 subgraph-isomorphism anton sat empty yes sgi-difficult4.cnf.xz anni_2022,crafted_2009
08abbb56b2345b2da7af8866a4e8ad44 f7145a4d7ea3eea2140d6bd202de82c1 tensors savicky unsat empty no size_4_5_5_i037_w31_r9.cnf.xz anni_2022,main_2020
08acbb7417346eb7dc0c860817be0cc3 15fcc55c7bbc4b1d31fc31e477afe488 cryptography chu-min-li unknown http://hdl.handle.net/10138/135571 no MD5-28-3.cnf.xz anni_2022,application_2014
08b6f45c900d30fb65462a65df69e214 daa3a60223b198decc76b9d8084a81d8 planning rintanen sat empty no transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf.xz anni_2022,application_2011,application_2012,application_2013
08be288536c3178e6874a5676493923c b5ce68f5a3c86b58d1540cc129586da5 miter biere unsat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=37 no g2-hwmcc15deep-bob12s02-k16.cnf.xz anni_2022,main_2017,main_2024
08c21a3bc091abcb67b883061e2381c9 8e764505653157587449ce73f697a02d matrix-multiplication markstrom unsat empty no mm-2x3-8-8-sb.1.shuffled-as.sat03-1504.cnf.xz,mm-2x3-8-8-sb.1.shuffled-as.sat03-1504.used-as.sat04-829.cnf.xz anni_2022,handmade_2003,handmade_2004
08cb0cf252b65c30c7c55218825c6ca0 badfea7c98534812a0dca3a4d038564f software-verification babic unsat empty yes hsat_vc12072.cnf.xz anni_2022,mus_2011
08cf53ca00dce11f5bfc02121c9bcd33 d21a4e8bc43efe0a7c22e8b2c401f0c4 greentao kullmann unsat empty no GreenTao_2-3-5_528.cnf.xz anni_2022,crafted_2011,crafted_2012
08e151e72fe10402a49463171aa557e8 ae7fb1fd2a292d10e640c1f5e009537c antibandwidth biere sat http://hdl.handle.net/10138/318754 empty abw-V-nos6.mtx-w220.cnf.xz anni_2022,main_2020,main_2022
08e1c46acda38a12fa3229f9f224425d b624676939488a4f1c930b2a902a60ac unknown zhou unsat empty no Haystacks-ext-12_c18.cnf.xz anni_2022,main_2019
08e8e08679a3c2ccb537d682165cb351 397ba88c0db13d69aea613a6fcc31c70 unknown collatz unsat empty no by-X-2-7-100.cnf.xz anni_2022,main_2018
08eeb55c898dc6bedc915ed191dab009 7b7220a89183953b58a51df8f73edd20 diagnosis anbulagan unsat empty yes total-10-11-u.cnf.xz anni_2022,application_2012,industrial_2007
08f2462515d5c1ffd0881dd5801f54bd cfa26c233f8c868b0412704a098640e5 subgraph-isomorphism anton unsat empty no SGI_30_70_28_60_5-dir.shuffled-as.sat03-177.cnf.xz anni_2022,handmade_2003
08fd5d81bf1af056edf0f4d1778f0834 5cad68645a5cf15c08da14c8db518790 termination-analysis fuhs sat empty yes AProVE09-03.cnf.xz anni_2022,application_2009
0900255c001ced2b14a6cadc0403967e 8ecb2d40c74cdb8a269ac02fe174297b planning surynek sat http://hdl.handle.net/10138/135571 no mrpp_8x8#24_14.cnf.xz anni_2022,crafted_2014,main_2015,main_2020
090f37bba39891c7cf3bed2ace26ca92 5b63aab0b0680cc0f3087d422ec59867 rbsat huang sat empty no rbsat-v945c61409gyes2.cnf.xz anni_2022,crafted_2013
0928111a3d5d5ce05dffb83cb5982eba c3766c07c3332e7cc4f98ca11d78a916 cover gacek unsat empty yes Steiner-9-5-bce.cnf.xz anni_2022,main_2020
0949ba00fc83c074bb2db981a543756f 75cc05514a3328a96847a2aae52f0a01 planning rintanen sat empty yes blocks-blocks-36-0.160-NOTKNOWN.cnf.xz anni_2022,application_2011,application_2012
0951acc41424bb9c0847f6077acf20c4 d4698f130a8094991067a1a1cd89e313 hardware-verification unknown unknown empty no eqbpdtlf18sparcl18.cnf.xz anni_2022,main_2019
095c4cfbf18326c010e9e5d8ae652970 1512b46fafcdd00c128b2bfafa0ada9b fdmus unknown unsat empty yes fdmus_b15_296.cnf.xz anni_2022,mus_2011
095e78b37897df838f5137b24aa59ed6 b4476b651f6f5f40398771eefdabbb21 tseitin-formulas bevan unsat empty no marg3x5.shuffled-as.sat03-1452.cnf.xz anni_2022,handmade_2003
09637d3bd641b4d733666a862e8918ea 32ce26bb0c99d6817686fb5e331fc228 planning surynek sat empty no mrpp_8x8#20_14.cnf.xz anni_2022,crafted_2013
096e485489025895cdc59887baafa08b 188fe9d9fc61a3589f1ab939a633b163 bitvector manthey unsat empty no test_v7_r17_vr5_c1_s25451.smt2-cvc4.cnf.xz anni_2022,application_2016,main_2024
096f0ffbc2aa6f0e1fc7876a99e99bc5 dd5ccf08692be26d242142ea0b3acb9a phnf heule unknown empty no phnf-size10-exclusive-equilarge_l2.used-as.sat04-894.sat05-4188.reshuffled-07.cnf.xz anni_2022,crafted_2007
0973e4a7d566ff12e7316cf0304ac1f4 a36f7e1f52ebe8c58466dab04cdc6dcc genurq ostrowski sat empty yes genurq25Sat.shuffled-as.sat03-1507.cnf.xz anni_2022,handmade_2003
0995a4bc27c94bca1d53bf83de369fd0 6e4d050ea48b97bfbf440f8116811111 cril-misc frioux unsat empty no T93.2.0.cnf.xz anni_2022,main_2018
09991a55c8e3c8ec7966a0105a76d6e1 901f1a6ee1acf72f52ea598913b3a86c hardware-verification manolios unsat empty no manol-pipe-c10nidw.cnf.xz anni_2022,application_2009,application_2011,application_2014,main_2008
099a345f923579d745e491b29c7da949 5db1678193e565d6659226e9143a3c45 coloring sabharwal unknown empty no fclqcolor-14-09-12.shuffled-as.sat05-1284.cnf.xz anni_2022,crafted_2005
09a58f93975cf27590153ceb26fb1ad6 4b6610c33e604b8a0354e7c8678a9822 coloring heule unsat empty no Schur_161_5_d43.cnf.xz anni_2022,crafted_2016
09acbe0cb8dad715ae4ff3cbade44d76 96348bbdda8b829e82dded09333fc9a0 matrix-multiplication chu-min-li unknown empty no Mat323.shuffled.cnf.xz anni_2022,handmade_2002
09d8544494e54bc756438e69567b4ba7 a20243c33ffb3c366a7e29971b1b48d8 crafted-cec klieber sat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=39 no mp1-klieber2017s-0300-034-t12.cnf.xz anni_2022,main_2017,main_2021,main_2022
09dcc6149a23787a3aa96af8825bda60 c956f7dee2122529dfa525331a198360 bitvector manthey sat empty no test_v7_r7_vr10_c1_s32506.smt2-cvc4.cnf.xz anni_2022,application_2016
09df54b3d75b42dbd0020c6b60a68fc6 0d6dcb497098f9794e2396debbd7b608 miter unknown unsat empty no shuffling-1-s1931574585-of-bench-sat04-328.used-as.sat04-449.cnf.xz anni_2022,industrial_2004
09e6779ba720bc9c22bae55653614d53 43cdf2108c62a13b23bcd3c9c9b463ca graph-isomorphism mugrauer unsat empty empty crafted_n11_d6_c3_num4.cnf.xz anni_2022,crafted_2013
09ea7a837fa92ee285890f2187fcff0a 5f9f29bb9e5856c8b39162c6d8afb74e bitvector unknown unknown empty no countbitsarray32_32.cnf.xz anni_2022,application_2009,main_2010
09ed4d881b6dd70d30f59217573369f1 52f7b4591e4a930aabaad17e4549d427 random-modularity giraldez unsat empty yes modgen-n200-m90860q08c40-21438.cnf.xz anni_2022,application_2016
09f3078602566bbeb02821503e5d2554 17d37607d4a26f57b8247f31d6f3fe78 random-modularity giraldez unsat empty no modgen-n200-m90860q08c40-14424.cnf.xz anni_2022,application_2016
09f4f1e3047315b5ef2690fffb7ccf7a 15dd659505b48f14adf4898a11cd5d91 cryptography paxian unknown http://hdl.handle.net/10138/318754 no ssAES_4-4-4_round_7-10_faultAt_7_fault_injections_2_seed_1564286498.cnf.xz anni_2022,main_2020
09fb57fff97fc30b723f91d1c80965a6 aa347ab66c62b38b96c01649fe740f47 2d-strip-packing leberre unsat empty yes E03N17.cnf.xz anni_2022,application_2011
0a015b7f4b4ec96e881f2f5f5e55265c ef9775e0b02c577fc33791f0cd86c2f6 planning unknown sat empty no strips-gripper-18t35.shuffled-as.sat05-1147.cnf.xz anni_2022,crafted_2005
0a034addb32ccb4363177fd5d0ba947e ba2acc9b26fc7d39abb316a60a1dfd06 waerden kullmann unknown empty no VanDerWaerden_2-3-19_349.cnf.xz anni_2022,crafted_2011,crafted_2012,portfolio_2012
0a1043b4f34db8a3de2aef9e4a82a34b 7f4e656ee53d670809919d7d5b7ea8ea parity-games friedmann sat empty yes instance_n3_i3_pp.cnf.xz anni_2022,crafted_2009,crafted_2012
0a11a3dcc342fba24aeda274ad56d478 f8c834bb4e249307d6eda1075fcd1208 graph-isomorphism mugrauer unsat http://hdl.handle.net/10138/135571 no crafted_n11_d6_c4_num19.cnf.xz anni_2022,crafted_2014,main_2020
0a27d1f7ff9fae1edf7f460f4fe70886 c63d372cf93dea216ec80e0c16d2eed4 phnf heule unknown empty no phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf.xz anni_2022,crafted_2007,crafted_2009
0a3eb47ad5266860241a8ff5d37f62bd b85127abddcf3fe9a00d81bec2cb66dc fpga-routing nam unsat empty no k2fix_gr_2pin_w9.shuffled-as.sat03-438.cnf.xz anni_2022,industrial_2003
0a4b9ce30540d2103d65e44994d206a5 c7cdfd78e02f8d38d91588f371bc0230 prime-factoring pyhala sat empty no pyhala-braun-sat-40-4-03.shuffled-as.sat03-1541.cnf.xz anni_2022,handmade_2003
0a501c751f0483da0e9266753659ed6c 509b052f1a32a36653eadd3fd93ed684 scheduling stojadinovic unsat http://hdl.handle.net/10138/135571 no ctl_4291_567_5_unsat_pre.cnf.xz anni_2022,application_2014
0a5ae0d5af40b6d41f8be446811aa796 65dbf71f3ce5d42a050cd92c1c17bd85 puzzle grinten unsat empty no mp1-blockpuzzle_8x8_s1_free4.cnf.xz anni_2022,main_2017
0a5afa615f6f27d7ec4d43d3c655a8af 237ed920e0f3233b22e759b6b59088ec hardware-verification goldberg sat empty yes cnt07.shuffled.cnf.xz anni_2022,industrial_2002
0a60caf64b5ae6fdebacc9521c5ee731 a2c592266c4c63e82025610d5560bb50 bitvector biere unsat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=56 no udiv48prop.cnf.xz anni_2022,main_2018
0a6722970ab81da486ca8c79b85f6c59 7c8b54c9e70fc0d48852a007d309346d miter stanion unsat empty yes hwb-n20-03-S1899964371.shuffled-as.sat03-1609.cnf.xz anni_2022,handmade_2003
0a7141f90e7beb369505bda957d830aa 031215296bd7b211f69a582fd4678ea3 tseitin-formulas simon unsat empty no Urquhart-s5-b7.shuffled.cnf.xz anni_2022,handmade_2002
0a7555a2a68abdd45b80a8db1a919a6a 039e8452881c978bd06f5a4d20ba70d3 planning maris sat empty yes ferry10_v01a.renamed-as.sat05-3993.cnf.xz anni_2022,industrial_2005
0a7c533c247dac95d79cc0ff3cd0fb9f 41d065afa2f202a444d5422c2e9630f6 relativized-pigeon-hole elffers unsat empty no rphp4_100_shuffled.cnf.xz anni_2022,crafted_2016
0a7f0ceb23af7028dc9a46f3da3bb027 e6e9cd0a7bcfb796bf2297dc5d0a9910 bitvector unknown unsat empty yes maxor032.cnf.xz anni_2022,mus_2011
0a819f7ad46f70de5a184784da303f5e 683c31420464b7979bc603e1425125bf waerden kullmann sat empty no VanDerWaerden_pd_2-3-21_399.cnf.xz anni_2022,crafted_2011,crafted_2012
0a81c16b871ab1a63046cc99041f4e47 164df8ef7864bcea4213a1a90b00cd7b pigeon-hole jingchao unsat empty no a_rphp045_05.cnf.xz anni_2022,main_2018
0a910e1ca5b222324dc3ac8f03d6414d 6dc0bab61b05f92a499b44b8d67a1cbd prime-factoring unknown sat empty no 62bits_11.dimacs.cnf.xz anni_2022,main_2015,parallel_2015
0a919af45246c91929e92c301d6d9529 cdf5b3f99e478fc2f2075b21cea65343 coloring pehoushek unknown empty no 5col180_15_2.shuffled.cnf.xz anni_2022,handmade_2002
0aab775f1790819177fb1851d9316efd e8cce8e491c7a369ac7f7aa6ce6b5370 scheduling mayer-eichberger unsat empty no pb_300_04_lb_06.cnf.xz anni_2022,application_2013
0ab9ff4d0e75a279522d77671cdcb09c d722e1770d357e014192c3814aef5863 rbsat huang unknown empty no rbsat-v2100c215164gyes4.cnf.xz anni_2022,crafted_2011
0ac5ff376b826f68d384ba05a1d00de0 ac45db08544875e30c9179b47f184e00 planning balyo unsat empty no sokoban-p20.sas.cr.33.cnf.xz anni_2022,application_2016,main_2024
0acb650946685281a796dcada88f8cfd a125a77b6d12b6cbeaf1c83a5f62b80d subgraph-isomorphism anton unsat empty no SGI_30_60_25_40_2-dir.shuffled-as.sat03-120.cnf.xz anni_2022,handmade_2003
0acbab472c9386683c07f7a3ec214be3 2d7194a10539d74eba151ca30dcbbe03 hardware-verification velev unsat empty no 9pipe_k.cnf.xz anni_2022,application_2012,application_2013,portfolio_2012
0acbeae513e3d822dbf5e5fc72a03455 8f5b5665304e36d3ba0ef2bfaa63494c planning balyo unknown empty no sokoban-p20.sas.cr.39.cnf.xz anni_2022,application_2016
0ae917c2e0c1d39cbe411c29b2f5ff08 2635d2bb028b67585d821ffba537c4d6 discrete-logarithm jingchao sat http://hdl.handle.net/10138/318754 no dislog_a14_x14_n24.cnf.xz anni_2022,main_2020,main_2025
0aea4286a11d91ee8fa356d5db046373 99895d52decdd3d43f743fe29387a060 cryptography md5gen unsat empty no gus-md5-08.cnf.xz anni_2022,application_2012,application_2013,portfolio_2012
0afdeb9b0b98e31fa0e9271a6706d8fb 0a92385a7bfedbbec51272781f0c7098 planning unknown unsat empty no gripper13u.shuffled-as.sat03-395.cnf.xz anni_2022,application_2011,application_2012,industrial_2003,portfolio_2012
0b0c7b96b04f9fee0120df9eb8add851 f55b316c41a4db0f5890040f7422636f coloring unknown sat empty no shuffling-1-s716603489-of-bench-sat04-317.used-as.sat04-460.cnf.xz anni_2022,industrial_2004
0b1041a1e55af6f3d2c63462a7400bd2 10424abc5a2c4fa3eba70abcac69db0d fermat riveros sat http://hdl.handle.net/10138/318754 no fermat-907547022132073.cnf.xz anni_2022,main_2020
0b13f286a2068bae1cc6034fb38f1503 d6712fe6ab6669c50552c436d0e000c6 bitvector kovasznai sat empty yes ndist.b.26986.cnf.xz anni_2022,crafted_2013
0b2011ed2094d1ed7eafb7615c484e5e 597a90b651914f2529045431ded49841 tseitin-formulas elffers unsat empty no tseitingrid7x200_shuffled.cnf.xz anni_2022,crafted_2016
0b22aa567ddfa8d702378b76167c9195 11605f1a6690b40fc5f83526b14488bf diagnosis anbulagan sat empty no partial-5-17-s.cnf.xz anni_2022,application_2009,application_2012,application_2013,application_2014,industrial_2007,main_2015,portfolio_2012
0b2619b4f0508bd2c53b2d1122825cc4 7edec55a719bae1bb6c577431ebb6fd0 bounded-model-checking marques-silva unsat empty yes longmult6.cnf.xz anni_2022,mus_2011
0b289d226ccc2a1798af1006ae7d9c28 b0a34c5f02452f4a1104d83f58ed6cf4 scheduling mayer-eichberger sat empty yes pb_400_09_lb_05.cnf.xz anni_2022,application_2013
0b2d1228c056ad88a69e5464b0b05669 80de9242147e740c5ec5959a40e59f1d planning surynek sat http://hdl.handle.net/10138/135571 no mrpp_8x8#22_20.cnf.xz anni_2022,crafted_2014,main_2015
0b311dd23febc7f287a8a6f42d211779 3f84e000f39766d996848f0a72ca3061 finite-state-machines een unsat empty yes een-pico-prop05-50.cnf.xz anni_2022,main_2006
0b348eb6b61e4f0026437fda402c9b62 00b2245f639d69316e9e549fb1a045a0 petrinet-concurrency bouvier sat http://hdl.handle.net/10138/318754 no vlsat2_16676_1598591.dimacs.cnf.xz anni_2022,main_2020
0b4421f6aac81e2dbc87c5b5ddae6511 24c0658adc46957a579bf6372308f9bb prime-factoring unknown sat empty no 52bits_12.dimacs.cnf.xz anni_2022,main_2015,main_2022,parallel_2015
0b4a57d8dab789e2476be5b1ac680eeb e66b8d281d38d60d9dc595ece3af5d2b pebbling sabharwal sat empty yes sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf.xz anni_2022,crafted_2007,crafted_2012,portfolio_2012
0b588a6e45c73bce7c7fed2bf2415c22 5e0e7c14fcb445c9b4466a7d2da2b96c phnf heule unknown empty no phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf.xz anni_2022,crafted_2007,crafted_2009
0b60f19be0b62cf337d7240821869488 c1ebeaac8c8b23f9e54da2b492906fdd cryptography nossum sat http://hdl.handle.net/10138/135571 no 002-80-12.cnf.xz anni_2022,application_2014,main_2015,parallel_2015
0b718ab9c97252d173487b79e0d1101a 2890c1f7fd3fdd50cc66ce26f15fb355 pigeon-hole jingchao unsat empty no ae_rphp095_04.cnf.xz anni_2022,main_2018
0b79fd06074d17e8919ae2de094c168b 2556331f95d85ecb81f50c7102fd640b gray_codes manthey unsat empty no manthey_single-ordered-initialized-w48-b6.cnf.xz anni_2022,main_2015
0b847cc85f4f7e733b2746c6efb02dd8 5b7a6fb1b9d74c424baf445350232509 diagnosis anbulagan sat empty no UR-20-5p1-sc2009.cnf.xz anni_2022,main_2019
0b8d274c5bf66683cbdd1238771b31f5 b656774b6252e0d16cf4f2b2d00a2f23 coloring zhou sat empty yes queen8-8-9.cnf.xz anni_2022,main_2018
0b9c26a4c70242841fad1868c266dc9c b695863fd66f03cea7526c999652c2c6 unknown zhou sat empty no Eternity-10-05_c18.cnf.xz anni_2022,main_2019
0b9f8c85eaff9eed98a0c5cd3189afb7 257b14a0f6a4228e636463a35cd814b9 planning rintanen sat empty yes transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-NOTKNOWN.cnf.xz anni_2022,application_2012,application_2013,application_2014,main_2015,portfolio_2012
0baf01d658e8ba1a73915c2360fd2407 13b750d2dfbfe82709928a7d267180bd hardware-verification velev sat empty yes 12pipe_bug7_q0.cnf.xz,12pipe_bug7_q0.used-as.sat04-726.cnf.xz anni_2022,industrial_2004
0bbdb9c15c80e79e8c8059246d7480b3 a4b85101de1c4d53481da91f4f85b1f4 clustered-random anton sat empty yes lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf.xz anni_2022,crafted_2011,crafted_2012
0bc5a5c4dadf09bf4d0409fc04be2337 b7f4550b9b3a891abb93d9d2f08d9124 unknown moon sat empty no mp1-9_9.cnf.xz anni_2022,main_2017
0bd2c7b1f17c160b40be0ddd2846e1e3 25bc79226161934c5eaf4c5e482cbcea planning maris sat empty yes driverlog2_ks99i.shuffled-as.sat05-4019.cnf.xz anni_2022,industrial_2005
0be7677e00434b17e9e35104d290f600 e73785fe63591d9f3bb4a33b9faffe7f quasigroup-completion heule unsat empty no gensys-ukn002.shuffled-as.sat05-3842.cnf.xz anni_2022,crafted_2005
0bf65687de95c5b3a3b8937b2c174bc4 789bf9f3477b6e5a8df8c70f5772cea9 miter goldberg unsat empty no frg1mul.miter.used-as.sat04-331.cnf.xz,goldberg03:hard_eq_check:frg1mul.miter.used-as.sat04-331.cnf.xz anni_2022,application_2012,industrial_2004,portfolio_2012
0bf9efd9be951c0acc5b43ec9adc5002 c94a85153579b02730e7d814a758136e cryptography liang unknown https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=45 no mp1-24.6.cnf.xz anni_2022,main_2017
0c2aa8574a42ef635b8878d6e193d142 7cf07e48aa4234d6b1cff36eab111445 graph-isomorphism mugrauer unsat empty no crafted_n12_d6_c3_num19.cnf.xz anni_2022,crafted_2013
0c352077e8e6ace62272ab13b1ca623c 96c586ef810544417d740607d00b1ee7 tseitin-formulas chu-min-li unsat empty no Urquhart-s5-b3.shuffled-as.sat03-1572.cnf.xz,Urquhart-s5-b3.shuffled-as.sat03-1572.used-as.sat04-813.cnf.xz anni_2022,handmade_2003,handmade_2004
0c3d709ab7576354e69ad01dfab14cdb 23e139af9f092264fbf3457a79c7a7b9 pigeon-hole sabharwal sat empty yes php-018-018.shuffled-as.sat05-1161.cnf.xz anni_2022,crafted_2005
0c3f1f7994db2452d505333684d3ccd7 697afbb125feee7c9ac89e7c1342c16b random-csp kexu sat empty no frb53-24-2.used-as.sat04-888.cnf.xz anni_2022,handmade_2004
0c40255fc17d99908bda16373de5ada3 e9e3f3119d0e4e9965036afdfb53b6d1 mosoi-289 mosoi sat empty yes 289-sat-6x9.cnf.xz anni_2022,crafted_2011
0c4355730d11bb18582d00f7266fdf27 0f43a831b8fde3f505fce5ffbf9cfe7a sliding-puzzle kaiser unsat http://hdl.handle.net/10138/333647 no puzzle34_unsat.cnf.xz anni_2022,main_2021
0c4374d74eec3995417843b26034894f 7f88c28395de6ff00ded3f19ddbdb9b3 ordering-principle elffers unsat empty no pop96_shuffled.cnf.xz anni_2022,crafted_2016
0c5733ee64d8332774e268862ec16132 bf2f55da76dfd43d90d44bb239334413 fdmus unknown unsat empty yes fdmus_b22_355.cnf.xz anni_2022,mus_2011
0c58a98348cf101f179847469c649c1b 312c275aa6c73de7a8fa1e20fd8b09b4 generic-csp connamacher unsat empty no connm-ue-csp-sat-n600-d0.02-s1676244754.shuffled-as.sat05-535.cnf.xz anni_2022,crafted_2005
0c60cae1d0bd8a26f87a3aab7077e0d8 d3d6f4d1cf5804e7e413644ea723ab93 random-modularity giraldez sat empty no modgen-n200-m90860q08c40-16597.cnf.xz anni_2022,application_2016
0c73ba1c522d042dc9d2688f5896650c 410b5da768308094104de2a57b00bdc3 bitvector kovasznai unsat http://hdl.handle.net/10138/135571 yes shift1add.15982.cnf.xz anni_2022,crafted_2014
0c75119940f87f2bc1dc3f53aeedc02b a6d6d003370ac52f5102d89bd152beb6 maxsat-optimum cherif sat http://hdl.handle.net/10138/333647 no 20-100-lambda100-89_sat.cnf.xz anni_2022,main_2021,main_2022
0c7e74a3efcd698000f761accd506ac1 b7705e65562b42fce00ac000b13d5f09 miter goldberg unsat empty yes rand_net70-40-1.shuffled.cnf.xz anni_2022,industrial_2002
0c945ea640ceb4c2f80463f7930ccb89 6a86fc5c231538a55bb4b70941055bd3 fpga-routing aloul sat empty yes bart19.shuffled.cnf.xz anni_2022,industrial_2002
0c9bcbc815cf0f109b7aeef3fbffc42d a69f6a064a881e532cc88bd71b0c3aec minimal-disagreement-parity simon sat empty no par32-2.shuffled-as.sat03-1534.cnf.xz anni_2022,handmade_2003,main_2025
0cab9100cdd8505069301d658d085899 464b73040b2ce7e256f6e4c808c95a3e termination-analysis fuhs unsat empty no AProVE07-01.cnf.xz anni_2022,application_2009,application_2011,application_2014,industrial_2007
0cb3538f0197f24fc57d79913b0531d9 751bebe3eb190eef9433166ad061cc0a waerden kullmann unsat empty yes VanDerWaerden_pd_2-3-18_313.cnf.xz anni_2022,crafted_2012
0cbe117e0149223a332679d6c206273e 96a4e19d2964cec171c66f7d0b778722 subgraph-isomorphism anton sat empty yes srhd-sgi-m27-q255-n25-p15-s2076598.cnf.xz anni_2022,crafted_2011,crafted_2012,portfolio_2012
0cbf8baaec52ee50ccac930d237689af 210cfb76b797feba5e8d3c43e1553bf7 diagnosis anbulagan sat empty yes UTI-10-5t1.cnf.xz anni_2022,application_2011
0cca2c91974f5ad8064965cd97bcea74 7e66190007d61d5a048dead5d4c7411c hardware-verification ibm unsat http://hdl.handle.net/10138/135571 no SAT_dat.k35-31_2_rule_2.cnf.xz anni_2022,application_2014
0ccbe90c246f198ecab671c9e5e8cf52 530c23862689176bf8ea5ac8456c2d69 clique-width heule unsat empty no rnd-v25-e81-k8.cnf.xz anni_2022,crafted_2013
0ccc2718c8a88220ddc024a435c39ab9 8449c871572e86dcffcb342391297ce4 auto-correlation mugrauer unsat empty no LABS_n071_goal001.cnf.xz anni_2022,crafted_2013
0cd03d3b393ee74468e3a7764bf113da a11afb55df4babd4d0ad89aaf22cad73 clique-width heule unsat empty no rnd-v25-e67-k8.cnf.xz anni_2022,crafted_2013
0cdc3028845a704c1ed287ce5dbe8a76 038e251564a1c19535189cb84dfacb19 hardware-verification manolios unsat empty no f7nidw.cnf.xz anni_2022,main_2010
0cde4f22de8c11325ceadc0a1f87f161 5b174ae82e49d79fdbd3704cc45b31b1 hidoku manthey unsat empty no hid-uns-enc-6-1-0-0-0-0-30547.cnf.xz anni_2022,crafted_2013
0ce6a24a8c017370b5be13b2830ec3e0 097240bdd4672155c64be23f3db0132f long-learned-clauses markstrom unsat empty no pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf.xz anni_2022,crafted_2007,crafted_2009
0ce80a3905fd38cb9566e38daee8c333 249710064d95f2fe5bae04bc1f3af035 cril-misc frioux unsat empty no T77.2.0.cnf.xz anni_2022,main_2018
0cfd3165c1106756944f6634c3c1296d aa625856c3b1628e16ef66786e4fe62f cril-misc frioux unsat empty no g2-T108.2.1.cnf.xz anni_2022,main_2017
0cfe9c90d3a51435a5e4dba7634b882f 601739193ec14b654f072fccd0768b68 miter biere sat empty empty g2-ak128boothbg2msisc.cnf.xz anni_2022,main_2017,main_2024
0d16634437519c6d2e1ae0cf82145e07 4db96dd83047c87a77f345e1b47bb623 generic-csp connamacher sat empty no connm-ue-csp-sat-n1200-d-0.04-s706145924.used-as.sat04-971.cnf.xz anni_2022,handmade_2004
0d209cb420326994f9c4898eb10228ab df361e3ba5a517b9f15141436324c3fe cryptography nossum sat http://hdl.handle.net/10138/135571 no 008-80-8.cnf.xz anni_2022,application_2014,main_2015,main_2022
0d32d1684e3bf275566925e996ee525b 344d81265a0f6e1f492b4f7907e0ab67 hardware-verification ibm sat empty yes ibm-2002-04r-k80.cnf.xz anni_2022,main_2008
0d33965e0c0dbea122c1f56b4f3108f2 7beaa4a4e73cad59dfc8477f02e37573 matrix-multiplication markstrom unsat empty yes mm-2x2-5-5-sb.1.shuffled-as.sat03-1498.cnf.xz anni_2022,handmade_2003
0d33d876dda3913196d9778357982038 1f4ff4d1b6f2a79abffcf1b8f2a89835 miter biere unsat empty no 6s139.cnf.xz anni_2022,application_2013
0d3bdfd1b4eb3fb16eeb2d8437db66a2 0d8b4c4686d76d7d5b4f8e285077ca0a tseitin-formulas jarvisalo sat empty no mod2-rand3bip-sat-260-3.shuffled-as.sat05-2235.cnf.xz anni_2022,crafted_2005
0d469f1798ea769cf279c9ae32fda704 614fc663759084e229f0363f941ddcb2 planning maris sat empty yes ferry8_v01a.shuffled-as.sat05-4073.cnf.xz anni_2022,industrial_2005
0d4b99f6d05c9e993ea8655d355fa3b3 f47f15d346fb2b0d6bdee0850fd7f216 petrinet-concurrency bouvier unsat http://hdl.handle.net/10138/333647 no vlsat2_112_4223.cnf.xz anni_2022,main_2021
0d69ebe07952e551d249d8b9c9e87c08 715fefa1ffce48819b9e96946bdd32e9 stedman-triples johnson unknown empty no sted1_0x1e3-200.cnf.xz anni_2022,main_2018
0d6d8b5df5df77f1feaacc1fb58ebf9d 022a870a26ac8cbac26d3534cfcc00a2 graph-isomorphism mugrauer unsat http://hdl.handle.net/10138/135571 no crafted_n10_d6_c2_num6.cnf.xz anni_2022,crafted_2014
0d7f17f04ed073a8ea39e72783186cdb 32dc194cbb33cbc6c2c8de6abbad0f86 station-repacking newman sat https://satcompetition.github.io/2020/downloads/station-repacking.pdf no 49-132779.cnf.xz anni_2022,main_2020
0d7f91b51774f9a28a5a86125f47676d f7a93d7ee63387bb5727546cae435d03 sgen spence unsat empty no s105-100.cnf.xz anni_2022,crafted_2007
0d886285bf78d66222e878a7b85f7f37 5efe15d465db2103ff94e2607c7d2f98 stedman-triples johnson unknown empty no sted1_0x0-380-sc2018.cnf.xz anni_2022,main_2019
0d9fd2c25b5d342a4ba81b61adff4cb8 a26c91df8cb2f7dd05d4502499110982 quasigroup-completion heule sat empty yes gensys-brn004.shuffled-as.sat05-2748.cnf.xz anni_2022,crafted_2005
0da849f5097d0c475845da04445a2182 1a8cee1b8ec5bd7d1901ad528ae69841 miter balabanov unknown empty no sat_prob_63.cnf.xz anni_2022,application_2016
0dba42843f43e4bbff9c41939eabf06d 5faf5f9588eb69ae9fa4f7ecde1471b3 subgraph-isomorphism anton unsat empty no SGI_30_70_25_50_7-log.shuffled-as.sat03-162.cnf.xz anni_2022,handmade_2003
0dbefa4968becff56e3e821af50d66b5 20f157666162309a56aa4ac77848de90 matrix-multiplication markstrom unsat empty yes mm-2x3-6-6-sb.1.shuffled-as.sat03-1502.cnf.xz anni_2022,handmade_2003
0dd29074a3f1ffa57429990b5260d5fe f89c6779e0a57ecb5907e28ef3300d91 planning balyo unknown empty empty sokoban-p20.sas.ex.21.cnf.xz anni_2022,application_2016
0ddb14f3c94bcd7233ef0c64bc1ffc56 ae53b8c73ea67732c51db470c0aaa618 tseitin-formulas jarvisalo unsat empty no mod2-3cage-unsat-9-18.shuffled-as.sat05-2593.cnf.xz anni_2022,crafted_2005
0ddf53c673ce101b55cc995a357c21f4 fbf4ab02464359ac8d35cdfb09bb10be bitvector unknown unsat empty yes mulhs008.cnf.xz anni_2022,mus_2011
0de14c4ab8783c0417c774e0266d574a 0dd6d0fd4bf20e9e8bcacc17d22de9b8 stone elffers unsat empty empty stone-width3chain-nmarkers-20_shuffled.cnf.xz anni_2022,crafted_2016
0de99d1b407af4eda689e2945fa86813 e87365530066c8cf464466c762b73c82 coloring pehoushek sat empty yes 3col180_5_6.shuffled.cnf.xz anni_2022,handmade_2002
0e13290ed42fd04c50249f41b0e127f1 9a0a3033b3afc3d5e242a26f73decb88 miter biere unknown empty no g2-ak128boothdiagoaig.cnf.xz anni_2022,main_2017
0e187bcfd6e67f3045edc17b9d9bd0e2 7e66f8a2ba1676f5043c1eaaf011ac62 bitvector manthey unsat empty yes add_01_1000_4.smt2-cvc4.cnf.xz anni_2022,application_2016
0e2d6a8d344a5011a262e4709f27860b 372672e971135e034ccbf717a6013e2b purdom-instances purdom sat empty no 10142772393204023fw.shuffled-as.sat03-1661.cnf.xz,10142772393204023fw.shuffled-as.sat03-1661.used-as.sat04-784.cnf.xz anni_2022,handmade_2003,handmade_2004
0e5473ee6c2085b34c798f23fbebc08e b709a34574624d87ef9454897f8f2a42 hardware-verification manolios unsat empty no c9nidw.cnf.xz anni_2022,application_2012
0e5a211e7c3d52b6cbede3fef45f4f3a 9211c2ca813262a150d027b9f5063e05 hardware-verification velev unsat empty yes 4pipe_4_ooo.cnf.xz anni_2022,mus_2011
0e5ffe8651c6d9c3cccc3f6cb72be39a bebbc5c1a33ef454a9533fec2e521885 bitvector manthey unsat empty no g2-test_v5_r10_vr10_c1_s21502.smt2-cvc4.cnf.xz anni_2022,main_2017,main_2024
0e775873f4c4bbc81ff92b87dd3e15e8 66c476ee4e252b0af937d3d3581391e0 planning rintanen sat empty no grid-strips-grid-y-3.045-NOTKNOWN.cnf.xz anni_2022,application_2012,application_2013,main_2022,portfolio_2012
0e78e16264efc451d89678ca7728ef09 66839c2fcfb82ff4b93891fd0f925980 hardware-bmc unknown unsat empty yes shuffling-1-s1722048485-of-bench-sat04-437.used-as.sat04-576.cnf.xz anni_2022,industrial_2004
0e820229802d400529e31e5d6d01f283 fa8b1a9911c6317a4d5f3e483adccf1d fpga-routing goldberg sat empty yes too_large_gr_rcs_w9.shuffled.cnf.xz anni_2022,industrial_2002
0e95945de777e522ea509512bb49b4d4 19d69b8e041f87c99a048983d14c4065 coloring pehoushek sat empty no 4col240_9_2.shuffled.cnf.xz anni_2022,handmade_2002
0e9f0315dd6f93a2613812dfbfcfffa9 0a1055cd0cdec84e7b502bd75f4b722b random-modularity giraldez sat empty no modgen-n200-m90860q08c40-18788.cnf.xz anni_2022,application_2016
0ea326438968cc2d842332621db90b31 2e8580755b04439280016cc713d02938 scheduling manthey sat empty yes traffic_r_sat.cnf.xz anni_2022,application_2011,application_2012,portfolio_2012
0ebaafc398c713a7ba8f8a231843fade bf2e60547884495c7f9a255c4d78386a phnf unknown unsat empty no phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf.xz anni_2022,crafted_2007,crafted_2009,crafted_2013
0ede0472f02605ec291fd09b161a99bb 3ce7177da3047836972664028e87469d cril-misc frioux sat empty no g2-T169.1.0.cnf.xz anni_2022,main_2017
0ee4def0195e56978cdeb908942096ba 115cbeaeeaa45992e1554d86af929caf matrix-multiplication markstrom unsat empty no mm-2x3-6-6-s.1.shuffled-as.sat03-1501.cnf.xz anni_2022,handmade_2003
0ef68fc7aa6f2bc7fb74ada9d865da06 5f241ac0dd9d1e02ec805fbbd94c09c1 planning maris sat empty yes depots1_v01a.shuffled-as.sat05-4013.cnf.xz anni_2022,industrial_2005
0efa07e7b6206471a0c15605edab6faf 7300c4521783dcb2fb1b7d5a55ebac68 subgraph-isomorphism anton unsat empty no SGI_30_40_30_20_2-log.shuffled-as.sat03-105.cnf.xz,SGI_30_40_30_20_2-log.shuffled-as.sat03-105.used-as.sat04-769.cnf.xz anni_2022,handmade_2003,handmade_2004
0f2485d8cdb1178561229aac4b7d9c7a cee49ba7362f236bf6139f3a77c178c8 prime-testing unknown sat empty yes prime2209-90.cnf.xz anni_2022,crafted_2012
0f27eae382e7dcd8fd956ab914083a29 845b9dc6803fb0fe7f941d4bd1f007de termination-analysis fuhs sat empty yes AProVE11-12.cnf.xz anni_2022,application_2011
0f371692924016392c7035ec4dd58ffc 52c7844ba24e6fa07f5203342ceb4200 hardware-bmc unknown unsat empty no shuffling-1-s147121172-of-bench-sat04-433.used-as.sat04-572.cnf.xz anni_2022,industrial_2004
0f4576a6e7399336e11f0828d32263dd 10fff6a1ef0e27f016d3f20d498da087 coloring pehoushek sat empty yes 3col100_5_1.shuffled.cnf.xz anni_2022,handmade_2002
0f46a676eab0d62b0b59356cb39e22ae b6c130f97e3dacc606c7af8da1a23e67 cryptography shaw unsat http://hdl.handle.net/10138/318754 no grain-55-80-0s0-seed-125-45-init-40.cnf.xz anni_2022,main_2020
0f4911e1180b80b45e9db7ec5e73eb66 2b7a554494871b15ca44d21ba317f984 knights-problem unknown sat empty no hcp_CP16_16.cnf.xz anni_2022,main_2019,main_2020
0f58a7071d2f55a22c5aa62c42e26675 220225f2bf7e8a4899020b0464b0f76c cryptography liang sat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=45 yes mp1-21.3.cnf.xz anni_2022,main_2017
0f5921fb01e9157f405741b6d0a276d2 4d470bc3467e1ccd2f3d6d3b8ad69297 miter biere unsat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=37 no g2-hwmcc15deep-bobpcihm-k33.cnf.xz anni_2022,main_2017
0f720de29e385918ebecb8847ace5947 3015062eef702c0c6f13ffbdb0a72b2c rbsat huang unknown empty no rbsat-v2640c305320g6.cnf.xz anni_2022,crafted_2009
0f756b788718d677f0fc3f0fa0989498 45edf34e780268ba593456422156663e quasigroup-completion sorge sat empty yes iso-brn008.shuffled-as.sat05-2702.cnf.xz anni_2022,crafted_2005
0f7bae0c7c3563946e2a132509677b01 f2cae2592b3db9a6717f861a80896b5e hardware-verification ibm unsat empty no ibm-2002-24r3-k100.cnf.xz anni_2022,main_2008
0f877a1f984f35fdfdce011cb7152123 56983cfc44aa212a8fa5997e2fe1cdb5 bitvector preiner unsat empty no bvurem_20.smt2.cnf.xz anni_2022,main_2021
0fa28db92de1b06953c018451455d746 e1e2d2663bfc5bd855906aa7a33fcd72 pebbling sabharwal unsat empty yes unsat-pbl-00150.sat05-1328.reshuffled-07.cnf.xz anni_2022,crafted_2007,crafted_2012
0fa8623240b5c14c1308f863a6dc88ab 5bb478f3992697ff6f54ee279c2f23a2 tseitin-formulas bevan unsat empty no urqh1c5x5.shuffled-as.sat03-1468.cnf.mis-103.debugged.cnf.xz anni_2022,crafted_2012,main_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
0ff0fc8ef80d32742d38231869d5d244 ff93679ea1771e5b5db0f25790f5f8f5 station-repacking newman sat https://satcompetition.github.io/2020/downloads/station-repacking.pdf no 59-131147.cnf.xz anni_2022,main_2020
0ff3de964d342de828b09a544fb51f55 43f4d059e57a58a5c950d751633c08f9 bitvector unknown unsat empty yes minand128.cnf.xz anni_2022,application_2009
10006cfd243f7851022bc69250862357 28b3cea3e4b0cffb67f18be689ca5837 planning jarvisalo sat empty no aaai10-planning-ipc5-pipesworld-18-step16.cnf.xz anni_2022,application_2011,application_2012,portfolio_2012
1001a2a87617b59d50cc24f324533090 354cac19b94872bad16609437e2edcd2 miter biere unsat empty yes ca016.shuffled.cnf.xz anni_2022,industrial_2002
1002bdd7ae2f89a9b5ad92580438d1ab 9ca80e85f21349e2e4c6575ca45e2b91 coloring heule unsat empty no Schur_161_5_d39.cnf.xz anni_2022,crafted_2016
1005eec69abcc300e1c0d22bd08ad143 3fbd0d8247434287819d090a68f84423 diagnosis anbulagan unsat empty no total-10-13-u.cnf.xz anni_2022,application_2009,application_2012,application_2014,application_2016,industrial_2007,portfolio_2012
101c1853d834751cb1abda03f4477f9e 504f699548b0d30c7714bc9ca6afc87b hardware-verification unknown unsat empty no eqbpwtrc10spctbk10.cnf.xz anni_2022,main_2019
10253f0a4b37654146aaf73a9fbbd929 8c43b0c1c958fd1f91f7b3d9a012d7be argumentation wallner sat http://hdl.handle.net/10138/135571 yes complete-500-0.1-15-98765432150015.cnf.xz anni_2022,application_2014,main_2015
102ddb414ef5a0f8cf06f168df8f271a c7db518426ef58882763a40b6a22f017 scheduling djamegni unknown http://hdl.handle.net/10138/318754 no Timetable_C_151_E_34_Cl_10_S_4.cnf.xz anni_2022,main_2020
106e3f289d291c78860ae6485a0ce2c0 6b17171f84680b20bcd418e9b3787406 crafted-cec klieber unsat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=39 no mp1-klieber2017s-1200-024-eq.cnf.xz anni_2022,main_2017
106e5cdfbb722dda0d795c087a13d9c6 ea7d95cb620cf35547750d5d70a3752a bitvector kovasznai sat empty yes ndist.b.20499.cnf.xz anni_2022,crafted_2013,crafted_2014
107deb612f9f837acc53383e522196ae 81c2e1b957f55ec413fc1ee7ed4688d5 random-csp kexu sat empty no frb56-25-1.used-as.sat04-889.cnf.xz anni_2022,handmade_2004
107e43f3e7616bc80201d3694a7fba14 ab6fc6f9df7eb88051527da9954f7c38 sgen spence unsat empty no sgen1-unsat-85-100.cnf.xz anni_2022,crafted_2009,crafted_2012
10917fe3e9a9bf09dde447549df769a2 1fb372341ff9966569a204db3e178e70 scheduling mayer-eichberger unsat empty no pb_300_04_lb_05.cnf.xz anni_2022,application_2013
1094358cc79c387e172b2a82559faf65 8704d0f6ec95550dd9272616eb80557b coloring manthey unsat http://hdl.handle.net/10138/135571 no ccp-s5-facto2.cnf.xz anni_2022,crafted_2014
10a553afab3c4406968b1f6b3abfcfcd e897f05f143c90d1518df843bff85ea5 quasigroup-completion heule sat empty yes gensys-brn100.shuffled-as.sat05-3765.cnf.xz anni_2022,crafted_2005
10aca82b7b9798a9a088f4df2c324d1d 31e7dc224d3bd95ec5ef2bc2770800a1 miter unknown unsat empty no cruxmiter29seed9.cnf.xz anni_2022,main_2019
10b036e863831522bb13cd88398a1b48 e104448a05fa7a1f81402990fafb60cc quasigroup-completion heule unsat empty yes gensys-icl003.shuffled-as.sat05-3129.cnf.xz anni_2022,crafted_2005
10b246af85ac9f0a525e5d50fab31d2a 259c601b9c980225783077d231787188 planning maris sat empty yes satellite3_v01a.shuffled-as.sat05-4056.cnf.xz anni_2022,industrial_2005
10b350de2bd98589f455af8ae8f7d398 ccc1d11b2501e1a051ce53cb21db7c5f hardware-verification velev sat empty yes 12pipe_bug4_q0.cnf.xz,12pipe_bug4_q0.used-as.sat04-723.cnf.xz anni_2022,application_2011,application_2012,industrial_2004
10b460a4da6a4e199e946788a374032b 3f73a630f29b7a67fa5101f0c57b5d5a hamiltonian-cycle heule sat http://hdl.handle.net/10138/333647 no HCP-470-60.cnf.xz anni_2022,main_2021
10b717c427c2a09999ed71c8762892a7 759549055b3e7baf005e06c7a5054d01 cryptography fuhs unsat empty no slp-synthesis-aes-bottom13-sc2011.cnf.xz anni_2022,main_2019
10ba9784d4f44ff18d81b0bf41becd5f 85c62504bc4bc969130dccee5b2f9b83 cryptography zhang-lintao unknown empty no sha1.shuffled.cnf.xz,sha1.used-as.sat04-366.cnf.xz anni_2022,handmade_2002,industrial_2004
10c4c8bce4651cd5ae01eb7a62c69b95 6583da6eb9cc34d09a459d6cc859b213 tree-decomposition ehlers sat empty empty ex175_18-sc2018.cnf.xz anni_2022,main_2019
10eac59a20ab8b94d22d75557b22c364 089ffb69e2b3e1fc2e50e224ac00a9aa battleship skvortsov sat empty yes battleship-24-57-sat.cnf.xz anni_2022,crafted_2011,crafted_2012
10f58658725d26a71262cd04f3088a1d d8371de1df2ce4bb370972bcac4b54cc fpga-routing goldberg unsat empty yes too_large_gr_rcs_w6.shuffled.cnf.xz anni_2022,industrial_2002,mus_2011
10faafc5aaf72ba900b723ba97500c74 8d6fffeaabe2f69541b2e34f99720f28 cryptography nossum sat empty no 001.cnf.xz anni_2022,application_2013
1113541da043983ac674e70d62f3aab6 47626b640740799d7068fd54e2431160 cryptography nossum sat empty no 008.cnf.xz anni_2022,application_2013
1120bee8e16a37c21c4a7aed604514ae d1fb22b1092c985c3c395fbeb0f8b61a social-golfer lynce sat empty no sgp_5-6-8.shuffled-as.sat05-2669.cnf.xz anni_2022,crafted_2005,crafted_2011
115fa7f61704bc12b2373aa471bc434f d91f7a636ae4bfdcdee525f9125586c3 circuit-multiplier shunyang sat http://hdl.handle.net/10138/333647 no Circuit_multiplier24.cnf.xz anni_2022,main_2021,main_2025
11620a549d04bb04d5c9e4f7f24ebbf9 5c2f625bf5b5d461e004cc7ff9f90335 tseitin-formulas elffers unsat empty no tseitingrid6x180_shuffled.cnf.xz anni_2022,crafted_2016
1165e12b6addad01b491c4616306186c ef376dd3bb2227f85a1cfe50e6c91ae5 bitvector brummayer unsat empty no mulhs016-sc2009.cnf.xz anni_2022,main_2019,main_2024
1167631ff8146da4f3f29b2a4615e5e2 c0fbd6e6db14d21c7c78f97232aedb05 mosoi-289 mosoi sat empty yes 289-sat-6x20.cnf.xz anni_2022,crafted_2011
1169b7c01112d97a6835d259052284ba 5ce4f951b4ab21e253fa94d46c58e3d1 planning maris sat empty yes driverlog3_v01a.shuffled-as.sat05-4030.cnf.xz anni_2022,industrial_2005
116bae11adddfa555f2e21f8ee678de5 cbb051a818970478076ab31fb9922993 perfect-matching reeves unsat http://hdl.handle.net/10138/333647 no randomG-n17-d05.cnf.xz anni_2022,main_2021
116bb79175195fb4f9440086fb9bd61c 1758c8d1a3717965b7680a60be89bc76 cryptography nossum sat empty no mp1-22.1.cnf.xz anni_2022,main_2017
116ec46e0e46aa01f5234ab402cd90d2 13a6f0c68ac0c67d7e0232b58b1f0756 subgraph-isomorphism anton unsat empty no SGI_30_70_30_60_2-dir.shuffled-as.sat03-185.cnf.xz anni_2022,handmade_2003
117d518680560927b156f4603dc6bbed 7cad666d5d8745b71bb5d571a2b2a331 hardware-verification dellacherie sat empty yes cache_10.shuffled.cnf.xz anni_2022,industrial_2002
117e5ce2f2189661c2d693df1593969e 85784bf697f788d098f45077b4b74122 software-verification liang unsat empty no dist6.c-sc2018.cnf.xz anni_2022,main_2019
118415e2696075a8a1c5720c1838f1a7 2357a2427b0f5e6a5fdb0183db04fa8f subgraph-isomorphism anton sat empty no srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf.xz anni_2022,crafted_2011,crafted_2012
119fbc4bf0a3d1b60b24bc1bf7e24920 d9b8154c9dd2ebcc0e3d848f649e7053 miter biere unsat empty yes ca064.shuffled.cnf.xz anni_2022,industrial_2002,mus_2011
11a42df04104fd8d295bad95caa0066b 3b78368b448d75b6906ba119a186ad44 modcircuits unknown unsat empty empty mod3block_4vars_12gates_b2_restricted.cnf.xz anni_2022,crafted_2009
11a71cd35c99b9798df956b47ae602dd 211610b4e6c7bb7ec26b1c29b74a02c2 miter goldberg unsat empty no alu4mul.miter.used-as.sat04-326.cnf.xz,goldberg03:hard_eq_check:alu4mul.miter.used-as.sat04-326.cnf.xz anni_2022,application_2012,industrial_2004
11ba9953b9ae8475f05de36bfd6ec21f 14c33b12e15e135ba8bb97c20a41cfa7 coloring pehoushek sat empty yes 3col80_5_4.shuffled.cnf.xz anni_2022,handmade_2002
11bcf7c66059e936eb972ef712c13d99 c74a02e44c8371d38c25b8991055343a scheduling strichman unknown empty no course_flat_0.12_2018_3_5.cnf.xz anni_2022,main_2018
11c893b7c37aeb53cdaf5f677dda0b7d 52fc78882976a28ec6d7b7fca512145b tseitin-formulas bevan unsat empty yes marg3x3add4d1.shuffled-as.sat03-1447.cnf.xz anni_2022,handmade_2003
11cc29a1a68a2c47dcf1dce5bf214af2 d8694cabe1c470b43b20e6e98b46cc8a prime-factoring unknown sat empty no 64bits_11.dimacs.cnf.xz anni_2022,main_2015,parallel_2015
11cda83ca0d5328422f779158aa5f795 e08bc449b869da70393f6d9451cffb18 bitvector manthey unsat empty empty newton.2.3.i.smt2-stp212.cnf.xz anni_2022,application_2016
11d707af1f8831a041a036f1aa3c8d2c 98177832c3bc19eeb0f405540f602170 hardware-verification velev unsat empty no 9pipe_q0_k.cnf.xz anni_2022,application_2012,portfolio_2012
11d97071b666335ff8d4e1aee76dd70a e86d51ef2b2cf4850680dc76780bf58b coloring sabharwal unsat empty no unsat-set-a-clqcolor-10-06-07.sat05-1250.reshuffled-07.cnf.xz anni_2022,crafted_2007
11dc105c21aea0a301762c45217add17 93fb16a90e6f7245f9000ab3c0866baf misc-satex simon sat empty yes simon-s02b-r4b1k1.1.cnf.xz anni_2022,main_2006
11dcd55f9d6ce8873cd8150ce5ca6c4e 5df9a5b71dbcb373161302d7234e5720 planning sabharwal sat empty yes logistics-rotate-09t6.shuffled-as.sat05-1133.cnf.xz anni_2022,crafted_2005
11e63064d1f1f5a4873ea47ea971494a f7d07de5a7426c702c176034f3cbd18c matrix-multiplication markstrom unknown empty no mm-2x3-8-8-s.1.shuffled-as.sat03-1503.cnf.xz,mm-2x3-8-8-s.1.shuffled-as.sat03-1503.used-as.sat04-830.cnf.xz anni_2022,handmade_2003,handmade_2004
11ef5907b3eae3c89e10c65ea370c1f1 25e411ad893287e315ff165cca772c43 random-modularity giraldez sat empty yes modgen-n200-m90860q08c40-1585.cnf.xz anni_2022,application_2016
11f170863952f2f95ebb1398d43c20a7 473fba140862fffcab09fe39278d1ee9 dining-philosophers biere sat empty yes dp09s09.shuffled.cnf.xz anni_2022,industrial_2002
11f42e0d5ec5000614a12daeb322ba49 9e2eedd7d331fae95c88a963e768f002 planning maris sat empty yes driverlog6_v01a.renamed-as.sat05-3968.cnf.xz anni_2022,industrial_2005
11f7856b53db9263e48e81a61b0573fd 5d9239384e01f38abfe24320b66101ed stedman-triples johnson sat http://hdl.handle.net/10138/318754 no sted5_0x0-157.cnf.xz anni_2022,main_2020
1210821a9e623899534c02b53b189504 f8184095cf3a29e47a35d9ab65206d7a coloring pehoushek unsat empty no 4col120_9_2.shuffled.cnf.xz anni_2022,handmade_2002
1221395292eae12cbc0acd35aaa5c0f7 ac0caf0a723addbc3915fe0691c97b4a sorting-networks ehlers unsat empty yes snw_13_8_CCSpreOptpre.cnf.xz anni_2022,application_2016
1222285fc41b2fa6ee3aa3cbca6d09b9 d5f2c9c8f53481189f8942c67d955098 circuit-minimization unknown unknown empty no li-exam-64.used-as.sat04-302.cnf.xz anni_2022,industrial_2004
1226ff1c8dc34360b183aa2fe75b0ef7 428acf8db9e75f0f3fb4d6a57a33c9a9 hardware-verification manolios unsat empty no c8bidw.cnf.xz anni_2022,application_2012
123c397f55eeae78c45e8d973b8e9dce b25181ae33f318f3374db277a5a41950 bioinformatics bonet unsat empty no rpoc_xits_09_UNSAT.cnf.xz anni_2022,application_2009,application_2011,application_2016
1257f3a4242cc2439eeea548b387c9f5 5c8e2c3928b1d1f371a0e9652bfd8f4a planning palacios unsat empty no sortnet-7-ipc5-h15-unsat.cnf.xz anni_2022,application_2009,application_2011,application_2016,industrial_2007
125b1b687d66d1b60ac2356117fef571 8397e749403d5e35f6b20a341e086e64 hardware-verification velev sat empty no 9vliw_m_9stages_iq3_C1_bug8.cnf.xz anni_2022,application_2009,application_2012,application_2013,application_2014,industrial_2005,industrial_2007,portfolio_2012
125fe063849a753f60f98a174fb6af9f 314519d642fde958132c6aaae6316c0f scheduling manthey sat empty no traffic_r_uc_sat.cnf.xz anni_2022,application_2011,application_2012
126c4744d487fa4d3fe280ff2105e9ea 9c26b15e09daf55508c6ce03b41ee916 tseitin-formulas jarvisalo sat empty no mod2-rand3bip-sat-230-1.shuffled-as.sat05-2188.cnf.xz anni_2022,crafted_2005
12849382ca195b9de16f98b7435c8a39 b22dce1a7fc55b8a88e35dfbac17d235 prime-testing unknown sat empty yes prime2209-65.cnf.xz anni_2022,crafted_2012
128a20596924fe6ceb5a61144dcf4253 73e1a431259cc2a6014d1da79aa009b8 unknown unknown unsat http://hdl.handle.net/10138/135571 no Robertson-k8.cnf.xz anni_2022,crafted_2014
128b659f4f3d2a59a8186e3b2cfc83cf b325faa5c31ae4272df4ced2b6e2c1ad planning surynek sat empty no mrpp_8x8#22_16.cnf.xz anni_2022,crafted_2013
128fdc03329b57efb97c3cdf6ed7e35d 5286003d84ca41f07c5643911b9940a9 hardware-verification velev unsat empty no 10pipe_k.cnf.xz anni_2022,application_2012,application_2013,application_2016,main_2021
1294a03d87af23b2a11086b92d87cc22 25bb27857d2ece2804d4f02e28229dcd coloring pehoushek unknown empty no 4col180_9_1.shuffled.cnf.xz anni_2022,handmade_2002
12aa3ed1a79232f2a381751f1161ca1f 2f3d17b7cc330f9fa9568dee689847a9 miter goldberg unsat empty yes rand_net50-25-1.shuffled.cnf.xz anni_2022,industrial_2002
12bb20e3ad925897977f85af71db7c94 7be10082af8ee73407beb338dc6110e6 cryptography soos sat http://hdl.handle.net/10138/318754 no combined-crypto1-wff-seed-121-wffvars-500-cryptocplx-31-overlap-2.cnf.xz anni_2022,main_2020
12d79233413fe38d99a604487d2c3515 6979b38531b586a4e046de7b7702cb14 hgen guanfeng sat http://hdl.handle.net/10138/318754 no 170058143.cnf.xz anni_2022,main_2020
12d8567ccb0e051cd35cb6a1cd21cd5d 7f1998fd49e70b36588ccad34840499a erdos-discrepancy heule sat http://hdl.handle.net/10138/135571 no EDP3-13000.cnf.xz anni_2022,crafted_2014
12ebd70c1846efa7337844610e3b209f 7f00a0804f6a277fb1f054fe3d44351b planning rintanen sat empty no openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.075-NOTKNOWN.cnf.xz anni_2022,application_2012,portfolio_2012
12ec49b173727f63de149f9bbed384b9 41a38d058dd61498c144fe4665007d33 hardware-verification unknown unsat empty yes c9b_i.cnf.xz anni_2022,main_2010
12fd01409b8fc6ae93ea63612eb5ab18 a9120100936dff91670210d659fca243 hardware-bmc unknown unsat empty no shuffling-2-s961664232-of-bench-sat04-430.used-as.sat04-707.cnf.xz anni_2022,industrial_2004
13002f51482d0b78e9f98fae1672d99a 733d33db5fae8e963b0fb53c7d3d2109 cryptography kullmann unknown empty no aes_64_2_keyfind_1.cnf.xz anni_2022,application_2011,application_2016,crypto_2021
132c5c5610be000f972bd4d56fd5b812 80981d55f310e7b6da2b4c3ee88503d1 coloring manthey unsat http://hdl.handle.net/10138/135571 no ccp-s6-facto2.cnf.xz anni_2022,crafted_2014
1334869a4de372d47c958611390a93a5 63fe9fc47e88cca794f16525e7f5c2b6 prime-factoring unknown sat empty no 58bits_13.dimacs.cnf.xz anni_2022,main_2015,parallel_2015
1335cf5a529c51c86733b20450a41ac1 7adad2f1a318978c7ef776875db22bca scheduling mayer unsat empty no p01_lb_05.cnf.xz anni_2022,application_2013,main_2021
1349981bf0b0025492ab5dae1d8647df 25d4066cebc4477fdab2a66ac117c43e sgen spence unsat http://hdl.handle.net/10138/135571 no edges-072-3-7902777-18.cnf.xz anni_2022,crafted_2014
13538df69c3bc26707750ba55d90c9b0 baded380223bf6933bb4d68df2a29b90 planning rintanen unsat empty no blocks-blocks-37-1.130-NOTKNOWN.cnf.xz anni_2022,application_2011,application_2014,main_2021
135eb593af65aa579aede02fd289a6f9 932f810d095b9bbf523a682a07fb3d5e coloring-mycielski-graph yolcu unsat http://hdl.handle.net/10138/333647 no Mycielski-10-hints-8.cnf.xz anni_2022,main_2021
1364901fb87afe648b513e945ddeed91 1f727bd5109db17f97ed09449385b8aa edge-matching holten unknown https://helda.helsinki.fi/bitstream/handle/10138/306988/sr2019_proceedings.pdf#page=53 no b1904P3-8x8c11h0SAT.cnf.xz anni_2022,main_2019,main_2020
136c05323315a2cda8344717913a9a32 f1f2769acc1af4b42ddb0f5afbf3e6c8 graph-isomorphism mugrauer unsat http://hdl.handle.net/10138/135571 no crafted_n10_d6_c4_num3.cnf.xz anni_2022,crafted_2014
137850d8a2886b3cdd1684b23384c9ad 4e12748566d401e4555da7427ce26358 miter unknown unsat empty yes shuffling-1-s1735667200-of-bench-sat04-332.used-as.sat04-445.cnf.xz anni_2022,industrial_2004
137ce786edc85a0dfb57bb979faed4bf ca7fbfb10e5b6af5dee24bd0af13d400 dining-philosophers biere sat empty yes dp02s02.shuffled.cnf.xz anni_2022,industrial_2002
139c1262e5901a684005ffad897aa7eb ca8e0bcf9acf716ca936f6c96073bbcc maximum-constraint-partition riveros sat http://hdl.handle.net/10138/333647 no maximum_constrained_partition_18_bits_n200.cnf.xz anni_2022,main_2021
13a3389f542910702052bc765d5828bb a121218c6ade9a260ed7ce7ecb64fb40 quasigroup-completion heule sat empty yes gensys-brn003.shuffled-as.sat05-2680.cnf.xz anni_2022,crafted_2005
13a4db7331b370f0e4d8df55dc2a7098 e66117c236b3a63df335f06ce83f0f19 tseitin-formulas elffers unsat empty no tseitingrid7x135_shuffled.cnf.xz anni_2022,crafted_2016
13a72d8a4bb5a6414fdc8ae989fee92d 6276f323918362bddb9f939bdb01a169 planning unknown sat empty yes ferry10.shuffled-as.sat03-378.cnf.xz anni_2022,industrial_2003
13ad8e4f8453f77760e0f3da0a3b941f ffbb6c0bc8c636ed2e5ed4bdcded9000 ordering-principle sabharwal unsat empty yes gt-016.shuffled-as.sat05-1291.cnf.xz anni_2022,crafted_2005
13bd62a9f5834464df4d2df5d071a3ac a2fd19ad6f0f111a6dc667d90dd6d9bb clustered-random anton sat empty no lksat-n1100-m7545-k4-l4-s420878730.used-as.sat04-926.cnf.xz anni_2022,handmade_2004
13c6c5d376f59a6a2ad2a3bddd308011 542b2a19cda7cdf642803f12fcb23b10 miter goldberg unsat empty yes rand_net40-40-5.shuffled.cnf.xz anni_2022,industrial_2002
13d22302e47f3db018541183f5214785 4d99736709ab7609ca13990e3d06c420 coloring manthey unsat http://hdl.handle.net/10138/135571 yes ccp-s8-facto1.cnf.xz anni_2022,crafted_2014
13e816eedfe63394f2f4e76fa1c6f5b0 187dc8c79a4e8a1d8381d914a5d598ba coloring elffers unsat empty no ecgrid6x210_shuffled.cnf.xz anni_2022,crafted_2016
13f68a9b7623c96105f8a3ebf8366943 ecf8777f6949ded6e0b8f2d0c0703aac quasigroup-completion sorge unsat empty yes iso-ukn007.shuffled-as.sat05-3388.cnf.xz anni_2022,crafted_2005
13fb8738ace496c668131aaa70d26613 414e945abf6484130317f13c0d919cae ensemble-computation jarvisalo sat empty no jkkk-random-132906006427000-10-10-36-SUM-sat.cnf.xz anni_2022,crafted_2012,crafted_2013,crafted_2014
13fe4d700bdbec733be548e0ec21b544 c0ea2cb91009c5d659188304e0894d95 pigeon-hole unknown unsat empty no fphp-012-010.shuffled-as.sat05-1214.cnf.xz anni_2022,crafted_2005
1401185fe7e0a5f1139ff4755d65a089 c41900227d8545ba004d363e853b22c4 tensors savicky unsat empty no size_4_4_4_i4096_r8.cnf.xz anni_2022,main_2019,main_2020
140aa37221467a66d5711b760a19ee0f 4933ce0b4332813225f5915526f1ab69 ktf lagniez unknown http://hdl.handle.net/10138/333647 no ktf_TF-8.tf_4_0.02_37.cnf.xz anni_2022,main_2021
140f56ae75d27f8f64392ddbea8fdf20 b44c2372b85fbe9ee5698b75dbcbe011 cryptography sesum sat empty no gss-20-s100.cnf.xz anni_2022,application_2009,application_2012,application_2013,application_2014,application_2016,crypto_2021,main_2010,portfolio_2012
140f7253372168258f9a7ad838de7075 63e5cfffb7ad091b9e8db574cc1798a0 bitvector manthey unknown empty no qurt.c.20.smt2-cvc4.cnf.xz anni_2022,application_2016
141919813972d24c105018164e96cb1e 5c210a6deb953d1faabdf862f2f9cadd edit-distance mengel sat http://hdl.handle.net/10138/333647 no edit_distance023_281.cnf.xz anni_2022,main_2021
1419e4ee2ad74d456f94797c307dfe4b 8ec94e3f5b3666188d96076464dad743 subgraph-isomorphism anton sat empty no srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf.xz anni_2022,crafted_2011
14216e0f4c89982abcf5ad2cc1a23fd8 6aa0e6f1934e4a30876c609727ac1c3a quasigroup-completion heule unsat empty no gensys-ukn006.shuffled-as.sat05-3846.cnf.xz anni_2022,crafted_2005,crafted_2011,crafted_2012
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
142aad09e92ae1db4a93942feb9fb929 53fff25cfe74eebc5be37de4e2f7cf41 phnf unknown unknown empty no phnf-size10-exclusive-equilarge_m1.used-as.sat04-898.shuffled-as.sat05-4191.cnf.xz anni_2022,crafted_2005
143eb1d5010dc720785d002ef8a9df72 7433a4bc0e1192e278b8a44b161294f0 coloring pehoushek unknown empty no 5col160_15_6.shuffled.cnf.xz anni_2022,handmade_2002
1446548d272c0b28fb40225c50d743a5 06cffde9dcefe44821dfd181777e5066 tensors savicky sat empty no size_5_5_5_i041_r12.cnf.xz anni_2022,main_2020
144799298ab4d0bb0506753fc4783b76 86f6a7203c20279a63c879911674e3b3 tseitin-formulas jarvisalo unsat empty no mod2-rand3bip-unsat-150-1.shuffled-as.sat05-2654.cnf.xz anni_2022,crafted_2005
144889e68fb25ec33f1d81cab4c26581 1cccd3d8a7dc941f811ef694e33404bd dimacs-sorter manthey sat empty yes manthey_DimacsSorter_31_6.cnf.xz anni_2022,main_2015
1449a115a5f2378e73dcbda3fa0c0425 61fe6b0c5ecedf61fd7773f67d50403e pigeon-hole sabharwal unsat empty no php-014-012.shuffled-as.sat05-1173.cnf.xz anni_2022,crafted_2005
144ea08141644f262848c91e74653725 11f4d2c02e1ab4f7d5b44bee813e5b8e product-configuration marques-silva unsat empty yes C202_FW_SZ_61.cnf.xz anni_2022,mus_2011
144ff2831056bafda1124d98fceec5c7 a2c121641c24ddb5552ca81c4036fef3 cryptography nossum sat http://hdl.handle.net/10138/135571 no 002-80-4.cnf.xz anni_2022,application_2014,main_2015
14586ca8c72a92b53755c036c38c2cef 6533ac60afc11611301af0ade66af6e4 diagnosis anbulagan sat empty yes UCG-10-10p1.cnf.xz anni_2022,application_2012,portfolio_2012
146359b7765e5adff618d3cd77e0dcc8 9f6309271d7249164babd76fef3bde6d diagnosis anbulagan unsat empty no dated-5-19-u.cnf.xz anni_2022,application_2009,application_2013,industrial_2007
146de7a718e7e7403ab7acc2d412cf66 54ec46cdfa4cb7453b347ab758214339 tseitin-formulas elffers unsat empty no tseitingrid6x165_shuffled.cnf.xz anni_2022,crafted_2016
1482c70e79304f719835696bed633da5 7175d3cf9d1dec7c5bbeef55b7fae522 pigeon-hole sabharwal sat empty yes php-040-040.shuffled-as.sat05-1166.cnf.xz anni_2022,crafted_2005
1485a125a0f21831361c2fb65ce79a40 ca1e2b47cb161e6fe75e275ed7c79553 quasigroup-completion heule unsat empty yes gensys-icl008.shuffled-as.sat05-2720.cnf.xz anni_2022,crafted_2005
1485f3e0788a75cdd9cb29767a1a4998 b55b9809dd521a6f8f1fb2ef55360c08 miter goldberg unsat empty yes rand_net40-60-10.shuffled.cnf.xz anni_2022,industrial_2002
149295422d7a647d48da377e0a4caea2 1c92d7d8b8b69f91601248d6f318f39a pigeon-hole sabharwal sat empty yes fphp-025-025.shuffled-as.sat05-1205.cnf.xz anni_2022,crafted_2005
14970e78625100605d22c9916dd0a476 063c593d759e6598a0b151320c2cae9d edge-matching holten unknown http://hdl.handle.net/10138/318754 no b2005-p5-14x14c17h9-Ser3-0.cnf.xz anni_2022,main_2020
149c1d84fb49b95aa9e603f60dca73d4 e52668c0ae91fcde5714b50080d84129 popularity-similarity levy unsat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=49 no mp1-ps_5000_21250_3_0_0.8_0_1.60_6.cnf.xz anni_2022,main_2017
14a298150751628c4fb956a5dce195e4 4544f6c0ca0855e3823a09f94ef12fe6 pigeon-hole biere unsat empty no tph14.cnf.xz anni_2022,crafted_2013
14a9fe8122df422aad76a2546250c66f a4f48252b591a93c9b70ae1929848c85 pigeon-hole jingchao unsat empty no e_rphp065_04.cnf.xz anni_2022,main_2018
14c0a1f3a82f87b72950ad4825651764 663d558b30fb7b508d289a7df1f68502 hardware-verification unknown unsat empty no eqsparrc12bpdtlf12.cnf.xz anni_2022,main_2019
14c33d4be35ed33f2c67498f8334993f 73c27636082031377275411b187a432a stedman-triples johnson sat empty no sted5_0x24204-70.cnf.xz anni_2022,main_2018,main_2021
14d50d670d9ce9f8f4d7bf3b684059b2 b4ef412fcc5f766ffd32970362ffb6be social-golfer lynce sat empty no sgp_6-6-10.shuffled-as.sat05-2670.cnf.xz anni_2022,crafted_2005
14ddd0d10d662feeb6fc411df57c9b5f 4a2f42701a2e3fc278bedc3207d5c596 mosoi-289 mosoi sat empty yes 289-sat-5x8.cnf.xz anni_2022,crafted_2011
14e1b7f728682aed19489d87774a5090 38919da0a3110a0a7c96fdb3c51b666a hardware-verification unknown unsat empty no shuffling-1-s765004498-of-bench-sat04-365.used-as.sat04-504.cnf.xz anni_2022,industrial_2004
14e21c70a36bbf25a525d835ceab52da f62986b1057b9094bf7ebc25068343d7 pigeon-hole sabharwal sat empty yes fphp-045-045.shuffled-as.sat05-1209.cnf.xz anni_2022,crafted_2005
14e979e1360191196b871ec8c53fe8bc 536bb2870948061ccdbcd45db159bdc6 hardware-verification dellacherie sat empty yes cache_05.shuffled.cnf.xz anni_2022,industrial_2002
14e97f5bdd4ba3f941b73daa1e5ebf7d 3a77526b7657f14748016e52915a72b2 cryptography scheel sat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=68 no cms-scheel-md5-families-r24-c6-p1-4-6-13-14-18.cnf.xz anni_2022,main_2018
14eac5c467a48e54fb5b286b8bf447b2 f719ba1bf7f719471e487bcf9ba1f879 rubikcube jingchao unknown https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=46 no mp1-rubikcube820.cnf.xz anni_2022,main_2017
14eea0fa5d80a494354f587d31897c64 283f272de2c2e76f5c2eee4307c1c856 miter biere unsat empty no 6s126.cnf.xz anni_2022,application_2013
14f630622696acf0317df1ff5e20b1e9 4f1c37cc47c9cff9adfce6a0cb110138 fpga-routing aloul sat empty yes bart22.shuffled.cnf.xz anni_2022,industrial_2002
1508ae612fe86a14fe9ce950694f7b71 012b5861402d03f7de2eaa6bb9d1ae98 termination-analysis fuhs sat empty yes AProVE09-25.cnf.xz anni_2022,application_2009
150b48da1f16ceb124f18882bcfe4c96 5e4bdcaa4ce3452dcd6f987abfe2d9b9 subgraph-isomorphism anton unsat empty no SGI_30_70_18_80_10-log.shuffled-as.sat03-141.cnf.xz anni_2022,handmade_2003
150d5db53b79cad35248536274c2662a aaa2fc8dcb9e6d2c3f74a68cdf66fed2 cryptography sesum unknown empty no g2-gss-36-s100.cnf.xz anni_2022,main_2017
15190f252ac286e5d8c479ce342272f3 4d5f3851bc68e168185b74aeb481f311 hardware-verification manolios unsat empty no f10bi.cnf.xz anni_2022,application_2012,portfolio_2012
151a12771ab52c3b85df72a3d1f7f32d 2ad4233886777f785d8ee074b1a60b25 planning maris sat empty yes ferry7_v01i.renamed-as.sat05-4003.cnf.xz anni_2022,industrial_2005
151f658131c8e7b7a46d3a27d281e161 e60f6b269757fee2a76c754c7e518a8a hardware-verification velev unsat empty no 7pipe.shuffled-as.sat03-415.cnf.xz anni_2022,industrial_2003
1521bf4c6531b57b4052f24f8a1ea7d9 9e88e2ee8c047eac6b44018a00c1f18d miter unknown unsat empty no shuffling-2-s356209203-of-bench-sat04-338.used-as.sat04-616.cnf.xz anni_2022,industrial_2004
1527378fc216e0506bf8b63d0fad56be dc809d53f467b96d77ef9c261f7b0c3f perfect-matching reeves unsat http://hdl.handle.net/10138/333647 no randomG-Mix-n18-d05.cnf.xz anni_2022,main_2021
15300be1a87777f0110722557a86bf7a e7541f8f4c717f7d39a72c1b179465ab hgen chen sat http://hdl.handle.net/10138/318754 no 170055892.cnf.xz anni_2022,main_2020
153ae9caeac33a9b65982713f54d4387 cec0f6b5571d70c16ce5c35ca4265afd rbsat huang unknown empty no rbsat-v2100c215164g4-sc2011.cnf.xz anni_2022,main_2019
154c5b530d82f66ea4129abeac37ea67 210bfb3b62b47ef2c61c56e7a755dd1e ordering-principle elffers unsat empty no pop99_shuffled.cnf.xz anni_2022,crafted_2016
1567f5d6c1cbef6de37f8acbc54fb171 d12d790e53a8419e21546e81464b18e7 tseitin-formulas jarvisalo sat empty yes mod2-rand3bip-sat-240-3.shuffled-as.sat05-2205.cnf.xz anni_2022,crafted_2005
1573c39070c77802219d0b3e2562615e a7dd24a55a64190d5705cd62ce25b8ea grandtour-puzzle chowdhury unknown https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=59 no gto_p60c343.cnf.xz anni_2022,main_2018
15749785b7435c5c3aa4d99022a90aed 013d66b63383a8e03f2eff899952313f hardware-verification ibm unknown empty no SAT_dat.k100.debugged.cnf.xz anni_2022,application_2012,portfolio_2012
1575dcf4547f5854850b971013683c37 9d66f31bf3fd4d9da81bdca8d3b0bcce edit-distance mengel unsat http://hdl.handle.net/10138/333647 no edit_distance007_85.cnf.xz anni_2022,main_2021
1579a7daa06a82cb38610c06d20cb69b 8fe11abaa9195745465a21020e2f0c80 sorting-networks ehlers unsat empty no snw_16_8_nopre-sc2016.cnf.xz anni_2022,main_2019
1585509d20e96dca337559f71da9d9f1 7b30ebe3a04a56441917b23a531bd269 tseitin-formulas simon unsat empty no Urquhart-s4-b4.shuffled.cnf.xz anni_2022,handmade_2002
1591e8fcf2c06b0e72390027c2ae11ef d96b86cbb035828960bd0bb3a6c74932 hardware-verification manolios unsat empty no f9b.cnf.xz anni_2022,application_2012
15a0ff858513e4db318ca72151aaac93 79a20ed8fd8d408a312b5e8ff263f802 tseitin-formulas bevan unsat empty no hypercube7.shuffled-as.sat03-1437.cnf.xz anni_2022,handmade_2003
15a83459f3d2ee86944bf12f96e0002c 8e89905b367caa57650d8539867ba8bf hardware-verification ibm unsat empty yes 2004_rb10Sd.k85.cnf.xz anni_2022,main_2010
15a96101f9621bd5ed5edf9540c54f55 c4440b91bb75459976689b0240f42ef3 fpga-routing goldberg unsat empty yes example2_gr_rcs_w5.shuffled.cnf.xz anni_2022,industrial_2002,mus_2011
15aa76147c3bf733a63f020f917df935 2a4a1db04ac743163550b4208d817c8b bioinformatics unknown unsat empty yes q_query_3_L80_coli.sat.cnf.xz anni_2022,application_2009,application_2012,application_2014,main_2015,portfolio_2012
15b21ad2edfb8de81db7bf2481b0424c 7e9c7be48ca28656957dda3041857782 miter unknown unknown empty no am_8_8.used-as.sat04-341.cnf.xz anni_2022,industrial_2004
15ba9eb4b0035fb6ed11a03c7df21870 f26ed588e7931be691272859dc11a9bc ktf lagniez unknown http://hdl.handle.net/10138/333647 empty ktf_TF-6.tf_4_0.04_51.cnf.xz anni_2022,main_2021
15c1183fe607c7aa1f87d06857ad0cc6 fcf545109fb410123ca1aa2515ccfc21 crafted-cec klieber sat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=39 no mp1-klieber2017s-0300-035-t12.cnf.xz anni_2022,main_2017
15ce63c18bf6645abcd55327a2bf0dcf 0b0a491d74e1830d4c90bf1db8ce168e bitvector unknown unsat empty yes countbitsrotate016.cnf.xz anni_2022,application_2009
15cee83ee0a81237829a90803d8af228 d8aeb9e2f81d02bd6aba7f7f10909e18 edge-matching heule sat empty no em_7_3_6_fbc.cnf.xz anni_2022,crafted_2009,crafted_2012
15d6010045b28b74e7e797c752e35897 2ec6636d915962aa861c1ff2e3646778 coloring pehoushek sat empty yes 3col220_5_9.shuffled.cnf.xz anni_2022,handmade_2002
15dcca42e7bcad285627a9eaae45d860 501916621f172a6c213f01c0b7ada093 long-learned-clauses markstrom unknown empty no pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf.mis-111.debugged.cnf.xz anni_2022,crafted_2012,portfolio_2012
15fd8d06de40488c0ab4c167785111a6 1d956f3b5f136a2f42b318d463c68a54 miter goldberg unsat empty no term1mul.miter.shuffled-as.sat03-357.cnf.xz anni_2022,industrial_2003
16115c24655745d544b200948f2066a6 d9657e717224518608bd2f6bc4f58253 erdos-discrepancy heule unknown http://hdl.handle.net/10138/135571 no EDP3-30000.cnf.xz anni_2022,crafted_2014
163de421b5b9f3542987eba8d34ead83 63420255677daa0365b83d56928f5392 hardware-verification goldberg sat empty yes cnt10.shuffled-as.sat03-418.cnf.xz anni_2022,industrial_2003
1647fbd9ca6e5fb8ab052e79734636a9 f9d69dc767ee8935b5896eca71f07940 auto-correlation mugrauer sat empty no LABS_n074_goal006.cnf.xz anni_2022,crafted_2013
164c93c34c4d38cebf4d75e55a161056 2c3b6479115a506291bd9a9a3e3f80db coloring lardeux sat empty no color-15-4.shuffled-as.sat03-1485.cnf.xz anni_2022,handmade_2003
1651f84d3891b29f3125d69f4356c763 b9773bd8088b6a9027db3f76ce0a1823 hardware-verification unknown unsat empty no shuffling-2-s340247357-of-bench-sat04-361.used-as.sat04-638.cnf.xz anni_2022,industrial_2004
166a6b3d34c99e539a4f1e431d2181eb 9984c90f07aa61275f93bac0c4350c9f fpga-routing goldberg sat empty yes term1_gr_rcs_w4.shuffled.cnf.xz anni_2022,industrial_2002
166e1e5a9f63fcf94ddae8533fa2a090 79d9710ca788de0238cabb0a348e0c66 cardinality-constraints wynn unsat empty no mp1-squ_any_s09x07_c27_abix_UNS.cnf.xz anni_2022,main_2017,main_2021
167b736959aa8c9e5d38409755277a53 a8d056070ec4b86902d89bb21f5188a1 petrinet-concurrency bouvier unsat http://hdl.handle.net/10138/333647 no vlsat2_56_1042.cnf.xz anni_2022,main_2021
1684a7d84536cd0ef2996f81d962fa1e d312cacc98e53d945c6ab793ae9e59d9 prime-testing unknown sat empty yes prime2209-93.cnf.xz anni_2022,crafted_2012,portfolio_2012
168b4cf4e6b8318086edf8fce8ed760e d3f99f9d0be7626ea9e1164c06e224fe prime-factoring zha sat empty no factoring94418953x321534781.cnf.xz anni_2022,main_2018
168c37b28d0f412b9e903e9aa6783df7 efbed814504ff7dd519671d1c01b9d48 hardware-verification dellacherie unsat empty yes comb2.shuffled.cnf.xz anni_2022,industrial_2002,mus_2011
1698bc45adbd800076d24e622a227436 b3f4868da322ea162c59d92ae2af79ec bitvector jarvisalo sat empty yes smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf.xz anni_2022,application_2011,application_2012
169b832e8ad5102801bc5390663b0a81 08fdb3b6d8fb054732dc2172f6cfd433 random-modularity giraldez unsat empty no modgen-n200-m90860q08c40-13845.cnf.xz anni_2022,application_2016
169e8bcebaebcbb9ff2ba8233fea0dd3 9edb5769892be05beca451471625925d planning maris unsat empty no gripper14u.shuffled-as.sat03-397.cnf.xz anni_2022,industrial_2003
16b0810ba492f30a39fbd46ece608cf2 fc380407b9a0730afd244aa6eade0e65 tseitin-formulas jarvisalo unsat empty yes mod2-rand3bip-unsat-105-1.shuffled-as.sat05-2609.cnf.xz anni_2022,crafted_2005
16b5ccee102406efd1924d8f1c7a1cc6 eb14790f89889b112dc558809cac5a02 parity-games friedmann unsat empty no instance_n7_i8_pp_ci_ce.cnf.xz anni_2022,crafted_2009
16b9e9e007133b818ec1f0868613d534 e04a8503263b9a553fcf1cafecbe7c60 lam-discrete-geometry nejati unsat http://hdl.handle.net/10138/318754 no w19-8.0.cnf.xz anni_2022,main_2020
16c27d738cb45b766b8823ca4f428cf0 52071ce4403925a200aa0fd1e951b4ae rbsat huang sat empty no rbsat-v760c43649gyes7.cnf.xz anni_2022,crafted_2012,main_2024,portfolio_2012
16c999d046885c8e51f196e60c34d966 b868e3a2a6cd31b830a2f17a53030b51 planning jarvisalo unsat empty no aaai10-planning-ipc5-pathways-17-step20.cnf.xz anni_2022,application_2011,application_2012,application_2013,application_2014,main_2015,main_2025,portfolio_2012
16ca7cd1af0f7102faf95131822ace7e 4d3e556c29e42dac1e2fb3b9efe32c10 scheduling konan sat empty no TimetableCNFEncoding_3_UNKNOWN.cnf.xz anni_2022,main_2018
16d792afbb01388f5e2e544632908581 c5bc6bed12b90da3ec745d69c261cffb subgraph-isomorphism anton unsat empty no SGI_30_80_26_70_4-dir.shuffled-as.sat03-207.cnf.xz anni_2022,handmade_2003
16d83e40878ebec355597e0edb0e0c72 721b43c4fab6bceefa81c2ba9e5f496f lam-discrete-geometry nejati unsat http://hdl.handle.net/10138/318754 no w19-5.1.cnf.xz anni_2022,main_2020
16d99da4c23739000f28cc664d9794e6 4c0cf582fb841d71f3188eedb99fbe67 hardware-verification unknown sat empty empty shuffling-1-s37489193-of-bench-sat04-720.used-as.sat04-733.cnf.xz anni_2022,industrial_2004
16de92335666e9714a3add7f604f3714 342539b3f0e86e4a5c84c9e44b469873 scheduling kummling unsat empty no ctl_4291_567_10_unsat.cnf.xz anni_2022,application_2013
16e5939e61e823ea250858edd0fb8d44 9b0730647e8ff12fe7a8778e1fcfea4e tseitin-formulas simon unsat empty yes Urquhart-s3-b10.shuffled.cnf.xz anni_2022,handmade_2002
16efa5e34999ddabcc56590af09841c4 767f041836a176e07577633dc5211076 clique-width heule unsat empty no rnd-v25-e80-k10.cnf.xz anni_2022,crafted_2013
16f7933053ea6437ac271393e6b04856 90647032d30576952ce8229fb1285afd quasigroup-completion sorge unsat empty yes iso-icl008.shuffled-as.sat05-3242.cnf.xz anni_2022,crafted_2005
17039a3ed02ea12653ec5389e56dab50 1fbeb8a1d102d125ccb43f6579e0d4d8 pebbling sabharwal unsat empty yes pbl-00070.shuffled-as.sat05-1324.shuffled-as.sat05-1324.cnf.xz anni_2022,crafted_2005,main_2023
17101a56ae0a5e77b17589fadedd685c 065f211171bfdae4b1fffd562fa90db7 hardware-verification velev sat empty yes 9vliw_m_9stages_iq3_C1_bug2.cnf.xz anni_2022,application_2012,industrial_2005,industrial_2007
17127821f541755ba13937dcab5958ac 548d89a46d79e2f4051fc667e9de6cfd scheduling stojadinovic unsat http://hdl.handle.net/10138/135571 no atco_enc3_opt2_10_12.cnf.xz anni_2022,application_2014,main_2015
1717ecb490563208071b191dd0b1775c 88cb11e33bb1073d3ae0694ba9b88850 coloring sabharwal unknown empty no fclqcolor-16-11-14.shuffled-as.sat05-1285.cnf.xz anni_2022,crafted_2005
172ecb98a80b859e62612ff192a53729 5b39aa808c233505ca4a63010e5c3baa clique-width heule unsat https://helda.helsinki.fi/bitstream/handle/10138/318450/sc2020_proceedings.pdf#page=66 no Kittell-k7.cnf.xz anni_2022,crafted_2013,main_2020
173a34a4397f1e0bc6411426ae62acaf de39a7fee1d0ce17a5458d8e9355b760 rbsat huang sat empty no rbsat-v1375c111739gyes5.cnf.xz anni_2022,crafted_2013
17532fb8bed9cc868745b408054e41c3 19adae99efbcd196ec1d9d64977f4e16 coloring pehoushek sat empty yes 3col200_5_5.shuffled.cnf.xz anni_2022,handmade_2002
1777f9cbd29a37169aee9fa7fe2611af ad281217ebe22bfe23d2163c2e60cb25 bitvector kovasznai unsat http://hdl.handle.net/10138/135571 yes shift1add.21964.cnf.xz anni_2022,crafted_2014
178544c3e6f5ad707caf8940e30470c5 c2f4b58280b4db0989c40f9cc888f8eb xor-chain zhang-lintao unsat empty no x2_80.shuffled.cnf.xz anni_2022,handmade_2002
17984e46b3a82eec5fc5954f434f5b55 f0a1eb8f5bc747828535846330089c26 planning maris sat empty yes driverlog3_ks99i.renamed-as.sat05-3953.cnf.xz anni_2022,industrial_2005
17af580f88aa4043b86ce1960c0ae7eb 1c647b043eb68334a624827bbd697e19 misc-satex simon sat empty yes 3bitadd_31.shuffled.cnf.xz anni_2022,handmade_2002
17b54dc4971c1a5f907b5b9de801c1c6 bd1d5695e77671de255b41ae42c3a882 hardware-verification velev unsat empty no velev-dlx-uns-1.0-05.cnf.xz anni_2022,main_2020
17d01710d82e86967d43abc639f6476b 33feedac7cbad75599faf6ed44c3c679 rooks manthey unsat http://hdl.handle.net/10138/135571 no rook-42-1-1.cnf.xz anni_2022,crafted_2014
17d73071f8e0b710abbcfb506a54dec9 3466c780df12d1784369552846ae551e cryptography scheel sat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=68 no cms-scheel-md4-families-r24-c5-p0-5-11-13-18.cnf.xz anni_2022,main_2018
17e185a418231679210ed46269fd9155 d5904789d5c9903c6cf9284b7ba29efb graph-isomorphism mugrauer unsat http://hdl.handle.net/10138/135571 no crafted_n12_d6_c3_num10.cnf.xz anni_2022,crafted_2014
17eaed68dbdd4c7458eead7ae07364c4 675f8de5349ca8eb1742e5520d084ead sgen spence sat empty no sgen3-n240-s78945233-sat.cnf.xz anni_2022,crafted_2011,crafted_2012,crafted_2013,crafted_2014
17ef99c61659c974ae00f1b9bf092cdf 0d3747a5bccb89a110872a89f565f48e coloring heule sat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=66 no CNP-5-1700.cnf.xz anni_2022,main_2018
1805f0d293e36cf62f6d1ff73ab2ed6b 223d7f86ba1217d30e5363d3e32a70e4 random-clustered andrew unknown empty no Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf.xz anni_2022,crafted_2007,crafted_2009
180d76bceb59ef99fdceef095becd8a2 31c46cc7451cab7bb9c82cb74e50e59d hardware-verification velev sat empty yes velev-vliw-sat-4.0-b1.cnf.xz anni_2022,main_2006
180e6d8b61fe6bab26126b78591e324e fdbcc286cb60a162b54145bba0a47cc3 baseball-lineup hickey sat http://hdl.handle.net/10138/318754 no baseballcover11with22_and2positions.cnf.xz anni_2022,main_2020
18150bbe0ee97b8a971c9a2dca69bc9f 8107a4619b70abee91ad03e801e371ce subgraph-isomorphism anton unsat empty no SGI_30_70_23_50_1-log.shuffled-as.sat03-157.cnf.xz anni_2022,handmade_2003
18206ac7c3066f7d7f5eb614ede7ea96 c26e91f0c8fd21623f91a4353e710785 quasigroup-completion gomes sat empty yes qwh.35.405.shuffled-as.sat03-1651.cnf.xz anni_2022,handmade_2003
182c5a778acfc4512d833b76dce2b621 889d66abc1601f0d2ae50fa84ca0eed5 coloring pehoushek unsat empty yes 3col40_5_3.shuffled.cnf.xz anni_2022,handmade_2002
182e9fe8ef2a85945f0c9f87b669f572 e4d4fd4edbbebeb913bf5fee1969fffc pebbling unknown unsat empty yes grid-pbl-0080.shuffled-as.sat05-1344.shuffled-as.sat05-1344.cnf.xz anni_2022,crafted_2005
18327e9a1de2f0d294c0c20e754c58aa d44cb247bfae0e84d32b27fdbedbae56 pigeon-hole sabharwal unknown empty no harder-fphp-070-069.sat05-1240.reshuffled-07.cnf.xz anni_2022,crafted_2007
183d151693172be95f047880198a586a f50901f7ecde724081b6c8a55961ccf0 pigeon-hole jingchao unsat empty no a_rphp098_04.cnf.xz anni_2022,main_2018
1874a7dc05a2c2bbb28241515ea32323 f83496a8f3af54c4f70999193b795f7e planning unknown sat empty no gripper10.shuffled-as.sat03-388.cnf.xz anni_2022,industrial_2003
187b187f12f17112e727eb5d4948d6a2 bca887c001306876ca8f2fefd7444f91 clique-width heule unsat http://hdl.handle.net/10138/135571 no rnd-v25-e212-k9.cnf.xz anni_2022,crafted_2014
1890f49a43a94b97828528b68c32b78e 9108c03884869c20344bca9cfeeb0784 fpga-routing aloul unsat empty no homer11.shuffled.cnf.xz anni_2022,industrial_2002,main_2025
1892950840d43132a2dabe49db696d15 895d145516c9935cf2e6be1c260454dd xor-chain zhang-lintao unknown empty no x1.1_64.shuffled-as.sat03-1585.cnf.mis-125.debugged.cnf.xz anni_2022,crafted_2012
1893dc6e673071eae8b5c03ca724ae35 f313dae054dd6aa6837f78fe7d966200 testpattern-generation marques-silva unsat empty yes ssa2670-133.cnf.xz anni_2022,mus_2011
18a8fe99d35fd98a968a2cf53d7f235c 16ddffb150d512eda981840e64baefae coloring elffers unsat empty no ecgrid6x175_shuffled.cnf.xz anni_2022,crafted_2016
18ae95ad7071b0d086ef6d840d551720 f4bdfc078738ef668cebeafdedf62bcd sgen spence unsat empty no sgen3-n170-s56409011-unsat.cnf.xz anni_2022,crafted_2011
18c346e5b75068df5773eded64b8a44e 238a7706b4ac7ae0ed98009ee9d3fcb0 crafted-cec klieber unsat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=39 no mp1-klieber2017s-1600-023-eq.cnf.xz anni_2022,main_2017
18c8ebb6caa830bbb3a5ac3ba7c5bd90 f707733f2770e725be5a9f0cb0b4e1ae diagnosis anbulagan unsat empty no UCG-20-10p0.cnf.xz anni_2022,application_2012,application_2014,main_2015
18d2bfd6b4360d5e1140134a5420da0b 69ca574493a69a0f220a7c616f0e17e3 rbsat huang sat empty yes rbsat-v760c43649gyes6.cnf.xz anni_2022,crafted_2011,crafted_2012
18d4124324b56e434118f9ef72198d84 8f48367ecb89760cfb3c2cdad36eb3b8 cellular-automata chowdhury unsat http://hdl.handle.net/10138/333647 no spg_300_300.cnf.xz anni_2022,main_2021,main_2025
18db7016dd150fc1d41ddb8db44a6229 86a3083a73b9173fe25299e04ad0b148 sgen spence unknown empty no sgen1-unsat-121-100.cnf.mis-90.debugged.cnf.xz anni_2022,crafted_2012
18e86b73af9b6adadc355a281387348b 0d2e7594df970cb5648f838e4be1277a software-verification unknown unsat empty yes zfcp.cnf.xz anni_2022,main_2010
18f54820956791d3028868b56a09c6cd b8d73755d4ca586f42d97a72c72b1496 bounded-model-checking marques-silva unsat empty yes barrel2.cnf.xz anni_2022,mus_2011
18f8842032dfeb6008ab00e7ea0c7eb0 6466b015717281fefdebe37e23e5a9b5 fdmus unknown unsat empty yes fdmus_b22_662.cnf.xz anni_2022,mus_2011
18faad09a2e931cdfb4c8d7b1f2ef35f 3c8730ddebf3b103f61c6fa568b8c961 miter unknown unsat empty yes rotmul.miter.used-as.sat04-336.cnf.xz anni_2022,industrial_2004
19004c7d629f7e6e83c6e1d7a9a768a9 04f9a4ee384419eed87bbb3358130483 miter biere unsat empty no 6s166.cnf.xz anni_2022,application_2013,main_2023
190c646aa93f0fe89d9850a9b4260835 b45c15ccd3dbb7f22dcf58857049ba29 software-verification manthey sat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=73 no Problem11_label51_false-unreach-call.c.cnf.xz anni_2022,main_2018
190ed532bb8185719e8cc62db0784ac2 4242af611dc682905a4916e408e14cbb xor-chain zhang-lintao unknown empty no x2_56.shuffled-as.sat03-1602.cnf.mis-110.debugged.cnf.xz anni_2022,crafted_2012,portfolio_2012
1911bb724b626d44649cdd27bf727098 662c08a76fc4266c7d4c16cf7c5f2bdd quasigroup-completion sorge sat empty yes iso-brn006.shuffled-as.sat05-3506.cnf.xz anni_2022,crafted_2005
1914236889c5f7eacedf39faee124135 845e30a24b21c3ccba298d80488b5fb7 auto-correlation arunachalam unknown http://hdl.handle.net/10138/135571 no SAT_instance_N=93.cnf.xz anni_2022,crafted_2014
193056422a264b6951428ede578b93eb d139fa321c58d687918150f9ebd95d21 tseitin-formulas jarvisalo sat empty no mod2-rand3bip-sat-280-1.shuffled-as.sat05-2263.cnf.xz anni_2022,crafted_2005
193060ecba8e768744195ef72f9751fd f4a268bf0bafc34065dd56ecb8a2fa54 hardware-verification marques-silva unsat empty yes c8bidw_s.cnf.xz anni_2022,mus_2011
19411327b5cd25df49f7b91c3f86dcf2 ff4938b9e248ae06990de24b78b36fe4 dining-philosophers biere unsat empty no dp12u11.shuffled-as.sat03-423.cnf.xz anni_2022,industrial_2003
194fef6e1fc703b81d4ab650c8ecb2da 3622caeb77f11cb80b785ad9ae6c20d1 quasigroup-completion sorge sat empty yes iso-brn005.shuffled-as.sat05-2699.cnf.xz anni_2022,crafted_2005
1959e881d4c05176d92d1511330f924e 83d4c8e8a06f848e22075cc5450abf21 bitvector unknown unsat empty no minandmaxor064.cnf.xz anni_2022,application_2012
195a008f3434898f8af7a966230ca760 e348361e57d1c70b072645a5f588752c bioinformatics unknown sat empty yes q_query_3_L60_coli.sat.cnf.xz anni_2022,application_2009,application_2012
195c4ca639cc5b1f16aa319d94bd6989 62a0a6daf72f61ab86aeb31184137b88 parity-games friedmann sat empty no instance_n9_i9_pp.cnf.xz anni_2022,crafted_2009,crafted_2011,crafted_2012,portfolio_2012
19751d30322bca91858b2df1b29d04ca 7a2f483a9dd8dc5cd2cf8a5319f1f849 quasigroup-completion unknown sat empty no bqwh.40.1.520.shuffled-as.sat05-432.cnf.xz anni_2022,crafted_2005
1977f99f10f85aad3721a4c9651964ce 57478afeebb77f141cc5a5eb65e3d5f4 clique-width heule unsat empty no rnd-v25-e157-k12.cnf.xz anni_2022,crafted_2013
19821901aff6ef7b8b739c32eebe20de f1b37d153a3cdd47604b0d4c515a5066 software-verification jarvisalo unsat empty no smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf.xz anni_2022,application_2011,application_2016
198f94ece5fdc9536a28afc3063bdcf6 ab75a4ffaf1217144977253bd59745a1 prime-testing jingchao unknown http://hdl.handle.net/10138/333647 no quad_res_r29_m32.cnf.xz anni_2022,main_2021
199eaa204dc8609b2537f0966566c3e1 9627baf1139ac99357d7097b141fff9d xor-chain zhang-lintao unsat empty no x1_36.shuffled.cnf.xz anni_2022,handmade_2002
19a1b125613fa7e1de828967cd93573a 28c0f3bb690ee9422dbb08758732c65f tseitin-formulas jarvisalo sat empty no mod2-rand3bip-sat-210-3.shuffled-as.sat05-2160.cnf.xz anni_2022,crafted_2005
19a72fc66cf0e46348b0f17aa5550225 7eea43ff2942bd6348c04b48f21a1164 dimacs-sorter manthey sat empty no manthey_DimacsSorterHalf_37_3.cnf.xz,manthey_DimacsSorter_37_3.cnf.xz anni_2022,main_2015,parallel_2015
19aaf9e28feee1af8e2cc182e7b96e4e b34dd30f03b8bee5c9664ee7bf529c0a hardware-verification marques-silva unsat empty yes ooo.tag10.ucl.sat.chaff.4.1.bryant.cnf.xz anni_2022,mus_2011
19b53b597955dd41aa4d12a87d127daf 6857deefaeebd6dbe72a2cb9ccd7a563 software-verification babic unsat empty yes hsat_vc12016.cnf.xz anni_2022,mus_2011
19c3796341c9361f30fc4d03d1914fb6 f80e8cb351b4c0fea797542afc033a0d cryptography soos unsat empty no hitag2-10-60-0-0xdf7fa6426edec07-17.cnf.xz anni_2022,application_2013,crypto_2021
19d28dbff9188a8bd38bcf78a6a3f4aa e05f90673ca365e03e4caa7061736cd9 diagnosis anbulagan unsat empty yes total-5-11-u.cnf.xz anni_2022,application_2009,industrial_2007,mus_2011
19dc8e4bf621cbc8a762c35525f883d6 6ecfc8ccccb24ba94de37c2427a61862 prime-factoring unknown sat empty no 50bits_13.dimacs.cnf.xz anni_2022,main_2015,parallel_2015
19f63977cd3dca75b4efac7ed6b840c3 bd13c208bdc08974cfd7acaaac1a8cc0 planning balyo unsat empty empty barman-pfile08-032.sas.ex.7.cnf.xz anni_2022,application_2016
1a021f3c7bcb621aee1559634d052c0e 63d6bce6775e33d64e02449a13785072 sgen spence unsat empty no s77-100.cnf.xz anni_2022,crafted_2007,crafted_2012
1a117af89d52aafda3c07baed2ddef01 139a6a39351547520ed5ed3f7edbf35f pigeon-hole biere unsat empty no tph18.cnf.xz anni_2022,crafted_2013
1a2a0537c8abab1738f3f3f8a3c06299 ffd0612fc401d8fb9bd73492f9dd1fa1 hardware-verification manolios unsat empty yes manol-pipe-g6bi.cnf.xz anni_2022,application_2009,main_2006
1a2b050423f028ab26b163bfa3601aba 7b10d6ab1b0d92c99ff9e8a796ffd67f miter biere unknown empty empty g2-ak128astepmodasaig.cnf.xz anni_2022,main_2017
1a3254cb7b54789fdd4d56bfaaa38df7 e02c8863ebc50265e32ff9dd21a18745 test-configuration biere unknown http://hdl.handle.net/10138/333647 no satch2ways18wu.cnf.xz anni_2022,main_2021
1a3320d3cf32f211b3e7b875745713e2 09fbc66c1e87eaaa8544a2070bd33094 planning balyo unsat empty no sokoban-p20.sas.cr.21.cnf.xz anni_2022,application_2016,main_2021
1a3400dc32a3859afb20566a4ded9606 4e981bff51c4b310e906a5a3388f70aa diagnosis anbulagan sat empty no ACG-15-10p1.cnf.xz,g2-ACG-15-10p1.cnf.xz anni_2022,application_2009,application_2012,application_2013,application_2014,main_2017,main_2020,main_2021,portfolio_2012
1a3bef9e03bab1ed4e9e34506d72a451 fa13c2a03e2de11cd662f91eed4345bf coloring devriendt unknown https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=65 no le450_25b.col.25.cnf.xz anni_2022,main_2018
1a3f3a5b235c087c41ba255cbe0c7521 526aa8394337a3f4219b0319a36b2d37 subgraph-isomorphism anton sat empty no srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf.xz anni_2022,crafted_2011,crafted_2012
1a418d6c8aad501ecb7b47310a3b80ea 906d06b6da773c9e2c3f35f8f7508001 pigeon-hole sabharwal unknown empty no php-050-040.shuffled-as.sat05-1182.cnf.xz anni_2022,crafted_2005
1a44872b002813b5afeda13c3dfeaa09 696983868a65ed64ca0e8579da9d6a0b cryptography-cbmc post unsat empty no post-cbmc-aes-d-r2-noholes.cnf.xz anni_2022,application_2009,application_2012,application_2014,main_2015,portfolio_2012
1a54d40df8c785978f943b19a073f498 c70282a2a7530f05278f67c22706a32e hardware-verification manolios unsat empty no c10ni_i.cnf.xz anni_2022,application_2012
1a5c0e7d9b8b53adec4cb83a17b24619 8f97ded59ab3014299da1e9cec448602 quasigroup-completion heule sat empty yes gensys-brn008.shuffled-as.sat05-3427.cnf.xz anni_2022,crafted_2005
1a6a635f5b959e191ec705b2f236568a 6fc37630b163e1a5ef129d7ad8a2aabf bitvector manthey unsat empty yes square.2.0.i.smt2-cvc4.cnf.xz anni_2022,application_2016,main_2023
1a7a8aa061e82b717e9016a4f924e105 b549c1b1f99695b563574a0dd039f6d1 automata-synchronization skvortsov sat empty no crn_11_100_s.cnf.xz anni_2022,crafted_2011,crafted_2012
1a828f3b11399d2e9c0709e5b322891a 46dd3294411501218fcdbfb017a0d0c4 diagnosis anbulagan unsat empty yes UR-10-5p0.cnf.xz anni_2022,application_2009,mus_2011
1a831026c50d7f5ed5a696a99d57e365 b1f214324f15ffc337f668d8b6432b2f termination-analysis fuhs sat empty yes AProVE11-16.cnf.xz anni_2022,application_2011,application_2012,portfolio_2012
1aa1fac1ce123fd825c7846e075c03a1 41f8e02fc7d6860750f3d7a2c53a2a00 software-bmc manthey sat empty yes safe029_power.opt_false-unreach-call.i-cbmc-u2.cnf.xz anni_2022,application_2016
1aa7cd96ab1f7bf58984deccf8362ab4 c20b89cec4db67897bf0bf2ee59088d1 miter goldberg unsat empty yes rand_net50-60-10.shuffled.cnf.xz anni_2022,industrial_2002,main_2023
1aa8a801f9c01f07c52e19d7a005233d 9e1f19cfb7d657f633b723fce2684cd1 core-based-generator hartung unsat http://hdl.handle.net/10138/318754 empty ncc_none_12477_5_3_3_0_0_435991723.cnf.xz anni_2022,main_2020
1aba9cd620303cf69e509ab9cc9a0c03 04f20f40667ae8c7f06b6e461011940c bitvector unknown unsat empty no maxxor128.cnf.xz anni_2022,application_2009,application_2011,main_2010
1ac3aaccb392d349f2982f2bda21fb5a 5e32286c9da2e6c5d13eec2470fa54db fpga-routing aloul sat empty yes bart15.shuffled.cnf.xz anni_2022,industrial_2002
1ad0c3475bd75896993d45245e3a81eb fab844ba4d3f410d24cc80cfa7253e9c rubikcube jingchao unsat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=46 no mp1-rubikcube212.cnf.xz anni_2022,main_2017
1ad99ff22d30e7bb3de9005826eb8b74 399b4e167aaa179c15ffa20a0993acc2 cril-misc frioux unsat empty no g2-T135.1.1.cnf.xz anni_2022,main_2017
1b03ec4f0dbdfc0ad208c315f08197ea 476517fd1a5bdefc597543a9c1854bdf hardware-verification velev unsat empty no 12pipe_q0_k.cnf.xz anni_2022,application_2012,application_2014,main_2010,portfolio_2012
1b059d3ebcb30574b7ec5c7ec7d7ea5b 90ef85f639d5b4bc00f933e31e6e4bd6 quasigroup-completion heule unsat empty no gensys-icl007.shuffled-as.sat05-3133.cnf.xz anni_2022,crafted_2005,crafted_2011,crafted_2012,portfolio_2012
1b0780e82e41f6ca9c6c2f37b5350789 97f918a0703f017cabb6ff707fc45b63 tseitin-formulas jarvisalo sat empty yes mod2c-rand3bip-sat-220-1.shuffled-as.sat05-2488.cnf.xz anni_2022,crafted_2005
1b0fa370f2dc3156bcb0e0e800712792 24a3b217d0a903dc0f849e683e9619cf miter biere unsat empty yes ca128.shuffled.cnf.xz anni_2022,industrial_2002
1b14628a6605fc607c6d99d3d783251a f3656a6ffd953e4808a5cb0fe343c6e3 termination-analysis yolcu sat empty no full-bf-ga-7-ce.cnf.xz anni_2022,main_2020
1b17ca443cb77aa4f884a231d038bb7e f136fb8e1e1306b01e5d3bfa93bb9e3f bitvector biere unsat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=56 no sdiv20prop.cnf.xz anni_2022,main_2018
1b2ca34573bf15e7e287eec79fa3bfea cd07a79664c2bd5522d28cc3339bfd34 generic-csp connamacher unsat empty no connm-ue-csp-sat-n600-d0.00-s573116943.shuffled-as.sat05-527.cnf.xz anni_2022,crafted_2005
1b3c7ac17705be94daaddb5f5ae4816b 6fceac6a4707051d4602c9a6129a250a rooks manthey unsat http://hdl.handle.net/10138/135571 no rook-56-0-0.cnf.xz anni_2022,crafted_2014,main_2024,main_2025
1b3dc499f2d33d5b2caefdf0f7f5b092 2363f1555d32edd92cc131cc31cc1fa1 coloring vangelder sat empty yes inithx.i.1-cn-54.used-as.sat04-324.cnf.xz anni_2022,industrial_2004
1b5b70b44ef517a92a8d97904d66c7ca 94690e9dfa402629cdc2d7193912528f scheduling stojadinovic unsat http://hdl.handle.net/10138/135571 no atco_enc1_opt2_10_14.cnf.xz anni_2022,application_2014,main_2015
1b67c3f80f6630fb9a3a3bef71492412 ef78bfd30391bce9e75512874c8ee499 mosoi-289 mosoi sat empty yes 289-sat-12x15.cnf.xz anni_2022,crafted_2011
1b6ad52b2db90aa6123a64b4f6a5e201 120233865960d9c05f64250612358a2b miter biere unsat http://hdl.handle.net/10138/135571 no 6s11-opt.cnf.xz anni_2022,application_2014,main_2015
1b6fd1141ad7e0b18c6b69fa7a092f96 4cdb5534a029fedab1541ff1d84e1341 purdom-instances purdom unsat empty no 999999000001nc.shuffled-as.sat03-1675.cnf.xz,999999000001nc.shuffled-as.sat03-1675.used-as.sat04-782.cnf.xz anni_2022,handmade_2003,handmade_2004
1b72d2cd3e978b7ad976b6f1d2174dd4 eb2f02e3795177ff09d87d2c59936c85 sgen spence unsat http://hdl.handle.net/10138/135571 no edges-070-3-10062999-36.cnf.xz anni_2022,crafted_2014
1b7ace91c2783cc58a4c3bba7f95d122 00f46a0eb209ea29c8250ddf8221eeb7 coloring vangelder unsat empty yes rope_0007.shuffled.cnf.xz anni_2022,handmade_2002
1b8c45c42a818db8f62bcbfd6f52c881 609c59e6c09262aed0ad226722590361 minimal-superpermutation lester sat http://hdl.handle.net/10138/333647 no sp5-21-15-bin-stri-tree-noid.cnf.xz anni_2022,main_2021
1b8d4c52a9e18659d8912ee6aaf785ff 8eced06c3af892345c9bd77b3d101725 miter goldberg unsat empty yes rand_net50-25-10.shuffled.cnf.xz anni_2022,industrial_2002
1b8e995452d94c2db70cedf14a3f26da 35e713b9182240d7851364f468685dac bitvector unknown unsat empty no countbitswegner128-sc2011.cnf.xz anni_2022,main_2019
1b9e21b3efa0a59383777bb62781841e 2f1aa0f4b88a0a27c14d1022f902bebf 2d-strip-packing leberre unsat empty yes korf-15.cnf.xz anni_2022,application_2011
1ba98bb55acf6b42e5ddf03d48ee73ef 681b5f1ae29304421c11602c3e980039 xor-chain zhang-lintao unsat empty no x2_56.shuffled.cnf.xz anni_2022,handmade_2002
1bb9929010e0c209f1e59dedba54d9ad 55558970a869828129789f7e570bcb49 edit-distance mengel sat http://hdl.handle.net/10138/333647 no edit_distance023_282.cnf.xz anni_2022,main_2021
1bb9fe12b4fb50e98903ee87a51d6472 fe59a4053ee685c47d184e96b2694b22 miter goldberg unsat empty no goldb-heqc-k2mul.cnf.xz anni_2022,main_2020
1bbfa338869ad186ccd345c316a8bed5 66cc8d973f8e0003553e196917debf17 miter unknown unsat empty no hwb-n32-03-S717522696.shuffled-as.sat05-499.cnf.xz anni_2022,crafted_2005
1bc4ef8b58f3ba19bf1f32ba4ff92e20 105f1cde63bbe6ec2c127b4b0e91105b popularity-similarity levy unknown https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=49 no mp1-ps_5000_21250_3_0_0.8_0_1.60_0.cnf.xz anni_2022,main_2017
1bc64571a2d63584f376db792e8d4acb b3a021d3d495544d0f630e350677ce4c pigeon-hole jingchao unsat empty no ae_rphp045_05.cnf.xz anni_2022,main_2018
1bd9d36816a8b56557a2fe470a8cbf1c 646c2559d8c92b048ec79f390ea67e58 miter stanion unsat empty no hwb-n26-03-S540351185.sat05-490.reshuffled-07.cnf.xz anni_2022,crafted_2007,crafted_2012
1bda13dc3f81e34d66e3987011d23edf 54902204cf43a450927d524fc155b33f hardware-verification manolios unsat empty yes c10i_i.cnf.xz anni_2022,application_2012,portfolio_2012
1bda6f076bbed75ed4250946919446a6 dd5be59ab30bfb09f9713ec67f7d8b54 cardinality-constraints wynn unsat empty no mp1-squ_any_s09x07_c27_sinx_UNS.cnf.xz anni_2022,main_2017
1be2fc96e9c10ceb11491d884141c581 b3f5230d787901427530922938e09ba0 hardware-verification ibm sat empty yes ibm-2002-20r-k75.cnf.xz anni_2022,main_2008
1bfeb2be948a57e0c04e0e6ff8cfde96 bd1d3579e1a1fae9cf235e6b3be4711e miter goldberg unsat empty yes rand_net40-60-5.shuffled.cnf.xz anni_2022,industrial_2002
1c003fbf30233b05b807d87ecb68dfdb 2d8badbd48d5ae825a6a2ce3c661cfa7 cryptography unknown unknown empty no aes_id.cnf.xz anni_2022,main_2015,parallel_2015
1c1d04b20da61c0bc2328cdca8b8aa3a 0e3dc2c11bfd2d95687ca0492cb3104b scheduling djamegni unknown http://hdl.handle.net/10138/318754 no Timetable_C_241_E_45_Cl_16_S_14.cnf.xz anni_2022,main_2020
1c208d3e82f5a8398aa048db7a2d7c25 9fcc30206a32cdfa228626bbfdc66420 subgraph-isomorphism anton sat empty yes satsgi-n24himBHm27-p0-q257.cnf.xz anni_2022,crafted_2012,portfolio_2012
1c2bd05b935d6c3239907159f13f2a1d 0723bb846a9b526ae3dad75cc2608679 stedman-triples johnson sat empty yes sted5_0x0-40.cnf.xz anni_2022,main_2018
1c35c510ad106bfcdbc76ff49e710ce6 e7a4305252d7bdbd6899123421f03dd0 argumentation xindi unsat http://hdl.handle.net/10138/333647 no ER_500_40_2.apx_0.cnf.xz anni_2022,main_2021
1c3abce44050ac9e289c84b42f29e62b 3fe81663f6732960ca03a2165b25e9ad dimacs-sorter manthey sat empty yes manthey_DimacsSorterHalf_29_2.cnf.xz anni_2022,main_2015
1c3ead67cae5d59d980d770049594c12 736a8076dced75ec68ce4d6be1bc412f fixed-shape-random belov sat empty no fsf-300-354-2-2-3-2.23.opt.cnf.xz anni_2022,crafted_2012,main_2020,portfolio_2012
1c4954b4113ddc4413612977b85818af add9829c1f1540e7d8eafba199f958c0 hardware-verification marques-silva unsat empty yes g6b.cnf.xz anni_2022,mus_2011
1c5402f2cdb730ec6545392312d582b2 67b2075d327136bd9373b158afaadb1f planning balyo unsat empty no sokoban-p16.sas.cr.39.cnf.xz anni_2022,application_2016
1c5a8f591b12518ccb1f8d442b3cfc3b 12424f4481b64a7447168127537a4463 rbsat huang unknown empty no rbsat-v2400c266431g10.cnf.xz anni_2022,crafted_2011
1c5db14105658d929d0dbe0c4128e87b 0b802b49647921555ff7f2b3441957f6 pebbling elffers unsat empty no peb-pyrofpyr-15-neq-3_shuffled.cnf.xz anni_2022,crafted_2016
1c6281c3cc5c502b64a644ed644a8ab7 6cbe55515c777e3a786daf6f8c78a728 tseitin-formulas jarvisalo unsat empty no mod2c-rand3bip-unsat-135-2.sat05-2354.reshuffled-07.cnf.xz anni_2022,crafted_2007,crafted_2012
1c75c324c67bd3d1017b9445047fac73 ff8b755a6639c374dfc94b22f467b975 hardware-verification manolios unsat empty no f10n.cnf.xz anni_2022,application_2012,portfolio_2012
1c7b5b34e3382e001cda8534cd375694 0ea13120a7283330d6a08b434cbf52d1 modcircuits unknown sat empty no mod5block_2vars_12gates.cnf.xz anni_2022,crafted_2009,crafted_2012
1c891fbaddf0ed1ca3e0db38e80f2a54 f6c78d35d7913d47c84ea516f4fc9b1d diagnosis anbulagan unsat empty yes UR-20-5t0.cnf.xz anni_2022,mus_2011
1c97ff3fbc3231853da88d0aeb540635 f0bb42137a930ec5ba2c7ecf1fca9121 quasigroup-completion sorge sat empty yes iso-brn007.shuffled-as.sat05-2701.cnf.xz anni_2022,crafted_2005
1cb6c63a28babfdcb9d25c404cc64f1e e34e231583160093203374ba4ecc9776 testpattern-generation marques-silva unsat empty yes bf1355-446.cnf.xz anni_2022,mus_2011
1cb7af4ec9d0a7363076dfe80227ce09 3576a00f511cacafe67543421ff00f63 tseitin-formulas elffers unsat empty no tseitingrid7x155_shuffled.cnf.xz anni_2022,crafted_2016
1ce81dbba1292bf791e194b17aa2a219 b012253e9399c4f41d77d37aaa992ab0 test-configuration biere unsat http://hdl.handle.net/10138/333647 no satch2ways15u.cnf.xz anni_2022,main_2021,main_2023
1ceaa7ab8e959e87cf46811a47c48451 171762bb6ded260a73a998b5010b22b4 hgen heule unsat empty no hgen8-n320-03-S1572374531.sat05-485.reshuffled-07.cnf.xz anni_2022,crafted_2007
1cf2f33805e820586e30124fa003e6bb c73b76feb6565458fef34f05954d4228 pebbling sabharwal sat empty yes pbl-00300.shuffled-as.sat05-1321.shuffled-as.sat05-1321.cnf.xz anni_2022,crafted_2005
1cf811db8e82dba1be564213ab97d57e 9a03c3705b98e5c383e42a74efcf040d cryptography nossum sat empty no 007.cnf.xz anni_2022,application_2013
1d0694a99426e486c1ee157dfe19c8f7 397061046af7f13648b890a944b91892 coloring sabharwal unknown empty no clqcolor-20-15-18.shuffled-as.sat05-1262.cnf.xz anni_2022,crafted_2005
1d1f0c0cba7ce875a20ecc8ac8a069d8 aae89c61b87a68cc4a1d9f8a496ee385 coloring manthey unknown http://hdl.handle.net/10138/135571 no ccp-s7-facto4.cnf.xz anni_2022,crafted_2014
1d485cd178c4f2d8b6838b85e7905522 a55fad7dc12b23f5838a3c806d6e2cbd bitvector kovasznai unsat empty yes shift1add.22961.cnf.xz anni_2022,crafted_2013
1d49cc104b84dae244a7b535ff59d7aa 1507f9314c858fbf58ca9d1ea7806f54 sorting-networks ehlers unsat empty yes snw_13_8_CCSpreOptnopre.cnf.xz anni_2022,application_2016
1d4a6342116b787bc5de11c523df8456 d9f5df5f01c86d807db711302e735d27 miter biere unsat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=37 no g2-hwmcc15deep-bob12s02-k17.cnf.xz anni_2022,main_2017
1d4daeeddbdeb9ad48c15e96469d1a3f 9ce459138eb4a4c6ef5bd9f5593d01b0 subgraph-isomorphism anton unsat empty no SGI_30_50_30_20_1-dir.shuffled-as.sat05-439.cnf.xz anni_2022,crafted_2005
1d4ff0a38cdd4f8fb424b4fb0c7574e7 83f1a783c23ed799c42eb8a847942c97 coloring sabharwal unknown empty no clqcolor-16-11-14.shuffled-as.sat05-1261.cnf.xz anni_2022,crafted_2005
1d567dd1fccbe35405eeda280c4ca15d 14643fc655acdde96295700972e67c16 quasigroup-completion gomes unknown empty no bqwh.60.1080.shuffled-as.sat03-1649.cnf.xz,bqwh.60.1080.shuffled-as.sat03-1649.used-as.sat04-761.cnf.xz anni_2022,handmade_2003,handmade_2004
1d6457d39153524c91ddada7eaee8ce7 0515917d4b1854af9c59e8eeeea74319 cryptography soos sat empty no hitag2-7-60-0-0xc048b9ebae66e9d-32-SAT.cnf.xz anni_2022,application_2013
1d652e9c0385c36e53c007928c1e21a0 7bdd4670f75c54488230f65a0b41d75e testpattern-generation marques-silva unsat empty yes bf1355-530.cnf.xz anni_2022,mus_2011
1d6609213826bec81693f2f6987b4c16 d01278e06c5f002ba098aea2c29b4a7b grandtour-puzzle chowdhury unknown https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=59 no gto_p50c291.cnf.xz anni_2022,main_2018
1d82cc80a18de76c0afb927e1beec38e e0f99a5c972cc4de37e312c7d29ca10e hgen heule unknown empty no hgen7-n390-01-S248216171.sat05-478.reshuffled-07.cnf.xz anni_2022,crafted_2007
1d8ba32a4ced58e32e4e5458b58dfc72 748dcb4dc81e9c6be6bed479e2d6f4db coloring pehoushek sat empty no 4col260_9_6.shuffled.cnf.xz anni_2022,handmade_2002
1d8fb889c3238adca875fafb61a9e2c6 74741a83f37d6534a9a6310113bcb9bd polynomial-multiplication xiao unsat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=61 no Nb39T6.cnf.xz anni_2022,main_2018
1d911c0131e34279e2f77f321c7cec9e 78401209fca3d40dea6de8893c5777ba pigeon-hole biere unsat empty no tph16.cnf.xz anni_2022,crafted_2013
1d9355bd9a5c79a38de703033aae1d02 5e04a7c43facef074debbed51cd4d039 quasigroup-completion sorge sat empty yes iso-brn001.shuffled-as.sat05-3624.cnf.xz anni_2022,crafted_2005
1da295e464b0f17a9f39961d13b25773 82ef5119fc4e9927c5268066deb43b6a clustered-random anton unsat empty no contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf.xz anni_2022,crafted_2007,crafted_2009,crafted_2012
1da3e5e6478334828066edfc397b061c 07d3802762e170490dbb44885fd926ab matrix-multiplication heule unknown empty no MM-23-2-2-2-2-M.cnf.xz anni_2022,main_2019
1daf64a049000c839dc207f32f896795 c42b2abee227013d985f9b46275fbf2a coloring heule unknown empty no Schur_161_5_d24.cnf.xz anni_2022,crafted_2016
1db1c0c68b0081e470d397723d1c5ac4 738035aaca4ea19699a081baf2a6df27 relativized-pigeon-hole elffers unsat empty no rphp4_110_shuffled.cnf.xz anni_2022,crafted_2016
1dbc2bee1b923ba11a0e6cc542b1a090 8ca61446b9c1dbb319feed306e33b984 hardware-verification ibm unsat http://hdl.handle.net/10138/135571 no SAT_dat.k95-24_1_rule_2.cnf.xz anni_2022,application_2014
1dc8ac7be7b58d0ffa0005f003b00ad8 3c87524b9de5faeab2212cf6552f2ed3 scheduling kummling unsat empty no ctl_4291_567_2_unsat_pre-sc2013.cnf.xz anni_2022,main_2019
1dce69ee6685597d6c56e5fd7a47f8e0 947c20ea701fe29694005a7b33e6d778 scheduling djamegni unknown http://hdl.handle.net/10138/333647 no SC21_Timetable_C_136_E_41_Cl_9_S_15.cnf.xz anni_2022,main_2021
1dcf6e6230a551af0cbc5fa0d6be0654 b53ce111947ee7486a143a313f6abd6b purdom-instances purdom unsat empty yes 2000009987nc.shuffled-as.sat03-1665.cnf.xz anni_2022,handmade_2003
1dd33090e99dcd0508563727cc2712a1 0510bcfdf86cb738fb44aea449ca3f04 popularity-similarity levy unknown https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=49 no mp1-ps_5000_21250_3_0_0.7_0_1.50_4.cnf.xz anni_2022,main_2017
1dd5ffcc6c443948656e5c5d9a982098 59e66a5afa8c74017b6822c03012ecd4 software-verification unknown unsat empty yes hard-10-U-9007.cnf.xz anni_2022,main_2010
1de013d98cc407c5bbb1c08d05e03ab6 21c8951200ce767f081061f24ea12861 parity-games friedmann sat empty no instance_n8_i9_pp.cnf.xz anni_2022,crafted_2009,crafted_2012,crafted_2014,portfolio_2012
1de591491247dababc5ce9e9fded9a85 eec6180542cd4ab5a84f6455a87d0b75 coloring heule sat empty no Schur_160_5_d31.cnf.xz anni_2022,crafted_2016
1de5dab21b0f1be4617ca5e0422a769a 60bbf8aef152f18da440227cac4566df planning surynek sat http://hdl.handle.net/10138/135571 yes mrpp_4x4#6_12.cnf.xz anni_2022,crafted_2014
1e0796ada9950ce80117102eb7913a85 58aaf8200b4a18c19aec8bf92d9f1490 miter biere unsat https://helda.helsinki.fi/bitstream/handle/10138/306988/sr2019_proceedings.pdf#page=49 no 6s169-opt-sc2014.cnf.xz anni_2022,main_2019
1e0d58c7e52319b3b17e343ec7ca6de5 c6bf5bc239e71d42a8142d9b0e36564c quasigroup-completion sorge unsat empty no QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf.xz anni_2022,crafted_2007,crafted_2009,crafted_2012,crafted_2013,main_2025
1e12e63cdf1605022ab71a9669e1efdf 1e3f905412d6fbf2a3ec406ae3d4a31f cryptography liang unknown https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=45 no mp1-23.7.cnf.xz anni_2022,main_2017
1e205d128706e276813704e50bc49863 446e3584c250ac04bd0fe0b7dc52f610 quasigroup-completion sorge sat empty yes iso-ukn003.shuffled-as.sat05-3384.cnf.xz anni_2022,crafted_2005
1e27f848701d670edefb2a9c698b2776 3b761c319f90d880b2c7865e977203f9 miter biere unsat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=37 no g2-hwmcc15deep-intel066-k10.cnf.xz anni_2022,main_2017
1e35d939af7897ca53f87757754adec9 8a81b633d93d26aa605220adaf702cf2 subgraph-isomorphism anton unsat empty no SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf.xz anni_2022,crafted_2011,crafted_2012,handmade_2003,main_2020,portfolio_2012
1e3a230c767270048f4ec3f31b1b2ada 431c67d106e49ecb598191ff7dd25053 cryptography sesum sat empty no g2-gss-24-s100.cnf.xz,gss-24-s100.cnf.xz anni_2022,application_2009,application_2012,application_2013,application_2014,application_2016,main_2017
1e3bc16711797a3757873f6768a50bf9 417cecacc9cb717cec13dc398b2ebe18 hardware-verification dellacherie sat empty yes simon03:sat02:w08_14.used-as.sat04-359.cnf.xz,w08_14.shuffled.cnf.xz,w08_14.used-as.sat04-359.cnf.xz anni_2022,application_2012,industrial_2002,industrial_2004,portfolio_2012
1e3c3e8d349759b8b482a6f2721762c4 a9951c86d41d4511a1caf1889e7164c6 cryptography soos sat empty no apn-sbox5-cut3-symmbreak.cnf.xz anni_2022,main_2018,main_2024
1e3f808581534a79cbb7dbd0e111837b f284fa52b23e33602a0e8116e7d84f06 software-verification marques-silva unsat empty yes dspam_dump_vc973.cnf.xz anni_2022,mus_2011
1e42a3eadf23a720b9905e58a364101e 168b03e3784224eaf97aca691700aa71 tseitin-formulas jarvisalo sat empty no mod2-rand3bip-sat-290-2.shuffled-as.sat05-2279.cnf.xz anni_2022,crafted_2005
1e43089090db421e981fe62b3f3dbce7 d00e2b8d5293f0d893ec8610fb8b072f miter wedler unsat empty no custmulsb2x32o.cnf.xz anni_2022,application_2016
1e5c9f60c9cefd8b094ba5287e7acd8c c94571aaceade9f9768216ca3d10410e bitvector kovasznai unsat empty yes shift1add.12991.cnf.xz anni_2022,crafted_2013
1e62a8b371d5a7de99faffc52d915e26 af70f4beea9af21ee5ac65b7d038cd0b diagnosis anbulagan sat empty no ACG-10-10p1.cnf.xz anni_2022,application_2012,portfolio_2012
1e668068c26b223b9f0482fe5d1f82f2 797e388e084e58c10e38611b72821d42 polynomial-multiplication xiao sat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=43 no mp1-Nb5T14.cnf.xz anni_2022,main_2017
1e7029fdd34b04119ba191f7c67956a1 5f36fc77f8efb1f9abf296fd9f6b326a scheduling strichman sat empty no course_flat_0.2_2018_3.cnf.xz anni_2022,main_2018
1e8af331b822f6b7bc1754be9d64499f fd571ff097f19f38b07cd7a71ec75739 hypertree-decomposition schidler unsat http://hdl.handle.net/10138/318754 no Kakuro-easy-065-ext.xml.hg_3.cnf.xz anni_2022,main_2020
1e91b465bc8ea51467272b44487428f8 c98deebdd67aa57745a1f539e30930c8 planning rintanen sat empty yes openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.085-SAT.cnf.xz anni_2022,application_2012
1ea3303c1afa65b98320e4383de5db00 45b62c76a10d999e0c4c22c6c97fe04c tseitin-formulas jarvisalo sat empty yes mod2c-rand3bip-sat-150-2.shuffled-as.sat05-2384.cnf.xz anni_2022,crafted_2005
1eaa50c1a65464ef6a3f65f46f6d1a44 fb519a78e387f5bb5bb014e9f748c86a diagnosis anbulagan sat empty no UCG-20-5p1.cnf.xz,g2-UCG-20-5p1.cnf.xz anni_2022,application_2009,application_2011,application_2012,application_2014,application_2016,main_2015,main_2017
1eabc0df9be862042637dbb555212a21 35305ab4a8ff09524d812bad276e80dd waerden kullmann sat empty yes VanDerWaerden_pd_2-3-18_311.cnf.xz anni_2022,crafted_2012,portfolio_2012
1eaf726460f8391351498eb122e19619 241273ea85654dd3ef7b2a6d7d81ae7d pebbling sabharwal sat empty yes grid-pbl-0100.shuffled-as.sat05-1337.shuffled-as.sat05-1337.cnf.xz anni_2022,crafted_2005
1eb3ccb3f88643710a3f6e860b6e44d9 0cb553a0fcdb7a67bb51bef7225c667b software-verification post unsat empty no post-c32s-gcdm16-23.cnf.xz anni_2022,application_2009,application_2011,application_2012,main_2008
1ec3608016d7eefc69d214efae4f2830 e881a616f4b2a56fa414aceb0c255a38 fdmus unknown unsat empty yes fdmus_b15_421.cnf.xz anni_2022,mus_2011
1ec59670e3e922b77223dfb0bd049174 06ed819e19ff4689f89c7deae8ac8dee bitvector kovasznai sat empty yes ndist.b.29481.cnf.xz anni_2022,crafted_2013,crafted_2014
1ed4590c1a44678115ccb2e049d22888 dddc2256e0c2f2b5502689000960b18c pigeon-hole sabharwal unsat empty no harder-fphp-018-017.sat05-1231.reshuffled-07.cnf.xz anni_2022,crafted_2007
1ee2f05c4c77daa720f71a90358d5b2c 9b75cd500ed60ff37b0a675c36fa4714 rbsat huang unknown empty no rbsat-v2640c305320gyes2.cnf.xz anni_2022,crafted_2011
1ee3caea6793a2b3580e86b16e13bcf0 91ab990db038378c33587608976876a9 sgen spence unknown empty no sgen1-unsat-133-100.cnf.mis-99.debugged.cnf.xz anni_2022,crafted_2012,portfolio_2012
1ee5d51d25659c5d87ad729580a8acdd 32ea277e253830de7989c4753dd6cda6 hardware-verification marques-silva unsat empty yes dlx2_cc.cnf.xz anni_2022,mus_2011
1eea3d913d346b900252d77fc0cb25c8 c0c913442dcbb100ed1fb39cf075590f minimal-disagreement-parity simon sat empty no par32-4.shuffled.cnf.xz anni_2022,handmade_2002,main_2023
1eedb883641e84acef2241c86e5bfb34 046a8123be0445d9616e3b9966e4d0d6 pigeon-hole biere unsat empty no tph10.cnf.xz anni_2022,crafted_2013
1efa5605501a8e26277b9a8a65bb1fa1 1b2375daa5925e785a493f5e83581047 hardware-verification unknown unsat empty no shuffling-1-s1322003189-of-bench-sat04-344.used-as.sat04-483.cnf.xz anni_2022,industrial_2004
1efff2f19436cee8ee776c96ffd72f9c d9e71c9be9428212d11544870c9ddf31 rbsat huang unknown empty no rbsat-v2400c266431g6.cnf.xz anni_2022,crafted_2011
1f1ab8bc58bb4bc09d309418bbf474da 505d8f4dd5da9ec5080dec4bfd89191e bitvector unknown unsat http://hdl.handle.net/10138/135571 no bvult_16967.cnf.xz anni_2022,crafted_2014
1f27039fb6e13b96064e9037feb09a6b d0b9481548a3e0373ce5ac7fb4e97a11 quasigroup-completion sorge sat empty yes iso-brn004.shuffled-as.sat05-3504.cnf.xz anni_2022,crafted_2005
1f39844e4b9a6fc619e485cdbe2c5b5f 9acafcedd9bff89e76ccc1ee47008e09 cryptography md5gen unsat empty yes gus-md5-07.cnf.xz anni_2022,application_2009,application_2012,main_2010,portfolio_2012
1f3b251666b7b9aa4bfad28d5ecfecc2 9724cfa454dbcbaa868e5b4f6bbff686 polynomial-multiplication xiao unsat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=61 empty Nb45T6.cnf.xz anni_2022,main_2018
1f413718bf393d43d31a1e498fc4d123 d8f64bb8f381d18abde255f51bd72c6a social-golfer zhou unsat empty no SocialGolfers-6-6-6-cp_c18.cnf.xz anni_2022,main_2019,main_2020
1f49f37f051af218337c654f120cf4d0 d2e39b5989a42442b07def62d0b2e449 tree-decomposition ehlers sat empty yes ex039_33.cnf.xz anni_2022,main_2018
1f679d620f0051c9d9855375a9f0e11a e7d2d6c6f41cdfdf3b1ee71565c9f982 testpattern-generation marques-silva unsat empty yes bf1355-598.cnf.xz anni_2022,mus_2011
1f693da03f63d7fe318e511fe32fd09d 2b649b62c8d0ea9c093de4e3f905b877 fpga-routing goldberg unsat empty yes c880_gr_rcs_w5.shuffled.cnf.xz anni_2022,industrial_2002
1f77a8cda544f1bd1e305cae526d864e ba0d4d8ad4ec0c4f80248a38bf7cd98d testpattern-generation marques-silva unsat empty yes bf1355-227.cnf.xz anni_2022,mus_2011
1f7d2a5f671c717bdaa409492ac3ab3d 77908852390e210b30836f074e04c6c1 cryptography soos unknown empty no apn-sbox6-cut4-helpbox23.cnf.xz anni_2022,crypto_2021,main_2018
1f7e236253031580d95de12d3c92dc13 1cde41eea955651a545dd2da177d3d6b planning maris sat empty yes ferry6_ks99a.shuffled-as.sat05-4063.cnf.xz anni_2022,industrial_2005
1f81f7e009f501014cb23a8c2d41836f 3ec02a4d537f8354d1cfd79b2a0172b5 diagnosis anbulagan sat empty no ACG-20-10p1.cnf.xz,g2-ACG-20-10p1.cnf.xz anni_2022,application_2009,application_2012,application_2014,main_2010,main_2015,main_2017,parallel_2015
1fc49d87bca58158ec5dd79f89934cac 079a3c38d33b4f3ac259a2ef800cc66f coloring pehoushek unsat empty no 5col140_15_6.shuffled.cnf.xz anni_2022,handmade_2002
1fdc28d676358b7e66bdf072dbbdba0b 9f1b8059b58558cdc68a330cf0b42967 sgen spence unsat empty yes sgen1-unsat-73-100.cnf.xz anni_2022,crafted_2009,crafted_2012
1fec79b65c5b3d10b6a2328c1a304d67 da2d887f2b143090e8318a4e9322b813 hardware-verification unknown sat empty empty shuffling-1-s1704429820-of-bench-sat04-721.used-as.sat04-734.cnf.xz anni_2022,industrial_2004
1ff076565e0d5898c7a659ca79752a88 dbff3a6d93c78b48f1d5190063bee74a bitvector jarvisalo unsat empty no smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf.xz anni_2022,application_2011,application_2012,application_2013,application_2014,portfolio_2012
1fffafc9143815f74ec6628a983afe75 7c14ce7e71d7feb6c4a4bc0b57a3b4eb quasigroup-completion heule sat empty yes gensys-brn003.shuffled-as.sat05-2747.cnf.xz anni_2022,crafted_2005
200023103e35069382ed4b62bf1ac984 b01fb7d3db65ac92867d1ad6998fe915 edge-matching heule sat empty yes em_11_3_4_all.cnf.xz anni_2022,crafted_2009,crafted_2012
20132fb2ea02d8606840eb1d63f9f5c5 c5eefe30113d5c18186466d468cb932c bitvector unknown unsat empty no maxor064.cnf.xz anni_2022,application_2012,application_2013
20262e9643d524e66cd542e9ba1a4a20 12172b2274b84e603671801d2efb221b software-verification post sat empty no zfcp_sat_bench_2_8.debugged.cnf.xz anni_2022,application_2012
2035c51968baa1217ec6dafa13d012b1 e597389191d78f1f3d4f8d294f340fd0 minimal-disagreement-parity simon sat empty no par32-1-c.shuffled-as.sat03-1531-sc2002.cnf.xz anni_2022,main_2019
204e7d9bbcc53a46ffd754645096f361 c2dad98edb652e9e3d46d75251f69151 rbsat huang sat empty no rbsat-v760c43649gyes8.cnf.xz anni_2022,crafted_2012,portfolio_2012
20591b26327456307f9df4a314566d9b 44fc183b2ce8d374046d7ce0cb28b1c0 planning maris sat empty yes ferry9_v01a.renamed-as.sat05-4009.cnf.xz anni_2022,industrial_2005
2067ba1b7fa867b3fc29566df6841d15 6a1a01b52191cc0d4fe412897a5e4acf diagnosis anbulagan unsat empty no dated-10-13-u.cnf.xz anni_2022,application_2012,application_2013,application_2014,industrial_2007,main_2010,main_2015
2079b4f15cf2d4a2e6b5ebfa58de5a27 afd8df3334621d36ca820be4b356e593 miter biere unsat http://hdl.handle.net/10138/135571 no 6s13-opt.cnf.xz anni_2022,application_2014,main_2015,parallel_2015
208493ac024b007607863a6c851a0b6f f9eece5b86040299b7d0e857c192f742 hardware-verification unknown unsat empty empty shuffling-1-s580450786-of-bench-sat04-719.used-as.sat04-732.cnf.xz anni_2022,industrial_2004
2085dbded42cdd34fa468e06b8fc6e24 0a6228ea692f9be19624cf943401b048 dining-philosophers biere unsat empty yes dp08u07.shuffled.cnf.xz anni_2022,industrial_2002
208ce3add563b1e398668ec07a73950d b46c0ec1581c6cdfdfbd0d05a397b456 rbsat huang sat empty no rbsat-v1150c84314gyes2.cnf.xz anni_2022,crafted_2012,portfolio_2012
2094741e84d03f957cd3a627f3a289e2 0535d49be0380e91746e8bc1ac20b424 hardware-verification dellacherie unsat empty yes w10_45.shuffled.cnf.xz anni_2022,industrial_2002,mus_2011
209480dd08c8f9afbfea2e539be823d4 acadfdce49e9a86878233b27666276b5 prime-factoring bebel sat https://helda.helsinki.fi/bitstream/handle/10138/306988/sr2019_proceedings.pdf#page=47 no toughsat_24bits_2.cnf.xz anni_2022,main_2019
20af7a90131ea05e1ef53ea3705088c9 7ac649c9eec88e6c17a116042eb062c8 bitvector jarvisalo sat empty yes smtlib-qfbv-aigs-bin_libsmbclient_vc1225238-tseitin.cnf.xz anni_2022,application_2012
20b1b9f69fa22ad64883cbf85cacf071 2fb16d780654e935ba5ec2c8bee5b21e miter jarvisalo unsat empty no hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin-sc2011.cnf.xz anni_2022,main_2019
20b86c7c07f87b5da3c24ae2db492c5b 88e4b43ece9d7489ff67e928b8366f54 pythagorean-triples heule sat empty no Ptn-7824-b17.cnf.xz anni_2022,crafted_2016
20d8c1d58d1043a6737db9457666a0fc ca8d32680f9363308d82ea0e443e35a9 cril-misc frioux unsat empty no g2-T102.2.1.cnf.xz anni_2022,main_2017
20eae925c1db6bed538317390f0f5896 0f7f42b574159c05b360eb351a3b3b60 popularity-similarity levy unknown https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=49 no mp1-ps_5000_21250_3_0_0.7_0_1.45_0.cnf.xz anni_2022,main_2017
20fa992483c3ec47a3ac7aa9228f2a97 844ec6066c7dfad08617286fbfac0e80 hardware-verification ibm unsat empty no ibm-2002-22r-k60.cnf.xz anni_2022,main_2008
2114e419e9abd01591b787345e782b08 76fad282856907cd39ac4381f733da45 hardware-verification marques-silva unsat empty yes f7.cnf.xz anni_2022,mus_2011
2115182958f6cfb5a172a24f989b86dd d12c617317227d0936cdf274f3747665 rooks manthey unsat http://hdl.handle.net/10138/135571 no rook-42-0-1.cnf.xz anni_2022,crafted_2014,main_2020,main_2024
211938776d92f11870a687abd11d55a4 a79f40c2566dfd14d2414ad27515c54d quasigroup-completion sorge unsat empty yes iso-icl004.shuffled-as.sat05-3238.cnf.xz anni_2022,crafted_2005,main_2023
21251489e056446a241fccf3e97a50f6 5a3f476ed141891a8d508bb53cc9384b mosoi-289 mosoi unknown empty no 289-unsat-17x30.cnf.xz anni_2022,crafted_2011
213c4eabd02f12ff075c751edb6dbff9 e4601a8de7dd19fd5ece4455cb229290 cryptography heusser sat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=67 no satcoin-genesis-SAT-4096.cnf.xz anni_2022,main_2018
214a609d6a70d397010c27e42a2463fe 44017badb0cd598736f7ae19c15ec7ea hardware-verification velev sat empty yes sss-sat-1.shuffled.cnf.xz anni_2022
2160a6c887f1466a336795792346621e 23c9ef5250882ce1361774358fdd9f57 subgraph-isomorphism anton sat empty yes satsgi-n18himBHm21-p0-q167.cnf.xz anni_2022,crafted_2009
21634cd1f513b4aa7907cb8364d76e17 dd08265cee5be6b38353a1ed8381162b hardware-verification marques-silva unsat empty yes g6n.cnf.xz anni_2022,mus_2011
216649d54f3531537c6b01227b992b5e 7dac60320ae642e30182e161513744bf hardware-verification manolios unsat empty no f8nidw.cnf.xz anni_2022,application_2012
217256b141ade2c4d06120f01360f63a 5c130cfaf079db6f766e3605c89979c2 pigeon-hole jingchao unsat empty no a_rphp035_05.cnf.xz anni_2022,main_2018
21740843d60acdfd70276cdfd634bebe 8c56033f8d571a782c3c5dafed39bcdf hardware-verification marques-silva unsat empty yes edn_2948_14.cnf_0.97000000.unsat.cnf.xz anni_2022,mus_2011
217ecdc44b66b8f0330e80df7f7acabe 62e67c16ded6f33772074c3c222f8246 social-golfer lynce unknown empty no sgp_9-8-8.sat05-2674.reshuffled-07.cnf.xz anni_2022,crafted_2007,crafted_2009
21a16f532f37b506ba9b59952a40a2b6 9212df1cad2ef3ad37e1d8415f9b0122 hypertree-decomposition schidler sat http://hdl.handle.net/10138/318754 no Kakuro-easy-120-ext.xml.hg_6.cnf.xz anni_2022,main_2020
21b173943af57eefaac5e88bfa2662ad e60586dc23d0c4f7f459e24f81ef3200 planning unknown unsat empty no shuffling-1-s1769330284-of-bench-sat04-422.used-as.sat04-561.cnf.xz anni_2022,industrial_2004,main_2025
21c8393ab167357d0ae8040c61338bc0 64589c004dc078ea0feef81b31a523a0 argumentation wallner sat http://hdl.handle.net/10138/135571 yes complete-300-0.1-18-98765432130018.cnf.xz anni_2022,application_2014
21df67ed55311eec689fea8c1be9d266 b81182bf04227aa161073023ad7c0431 knights-problem unknown sat empty no hcp_d12_12.cnf.xz anni_2022,main_2019
21e6e2a12564427cb2820bef20cb2bf4 4b092551cf5bb928fef921f1f9272976 hardware-verification velev unsat empty yes velev-eng-uns-1.0-04a.cnf.xz,velev-engi-uns-1.0-4nd.cnf.xz anni_2022,application_2009,main_2006,main_2008
21f17c144185a505bb4a918e61d1e3bd ed546dec0332b12c8daeafec3cec1d16 bitvector kovasznai unsat http://hdl.handle.net/10138/135571 no shift1add.29940.cnf.xz anni_2022,crafted_2014
21f623f7f53093ddaf792ddadf405a91 32b09d880a2c9c3f6853ddb02df7408c planning maris sat empty yes satellite4_v01a.renamed-as.sat05-3991.cnf.xz anni_2022,industrial_2005
21f9d175cd8af806b94a04c5de768ef5 acf1e3c8c57df24ef98a48f7477a6c2d unknown unknown unsat empty yes gigamax.used-as.sat04-984.cnf.xz anni_2022,industrial_2004
21fa658d6db005c959b0c95a9d6ca0e1 fd1d0d3dc0f1163403fb971713b74934 hardware-verification ibm sat empty yes ibm-2002-27r-k95.cnf.xz anni_2022,main_2006
21fbe69cf7c0b41e205b52d970f9a43a c80b74e57e964a3a97486fd096390740 software-verification osama unsat http://hdl.handle.net/10138/333647 no string_compare_safety_cbmc_unwinding_870.cnf.xz anni_2022,main_2021
21fc09c6badfc60aaa85cae664023cc6 bc8b45f290dacccea094dc94fb314c5a petrinet-concurrency bouvier unknown http://hdl.handle.net/10138/318754 no vlsat2_30195_3855554.dimacs.cnf.xz anni_2022,main_2020
2202872ca3566b20d48fdfe34d526219 17c738c851a82f0d7981d47d1eea604a scheduling kummling unknown empty no ctl_3791_556_unsat.cnf.xz anni_2022,application_2013,application_2016
220a0543b7253ed85a7b1e74741c2e23 b7895102dd82060953298bd04d997fa1 hidoku manthey unsat empty no hid-uns-enc-6-1-0-0-0-0-28258.cnf.xz anni_2022,crafted_2013
220bb8aa093e502c47afcdac3140d67c bd86eed3c49101c2c1a1b541dac8fa34 cryptography grieu sat empty yes vmpc_24.cnf.xz,vmpc_24.renamed-as.sat05-1912.cnf.xz anni_2022,application_2009,industrial_2005,industrial_2007,main_2023
2211772ecda419756f82d595c9bb758d cefaee25d8df1395607a418b910a9f9d crafted-cec klieber sat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=39 yes mp1-klieber2017s-0490-022-t12.cnf.xz anni_2022,main_2017
2226a27a174c7ddb3f2d48840b0f8b7a a54a5b9ed6248e3f56acc90b59deeca3 matrix-multiplication heule unknown empty no MM-23-2-4-B.cnf.xz anni_2022,main_2019
22462684680b2896485afd88cb818304 e05db997be49fd541556d5fb64824452 hardware-verification manolios unsat empty yes manol-pipe-c6nidw_i.cnf.xz anni_2022,application_2009,industrial_2007,main_2006
2248eb27346a57992746a10b75dda990 68c4f5e2aa16f86dd9c40216eaf7711b miter kojevnikov unsat empty no ak032modbtsimpbisc.cnf.xz anni_2022,application_2016
2249bedd5355b9652a5cc46b47b011c4 79844700551051c47383f7977e2b7874 hgen heule unknown empty no hgen6-4-24-n650-03-S528656311.shuffled-as.sat03-847.cnf.xz,hgen6-4-24-n650-03-S528656311.shuffled-as.sat03-847.used-as.sat04-835.cnf.xz anni_2022,handmade_2004,random_2003
22505280326ec66ba807b8b4edc48e1a 5ac7ed293d1808b890ce62cb3a7bdddc circuit-multiplier shunyang sat http://hdl.handle.net/10138/333647 no Circuit_multiplier18.cnf.xz anni_2022,main_2021
2260d28ec773357e73e5ee60aeac0f43 50fba6a841f793dc6b9d7442d189e6e4 edge-matching holten unknown http://hdl.handle.net/10138/318754 no b2005-p1-12x12c10h7-Ser3-0.cnf.xz anni_2022,main_2021
226997c047218abf49500ef77facfe9a 6140aa9a4e5a97d7eaa422cdbad8664f hardware-verification unknown unsat empty yes shuffling-1-s1771355652-of-bench-sat04-989.used-as.sat04-997.cnf.xz anni_2022,industrial_2004
2285ff99f985f8f926d5159299cc8787 a074e486a37197cf13b00d88582502f8 bitvector preiner unsat empty no 73.smt2.cnf.xz anni_2022,main_2021
228b368e2e8a292ce787df9b4302de41 3b4741a94ee4c79d3dd9376950a00e1f rbsat huang unknown empty no rbsat-v2400c266431g5-sc2009.cnf.xz anni_2022,main_2019
228ed6346fd41809b7a013849a1941e5 76a30e066cc44d592131c5f0f2fda05a subgraph-isomorphism anton sat empty no srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf.xz anni_2022,crafted_2011
228ef00b38f04099bececbae99a1bd50 fad17efc026dae24bf581be7987a70ec planning balyo sat empty no sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf.xz anni_2022,application_2011,application_2016
229108125d69a62534637e0241cb8f43 b01d391ba2e554eaf78fe821e69b715f rooks manthey unsat http://hdl.handle.net/10138/135571 no rook-59-1-1.cnf.xz anni_2022,crafted_2014
22922a96c4bdac643b69069355c5db28 e99f286934c335ae01327317c7e999bb software-verification liang unsat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=58 no assoc_mult_err_3.c.cnf.xz anni_2022,main_2018,main_2021
229289df92a0bbf2af12f6996351eb3f 6c2de5560379a27e06549bc475b02190 clique-width heule unsat empty no rnd-v25-e233-k8.cnf.xz anni_2022,crafted_2013
2295b35f6bc78b67ebdbe42e53806e6b 9f033e821e0dbf9d98ea699217479e85 prime-factoring aloul sat empty yes lisa21_2_a.shuffled.cnf.xz anni_2022,handmade_2002
22b997f718828183fbb4aae44cd7da28 ba315031cf7ba8ee6de27c58b78219dd erdos-discrepancy heule unknown http://hdl.handle.net/10138/135571 no EDP3-18000.cnf.xz anni_2022,crafted_2014
22db60babd4b54fb86dee87ead8e14ca 3d4bf554e9365df9799b3eed324c26d0 hardware-verification velev sat empty yes 9vliw_m_9stages_iq3_C1_bug3.cnf.xz anni_2022,application_2012,application_2014,industrial_2005,industrial_2007
22eb13d4157efb76bf6b308d83618a7e 4ae37c66185d90f96cbd8da78e2d214e quasigroup-completion sorge unsat empty no dead-dnd009.shuffled-as.sat05-3115.cnf.xz anni_2022,crafted_2005
22ede342b1973bf82c2c2106616cc8d9 b6d23f6185f30c0efca546ac55e89f4f at-least-two-sol manthey unsat http://hdl.handle.net/10138/333647 no at-least-two-aaai10-planning-ipc5-pipesworld-12-step15.cnf.xz anni_2022,main_2021
22f1e4a68bb52721c186234ccd27c13c 297944e56a6b14d3d7ed3f38107b43ca generic-csp connamacher sat empty no connm-ue-csp-sat-n800-d-0.04-s433006629.used-as.sat04-967.cnf.xz anni_2022,handmade_2004
22f72da90dd7db6243c938dd5f5c6cbe 036443efe841cc662c37cbac8d149c3c prime-factoring unknown unknown empty no 62bits_14.dimacs.cnf.xz anni_2022,main_2015,parallel_2015
22fdbcb094a1c1b513b8fd90e9b50f65 38dcaf64f0b5ac7e84db9139c2ee0540 cardinality-constraints wynn unsat empty no mp1-squ_any_s09x07_c27_sinz_UNS.cnf.xz anni_2022,main_2017
2314dcec1bce868092465602b71b5825 7730fddee4f67301af0ed3e1fb198168 quasigroup-completion heule sat empty yes gensys-ukn005.shuffled-as.sat05-3845.cnf.xz anni_2022,crafted_2005
231be1a0ebcd7547804271515a257e93 84f1b36b2fc2fc14c4dddc6e3e67dfb6 hardware-verification unknown unsat empty no g9bidw.cnf.xz anni_2022,main_2010
2322f9b6d3bbe605ef2afbe0536b9307 c0c0f002c370ce5fadb003dd591412f0 relativized-pigeon-hole elffers unsat empty no rphp5_080_shuffled.cnf.xz anni_2022,crafted_2016
2324f0e956d4290b49d7cd01e8305be0 9c9702332f440162a2bd753d11f3ef46 ordering-principle sabharwal unsat empty no gt-ordering-unsat-gt-030.sat05-1307.reshuffled-07.cnf.xz anni_2022,crafted_2007,crafted_2012
23286d57fa7ecfe2cf31141cfc11e238 79f059b74c566d3830b526cf2bc722a3 crafted-cec klieber unsat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=39 no mp1-klieber2017s-1200-023-eq.cnf.xz anni_2022,main_2017
23440a591245328b42455fa0b8714ffd 14e4f666c8e439b5453352fca48af816 miter biere unsat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=37 no g2-hwmcc15deep-oski15a10b06s-k24.cnf.xz anni_2022,main_2017
236316907366f4bdf1528297f457779d 35dfd3c45ead2ce8968894f44358a49b fpga-routing goldberg unsat empty yes apex7_gr_2pin_w4.shuffled.cnf.xz anni_2022,industrial_2002,mus_2011
238697ec61a48ea10bed888265da8b4d 937b6349c3bc4e0bd329bc9e4cd6be30 cryptography sesum unknown empty no g2-gss-40-s100.cnf.xz anni_2022,main_2017
238ac19e2323131e3e64e24de08edda6 836f8b5e96b0b5a0f12d843bad7d7c0e hardware-verification velev unsat empty no velev-pipe-uns-1.1-07.cnf.xz,velev-pipe-uns-1.1-7.cnf.xz anni_2022,main_2006
23a92c04ee9248308a18d6a44e5d15f0 d165bd3d99eaa263488bcb74f5bd9f3b battleship skvortsov sat empty yes battleship-3-5-sat.cnf.xz anni_2022,crafted_2012
23b15b56a6dc5c41c2e47a349765107d 287a2ba8b65d1f4e50aff1cfe92603dc bioinformatics bonet sat empty yes ndhf_xits_21_SAT.cnf.xz anni_2022,application_2009,application_2012,application_2013
23b2ab4604ca96454bb46d71df14d7fd ca616571414e5afd72efa42460d6a775 pythagorean-triples heule sat empty no Ptn-7824-b05.cnf.xz anni_2022,crafted_2016
23b67ce9686dc0b79edd7e0e61b06867 4b5ebe3d3e72d3a59e9a63de4a2b3bfd graph-isomorphism mugrauer unsat empty no crafted_n11_d6_c3_num18.cnf.xz anni_2022,crafted_2013
23b8cfd9fde410f79db4e8ef6b62f396 de1e20943cfd8106f26fe1482697cc42 pigeon-hole unknown sat empty yes php-020-020.shuffled-as.sat05-1162.cnf.xz anni_2022,crafted_2005
23d7a7af88d26be6fcbe7e139271bdc0 9e5a0e84106aff896f05832ae63d92b1 battleship skvortsov unsat empty no battleship-11-11-unsat.cnf.xz anni_2022,crafted_2011,crafted_2012
23ddc17bdbd97b96fcc0393f51bcfe13 47afecd7e6073b35f479dcabf38efddd bitvector preiner unsat empty no 22930-0601-11.smt2.cnf.xz anni_2022,main_2020
23e52c853bd7a5258bc5f470f6854104 785492eb3c8e6f490a2af8e5f842553c popularity-similarity levy unknown https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=49 no mp1-ps_5000_21250_3_0_0.6_0_1.50_0.cnf.xz anni_2022,main_2017
23f834ff0b38f1ba21443c38e32c77d8 cb2663ac3c0d8083159776c6c9504278 hardware-verification unknown unsat empty yes c7n.cnf.xz anni_2022,main_2010
2400575245d49d556427d38ca5c38047 ff9864638d3d4f4f8a4e61b2b171425e hgen heule unknown empty no hgen3-v400-s344840348.shuffled-as.sat05-470.cnf.xz anni_2022,crafted_2005
24075575c3dbd9e9eae948dd2241b029 9ba9d431361faaa6763e7e068de487c9 diagnosis anbulagan unsat empty no UR-15-10p0.cnf.xz anni_2022,application_2009,application_2012,application_2013,application_2014,application_2016,main_2021,main_2025
24085934701c1459db776550a3584376 b8f22966935014ff351a58c2f7e8b94c hardware-verification unknown sat empty empty shuffling-1-s57793011-of-bench-sat04-724.used-as.sat04-737.cnf.xz anni_2022,industrial_2004
241cae32aeae264c2014b4ed0e149cdd d93c79c1b59dd78928bfdeceab99ce20 unknown mayer-eichberger sat empty no 10-3-13.cnf.xz anni_2022,main_2018
24316c19acf3abc5f301bc4dc534122b 6f6bfc8b7bbb1d9567000761825e43bb planning rintanen unsat empty yes transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.010-NOTKNOWN.cnf.xz anni_2022,mus_2011
2437badfe105b7ad33867755254a5ac3 0b898d91d85026ed2fc9969da40a8859 miter biere unsat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=37 no g2-hwmcc15deep-6s33-k33.cnf.xz anni_2022,main_2017
243f435dba26be37cedf28d94708b7e6 2c57b217c2dc83429c92a5b0343c4fd4 relativized-pigeon-hole elffers unsat empty no rphp4_070_shuffled.cnf.xz anni_2022,crafted_2016
2447517075bed78fd855f495484275c8 d4fef72257b49b9d931b6dd341a4b46f pebbling sabharwal unsat empty yes grid-pbl-0060.shuffled-as.sat05-1342.shuffled-as.sat05-1342.cnf.xz anni_2022,crafted_2005
245af97c72f3fee23a11cc8c6b6eb4a0 6d73a78aa46681b7b940f016cb3f8382 polynomial-multiplication xiao unsat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=61 empty Nb29T6.cnf.xz anni_2022,main_2018
245e9b5cdf197b523d57f35ac2fcb303 15b189be757150c855e11bb0248546e1 sgen spence unsat empty no sgen4-unsat-89-1.cnf.xz anni_2022,crafted_2012,main_2020
246f2303c53dd29c983a5a1046639f8d 63081179fb56d3ee59a8d9e3e8d16b72 rbsat huang sat http://hdl.handle.net/10138/135571 no rbsat-v1150c84314gyes5.cnf.xz anni_2022,crafted_2014
24706f6663f0524f28b62e0c8b6abf1e 0e020e6d60491beb699809b252d23bd7 planning unknown sat empty yes ferry9.shuffled-as.sat03-386.cnf.xz anni_2022,industrial_2003
2470895824dbab7f80aba329bded081b def25d762e8e5e3b80b1106deffa94fe random-csp kexu sat empty no frb70-13-2.used-as.sat04-876.cnf.xz anni_2022,handmade_2004
24b93d0bf941e4b050c9109e4cb7faf4 87132653ddbe53218e1a57ec4b620b1d generic-csp connamacher sat empty yes connm-ue-csp-sat-n600-d-0.02-s1022905465.used-as.sat04-951.cnf.xz anni_2022,handmade_2004,main_2023
24b9e9a09d0879eaeee53b1e2f23134a 916472a56c1e5dd6de9e3d3a578a5fed polynomial-multiplication xiao sat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=43 no mp1-Nb6T25.cnf.xz anni_2022,main_2017
24bf910d2b9da558fb3e71a4dbe79ba3 3f6a71aae576e9d60239e959d16f0e2f prime-factoring aloul sat empty yes lisa19_99_a.shuffled.cnf.xz anni_2022,handmade_2002,main_2023
24c24a0c32a51ffcbc027ea07f8a086f ba1c0ec6e79401b0f4915803c1818030 hardware-verification marques-silva unsat empty yes c10bidw_s.cnf.xz anni_2022,application_2012,portfolio_2012
24d16b0798f2f4cabb6d4661d847c2eb e482f995fb2f1ec2cd8f3fee486b98b8 prime-factoring unknown sat empty no 58bits_11.dimacs.cnf.xz anni_2022,main_2015,parallel_2015
24ea04bb401629158b0972463c61eed4 0305958e900773aaa740b186b30d8164 hgen chen sat http://hdl.handle.net/10138/318754 no 170104584.cnf.xz anni_2022,main_2020
24f8d86e491149b4a759c0402eb705d4 21e3e4c839f07efffabfc3cb784c2fa3 quasigroup-completion sorge sat empty yes iso-brn008.shuffled-as.sat05-3508.cnf.xz anni_2022,crafted_2005
24fcc1462994e20faf43c84584f765bb be489c069566e2aecf527844f09f8489 cril-misc frioux unsat empty no T56.2.0.cnf.xz anni_2022,main_2018
250e49fc3bc150bac9f5bc50f5ef09b7 f3fd325b3bf65a26789ae956d7586391 long-learned-clauses markstrom unknown empty no eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf.xz anni_2022,crafted_2007,crafted_2009,crafted_2012,crafted_2013,portfolio_2012
25197bd2b8fe3a3310665ce9a6f6cd2f a3895ad2fc1feda2ba8b1b61d49ef592 fdmus unknown unsat empty yes fdmus_b22_172.cnf.xz anni_2022,mus_2011
2534e0c4691a8807de2342ef98636ce6 5b211353b9f694f466d46e89244de73f coloring heule sat empty no Schur_160_5_d41.cnf.xz anni_2022,crafted_2016
253659a1701826795f4fb8a3b5cb7513 bc93a407130a4d80c034d881a99246c3 software-verification manthey sat https://helda.helsinki.fi/bitstream/handle/10138/306988/sr2019_proceedings.pdf#page=55 empty sv-comp19_prop-reachsafety.race-4_2-thread_local_vars_false-unreach-call.i-witness.cnf.xz anni_2022,main_2019
254379ba985f92132932ecfbeffc9b54 be441a705630f46083a9bfcc59d6217b coloring devriendt unsat https://helda.helsinki.fi/bitstream/handle/10138/237063/sc2018_proceedings.pdf#page=65 no queen13_13.col.13.cnf.xz anni_2022,main_2018
25491202cf33a8655c45ccb22a2135f1 8670118f169c08aab5c105eb2233b11a quasigroup-completion manthey unknown empty no sudoku_81x81_unknown.cnf.xz anni_2022,crafted_2011
254b88de91fa4e3e0bff1df62eb7f4dc cf03489247f1c9d354670ef6e0346e8f pythagorean-triples heule sat empty no Ptn-7824-b14.cnf.xz anni_2022,crafted_2016
2563a9a0463e58e8a5823bc612cacbc9 794e34b5b4cee13bb668df36497fce52 tseitin-formulas jarvisalo sat empty no mod2-rand3bip-sat-270-3.shuffled-as.sat05-2250.cnf.xz anni_2022,crafted_2005
2565059c258a9e1a45f61df4e0112010 ff9596090bbe27a9f3f2a17f700b9ff7 pigeon-hole sabharwal unsat empty no php-030-025.shuffled-as.sat05-1178.cnf.xz anni_2022,crafted_2005
257220373426d7a2d8d4e7d1b21db6a6 adc369efae72f52a7e5e0753bb3c0cb8 hardware-verification marques-silva unsat empty yes c7n_s.cnf.xz anni_2022,mus_2011
257b1331c202be554abdec123a86213b 22a773e4d7fdcb6b9b299b09a4f70b15 ramsey zhou sat empty yes ramsey-30-4.cnf.xz anni_2022,main_2018
2593ce669baab42240c2fb85e807452c 5c0c5d53677a71fdcf78423415af0c1a argumentation wallner sat http://hdl.handle.net/10138/135571 yes complete-400-0.1-3-9876543214003.cnf.xz anni_2022,application_2014,main_2015
2599aea8d99ad36471ee4dcc649993ac bba784051ceb6169fc76084731065631 miter kojevnikov sat empty no ak064simpbbg2btaig.cnf.xz anni_2022,application_2016
25a654a029421baed232de5e6e19c72e 271b74873d9b3daebb1613a91551c8f2 software-bmc iser sat https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=41 no mp1-qpr-bmp280-driver-14.cnf.xz,qpr-bmp280-driver-14.cnf.xz anni_2022,main_2017
25acde4087516290b9931ef7ba93306c 5025d478d8345f8dc6c4ad91aecad8f3 quasigroup-completion sorge unsat empty yes iso-ukn005.shuffled-as.sat05-3386.cnf.xz anni_2022,crafted_2005
25b4eff0c424fc1b760cf52562ec9a47 6893ac47f8d30e7cee304e07252bb971 pigeon-hole sabharwal sat empty yes php-025-025.shuffled-as.sat05-1163.cnf.xz anni_2022,crafted_2005
25ba6d2b7503d699ee95bf4bcd0864c5 e11540a86859868f852ae83efc670025 prime-testing jingchao unknown http://hdl.handle.net/10138/333647 no quad_res_r37_m39.cnf.xz anni_2022,main_2021
25bd6c4f6f2fff8fdabbcc9402125283 fa426f7acc1d4872c49bd4876e119ea5 scheduling stojadinovic sat empty no atco_enc2_opt2_10_21-sc2014.cnf.xz anni_2022,main_2019
25cc054738293c0d9377d7b72b78a341 3fb16f637330643710121453069da5ca software-verification osama unsat http://hdl.handle.net/10138/333647 no string_compare_safety_cbmc_unwinding_900.cnf.xz anni_2022,main_2021,main_2024
25cfa39c61494e9e793f6c6a9ec44be3 acc2d26b1c2db1893166ed910d471378 sliding-puzzle kaiser unknown http://hdl.handle.net/10138/333647 no puzzle51_unsat.cnf.xz anni_2022,main_2021
25d6ed813eedc68cd84750ce67463f62 ed016254e04a9086e3ec95c2c4f08a8e greentao kullmann sat empty no GreenTao_2-4-4_511.cnf.xz anni_2022,crafted_2011,crafted_2012,crafted_2013,crafted_2014
25fb7464ca6edd09189582fedaf5dba6 0aad66044ab406c275de2dabeacfa9e3 cryptography soos unsat empty no bivium-39-200-0s0-0x163b785faa4bfb1b3b894a9206768a6c3d5d6f038b3797c4c2-99.cnf.xz anni_2022,application_2013
25fb8046ef33cb552eb45c2e006c5f32 b752d55edaa4ee7f02c30aae9828b2c2 popularity-similarity levy unknown https://helda.helsinki.fi/bitstream/handle/10138/224324/sc2017-proceedings.pdf#page=49 no mp1-ps_5000_21250_3_0_0.8_0_1.70_8.cnf.xz anni_2022,main_2017
2602a408af148cd920698aeff90dd853 15701b6803adf40c166c7777aa1ee667 bitvector unknown unsat empty no maxxor064.cnf.xz anni_2022,application_2009,application_2011,application_2012,application_2013
2604532388bbb5b79e8e467dcfb13005 35e9d5d427f932cad6063e610fe7682a planning surynek sat http://hdl.handle.net/10138/135571 yes mrpp_6x6#10_20.cnf.xz anni_2022,crafted_2014
2609d5f1772bd52e16159b51a986b74d 1ee72f9cb6f67059aac595fa83f70c09 planning rintanen sat empty no blocks-blocks-36-0.140-NOTKNOWN.cnf.xz anni_2022,application_2012
26114429758a203d651f4df87c94de4c 4b9000fa10e4d1b27480eecce38ea234 sgen spence unsat empty no sgen1-unsat-97-100.cnf.mis-72.debugged.cnf.xz anni_2022,crafted_2012,main_2023
261227751e41065551cbeebe9b11ee40 86eab5ab7d07810e954e45eb9d9f7ee8 planning surynek sat http://hdl.handle.net/10138/135571 no mrpp_8x8#24_12.cnf.xz anni_2022,crafted_2014
2614ee6079947c1133fec90459de0a27 f101b17ef7c7da69366389159840a018 hardware-verification marques-silva unsat empty yes dlx2_ca.cnf.xz anni_2022,mus_2011
2615e8390d8d47c5384bce1d2f49cb07 dc44a186abc683d8bc2ccf31bc667686 hardware-verification unknown unsat empty no eqbpdtlf12bparrc12.cnf.xz anni_2022,main_2019
261e338938f4757e91f0cf753484d662 a184306397cd0c5c6e0e704243d1e585 generic-csp connamacher unsat empty no connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf.xz anni_2022,crafted_2007,crafted_2009
26254890fa7107f85242ec9190da2a7a 85791fe1279ea523e3f9e21418a2f191 cryptography nossum sat empty no 002.cnf.xz anni_2022,application_2013,main_2024
262a226a47330987f038128579967405 9f42e4010b6535c7f2bb778270a84b49 unknown unknown unsat empty no ais8.cnf.mis-97.debugged.cnf.xz anni_2022,crafted_2012
263457bc6aafa3b1f5999bc2ddfe3caf 5a90aa0803f7cb047c923d14b5226e1e ktf lagniez unsat http://hdl.handle.net/10138/333647 yes ktf_TF-4.tf_2_0.02_18.cnf.xz anni_2022,main_2021
263dafb261a9d65aed2285d65a42a4eb 6e544df20ce20f1bf52290d9a3e6f47f coloring unknown sat empty empty shuffling-1-s1530771508-of-bench-sat04-323.used-as.sat04-454.cnf.xz anni_2022,industrial_2004
2667cef018702b772f5f79a9dfc88cf0 9be698c20291e5d9c2aa6760f2c81d2e hardware-verification unknown unsat empty yes shuffling-2-s644021767-of-bench-sat04-362.used-as.sat04-639.cnf.xz anni_2022,industrial_2004
266eb88975be72196f5bc82f371464c1 d1b1f975080239891f50749e0a95a235 hardware-verification manolios unsat empty yes c9idw_i.cnf.xz anni_2022,application_2012
26752db2c153b9e98f81192227205539 70d88dbee3e72bbf4b84519751913fd1 pigeon-hole sabharwal unknown empty no harder-fphp-050-049.sat05-1238.reshuffled-07.cnf.xz anni_2022,crafted_2007
267af66281a78674c63e3b745b1ece66 a83ef04644218b44280c49c659811114 planning maris sat empty yes driverlog8_ks99i.shuffled-as.sat05-4025.cnf.xz anni_2022,industrial_2005
267b5d6528c2afb5bc9ccc4d2151f110 00aa4f1abe85fba29e6a2f734d3092b3 hardware-verification dellacherie unsat empty yes w10_60.shuffled.cnf.xz anni_2022,industrial_2002
268786234185b8a93051bee4efaad466 874380c3e814413d08c4503681d47ffe rbsat huang unknown empty no rbsat-v2640c305320g4.cnf.xz anni_2022,crafted_2009,main_2020
269d92aef52c2d8c729f4212bd29a8e8 cc57fadecdcb603e17df1658a8a8642e pigeon-hole sabharwal sat empty yes php-030-030.shuffled-as.sat05-1164.cnf.xz anni_2022,crafted_2005
26a56e52e4c8f4b6840cbcc6caa4cb21 95f79fb18e085953ae639523df4027fc coloring pehoushek unsat empty no 4col160_9_8.shuffled.cnf.xz anni_2022,handmade_2002
26b2991ea06cd96439285f58962e0e19 4c53de2940340938887d7c505cecb7bf mosoi-289 mosoi sat empty yes 289-sat-6x19.cnf.xz anni_2022,crafted_2011
26b2edbaa9ca66c575b64ee0920f7d6a 7f7f147e01d478669110158a680ce4d0 genurq ostrowski sat empty yes genurq30Sat.shuffled-as.sat03-1508.cnf.xz anni_2022,handmade_2003
26d1a43c2e8064faffd54bb81484926e 7c1e9683c4b27a19f12ec82dafae282d bitvector unknown unsat empty no countbitssrl032-sc2009.cnf.xz anni_2022,main_2019
26e9e6f76821074fec971ba27aae0bea ebe28509863adc21d27bbbc6de933a29 cryptography skladanivskyy sat https://helda.helsinki.fi/bitstream/handle/10138/306988/sr2019_proceedings.pdf#page=51 no sha1r17m149ABCD_p.cnf.xz anni_2022,crypto_2021,main_2019
26f3cb325c18149f1c67665c5dc60305 0b9a5e79d588a712d47312b1aa29db38 planning sabharwal sat empty yes strips-gripper-16t31.shuffled-as.sat05-1146.cnf.xz anni_2022,crafted_2005
26f6f04b35d4c04710ef22df7922ea04 5e46a134f81bdb4ba0224407ee184033 subgraph-isomorphism anton unsat empty no SGI_30_80_25_80_5-log.shuffled-as.sat03-206.cnf.xz anni_2022,handmade_2003
2709fc2279d361c2b19e36522c239965 ca4f41ecf9cd046abaf772a30fe5474e cryptography unknown unsat http://hdl.handle.net/10138/135571 no hitag2-10-60-0-0x0ffdbe60727f161-57.cnf.xz anni_2022,application_2014
273d42b3d97294b660745c7bc632474e f619bca1bae2a8736899b79d39b30e71 edit-distance mengel sat http://hdl.handle.net/10138/333647 no edit_distance025_450.cnf.xz anni_2022,main_2021
2761d889f00813bfe3a5f826c49158cf ed79d184d64fedd2d89a0b23f853ed5b cryptography soos unsat empty no hitag2-10-60-0-0xbc15b17d0353413-10.cnf.xz anni_2022,application_2013
276fe9730ff09cafd8c59f44c9c61b4d 91b021be7e51ab164a2da55c7d06cadc termination-analysis yolcu sat empty no full-bf-ga-9-ce.cnf.xz anni_2022,main_2020
278262ca3ecb108c9c17bf6b6b99c217 86319c851bad8768259889d85269dc62 bitvector manthey unsat empty no test_v7_r12_vr10_c1_s18160.smt2-cvc4.cnf.xz anni_2022,application_2016
278b9675cbaff7baeeb3e519746eec8d a6187cb6a629869b2e8925533a6c9a05 xor-chain zhang-lintao unsat empty no x1_48.shuffled-as.sat03-1592.cnf.xz anni_2022,handmade_2003
27b42edd231cb71988feaf904ee09793 c807437ef238e55d40216f0cbb17df13 subgraph-isomorphism anton sat empty no srhd-sgi-m42-q585-n40-p15-s54275047.cnf.xz anni_2022,crafted_2011,crafted_2012
27b4fe4cb0b4e2fd8327209ca5ff352c 6f2a04073e16e32a28c0e618b812829f theorem-proving vangelder unsat empty yes grid_10_20.shuffled.cnf.xz anni_2022,handmade_2002,main_2023
27cd4c29d15be5fdf90c23571f403c11 8e2bb5b54150bcafe70924574ce0fb25 hardware-verification unknown unsat empty yes shuffling-1-s1029132062-of-bench-sat04-990.used-as.sat04-998.cnf.xz anni_2022,industrial_2004
27d45205f506344ebbde9181f7250ab9 21e81ea8969f8af10b258b799b385760 subgraph-isomorphism anton sat empty yes sgi-difficult7.cnf.xz anni_2022,crafted_2009
27dc3c79959d8054bf0d6f24a6da3795 3df26d987d34fe84effe7f11fa755eba unknown unknown unsat http://hdl.handle.net/10138/135571 no reg_s_2_unknown.cnf.xz anni_2022,application_2014
27df6005a982cffe13509c5b445eba77 49f2a2d2bfefbf310d246822bfd408c1 quasigroup-completion sorge unsat empty yes iso-icl007.shuffled-as.sat05-2732.cnf.xz anni_2022,crafted_2005
27ebd53e3afdad974c51aed6f7ccf513 c2dd7c466d7659679101dae527136b8f quasigroup-completion sorge sat empty yes iso-ukn006.shuffled-as.sat05-3629.cnf.xz anni_2022,crafted_2005