Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/sprect_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sprect_3__t1_sprect_32017-01-13 00:42 88K 
[ ]sprect_3__t2_sprect_32017-01-13 00:42 78K 
[ ]sprect_3__t3_sprect_32017-01-13 00:42 120K 
[ ]sprect_3__t4_sprect_32017-01-13 00:42 112K 
[ ]sprect_3__t5_sprect_32017-01-13 00:42 141K 
[ ]sprect_3__t6_sprect_32017-01-13 00:42 156K 
[ ]sprect_3__t7_sprect_32017-01-13 00:42 115K 
[ ]sprect_3__t8_sprect_32017-01-13 00:42 104K 
[ ]sprect_3__t9_sprect_32017-01-13 00:42 121K 
[ ]sprect_3__t10_sprect_32017-01-13 00:42 125K 
[ ]sprect_3__t11_sprect_32017-01-13 00:42 125K 
[ ]sprect_3__t12_sprect_32017-01-13 00:42 95K 
[ ]sprect_3__t13_sprect_32017-01-13 00:42 95K 
[ ]sprect_3__t14_sprect_32017-01-13 00:42 142K 
[ ]sprect_3__t15_sprect_32017-01-13 00:42 140K 
[ ]sprect_3__t16_sprect_32017-01-13 00:42 160K 
[ ]sprect_3__t17_sprect_32017-01-13 00:42 142K 
[ ]sprect_3__t18_sprect_32017-01-13 00:42 99K 
[ ]sprect_3__t19_sprect_32017-01-13 00:42 117K 
[ ]sprect_3__t20_sprect_32017-01-13 00:42 118K 
[ ]sprect_3__t21_sprect_32017-01-13 00:42 199K 
[ ]sprect_3__t22_sprect_32017-01-13 00:42 123K 
[ ]sprect_3__t23_sprect_32017-01-13 00:42 254K 
[ ]sprect_3__t24_sprect_32017-01-13 00:42 100K 
[ ]sprect_3__t25_sprect_32017-01-13 00:42 110K 
[ ]sprect_3__t26_sprect_32017-01-13 00:42 110K 
[ ]sprect_3__t27_sprect_32017-01-13 00:42 169K 
[ ]sprect_3__t28_sprect_32017-01-13 00:42 164K 
[ ]sprect_3__t29_sprect_32017-01-13 00:42 381K 
[ ]sprect_3__t30_sprect_32017-01-13 00:42 174K 
[ ]sprect_3__t31_sprect_32017-01-13 00:42 155K 
[ ]sprect_3__t32_sprect_32017-01-13 00:42 158K 
[ ]sprect_3__t33_sprect_32017-01-13 00:42 142K 
[ ]sprect_3__t34_sprect_32017-01-13 00:42 208K 
[ ]sprect_3__t35_sprect_32017-01-13 00:42 160K 
[ ]sprect_3__t36_sprect_32017-01-13 00:42 254K 
[ ]sprect_3__t37_sprect_32017-01-13 00:42 462K 
[ ]sprect_3__t38_sprect_32017-01-13 00:42 325K 
[ ]sprect_3__t39_sprect_32017-01-13 00:42 325K 
[ ]sprect_3__t40_sprect_32017-01-13 00:42 128K 
[ ]sprect_3__t41_sprect_32017-01-13 00:42 426K 
[ ]sprect_3__t42_sprect_32017-01-13 00:42 134K 
[ ]sprect_3__t43_sprect_32017-01-13 00:42 183K 
[ ]sprect_3__t44_sprect_32017-01-13 00:42 191K 
[ ]sprect_3__t45_sprect_32017-01-13 00:42 131K 
[ ]sprect_3__t46_sprect_32017-01-13 00:42 141K 
[ ]sprect_3__t47_sprect_32017-01-13 00:42 198K 
[ ]sprect_3__t48_sprect_32017-01-13 00:42 154K 
[ ]sprect_3__t49_sprect_32017-01-13 00:42 150K 
[ ]sprect_3__t50_sprect_32017-01-13 00:42 146K 
[ ]sprect_3__t51_sprect_32017-01-13 00:42 213K 
[ ]sprect_3__t52_sprect_32017-01-13 00:42 124K 
[ ]sprect_3__t53_sprect_32017-01-13 00:42 131K 
[ ]sprect_3__t54_sprect_32017-01-13 00:42 248K 
[ ]sprect_3__t55_sprect_32017-01-13 00:42 158K 
[ ]sprect_3__t56_sprect_32017-01-13 00:42 124K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80