Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/exchsort

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]exchsort__l84_exchsort2025-09-08 16:19 70K 
[ ]exchsort__l84_exchsort.vout2025-09-15 18:56 4.7K 
[ ]exchsort__t1_exchsort2025-09-08 13:50 36K 
[ ]exchsort__t1_exchsort.vout2025-09-15 17:24 7.3K 
[ ]exchsort__t2_exchsort2025-09-08 13:52 26K 
[ ]exchsort__t2_exchsort.depv12025-09-15 19:47 25  
[ ]exchsort__t2_exchsort.depvmin12025-09-15 19:51 25  
[ ]exchsort__t2_exchsort.vmin12025-09-15 19:47 702  
[ ]exchsort__t2_exchsort.vmin1out2025-09-15 19:50 14K 
[ ]exchsort__t2_exchsort.vout2025-09-15 14:25 14K 
[ ]exchsort__t3_exchsort2025-09-08 13:44 41K 
[ ]exchsort__t3_exchsort.depv12025-09-15 19:47 89  
[ ]exchsort__t3_exchsort.depvmin12025-09-15 19:51 89  
[ ]exchsort__t3_exchsort.vmin12025-09-15 19:47 544  
[ ]exchsort__t3_exchsort.vmin1out2025-09-15 19:50 4.3K 
[ ]exchsort__t3_exchsort.vout2025-09-15 18:46 4.2K 
[ ]exchsort__t4_exchsort2025-09-08 13:53 41K 
[ ]exchsort__t4_exchsort.vout2025-09-15 18:59 2.0K 
[ ]exchsort__t5_exchsort2025-09-08 13:54 31K 
[ ]exchsort__t5_exchsort.depv12025-09-15 19:47 68  
[ ]exchsort__t5_exchsort.depvmin12025-09-15 19:51 45  
[ ]exchsort__t5_exchsort.vmin12025-09-15 19:47 944  
[ ]exchsort__t5_exchsort.vmin1out2025-09-15 19:48 26K 
[ ]exchsort__t5_exchsort.vout2025-09-15 14:26 29K 
[ ]exchsort__t6_exchsort2025-09-08 13:56 37K 
[ ]exchsort__t6_exchsort.vout2025-09-15 15:48 7.3K 
[ ]exchsort__t7_exchsort2025-09-08 13:58 44K 
[ ]exchsort__t7_exchsort.vout2025-09-15 18:53 7.4K 
[ ]exchsort__t8_exchsort2025-09-08 13:44 363  
[ ]exchsort__t8_exchsort.vout2025-09-15 16:07 5.9K 
[ ]exchsort__t9_exchsort2025-09-08 13:59 37K 
[ ]exchsort__t9_exchsort.vout2025-09-15 13:33 7.3K 
[ ]exchsort__t10_exchsort2025-09-08 14:01 38K 
[ ]exchsort__t10_exchsort.vout2025-09-15 15:58 6.8K 
[ ]exchsort__t11_exchsort2025-09-08 14:02 39K 
[ ]exchsort__t11_exchsort.vout2025-09-15 17:42 7.4K 
[ ]exchsort__t12_exchsort2025-09-08 13:45 35K 
[ ]exchsort__t12_exchsort.vout2025-09-15 18:57 2.0K 
[ ]exchsort__t13_exchsort2025-09-08 13:46 805  
[ ]exchsort__t13_exchsort.vout2025-09-15 16:36 1.2K 
[ ]exchsort__t14_exchsort2025-09-08 13:47 28K 
[ ]exchsort__t14_exchsort.vout2025-09-15 14:55 2.0K 
[ ]exchsort__t15_exchsort2025-09-08 14:04 35K 
[ ]exchsort__t15_exchsort.depv12025-09-15 19:47 188  
[ ]exchsort__t15_exchsort.depvmin12025-09-15 19:51 188  
[ ]exchsort__t15_exchsort.vmin12025-09-15 19:47 1.8K 
[ ]exchsort__t15_exchsort.vmin1out2025-09-15 19:49 21K 
[ ]exchsort__t15_exchsort.vout2025-09-15 18:54 20K 
[ ]exchsort__t16_exchsort2025-09-08 14:05 35K 
[ ]exchsort__t16_exchsort.vout2025-09-15 15:22 7.3K 
[ ]exchsort__t17_exchsort2025-09-08 13:47 1.0K 
[ ]exchsort__t17_exchsort.vout2025-09-15 19:32 2.3K 
[ ]exchsort__t18_exchsort2025-09-08 13:49 26K 
[ ]exchsort__t18_exchsort.vout2025-09-15 17:14 3.1K 
[ ]exchsort__t19_exchsort2025-09-08 14:06 35K 
[ ]exchsort__t19_exchsort.depv12025-09-15 19:47 259  
[ ]exchsort__t19_exchsort.depvmin12025-09-15 19:51 259  
[ ]exchsort__t19_exchsort.vmin12025-09-15 19:47 1.8K 
[ ]exchsort__t19_exchsort.vmin1out2025-09-15 19:48 22K 
[ ]exchsort__t19_exchsort.vout2025-09-15 14:07 22K 
[ ]exchsort__t20_exchsort2025-09-08 14:08 30K 
[ ]exchsort__t20_exchsort.depv12025-09-15 19:47 212  
[ ]exchsort__t20_exchsort.depvmin12025-09-15 19:51 212  
[ ]exchsort__t20_exchsort.vmin12025-09-15 19:47 1.8K 
[ ]exchsort__t20_exchsort.vmin1out2025-09-15 19:48 28K 
[ ]exchsort__t20_exchsort.vout2025-09-15 19:31 28K 
[ ]exchsort__t21_exchsort2025-09-08 14:08 1.3K 
[ ]exchsort__t21_exchsort.depv12025-09-15 19:47 39  
[ ]exchsort__t21_exchsort.depvmin12025-09-15 19:51 39  
[ ]exchsort__t21_exchsort.vmin12025-09-15 19:47 363  
[ ]exchsort__t21_exchsort.vmin1out2025-09-15 19:49 3.7K 
[ ]exchsort__t21_exchsort.vout2025-09-15 16:46 3.7K 
[ ]exchsort__t22_exchsort2025-09-08 14:10 40K 
[ ]exchsort__t22_exchsort.depv12025-09-15 19:47 403  
[ ]exchsort__t22_exchsort.depvmin12025-09-15 19:51 289  
[ ]exchsort__t22_exchsort.vmin12025-09-15 19:47 3.3K 
[ ]exchsort__t22_exchsort.vmin1out2025-09-15 19:48 32K 
[ ]exchsort__t22_exchsort.vout2025-09-15 17:09 43K 
[ ]exchsort__t23_exchsort2025-09-08 14:11 40K 
[ ]exchsort__t23_exchsort.vout2025-09-15 16:53 6.8K 
[ ]exchsort__t24_exchsort2025-09-08 14:13 38K 
[ ]exchsort__t24_exchsort.vout2025-09-15 13:52 2.0K 
[ ]exchsort__t25_exchsort2025-09-08 14:15 53K 
[ ]exchsort__t25_exchsort.vout2025-09-15 14:47 6.8K 
[ ]exchsort__t26_exchsort2025-09-08 14:16 54K 
[ ]exchsort__t26_exchsort.vout2025-09-15 17:11 6.8K 
[ ]exchsort__t27_exchsort2025-09-08 14:18 47K 
[ ]exchsort__t27_exchsort.vout2025-09-15 18:57 7.3K 
[ ]exchsort__t28_exchsort2025-09-08 14:20 45K 
[ ]exchsort__t28_exchsort.vout2025-09-15 17:52 7.4K 
[ ]exchsort__t29_exchsort2025-09-08 14:21 34K 
[ ]exchsort__t29_exchsort.depv12025-09-15 19:47 98  
[ ]exchsort__t29_exchsort.depvmin12025-09-15 19:51 98  
[ ]exchsort__t29_exchsort.vmin12025-09-15 19:47 1.3K 
[ ]exchsort__t29_exchsort.vmin1out2025-09-15 19:50 15K 
[ ]exchsort__t29_exchsort.vout2025-09-15 13:59 16K 
[ ]exchsort__t30_exchsort2025-09-08 14:23 32K 
[ ]exchsort__t30_exchsort.depv12025-09-15 19:47 99  
[ ]exchsort__t30_exchsort.depvmin12025-09-15 19:51 99  
[ ]exchsort__t30_exchsort.vmin12025-09-15 19:47 1.2K 
[ ]exchsort__t30_exchsort.vmin1out2025-09-15 19:49 13K 
[ ]exchsort__t30_exchsort.vout2025-09-15 17:29 15K 
[ ]exchsort__t31_exchsort2025-09-08 14:24 34K 
[ ]exchsort__t31_exchsort.depv12025-09-15 19:47 86  
[ ]exchsort__t31_exchsort.depvmin12025-09-15 19:51 86  
[ ]exchsort__t31_exchsort.vmin12025-09-15 19:47 1.1K 
[ ]exchsort__t31_exchsort.vmin1out2025-09-15 19:47 11K 
[ ]exchsort__t31_exchsort.vout2025-09-15 15:40 11K 
[ ]exchsort__t32_exchsort2025-09-08 14:25 32K 
[ ]exchsort__t32_exchsort.depv12025-09-15 19:47 99  
[ ]exchsort__t32_exchsort.depvmin12025-09-15 19:51 99  
[ ]exchsort__t32_exchsort.vmin12025-09-15 19:47 1.2K 
[ ]exchsort__t32_exchsort.vmin1out2025-09-15 19:48 13K 
[ ]exchsort__t32_exchsort.vout2025-09-15 18:53 15K 
[ ]exchsort__t33_exchsort2025-09-08 14:27 33K 
[ ]exchsort__t33_exchsort.depv12025-09-15 19:47 51  
[ ]exchsort__t33_exchsort.depvmin12025-09-15 19:51 51  
[ ]exchsort__t33_exchsort.vmin12025-09-15 19:47 925  
[ ]exchsort__t33_exchsort.vmin1out2025-09-15 19:48 15K 
[ ]exchsort__t33_exchsort.vout2025-09-15 17:34 14K 
[ ]exchsort__t34_exchsort2025-09-08 14:29 32K 
[ ]exchsort__t34_exchsort.depv12025-09-15 19:47 99  
[ ]exchsort__t34_exchsort.depvmin12025-09-15 19:51 99  
[ ]exchsort__t34_exchsort.vmin12025-09-15 19:47 1.2K 
[ ]exchsort__t34_exchsort.vmin1out2025-09-15 19:48 17K 
[ ]exchsort__t34_exchsort.vout2025-09-15 15:30 17K 
[ ]exchsort__t35_exchsort2025-09-08 14:31 32K 
[ ]exchsort__t35_exchsort.vout2025-09-15 17:47 2.0K 
[ ]exchsort__t36_exchsort2025-09-08 14:32 32K 
[ ]exchsort__t36_exchsort.vout2025-09-15 19:10 2.0K 
[ ]exchsort__t37_exchsort2025-09-08 14:34 52K 
[ ]exchsort__t37_exchsort.vout2025-09-15 17:56 7.3K 
[ ]exchsort__t38_exchsort2025-09-08 14:36 52K 
[ ]exchsort__t38_exchsort.vout2025-09-15 19:22 7.3K 
[ ]exchsort__t39_exchsort2025-09-08 14:38 57K 
[ ]exchsort__t39_exchsort.vout2025-09-15 16:57 6.3K 
[ ]exchsort__t40_exchsort2025-09-08 14:40 52K 
[ ]exchsort__t40_exchsort.vout2025-09-15 18:49 7.3K 
[ ]exchsort__t41_exchsort2025-09-08 14:42 51K 
[ ]exchsort__t41_exchsort.vout2025-09-15 15:44 6.8K 
[ ]exchsort__t42_exchsort2025-09-08 14:44 59K 
[ ]exchsort__t42_exchsort.vout2025-09-15 15:03 7.3K 
[ ]exchsort__t43_exchsort2025-09-08 14:45 55K 
[ ]exchsort__t43_exchsort.vout2025-09-15 16:10 7.3K 
[ ]exchsort__t44_exchsort2025-09-08 14:47 34K 
[ ]exchsort__t44_exchsort.vout2025-09-15 14:39 2.0K 
[ ]exchsort__t45_exchsort2025-09-08 14:49 32K 
[ ]exchsort__t45_exchsort.depv12025-09-15 19:47 125  
[ ]exchsort__t45_exchsort.depvmin12025-09-15 19:51 125  
[ ]exchsort__t45_exchsort.vmin12025-09-15 19:47 1.7K 
[ ]exchsort__t45_exchsort.vmin1out2025-09-15 19:51 20K 
[ ]exchsort__t45_exchsort.vout2025-09-15 17:26 19K 
[ ]exchsort__t46_exchsort2025-09-08 14:51 36K 
[ ]exchsort__t46_exchsort.depv12025-09-15 19:47 249  
[ ]exchsort__t46_exchsort.depvmin12025-09-15 19:51 140  
[ ]exchsort__t46_exchsort.vmin12025-09-15 19:47 2.9K 
[ ]exchsort__t46_exchsort.vmin1out2025-09-15 19:48 41K 
[ ]exchsort__t46_exchsort.vout2025-09-15 13:27 66K 
[ ]exchsort__t47_exchsort2025-09-08 14:53 50K 
[ ]exchsort__t47_exchsort.vout2025-09-15 13:26 4.2K 
[ ]exchsort__t48_exchsort2025-09-08 14:55 37K 
[ ]exchsort__t48_exchsort.vout2025-09-15 14:09 7.4K 
[ ]exchsort__t49_exchsort2025-09-08 14:57 36K 
[ ]exchsort__t49_exchsort.depv12025-09-15 19:47 49  
[ ]exchsort__t49_exchsort.depvmin12025-09-15 19:51 49  
[ ]exchsort__t49_exchsort.vmin12025-09-15 19:47 1.0K 
[ ]exchsort__t49_exchsort.vmin1out2025-09-15 19:48 12K 
[ ]exchsort__t49_exchsort.vout2025-09-15 14:20 20K 
[ ]exchsort__t50_exchsort2025-09-08 14:59 36K 
[ ]exchsort__t50_exchsort.depv12025-09-15 19:47 138  
[ ]exchsort__t50_exchsort.depvmin12025-09-15 19:51 138  
[ ]exchsort__t50_exchsort.vmin12025-09-15 19:47 2.1K 
[ ]exchsort__t50_exchsort.vmin1out2025-09-15 19:48 39K 
[ ]exchsort__t50_exchsort.vout2025-09-15 19:23 43K 
[ ]exchsort__t51_exchsort2025-09-08 15:01 39K 
[ ]exchsort__t51_exchsort.depv12025-09-15 19:47 177  
[ ]exchsort__t51_exchsort.depvmin12025-09-15 19:51 177  
[ ]exchsort__t51_exchsort.vmin12025-09-15 19:47 2.8K 
[ ]exchsort__t51_exchsort.vmin1out2025-09-15 19:49 51K 
[ ]exchsort__t51_exchsort.vout2025-09-15 13:59 57K 
[ ]exchsort__t52_exchsort2025-09-08 15:03 38K 
[ ]exchsort__t52_exchsort.depv12025-09-15 19:47 114  
[ ]exchsort__t52_exchsort.depvmin12025-09-15 19:51 114  
[ ]exchsort__t52_exchsort.vmin12025-09-15 19:47 2.0K 
[ ]exchsort__t52_exchsort.vmin1out2025-09-15 19:47 29K 
[ ]exchsort__t52_exchsort.vout2025-09-15 16:37 86K 
[ ]exchsort__t53_exchsort2025-09-08 15:05 38K 
[ ]exchsort__t53_exchsort.depv12025-09-15 19:47 294  
[ ]exchsort__t53_exchsort.depvmin12025-09-15 19:51 231  
[ ]exchsort__t53_exchsort.vmin12025-09-15 19:47 4.3K 
[ ]exchsort__t53_exchsort.vmin1out2025-09-15 19:48 40K 
[ ]exchsort__t53_exchsort.vout2025-09-15 19:42 112K 
[ ]exchsort__t54_exchsort2025-09-08 15:07 38K 
[ ]exchsort__t54_exchsort.depv12025-09-15 19:47 246  
[ ]exchsort__t54_exchsort.depvmin12025-09-15 19:51 209  
[ ]exchsort__t54_exchsort.vmin12025-09-15 19:47 3.8K 
[ ]exchsort__t54_exchsort.vmin1out2025-09-15 19:48 39K 
[ ]exchsort__t54_exchsort.vout2025-09-15 14:35 101K 
[ ]exchsort__t55_exchsort2025-09-08 15:09 38K 
[ ]exchsort__t55_exchsort.depv12025-09-15 19:47 197  
[ ]exchsort__t55_exchsort.depvmin12025-09-15 19:51 177  
[ ]exchsort__t55_exchsort.vmin12025-09-15 19:47 2.9K 
[ ]exchsort__t55_exchsort.vmin1out2025-09-15 19:49 39K 
[ ]exchsort__t55_exchsort.vout2025-09-15 19:34 55K 
[ ]exchsort__t56_exchsort2025-09-08 15:11 38K 
[ ]exchsort__t56_exchsort.depv12025-09-15 19:47 197  
[ ]exchsort__t56_exchsort.depvmin12025-09-15 19:51 177  
[ ]exchsort__t56_exchsort.vmin12025-09-15 19:47 2.9K 
[ ]exchsort__t56_exchsort.vmin1out2025-09-15 19:50 40K 
[ ]exchsort__t56_exchsort.vout2025-09-15 17:45 55K 
[ ]exchsort__t57_exchsort2025-09-08 15:13 38K 
[ ]exchsort__t57_exchsort.depv12025-09-15 19:47 147  
[ ]exchsort__t57_exchsort.depvmin12025-09-15 19:51 147  
[ ]exchsort__t57_exchsort.vmin12025-09-15 19:47 2.4K 
[ ]exchsort__t57_exchsort.vmin1out2025-09-15 19:49 33K 
[ ]exchsort__t57_exchsort.vout2025-09-15 17:53 58K 
[ ]exchsort__t58_exchsort2025-09-08 15:15 39K 
[ ]exchsort__t58_exchsort.depv12025-09-15 19:47 232  
[ ]exchsort__t58_exchsort.depvmin12025-09-15 19:51 209  
[ ]exchsort__t58_exchsort.vmin12025-09-15 19:47 3.0K 
[ ]exchsort__t58_exchsort.vmin1out2025-09-15 19:50 54K 
[ ]exchsort__t58_exchsort.vout2025-09-15 13:37 95K 
[ ]exchsort__t59_exchsort2025-09-08 15:17 41K 
[ ]exchsort__t59_exchsort.depv12025-09-15 19:47 110  
[ ]exchsort__t59_exchsort.depvmin12025-09-15 19:51 110  
[ ]exchsort__t59_exchsort.vmin12025-09-15 19:47 955  
[ ]exchsort__t59_exchsort.vmin1out2025-09-15 19:48 20K 
[ ]exchsort__t59_exchsort.vout2025-09-15 17:42 20K 
[ ]exchsort__t60_exchsort2025-09-08 15:19 48K 
[ ]exchsort__t60_exchsort.vout2025-09-15 16:47 7.3K 
[ ]exchsort__t61_exchsort2025-09-08 15:21 71K 
[ ]exchsort__t61_exchsort.vout2025-09-15 19:44 7.3K 
[ ]exchsort__t62_exchsort2025-09-08 15:24 66K 
[ ]exchsort__t62_exchsort.vout2025-09-15 17:38 4.7K 
[ ]exchsort__t63_exchsort2025-09-08 15:26 67K 
[ ]exchsort__t63_exchsort.vout2025-09-15 18:22 4.7K 
[ ]exchsort__t64_exchsort2025-09-08 15:29 69K 
[ ]exchsort__t64_exchsort.vout2025-09-15 15:29 4.7K 
[ ]exchsort__t65_exchsort2025-09-08 15:31 69K 
[ ]exchsort__t65_exchsort.vout2025-09-15 17:18 4.7K 
[ ]exchsort__t66_exchsort2025-09-08 15:33 66K 
[ ]exchsort__t66_exchsort.depv12025-09-15 19:47 114  
[ ]exchsort__t66_exchsort.depvmin12025-09-15 19:51 114  
[ ]exchsort__t66_exchsort.vmin12025-09-15 19:47 1.9K 
[ ]exchsort__t66_exchsort.vmin1out2025-09-15 19:48 22K 
[ ]exchsort__t66_exchsort.vout2025-09-15 15:29 31K 
[ ]exchsort__t67_exchsort2025-09-08 15:36 67K 
[ ]exchsort__t67_exchsort.vout2025-09-15 13:49 4.7K 
[ ]exchsort__t68_exchsort2025-09-08 15:38 68K 
[ ]exchsort__t68_exchsort.vout2025-09-15 18:51 7.4K 
[ ]exchsort__t69_exchsort2025-09-08 15:40 66K 
[ ]exchsort__t69_exchsort.depv12025-09-15 19:47 102  
[ ]exchsort__t69_exchsort.depvmin12025-09-15 19:51 102  
[ ]exchsort__t69_exchsort.vmin12025-09-15 19:47 1.8K 
[ ]exchsort__t69_exchsort.vmin1out2025-09-15 19:49 33K 
[ ]exchsort__t69_exchsort.vout2025-09-15 18:06 42K 
[ ]exchsort__t70_exchsort2025-09-08 15:43 68K 
[ ]exchsort__t70_exchsort.vout2025-09-15 14:54 7.4K 
[ ]exchsort__t71_exchsort2025-09-08 15:45 76K 
[ ]exchsort__t71_exchsort.vout2025-09-15 19:45 7.3K 
[ ]exchsort__t72_exchsort2025-09-08 15:48 79K 
[ ]exchsort__t72_exchsort.vout2025-09-15 13:59 3.7K 
[ ]exchsort__t73_exchsort2025-09-08 15:51 83K 
[ ]exchsort__t73_exchsort.vout2025-09-15 14:40 4.2K 
[ ]exchsort__t74_exchsort2025-09-08 15:53 47K 
[ ]exchsort__t74_exchsort.depv12025-09-15 19:47 212  
[ ]exchsort__t74_exchsort.depvmin12025-09-15 19:51 212  
[ ]exchsort__t74_exchsort.vmin12025-09-15 19:47 2.5K 
[ ]exchsort__t74_exchsort.vmin1out2025-09-15 19:49 28K 
[ ]exchsort__t74_exchsort.vout2025-09-15 14:42 42K 
[ ]exchsort__t75_exchsort2025-09-08 15:55 49K 
[ ]exchsort__t75_exchsort.vout2025-09-15 15:46 7.4K 
[ ]exchsort__t76_exchsort2025-09-08 15:57 57K 
[ ]exchsort__t76_exchsort.vout2025-09-15 16:25 4.2K 
[ ]exchsort__t77_exchsort2025-09-08 16:00 56K 
[ ]exchsort__t77_exchsort.vout2025-09-15 17:35 7.3K 
[ ]exchsort__t78_exchsort2025-09-08 16:02 66K 
[ ]exchsort__t78_exchsort.vout2025-09-15 14:45 4.2K 
[ ]exchsort__t79_exchsort2025-09-08 16:04 44K 
[ ]exchsort__t79_exchsort.vout2025-09-15 17:08 7.3K 
[ ]exchsort__t80_exchsort2025-09-08 16:06 44K 
[ ]exchsort__t80_exchsort.depv12025-09-15 19:47 223  
[ ]exchsort__t80_exchsort.depvmin12025-09-15 19:51 223  
[ ]exchsort__t80_exchsort.vmin12025-09-15 19:47 1.3K 
[ ]exchsort__t80_exchsort.vmin1out2025-09-15 19:48 11K 
[ ]exchsort__t80_exchsort.vout2025-09-15 14:22 12K 
[ ]exchsort__t81_exchsort2025-09-08 16:07 48K 
[ ]exchsort__t81_exchsort.vout2025-09-15 18:55 7.3K 
[ ]exchsort__t82_exchsort2025-09-08 16:09 38K 
[ ]exchsort__t82_exchsort.depv12025-09-15 19:47 97  
[ ]exchsort__t82_exchsort.depvmin12025-09-15 19:51 97  
[ ]exchsort__t82_exchsort.vmin12025-09-15 19:47 1.0K 
[ ]exchsort__t82_exchsort.vmin1out2025-09-15 19:49 13K 
[ ]exchsort__t82_exchsort.vout2025-09-15 18:40 15K 
[ ]exchsort__t83_exchsort2025-09-08 16:11 44K 
[ ]exchsort__t83_exchsort.vout2025-09-15 16:51 7.4K 
[ ]exchsort__t84_exchsort2025-09-08 16:12 38K 
[ ]exchsort__t84_exchsort.depv12025-09-15 19:47 195  
[ ]exchsort__t84_exchsort.depvmin12025-09-15 19:51 195  
[ ]exchsort__t84_exchsort.vmin12025-09-15 19:47 1.7K 
[ ]exchsort__t84_exchsort.vmin1out2025-09-15 19:50 20K 
[ ]exchsort__t84_exchsort.vout2025-09-15 17:10 22K 
[ ]exchsort__t85_exchsort2025-09-08 16:15 74K 
[ ]exchsort__t85_exchsort.vout2025-09-15 14:43 4.2K 
[ ]exchsort__t86_exchsort2025-09-08 16:17 39K 
[ ]exchsort__t86_exchsort.vout2025-09-15 17:57 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80