Datasetpublic

cportner/unsat_2024_3000_8gpu

sourceHugging Faceupdated 1y agoView on Hugging Face

0likes518downloads

dir00d1fe07ab948b348bb3fb423b1ef40d-lec_mult_KvW_12x11.sanitized/

dir02066c116dbacc40ec5cca2067db26c0-mrpp_4x4#12_12/

dir0265448c232e3a25aa5bcd29b1b14567-x9-10051.sat.sanitized/

dir02e4f23ed59566d343b605dc2cc30a01-REGRandom-K4-L3-Seed40.sanitized/

dir02f6ca52f1ada872d82035088701b66a-linked_list_swap_contents_safety_unwind69/

dir05ed64e4e6229f446082752936768489-stb_495_168.apx_2_DC-AD/

dir07b476c83150d3cb7e08f5d045e255ab-marg5x5.shuffled-as.sat03-1455/

dir07c50b89d97a55b6e1629999a445a2ba-ctl_4201_555_unsat_pre/

dir07e6413459f92b613498a719125b6239-j3037_10_mdd_bm1/

dir08be288536c3178e6874a5676493923c-g2-hwmcc15deep-bob12s02-k16/

dir096e485489025895cdc59887baafa08b-test_v7_r17_vr5_c1_s25451.smt2-cvc4/

dir09d7add3bf3b75c5d1023a92e752989a-Break_unsat_04_03.xml/

dir0a02751cacf5e1cdfcc842a7f220199f-hwmcc17miters-xits-iso-bobsmfpu.sanitized/

dir0ac5ff376b826f68d384ba05a1d00de0-sokoban-p20.sas.cr.33/

dir0ac6aaf6db6a0e4ec3a06e865d01086f-pcmax-scheduling-m13-2011-12813-UNSAT.sanitized/

dir0d3160b80aa406bfc718c007265b9e73-linked_list_swap_contents_safety_unwind65/

dir0e5ffe8651c6d9c3cccc3f6cb72be39a-g2-test_v5_r10_vr10_c1_s21502.smt2-cvc4/

dir0ef029cb7616d4a89eb6d1f63e89f67e-or_randxor_k3_n510_m510.sanitized/

dir0f262afd5b117000f8b4734d175aadab-linked_list_swap_contents_safety_unwind73/

dir0fa8623240b5c14c1308f863a6dc88ab-urqh1c5x5.shuffled-as.sat03-1468.cnf.mis-103.debugged/

dir1156429862d3c03160406d6d1a786f11-rphp_p8_r170.sanitized/

dir1165e12b6addad01b491c4616306186c-mulhs016-sc2009/

dir14ea5857d75ae2b235a3ba97373ea732-af-synthesis_stb_50_40_9_unsat/

dir1545660e72158c7e90da5ad4c877a124-hwmcc20miters-iso-rast-p06.sanitized/

dir1548977b4e27032fe07cda357782cd6a-mdp-28-14-unsat/

dir16ca57f2cdffd5b0260fc771017e1f04-mdp-36-10-unsat/

dir170a7d847694ee4cfa5c421757672882-af-synthesis_stb_50_140_0_unsat/

dir18c0eb461bda29214bd43b84199a3b61-cliquecolouring_n31_k5_c4.sanitized/

dir19e2c3a0865c8c1b4543d11213bebe5f-x9-09024.sat.sanitized/

dir1a1c9d1dc1ae7fcff92e3c3499864b75-af-synthesis_stb_50_200_4_unsat/

dir1a20d903db74ab566efc68a35e6b0ec5-hwmcc20miters-iso-rast-p11.sanitized/

dir1b0f4ff7984b8d4cf2873200fb1680fb-af-synthesis_stb_50_140_1_unsat/

dir1b3c7ac17705be94daaddb5f5ae4816b-rook-56-0-0/

dir1e0da402100982e53001a64281149dd9-linked_list_swap_contents_safety_unwind63/

