Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/latsum_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]latsum_1__t1_latsum_12024-07-27 17:21 3.0K 
[ ]latsum_1__t1_latsum_1.depv12024-08-03 10:19 85  
[ ]latsum_1__t1_latsum_1.depvmin12024-08-03 10:24 85  
[ ]latsum_1__t1_latsum_1.vmin12024-08-03 10:20 868  
[ ]latsum_1__t1_latsum_1.vmin1out2024-08-03 10:22 16K 
[ ]latsum_1__t1_latsum_1.vout2024-08-03 06:25 16K 
[ ]latsum_1__t2_latsum_12024-07-27 17:21 3.9K 
[ ]latsum_1__t2_latsum_1.depv12024-08-03 10:19 161  
[ ]latsum_1__t2_latsum_1.depvmin12024-08-03 10:24 129  
[ ]latsum_1__t2_latsum_1.vmin12024-08-03 10:20 1.6K 
[ ]latsum_1__t2_latsum_1.vmin1out2024-08-03 10:22 16K 
[ ]latsum_1__t2_latsum_1.vout2024-08-03 04:41 19K 
[ ]latsum_1__t3_latsum_12024-07-27 17:22 6.6K 
[ ]latsum_1__t3_latsum_1.vout2024-08-03 05:33 9.1K 
[ ]latsum_1__t4_latsum_12024-07-27 17:23 7.8K 
[ ]latsum_1__t4_latsum_1.vout2024-08-03 09:22 7.1K 
[ ]latsum_1__t5_latsum_12024-07-27 17:23 7.8K 
[ ]latsum_1__t5_latsum_1.vout2024-08-03 09:45 7.2K 
[ ]latsum_1__t6_latsum_12024-07-27 17:24 5.9K 
[ ]latsum_1__t6_latsum_1.depv12024-08-03 10:19 91  
[ ]latsum_1__t6_latsum_1.depvmin12024-08-03 10:24 91  
[ ]latsum_1__t6_latsum_1.vmin12024-08-03 10:20 1.4K 
[ ]latsum_1__t6_latsum_1.vmin1out2024-08-03 10:21 22K 
[ ]latsum_1__t6_latsum_1.vout2024-08-03 06:55 18K 
[ ]latsum_1__t7_latsum_12024-07-27 17:25 9.5K 
[ ]latsum_1__t7_latsum_1.depv12024-08-03 10:19 229  
[ ]latsum_1__t7_latsum_1.depvmin12024-08-03 10:24 190  
[ ]latsum_1__t7_latsum_1.vmin12024-08-03 10:20 2.0K 
[ ]latsum_1__t7_latsum_1.vmin1out2024-08-03 10:22 26K 
[ ]latsum_1__t7_latsum_1.vout2024-08-03 10:10 22K 
[ ]latsum_1__t8_latsum_12024-07-27 17:25 8.9K 
[ ]latsum_1__t8_latsum_1.depv12024-08-03 10:19 143  
[ ]latsum_1__t8_latsum_1.depvmin12024-08-03 10:24 110  
[ ]latsum_1__t8_latsum_1.vmin12024-08-03 10:20 2.1K 
[ ]latsum_1__t8_latsum_1.vmin1out2024-08-03 10:21 29K 
[ ]latsum_1__t8_latsum_1.vout2024-08-03 10:09 34K 
[ ]latsum_1__t9_latsum_12024-07-27 17:26 8.9K 
[ ]latsum_1__t9_latsum_1.depv12024-08-03 10:19 143  
[ ]latsum_1__t9_latsum_1.depvmin12024-08-03 10:24 143  
[ ]latsum_1__t9_latsum_1.vmin12024-08-03 10:20 2.1K 
[ ]latsum_1__t9_latsum_1.vmin1out2024-08-03 10:23 35K 
[ ]latsum_1__t9_latsum_1.vout2024-08-03 09:30 35K 
[ ]latsum_1__t10_latsum_12024-07-27 17:27 9.3K 
[ ]latsum_1__t10_latsum_1.depv12024-08-03 10:19 111  
[ ]latsum_1__t10_latsum_1.depvmin12024-08-03 10:24 85  
[ ]latsum_1__t10_latsum_1.vmin12024-08-03 10:20 1.4K 
[ ]latsum_1__t10_latsum_1.vmin1out2024-08-03 10:23 17K 
[ ]latsum_1__t10_latsum_1.vout2024-08-03 06:14 16K 
[ ]latsum_1__t11_latsum_12024-07-27 17:28 9.3K 
[ ]latsum_1__t11_latsum_1.depv12024-08-03 10:19 85  
[ ]latsum_1__t11_latsum_1.depvmin12024-08-03 10:24 85  
[ ]latsum_1__t11_latsum_1.vmin12024-08-03 10:20 1.3K 
[ ]latsum_1__t11_latsum_1.vmin1out2024-08-03 10:21 17K 
[ ]latsum_1__t11_latsum_1.vout2024-08-03 09:22 16K 
[ ]latsum_1__t12_latsum_12024-07-27 17:28 5.3K 
[ ]latsum_1__t12_latsum_1.depv12024-08-03 10:19 46  
[ ]latsum_1__t12_latsum_1.depvmin12024-08-03 10:24 46  
[ ]latsum_1__t12_latsum_1.vmin12024-08-03 10:20 586  
[ ]latsum_1__t12_latsum_1.vmin1out2024-08-03 10:20 4.6K 
[ ]latsum_1__t12_latsum_1.vout2024-08-03 05:28 5.5K 
[ ]latsum_1__t13_latsum_12024-07-27 17:29 5.3K 
[ ]latsum_1__t13_latsum_1.depv12024-08-03 10:19 72  
[ ]latsum_1__t13_latsum_1.depvmin12024-08-03 10:24 72  
[ ]latsum_1__t13_latsum_1.vmin12024-08-03 10:20 677  
[ ]latsum_1__t13_latsum_1.vmin1out2024-08-03 10:23 5.0K 
[ ]latsum_1__t13_latsum_1.vout2024-08-03 09:10 5.9K 
[ ]latsum_1__t14_latsum_12024-07-27 17:30 14K 
[ ]latsum_1__t14_latsum_1.vout2024-08-03 06:43 4.1K 
[ ]latsum_1__t15_latsum_12024-07-27 17:30 11K 
[ ]latsum_1__t15_latsum_1.depv12024-08-03 10:19 184  
[ ]latsum_1__t15_latsum_1.depvmin12024-08-03 10:24 160  
[ ]latsum_1__t15_latsum_1.vmin12024-08-03 10:20 2.9K 
[ ]latsum_1__t15_latsum_1.vmin1out2024-08-03 10:23 59K 
[ ]latsum_1__t15_latsum_1.vout2024-08-03 06:22 53K 
[ ]latsum_1__t16_latsum_12024-07-27 17:31 8.4K 
[ ]latsum_1__t16_latsum_1.depv12024-08-03 10:19 77  
[ ]latsum_1__t16_latsum_1.depvmin12024-08-03 10:24 77  
[ ]latsum_1__t16_latsum_1.vmin12024-08-03 10:20 2.0K 
[ ]latsum_1__t16_latsum_1.vmin1out2024-08-03 10:20 43K 
[ ]latsum_1__t16_latsum_1.vout2024-08-03 04:57 42K 
[ ]latsum_1__t17_latsum_12024-07-27 17:32 7.5K 
[ ]latsum_1__t17_latsum_1.vout2024-08-03 06:05 7.2K 
[ ]latsum_1__t18_latsum_12024-07-27 17:32 5.4K 
[ ]latsum_1__t18_latsum_1.depv12024-08-03 10:19 53  
[ ]latsum_1__t18_latsum_1.depvmin12024-08-03 10:24 53  
[ ]latsum_1__t18_latsum_1.vmin12024-08-03 10:20 1.3K 
[ ]latsum_1__t18_latsum_1.vmin1out2024-08-03 10:23 15K 
[ ]latsum_1__t18_latsum_1.vout2024-08-03 05:42 12K 
[ ]latsum_1__t19_latsum_12024-07-27 17:33 15K 
[ ]latsum_1__t19_latsum_1.vout2024-08-03 04:35 4.1K 
[ ]latsum_1__t20_latsum_12024-07-27 17:34 7.9K 
[ ]latsum_1__t20_latsum_1.depv12024-08-03 10:19 131  
[ ]latsum_1__t20_latsum_1.depvmin12024-08-03 10:24 131  
[ ]latsum_1__t20_latsum_1.vmin12024-08-03 10:20 1.9K 
[ ]latsum_1__t20_latsum_1.vmin1out2024-08-03 10:21 27K 
[ ]latsum_1__t20_latsum_1.vout2024-08-03 08:43 27K 
[ ]latsum_1__t21_latsum_12024-07-27 17:35 7.5K 
[ ]latsum_1__t21_latsum_1.vout2024-08-03 06:35 7.2K 
[ ]latsum_1__t22_latsum_12024-07-27 17:35 8.1K 
[ ]latsum_1__t22_latsum_1.vout2024-08-03 04:07 6.3K 
[ ]latsum_1__t23_latsum_12024-07-27 17:36 5.4K 
[ ]latsum_1__t23_latsum_1.depv12024-08-03 10:19 53  
[ ]latsum_1__t23_latsum_1.depvmin12024-08-03 10:24 53  
[ ]latsum_1__t23_latsum_1.vmin12024-08-03 10:20 1.3K 
[ ]latsum_1__t23_latsum_1.vmin1out2024-08-03 10:22 15K 
[ ]latsum_1__t23_latsum_1.vout2024-08-03 04:13 12K 
[ ]latsum_1__t24_latsum_12024-07-27 17:36 9.0K 
[ ]latsum_1__t24_latsum_1.vout2024-08-03 07:23 7.1K 
[ ]latsum_1__t25_latsum_12024-07-27 17:37 9.8K 
[ ]latsum_1__t25_latsum_1.vout2024-08-03 06:33 7.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80