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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mod_4__l3_mod_42025-09-13 11:36 32K 
[ ]mod_4__l4_mod_42025-09-13 11:37 29K 
[ ]mod_4__l5_mod_42025-09-13 11:39 33K 
[ ]mod_4__l7_mod_42025-09-13 11:40 32K 
[ ]mod_4__l11_mod_42025-09-13 11:00 20K 
[ ]mod_4__l43_mod_42025-09-13 11:41 27K 
[ ]mod_4__l72_mod_42025-09-13 11:43 29K 
[ ]mod_4__l73_mod_42025-09-13 11:45 32K 
[ ]mod_4__t1_mod_42025-09-13 10:36 13K 
[ ]mod_4__t2_mod_42025-09-13 11:02 41K 
[ ]mod_4__t3_mod_42025-09-13 10:37 35K 
[ ]mod_4__t4_mod_42025-09-13 10:38 31K 
[ ]mod_4__t5_mod_42025-09-13 11:04 39K 
[ ]mod_4__t6_mod_42025-09-13 11:05 42K 
[ ]mod_4__t7_mod_42025-09-13 11:07 37K 
[ ]mod_4__t8_mod_42025-09-13 11:08 38K 
[ ]mod_4__t9_mod_42025-09-13 11:09 38K 
[ ]mod_4__t10_mod_42025-09-13 11:11 38K 
[ ]mod_4__t11_mod_42025-09-13 10:39 35K 
[ ]mod_4__t12_mod_42025-09-13 11:13 59K 
[ ]mod_4__t13_mod_42025-09-13 11:14 42K 
[ ]mod_4__t14_mod_42025-09-13 10:40 36K 
[ ]mod_4__t15_mod_42025-09-13 11:16 60K 
[ ]mod_4__t16_mod_42025-09-13 11:18 42K 
[ ]mod_4__t17_mod_42025-09-13 11:19 48K 
[ ]mod_4__t18_mod_42025-09-13 11:21 48K 
[ ]mod_4__t19_mod_42025-09-13 11:23 60K 
[ ]mod_4__t20_mod_42025-09-13 11:25 61K 
[ ]mod_4__t21_mod_42025-09-13 11:27 30K 
[ ]mod_4__t22_mod_42025-09-13 11:28 30K 
[ ]mod_4__t23_mod_42025-09-13 10:42 33K 
[ ]mod_4__t24_mod_42025-09-13 10:43 33K 
[ ]mod_4__t25_mod_42025-09-13 11:29 46K 
[ ]mod_4__t26_mod_42025-09-13 11:31 47K 
[ ]mod_4__t30_mod_42025-09-13 10:45 39K 
[ ]mod_4__t31_mod_42025-09-13 10:46 39K 
[ ]mod_4__t32_mod_42025-09-13 10:48 46K 
[ ]mod_4__t33_mod_42025-09-13 10:49 46K 
[ ]mod_4__t34_mod_42025-09-13 10:51 46K 
[ ]mod_4__t35_mod_42025-09-13 10:52 46K 
[ ]mod_4__t36_mod_42025-09-13 10:54 39K 
[ ]mod_4__t37_mod_42025-09-13 10:55 39K 
[ ]mod_4__t38_mod_42025-09-13 10:57 45K 
[ ]mod_4__t39_mod_42025-09-13 10:58 45K 
[ ]mod_4__t40_mod_42025-09-13 10:59 25K 
[ ]mod_4__t41_mod_42025-09-13 11:33 41K 
[ ]mod_4__t42_mod_42025-09-13 11:35 46K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80