dir1e74212168124b696531fed471b480b1-mdp-32-10-unsat/

dir1ea68d0008f01c50a1e4fec77dd0775e-REGRandom-K4-L1-Seed30.sanitized/

dir1f44da3598ccf8bcbe9a90fb1b2f1ebd-REGRandom-K3-L3-Seed25.sanitized/

dir2115182958f6cfb5a172a24f989b86dd-rook-42-0-1/

dir23daec2c71ce3c1e346e6042f3dc42eb-mdp-32-14-unsat/

dir24bdfb34654b1aa703fae31ea91e7c7f-tseitin_d3_n158.sanitized/

dir25447f441df2f134223d3e43319c99ad-lec_mult_CvW_12x11.sanitized/

dir25cc054738293c0d9377d7b72b78a341-string_compare_safety_cbmc_unwinding_900/

dir278aa933fdef642f33fb02a2b18717c1-lec_mult_DvK_11x10.sanitized/

dir29ab150158d641568f888e8401d2ac13-bmc_QICE_snp_vld_30/

dir29e61b1317804fb897e84237613d42bb-worker_30_60_25_0.9/

dir2a53e9c6a25a50d753a94ead66065826-mp1-ps_5000_21250_3_0_0.8_0_1.50_6/

dir2b60f9be1439f63b7f174c6b8ca7fedf-sgen1-unsat-121-100/

dir2b8a711debc3a6edd01e7b4e305342d9-REGRandom-K4-L2-Seed35.sanitized/

dir2c3c28f6d939d157e909c57a265fc908-mchess_17/

dir2d6d26e1c5b4f2763c03697a6d00d3cf-fixedbandwidth-eq-31_shuffled/

dir2dd4b14a8a820e7baa073554ae2c6cb0-rphp_p8_r160.sanitized/

dir2eb039a5aa6bfb6e41d3afd41071ca55-ER_500_30_3.apx_1_DC-ST/

dir305ad7d773d6c72be9b1efbf7bf482e0-asconhashv12_opt64_H9_M2-MIC4kfhiA_m0_6_U2.c/

dir3184e52e950ac39095a801c418f68d50-mdp-28-10-unsat/

dir31bb67fe67e57dbeb8c4819b01892588-hwmcc17miters-xits-iso-oski15a08b08s.sanitized/

dir32585e66749f42e161e94fc49fd64750-pcmax-scheduling-m26-6398-62377-UNSAT.sanitized/

dir34fa0922e66aee3b6f6ffe1760f459d4-f9idw/

dir35789168b67a74985804902008251269-tseitingrid6x200_shuffled/

dir36dbc206c7d9773bebb03f752070cee9-tseitin_grid_n11_m20.sanitized/

dir37a11ae189df2834a3f294736f34608f-mdp-28-16-unsat/

dir385042a6042a0df5ddfec6e17f285ae7-lec_mult_CvD_11x11.sanitized/

dir39277cab188349aee0f229cb7341b5c5-crafted_n12_d6_c4_num23/

dir39fba35826ce8c87cd8e8de1969b2dd2-SGI_30_80_26_70_4-log.shuffled-as.sat03-208/

dir3b59c5d9b6729f39c8483446701f4ed0-g2-T93.2.1/

dir3c6e1d1c4b8d3d08aa4c1df3805f4f7d-x9-10031.sat.sanitized/

dir40737c2f46512069d54b0d2bb3b47a20-ER_400_20_4.apx_2_DC-AD/

dir4106867bc76b8794330a205cf8a303ad-bvsub_19952.smt2/

dir4214f45042f8c504f9837afaec88bf8f-ER_400_20_7.apx_2_DC-AD/

dir425c81fc3af7f5124b6282583d80df11-mdp-32-12-unsat/

dir44fd38bd0c5fc7336be468161dee4eda-post-cbmc-aes-ee-r3-noholes/

