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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]waybel32__t1_waybel322025-09-12 17:28 55K 
[ ]waybel32__t2_waybel322025-09-12 17:30 80K 
[ ]waybel32__t3_waybel322025-09-12 17:31 24K 
[ ]waybel32__t4_waybel322025-09-12 17:26 24K 
[ ]waybel32__t5_waybel322025-09-12 17:33 49K 
[ ]waybel32__t6_waybel322025-09-12 17:35 63K 
[ ]waybel32__t7_waybel322025-09-12 17:36 42K 
[ ]waybel32__t8_waybel322025-09-12 17:37 35K 
[ ]waybel32__t9_waybel322025-09-12 17:39 47K 
[ ]waybel32__t10_waybel322025-09-12 17:41 78K 
[ ]waybel32__t11_waybel322025-09-12 17:43 58K 
[ ]waybel32__t12_waybel322025-09-12 17:45 58K 
[ ]waybel32__t13_waybel322025-09-12 17:46 47K 
[ ]waybel32__t14_waybel322025-09-12 17:48 55K 
[ ]waybel32__t15_waybel322025-09-12 17:50 57K 
[ ]waybel32__t16_waybel322025-09-12 17:51 38K 
[ ]waybel32__t17_waybel322025-09-12 17:52 36K 
[ ]waybel32__t18_waybel322025-09-12 17:54 37K 
[ ]waybel32__t19_waybel322025-09-12 17:55 50K 
[ ]waybel32__t20_waybel322025-09-12 17:58 67K 
[ ]waybel32__t21_waybel322025-09-12 17:59 31K 
[ ]waybel32__t22_waybel322025-09-12 18:01 29K 
[ ]waybel32__t23_waybel322025-09-12 18:02 44K 
[ ]waybel32__t24_waybel322025-09-12 18:04 50K 
[ ]waybel32__t25_waybel322025-09-12 18:06 50K 
[ ]waybel32__t26_waybel322025-09-12 18:08 55K 
[ ]waybel32__t27_waybel322025-09-12 18:09 56K 
[ ]waybel32__t28_waybel322025-09-12 18:12 66K 
[ ]waybel32__t29_waybel322025-09-12 18:14 63K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80