Datasetpublic

curie3170/sat_cnf_batch_500_epochs_10_topk_0.0005_2GPU

sourceHugging Faceupdated 11mo agoView on Hugging Face

0likes190downloads

root

file.gitattributes2 KBdownload

file04ded94454830d4ea960327e8b91f5a3-mdp-28-14-sat.tar.zst14 KBdownload

file04e219c640ed59dc68ea2d50493de5b5-mp1-Nb5T15.tar.zst66 KBdownload

file05c8e94aaee86390eaf6e68dd3ec3570-noL-11-2.sanitized.tar.zst27 KBdownload

file0876c518e5653369e20fb1ee0bb8db40-mp1-klieber2017s-0500-023-t12.tar.zst310 KBdownload

file089f909e37b3ef0c4d90687f7e22b68f-simon-r18-0.sanitized.tar.zst35 KBdownload

file08ccc34df5d8eb9e9d45278af3dc093d-simon-r16-1.sanitized.tar.zst32 KBdownload

file09b61bbf19748094a7d896aac314ab36-x9-12063.sat.sanitized.tar.zst14 KBdownload

file09c1b79b1cfe3522364fe60aef780703-x9-12092.sat.sanitized.tar.zst14 KBdownload

file0a27eb7c16c1e69ff4d087d217ac89cb-noL-11-0.sanitized.tar.zst27 KBdownload

file0bad2ce307bf5b68db26fa34e252c9d4-af-synthesis_stb_50_100_4_sat.tar.zst1.5 MBdownload

file0cfe9c90d3a51435a5e4dba7634b882f-g2-ak128boothbg2msisc.tar.zst308.7 MBdownload

file0d3fcbb89bfb8e821058ba3ea4284de1-j3045_10_gmto_b.tar.zst137 KBdownload

file0d81711a3d73c828e8c6e12607eda82d-noL-11-20.sanitized.tar.zst27 KBdownload

file0fa9521ff633b27be11525a7b0f7d8b6-jgiraldezlevy.2200.9086.08.40.41.tar.zst58 KBdownload

file1009c791cee542cdf19651fe25e6881a-summle_X4053_steps8_I1-2-2-4-4-8-25-100.tar.zst662 KBdownload

file11cc532ecddfb10a47e0a869b4867c1b-Break_triple_20_36.xml.tar.zst642 KBdownload

file12b4a08e412a3bffb513ca65639c7c69-Folkman-175-7416734.sanitized.tar.zst80 KBdownload

file13ae2628d8e113db1786dba41a65fe38-x9-10027.sat.sanitized.tar.zst12 KBdownload

file1427381a809c64c721838894ece6756d-shuffling-2-s25242449-of-bench-sat04-727.used-as.sat04-753.tar.zst3.24 GBdownload

file14e4cfcf0d83b2185fad41684d00d4dc-x9-12035.sat.sanitized.tar.zst14 KBdownload

file1507d9812624b3e0eaf15e40100be020-x9-12014.sat.sanitized.tar.zst14 KBdownload

file16c27d738cb45b766b8823ca4f428cf0-rbsat-v760c43649gyes7.tar.zst99 KBdownload

file16c5482d8e658b54e20d59cfd4b1d588-two-trees-511v.sanitized.tar.zst8 KBdownload

file170b13af977e962321c493544b2bd0a9-circuit_48in64out_with_800gates_4in4out_dist128_seed4.sanitized.tar.zst274 KBdownload

file195852083a05edee1902233698eec14a-x9-11077.sat.sanitized.tar.zst13 KBdownload

file1afa2d7a3d817c3149da432eece66da8-worker_550_550_550_0.3.tar.zst4.81 GBdownload

file1e3c3e8d349759b8b482a6f2721762c4-apn-sbox5-cut3-symmbreak.tar.zst252 KBdownload

file207b28c3cefc55b143259222cbfd4962-pcmax-scheduling-m37-28831-324346-SAT.sanitized.tar.zst462 KBdownload

file22b4cf412c811872d6ba5078106aeb6c-j3037_10_rggt_b.tar.zst172 KBdownload

file26254890fa7107f85242ec9190da2a7a-002.tar.zst456 KBdownload

file2a15a30186afdad41a49c5c5366d01be-Timetable_C_392_E_62_Cl_26_S_28.tar.zst358.4 MBdownload

file2b032f8a8976a302ad125eb50a3e8445-1-ZC-512-K-60.sanitized.tar.zst82.3 MBdownload