dir4517202fdd0ccc8a97d83684b021ea96-VanDerWaerden_2-3-14_186/

dir462d72f9b78ab1cd080667ff12a114ac-lec_mult_CvK_12x12.sanitized/

dir46d75199933980fdb856f13e5b1817dd-1-TC-256-K-64.sanitized/

dir475803537529d9d14a034957f48a6d38-x9-09076.sat.sanitized/

dir479b1413f8bd1d6fc0723856ffca9792-constraints_18_0.4_2.sanitized/

dir4a8285a53f30b35016b0c85ea17ba155-1-TC-256-K-68.sanitized/

dir4be4ae25aae88528bc10f8369bba86df-ER_400_20_4.apx_1_DC-AD/

dir4c54efa61599e33d514bf718ff23ad09-lec_mult_CvK_12x11.sanitized/

dir4d7f6efbae05b66ffbbd509a430d57f8-stb_418_125.apx_1_DC-ST/

dir4e366e723d75fe39bf6db9a24ffb059b-Dodecahedron-k7/

dir4f2d6659b5c9bf594ea12e3e1a85799f-mdp-32-11-unsat/

dir5411047bc24f4321f0e490e01e4a0910-goldcrest-and-9/

dir55199d55fa9c3751a525d6c0a0e649bd-WS_500_16_90_70.apx_2_DC-AD/

dir556cf803f9de4b2ec688825b5ff7e325-tseitin_d3_n174.sanitized/

dir573cc82ec61e01fd6e6308493ee56289-linked_list_swap_contents_safety_unwind80/

dir57f4ea7ab160d996e38e69fac59869c4-x9-09047.sat.sanitized/

dir5952b9f18b73dabb531c60e3ac85d26f-ctl_4291_567_9_unsat/

dir5ab3040d8617bf9f4d4cef4e56dcfd03-g2-hwmcc15deep-6s161-k17/

dir5b0f16de2c5419b80b608db37d07d994-lec_mult_KvW_11x10.sanitized/

dir5cb1ca8fe8a9d9125ea9accd498445f1-stb_531_83.apx_1_DC-ST/

dir6008b958ff6877f32c26b72728df4523-linked_list_swap_contents_safety_unwind76/

dir6077d4e5f755124ddc84068d6ccb630f-Nb44T6/

dir61069e0e3339af80000b774a041b7d96-constraints_18_0.3_2.sanitized/

dir62dcbf79f5ecef5618c9d9a00311326c-pcmax-scheduling-m13-1655-9604-UNSAT.sanitized/

dir63732c330adb8de8dd47ce1693b86d0e-FmlaEquivChain_4_8_8.sanitized/

dir6543793076c30fc7cdfa5a3c819cedc7-oisc-subrv-sll-nested-11/

dir67b4844c4bfbaf961cbbd79b953aa5c2-stb_588_138.apx_1_DC-AD/

dir67c533489a498495525efee429340958-cliquecolouring_n15_k9_c8.sanitized/

dir69e34d0f49c71a7e145d8104ebe0273f-sokoban-p16.sas.ex.15-sc2016/

dir6add7e416c1126607afeb2666af330ac-constraints_16_0.5_1.sanitized/

dir6c52aca5b5fd284bf1940b84df90a367-1-TC-256-K-71.sanitized/

dir6f0e236c999de0a5e3c46fd3463b1d0d-rook-56-1-1/

dir6f4df706246d29bf38adadd274fadab3-SGI_30_60_19_60_6-dir.shuffled-as.sat03-112/

dir761651d4b6454108403bdefe22720fb3-constraints_18_0.5_2.sanitized/

dir768956cc8d1f2d18ae1929f6bb26557a-cliquecolouring_n13_k8_c7.sanitized/

dir778e0fd8f034b7cfd539b1b523ed4c4a-lec_mult_CvW_12x12.sanitized/

dir792495b57d6145fd21d7076eab2ab06a-grs-64-64/

