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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ascoli__t1_ascoli2025-09-09 10:58 64K 
[ ]ascoli__t1_ascoli.vout2025-09-15 14:00 4.1K 
[ ]ascoli__t2_ascoli2025-09-09 11:00 78K 
[ ]ascoli__t2_ascoli.vout2025-09-15 15:11 3.6K 
[ ]ascoli__t3_ascoli2025-09-09 11:03 63K 
[ ]ascoli__t3_ascoli.vout2025-09-15 14:22 3.6K 
[ ]ascoli__t4_ascoli2025-09-09 11:08 108K 
[ ]ascoli__t4_ascoli.vout2025-09-15 16:04 3.6K 
[ ]ascoli__t5_ascoli2025-09-09 11:12 103K 
[ ]ascoli__t5_ascoli.vout2025-09-15 17:18 3.6K 
[ ]ascoli__t6_ascoli2025-09-09 11:15 58K 
[ ]ascoli__t6_ascoli.vout2025-09-15 17:40 5.8K 
[ ]ascoli__t7_ascoli2025-09-09 11:18 65K 
[ ]ascoli__t7_ascoli.vout2025-09-15 14:36 6.8K 
[ ]ascoli__t8_ascoli2025-09-09 11:22 102K 
[ ]ascoli__t8_ascoli.vout2025-09-15 17:37 4.2K 
[ ]ascoli__t9_ascoli2025-09-09 11:25 50K 
[ ]ascoli__t9_ascoli.depv12025-09-15 19:47 217  
[ ]ascoli__t9_ascoli.depvmin12025-09-15 19:52 133  
[ ]ascoli__t9_ascoli.vmin12025-09-15 19:47 6.5K 
[ ]ascoli__t9_ascoli.vmin1out2025-09-15 19:48 37K 
[ ]ascoli__t9_ascoli.vout2025-09-15 15:55 135K 
[ ]ascoli__t10_ascoli2025-09-09 11:27 60K 
[ ]ascoli__t10_ascoli.depv12025-09-15 19:47 199  
[ ]ascoli__t10_ascoli.depvmin12025-09-15 19:52 199  
[ ]ascoli__t10_ascoli.vmin12025-09-15 19:47 7.5K 
[ ]ascoli__t10_ascoli.vmin1out2025-09-15 19:48 85K 
[ ]ascoli__t10_ascoli.vout2025-09-15 14:30 112K 
[ ]ascoli__t11_ascoli2025-09-09 11:30 73K 
[ ]ascoli__t11_ascoli.depv12025-09-15 19:47 137  
[ ]ascoli__t11_ascoli.depvmin12025-09-15 19:52 137  
[ ]ascoli__t11_ascoli.vmin12025-09-15 19:47 6.5K 
[ ]ascoli__t11_ascoli.vmin1out2025-09-15 19:48 225K 
[ ]ascoli__t11_ascoli.vout2025-09-15 16:25 248K 
[ ]ascoli__t12_ascoli2025-09-09 11:33 74K 
[ ]ascoli__t12_ascoli.depv12025-09-15 19:47 132  
[ ]ascoli__t12_ascoli.depvmin12025-09-15 19:52 132  
[ ]ascoli__t12_ascoli.vmin12025-09-15 19:47 6.6K 
[ ]ascoli__t12_ascoli.vmin1out2025-09-15 19:49 245K 
[ ]ascoli__t12_ascoli.vout2025-09-15 13:32 242K 
[ ]ascoli__t13_ascoli2025-09-09 11:38 128K 
[ ]ascoli__t13_ascoli.vout2025-09-15 19:37 3.6K 
[ ]ascoli__t14_ascoli2025-09-09 11:57 100K 
[ ]ascoli__t14_ascoli.vout2025-09-15 18:16 3.6K 
[ ]ascoli__t15_ascoli2025-09-09 11:41 66K 
[ ]ascoli__t15_ascoli.vout2025-09-15 14:14 4.1K 
[ ]ascoli__t16_ascoli2025-09-09 12:04 200K 
[ ]ascoli__t16_ascoli.vout2025-09-15 18:13 3.6K 
[ ]ascoli__t17_ascoli2025-09-09 12:07 79K 
[ ]ascoli__t17_ascoli.depv12025-09-15 19:47 115  
[ ]ascoli__t17_ascoli.depvmin12025-09-15 19:52 33  
[ ]ascoli__t17_ascoli.vmin12025-09-15 19:47 4.0K 
[ ]ascoli__t17_ascoli.vmin1out2025-09-15 19:50 398K 
[ ]ascoli__t17_ascoli.vout2025-09-15 13:37 299K 
[ ]ascoli__t18_ascoli2025-09-09 12:10 81K 
[ ]ascoli__t18_ascoli.vout2025-09-15 19:15 6.8K 
[ ]ascoli__t19_ascoli2025-09-09 12:14 86K 
[ ]ascoli__t19_ascoli.depv12025-09-15 19:47 148  
[ ]ascoli__t19_ascoli.depvmin12025-09-15 19:52 44  
[ ]ascoli__t19_ascoli.vmin12025-09-15 19:47 4.1K 
[ ]ascoli__t19_ascoli.vmin1out2025-09-15 19:49 413K 
[ ]ascoli__t19_ascoli.vout2025-09-15 16:07 311K 
[ ]ascoli__t20_ascoli2025-09-09 11:44 63K 
[ ]ascoli__t20_ascoli.vout2025-09-15 16:31 4.1K 
[ ]ascoli__t21_ascoli2025-09-09 11:47 60K 
[ ]ascoli__t21_ascoli.vout2025-09-15 14:02 4.1K 
[ ]ascoli__t22_ascoli2025-09-09 11:49 57K 
[ ]ascoli__t22_ascoli.depv12025-09-15 19:47 97  
[ ]ascoli__t22_ascoli.depvmin12025-09-15 19:52 97  
[ ]ascoli__t22_ascoli.vmin12025-09-15 19:47 2.7K 
[ ]ascoli__t22_ascoli.vmin1out2025-09-15 19:47 54K 
[ ]ascoli__t22_ascoli.vout2025-09-15 15:59 29K 
[ ]ascoli__t23_ascoli2025-09-09 11:53 87K 
[ ]ascoli__t23_ascoli.vout2025-09-15 16:27 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80