Index of /~mptp/mml5.63.1382/MPTP2/problems_small/number01

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]number01__t1_number012021-07-17 18:57 54K 
[ ]number01__t1_number01.vout2021-07-25 19:06 4.7K 
[ ]number01__t2_number012021-07-17 18:57 38K 
[ ]number01__t2_number01.depv12021-07-25 20:57 132  
[ ]number01__t2_number01.depvmin12021-07-25 21:03 132  
[ ]number01__t2_number01.vmin12021-07-25 20:57 798  
[ ]number01__t2_number01.vmin1out2021-07-25 21:01 8.5K 
[ ]number01__t2_number01.vout2021-07-25 16:24 8.7K 
[ ]number01__t3_number012021-07-17 18:58 143K 
[ ]number01__t3_number01.vout2021-07-25 19:40 7.3K 
[ ]number01__t4_number012021-07-17 18:58 28K 
[ ]number01__t4_number01.depv12021-07-25 20:57 265  
[ ]number01__t4_number01.depvmin12021-07-25 21:03 265  
[ ]number01__t4_number01.vmin12021-07-25 20:57 2.4K 
[ ]number01__t4_number01.vmin1out2021-07-25 21:01 35K 
[ ]number01__t4_number01.vout2021-07-25 15:50 36K 
[ ]number01__t5_number012021-07-17 18:59 1.3M 
[ ]number01__t5_number01.vout2021-07-25 18:37 6.8K 
[ ]number01__t6_number012021-07-17 19:08 478K 
[ ]number01__t6_number01.vout2021-07-25 18:41 5.9K 
[ ]number01__t7_number012021-07-17 19:00 1.1M 
[ ]number01__t7_number01.vout2021-07-25 15:30 7.3K 
[ ]number01__t8_number012021-07-17 19:01 756K 
[ ]number01__t8_number01.vout2021-07-25 19:41 7.3K 
[ ]number01__t9_number012021-07-17 19:01 344K 
[ ]number01__t9_number01.vout2021-07-25 19:57 2.0K 
[ ]number01__t10_number012021-07-17 19:02 1.0M 
[ ]number01__t10_number01.vout2021-07-25 15:26 2.0K 
[ ]number01__t11_number012021-07-17 19:03 41K 
[ ]number01__t11_number01.vout2021-07-25 19:52 7.4K 
[ ]number01__t12_number012021-07-17 19:03 126K 
[ ]number01__t12_number01.vout2021-07-25 15:09 6.8K 
[ ]number01__t13_number012021-07-17 19:04 57K 
[ ]number01__t13_number01.vout2021-07-25 20:06 6.8K 
[ ]number01__t14_number012021-07-17 19:05 481K 
[ ]number01__t14_number01.vout2021-07-25 20:43 4.7K 
[ ]number01__t15_number012021-07-17 19:06 79K 
[ ]number01__t15_number01.vout2021-07-25 14:56 7.3K 
[ ]number01__t16_number012021-07-17 19:06 101K 
[ ]number01__t16_number01.vout2021-07-25 16:32 7.3K 
[ ]number01__t17_number012021-07-17 19:07 84K 
[ ]number01__t17_number01.vout2021-07-25 18:57 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80