Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/random_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]random_1__l5_random_12016-03-08 13:08 86K 
[ ]random_1__l6_random_12017-01-05 20:54 60K 
[ ]random_1__l7_random_12016-03-08 13:08 52K 
[ ]random_1__l8_random_12016-03-08 13:08 87K 
[ ]random_1__l9_random_12016-03-08 13:08 58K 
[ ]random_1__l10_random_12017-01-05 20:54 64K 
[ ]random_1__l14_random_12016-03-08 13:08 53K 
[ ]random_1__l15_random_12016-03-08 13:08 53K 
[ ]random_1__l16_random_12016-03-08 13:08 53K 
[ ]random_1__l18_random_12017-01-05 20:54 175K 
[ ]random_1__l22_random_12017-01-05 20:54 89K 
[ ]random_1__l37_random_12016-03-08 13:08 50K 
[ ]random_1__t1_random_12016-03-08 13:08 90K 
[ ]random_1__t2_random_12016-03-08 13:08 72K 
[ ]random_1__t3_random_12016-03-08 13:08 90K 
[ ]random_1__t4_random_12016-03-08 13:08 72K 
[ ]random_1__t5_random_12016-03-08 13:08 57K 
[ ]random_1__t6_random_12016-03-08 13:08 55K 
[ ]random_1__t7_random_12016-03-08 13:08 54K 
[ ]random_1__t8_random_12016-03-08 13:08 44K 
[ ]random_1__t9_random_12017-01-05 20:54 69K 
[ ]random_1__t10_random_12017-01-05 20:54 171K 
[ ]random_1__t11_random_12016-03-08 13:08 74K 
[ ]random_1__t12_random_12016-03-08 13:08 81K 
[ ]random_1__t13_random_12016-03-08 13:08 74K 
[ ]random_1__t14_random_12016-03-08 13:08 104K 
[ ]random_1__t15_random_12016-03-08 13:08 50K 
[ ]random_1__t16_random_12016-03-08 13:08 104K 
[ ]random_1__t17_random_12016-03-08 13:08 50K 
[ ]random_1__t18_random_12016-03-08 13:08 55K 
[ ]random_1__t19_random_12016-03-08 13:08 74K 
[ ]random_1__t20_random_12016-03-08 13:08 54K 
[ ]random_1__t21_random_12016-03-08 13:08 64K 
[ ]random_1__t22_random_12016-03-08 13:08 67K 
[ ]random_1__t23_random_12016-03-08 13:08 58K 
[ ]random_1__t24_random_12016-03-08 13:08 57K 
[ ]random_1__t25_random_12016-03-08 13:08 55K 
[ ]random_1__t26_random_12016-03-08 13:08 91K 
[ ]random_1__t27_random_12016-03-08 13:08 72K 
[ ]random_1__t28_random_12016-03-08 13:08 101K 
[ ]random_1__t29_random_12016-03-08 13:08 48K 
[ ]random_1__t30_random_12016-03-08 13:08 84K 
[ ]random_1__t31_random_12016-03-08 13:08 75K 
[ ]random_1__t32_random_12016-03-08 13:08 75K 
[ ]random_1__t33_random_12016-03-08 13:08 75K 
[ ]random_1__t34_random_12017-01-05 20:54 101K 
[ ]random_1__t35_random_12017-01-05 20:54 101K 
[ ]random_1__t36_random_12017-01-05 20:54 113K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80