Index of /~mptp/1147/MPTP2/problems_thf_tls1/comptrig

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]comptrig__l5_comptrig2017-01-13 19:19 42K 
[ ]comptrig__l6_comptrig2017-01-13 19:19 27K 
[ ]comptrig__l7_comptrig2017-01-13 19:19 45K 
[ ]comptrig__l8_comptrig2017-01-13 19:19 36K 
[ ]comptrig__l9_comptrig2017-01-13 19:19 63K 
[ ]comptrig__l10_comptrig2017-01-13 19:19 63K 
[ ]comptrig__l11_comptrig2017-01-13 19:19 46K 
[ ]comptrig__l12_comptrig2017-01-13 19:19 57K 
[ ]comptrig__l13_comptrig2017-01-13 19:19 50K 
[ ]comptrig__s1_comptrig2017-01-13 19:19 71K 
[ ]comptrig__t1_comptrig2017-01-13 19:19 75K 
[ ]comptrig__t2_comptrig2017-01-13 19:19 75K 
[ ]comptrig__t3_comptrig2017-01-13 19:19 41K 
[ ]comptrig__t4_comptrig2017-01-13 19:19 32K 
[ ]comptrig__t5_comptrig2017-01-13 19:19 118K 
[ ]comptrig__t6_comptrig2017-01-13 19:19 23K 
[ ]comptrig__t7_comptrig2017-01-13 19:19 160K 
[ ]comptrig__t8_comptrig2017-01-13 19:19 129K 
[ ]comptrig__t9_comptrig2017-01-13 19:19 85K 
[ ]comptrig__t10_comptrig2017-01-13 19:19 157K 
[ ]comptrig__t11_comptrig2017-01-13 19:19 84K 
[ ]comptrig__t12_comptrig2017-01-13 19:19 217K 
[ ]comptrig__t13_comptrig2017-01-13 19:19 157K 
[ ]comptrig__t14_comptrig2017-01-13 19:19 354K 
[ ]comptrig__t15_comptrig2017-01-13 19:19 219K 
[ ]comptrig__t16_comptrig2017-01-13 19:19 354K 
[ ]comptrig__t17_comptrig2017-01-13 19:19 42K 
[ ]comptrig__t18_comptrig2017-01-13 19:19 103K 
[ ]comptrig__t19_comptrig2017-01-13 19:19 65K 
[ ]comptrig__t20_comptrig2017-01-13 19:19 72K 
[ ]comptrig__t21_comptrig2017-01-13 19:20 51K 
[ ]comptrig__t22_comptrig2017-01-13 19:20 68K 
[ ]comptrig__t23_comptrig2017-01-13 19:20 603K 
[ ]comptrig__t24_comptrig2017-01-13 19:20 602K 
[ ]comptrig__t25_comptrig2017-01-13 19:20 362K 
[ ]comptrig__t26_comptrig2017-01-13 19:20 362K 
[ ]comptrig__t27_comptrig2017-01-13 19:20 116K 
[ ]comptrig__t28_comptrig2017-01-13 19:20 128K 
[ ]comptrig__t29_comptrig2017-01-13 19:20 141K 
[ ]comptrig__t30_comptrig2017-01-13 19:20 136K 
[ ]comptrig__t31_comptrig2017-01-13 19:20 149K 
[ ]comptrig__t32_comptrig2017-01-13 19:20 149K 
[ ]comptrig__t33_comptrig2017-01-13 19:20 148K 
[ ]comptrig__t34_comptrig2017-01-13 19:20 86K 
[ ]comptrig__t35_comptrig2017-01-13 19:20 345K 
[ ]comptrig__t36_comptrig2017-01-13 19:20 114K 
[ ]comptrig__t37_comptrig2017-01-13 19:20 585K 
[ ]comptrig__t38_comptrig2017-01-13 19:20 585K 
[ ]comptrig__t39_comptrig2017-01-13 19:19 26K 
[ ]comptrig__t40_comptrig2017-01-13 19:20 62K 
[ ]comptrig__t41_comptrig2017-01-13 19:20 352K 
[ ]comptrig__t42_comptrig2017-01-13 19:20 351K 
[ ]comptrig__t43_comptrig2017-01-13 19:20 351K 
[ ]comptrig__t44_comptrig2017-01-13 19:20 351K 
[ ]comptrig__t45_comptrig2017-01-13 19:20 343K 
[ ]comptrig__t46_comptrig2017-01-13 19:20 408K 
[ ]comptrig__t47_comptrig2017-01-13 19:20 228K 
[ ]comptrig__t48_comptrig2017-01-13 19:20 228K 
[ ]comptrig__t49_comptrig2017-01-13 19:20 230K 
[ ]comptrig__t50_comptrig2017-01-13 19:20 96K 
[ ]comptrig__t51_comptrig2017-01-13 19:20 585K 
[ ]comptrig__t52_comptrig2017-01-13 19:20 582K 
[ ]comptrig__t53_comptrig2017-01-13 19:20 71K 
[ ]comptrig__t54_comptrig2017-01-13 19:20 117K 
[ ]comptrig__t55_comptrig2017-01-13 19:20 194K 
[ ]comptrig__t56_comptrig2017-01-13 19:20 208K 
[ ]comptrig__t57_comptrig2017-01-13 19:20 195K 
[ ]comptrig__t58_comptrig2017-01-13 19:20 25K 
[ ]comptrig__t59_comptrig2017-01-13 19:20 48K 
[ ]comptrig__t60_comptrig2017-01-13 19:20 34K 
[ ]comptrig__t61_comptrig2017-01-13 19:20 148K 
[ ]comptrig__t62_comptrig2017-01-13 19:20 112K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80