file2b043efb4bde6d83f7c95a8e8e2d7bf8-simon-r21-0.sanitized.tar.zst41 KBdownload

file2fcd8533eba981967292f1b6e41f7433-simon-r20-0.sanitized.tar.zst39 KBdownload

file303480ca7e8322d771c94caf4ebd4e95-circuit_48in64out_with_700gates_4in4out_dist128_seed1.sanitized.tar.zst241 KBdownload

file30f0db845937bbda3ffde60e5ed4cb3f-Folkman-190-66337703.sanitized.tar.zst93 KBdownload

file3129198788f182ce6955b18aa3c7e61e-simon-r24-1.sanitized.tar.zst46 KBdownload

file31e788a12ddc8b43ec20e77d53abaa23-pcmax-scheduling-m40-26287-324155-SAT.sanitized.tar.zst409 KBdownload

file334aa882de28856fc8c75885285d2a3c-HCP-446-105.tar.zst716 KBdownload

file3593875d75d6e836a3ac328c5426c1b5-Break_18_32.xml.tar.zst465 KBdownload

file37ca184832fc6fa43a22ae900f1756a2-circuit_32in32out_with_350gates_6in6out_dist64_seed1.sanitized.tar.zst130.0 MBdownload

file396fd56f3fd7b85afbba4254ea6e746c-circuit_32in32out_with_80gates_7in7out_dist128_seed1.sanitized.tar.zst112.4 MBdownload

file3988a60c6e93167763c6fd2a347d5859-Break_08_24.xml.tar.zst40 KBdownload

file3a75ad246dbc750a7391ad887c5b0835-x9-11093.sat.sanitized.tar.zst13 KBdownload

file3bf8ba6bb4e4ea9ad08b1b058661ba2e-summle_X4044_steps7_I1-2-2-4-4-8-25-100.tar.zst563 KBdownload

file3ed56242f55e3653dbceeb4a70221787-rbsat-v945c61409gyes9-sc2009.tar.zst175 KBdownload

file4073757aae06fc2b50c043f088b132b4-simon-r19-1.sanitized.tar.zst36 KBdownload

file41f4cb4992a481c9d43e2e1a4e2349ac-sgen1-sat-180-100.tar.zst2 KBdownload

file43e492bccfd57029b758897b17d7f04f-pb_300_09_lb_07.tar.zst144.9 MBdownload

file44c25de7963c45e92a2407ad839f6e8b-Break_20_72.xml.tar.zst610 KBdownload

file45a09efb026036ff4b8d19024a7563a9-fermat-931960058139995587.tar.zst188 KBdownload

file461df1a7056560279d532bc2743022b6-Folkman-185-75415683.sanitized.tar.zst88 KBdownload

file47e1ada0070708c2953d322c06aea00d-noL-11-8.sanitized.tar.zst27 KBdownload

file50019e4419d48196bb4b95933a8b5030-noL-11-14.sanitized.tar.zst27 KBdownload

file511a2d81661a185c2115daec42270dec-circuit_32in32out_with_500gates_6in6out_dist64_seed1.sanitized.tar.zst191.0 MBdownload

file52aaf653a79ca14fa1127cda32aa94ce-noL-11-10.sanitized.tar.zst27 KBdownload

file5432e4dd44480fadbd66647db1750c80-pcmax-scheduling-m24-24102-255206-SAT.sanitized.tar.zst354 KBdownload

file543e67dd5abc272c37775b1b742a1d9a-qwh.60.1728.shuffled-as.sat03-1659.tar.zst2.7 MBdownload

file54c2da6d387a6f5ad6e014ae4d4decfc-x9-10038.sat.sanitized.tar.zst12 KBdownload

file5690b9b0380aa9508699e56cae5918b5-170058440.tar.zst8 KBdownload

file576ebc1333f2c466c2dec98792721e1f-j3037_9_rggt_b.tar.zst210 KBdownload

file5865fb9a6575d2ae6542c36ab96646a9-x9-11088.sat.sanitized.tar.zst13 KBdownload

file59825ed96dc3bbdbd8789a4870b323ec-hcp_CP18_18.tar.zst219.5 MBdownload

file5b5dfab02ce5c12a50be3bc7d7cc42c7-pcmax-scheduling-m15-2352-13561-SAT.sanitized.tar.zst29 KBdownload

file5e1c11b77cdf3717b81b957120f0f477-x9-12001.sat.sanitized.tar.zst14 KBdownload

file5e5fe73a2e0ffc8e19873298566919fb-rbsat-v760c43649gyes3.tar.zst99 KBdownload

