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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]quaterni__l6_quaterni2017-01-12 22:05 24K 
[ ]quaterni__l8_quaterni2017-01-12 22:05 33K 
[ ]quaterni__l13_quaterni2017-01-12 22:05 34K 
[ ]quaterni__l15_quaterni2017-01-12 22:05 54K 
[ ]quaterni__l19_quaterni2017-01-12 22:05 17K 
[ ]quaterni__l21_quaterni2017-01-12 22:05 58K 
[ ]quaterni__l26_quaterni2017-01-12 22:05 56K 
[ ]quaterni__l46_quaterni2017-01-12 22:05 39K 
[ ]quaterni__l47_quaterni2017-01-12 22:05 52K 
[ ]quaterni__l53_quaterni2017-01-12 22:05 66K 
[ ]quaterni__l57_quaterni2017-01-12 22:05 48K 
[ ]quaterni__l61_quaterni2017-01-12 22:05 53K 
[ ]quaterni__l62_quaterni2017-01-12 22:05 52K 
[ ]quaterni__l63_quaterni2017-01-12 22:05 52K 
[ ]quaterni__l64_quaterni2017-01-12 22:05 77K 
[ ]quaterni__l65_quaterni2017-01-12 22:05 53K 
[ ]quaterni__l66_quaterni2017-01-12 22:05 77K 
[ ]quaterni__l67_quaterni2017-01-12 22:05 77K 
[ ]quaterni__l69_quaterni2017-01-12 22:05 52K 
[ ]quaterni__l76_quaterni2017-01-12 22:05 79K 
[ ]quaterni__l77_quaterni2017-01-12 22:05 68K 
[ ]quaterni__l79_quaterni2017-01-12 22:05 154K 
[ ]quaterni__l81_quaterni2017-01-12 22:05 55K 
[ ]quaterni__l82_quaterni2017-01-12 22:05 67K 
[ ]quaterni__l86_quaterni2017-01-12 22:05 82K 
[ ]quaterni__l88_quaterni2017-01-12 22:05 90K 
[ ]quaterni__l124_quaterni2017-01-12 22:05 41K 
[ ]quaterni__l125_quaterni2017-01-12 22:05 40K 
[ ]quaterni__l126_quaterni2017-01-12 22:05 41K 
[ ]quaterni__l127_quaterni2017-01-12 22:05 67K 
[ ]quaterni__l128_quaterni2017-01-12 22:05 3.3K 
[ ]quaterni__l129_quaterni2017-01-12 22:05 45K 
[ ]quaterni__l130_quaterni2017-01-12 22:05 69K 
[ ]quaterni__l131_quaterni2017-01-12 22:05 48K 
[ ]quaterni__l138_quaterni2017-01-12 22:05 80K 
[ ]quaterni__l139_quaterni2017-01-12 22:05 80K 
[ ]quaterni__l140_quaterni2017-01-12 22:05 72K 
[ ]quaterni__l141_quaterni2017-01-12 22:05 204K 
[ ]quaterni__l142_quaterni2017-01-12 22:05 203K 
[ ]quaterni__l147_quaterni2017-01-12 22:05 79K 
[ ]quaterni__t1_quaterni2017-01-12 22:05 38K 
[ ]quaterni__t2_quaterni2017-01-12 22:05 36K 
[ ]quaterni__t3_quaterni2017-01-12 22:05 34K 
[ ]quaterni__t4_quaterni2017-01-12 22:05 30K 
[ ]quaterni__t5_quaterni2017-01-12 22:05 20K 
[ ]quaterni__t6_quaterni2017-01-12 22:05 39K 
[ ]quaterni__t7_quaterni2017-01-12 22:05 61K 
[ ]quaterni__t8_quaterni2017-01-12 22:05 39K 
[ ]quaterni__t9_quaterni2017-01-12 22:05 40K 
[ ]quaterni__t10_quaterni2017-01-12 22:05 59K 
[ ]quaterni__t11_quaterni2017-01-12 22:05 3.6K 
[ ]quaterni__t12_quaterni2017-01-12 22:05 57K 
[ ]quaterni__t13_quaterni2017-01-12 22:05 155K 
[ ]quaterni__t14_quaterni2017-01-12 22:05 96K 
[ ]quaterni__t15_quaterni2017-01-12 22:05 96K 
[ ]quaterni__t16_quaterni2017-01-12 22:05 164K 
[ ]quaterni__t17_quaterni2017-01-12 22:05 164K 
[ ]quaterni__t18_quaterni2017-01-12 22:05 164K 
[ ]quaterni__t19_quaterni2017-01-12 22:05 166K 
[ ]quaterni__t20_quaterni2017-01-12 22:05 96K 
[ ]quaterni__t21_quaterni2017-01-12 22:05 166K 
[ ]quaterni__t22_quaterni2017-01-12 22:05 47K 
[ ]quaterni__t23_quaterni2017-01-12 22:05 63K 
[ ]quaterni__t24_quaterni2017-01-12 22:05 66K 
[ ]quaterni__t25_quaterni2017-01-12 22:05 47K 
[ ]quaterni__t26_quaterni2017-01-12 22:05 48K 
[ ]quaterni__t27_quaterni2017-01-12 22:05 83K 
[ ]quaterni__t28_quaterni2017-01-12 22:05 60K 
[ ]quaterni__t29_quaterni2017-01-12 22:04 48K 
[ ]quaterni__t30_quaterni2017-01-12 22:05 52K 
[ ]quaterni__t31_quaterni2017-01-12 22:04 59K 
[ ]quaterni__t32_quaterni2017-01-12 22:05 53K 
[ ]quaterni__t33_quaterni2017-01-12 22:05 102K 
[ ]quaterni__t34_quaterni2017-01-12 22:05 97K 
[ ]quaterni__t35_quaterni2017-01-12 22:05 97K 
[ ]quaterni__t36_quaterni2017-01-12 22:05 53K 
[ ]quaterni__t37_quaterni2017-01-12 22:05 64K 
[ ]quaterni__t38_quaterni2017-01-12 22:05 173K 
[ ]quaterni__t39_quaterni2017-01-12 22:05 86K 
[ ]quaterni__t40_quaterni2017-01-12 22:05 205K 
[ ]quaterni__t41_quaterni2017-01-12 22:05 68K 
[ ]quaterni__t42_quaterni2017-01-12 22:05 88K 
[ ]quaterni__t43_quaterni2017-01-12 22:05 126K 
[ ]quaterni__t44_quaterni2017-01-12 22:05 68K 
[ ]quaterni__t45_quaterni2017-01-12 22:05 68K 
[ ]quaterni__t46_quaterni2017-01-12 22:05 168K 
[ ]quaterni__t47_quaterni2017-01-12 22:05 69K 
[ ]quaterni__t48_quaterni2017-01-12 22:05 68K 
[ ]quaterni__t49_quaterni2017-01-12 22:05 68K 
[ ]quaterni__t50_quaterni2017-01-12 22:05 68K 
[ ]quaterni__t51_quaterni2017-01-12 22:04 68K 
[ ]quaterni__t52_quaterni2017-01-12 22:05 68K 
[ ]quaterni__t53_quaterni2017-01-12 22:05 68K 
[ ]quaterni__t54_quaterni2017-01-12 22:05 78K 
[ ]quaterni__t55_quaterni2017-01-12 22:05 83K 
[ ]quaterni__t56_quaterni2017-01-12 22:05 92K 
[ ]quaterni__t57_quaterni2017-01-12 22:05 431K 
[ ]quaterni__t58_quaterni2017-01-12 22:05 68K 
[ ]quaterni__t59_quaterni2017-01-12 22:05 68K 
[ ]quaterni__t60_quaterni2017-01-12 22:05 173K 
[ ]quaterni__t61_quaterni2017-01-12 22:05 125K 
[ ]quaterni__t62_quaterni2017-01-12 22:05 66K 
[ ]quaterni__t63_quaterni2017-01-12 22:05 80K 
[ ]quaterni__t64_quaterni2017-01-12 22:05 172K 
[ ]quaterni__t65_quaterni2017-01-12 22:05 84K 
[ ]quaterni__t66_quaterni2017-01-12 22:05 246K 
[ ]quaterni__t67_quaterni2017-01-12 22:05 44K 
[ ]quaterni__t68_quaterni2017-01-12 22:05 84K 
[ ]quaterni__t69_quaterni2017-01-12 22:05 46K 
[ ]quaterni__t70_quaterni2017-01-12 22:05 71K 
[ ]quaterni__t71_quaterni2017-01-12 22:05 71K 
[ ]quaterni__t72_quaterni2017-01-12 22:05 204K 
[ ]quaterni__t73_quaterni2017-01-12 22:05 428K 
[ ]quaterni__t74_quaterni2017-01-12 22:05 39K 
[ ]quaterni__t75_quaterni2017-01-12 22:05 71K 
[ ]quaterni__t76_quaterni2017-01-12 22:05 71K 
[ ]quaterni__t77_quaterni2017-01-12 22:05 71K 
[ ]quaterni__t78_quaterni2017-01-12 22:05 71K 
[ ]quaterni__t79_quaterni2017-01-12 22:05 253K 
[ ]quaterni__t80_quaterni2017-01-12 22:05 99K 
[ ]quaterni__t81_quaterni2017-01-12 22:05 99K 
[ ]quaterni__t82_quaterni2017-01-12 22:05 99K 
[ ]quaterni__t83_quaterni2017-01-12 22:05 86K 
[ ]quaterni__t84_quaterni2017-01-12 22:05 87K 
[ ]quaterni__t85_quaterni2017-01-12 22:05 99K 
[ ]quaterni__t86_quaterni2017-01-12 22:05 101K 
[ ]quaterni__t87_quaterni2017-01-12 22:05 249K 
[ ]quaterni__t88_quaterni2017-01-12 22:05 98K 
[ ]quaterni__t89_quaterni2017-01-12 22:05 170K 
[ ]quaterni__t90_quaterni2017-01-12 22:05 26K 
[ ]quaterni__t91_quaterni2017-01-12 22:05 45K 
[ ]quaterni__t92_quaterni2017-01-12 22:05 68K 
[ ]quaterni__t93_quaterni2017-01-12 22:05 153K 
[ ]quaterni__t94_quaterni2017-01-12 22:05 67K 
[ ]quaterni__t95_quaterni2017-01-12 22:05 87K 
[ ]quaterni__t96_quaterni2017-01-12 22:05 56K 
[ ]quaterni__t97_quaterni2017-01-12 22:05 77K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80