Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls/ntalgo_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ntalgo_1__l2_ntalgo_12017-01-12 22:01 23K 
[ ]ntalgo_1__l3_ntalgo_12017-01-12 22:01 39K 
[ ]ntalgo_1__l4_ntalgo_12017-01-12 22:01 40K 
[ ]ntalgo_1__l6_ntalgo_12017-01-12 22:01 70K 
[ ]ntalgo_1__l7_ntalgo_12017-01-12 22:01 48K 
[ ]ntalgo_1__l8_ntalgo_12017-01-12 22:01 50K 
[ ]ntalgo_1__l10_ntalgo_12017-01-12 22:01 52K 
[ ]ntalgo_1__l11_ntalgo_12017-01-12 22:01 55K 
[ ]ntalgo_1__l13_ntalgo_12017-01-12 22:01 66K 
[ ]ntalgo_1__l14_ntalgo_12017-01-12 22:01 46K 
[ ]ntalgo_1__l18_ntalgo_12017-01-12 22:01 50K 
[ ]ntalgo_1__l19_ntalgo_12017-01-12 22:01 20K 
[ ]ntalgo_1__l20_ntalgo_12017-01-12 22:01 69K 
[ ]ntalgo_1__l23_ntalgo_12017-01-12 22:01 68K 
[ ]ntalgo_1__l29_ntalgo_12017-01-12 22:01 51K 
[ ]ntalgo_1__l30_ntalgo_12017-01-12 22:01 147K 
[ ]ntalgo_1__l31_ntalgo_12017-01-12 22:01 64K 
[ ]ntalgo_1__l32_ntalgo_12017-01-12 22:01 62K 
[ ]ntalgo_1__l34_ntalgo_12017-01-12 22:01 53K 
[ ]ntalgo_1__s1_ntalgo_12017-01-12 22:01 47K 
[ ]ntalgo_1__t1_ntalgo_12017-01-12 22:01 20K 
[ ]ntalgo_1__t2_ntalgo_12017-01-12 22:01 75K 
[ ]ntalgo_1__t3_ntalgo_12017-01-12 22:01 35K 
[ ]ntalgo_1__t4_ntalgo_12017-01-12 22:01 40K 
[ ]ntalgo_1__t5_ntalgo_12017-01-12 22:01 36K 
[ ]ntalgo_1__t6_ntalgo_12017-01-12 22:01 98K 
[ ]ntalgo_1__t7_ntalgo_12017-01-12 22:01 29K 
[ ]ntalgo_1__t8_ntalgo_12017-01-12 22:01 51K 
[ ]ntalgo_1__t9_ntalgo_12017-01-12 22:01 18K 
[ ]ntalgo_1__t10_ntalgo_12017-01-12 22:01 20K 
[ ]ntalgo_1__t11_ntalgo_12017-01-12 22:01 176K 
[ ]ntalgo_1__t12_ntalgo_12017-01-12 22:01 82K 
[ ]ntalgo_1__t13_ntalgo_12017-01-12 22:01 36K 
[ ]ntalgo_1__t14_ntalgo_12017-01-12 22:01 103K 
[ ]ntalgo_1__t15_ntalgo_12017-01-12 22:01 151K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80