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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]classes3__s1_classes32025-09-13 02:01 46K 
[   ]classes3__t1_classes32025-09-13 02:02 33K 
[   ]classes3__t2_classes32025-09-13 02:04 45K 
[   ]classes3__t3_classes32025-09-13 02:05 44K 
[   ]classes3__t4_classes32025-09-13 02:06 39K 
[   ]classes3__t5_classes32025-09-13 02:08 37K 
[   ]classes3__t6_classes32025-09-13 02:09 37K 
[   ]classes3__t7_classes32025-09-13 02:00 37K 
[   ]classes3__t8_classes32025-09-13 02:10 37K 
[   ]classes3__t9_classes32025-09-13 02:11 29K 
[   ]classes3__t10_classes32025-09-13 02:12 38K 
[   ]classes3__t11_classes32025-09-13 02:13 38K 
[   ]classes3__t12_classes32025-09-13 02:15 43K 
[   ]classes3__t13_classes32025-09-13 02:16 37K 
[   ]classes3__t14_classes32025-09-13 02:18 46K 
[   ]classes3__t15_classes32025-09-13 02:19 43K 
[   ]classes3__t16_classes32025-09-13 02:21 63K 
[   ]classes3__t17_classes32025-09-13 02:23 47K 
[   ]classes3__t18_classes32025-09-13 02:24 40K 
[   ]classes3__t19_classes32025-09-13 02:26 90K 
[   ]classes3__t20_classes32025-09-13 02:27 43K 
[   ]classes3__t21_classes32025-09-13 02:28 39K 
[   ]classes3__t22_classes32025-09-13 02:30 40K 

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