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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]latwal_2__l33_latwal_22025-09-12 05:40 45K 
[ ]latwal_2__l34_latwal_22025-09-12 05:42 45K 
[ ]latwal_2__l35_latwal_22025-09-12 05:44 46K 
[ ]latwal_2__l36_latwal_22025-09-12 05:46 44K 
[ ]latwal_2__l37_latwal_22025-09-12 05:47 46K 
[ ]latwal_2__l38_latwal_22025-09-12 05:49 44K 
[ ]latwal_2__l39_latwal_22025-09-12 05:51 45K 
[ ]latwal_2__l40_latwal_22025-09-12 05:53 46K 
[ ]latwal_2__l41_latwal_22025-09-12 05:55 44K 
[ ]latwal_2__l42_latwal_22025-09-12 05:07 37K 
[ ]latwal_2__l43_latwal_22025-09-12 05:56 45K 
[ ]latwal_2__l44_latwal_22025-09-12 05:58 46K 
[ ]latwal_2__l45_latwal_22025-09-12 06:00 56K 
[ ]latwal_2__l46_latwal_22025-09-12 06:02 52K 
[ ]latwal_2__l52_latwal_22025-09-12 06:03 16K 
[ ]latwal_2__l66_latwal_22025-09-12 06:03 12K 
[ ]latwal_2__l67_latwal_22025-09-12 06:04 12K 
[ ]latwal_2__l73_latwal_22025-09-12 06:06 54K 
[ ]latwal_2__l74_latwal_22025-09-12 06:08 54K 
[ ]latwal_2__l75_latwal_22025-09-12 06:09 45K 
[ ]latwal_2__l76_latwal_22025-09-12 06:11 45K 
[ ]latwal_2__l77_latwal_22025-09-12 06:13 49K 
[ ]latwal_2__l78_latwal_22025-09-12 06:15 49K 
[ ]latwal_2__l79_latwal_22025-09-12 06:17 44K 
[ ]latwal_2__l80_latwal_22025-09-12 06:18 43K 
[ ]latwal_2__l81_latwal_22025-09-12 06:20 51K 
[ ]latwal_2__l82_latwal_22025-09-12 06:22 51K 
[ ]latwal_2__l83_latwal_22025-09-12 06:23 50K 
[ ]latwal_2__l84_latwal_22025-09-12 06:25 48K 
[ ]latwal_2__l85_latwal_22025-09-12 06:27 50K 
[ ]latwal_2__l86_latwal_22025-09-12 06:29 51K 
[ ]latwal_2__l87_latwal_22025-09-12 06:31 50K 
[ ]latwal_2__l88_latwal_22025-09-12 06:32 48K 
[ ]latwal_2__l89_latwal_22025-09-12 06:34 50K 
[ ]latwal_2__l90_latwal_22025-09-12 06:36 51K 
[ ]latwal_2__l91_latwal_22025-09-12 06:38 51K 
[ ]latwal_2__l92_latwal_22025-09-12 06:39 51K 
[ ]latwal_2__t1_latwal_22025-09-12 04:51 17K 
[ ]latwal_2__t2_latwal_22025-09-12 04:52 17K 
[ ]latwal_2__t3_latwal_22025-09-12 04:53 17K 
[ ]latwal_2__t4_latwal_22025-09-12 05:08 17K 
[ ]latwal_2__t5_latwal_22025-09-12 04:54 16K 
[ ]latwal_2__t6_latwal_22025-09-12 04:54 16K 
[ ]latwal_2__t7_latwal_22025-09-12 04:55 18K 
[ ]latwal_2__t8_latwal_22025-09-12 04:56 18K 
[ ]latwal_2__t9_latwal_22025-09-12 04:57 16K 
[ ]latwal_2__t10_latwal_22025-09-12 04:57 16K 
[ ]latwal_2__t11_latwal_22025-09-12 04:58 17K 
[ ]latwal_2__t12_latwal_22025-09-12 04:59 17K 
[ ]latwal_2__t13_latwal_22025-09-12 05:00 17K 
[ ]latwal_2__t14_latwal_22025-09-12 05:09 20K 
[ ]latwal_2__t15_latwal_22025-09-12 05:10 20K 
[ ]latwal_2__t16_latwal_22025-09-12 05:01 22K 
[ ]latwal_2__t17_latwal_22025-09-12 05:11 23K 
[ ]latwal_2__t18_latwal_22025-09-12 05:12 25K 
[ ]latwal_2__t19_latwal_22025-09-12 05:14 25K 
[ ]latwal_2__t20_latwal_22025-09-12 05:15 26K 
[ ]latwal_2__t21_latwal_22025-09-12 05:02 17K 
[ ]latwal_2__t22_latwal_22025-09-12 05:03 19K 
[ ]latwal_2__t23_latwal_22025-09-12 05:16 20K 
[ ]latwal_2__t24_latwal_22025-09-12 05:17 20K 
[ ]latwal_2__t25_latwal_22025-09-12 05:18 20K 
[ ]latwal_2__t26_latwal_22025-09-12 05:19 28K 
[ ]latwal_2__t27_latwal_22025-09-12 05:20 31K 
[ ]latwal_2__t28_latwal_22025-09-12 05:22 34K 
[ ]latwal_2__t29_latwal_22025-09-12 05:24 46K 
[ ]latwal_2__t30_latwal_22025-09-12 05:26 63K 
[ ]latwal_2__t31_latwal_22025-09-12 05:29 69K 
[ ]latwal_2__t32_latwal_22025-09-12 05:04 46K 
[ ]latwal_2__t33_latwal_22025-09-12 05:06 51K 
[ ]latwal_2__t34_latwal_22025-09-12 05:30 43K 
[ ]latwal_2__t35_latwal_22025-09-12 05:32 57K 
[ ]latwal_2__t36_latwal_22025-09-12 05:34 54K 
[ ]latwal_2__t37_latwal_22025-09-12 05:37 65K 
[ ]latwal_2__t38_latwal_22025-09-12 05:38 19K 
[ ]latwal_2__t39_latwal_22025-09-12 05:39 19K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80