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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fintopo3__t1_fintopo32025-09-13 22:00 16K 
[ ]fintopo3__t2_fintopo32025-09-13 22:01 16K 
[ ]fintopo3__t3_fintopo32025-09-13 22:02 18K 
[ ]fintopo3__t4_fintopo32025-09-13 22:03 18K 
[ ]fintopo3__t5_fintopo32025-09-13 22:04 15K 
[ ]fintopo3__t6_fintopo32025-09-13 22:04 17K 
[ ]fintopo3__t7_fintopo32025-09-13 22:05 17K 
[ ]fintopo3__t8_fintopo32025-09-13 22:06 18K 
[ ]fintopo3__t9_fintopo32025-09-13 22:07 17K 
[ ]fintopo3__t10_fintopo32025-09-13 22:08 17K 
[ ]fintopo3__t11_fintopo32025-09-13 22:08 18K 
[ ]fintopo3__t12_fintopo32025-09-13 22:09 21K 
[ ]fintopo3__t13_fintopo32025-09-13 21:52 22K 
[ ]fintopo3__t14_fintopo32025-09-13 21:52 21K 
[ ]fintopo3__t15_fintopo32025-09-13 22:10 22K 
[ ]fintopo3__t16_fintopo32025-09-13 22:11 24K 
[ ]fintopo3__t17_fintopo32025-09-13 22:12 25K 
[ ]fintopo3__t18_fintopo32025-09-13 21:53 22K 
[ ]fintopo3__t19_fintopo32025-09-13 21:54 21K 
[ ]fintopo3__t20_fintopo32025-09-13 22:13 22K 
[ ]fintopo3__t21_fintopo32025-09-13 22:14 24K 
[ ]fintopo3__t22_fintopo32025-09-13 22:15 24K 
[ ]fintopo3__t23_fintopo32025-09-13 22:16 23K 
[ ]fintopo3__t24_fintopo32025-09-13 22:17 23K 
[ ]fintopo3__t25_fintopo32025-09-13 22:18 22K 
[ ]fintopo3__t26_fintopo32025-09-13 22:19 22K 
[ ]fintopo3__t27_fintopo32025-09-13 22:20 26K 
[ ]fintopo3__t28_fintopo32025-09-13 22:20 21K 
[ ]fintopo3__t29_fintopo32025-09-13 22:21 24K 
[ ]fintopo3__t30_fintopo32025-09-13 22:22 23K 
[ ]fintopo3__t31_fintopo32025-09-13 21:55 22K 
[ ]fintopo3__t32_fintopo32025-09-13 21:56 21K 
[ ]fintopo3__t33_fintopo32025-09-13 22:23 22K 
[ ]fintopo3__t34_fintopo32025-09-13 22:24 24K 
[ ]fintopo3__t35_fintopo32025-09-13 22:25 25K 
[ ]fintopo3__t36_fintopo32025-09-13 22:26 23K 
[ ]fintopo3__t37_fintopo32025-09-13 22:27 22K 
[ ]fintopo3__t38_fintopo32025-09-13 21:57 24K 
[ ]fintopo3__t39_fintopo32025-09-13 21:58 24K 
[ ]fintopo3__t40_fintopo32025-09-13 22:28 24K 
[ ]fintopo3__t41_fintopo32025-09-13 22:29 26K 
[ ]fintopo3__t42_fintopo32025-09-13 22:30 26K 
[ ]fintopo3__t43_fintopo32025-09-13 22:31 25K 
[ ]fintopo3__t44_fintopo32025-09-13 22:32 24K 
[ ]fintopo3__t45_fintopo32025-09-13 22:33 27K 
[ ]fintopo3__t46_fintopo32025-09-13 22:34 23K 
[ ]fintopo3__t47_fintopo32025-09-13 21:59 22K 
[ ]fintopo3__t48_fintopo32025-09-13 22:00 23K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80