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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]waybel_8__t1_waybel_82025-09-11 20:02 33K 
[ ]waybel_8__t2_waybel_82025-09-11 20:03 32K 
[ ]waybel_8__t3_waybel_82025-09-11 20:04 41K 
[ ]waybel_8__t4_waybel_82025-09-11 20:05 28K 
[ ]waybel_8__t5_waybel_82025-09-11 20:06 38K 
[ ]waybel_8__t6_waybel_82025-09-11 20:08 33K 
[ ]waybel_8__t7_waybel_82025-09-11 20:09 45K 
[ ]waybel_8__t8_waybel_82025-09-11 20:10 34K 
[ ]waybel_8__t9_waybel_82025-09-11 20:11 32K 
[ ]waybel_8__t10_waybel_82025-09-11 20:13 35K 
[ ]waybel_8__t11_waybel_82025-09-11 19:59 16K 
[ ]waybel_8__t12_waybel_82025-09-11 20:00 12K 
[ ]waybel_8__t13_waybel_82025-09-11 20:00 12K 
[ ]waybel_8__t14_waybel_82025-09-11 20:01 12K 
[ ]waybel_8__t15_waybel_82025-09-11 20:14 33K 
[ ]waybel_8__t16_waybel_82025-09-11 20:15 34K 
[ ]waybel_8__t17_waybel_82025-09-11 20:16 34K 
[ ]waybel_8__t18_waybel_82025-09-11 20:17 39K 
[ ]waybel_8__t19_waybel_82025-09-11 20:19 57K 
[ ]waybel_8__t20_waybel_82025-09-11 20:20 57K 
[ ]waybel_8__t21_waybel_82025-09-11 20:22 35K 
[ ]waybel_8__t22_waybel_82025-09-11 20:23 35K 
[ ]waybel_8__t23_waybel_82025-09-11 20:25 74K 
[ ]waybel_8__t24_waybel_82025-09-11 20:27 78K 
[ ]waybel_8__t25_waybel_82025-09-11 20:29 92K 
[ ]waybel_8__t26_waybel_82025-09-11 20:30 49K 
[ ]waybel_8__t27_waybel_82025-09-11 20:32 54K 
[ ]waybel_8__t28_waybel_82025-09-11 20:33 43K 
[ ]waybel_8__t29_waybel_82025-09-11 20:34 38K 
[ ]waybel_8__t30_waybel_82025-09-11 20:36 42K 
[ ]waybel_8__t31_waybel_82025-09-11 20:37 41K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80