Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/rlaffin2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rlaffin2__l1_rlaffin22021-07-19 00:00 80K 
[ ]rlaffin2__l7_rlaffin22021-07-18 23:41 46K 
[ ]rlaffin2__l19_rlaffin22021-07-18 23:41 29K 
[ ]rlaffin2__l30_rlaffin22021-07-19 00:00 111K 
[ ]rlaffin2__t1_rlaffin22021-07-18 23:42 152K 
[ ]rlaffin2__t2_rlaffin22021-07-18 23:42 145K 
[ ]rlaffin2__t3_rlaffin22021-07-18 23:43 209K 
[ ]rlaffin2__t4_rlaffin22021-07-18 23:44 100K 
[ ]rlaffin2__t5_rlaffin22021-07-18 23:40 46K 
[ ]rlaffin2__t6_rlaffin22021-07-18 23:44 55K 
[ ]rlaffin2__t7_rlaffin22021-07-18 23:45 56K 
[ ]rlaffin2__t8_rlaffin22021-07-18 23:45 98K 
[ ]rlaffin2__t9_rlaffin22021-07-18 23:46 65K 
[ ]rlaffin2__t10_rlaffin22021-07-18 23:47 70K 
[ ]rlaffin2__t11_rlaffin22021-07-18 23:47 77K 
[ ]rlaffin2__t12_rlaffin22021-07-18 23:48 85K 
[ ]rlaffin2__t13_rlaffin22021-07-18 23:48 73K 
[ ]rlaffin2__t14_rlaffin22021-07-18 23:49 113K 
[ ]rlaffin2__t15_rlaffin22021-07-18 23:50 147K 
[ ]rlaffin2__t16_rlaffin22021-07-18 23:50 113K 
[ ]rlaffin2__t17_rlaffin22021-07-18 23:51 79K 
[ ]rlaffin2__t18_rlaffin22021-07-18 23:52 112K 
[ ]rlaffin2__t19_rlaffin22021-07-18 23:52 92K 
[ ]rlaffin2__t20_rlaffin22021-07-18 23:53 94K 
[ ]rlaffin2__t21_rlaffin22021-07-18 23:53 88K 
[ ]rlaffin2__t22_rlaffin22021-07-18 23:54 153K 
[ ]rlaffin2__t23_rlaffin22021-07-18 23:55 142K 
[ ]rlaffin2__t24_rlaffin22021-07-18 23:56 153K 
[ ]rlaffin2__t25_rlaffin22021-07-18 23:56 122K 
[ ]rlaffin2__t26_rlaffin22021-07-18 23:57 160K 
[ ]rlaffin2__t27_rlaffin22021-07-18 23:40 58K 
[ ]rlaffin2__t28_rlaffin22021-07-18 23:58 127K 
[ ]rlaffin2__t29_rlaffin22021-07-18 23:59 122K 
[ ]rlaffin2__t30_rlaffin22021-07-18 23:59 157K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80