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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rlaffin3__l1_rlaffin32016-03-08 13:08 80K 
[ ]rlaffin3__l4_rlaffin32016-03-08 13:08 75K 
[ ]rlaffin3__l10_rlaffin32016-03-08 13:08 103K 
[ ]rlaffin3__l15_rlaffin32017-01-05 20:54 46K 
[ ]rlaffin3__l30_rlaffin32016-03-08 13:08 36K 
[ ]rlaffin3__l32_rlaffin32017-01-05 20:54 107K 
[ ]rlaffin3__l33_rlaffin32017-01-05 20:54 217K 
[ ]rlaffin3__l34_rlaffin32017-01-05 20:54 272K 
[ ]rlaffin3__l44_rlaffin32017-01-05 20:54 144K 
[ ]rlaffin3__t1_rlaffin32017-01-05 20:54 87K 
[ ]rlaffin3__t2_rlaffin32017-01-05 20:54 90K 
[ ]rlaffin3__t3_rlaffin32016-03-08 13:09 64K 
[ ]rlaffin3__t4_rlaffin32017-01-05 20:54 91K 
[ ]rlaffin3__t5_rlaffin32016-03-08 13:09 115K 
[ ]rlaffin3__t6_rlaffin32017-01-05 20:54 105K 
[ ]rlaffin3__t7_rlaffin32017-01-05 20:54 160K 
[ ]rlaffin3__t8_rlaffin32017-01-05 20:54 147K 
[ ]rlaffin3__t9_rlaffin32016-03-08 13:09 77K 
[ ]rlaffin3__t10_rlaffin32017-01-05 20:54 58K 
[ ]rlaffin3__t11_rlaffin32016-03-08 13:08 92K 
[ ]rlaffin3__t12_rlaffin32017-01-05 20:54 88K 
[ ]rlaffin3__t13_rlaffin32017-01-05 20:54 74K 
[ ]rlaffin3__t14_rlaffin32016-03-08 13:08 89K 
[ ]rlaffin3__t15_rlaffin32016-03-08 13:08 107K 
[ ]rlaffin3__t16_rlaffin32016-03-08 13:08 77K 
[ ]rlaffin3__t17_rlaffin32017-01-05 20:54 109K 
[ ]rlaffin3__t18_rlaffin32017-01-05 20:54 104K 
[ ]rlaffin3__t19_rlaffin32016-03-08 13:08 123K 
[ ]rlaffin3__t20_rlaffin32016-03-08 13:09 98K 
[ ]rlaffin3__t21_rlaffin32017-01-05 20:54 145K 
[ ]rlaffin3__t22_rlaffin32017-01-05 20:54 111K 
[ ]rlaffin3__t23_rlaffin32017-01-05 20:54 184K 
[ ]rlaffin3__t24_rlaffin32017-01-05 20:54 214K 
[ ]rlaffin3__t25_rlaffin32017-01-05 20:54 171K 
[ ]rlaffin3__t26_rlaffin32017-01-05 20:54 137K 
[ ]rlaffin3__t27_rlaffin32017-01-05 20:54 145K 
[ ]rlaffin3__t28_rlaffin32017-01-05 20:54 114K 
[ ]rlaffin3__t29_rlaffin32016-03-08 13:09 85K 
[ ]rlaffin3__t30_rlaffin32016-03-08 13:09 82K 
[ ]rlaffin3__t31_rlaffin32017-01-05 20:54 177K 
[ ]rlaffin3__t32_rlaffin32016-03-08 13:09 120K 
[ ]rlaffin3__t33_rlaffin32017-01-05 20:54 162K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80