Index of /~mptp/mml5.63.1382/MPTP2/problems/ckspace1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ckspace1__l18_ckspace12023-06-28 10:01 57K 
[ ]ckspace1__l19_ckspace12023-06-28 10:01 45K 
[ ]ckspace1__t1_ckspace12023-06-28 09:45 96K 
[ ]ckspace1__t2_ckspace12023-06-28 09:46 94K 
[ ]ckspace1__t3_ckspace12023-06-28 09:47 96K 
[ ]ckspace1__t4_ckspace12023-06-28 09:47 83K 
[ ]ckspace1__t5_ckspace12023-06-28 09:48 76K 
[ ]ckspace1__t6_ckspace12023-06-28 09:49 83K 
[ ]ckspace1__t7_ckspace12023-06-28 09:49 99K 
[ ]ckspace1__t8_ckspace12023-06-28 09:44 67K 
[ ]ckspace1__t9_ckspace12023-06-28 09:50 83K 
[ ]ckspace1__t10_ckspace12023-06-28 09:44 54K 
[ ]ckspace1__t11_ckspace12023-06-28 09:51 123K 
[ ]ckspace1__t12_ckspace12023-06-28 09:52 103K 
[ ]ckspace1__t13_ckspace12023-06-28 09:52 70K 
[ ]ckspace1__t14_ckspace12023-06-28 09:53 60K 
[ ]ckspace1__t15_ckspace12023-06-28 09:53 80K 
[ ]ckspace1__t16_ckspace12023-06-28 09:54 78K 
[ ]ckspace1__t17_ckspace12023-06-28 09:55 73K 
[ ]ckspace1__t18_ckspace12023-06-28 09:55 104K 
[ ]ckspace1__t19_ckspace12023-06-28 09:56 69K 
[ ]ckspace1__t20_ckspace12023-06-28 09:57 93K 
[ ]ckspace1__t21_ckspace12023-06-28 09:58 88K 
[ ]ckspace1__t22_ckspace12023-06-28 09:59 92K 
[ ]ckspace1__t23_ckspace12023-06-28 09:59 83K 
[ ]ckspace1__t24_ckspace12023-06-28 10:00 83K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80