file5ea72bcdccc86bd1a924029f7b81aec5-atco_enc1_opt1_10_15.tar.zst578 KBdownload

file5ee7de2bd112aa39485e79c9d487bf8f-simon-r23-1.sanitized.tar.zst44 KBdownload

file634a271f5fe339007a186539d615e92f-noL-11-4.sanitized.tar.zst27 KBdownload

file695e287a447fcdd924985a6e73057a38-rbsat-v1150c84314gyes1.tar.zst196 KBdownload

file6969c86fbc5814332ab8615031334fa8-asconhashv12_opt64_H11_M2-fCHjS2L0du5_m2_4.c.tar.zst1.2 MBdownload

file697c96ac45534726c7dbd96faa11a86a-x9-11094.sat.sanitized.tar.zst13 KBdownload

file6f7a0e1cf94b6b26eafc08a827a692ce-circuit_64in64out_with_64gates_8in5out_dist256_seed1.sanitized.tar.zst46.0 MBdownload

file6fc528fc3d0fd5a2c50992feb8bf0357-pcmax-scheduling-m24-17855-226744-SAT.sanitized.tar.zst308 KBdownload

file7083b70c1976162e2693d7a493717ffd-battleship-14-26-sat.tar.zst10 KBdownload

file70bfbd054dc9ffd394fab32845b492d3-circuit_32in32out_with_100gates_7in7out_dist64_seed2.sanitized.tar.zst143.3 MBdownload

file70ef2b6bdc4101a0e35cf3d165571fe3-qwh.50.1250.shuffled-as.sat03-1655.tar.zst1.6 MBdownload

file71a3dd6156463c0c55c4b38394faa753-af-synthesis_stb_50_120_4_sat.tar.zst1.8 MBdownload

file71ec94c233016219e12d671594dc88e5-circuit_32in32out_with_70gates_7in7out_dist128_seed1.sanitized.tar.zst97.9 MBdownload

file72c0d81e16d91bcaed808efcde2e5069-Folkman-175-1251868.sanitized.tar.zst78 KBdownload

file7429e380834066c206394139c9e1e17d-af-synthesis_stb_50_100_9_sat.tar.zst1.5 MBdownload

file74f145bb935650f5c982d7eec6967945-pcmax-scheduling-m43-38782-385402-SAT.sanitized.tar.zst504 KBdownload

file773f3bd29e202ff700d8b5b459857a2c-Folkman-175-9054056.sanitized.tar.zst78 KBdownload

file77b7f7bbf75faaee28f473b9941de103-Folkman-185-19924337.sanitized.tar.zst88 KBdownload

file79b9e24dd9af185dbec18c9b0a32b1e2-g2-slp-synthesis-aes-top30.tar.zst1.0 MBdownload

file7ac7fabd8c078aea420087a0c80e5563-circuit_32in32out_with_400gates_6in6out_dist64_seed1.sanitized.tar.zst150.5 MBdownload

file7cbc3ce2052ba7c5b501f75af58ab3c4-simon-r22-1.sanitized.tar.zst42 KBdownload

file7e1d279559b202016e5797901e731a39-simon-r25-0.sanitized.tar.zst48 KBdownload

file83b330c934d6dd35d56e1b1ca3638b3c-j3037_1_mdd_b.tar.zst250 KBdownload

file8942dca5dc0876fc3f723f738d72de1c-circuit_32in32out_with_64gates_8in6out_dist128_seed2.sanitized.tar.zst91.8 MBdownload

file897acc1858ce0887f286aba5c0d56d71-Nb13T165.tar.zst1.21 GBdownload

file8b18bb75459a4161633ba2a3c8ee183e-x9-11062.sat.sanitized.tar.zst13 KBdownload

file8b31606e10656ff7eb2936262b647443-stable-300-0.1-20-98765432130020.tar.zst76 KBdownload

file8e720686372c5037f30b4fc7b1c71d48-constraints_17_0.4_1.sanitized.tar.zst59.9 MBdownload

file8ffd718f763ed7a3f691cf46e57f8d98-mdp-32-10-sat.tar.zst18 KBdownload

file91e0db01b254eb78f6643328045bfeb9-sted5_0x1e3-20.tar.zst127 KBdownload

file9276ce38c625b2d00de247f8588f1542-combined-crypto1-wff-seed-102-wffvars-500-cryptocplx-31-overlap-2.tar.zst54 KBdownload

file994783ef4ed3a0366842e1b6f9128a6f-noL-11-6.sanitized.tar.zst27 KBdownload

