GitHub - coq-tactician/benchmark-data

Name		Name	Last commit message	Last commit date
Latest commit History 5,426 Commits
Sorry, we had to truncate this directory to 1,000 files. 1774 entries were omitted from the list.
0002378de63b72df8f7d8f57635b0e93372ee44e/BENCHMARK-40		0002378de63b72df8f7d8f57635b0e93372ee44e/BENCHMARK-40
0012ffb049fef4ba3bc96173d7c19bd7b60f8275		0012ffb049fef4ba3bc96173d7c19bd7b60f8275
0030904150181e96f589339136a0762ca3e30d7f/Set-Tactician-Benchmark-300.		0030904150181e96f589339136a0762ca3e30d7f/Set-Tactician-Benchmark-300.
0040222f0d2d65b2a534ab59ff759338b4119b39/Set-Tactician-Benchmark-300.		0040222f0d2d65b2a534ab59ff759338b4119b39/Set-Tactician-Benchmark-300.
006cda828280efc370ec699eafec6b8c02c47582/Set-Tactician-Benchmark-300.		006cda828280efc370ec699eafec6b8c02c47582/Set-Tactician-Benchmark-300.
00acf4844bc7535c4d0b9d3ac13280db0e8c36e7/Set-Tactician-Benchmark-40.		00acf4844bc7535c4d0b9d3ac13280db0e8c36e7/Set-Tactician-Benchmark-40.
00ebc4f1ea8abf112f71a52fe953828bdc816629/BENCHMARK-40		00ebc4f1ea8abf112f71a52fe953828bdc816629/BENCHMARK-40
01150356415d66dc2a8e4e3d21e98deb0d5142f6/Set-Tactician-Benchmark-300.		01150356415d66dc2a8e4e3d21e98deb0d5142f6/Set-Tactician-Benchmark-300.
013081e2a27334b7e0acdcec511fd603e7f00e28/Set-Tactician-Benchmark-300.		013081e2a27334b7e0acdcec511fd603e7f00e28/Set-Tactician-Benchmark-300.
01693571e101a592a4c6b3bfe674047c785983e8/Set-Tactician-Benchmark-300.		01693571e101a592a4c6b3bfe674047c785983e8/Set-Tactician-Benchmark-300.
01696855120207165920e0a9d18450e9bbc6ad63/Set-Tactician-Benchmark-300.		01696855120207165920e0a9d18450e9bbc6ad63/Set-Tactician-Benchmark-300.
01e49c8f200914e14136695004137d4a4b4364f8/Set-Tactician-Benchmark-300.		01e49c8f200914e14136695004137d4a4b4364f8/Set-Tactician-Benchmark-300.
024bd836f2d859f557f2737aa1cd684976cdd8a4/Set-Tactician-Benchmark-40.		024bd836f2d859f557f2737aa1cd684976cdd8a4/Set-Tactician-Benchmark-40.
02a67b6f1f55f250cd3f3fed09ab515296432204/BENCHMARK-40		02a67b6f1f55f250cd3f3fed09ab515296432204/BENCHMARK-40
02c43385625ec78db208305edbd1a7b5c7ae070a/Set-Tactician-Benchmark-300.		02c43385625ec78db208305edbd1a7b5c7ae070a/Set-Tactician-Benchmark-300.
02d49daea8de236493d08387e3f8f1acdeebf902		02d49daea8de236493d08387e3f8f1acdeebf902
02f51f6566703b942c5b61d018df30273e4e1f85/Set-Tactician-Benchmark-300.		02f51f6566703b942c5b61d018df30273e4e1f85/Set-Tactician-Benchmark-300.
0320cc40e6b18d0ebf705123cece06e6c22a5ced/Set-Tactician-Benchmark-40.		0320cc40e6b18d0ebf705123cece06e6c22a5ced/Set-Tactician-Benchmark-40.
03492439995370246d5882dfe8813e9974cf6e8f/Set-Tactician-Benchmark-600.		03492439995370246d5882dfe8813e9974cf6e8f/Set-Tactician-Benchmark-600.
03499425f156a2b259cf1e583b705f855103e273		03499425f156a2b259cf1e583b705f855103e273
03a54da250bad553c83bf0fb5314b684bd51fc73/Set-Tactician-Benchmark-40.		03a54da250bad553c83bf0fb5314b684bd51fc73/Set-Tactician-Benchmark-40.
03a7a6f714b902faef896d94925abe40b1805ccc/Set-Tactician-Benchmark-40.		03a7a6f714b902faef896d94925abe40b1805ccc/Set-Tactician-Benchmark-40.
03a9a73b0741c2c51c49f7440b9bd8ba4b4da271		03a9a73b0741c2c51c49f7440b9bd8ba4b4da271
03d43212c51528a4ab4c560124164c249ba2a4cc/Set-Tactician-Benchmark-300.		03d43212c51528a4ab4c560124164c249ba2a4cc/Set-Tactician-Benchmark-300.
03dddd49e71bc1e7d5bb2844255d9dd915b39b2f/Set-Tactician-Benchmark-40.		03dddd49e71bc1e7d5bb2844255d9dd915b39b2f/Set-Tactician-Benchmark-40.
0402e93f89de662e7f17b177f0fc8c2c1b238d56/Set-Tactician-Benchmark-300.		0402e93f89de662e7f17b177f0fc8c2c1b238d56/Set-Tactician-Benchmark-300.
0416dd3d67bc0ac45fd7bc6832cdd8b85c16ef67/Set-Tactician-Benchmark-40.		0416dd3d67bc0ac45fd7bc6832cdd8b85c16ef67/Set-Tactician-Benchmark-40.
04340c77a7fe5ecd6919c547c3837d9910e54502/Set-Tactician-Benchmark-40.		04340c77a7fe5ecd6919c547c3837d9910e54502/Set-Tactician-Benchmark-40.
0457894fc30ced50294c604c2cac79ad525fc657/Set-Tactician-Benchmark-300.		0457894fc30ced50294c604c2cac79ad525fc657/Set-Tactician-Benchmark-300.
045e00bb974e6017b5294f501b0afc70d5e2a468/Set-Tactician-Benchmark-120.		045e00bb974e6017b5294f501b0afc70d5e2a468/Set-Tactician-Benchmark-120.
046d06a6f342ceed979f4a07e84bc1d336d39eeb/Set-Tactician-Benchmark-300.		046d06a6f342ceed979f4a07e84bc1d336d39eeb/Set-Tactician-Benchmark-300.
0470ffdd29036517d1a8a72d854d43522344c49a/BENCHMARK-40		0470ffdd29036517d1a8a72d854d43522344c49a/BENCHMARK-40
0478b70357095f180623f49b55e1af7a85548716/Set-Tactician-Benchmark-40.		0478b70357095f180623f49b55e1af7a85548716/Set-Tactician-Benchmark-40.
049693231498a89192a003d3437b28af1144d0ce/Set-Tactician-Benchmark-300.		049693231498a89192a003d3437b28af1144d0ce/Set-Tactician-Benchmark-300.
04ce5ac968d63bc2dd00b4e35bce4b45386f93e3/Set-Tactician-Benchmark-40.		04ce5ac968d63bc2dd00b4e35bce4b45386f93e3/Set-Tactician-Benchmark-40.
04e465783d34bf9cdbbf2241c691676c7bda5075/Set-Tactician-Benchmark-120.		04e465783d34bf9cdbbf2241c691676c7bda5075/Set-Tactician-Benchmark-120.
04e9cdd61ceabd7b86a056f338a8a996588fee25/Set-Tactician-Benchmark-120.		04e9cdd61ceabd7b86a056f338a8a996588fee25/Set-Tactician-Benchmark-120.
04fe925306d20b709a60dc9ade966ef672d7845e/Set-Tactician-Benchmark-40.		04fe925306d20b709a60dc9ade966ef672d7845e/Set-Tactician-Benchmark-40.
0501dd362ac4ff939a511393638dad2dcf0ed254/Set-Tactician-Benchmark-3000.		0501dd362ac4ff939a511393638dad2dcf0ed254/Set-Tactician-Benchmark-3000.
052ea97343af8ef048afad10698ef96be58faa82/Set-Tactician-Benchmark-40.		052ea97343af8ef048afad10698ef96be58faa82/Set-Tactician-Benchmark-40.
052fa0b6bcf2d34cb9f0020abdef24a32fd942d7/BENCHMARK-40		052fa0b6bcf2d34cb9f0020abdef24a32fd942d7/BENCHMARK-40
053a7b3cbfc03b7d54066f6b4c1984820fd23bf6/Set-Tactician-Benchmark-40.		053a7b3cbfc03b7d54066f6b4c1984820fd23bf6/Set-Tactician-Benchmark-40.
053f9dcd3d600496dd2479a901ffe1839c3d386b/Set-Tactician-Benchmark-40.		053f9dcd3d600496dd2479a901ffe1839c3d386b/Set-Tactician-Benchmark-40.
0543d14adc1e23649ba55c82bb985bd48689dca1/Set-Tactician-Benchmark-300.		0543d14adc1e23649ba55c82bb985bd48689dca1/Set-Tactician-Benchmark-300.
056d54ea8ff2d47f7f3a91a84e354e164e42fc59/Set-Tactician-Benchmark-300.		056d54ea8ff2d47f7f3a91a84e354e164e42fc59/Set-Tactician-Benchmark-300.
05789d677ca86b6adc26fdca79a9c9ae09fd5273/Set-Tactician-Benchmark-40.		05789d677ca86b6adc26fdca79a9c9ae09fd5273/Set-Tactician-Benchmark-40.
05b1ecb0e6524f4a49884c2c3f088c9c5cae64ed/Set-Tactician-Benchmark-300.		05b1ecb0e6524f4a49884c2c3f088c9c5cae64ed/Set-Tactician-Benchmark-300.
05bc0c7068b4206b18740cb0eff743b8312b9514/BENCHMARK-40		05bc0c7068b4206b18740cb0eff743b8312b9514/BENCHMARK-40
05c2a993ae4cae8e2ed1b5fcf9f89541fee584d4/Set-Tactician-Benchmark-300.		05c2a993ae4cae8e2ed1b5fcf9f89541fee584d4/Set-Tactician-Benchmark-300.
05d1dae37852280bba23cc685a639bef3c4afb9e/BENCHMARK-40		05d1dae37852280bba23cc685a639bef3c4afb9e/BENCHMARK-40
05d6aebe393e51db11b2264b63e62306fd9fc5a0/Set-Tactician-Benchmark-60.		05d6aebe393e51db11b2264b63e62306fd9fc5a0/Set-Tactician-Benchmark-60.
060da826bec55734762ef0a8feffb777fa119f94		060da826bec55734762ef0a8feffb777fa119f94
0640a32e20dca3b38b8393c763d61f71b9facb6a/Set-Tactician-Benchmark-40.		0640a32e20dca3b38b8393c763d61f71b9facb6a/Set-Tactician-Benchmark-40.
0650904a1df11e78daf72fed3d5b97d6e3d16ef1/Set-Tactician-Benchmark-40.		0650904a1df11e78daf72fed3d5b97d6e3d16ef1/Set-Tactician-Benchmark-40.
065eec8bec972a7963cc48b6a18e0265096b21e9/Set-Tactician-Benchmark-40.		065eec8bec972a7963cc48b6a18e0265096b21e9/Set-Tactician-Benchmark-40.
0670eef290442342922287125c075a9a5f87811b/Set-Tactician-Benchmark-300.		0670eef290442342922287125c075a9a5f87811b/Set-Tactician-Benchmark-300.
068f8b38c82c40c442754dc481d179ed06292aa4/Set-Tactician-Benchmark-40.		068f8b38c82c40c442754dc481d179ed06292aa4/Set-Tactician-Benchmark-40.
06ad69bdcc0c1bec91e2974f521301b2393f4a6d/Set-Tactician-Benchmark-40.		06ad69bdcc0c1bec91e2974f521301b2393f4a6d/Set-Tactician-Benchmark-40.
06cfc79503dac0c563a258b6c58a348fa0bfbeea/Set-Tactician-Benchmark-40.		06cfc79503dac0c563a258b6c58a348fa0bfbeea/Set-Tactician-Benchmark-40.
06d9d685c1712c42615c16e0b81f2216fcb6d4ad/Set-Tactician-Benchmark-300.		06d9d685c1712c42615c16e0b81f2216fcb6d4ad/Set-Tactician-Benchmark-300.
06ee184359c7aa44d4f31a5430a95d55df822275/Set-Tactician-Benchmark-300.		06ee184359c7aa44d4f31a5430a95d55df822275/Set-Tactician-Benchmark-300.
071f118c295457627ba2bd980abd94701bcb7c11/Set-Tactician-Benchmark-300.		071f118c295457627ba2bd980abd94701bcb7c11/Set-Tactician-Benchmark-300.
0734a918c32e909a77e7a00e1b9423bcf57e82c9/Set-Tactician-Benchmark-60.		0734a918c32e909a77e7a00e1b9423bcf57e82c9/Set-Tactician-Benchmark-60.
074b475b8334a669826ba18d10913f70f00317e5/Set-Tactician-Benchmark-40.		074b475b8334a669826ba18d10913f70f00317e5/Set-Tactician-Benchmark-40.
07531d77adcb51ef3f3dc8a2009386376aa5ffdf/Set-Tactician-Benchmark-300.		07531d77adcb51ef3f3dc8a2009386376aa5ffdf/Set-Tactician-Benchmark-300.
077cb69997a33dd5e1b3794b111f6655906d4684/Set-Tactician-Benchmark-40.		077cb69997a33dd5e1b3794b111f6655906d4684/Set-Tactician-Benchmark-40.
07a2a28e0122438811612a6bf8d6293ce27310da/Set-Tactician-Benchmark-40.		07a2a28e0122438811612a6bf8d6293ce27310da/Set-Tactician-Benchmark-40.
07a998f2cd37358c2a645d3d6010af1080230892/Set-Tactician-Benchmark-600.		07a998f2cd37358c2a645d3d6010af1080230892/Set-Tactician-Benchmark-600.
07c06b19178d24fa9bd63d8ef33daba03afb9147/Set-Tactician-Benchmark-40.		07c06b19178d24fa9bd63d8ef33daba03afb9147/Set-Tactician-Benchmark-40.
07c4119434787f3b1e1c6681d3e05185ca1da540/BENCHMARK-40		07c4119434787f3b1e1c6681d3e05185ca1da540/BENCHMARK-40
07c76dbbb08ac3ebe145c753aa82b4b8a94af03c/Set-Tactician-Benchmark-40.		07c76dbbb08ac3ebe145c753aa82b4b8a94af03c/Set-Tactician-Benchmark-40.
07d99eaa670b80dcc721866ec77dde338736b3d6/Set-Tactician-Benchmark-40.		07d99eaa670b80dcc721866ec77dde338736b3d6/Set-Tactician-Benchmark-40.
07ff990aa864df91d2deb151d84cb5ea22135ad0/Set-Tactician-Benchmark-60.		07ff990aa864df91d2deb151d84cb5ea22135ad0/Set-Tactician-Benchmark-60.
0832497742e4fdc85943b8e7cb852725ba5c6b4c/Set-Tactician-Benchmark-40.		0832497742e4fdc85943b8e7cb852725ba5c6b4c/Set-Tactician-Benchmark-40.
084f4181fb984bed6839c1fe67bce132b0a58c2a/Set-Tactician-Benchmark-300.		084f4181fb984bed6839c1fe67bce132b0a58c2a/Set-Tactician-Benchmark-300.
0851bd93402a67da89fcc52ba4a1864cd1192212/Set-Tactician-Benchmark-120.		0851bd93402a67da89fcc52ba4a1864cd1192212/Set-Tactician-Benchmark-120.
089d22b1d99bf2bee12feaef606e92f7a47a480b/Set-Tactician-Benchmark-300.		089d22b1d99bf2bee12feaef606e92f7a47a480b/Set-Tactician-Benchmark-300.
08a2fbf8adb87bae77563cdd739bac694dc857a9/Set-Tactician-Benchmark-300.		08a2fbf8adb87bae77563cdd739bac694dc857a9/Set-Tactician-Benchmark-300.
08b6d48014a9db7444419a69c876c4e70056c2d2/Set-Tactician-Benchmark-120.		08b6d48014a9db7444419a69c876c4e70056c2d2/Set-Tactician-Benchmark-120.
08c18dd5394370ab4309649c1defa5f28b261a24/Set-Tactician-Benchmark-300.		08c18dd5394370ab4309649c1defa5f28b261a24/Set-Tactician-Benchmark-300.
08cfcae77353a0e83608cda411e6c945fb590c21/Set-Tactician-Benchmark-300.		08cfcae77353a0e83608cda411e6c945fb590c21/Set-Tactician-Benchmark-300.
08e4c387ac4bc3afdee73587c372a4f382603970/Set-Tactician-Benchmark-300.		08e4c387ac4bc3afdee73587c372a4f382603970/Set-Tactician-Benchmark-300.
08fda9ac9287b3cecf8aac5da1ab6e52eaa9c4f1/BENCHMARK-40		08fda9ac9287b3cecf8aac5da1ab6e52eaa9c4f1/BENCHMARK-40
0902cfec4207a9f08d92633e88772c3f9bed024e/Set-Tactician-Benchmark-40.		0902cfec4207a9f08d92633e88772c3f9bed024e/Set-Tactician-Benchmark-40.
09290f6419b57744434ccc7c787b20eb22558b16/Set-Tactician-Benchmark-300.		09290f6419b57744434ccc7c787b20eb22558b16/Set-Tactician-Benchmark-300.
0929f78cbc4659f501db9b52535797f8d5b7adbe/Set-Tactician-Benchmark-600.		0929f78cbc4659f501db9b52535797f8d5b7adbe/Set-Tactician-Benchmark-600.
092ad5b0923dd3bd6323fcb042ac91a09a0ac26b/Set-Tactician-Benchmark-40.		092ad5b0923dd3bd6323fcb042ac91a09a0ac26b/Set-Tactician-Benchmark-40.
09477d93ee3a3f94820d0ce1d331dd739fc8f37f/Set-Tactician-Benchmark-40.		09477d93ee3a3f94820d0ce1d331dd739fc8f37f/Set-Tactician-Benchmark-40.
095605495a52a7188aec4daf51ed074062025ea3/Set-Tactician-Benchmark-300.		095605495a52a7188aec4daf51ed074062025ea3/Set-Tactician-Benchmark-300.
09565a59df4eff1cc35000323715efe21f2f3403/Set-Tactician-Benchmark-40.		09565a59df4eff1cc35000323715efe21f2f3403/Set-Tactician-Benchmark-40.
09655c84877f9b81093d70d6c283e0ab050ed93f/Set-Tactician-Benchmark-300.		09655c84877f9b81093d70d6c283e0ab050ed93f/Set-Tactician-Benchmark-300.
096cc25910703ea98ca779eb7c89df6042dbf150/Set-Tactician-Benchmark-40.		096cc25910703ea98ca779eb7c89df6042dbf150/Set-Tactician-Benchmark-40.
099aa5d8ee5952a6495aa80a68893ef3c286348c/Set-Tactician-Benchmark-300.		099aa5d8ee5952a6495aa80a68893ef3c286348c/Set-Tactician-Benchmark-300.
099c0a522c4d65517201a09fa62b9b9127cc8678/Set-Tactician-Benchmark-40.		099c0a522c4d65517201a09fa62b9b9127cc8678/Set-Tactician-Benchmark-40.
09d709775aefa425923027050cd1b5eec4409c38/Set-Tactician-Benchmark-300.		09d709775aefa425923027050cd1b5eec4409c38/Set-Tactician-Benchmark-300.
09e6f90d234b76bdb8346666bbeb3e6bf2fad9fc/Set-Tactician-Benchmark-300.		09e6f90d234b76bdb8346666bbeb3e6bf2fad9fc/Set-Tactician-Benchmark-300.
09f6f7f8b2a58df58fef0be6aff707fa9cff4ecb/Set-Tactician-Benchmark-40.		09f6f7f8b2a58df58fef0be6aff707fa9cff4ecb/Set-Tactician-Benchmark-40.
0a1ca299314b005cd025f7e73001607e487c7e7b/Set-Tactician-Benchmark-40.		0a1ca299314b005cd025f7e73001607e487c7e7b/Set-Tactician-Benchmark-40.
0a223880e67d62f8dc56f15526d8b4d474b78211/Set-Tactician-Benchmark-40.		0a223880e67d62f8dc56f15526d8b4d474b78211/Set-Tactician-Benchmark-40.
0a30d4509c87ad63516b3d2a0c4761eddcf6f229/Set-Tactician-Benchmark-300.		0a30d4509c87ad63516b3d2a0c4761eddcf6f229/Set-Tactician-Benchmark-300.

coq-tactician/benchmark-data

Folders and files

Latest commit

History

About

Stars

Watchers

Forks

Releases

Packages 0

Contributors 5

Languages

Packages