Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/quatern3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]quatern3__l2_quatern32017-01-05 20:54 24K 
[ ]quatern3__l76_quatern32017-01-05 20:54 21K 
[ ]quatern3__t1_quatern32017-01-05 20:54 53K 
[ ]quatern3__t2_quatern32017-01-05 20:54 35K 
[ ]quatern3__t3_quatern32017-01-05 20:54 43K 
[ ]quatern3__t4_quatern32017-01-05 20:54 55K 
[ ]quatern3__t5_quatern32017-01-05 20:54 25K 
[ ]quatern3__t6_quatern32017-01-05 20:54 26K 
[ ]quatern3__t7_quatern32017-01-05 20:54 26K 
[ ]quatern3__t8_quatern32017-01-05 20:54 39K 
[ ]quatern3__t9_quatern32017-01-05 20:54 131K 
[ ]quatern3__t10_quatern32017-01-05 20:54 24K 
[ ]quatern3__t11_quatern32016-03-08 13:08 49K 
[ ]quatern3__t12_quatern32017-01-05 20:54 389K 
[ ]quatern3__t13_quatern32017-01-05 20:54 132K 
[ ]quatern3__t14_quatern32017-01-05 20:54 88K 
[ ]quatern3__t15_quatern32017-01-05 20:54 135K 
[ ]quatern3__t16_quatern32017-01-05 20:54 135K 
[ ]quatern3__t17_quatern32017-01-05 20:54 172K 
[ ]quatern3__t18_quatern32017-01-05 20:54 384K 
[ ]quatern3__t19_quatern32017-01-05 20:54 390K 
[ ]quatern3__t20_quatern32017-01-05 20:54 134K 
[ ]quatern3__t21_quatern32017-01-05 20:54 390K 
[ ]quatern3__t22_quatern32017-01-05 20:54 134K 
[ ]quatern3__t23_quatern32017-01-05 20:54 390K 
[ ]quatern3__t24_quatern32017-01-05 20:54 390K 
[ ]quatern3__t25_quatern32017-01-05 20:54 390K 
[ ]quatern3__t26_quatern32017-01-05 20:54 390K 
[ ]quatern3__t27_quatern32017-01-05 20:54 390K 
[ ]quatern3__t28_quatern32017-01-05 20:54 390K 
[ ]quatern3__t29_quatern32017-01-05 20:54 394K 
[ ]quatern3__t30_quatern32017-01-05 20:54 54K 
[ ]quatern3__t31_quatern32017-01-05 20:54 19K 
[ ]quatern3__t32_quatern32017-01-05 20:54 389K 
[ ]quatern3__t33_quatern32017-01-05 20:54 388K 
[ ]quatern3__t34_quatern32017-01-05 20:54 54K 
[ ]quatern3__t35_quatern32017-01-05 20:54 66K 
[ ]quatern3__t36_quatern32017-01-05 20:54 68K 
[ ]quatern3__t37_quatern32017-01-05 20:54 66K 
[ ]quatern3__t38_quatern32017-01-05 20:54 215K 
[ ]quatern3__t39_quatern32017-01-05 20:54 215K 
[ ]quatern3__t40_quatern32017-01-05 20:54 67K 
[ ]quatern3__t41_quatern32017-01-05 20:54 67K 
[ ]quatern3__t42_quatern32017-01-05 20:54 67K 
[ ]quatern3__t43_quatern32016-03-08 13:08 79K 
[ ]quatern3__t44_quatern32017-01-05 20:54 215K 
[ ]quatern3__t45_quatern32017-01-05 20:54 214K 
[ ]quatern3__t46_quatern32017-01-05 20:54 397K 
[ ]quatern3__t47_quatern32017-01-05 20:54 390K 
[ ]quatern3__t48_quatern32017-01-05 20:54 172K 
[ ]quatern3__t49_quatern32017-01-05 20:54 171K 
[ ]quatern3__t50_quatern32017-01-05 20:54 21K 
[ ]quatern3__t51_quatern32017-01-05 20:54 20K 
[ ]quatern3__t52_quatern32017-01-05 20:54 22K 
[ ]quatern3__t53_quatern32017-01-05 20:54 22K 
[ ]quatern3__t54_quatern32017-01-05 20:54 22K 
[ ]quatern3__t55_quatern32017-01-05 20:54 22K 
[ ]quatern3__t56_quatern32017-01-05 20:54 21K 
[ ]quatern3__t57_quatern32017-01-05 20:54 21K 
[ ]quatern3__t58_quatern32017-01-05 20:54 21K 
[ ]quatern3__t59_quatern32017-01-05 20:54 20K 
[ ]quatern3__t60_quatern32017-01-05 20:54 21K 
[ ]quatern3__t61_quatern32017-01-05 20:54 21K 
[ ]quatern3__t62_quatern32017-01-05 20:54 168K 
[ ]quatern3__t63_quatern32017-01-05 20:54 168K 
[ ]quatern3__t64_quatern32017-01-05 20:54 21K 
[ ]quatern3__t65_quatern32017-01-05 20:54 21K 
[ ]quatern3__t66_quatern32017-01-05 20:54 20K 
[ ]quatern3__t67_quatern32017-01-05 20:54 20K 
[ ]quatern3__t68_quatern32017-01-05 20:54 21K 
[ ]quatern3__t69_quatern32017-01-05 20:54 21K 
[ ]quatern3__t70_quatern32017-01-05 20:54 171K 
[ ]quatern3__t71_quatern32017-01-05 20:54 22K 
[ ]quatern3__t72_quatern32017-01-05 20:54 52K 
[ ]quatern3__t73_quatern32017-01-05 20:54 171K 
[ ]quatern3__t74_quatern32017-01-05 20:54 174K 
[ ]quatern3__t75_quatern32017-01-05 20:54 386K 
[ ]quatern3__t76_quatern32017-01-05 20:54 177K 
[ ]quatern3__t77_quatern32017-01-05 20:54 177K 
[ ]quatern3__t78_quatern32017-01-05 20:54 170K 
[ ]quatern3__t79_quatern32017-01-05 20:54 174K 
[ ]quatern3__t80_quatern32017-01-05 20:54 174K 
[ ]quatern3__t81_quatern32017-01-05 20:54 171K 
[ ]quatern3__t82_quatern32017-01-05 20:54 175K 
[ ]quatern3__t83_quatern32017-01-05 20:54 175K 
[ ]quatern3__t84_quatern32017-01-05 20:54 127K 
[ ]quatern3__t85_quatern32017-01-05 20:54 57K 
[ ]quatern3__t86_quatern32017-01-05 20:54 57K 
[ ]quatern3__t87_quatern32017-01-05 20:54 176K 
[ ]quatern3__t88_quatern32017-01-05 20:54 177K 
[ ]quatern3__t89_quatern32017-01-05 20:54 22K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80