file9d9c4fa425282759eb9e98b82fb5f56e-x9-12087.sat.sanitized.tar.zst14 KBdownload

file9dcbf221b8d2bb01f30bcca283f3608d-EDP3-11000.tar.zst196.7 MBdownload

file9e6c2e7b0d6f58e449716deb9305525a-circuit_32in32out_with_96gates_7in7out_dist128_seed1.sanitized.tar.zst135.8 MBdownload

file9e85aad5707405fb349c6c5548040cf4-pcmax-scheduling-m35-32274-371389-SAT.sanitized.tar.zst457 KBdownload

filea08e66296d00f480e9ccadd79fa8b904-j3045_4_gmto_b.tar.zst127 KBdownload

filea38affaa741c958fc32769d5fe89b06c-frb65-12-2.used-as.sat04-874.tar.zst54 KBdownload

filea45a0358685867bd4f1c7f7c0b0e379c-x9-10014.sat.sanitized.tar.zst12 KBdownload

filea5dc6226e4c0bebb06926efe55640995-mdp-36-10-sat.tar.zst23 KBdownload

filea9cb77454c6cfdf4092fb304d3aae8b7-mdp-32-16-sat.tar.zst17 KBdownload

fileab3438b504b296fcee78ec9e71969863-mdp-36-14-sat.tar.zst22 KBdownload

fileadf6dacdd64c93f9de1aa0eadf427faa-circuit_48in64out_with_800gates_4in4out_dist128_seed1.sanitized.tar.zst275 KBdownload

fileae9522ea003ea9f75891b2d37a5e264b-srhd-sgi-m37-q446.25-n35-p30-s33692332.tar.zst207 KBdownload

fileaf05a6b68a1cff165b684d9ff0ae3b3b-x9-12098.sat.sanitized.tar.zst14 KBdownload

fileaf750c18578d52e60472315692ad83c0-si2-b03m-m800-03.tar.zst108.5 MBdownload

fileb3167d999edd81291f33636464f2f8e6-Folkman-190-104806020.sanitized.tar.zst96 KBdownload

fileb44ea915362c3a140269003d45b1d053-x9-11034.sat.sanitized.tar.zst13 KBdownload

fileb68ae7866df5e852c3acb97a46da2faf-circuit_48in64out_with_1000gates_4in4out_dist128_seed4.sanitized.tar.zst25.0 MBdownload

fileb8c7c777e76995e5bf7b517f2db234ba-noL-11-16.sanitized.tar.zst28 KBdownload

filebbfed8974655bca520259deb10d2347b-x9-09054.sat.sanitized.tar.zst11 KBdownload

filebd12a2b66110451b050bd5d2943b1854-ITC2021_Early_10.xml.tar.zst198.8 MBdownload

filebe18894105e006399cc018abc14b204f-af-synthesis_stb_50_40_9_sat.tar.zst792 KBdownload

filebe6411f4784a3c879886dda807cdc607-j3037_10_mdd_b.tar.zst196 KBdownload

filec0293283432a9b15cd743702163f5184-mp1-Nb7T42.tar.zst574 KBdownload

filec2bfe541b7cff948fa3193e9ca0eddee-frb45-21-2.used-as.sat04-884.tar.zst137 KBdownload

filec5a98231dd54cbca06135293bb7e1985-x9-11053.sat.sanitized.tar.zst13 KBdownload

filec5ae0ec49de0959cd14431ce851c14f8-Circuit_multiplier22.tar.zst132 KBdownload

filec73edc350cfa8e07af58db50054aea45-noL-11-12.sanitized.tar.zst27 KBdownload

filec801a020a6c8bc3c287fea495203b114-worker_20_40_20_0.95.tar.zst14 KBdownload

filec82eee3badbc8432dad72d1d575a0ea6-preimage_80r_495m_160h_seed_379.tar.zst654 KBdownload

filec8e64404361f2426490d39459832c66a-64_25.sanitized.tar.zst4.09 GBdownload

fileca14adcb9296a7b31d7815c2ed16d0f1-ITC2021_Early_3.xml.tar.zst316 KBdownload

filecccee4b0d4c70a5d5422663e2d8887da-1-ET-512-K-96.sanitized.tar.zst144.4 MBdownload

filecd33a862b81ba7b887845d3510c41c62-MASG0_72_keystream76_0.tar.zst93 KBdownload

filecd361d33986dccd7f2d86016d6c35241-ecarev-110-4099-22-30-7.tar.zst192.3 MBdownload

