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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]srings_1__l3_srings_12025-09-12 22:38 46K 
[ ]srings_1__l4_srings_12025-09-12 22:39 45K 
[ ]srings_1__l5_srings_12025-09-12 22:41 59K 
[ ]srings_1__l6_srings_12025-09-12 22:42 59K 
[ ]srings_1__l8_srings_12025-09-12 22:45 127K 
[ ]srings_1__l10_srings_12025-09-12 22:47 47K 
[ ]srings_1__l11_srings_12025-09-12 22:48 48K 
[ ]srings_1__l14_srings_12025-09-12 22:50 94K 
[ ]srings_1__l24_srings_12025-09-12 22:53 101K 
[ ]srings_1__l26_srings_12025-09-12 22:56 105K 
[ ]srings_1__l28_srings_12025-09-12 22:58 119K 
[ ]srings_1__l31_srings_12025-09-12 22:59 43K 
[ ]srings_1__l33_srings_12025-09-12 23:00 49K 
[ ]srings_1__t1_srings_12025-09-12 21:59 51K 
[ ]srings_1__t2_srings_12025-09-12 22:01 48K 
[ ]srings_1__t3_srings_12025-09-12 22:02 39K 
[ ]srings_1__t4_srings_12025-09-12 22:04 65K 
[ ]srings_1__t5_srings_12025-09-12 22:07 70K 
[ ]srings_1__t6_srings_12025-09-12 22:08 54K 
[ ]srings_1__t7_srings_12025-09-12 22:09 49K 
[ ]srings_1__t8_srings_12025-09-12 22:12 97K 
[ ]srings_1__t9_srings_12025-09-12 22:13 46K 
[ ]srings_1__t10_srings_12025-09-12 22:15 60K 
[ ]srings_1__t11_srings_12025-09-12 22:17 66K 
[ ]srings_1__t12_srings_12025-09-12 22:18 60K 
[ ]srings_1__t13_srings_12025-09-12 22:20 59K 
[ ]srings_1__t14_srings_12025-09-12 22:21 61K 
[ ]srings_1__t15_srings_12025-09-12 22:24 132K 
[ ]srings_1__t16_srings_12025-09-12 22:26 111K 
[ ]srings_1__t17_srings_12025-09-12 22:29 67K 
[ ]srings_1__t18_srings_12025-09-12 22:31 64K 
[ ]srings_1__t19_srings_12025-09-12 22:32 51K 
[ ]srings_1__t20_srings_12025-09-12 22:34 62K 
[ ]srings_1__t21_srings_12025-09-12 22:35 57K 
[ ]srings_1__t22_srings_12025-09-12 22:37 44K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80