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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]latsubgr__t1_latsubgr2025-09-09 20:17 15K 
[ ]latsubgr__t1_latsubgr.vout2025-09-15 16:40 4.7K 
[ ]latsubgr__t2_latsubgr2025-09-09 20:18 12K 
[ ]latsubgr__t2_latsubgr.depv12025-09-15 19:46 46  
[ ]latsubgr__t2_latsubgr.depvmin12025-09-15 19:51 46  
[ ]latsubgr__t2_latsubgr.vmin12025-09-15 19:47 570  
[ ]latsubgr__t2_latsubgr.vmin1out2025-09-15 19:49 18K 
[ ]latsubgr__t2_latsubgr.vout2025-09-15 19:21 15K 
[ ]latsubgr__t3_latsubgr2025-09-09 20:19 13K 
[ ]latsubgr__t3_latsubgr.depv12025-09-15 19:46 35  
[ ]latsubgr__t3_latsubgr.depvmin12025-09-15 19:51 35  
[ ]latsubgr__t3_latsubgr.vmin12025-09-15 19:47 741  
[ ]latsubgr__t3_latsubgr.vmin1out2025-09-15 19:51 7.5K 
[ ]latsubgr__t3_latsubgr.vout2025-09-15 18:34 9.6K 
[ ]latsubgr__t4_latsubgr2025-09-09 20:19 14K 
[ ]latsubgr__t4_latsubgr.depv12025-09-15 19:46 111  
[ ]latsubgr__t4_latsubgr.depvmin12025-09-15 19:51 111  
[ ]latsubgr__t4_latsubgr.vmin12025-09-15 19:47 1.7K 
[ ]latsubgr__t4_latsubgr.vmin1out2025-09-15 19:48 15K 
[ ]latsubgr__t4_latsubgr.vout2025-09-15 15:54 17K 
[ ]latsubgr__t5_latsubgr2025-09-09 20:20 16K 
[ ]latsubgr__t5_latsubgr.vout2025-09-15 16:59 7.3K 
[ ]latsubgr__t6_latsubgr2025-09-09 20:21 18K 
[ ]latsubgr__t6_latsubgr.vout2025-09-15 18:48 4.7K 
[ ]latsubgr__t7_latsubgr2025-09-09 20:22 17K 
[ ]latsubgr__t7_latsubgr.vout2025-09-15 13:58 6.8K 
[ ]latsubgr__t8_latsubgr2025-09-09 20:23 13K 
[ ]latsubgr__t8_latsubgr.depv12025-09-15 19:46 124  
[ ]latsubgr__t8_latsubgr.depvmin12025-09-15 19:51 124  
[ ]latsubgr__t8_latsubgr.vmin12025-09-15 19:47 2.2K 
[ ]latsubgr__t8_latsubgr.vmin1out2025-09-15 19:49 29K 
[ ]latsubgr__t8_latsubgr.vout2025-09-15 17:08 42K 
[ ]latsubgr__t9_latsubgr2025-09-09 20:24 13K 
[ ]latsubgr__t9_latsubgr.depv12025-09-15 19:46 124  
[ ]latsubgr__t9_latsubgr.depvmin12025-09-15 19:51 124  
[ ]latsubgr__t9_latsubgr.vmin12025-09-15 19:47 2.2K 
[ ]latsubgr__t9_latsubgr.vmin1out2025-09-15 19:48 29K 
[ ]latsubgr__t9_latsubgr.vout2025-09-15 16:03 42K 
[ ]latsubgr__t10_latsubgr2025-09-09 20:25 13K 
[ ]latsubgr__t10_latsubgr.depv12025-09-15 19:46 89  
[ ]latsubgr__t10_latsubgr.depvmin12025-09-15 19:51 89  
[ ]latsubgr__t10_latsubgr.vmin12025-09-15 19:47 1.7K 
[ ]latsubgr__t10_latsubgr.vmin1out2025-09-15 19:49 23K 
[ ]latsubgr__t10_latsubgr.vout2025-09-15 19:44 23K 
[ ]latsubgr__t11_latsubgr2025-09-09 20:13 15K 
[ ]latsubgr__t11_latsubgr.depv12025-09-15 19:46 118  
[ ]latsubgr__t11_latsubgr.depvmin12025-09-15 19:51 77  
[ ]latsubgr__t11_latsubgr.vmin12025-09-15 19:47 2.1K 
[ ]latsubgr__t11_latsubgr.vmin1out2025-09-15 19:48 26K 
[ ]latsubgr__t11_latsubgr.vout2025-09-15 19:09 29K 
[ ]latsubgr__t12_latsubgr2025-09-09 20:26 13K 
[ ]latsubgr__t12_latsubgr.depv12025-09-15 19:46 117  
[ ]latsubgr__t12_latsubgr.depvmin12025-09-15 19:51 117  
[ ]latsubgr__t12_latsubgr.vmin12025-09-15 19:47 1.4K 
[ ]latsubgr__t12_latsubgr.vmin1out2025-09-15 19:47 20K 
[ ]latsubgr__t12_latsubgr.vout2025-09-15 17:31 12K 
[ ]latsubgr__t13_latsubgr2025-09-09 20:26 13K 
[ ]latsubgr__t13_latsubgr.depv12025-09-15 19:46 129  
[ ]latsubgr__t13_latsubgr.depvmin12025-09-15 19:51 129  
[ ]latsubgr__t13_latsubgr.vmin12025-09-15 19:47 1.6K 
[ ]latsubgr__t13_latsubgr.vmin1out2025-09-15 19:49 27K 
[ ]latsubgr__t13_latsubgr.vout2025-09-15 17:01 25K 
[ ]latsubgr__t14_latsubgr2025-09-09 20:27 13K 
[ ]latsubgr__t14_latsubgr.depv12025-09-15 19:46 118  
[ ]latsubgr__t14_latsubgr.depvmin12025-09-15 19:51 118  
[ ]latsubgr__t14_latsubgr.vmin12025-09-15 19:47 1.8K 
[ ]latsubgr__t14_latsubgr.vmin1out2025-09-15 19:49 26K 
[ ]latsubgr__t14_latsubgr.vout2025-09-15 15:09 15K 
[ ]latsubgr__t15_latsubgr2025-09-09 20:14 12K 
[ ]latsubgr__t15_latsubgr.depv12025-09-15 19:46 137  
[ ]latsubgr__t15_latsubgr.depvmin12025-09-15 19:51 137  
[ ]latsubgr__t15_latsubgr.vmin12025-09-15 19:47 1.6K 
[ ]latsubgr__t15_latsubgr.vmin1out2025-09-15 19:49 22K 
[ ]latsubgr__t15_latsubgr.vout2025-09-15 14:16 19K 
[ ]latsubgr__t16_latsubgr2025-09-09 20:28 13K 
[ ]latsubgr__t16_latsubgr.depv12025-09-15 19:46 53  
[ ]latsubgr__t16_latsubgr.depvmin12025-09-15 19:51 53  
[ ]latsubgr__t16_latsubgr.vmin12025-09-15 19:47 1.3K 
[ ]latsubgr__t16_latsubgr.vmin1out2025-09-15 19:50 17K 
[ ]latsubgr__t16_latsubgr.vout2025-09-15 18:30 25K 
[ ]latsubgr__t17_latsubgr2025-09-09 20:29 13K 
[ ]latsubgr__t17_latsubgr.depv12025-09-15 19:46 52  
[ ]latsubgr__t17_latsubgr.depvmin12025-09-15 19:51 52  
[ ]latsubgr__t17_latsubgr.vmin12025-09-15 19:47 1.1K 
[ ]latsubgr__t17_latsubgr.vmin1out2025-09-15 19:48 14K 
[ ]latsubgr__t17_latsubgr.vout2025-09-15 19:30 19K 
[ ]latsubgr__t18_latsubgr2025-09-09 20:30 14K 
[ ]latsubgr__t18_latsubgr.depv12025-09-15 19:46 52  
[ ]latsubgr__t18_latsubgr.depvmin12025-09-15 19:51 52  
[ ]latsubgr__t18_latsubgr.vmin12025-09-15 19:47 1.4K 
[ ]latsubgr__t18_latsubgr.vmin1out2025-09-15 19:48 25K 
[ ]latsubgr__t18_latsubgr.vout2025-09-15 18:07 13K 
[ ]latsubgr__t19_latsubgr2025-09-09 20:31 14K 
[ ]latsubgr__t19_latsubgr.depv12025-09-15 19:46 68  
[ ]latsubgr__t19_latsubgr.depvmin12025-09-15 19:51 68  
[ ]latsubgr__t19_latsubgr.vmin12025-09-15 19:47 1.7K 
[ ]latsubgr__t19_latsubgr.vmin1out2025-09-15 19:48 36K 
[ ]latsubgr__t19_latsubgr.vout2025-09-15 14:05 15K 
[ ]latsubgr__t20_latsubgr2025-09-09 20:32 18K 
[ ]latsubgr__t20_latsubgr.vout2025-09-15 17:43 6.8K 
[ ]latsubgr__t21_latsubgr2025-09-09 20:33 16K 
[ ]latsubgr__t21_latsubgr.depv12025-09-15 19:46 356  
[ ]latsubgr__t21_latsubgr.depvmin12025-09-15 19:51 356  
[ ]latsubgr__t21_latsubgr.vmin12025-09-15 19:47 4.0K 
[ ]latsubgr__t21_latsubgr.vmin1out2025-09-15 19:49 62K 
[ ]latsubgr__t21_latsubgr.vout2025-09-15 15:26 53K 
[ ]latsubgr__t22_latsubgr2025-09-09 20:34 23K 
[ ]latsubgr__t22_latsubgr.vout2025-09-15 13:28 4.7K 
[ ]latsubgr__t23_latsubgr2025-09-09 20:35 22K 
[ ]latsubgr__t23_latsubgr.vout2025-09-15 16:27 4.7K 
[ ]latsubgr__t24_latsubgr2025-09-09 20:15 18K 
[ ]latsubgr__t24_latsubgr.depv12025-09-15 19:46 179  
[ ]latsubgr__t24_latsubgr.depvmin12025-09-15 19:51 167  
[ ]latsubgr__t24_latsubgr.vmin12025-09-15 19:47 2.9K 
[ ]latsubgr__t24_latsubgr.vmin1out2025-09-15 19:48 24K 
[ ]latsubgr__t24_latsubgr.vout2025-09-15 16:09 30K 
[ ]latsubgr__t25_latsubgr2025-09-09 20:37 25K 
[ ]latsubgr__t25_latsubgr.vout2025-09-15 14:12 7.3K 
[ ]latsubgr__t26_latsubgr2025-09-09 20:38 24K 
[ ]latsubgr__t26_latsubgr.vout2025-09-15 15:51 7.3K 
[ ]latsubgr__t27_latsubgr2025-09-09 20:40 25K 
[ ]latsubgr__t27_latsubgr.vout2025-09-15 13:56 7.9K 
[ ]latsubgr__t28_latsubgr2025-09-09 20:41 26K 
[ ]latsubgr__t28_latsubgr.vout2025-09-15 16:47 7.3K 
[ ]latsubgr__t29_latsubgr2025-09-09 20:43 29K 
[ ]latsubgr__t29_latsubgr.vout2025-09-15 19:38 6.8K 
[ ]latsubgr__t30_latsubgr2025-09-09 20:44 24K 
[ ]latsubgr__t30_latsubgr.vout2025-09-15 17:24 4.7K 
[ ]latsubgr__t31_latsubgr2025-09-09 20:46 33K 
[ ]latsubgr__t31_latsubgr.vout2025-09-15 18:11 6.8K 
[ ]latsubgr__t32_latsubgr2025-09-09 20:48 37K 
[ ]latsubgr__t32_latsubgr.vout2025-09-15 18:08 6.8K 
[ ]latsubgr__t33_latsubgr2025-09-09 20:16 19K 
[ ]latsubgr__t33_latsubgr.depv12025-09-15 19:46 39  
[ ]latsubgr__t33_latsubgr.depvmin12025-09-15 19:51 39  
[ ]latsubgr__t33_latsubgr.vmin12025-09-15 19:47 2.3K 
[ ]latsubgr__t33_latsubgr.vmin1out2025-09-15 19:48 33K 
[ ]latsubgr__t33_latsubgr.vout2025-09-15 16:33 45K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80