filecdce6277b01ae06ddb95468c5f05de71-simon-r17-0.sanitized.tar.zst33 KBdownload

filecdd131110acc861a5a01fae6c4936c91-6g_6color_366_050_04.tar.zst1.41 GBdownload

filed02fae1e84cfbe799c792ba237f08f66-exam_flat_0.04_2018_3.tar.zst736.9 MBdownload

filed11944fbca2dd6540f18bd05b6ccda0c-mdp-32-14-sat.tar.zst18 KBdownload

filed1940d3d830eb16a7d2270ca4af4acba-mdp-28-11-sat.tar.zst14 KBdownload

filed3893e43819a907055a84e48a6ee97ba-g2-ak128boothbg2msaig.tar.zst538.5 MBdownload

filed40a68825bdbcdd7642b249325a7b6a2-Folkman-180-5383714.sanitized.tar.zst84 KBdownload

fileda929c2aefde5e59878ad87c4323e581-pcmax-scheduling-m12-8049-55035-SAT.sanitized.tar.zst107 KBdownload

filedb15a85651e0d941a11bf8640625edd8-mdp-32-11-sat.tar.zst18 KBdownload

filede7a6b03999e2bc5bd750831c2662a4d-noL-11-18.sanitized.tar.zst27 KBdownload

filedf1bd67978b9b0ec1d326ba174bc273c-x9-12021.sat.sanitized.tar.zst14 KBdownload

filee067414e153ee98a7842bd6d6dafeee5-af-synthesis_stb_50_200_0_sat.tar.zst267.6 MBdownload

filee0bf26a7527cd162c7d3016d4b2ab9fb-md5_48_1.tar.zst873 KBdownload

filee2deb375e56da2360ecd08fc1179fb7d-circuit_48in24out_with_100gates_7in7out_dist128_seed1.sanitized.tar.zst142.2 MBdownload

filee481a97a93fd6b4303f39024d19c2867-j3037_1_gmto_b.tar.zst187 KBdownload

filee6cdc2687fa53506021f05b60ad0c6a2-GracefulGraph-K05-P02_c18.tar.zst85 KBdownload

filee7248b57a310ad461924eb17956cdf3a-Folkman-190-358004741.sanitized.tar.zst93 KBdownload

filee99e266b422513a2898c13898a1de501-rbsat-v760c43649gyes9.tar.zst95 KBdownload

fileecca77b5350eca6a4323edd5b38208c6-004.tar.zst480 KBdownload

fileeda4aa84aeeb306468396fa82a6bba5a-pb_300_05_lb_17.tar.zst143.6 MBdownload

fileeddd68e14d69cce7190b99f4e7abdafb-x9-10098.sat.sanitized.tar.zst12 KBdownload

fileeed5189b73738270ae3fdb8b33bf31c8-Folkman-180-11710376.sanitized.tar.zst80 KBdownload

fileef16970ab9da31165d3c401ff9b29168-Folkman-185-152478531.sanitized.tar.zst91 KBdownload

filef054205a7cef98e5021016f864c69816-summle_X11112_steps6_I1-2-2-4-4-8-25-100.tar.zst467 KBdownload

filef32bb347996c351bc3e9a91c58e8601d-DLTM_twitter774_83_17.tar.zst319 KBdownload

filef48735588e3515135f039e8bc8efaee5-asconhashv12_opt64_H11_M2-MxJOnbQIXNd_m5_6.c.tar.zst1.2 MBdownload

filef50eaf02a8041510b64104998cc81d2f-sted5_0x24204-50.tar.zst175 KBdownload

filef561c52b987bdb9031a477864070b759-Ptn-7824-b18.tar.zst73 KBdownload

filef746dae2050dd4aa48bcd53e8bd897b4-ex065_25.tar.zst761 KBdownload

filef7e855b18105170b0718086d3f5b5923-j3045_10_rggt_b.tar.zst164 KBdownload

filef86dad4ba35369eb720a0c9ddc45037a-combined-crypto1-wff-seed-1-wffvars-450-cryptocplx-40-overlap-2.tar.zst63 KBdownload

filefa50d69adc71fe4daf7f9088cd02864a-circuit_32in64out_with_150gates_6in6out_dist256_seed1.sanitized.tar.zst48.8 MBdownload

fileff9e9b01d50d01ecb6740472d7dd36cd-1-ZC-512-K-61.sanitized.tar.zst79.3 MBdownload

curie3170/sat_cnf_batch_500_epochs_10_topk_0.0005_2GPU · main · files are served by the source, never re-hosted here