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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]srings_3__l9_srings_32025-09-11 20:07 69K 
[   ]srings_3__l13_srings_32025-09-11 20:08 43K 
[   ]srings_3__l16_srings_32025-09-11 20:10 64K 
[   ]srings_3__l26_srings_32025-09-11 20:11 60K 
[   ]srings_3__l31_srings_32025-09-11 20:13 44K 
[   ]srings_3__l39_srings_32025-09-11 20:14 42K 
[   ]srings_3__l40_srings_32025-09-11 20:16 60K 
[   ]srings_3__l41_srings_32025-09-11 20:17 59K 
[   ]srings_3__l42_srings_32025-09-11 20:19 59K 
[   ]srings_3__l43_srings_32025-09-11 20:21 61K 
[   ]srings_3__l44_srings_32025-09-11 20:23 61K 
[   ]srings_3__l45_srings_32025-09-11 20:24 56K 
[   ]srings_3__l46_srings_32025-09-11 20:26 58K 
[   ]srings_3__l47_srings_32025-09-11 20:28 58K 
[   ]srings_3__l48_srings_32025-09-11 20:29 58K 
[   ]srings_3__l49_srings_32025-09-11 20:31 58K 
[   ]srings_3__l50_srings_32025-09-11 20:33 60K 
[   ]srings_3__l51_srings_32025-09-11 20:34 49K 
[   ]srings_3__l52_srings_32025-09-11 20:36 62K 
[   ]srings_3__l53_srings_32025-09-11 20:37 58K 
[   ]srings_3__l54_srings_32025-09-11 20:39 60K 
[   ]srings_3__l55_srings_32025-09-11 20:41 62K 
[   ]srings_3__l56_srings_32025-09-11 20:42 57K 
[   ]srings_3__l57_srings_32025-09-11 20:44 49K 
[   ]srings_3__l58_srings_32025-09-11 20:45 49K 
[   ]srings_3__l59_srings_32025-09-11 20:46 53K 
[   ]srings_3__l60_srings_32025-09-11 20:48 49K 
[   ]srings_3__l61_srings_32025-09-11 20:49 49K 
[   ]srings_3__l62_srings_32025-09-11 20:51 49K 
[   ]srings_3__l63_srings_32025-09-11 20:52 50K 
[   ]srings_3__l64_srings_32025-09-11 20:53 50K 
[   ]srings_3__l65_srings_32025-09-11 20:55 49K 
[   ]srings_3__l66_srings_32025-09-11 20:56 53K 
[   ]srings_3__l67_srings_32025-09-11 20:58 49K 
[   ]srings_3__t1_srings_32025-09-11 19:24 88K 
[   ]srings_3__t2_srings_32025-09-11 19:26 56K 
[   ]srings_3__t3_srings_32025-09-11 19:27 53K 
[   ]srings_3__t4_srings_32025-09-11 19:29 69K 
[   ]srings_3__t5_srings_32025-09-11 19:31 96K 
[   ]srings_3__t6_srings_32025-09-11 19:32 69K 
[   ]srings_3__t7_srings_32025-09-11 19:33 37K 
[   ]srings_3__t8_srings_32025-09-11 19:35 61K 
[   ]srings_3__t9_srings_32025-09-11 19:36 41K 
[   ]srings_3__t10_srings_32025-09-11 19:38 70K 
[   ]srings_3__t11_srings_32025-09-11 19:39 38K 
[   ]srings_3__t12_srings_32025-09-11 19:21 47K 
[   ]srings_3__t13_srings_32025-09-11 19:41 70K 
[   ]srings_3__t14_srings_32025-09-11 19:43 101K 
[   ]srings_3__t15_srings_32025-09-11 19:44 50K 
[   ]srings_3__t16_srings_32025-09-11 19:47 103K 
[   ]srings_3__t17_srings_32025-09-11 19:49 95K 
[   ]srings_3__t18_srings_32025-09-11 19:51 97K 
[   ]srings_3__t19_srings_32025-09-11 19:52 39K 
[   ]srings_3__t20_srings_32025-09-11 19:22 37K 
[   ]srings_3__t21_srings_32025-09-11 19:53 38K 
[   ]srings_3__t22_srings_32025-09-11 19:55 98K 
[   ]srings_3__t23_srings_32025-09-11 19:57 39K 
[   ]srings_3__t24_srings_32025-09-11 19:58 49K 
[   ]srings_3__t25_srings_32025-09-11 19:59 59K 
[   ]srings_3__t26_srings_32025-09-11 20:01 39K 
[   ]srings_3__t27_srings_32025-09-11 20:03 92K 
[   ]srings_3__t28_srings_32025-09-11 20:05 109K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80