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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]alg_1__t1_alg_12025-09-08 16:09 31K 
[ ]alg_1__t1_alg_1.depv12025-09-15 19:47 73  
[ ]alg_1__t1_alg_1.depvmin12025-09-15 19:52 73  
[ ]alg_1__t1_alg_1.vmin12025-09-15 19:47 1.5K 
[ ]alg_1__t1_alg_1.vmin1out2025-09-15 19:48 39K 
[ ]alg_1__t1_alg_1.vout2025-09-15 18:31 41K 
[ ]alg_1__t2_alg_12025-09-08 16:07 25K 
[ ]alg_1__t2_alg_1.depv12025-09-15 19:47 236  
[ ]alg_1__t2_alg_1.depvmin12025-09-15 19:52 196  
[ ]alg_1__t2_alg_1.vmin12025-09-15 19:47 2.7K 
[ ]alg_1__t2_alg_1.vmin1out2025-09-15 19:48 19K 
[ ]alg_1__t2_alg_1.vout2025-09-15 16:18 27K 
[ ]alg_1__t3_alg_12025-09-08 16:10 33K 
[ ]alg_1__t3_alg_1.vout2025-09-15 15:20 7.8K 
[ ]alg_1__t4_alg_12025-09-08 16:11 32K 
[ ]alg_1__t4_alg_1.vout2025-09-15 14:51 4.6K 
[ ]alg_1__t5_alg_12025-09-08 16:13 40K 
[ ]alg_1__t5_alg_1.vout2025-09-15 17:39 5.7K 
[ ]alg_1__t6_alg_12025-09-08 16:15 44K 
[ ]alg_1__t6_alg_1.vout2025-09-15 15:01 6.7K 
[ ]alg_1__t7_alg_12025-09-08 16:16 37K 
[ ]alg_1__t7_alg_1.depv12025-09-15 19:47 98  
[ ]alg_1__t7_alg_1.depvmin12025-09-15 19:52 36  
[ ]alg_1__t7_alg_1.vmin12025-09-15 19:47 2.5K 
[ ]alg_1__t7_alg_1.vmin1out2025-09-15 19:50 56K 
[ ]alg_1__t7_alg_1.vout2025-09-15 19:03 28K 
[ ]alg_1__t8_alg_12025-09-08 16:17 24K 
[ ]alg_1__t8_alg_1.depv12025-09-15 19:47 96  
[ ]alg_1__t8_alg_1.depvmin12025-09-15 19:52 96  
[ ]alg_1__t8_alg_1.vmin12025-09-15 19:47 2.1K 
[ ]alg_1__t8_alg_1.vmin1out2025-09-15 19:48 32K 
[ ]alg_1__t8_alg_1.vout2025-09-15 18:57 33K 
[ ]alg_1__t9_alg_12025-09-08 16:19 51K 
[ ]alg_1__t9_alg_1.vout2025-09-15 18:33 7.2K 
[ ]alg_1__t10_alg_12025-09-08 16:21 38K 
[ ]alg_1__t10_alg_1.depv12025-09-15 19:47 290  
[ ]alg_1__t10_alg_1.depvmin12025-09-15 19:52 197  
[ ]alg_1__t10_alg_1.vmin12025-09-15 19:47 4.2K 
[ ]alg_1__t10_alg_1.vmin1out2025-09-15 19:49 56K 
[ ]alg_1__t10_alg_1.vout2025-09-15 13:36 43K 
[ ]alg_1__t11_alg_12025-09-08 16:22 39K 
[ ]alg_1__t11_alg_1.vout2025-09-15 15:08 4.7K 
[ ]alg_1__t12_alg_12025-09-08 16:24 40K 
[ ]alg_1__t12_alg_1.vout2025-09-15 13:59 5.8K 
[ ]alg_1__t13_alg_12025-09-08 16:25 26K 
[ ]alg_1__t13_alg_1.depv12025-09-15 19:47 317  
[ ]alg_1__t13_alg_1.depvmin12025-09-15 19:52 261  
[ ]alg_1__t13_alg_1.vmin12025-09-15 19:47 5.0K 
[ ]alg_1__t13_alg_1.vmin1out2025-09-15 19:49 101K 
[ ]alg_1__t13_alg_1.vout2025-09-15 15:45 79K 
[ ]alg_1__t14_alg_12025-09-08 16:27 25K 
[ ]alg_1__t14_alg_1.vout2025-09-15 14:25 2.0K 
[ ]alg_1__t15_alg_12025-09-08 16:28 39K 
[ ]alg_1__t15_alg_1.vout2025-09-15 15:06 4.7K 
[ ]alg_1__t16_alg_12025-09-08 16:30 41K 
[ ]alg_1__t16_alg_1.vout2025-09-15 16:58 4.7K 
[ ]alg_1__t17_alg_12025-09-08 16:32 54K 
[ ]alg_1__t17_alg_1.vout2025-09-15 13:41 7.2K 
[ ]alg_1__t18_alg_12025-09-08 16:34 45K 
[ ]alg_1__t18_alg_1.vout2025-09-15 13:26 7.2K 
[ ]alg_1__t19_alg_12025-09-08 16:36 58K 
[ ]alg_1__t19_alg_1.vout2025-09-15 15:36 6.7K 
[ ]alg_1__t20_alg_12025-09-08 16:38 48K 
[ ]alg_1__t20_alg_1.vout2025-09-15 16:53 6.8K 
[ ]alg_1__t21_alg_12025-09-08 16:40 34K 
[ ]alg_1__t21_alg_1.depv12025-09-15 19:47 65  
[ ]alg_1__t21_alg_1.depvmin12025-09-15 19:52 65  
[ ]alg_1__t21_alg_1.vmin12025-09-15 19:47 2.9K 
[ ]alg_1__t21_alg_1.vmin1out2025-09-15 19:49 44K 
[ ]alg_1__t21_alg_1.vout2025-09-15 19:45 63K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80