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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]goedelcp__l24_goedelcp2025-09-12 23:24 33K 
[ ]goedelcp__t1_goedelcp2025-09-12 22:31 23K 
[ ]goedelcp__t2_goedelcp2025-09-12 22:37 79K 
[ ]goedelcp__t3_goedelcp2025-09-12 22:38 54K 
[ ]goedelcp__t4_goedelcp2025-09-12 22:33 37K 
[ ]goedelcp__t5_goedelcp2025-09-12 22:40 45K 
[ ]goedelcp__t6_goedelcp2025-09-12 22:41 52K 
[ ]goedelcp__t7_goedelcp2025-09-12 22:34 37K 
[ ]goedelcp__t8_goedelcp2025-09-12 22:43 50K 
[ ]goedelcp__t9_goedelcp2025-09-12 22:44 41K 
[ ]goedelcp__t10_goedelcp2025-09-12 22:45 49K 
[ ]goedelcp__t11_goedelcp2025-09-12 22:47 42K 
[ ]goedelcp__t12_goedelcp2025-09-12 22:48 48K 
[ ]goedelcp__t13_goedelcp2025-09-12 22:49 35K 
[ ]goedelcp__t14_goedelcp2025-09-12 22:50 27K 
[ ]goedelcp__t15_goedelcp2025-09-12 22:52 70K 
[ ]goedelcp__t16_goedelcp2025-09-12 22:54 89K 
[ ]goedelcp__t17_goedelcp2025-09-12 22:56 43K 
[ ]goedelcp__t18_goedelcp2025-09-12 22:57 47K 
[ ]goedelcp__t19_goedelcp2025-09-12 22:58 20K 
[ ]goedelcp__t20_goedelcp2025-09-12 22:59 23K 
[ ]goedelcp__t21_goedelcp2025-09-12 23:00 53K 
[ ]goedelcp__t22_goedelcp2025-09-12 23:02 24K 
[ ]goedelcp__t23_goedelcp2025-09-12 23:03 45K 
[ ]goedelcp__t24_goedelcp2025-09-12 22:35 24K 
[ ]goedelcp__t25_goedelcp2025-09-12 23:04 48K 
[ ]goedelcp__t26_goedelcp2025-09-12 23:05 24K 
[ ]goedelcp__t27_goedelcp2025-09-12 23:06 26K 
[ ]goedelcp__t28_goedelcp2025-09-12 23:07 21K 
[ ]goedelcp__t29_goedelcp2025-09-12 23:08 23K 
[ ]goedelcp__t30_goedelcp2025-09-12 23:10 39K 
[ ]goedelcp__t31_goedelcp2025-09-12 23:14 130K 
[ ]goedelcp__t32_goedelcp2025-09-12 23:15 44K 
[ ]goedelcp__t33_goedelcp2025-09-12 23:17 61K 
[ ]goedelcp__t34_goedelcp2025-09-12 23:18 39K 
[ ]goedelcp__t35_goedelcp2025-09-12 23:19 34K 
[ ]goedelcp__t36_goedelcp2025-09-12 23:20 27K 
[ ]goedelcp__t37_goedelcp2025-09-12 23:22 42K 
[ ]goedelcp__t38_goedelcp2025-09-12 23:23 44K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80