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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]latsum_1__t1_latsum_12025-09-09 20:23 3.0K 
[ ]latsum_1__t1_latsum_1.depv12025-09-15 19:47 85  
[ ]latsum_1__t1_latsum_1.depvmin12025-09-15 19:52 85  
[ ]latsum_1__t1_latsum_1.vmin12025-09-15 19:47 868  
[ ]latsum_1__t1_latsum_1.vmin1out2025-09-15 19:49 16K 
[ ]latsum_1__t1_latsum_1.vout2025-09-15 18:32 16K 
[ ]latsum_1__t2_latsum_12025-09-09 20:23 3.9K 
[ ]latsum_1__t2_latsum_1.depv12025-09-15 19:47 161  
[ ]latsum_1__t2_latsum_1.depvmin12025-09-15 19:52 129  
[ ]latsum_1__t2_latsum_1.vmin12025-09-15 19:47 1.6K 
[ ]latsum_1__t2_latsum_1.vmin1out2025-09-15 19:49 16K 
[ ]latsum_1__t2_latsum_1.vout2025-09-15 16:51 19K 
[ ]latsum_1__t3_latsum_12025-09-09 20:24 6.6K 
[ ]latsum_1__t3_latsum_1.vout2025-09-15 17:34 9.1K 
[ ]latsum_1__t4_latsum_12025-09-09 20:25 7.8K 
[ ]latsum_1__t4_latsum_1.vout2025-09-15 16:35 7.2K 
[ ]latsum_1__t5_latsum_12025-09-09 20:25 7.8K 
[ ]latsum_1__t5_latsum_1.vout2025-09-15 18:27 7.2K 
[ ]latsum_1__t6_latsum_12025-09-09 20:26 5.9K 
[ ]latsum_1__t6_latsum_1.depv12025-09-15 19:47 91  
[ ]latsum_1__t6_latsum_1.depvmin12025-09-15 19:52 91  
[ ]latsum_1__t6_latsum_1.vmin12025-09-15 19:47 1.4K 
[ ]latsum_1__t6_latsum_1.vmin1out2025-09-15 19:48 22K 
[ ]latsum_1__t6_latsum_1.vout2025-09-15 17:08 18K 
[ ]latsum_1__t7_latsum_12025-09-09 20:26 9.5K 
[ ]latsum_1__t7_latsum_1.depv12025-09-15 19:47 229  
[ ]latsum_1__t7_latsum_1.depvmin12025-09-15 19:52 190  
[ ]latsum_1__t7_latsum_1.vmin12025-09-15 19:47 2.0K 
[ ]latsum_1__t7_latsum_1.vmin1out2025-09-15 19:48 26K 
[ ]latsum_1__t7_latsum_1.vout2025-09-15 17:52 22K 
[ ]latsum_1__t8_latsum_12025-09-09 20:27 8.9K 
[ ]latsum_1__t8_latsum_1.depv12025-09-15 19:47 143  
[ ]latsum_1__t8_latsum_1.depvmin12025-09-15 19:52 110  
[ ]latsum_1__t8_latsum_1.vmin12025-09-15 19:47 2.1K 
[ ]latsum_1__t8_latsum_1.vmin1out2025-09-15 19:49 29K 
[ ]latsum_1__t8_latsum_1.vout2025-09-15 15:06 34K 
[ ]latsum_1__t9_latsum_12025-09-09 20:28 8.9K 
[ ]latsum_1__t9_latsum_1.depv12025-09-15 19:47 143  
[ ]latsum_1__t9_latsum_1.depvmin12025-09-15 19:52 143  
[ ]latsum_1__t9_latsum_1.vmin12025-09-15 19:47 2.1K 
[ ]latsum_1__t9_latsum_1.vmin1out2025-09-15 19:50 35K 
[ ]latsum_1__t9_latsum_1.vout2025-09-15 16:05 35K 
[ ]latsum_1__t10_latsum_12025-09-09 20:29 9.3K 
[ ]latsum_1__t10_latsum_1.depv12025-09-15 19:47 111  
[ ]latsum_1__t10_latsum_1.depvmin12025-09-15 19:52 85  
[ ]latsum_1__t10_latsum_1.vmin12025-09-15 19:47 1.4K 
[ ]latsum_1__t10_latsum_1.vmin1out2025-09-15 19:51 17K 
[ ]latsum_1__t10_latsum_1.vout2025-09-15 15:42 16K 
[ ]latsum_1__t11_latsum_12025-09-09 20:29 9.3K 
[ ]latsum_1__t11_latsum_1.depv12025-09-15 19:47 85  
[ ]latsum_1__t11_latsum_1.depvmin12025-09-15 19:52 85  
[ ]latsum_1__t11_latsum_1.vmin12025-09-15 19:47 1.3K 
[ ]latsum_1__t11_latsum_1.vmin1out2025-09-15 19:47 17K 
[ ]latsum_1__t11_latsum_1.vout2025-09-15 14:19 16K 
[ ]latsum_1__t12_latsum_12025-09-09 20:30 5.3K 
[ ]latsum_1__t12_latsum_1.depv12025-09-15 19:47 46  
[ ]latsum_1__t12_latsum_1.depvmin12025-09-15 19:52 46  
[ ]latsum_1__t12_latsum_1.vmin12025-09-15 19:47 586  
[ ]latsum_1__t12_latsum_1.vmin1out2025-09-15 19:50 4.6K 
[ ]latsum_1__t12_latsum_1.vout2025-09-15 14:32 5.5K 
[ ]latsum_1__t13_latsum_12025-09-09 20:31 5.3K 
[ ]latsum_1__t13_latsum_1.depv12025-09-15 19:47 72  
[ ]latsum_1__t13_latsum_1.depvmin12025-09-15 19:52 72  
[ ]latsum_1__t13_latsum_1.vmin12025-09-15 19:47 677  
[ ]latsum_1__t13_latsum_1.vmin1out2025-09-15 19:49 5.0K 
[ ]latsum_1__t13_latsum_1.vout2025-09-15 14:13 5.9K 
[ ]latsum_1__t14_latsum_12025-09-09 20:31 14K 
[ ]latsum_1__t14_latsum_1.vout2025-09-15 14:42 4.1K 
[ ]latsum_1__t15_latsum_12025-09-09 20:32 11K 
[ ]latsum_1__t15_latsum_1.depv12025-09-15 19:47 184  
[ ]latsum_1__t15_latsum_1.depvmin12025-09-15 19:52 160  
[ ]latsum_1__t15_latsum_1.vmin12025-09-15 19:47 2.9K 
[ ]latsum_1__t15_latsum_1.vmin1out2025-09-15 19:48 59K 
[ ]latsum_1__t15_latsum_1.vout2025-09-15 18:06 53K 
[ ]latsum_1__t16_latsum_12025-09-09 20:33 8.4K 
[ ]latsum_1__t16_latsum_1.depv12025-09-15 19:47 77  
[ ]latsum_1__t16_latsum_1.depvmin12025-09-15 19:52 77  
[ ]latsum_1__t16_latsum_1.vmin12025-09-15 19:47 2.0K 
[ ]latsum_1__t16_latsum_1.vmin1out2025-09-15 19:49 43K 
[ ]latsum_1__t16_latsum_1.vout2025-09-15 14:45 42K 
[ ]latsum_1__t17_latsum_12025-09-09 20:34 7.5K 
[ ]latsum_1__t17_latsum_1.vout2025-09-15 15:16 7.2K 
[ ]latsum_1__t18_latsum_12025-09-09 20:34 5.4K 
[ ]latsum_1__t18_latsum_1.depv12025-09-15 19:47 53  
[ ]latsum_1__t18_latsum_1.depvmin12025-09-15 19:52 53  
[ ]latsum_1__t18_latsum_1.vmin12025-09-15 19:47 1.3K 
[ ]latsum_1__t18_latsum_1.vmin1out2025-09-15 19:47 15K 
[ ]latsum_1__t18_latsum_1.vout2025-09-15 13:34 12K 
[ ]latsum_1__t19_latsum_12025-09-09 20:35 15K 
[ ]latsum_1__t19_latsum_1.vout2025-09-15 18:47 4.1K 
[ ]latsum_1__t20_latsum_12025-09-09 20:36 7.9K 
[ ]latsum_1__t20_latsum_1.depv12025-09-15 19:47 131  
[ ]latsum_1__t20_latsum_1.depvmin12025-09-15 19:52 131  
[ ]latsum_1__t20_latsum_1.vmin12025-09-15 19:47 1.9K 
[ ]latsum_1__t20_latsum_1.vmin1out2025-09-15 19:49 27K 
[ ]latsum_1__t20_latsum_1.vout2025-09-15 16:09 27K 
[ ]latsum_1__t21_latsum_12025-09-09 20:37 7.5K 
[ ]latsum_1__t21_latsum_1.vout2025-09-15 15:36 7.2K 
[ ]latsum_1__t22_latsum_12025-09-09 20:37 8.1K 
[ ]latsum_1__t22_latsum_1.vout2025-09-15 14:49 6.2K 
[ ]latsum_1__t23_latsum_12025-09-09 20:38 5.4K 
[ ]latsum_1__t23_latsum_1.depv12025-09-15 19:47 53  
[ ]latsum_1__t23_latsum_1.depvmin12025-09-15 19:52 53  
[ ]latsum_1__t23_latsum_1.vmin12025-09-15 19:47 1.3K 
[ ]latsum_1__t23_latsum_1.vmin1out2025-09-15 19:48 15K 
[ ]latsum_1__t23_latsum_1.vout2025-09-15 19:17 12K 
[ ]latsum_1__t24_latsum_12025-09-09 20:38 9.0K 
[ ]latsum_1__t24_latsum_1.vout2025-09-15 16:24 7.2K 
[ ]latsum_1__t25_latsum_12025-09-09 20:39 9.8K 
[ ]latsum_1__t25_latsum_1.vout2025-09-15 17:46 7.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80