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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]cat_6__l36_cat_62025-09-08 09:20 21K 
[   ]cat_6__l36_cat_6.vout2025-09-15 14:32 5.3K 
[   ]cat_6__l44_cat_62025-09-08 09:13 16K 
[   ]cat_6__l44_cat_6.vout2025-09-15 14:36 2.0K 
[   ]cat_6__l45_cat_62025-09-08 09:14 16K 
[   ]cat_6__l45_cat_6.vout2025-09-15 13:46 2.0K 
[   ]cat_6__l67_cat_62025-09-08 09:14 17K 
[   ]cat_6__l67_cat_6.depv12025-09-15 19:47 64  
[   ]cat_6__l67_cat_6.depvmin12025-09-15 19:52 64  
[   ]cat_6__l67_cat_6.vmin12025-09-15 19:47 1.0K 
[   ]cat_6__l67_cat_6.vmin1out2025-09-15 19:50 9.0K 
[   ]cat_6__l67_cat_6.vout2025-09-15 17:44 9.0K 
[   ]cat_6__l68_cat_62025-09-08 09:15 16K 
[   ]cat_6__l68_cat_6.vout2025-09-15 19:36 2.0K 
[   ]cat_6__l77_cat_62025-09-08 09:17 34K 
[   ]cat_6__l77_cat_6.vout2025-09-15 17:47 7.3K 
[   ]cat_6__l79_cat_62025-09-08 09:19 32K 
[   ]cat_6__l79_cat_6.vout2025-09-15 19:39 4.1K 
[   ]cat_6__t1_cat_62025-09-08 08:11 18K 
[   ]cat_6__t1_cat_6.depv12025-09-15 19:47 195  
[   ]cat_6__t1_cat_6.depvmin12025-09-15 19:52 195  
[   ]cat_6__t1_cat_6.vmin12025-09-15 19:47 1.8K 
[   ]cat_6__t1_cat_6.vmin1out2025-09-15 19:50 16K 
[   ]cat_6__t1_cat_6.vout2025-09-15 18:23 16K 
[   ]cat_6__t2_cat_62025-09-08 08:12 17K 
[   ]cat_6__t2_cat_6.depv12025-09-15 19:47 212  
[   ]cat_6__t2_cat_6.depvmin12025-09-15 19:52 212  
[   ]cat_6__t2_cat_6.vmin12025-09-15 19:47 2.6K 
[   ]cat_6__t2_cat_6.vmin1out2025-09-15 19:48 45K 
[   ]cat_6__t2_cat_6.vout2025-09-15 14:05 52K 
[   ]cat_6__t3_cat_62025-09-08 08:17 18K 
[   ]cat_6__t3_cat_6.vout2025-09-15 17:21 4.1K 
[   ]cat_6__t4_cat_62025-09-08 08:18 18K 
[   ]cat_6__t4_cat_6.vout2025-09-15 15:05 4.1K 
[   ]cat_6__t5_cat_62025-09-08 08:19 18K 
[   ]cat_6__t5_cat_6.vout2025-09-15 14:35 4.1K 
[   ]cat_6__t6_cat_62025-09-08 08:20 18K 
[   ]cat_6__t6_cat_6.vout2025-09-15 13:27 4.1K 
[   ]cat_6__t7_cat_62025-09-08 08:22 18K 
[   ]cat_6__t7_cat_6.vout2025-09-15 19:27 4.1K 
[   ]cat_6__t8_cat_62025-09-08 08:23 18K 
[   ]cat_6__t8_cat_6.vout2025-09-15 18:24 4.1K 
[   ]cat_6__t9_cat_62025-09-08 08:24 20K 
[   ]cat_6__t9_cat_6.vout2025-09-15 17:11 3.7K 
[   ]cat_6__t10_cat_62025-09-08 08:25 19K 
[   ]cat_6__t10_cat_6.vout2025-09-15 15:38 2.0K 
[   ]cat_6__t11_cat_62025-09-08 08:26 17K 
[   ]cat_6__t11_cat_6.vout2025-09-15 16:34 3.2K 
[   ]cat_6__t12_cat_62025-09-08 08:27 17K 
[   ]cat_6__t12_cat_6.vout2025-09-15 15:26 4.1K 
[   ]cat_6__t13_cat_62025-09-08 08:28 17K 
[   ]cat_6__t13_cat_6.vout2025-09-15 16:16 4.1K 
[   ]cat_6__t14_cat_62025-09-08 08:13 15K 
[   ]cat_6__t14_cat_6.vout2025-09-15 19:16 5.2K 
[   ]cat_6__t15_cat_62025-09-08 08:29 17K 
[   ]cat_6__t15_cat_6.vout2025-09-15 16:55 4.1K 
[   ]cat_6__t16_cat_62025-09-08 08:30 17K 
[   ]cat_6__t16_cat_6.vout2025-09-15 15:58 4.1K 
[   ]cat_6__t17_cat_62025-09-08 08:31 16K 
[   ]cat_6__t17_cat_6.vout2025-09-15 16:29 4.1K 
[   ]cat_6__t18_cat_62025-09-08 08:31 17K 
[   ]cat_6__t18_cat_6.vout2025-09-15 17:24 4.1K 
[   ]cat_6__t19_cat_62025-09-08 08:32 16K 
[   ]cat_6__t19_cat_6.vout2025-09-15 18:56 4.1K 
[   ]cat_6__t20_cat_62025-09-08 08:13 15K 
[   ]cat_6__t20_cat_6.vout2025-09-15 18:14 5.2K 
[   ]cat_6__t21_cat_62025-09-08 08:33 16K 
[   ]cat_6__t21_cat_6.vout2025-09-15 15:49 7.3K 
[   ]cat_6__t22_cat_62025-09-08 08:34 14K 
[   ]cat_6__t22_cat_6.depv12025-09-15 19:47 128  
[   ]cat_6__t22_cat_6.depvmin12025-09-15 19:52 128  
[   ]cat_6__t22_cat_6.vmin12025-09-15 19:47 1.2K 
[   ]cat_6__t22_cat_6.vmin1out2025-09-15 19:49 15K 
[   ]cat_6__t22_cat_6.vout2025-09-15 18:43 19K 
[   ]cat_6__t23_cat_62025-09-08 08:35 21K 
[   ]cat_6__t23_cat_6.vout2025-09-15 15:42 7.3K 
[   ]cat_6__t24_cat_62025-09-08 08:36 20K 
[   ]cat_6__t24_cat_6.depv12025-09-15 19:47 30  
[   ]cat_6__t24_cat_6.depvmin12025-09-15 19:52 30  
[   ]cat_6__t24_cat_6.vmin12025-09-15 19:47 767  
[   ]cat_6__t24_cat_6.vmin1out2025-09-15 19:49 9.7K 
[   ]cat_6__t24_cat_6.vout2025-09-15 17:53 9.9K 
[   ]cat_6__t25_cat_62025-09-08 08:37 17K 
[   ]cat_6__t25_cat_6.vout2025-09-15 17:26 3.2K 
[   ]cat_6__t26_cat_62025-09-08 08:39 21K 
[   ]cat_6__t26_cat_6.depv12025-09-15 19:47 203  
[   ]cat_6__t26_cat_6.depvmin12025-09-15 19:52 203  
[   ]cat_6__t26_cat_6.vmin12025-09-15 19:47 2.4K 
[   ]cat_6__t26_cat_6.vmin1out2025-09-15 19:51 22K 
[   ]cat_6__t26_cat_6.vout2025-09-15 13:42 29K 
[   ]cat_6__t27_cat_62025-09-08 08:40 21K 
[   ]cat_6__t27_cat_6.depv12025-09-15 19:47 203  
[   ]cat_6__t27_cat_6.depvmin12025-09-15 19:52 203  
[   ]cat_6__t27_cat_6.vmin12025-09-15 19:47 2.4K 
[   ]cat_6__t27_cat_6.vmin1out2025-09-15 19:51 22K 
[   ]cat_6__t27_cat_6.vout2025-09-15 18:11 29K 
[   ]cat_6__t28_cat_62025-09-08 08:41 29K 
[   ]cat_6__t28_cat_6.vout2025-09-15 16:02 7.2K 
[   ]cat_6__t29_cat_62025-09-08 08:43 21K 
[   ]cat_6__t29_cat_6.vout2025-09-15 19:11 7.2K 
[   ]cat_6__t30_cat_62025-09-08 08:44 21K 
[   ]cat_6__t30_cat_6.depv12025-09-15 19:47 154  
[   ]cat_6__t30_cat_6.depvmin12025-09-15 19:52 141  
[   ]cat_6__t30_cat_6.vmin12025-09-15 19:47 2.0K 
[   ]cat_6__t30_cat_6.vmin1out2025-09-15 19:49 19K 
[   ]cat_6__t30_cat_6.vout2025-09-15 16:59 21K 
[   ]cat_6__t31_cat_62025-09-08 08:14 19K 
[   ]cat_6__t31_cat_6.vout2025-09-15 19:15 2.0K 
[   ]cat_6__t32_cat_62025-09-08 08:45 25K 
[   ]cat_6__t32_cat_6.vout2025-09-15 17:08 7.3K 
[   ]cat_6__t33_cat_62025-09-08 08:15 21K 
[   ]cat_6__t33_cat_6.depv12025-09-15 19:47 87  
[   ]cat_6__t33_cat_6.depvmin12025-09-15 19:52 87  
[   ]cat_6__t33_cat_6.vmin12025-09-15 19:47 2.2K 
[   ]cat_6__t33_cat_6.vmin1out2025-09-15 19:47 24K 
[   ]cat_6__t33_cat_6.vout2025-09-15 13:30 33K 
[   ]cat_6__t34_cat_62025-09-08 08:46 29K 
[   ]cat_6__t34_cat_6.vout2025-09-15 14:28 7.2K 
[   ]cat_6__t35_cat_62025-09-08 08:48 25K 
[   ]cat_6__t35_cat_6.vout2025-09-15 14:14 7.3K 
[   ]cat_6__t36_cat_62025-09-08 08:49 24K 
[   ]cat_6__t36_cat_6.vout2025-09-15 16:54 7.3K 
[   ]cat_6__t37_cat_62025-09-08 08:50 27K 
[   ]cat_6__t37_cat_6.vout2025-09-15 15:18 7.3K 
[   ]cat_6__t38_cat_62025-09-08 08:51 23K 
[   ]cat_6__t38_cat_6.vout2025-09-15 17:12 7.3K 
[   ]cat_6__t39_cat_62025-09-08 08:53 26K 
[   ]cat_6__t39_cat_6.vout2025-09-15 18:08 7.3K 
[   ]cat_6__t40_cat_62025-09-08 08:54 27K 
[   ]cat_6__t40_cat_6.depv12025-09-15 19:47 223  
[   ]cat_6__t40_cat_6.depvmin12025-09-15 19:52 223  
[   ]cat_6__t40_cat_6.vmin12025-09-15 19:47 3.8K 
[   ]cat_6__t40_cat_6.vmin1out2025-09-15 19:51 41K 
[   ]cat_6__t40_cat_6.vout2025-09-15 19:29 46K 
[   ]cat_6__t41_cat_62025-09-08 08:56 33K 
[   ]cat_6__t41_cat_6.vout2025-09-15 17:10 7.8K 
[   ]cat_6__t42_cat_62025-09-08 08:57 37K 
[   ]cat_6__t42_cat_6.vout2025-09-15 16:44 7.3K 
[   ]cat_6__t43_cat_62025-09-08 08:59 26K 
[   ]cat_6__t43_cat_6.depv12025-09-15 19:47 204  
[   ]cat_6__t43_cat_6.depvmin12025-09-15 19:52 204  
[   ]cat_6__t43_cat_6.vmin12025-09-15 19:47 3.7K 
[   ]cat_6__t43_cat_6.vmin1out2025-09-15 19:48 43K 
[   ]cat_6__t43_cat_6.vout2025-09-15 18:55 54K 
[   ]cat_6__t44_cat_62025-09-08 09:00 28K 
[   ]cat_6__t44_cat_6.depv12025-09-15 19:47 242  
[   ]cat_6__t44_cat_6.depvmin12025-09-15 19:52 214  
[   ]cat_6__t44_cat_6.vmin12025-09-15 19:47 4.6K 
[   ]cat_6__t44_cat_6.vmin1out2025-09-15 19:47 49K 
[   ]cat_6__t44_cat_6.vout2025-09-15 19:11 75K 
[   ]cat_6__t45_cat_62025-09-08 09:02 33K 
[   ]cat_6__t45_cat_6.vout2025-09-15 18:51 7.8K 
[   ]cat_6__t46_cat_62025-09-08 09:03 28K 
[   ]cat_6__t46_cat_6.vout2025-09-15 15:02 7.3K 
[   ]cat_6__t47_cat_62025-09-08 09:05 39K 
[   ]cat_6__t47_cat_6.vout2025-09-15 18:27 7.3K 
[   ]cat_6__t48_cat_62025-09-08 09:07 36K 
[   ]cat_6__t48_cat_6.vout2025-09-15 16:24 7.3K 
[   ]cat_6__t49_cat_62025-09-08 09:09 41K 
[   ]cat_6__t49_cat_6.vout2025-09-15 18:13 5.7K 
[   ]cat_6__t50_cat_62025-09-08 09:10 27K 
[   ]cat_6__t50_cat_6.depv12025-09-15 19:47 74  
[   ]cat_6__t50_cat_6.depvmin12025-09-15 19:52 74  
[   ]cat_6__t50_cat_6.vmin12025-09-15 19:47 1.9K 
[   ]cat_6__t50_cat_6.vmin1out2025-09-15 19:50 27K 
[   ]cat_6__t50_cat_6.vout2025-09-15 13:43 14K 
[   ]cat_6__t51_cat_62025-09-08 08:16 27K 
[   ]cat_6__t51_cat_6.vout2025-09-15 14:17 7.2K 
[   ]cat_6__t52_cat_62025-09-08 09:12 43K 
[   ]cat_6__t52_cat_6.vout2025-09-15 14:58 7.3K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80