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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]tietze__t1_tietze2025-09-12 02:56 53K 
[ ]tietze__t2_tietze2025-09-12 02:58 48K 
[ ]tietze__t3_tietze2025-09-12 02:59 48K 
[ ]tietze__t4_tietze2025-09-12 03:00 55K 
[ ]tietze__t5_tietze2025-09-12 03:02 56K 
[ ]tietze__t6_tietze2025-09-12 03:03 71K 
[ ]tietze__t8_tietze2025-09-12 03:05 71K 
[ ]tietze__t9_tietze2025-09-12 03:07 124K 
[ ]tietze__t10_tietze2025-09-12 03:08 93K 
[ ]tietze__t11_tietze2025-09-12 03:10 119K 
[ ]tietze__t12_tietze2025-09-12 03:12 76K 
[ ]tietze__t13_tietze2025-09-12 03:14 79K 
[ ]tietze__t14_tietze2025-09-12 03:16 76K 
[ ]tietze__t15_tietze2025-09-12 03:17 45K 
[ ]tietze__t16_tietze2025-09-12 03:18 52K 
[ ]tietze__t17_tietze2025-09-12 03:21 706K 
[ ]tietze__t18_tietze2025-09-12 03:23 93K 
[ ]tietze__t19_tietze2025-09-12 03:25 81K 
[ ]tietze__t20_tietze2025-09-12 03:27 191K 
[ ]tietze__t21_tietze2025-09-12 03:29 111K 
[ ]tietze__t22_tietze2025-09-12 03:31 44K 
[ ]tietze__t23_tietze2025-09-12 03:34 1.5M 
[ ]tietze__t24_tietze2025-09-12 03:37 124K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80