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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ntalgo_1__l2_ntalgo_12016-03-08 13:08 23K 
[ ]ntalgo_1__l3_ntalgo_12016-03-08 13:08 39K 
[ ]ntalgo_1__l4_ntalgo_12016-03-08 13:08 40K 
[ ]ntalgo_1__l6_ntalgo_12016-03-08 13:08 70K 
[ ]ntalgo_1__l7_ntalgo_12016-03-08 13:08 48K 
[ ]ntalgo_1__l8_ntalgo_12017-01-05 20:54 50K 
[ ]ntalgo_1__l10_ntalgo_12016-03-08 13:08 52K 
[ ]ntalgo_1__l11_ntalgo_12016-03-08 13:08 55K 
[ ]ntalgo_1__l13_ntalgo_12016-03-08 13:08 66K 
[ ]ntalgo_1__l14_ntalgo_12016-03-08 13:08 46K 
[ ]ntalgo_1__l18_ntalgo_12017-01-05 20:54 50K 
[ ]ntalgo_1__l19_ntalgo_12016-03-08 13:08 20K 
[ ]ntalgo_1__l20_ntalgo_12016-03-08 13:08 69K 
[ ]ntalgo_1__l23_ntalgo_12016-03-08 13:08 68K 
[ ]ntalgo_1__l29_ntalgo_12016-03-08 13:08 50K 
[ ]ntalgo_1__l30_ntalgo_12017-01-05 20:54 147K 
[ ]ntalgo_1__l31_ntalgo_12017-01-05 20:54 64K 
[ ]ntalgo_1__l32_ntalgo_12016-03-08 13:08 62K 
[ ]ntalgo_1__l34_ntalgo_12016-03-08 13:08 53K 
[ ]ntalgo_1__t1_ntalgo_12016-03-08 13:08 20K 
[ ]ntalgo_1__t2_ntalgo_12017-01-05 20:54 75K 
[ ]ntalgo_1__t3_ntalgo_12016-03-08 13:08 35K 
[ ]ntalgo_1__t4_ntalgo_12016-03-08 13:08 40K 
[ ]ntalgo_1__t5_ntalgo_12016-03-08 13:08 36K 
[ ]ntalgo_1__t6_ntalgo_12017-01-05 20:54 98K 
[ ]ntalgo_1__t7_ntalgo_12016-03-08 13:08 29K 
[ ]ntalgo_1__t8_ntalgo_12016-03-08 13:08 51K 
[ ]ntalgo_1__t9_ntalgo_12016-03-08 13:08 18K 
[ ]ntalgo_1__t10_ntalgo_12016-03-08 13:08 20K 
[ ]ntalgo_1__t11_ntalgo_12017-01-05 20:54 176K 
[ ]ntalgo_1__t12_ntalgo_12017-01-05 20:54 82K 
[ ]ntalgo_1__t13_ntalgo_12016-03-08 13:08 36K 
[ ]ntalgo_1__t14_ntalgo_12017-01-05 20:54 103K 
[ ]ntalgo_1__t15_ntalgo_12017-01-05 20:54 151K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80