dir7b48f9354d25521bd542d859c0ecdde9-hwmcc17miters-xits-iso-oski15a08b00s.sanitized/

dir7b9d8b9b31b530effd634f5a8f1f4411-stb_531_83.apx_2_DC-ST/

dir7f1c7da531539f3be4a1e0e916913086-pcmax-scheduling-m19-2974-16501-UNSAT.sanitized/

dir7f2b4b2bde9b866b93fbfe01341213da-asconhashv12_opt64_H5_M2-xEJ8F_m0_3_U5.c/

dir7f7109dce621ef361a72b3e8cee9a962-Break_unsat_06_07.xml/

dir7fb202a51c0223f3119887a57086ca4d-x9-09051.sat.sanitized/

dir7fca438c38e5b7a70e38778ec146cfe0-ctl_4291_567_2_unsat-sc2013/

dir82d9e8d2cfea101dfe52c8359b7bb163-af-synthesis_stb_50_40_2_unsat/

dir83dc8f675657b3e6d148ef5cf897fb82-openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN/

dir8530c911b75ab1b276042043d118a875-constraints_16_0.4_1.sanitized/

dir8704094951693f99fd21403a039c8131-mchess_16/

dir878bcc11e1e243680f7946bcf428f465-linked_list_swap_contents_safety_unwind45/

dir88d151d4e3c6ba9bd78454de141cd108-T105.2.0/

dir8b91c5bf4dfd87ffb46c5ef88a3ef1cd-lec_mult_DvW_12x11.sanitized/

dir8bf63d50ebdb645b75a24370b8f94d31-sokoban-p20.sas.cr.25/

dir8d2dfc50c1759dc11a6564d5c368c6df-FmlaImplyChain_3_7_8.sanitized/

dir8d4b50ec0cf99097e9ab0835937afee5-hwmcc17miters-xits-iso-6s281b35.sanitized/

dir907e7dc703e16ad2c7e56a33fe3b3e5f-manol-pipe-g10bid_i/

dir912ce8c21d8fb8abc491cb205ec23e9f-hwmcc20miters-iso-mul2.sanitized/

dir915a25bd189357e4c6d7771b69a6849f-x9-09004.sat.sanitized/

dir94571e8a1081385029d1ecd53ffcdf8e-af-synthesis_stb_50_200_0_unsat/

dir94dd280b1562ee7dae44b303b8fed233-Break_unsat_18_31.xml/

dir96a6796405061571e12d383efe27b703-WS_500_16_70_10.apx_1_DC-ST/

dir973d699ec01b88da869233a79aaa1912-cliquecolouring_n13_k9_c8.sanitized/

dir9777418f75e1dfbd7d34e9b0ba4bf0b5-grs-64-128/

dir9a06700729bf3426beb8a62040f92960-mdp-36-12-unsat/

dir9cd3acdb765c15163bc239ae3a57f880-FmlaEquivChain_4_6_6.sanitized/

dir9e749596a8de36d8ab706c96cf128455-WS_500_16_70_10.apx_2_DC-AD/

dira5419a63d913bde0ba5bcd8a8571342f-asconhashv12_opt64_H11_M2-tBi5i1RIgRz_m0_1_U23.c/

dira552a058e6376a36b1f1b2724f228364-IBM_FV_2004_rule_batch_1_31_1_SAT_dat.k40.debugged/

dira58b8a5eb61d3110d9fa36a03de588d2-stb_495_168.apx_1_DC-AD/

dira5fc113e7d4899f4e4af14b87b6fd6ae-Kakuro-easy-097-ext.xml.hg_4/

dira6ed647f85f20be4aedd1e9ce31cbdcd-1-ET-256-K-55.sanitized/

dira917b02a7c31e74c8ccf8b8f001abf37-1-ZC-512-K-67.sanitized/

diraa39c6d885d283a085d033ab7b89f8c8-urq45/

