Index of /~mptp/7.13.01_4.181.1147/mptp/problems_gdfthf/nagata_2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nagata_2__l8_nagata_22019-08-20 15:46 179K 
[ ]nagata_2__l23_nagata_22019-08-20 16:06 65K 
[ ]nagata_2__t1_nagata_22019-08-20 15:41 430K 
[ ]nagata_2__t2_nagata_22019-08-20 15:42 356K 
[ ]nagata_2__t3_nagata_22019-08-20 15:43 451K 
[ ]nagata_2__t4_nagata_22019-08-20 15:45 379K 
[ ]nagata_2__t5_nagata_22019-08-20 15:46 128K 
[ ]nagata_2__t6_nagata_22019-08-20 15:46 146K 
[ ]nagata_2__t7_nagata_22019-08-20 15:47 305K 
[ ]nagata_2__t8_nagata_22019-08-20 15:49 413K 
[ ]nagata_2__t9_nagata_22019-08-20 15:49 98K 
[ ]nagata_2__t10_nagata_22019-08-20 17:20 689K 
[ ]nagata_2__t11_nagata_22019-08-20 15:50 330K 
[ ]nagata_2__t12_nagata_22019-08-20 15:50 191K 
[ ]nagata_2__t13_nagata_22019-08-20 15:50 155K 
[ ]nagata_2__t14_nagata_22019-08-20 15:56 1.7M 
[ ]nagata_2__t15_nagata_22019-08-20 16:00 1.2M 
[ ]nagata_2__t16_nagata_22019-08-20 16:01 230K 
[ ]nagata_2__t17_nagata_22019-08-20 16:05 1.1M 
[ ]nagata_2__t18_nagata_22019-08-20 16:06 227K 
[ ]nagata_2__t19_nagata_22019-08-20 16:50 5.1M 
[ ]nagata_2__t20_nagata_22019-08-20 17:05 2.0M 
[ ]nagata_2__t21_nagata_22019-08-20 17:13 950K 
[ ]nagata_2__t22_nagata_22019-08-20 17:14 115K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80