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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]int_5__l3_int_52025-09-13 16:09 66K 
[ ]int_5__l15_int_52025-09-13 16:11 93K 
[ ]int_5__l33_int_52025-09-13 16:13 58K 
[ ]int_5__l55_int_52025-09-13 14:28 62K 
[ ]int_5__t1_int_52025-09-13 14:29 78K 
[ ]int_5__t2_int_52025-09-13 14:31 79K 
[ ]int_5__t3_int_52025-09-13 14:32 88K 
[ ]int_5__t4_int_52025-09-13 14:34 84K 
[ ]int_5__t5_int_52025-09-13 14:36 233K 
[ ]int_5__t6_int_52025-09-13 14:39 236K 
[ ]int_5__t7_int_52025-09-13 14:40 92K 
[ ]int_5__t8_int_52025-09-13 14:43 214K 
[ ]int_5__t9_int_52025-09-13 14:44 65K 
[ ]int_5__t10_int_52025-09-13 14:45 72K 
[ ]int_5__t11_int_52025-09-13 14:47 81K 
[ ]int_5__t12_int_52025-09-13 14:49 56K 
[ ]int_5__t13_int_52025-09-13 14:50 54K 
[ ]int_5__t14_int_52025-09-13 14:52 94K 
[ ]int_5__t15_int_52025-09-13 14:53 172K 
[ ]int_5__t16_int_52025-09-13 14:56 290K 
[ ]int_5__t17_int_52025-09-13 14:57 180K 
[ ]int_5__t18_int_52025-09-13 15:00 248K 
[ ]int_5__t19_int_52025-09-13 15:02 176K 
[ ]int_5__t20_int_52025-09-13 15:04 175K 
[ ]int_5__t21_int_52025-09-13 15:05 175K 
[ ]int_5__t22_int_52025-09-13 15:07 92K 
[ ]int_5__t23_int_52025-09-13 15:09 417K 
[ ]int_5__t24_int_52025-09-13 15:11 176K 
[ ]int_5__t25_int_52025-09-13 15:12 66K 
[ ]int_5__t26_int_52025-09-13 15:14 93K 
[ ]int_5__t27_int_52025-09-13 15:15 54K 
[ ]int_5__t28_int_52025-09-13 15:17 177K 
[ ]int_5__t29_int_52025-09-13 15:18 277K 
[ ]int_5__t30_int_52025-09-13 15:20 279K 
[ ]int_5__t31_int_52025-09-13 15:22 106K 
[ ]int_5__t32_int_52025-09-13 15:24 123K 
[ ]int_5__t33_int_52025-09-13 15:26 125K 
[ ]int_5__t34_int_52025-09-13 15:28 311K 
[ ]int_5__t35_int_52025-09-13 15:30 129K 
[ ]int_5__t36_int_52025-09-13 15:32 279K 
[ ]int_5__t37_int_52025-09-13 15:33 566K 
[ ]int_5__t38_int_52025-09-13 15:35 814K 
[ ]int_5__t39_int_52025-09-13 15:37 69K 
[ ]int_5__t40_int_52025-09-13 15:39 150K 
[ ]int_5__t41_int_52025-09-13 15:43 652K 
[ ]int_5__t42_int_52025-09-13 15:47 4.3M 
[ ]int_5__t43_int_52025-09-13 15:49 1.9M 
[ ]int_5__t44_int_52025-09-13 15:51 3.0M 
[ ]int_5__t45_int_52025-09-13 15:53 274K 
[ ]int_5__t46_int_52025-09-13 15:55 120K 
[ ]int_5__t47_int_52025-09-13 15:57 139K 
[ ]int_5__t48_int_52025-09-13 15:59 132K 
[ ]int_5__t49_int_52025-09-13 16:04 681K 
[ ]int_5__t50_int_52025-09-13 16:06 813K 
[ ]int_5__t51_int_52025-09-13 16:08 565K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80