Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/tex_2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]tex_2__l10_tex_22025-09-13 05:30 18K 
[ ]tex_2__l18_tex_22025-09-13 05:31 28K 
[ ]tex_2__l40_tex_22025-09-13 05:31 15K 
[ ]tex_2__l79_tex_22025-09-13 05:33 55K 
[ ]tex_2__s1_tex_22025-09-13 04:27 31K 
[ ]tex_2__t1_tex_22025-09-13 04:27 13K 
[ ]tex_2__t2_tex_22025-09-13 04:28 14K 
[ ]tex_2__t3_tex_22025-09-13 04:16 13K 
[ ]tex_2__t4_tex_22025-09-13 04:17 13K 
[ ]tex_2__t5_tex_22025-09-13 04:18 20K 
[ ]tex_2__t6_tex_22025-09-13 04:18 20K 
[ ]tex_2__t7_tex_22025-09-13 04:19 34K 
[ ]tex_2__t8_tex_22025-09-13 04:20 15K 
[ ]tex_2__t9_tex_22025-09-13 04:21 25K 
[ ]tex_2__t10_tex_22025-09-13 04:29 15K 
[ ]tex_2__t11_tex_22025-09-13 04:30 30K 
[ ]tex_2__t12_tex_22025-09-13 04:31 35K 
[ ]tex_2__t13_tex_22025-09-13 04:32 35K 
[ ]tex_2__t14_tex_22025-09-13 04:32 26K 
[ ]tex_2__t15_tex_22025-09-13 04:33 29K 
[ ]tex_2__t16_tex_22025-09-13 04:21 27K 
[ ]tex_2__t17_tex_22025-09-13 04:34 30K 
[ ]tex_2__t18_tex_22025-09-13 04:22 46K 
[ ]tex_2__t19_tex_22025-09-13 04:35 26K 
[ ]tex_2__t20_tex_22025-09-13 04:36 46K 
[ ]tex_2__t21_tex_22025-09-13 04:37 33K 
[ ]tex_2__t22_tex_22025-09-13 04:38 17K 
[ ]tex_2__t23_tex_22025-09-13 04:39 17K 
[ ]tex_2__t24_tex_22025-09-13 04:40 19K 
[ ]tex_2__t25_tex_22025-09-13 04:40 19K 
[ ]tex_2__t26_tex_22025-09-13 04:41 24K 
[ ]tex_2__t27_tex_22025-09-13 04:42 24K 
[ ]tex_2__t28_tex_22025-09-13 04:43 51K 
[ ]tex_2__t29_tex_22025-09-13 04:44 32K 
[ ]tex_2__t30_tex_22025-09-13 04:45 35K 
[ ]tex_2__t31_tex_22025-09-13 04:47 58K 
[ ]tex_2__t32_tex_22025-09-13 04:48 35K 
[ ]tex_2__t33_tex_22025-09-13 04:49 35K 
[ ]tex_2__t34_tex_22025-09-13 04:50 40K 
[ ]tex_2__t35_tex_22025-09-13 04:51 33K 
[ ]tex_2__t36_tex_22025-09-13 04:23 34K 
[ ]tex_2__t37_tex_22025-09-13 04:52 51K 
[ ]tex_2__t38_tex_22025-09-13 04:53 35K 
[ ]tex_2__t39_tex_22025-09-13 04:54 25K 
[ ]tex_2__t40_tex_22025-09-13 04:55 31K 
[ ]tex_2__t41_tex_22025-09-13 04:56 45K 
[ ]tex_2__t42_tex_22025-09-13 04:57 38K 
[ ]tex_2__t43_tex_22025-09-13 04:58 40K 
[ ]tex_2__t44_tex_22025-09-13 04:59 29K 
[ ]tex_2__t45_tex_22025-09-13 04:24 24K 
[ ]tex_2__t46_tex_22025-09-13 05:00 53K 
[ ]tex_2__t47_tex_22025-09-13 05:01 51K 
[ ]tex_2__t48_tex_22025-09-13 05:02 35K 
[ ]tex_2__t49_tex_22025-09-13 05:03 36K 
[ ]tex_2__t50_tex_22025-09-13 05:04 35K 
[ ]tex_2__t51_tex_22025-09-13 05:05 34K 
[ ]tex_2__t52_tex_22025-09-13 05:06 34K 
[ ]tex_2__t53_tex_22025-09-13 05:08 40K 
[ ]tex_2__t54_tex_22025-09-13 05:09 37K 
[ ]tex_2__t55_tex_22025-09-13 05:10 32K 
[ ]tex_2__t56_tex_22025-09-13 05:11 46K 
[ ]tex_2__t57_tex_22025-09-13 05:12 33K 
[ ]tex_2__t58_tex_22025-09-13 05:13 38K 
[ ]tex_2__t59_tex_22025-09-13 05:15 54K 
[ ]tex_2__t60_tex_22025-09-13 05:16 30K 
[ ]tex_2__t61_tex_22025-09-13 05:17 56K 
[ ]tex_2__t62_tex_22025-09-13 04:25 21K 
[ ]tex_2__t63_tex_22025-09-13 05:18 44K 
[ ]tex_2__t64_tex_22025-09-13 05:20 36K 
[ ]tex_2__t65_tex_22025-09-13 05:21 44K 
[ ]tex_2__t66_tex_22025-09-13 05:22 50K 
[ ]tex_2__t67_tex_22025-09-13 05:23 48K 
[ ]tex_2__t68_tex_22025-09-13 05:24 61K 
[ ]tex_2__t69_tex_22025-09-13 05:25 48K 
[ ]tex_2__t70_tex_22025-09-13 05:27 61K 
[ ]tex_2__t71_tex_22025-09-13 04:26 52K 
[ ]tex_2__t72_tex_22025-09-13 05:28 68K 
[ ]tex_2__t73_tex_22025-09-13 05:29 48K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80