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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]alg_1__t1_alg_12024-07-27 13:35 31K 
[ ]alg_1__t1_alg_1.depv12024-08-03 10:19 73  
[ ]alg_1__t1_alg_1.depvmin12024-08-03 10:24 73  
[ ]alg_1__t1_alg_1.vmin12024-08-03 10:20 1.5K 
[ ]alg_1__t1_alg_1.vmin1out2024-08-03 10:20 39K 
[ ]alg_1__t1_alg_1.vout2024-08-03 08:55 41K 
[ ]alg_1__t2_alg_12024-07-27 13:34 25K 
[ ]alg_1__t2_alg_1.depv12024-08-03 10:19 236  
[ ]alg_1__t2_alg_1.depvmin12024-08-03 10:24 196  
[ ]alg_1__t2_alg_1.vmin12024-08-03 10:20 2.7K 
[ ]alg_1__t2_alg_1.vmin1out2024-08-03 10:23 19K 
[ ]alg_1__t2_alg_1.vout2024-08-03 07:05 27K 
[ ]alg_1__t3_alg_12024-07-27 13:37 33K 
[ ]alg_1__t3_alg_1.vout2024-08-03 06:24 7.8K 
[ ]alg_1__t4_alg_12024-07-27 13:38 32K 
[ ]alg_1__t4_alg_1.vout2024-08-03 06:54 4.6K 
[ ]alg_1__t5_alg_12024-07-27 13:40 40K 
[ ]alg_1__t5_alg_1.vout2024-08-03 08:34 5.7K 
[ ]alg_1__t6_alg_12024-07-27 13:41 44K 
[ ]alg_1__t6_alg_1.vout2024-08-03 06:33 6.7K 
[ ]alg_1__t7_alg_12024-07-27 13:43 37K 
[ ]alg_1__t7_alg_1.depv12024-08-03 10:19 98  
[ ]alg_1__t7_alg_1.depvmin12024-08-03 10:24 36  
[ ]alg_1__t7_alg_1.vmin12024-08-03 10:20 2.5K 
[ ]alg_1__t7_alg_1.vmin1out2024-08-03 10:21 56K 
[ ]alg_1__t7_alg_1.vout2024-08-03 06:36 28K 
[ ]alg_1__t8_alg_12024-07-27 13:44 24K 
[ ]alg_1__t8_alg_1.depv12024-08-03 10:19 96  
[ ]alg_1__t8_alg_1.depvmin12024-08-03 10:24 96  
[ ]alg_1__t8_alg_1.vmin12024-08-03 10:20 2.1K 
[ ]alg_1__t8_alg_1.vmin1out2024-08-03 10:23 32K 
[ ]alg_1__t8_alg_1.vout2024-08-03 05:58 33K 
[ ]alg_1__t9_alg_12024-07-27 13:46 51K 
[ ]alg_1__t9_alg_1.vout2024-08-03 09:22 6.7K 
[ ]alg_1__t10_alg_12024-07-27 13:47 38K 
[ ]alg_1__t10_alg_1.depv12024-08-03 10:19 290  
[ ]alg_1__t10_alg_1.depvmin12024-08-03 10:24 197  
[ ]alg_1__t10_alg_1.vmin12024-08-03 10:20 4.2K 
[ ]alg_1__t10_alg_1.vmin1out2024-08-03 10:21 56K 
[ ]alg_1__t10_alg_1.vout2024-08-03 08:53 43K 
[ ]alg_1__t11_alg_12024-07-27 13:49 39K 
[ ]alg_1__t11_alg_1.vout2024-08-03 06:23 4.6K 
[ ]alg_1__t12_alg_12024-07-27 13:50 40K 
[ ]alg_1__t12_alg_1.vout2024-08-03 07:13 5.8K 
[ ]alg_1__t13_alg_12024-07-27 13:51 26K 
[ ]alg_1__t13_alg_1.depv12024-08-03 10:19 317  
[ ]alg_1__t13_alg_1.depvmin12024-08-03 10:24 261  
[ ]alg_1__t13_alg_1.vmin12024-08-03 10:20 5.0K 
[ ]alg_1__t13_alg_1.vmin1out2024-08-03 10:22 101K 
[ ]alg_1__t13_alg_1.vout2024-08-03 10:03 79K 
[ ]alg_1__t14_alg_12024-07-27 13:52 25K 
[ ]alg_1__t14_alg_1.vout2024-08-03 04:55 2.0K 
[ ]alg_1__t15_alg_12024-07-27 13:54 39K 
[ ]alg_1__t15_alg_1.vout2024-08-03 04:33 4.7K 
[ ]alg_1__t16_alg_12024-07-27 13:55 41K 
[ ]alg_1__t16_alg_1.vout2024-08-03 05:25 4.6K 
[ ]alg_1__t17_alg_12024-07-27 13:58 54K 
[ ]alg_1__t17_alg_1.vout2024-08-03 04:10 7.3K 
[ ]alg_1__t18_alg_12024-07-27 13:59 45K 
[ ]alg_1__t18_alg_1.vout2024-08-03 07:46 7.2K 
[ ]alg_1__t19_alg_12024-07-27 14:01 58K 
[ ]alg_1__t19_alg_1.vout2024-08-03 06:21 6.7K 
[ ]alg_1__t20_alg_12024-07-27 14:03 48K 
[ ]alg_1__t20_alg_1.vout2024-08-03 06:16 6.8K 
[ ]alg_1__t21_alg_12024-07-27 14:05 34K 
[ ]alg_1__t21_alg_1.depv12024-08-03 10:19 65  
[ ]alg_1__t21_alg_1.depvmin12024-08-03 10:24 65  
[ ]alg_1__t21_alg_1.vmin12024-08-03 10:20 2.9K 
[ ]alg_1__t21_alg_1.vmin1out2024-08-03 10:22 44K 
[ ]alg_1__t21_alg_1.vout2024-08-03 10:17 63K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80