diraa9b67fd19d54ad51b93ee4ba5dc75fc-x9-10002.sat.sanitized/

diraaa3654cc92d80da84ecf5d18040c634-linked_list_swap_contents_safety_unwind62/

diraacfb8797097f698d14337d3a04f3065-barman-pfile06-022.sas.ex.7/

dirac347c21ca0759079c0be9a758e4e924-cliquecolouring_n41_k5_c4.sanitized/

dirad4e151d80c7012d88dd79bcfceaade5-x9-08075.sat.sanitized/

dirb087c195e5b7bb191d3a701aa0aa8cf1-Break_unsat_14_23.xml/

dirb11374f7fe60b9a63fbfde24b1a0a439-stb_418_125.apx_2_DC-AD/

dirb172b4c218f1e44e205575d2b51e82c4-Schur_161_5_d38/

dirb3c587501567db72e6e66c6930cf15ed-StConn_7_128.sanitized/

dirb3f53d4c67b234d27e21f5e56bfd39e8-StConn_8_32.sanitized/

dirb4b41b2ff14427e5715cb9bee06d4602-constraints_17_0.3_2.sanitized/

dirb5028686db9bd1073fa09cbd8c805f47-spg_200_316/

dirb7273af3d468ea2595f11a6dbd6ef6ce-x9-10007.sat.sanitized/

dirb76fa2f50a42120ec54fa98c29113326-lec_mult_DvK_12x12.sanitized/

dirb8f5fc2425facb3aec52a665f32a500c-asconhashv12_opt64_H6_M2-PgbpwX_m0_4_U1.c/

dirbb591c6447fb6b4180f6d288eb2ff62a-lec_mult_DvW_11x10.sanitized/

dirbbfe2b27182d2ee7fefdb557f458ac9c-cliquecolouring_n21_k6_c5.sanitized/

dirbd19da88800086971e554e9d66bc641d-stb_588_138.apx_1_DC-ST/

dirbd8bc25be2b36c64b38459c17e815814-pcmax-scheduling-m11-1517-6802-UNSAT.sanitized/

dirbdcdb52d16f87ea20f091ca4b0b6a36f-lec_mult_CvK_11x10.sanitized/

dirbfadd34e71516e95d0ba2a3a8fb2ba03-pcmax-scheduling-m19-10199-62102-UNSAT.sanitized/

dirc03f7f84f6ac9e523c17e391c3895183-linked_list_swap_contents_safety_unwind68/

dirc0e6e6eeebd48ca600cfc7d662fa804c-x9-10093.sat.sanitized/

dirc21cea390a50204944aa00babd56b53c-linked_list_swap_contents_safety_unwind70/

dirc3e53c353f30d9e2eb54ed93d6ce4f02-x9-09007.sat.sanitized/

dirc6568fc8805127e876c4c23551bf49fa-x9-10076.sat.sanitized/

dirc69c5163c9087ffe770743bd4cdafcc9-tseitin_d3_n162.sanitized/

dirc6e03256680b96b52e3345a497333c2b-hwb-n24-02-S786928571.shuffled-as.sat03-1618/

dirc76f3c6c2e2eae85fc5f3d499f3db88d-mp1-blockpuzzle_5x10_s7_free4/

dirc8b129b9e4835b8a40d5ef0d27a45bef-linked_list_swap_contents_safety_unwind78/

dirc9f511adbb3d6e1b37b410f972f270c6-af-synthesis_stb_50_140_3_unsat/

dircb2e8b7fada420c5046f587ea754d052-clique_n2_k10.sanitized/

dircc30e4eedbcf9c3bc110894d08781246-j3037_9_mdd_bm1/

dird195412a62cdcbb851136f60af76f463-x9-09098.sat.sanitized/

dird5f6b2092795aad67d1df1fd3a329552-ER_400_20_7.apx_2_DC-ST/

