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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]margrel1__s1_margrel12025-09-14 02:36 24K 
[ ]margrel1__s2_margrel12025-09-14 02:37 43K 
[ ]margrel1__s3_margrel12025-09-14 02:38 43K 
[ ]margrel1__t1_margrel12025-09-14 02:27 26K 
[ ]margrel1__t2_margrel12025-09-14 02:39 22K 
[ ]margrel1__t3_margrel12025-09-14 02:28 21K 
[ ]margrel1__t4_margrel12025-09-14 02:40 28K 
[ ]margrel1__t5_margrel12025-09-14 02:41 23K 
[ ]margrel1__t6_margrel12025-09-14 02:42 42K 
[ ]margrel1__t7_margrel12025-09-14 02:43 44K 
[ ]margrel1__t8_margrel12025-09-14 02:45 53K 
[ ]margrel1__t9_margrel12025-09-14 02:46 43K 
[ ]margrel1__t11_margrel12025-09-14 02:29 36K 
[ ]margrel1__t12_margrel12025-09-14 02:30 30K 
[ ]margrel1__t13_margrel12025-09-14 02:31 25K 
[ ]margrel1__t14_margrel12025-09-14 02:32 28K 
[ ]margrel1__t15_margrel12025-09-14 02:33 26K 
[ ]margrel1__t16_margrel12025-09-14 02:34 27K 
[ ]margrel1__t17_margrel12025-09-14 02:35 24K 
[ ]margrel1__t18_margrel12025-09-14 02:47 57K 
[ ]margrel1__t19_margrel12025-09-14 02:48 54K 
[ ]margrel1__t20_margrel12025-09-14 02:50 77K 
[ ]margrel1__t21_margrel12025-09-14 02:51 42K 
[ ]margrel1__t22_margrel12025-09-14 02:52 49K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80