dird7627176604d5b86f34d2f5d14d8ee99-worker_40_80_40_0.9/

dird7dbb2cba940af33b2bce37ea99b8110-6s130-opt/

dird7f2e4ec8e631387c928c79e1054c663-stb_418_125.apx_1_DC-AD/

dirdacb03ea801d459ef08db23a8b1d104f-lec_mult_DvW_12x12.sanitized/

dirdafc03ea784fee849febca7b64230558-pcmax-scheduling-m30-14113-167638-UNSAT.sanitized/

dirdc7817dfa2817916b266c1cfacd2ee66-constraints_25_4_5_12_12_0_0_0.sanitized/

dirdcf5b8224d1e0748871c83ee10067255-2dlx_ca_bp_f_liveness/

dirdd57f6ebf07a7f932a82bed1877788e6-lec_mult_KvW_10x10.sanitized/

dirdd5fc8da5454a990a0e7999884158c64-1-ET-256-K-70.sanitized/

dirddc0720fa5a91d9cc0dc726644ab9e9f-6s167-opt/

dirded23680dfeab2879c05bc0e4de21126-x9-09014.sat.sanitized/

dire06be7a69dbd6d6866a2799cd40c4bfe-hwmcc20miters-iso-mul7.sanitized/

dire08f11f0a3bd266ee5c78ce332de107f-x9-10096.sat.sanitized/

dire38601380bfbab35dd8c5927283533fb-lec_mult_CvK_11x11.sanitized/

dire84b00b1f134e0e071a2baf54cfc90e8-ER_400_20_4.apx_2_DC-ST/

dire8abb9c83efdd96a99990f3b914ea873-linked_list_swap_contents_safety_unwind57/

direa827f81bd0e9735739adc0d9da1b446-ER_500_30_3.apx_2_DC-AD/

direc84eecb124c63d4757e083dd0e5a9ff-mchess_15/

diredceb8782e72e290fa54757dbfdd0173-x9-09057.sat.sanitized/

diree57608ea4b74f25aebca809d59711c9-oisc-subrv-sll-nested-13/

diref330d1b144055436a2d576601191ea5-crn_11_99_u/

dirf0426369f61595aee97055965ee7e6a3-hwmcc12miters-xits-iso-6s111.sanitized/

dirf15ad4206d95a3f8f1358b33301539be-ER_400_20_7.apx_1_DC-AD/

dirf16b7329ef5728f722c291156b3b098e-af-synthesis_stb_50_100_9_unsat/

dirf18c7c7b8666458fd04ea7a253ae1e20-FmlaImplyChain_3_7_7.sanitized/

dirf296fe701a562022c0de0cf565fbca7d-x9-08014.sat.sanitized/

dirf376d4c191518ed704326960b6b19a4b-x9-10084.sat.sanitized/

dirf45e5faf1bcccbdd3065dd6367c3bd16-x9-10083.sat.sanitized/

dirf54b352934be08821aa75b3424112956-linked_list_swap_contents_safety_unwind54/

dirf70788e8446c1bc42684316de0a6c164-hwmcc20miters-iso-mul3.sanitized/

dirf8443057c188f6c9cfb711ff3d4aa6ff-constraints_17_0.5_2.sanitized/

dirfa5c6d6736a42650656c5bc018413254-bphp_p23_h22.sanitized/

dirfae08ac5b6d7eeb4f56f1cfac6c51703-j3045_4_mdd_bm1/

dirfb0e505b8bd19a34f1f80b8e020e7856-constraints_17_0.4_2.sanitized/

dirfb45d41807bcbbbe689de282c1310798-Break_unsat_16_27.xml/

dirfb51311320bb42bdb893249998a77f40-constraints_16_0.3_1.sanitized/

file.gitattributes23 KBdownload

filecopy-unsat.sh403 Bdownload

fileunsat-index7 KBdownload

cportner/unsat_2024_3000_8gpu · main · files are served by the source, never re-hosted here