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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]roughs_2__l7_roughs_22025-09-13 01:38 18K 
[ ]roughs_2__l9_roughs_22025-09-13 01:39 30K 
[ ]roughs_2__t1_roughs_22025-09-13 00:53 31K 
[ ]roughs_2__t2_roughs_22025-09-13 00:54 18K 
[ ]roughs_2__t3_roughs_22025-09-13 00:55 16K 
[ ]roughs_2__t4_roughs_22025-09-13 00:56 41K 
[ ]roughs_2__t5_roughs_22025-09-13 00:57 33K 
[ ]roughs_2__t6_roughs_22025-09-13 00:58 26K 
[ ]roughs_2__t7_roughs_22025-09-13 00:59 28K 
[ ]roughs_2__t8_roughs_22025-09-13 01:00 33K 
[ ]roughs_2__t9_roughs_22025-09-13 01:01 30K 
[ ]roughs_2__t10_roughs_22025-09-13 01:02 27K 
[ ]roughs_2__t11_roughs_22025-09-13 01:03 29K 
[ ]roughs_2__t12_roughs_22025-09-13 01:04 29K 
[ ]roughs_2__t13_roughs_22025-09-13 01:05 32K 
[ ]roughs_2__t14_roughs_22025-09-13 01:06 26K 
[ ]roughs_2__t15_roughs_22025-09-13 01:07 28K 
[ ]roughs_2__t16_roughs_22025-09-13 01:08 32K 
[ ]roughs_2__t17_roughs_22025-09-13 01:09 32K 
[ ]roughs_2__t18_roughs_22025-09-13 01:10 24K 
[ ]roughs_2__t19_roughs_22025-09-13 01:10 24K 
[ ]roughs_2__t20_roughs_22025-09-13 01:11 28K 
[ ]roughs_2__t21_roughs_22025-09-13 01:12 30K 
[ ]roughs_2__t22_roughs_22025-09-13 01:13 30K 
[ ]roughs_2__t23_roughs_22025-09-13 01:14 25K 
[ ]roughs_2__t24_roughs_22025-09-13 01:14 27K 
[ ]roughs_2__t25_roughs_22025-09-13 01:15 37K 
[ ]roughs_2__t26_roughs_22025-09-13 01:16 30K 
[ ]roughs_2__t27_roughs_22025-09-13 01:17 39K 
[ ]roughs_2__t28_roughs_22025-09-13 01:18 30K 
[ ]roughs_2__t29_roughs_22025-09-13 01:19 49K 
[ ]roughs_2__t30_roughs_22025-09-13 01:20 42K 
[ ]roughs_2__t31_roughs_22025-09-13 01:22 43K 
[ ]roughs_2__t32_roughs_22025-09-13 01:23 45K 
[ ]roughs_2__t33_roughs_22025-09-13 01:24 46K 
[ ]roughs_2__t34_roughs_22025-09-13 01:26 51K 
[ ]roughs_2__t35_roughs_22025-09-13 01:27 43K 
[ ]roughs_2__t36_roughs_22025-09-13 01:28 34K 
[ ]roughs_2__t37_roughs_22025-09-13 01:30 47K 
[ ]roughs_2__t38_roughs_22025-09-13 01:31 47K 
[ ]roughs_2__t39_roughs_22025-09-13 01:32 34K 
[ ]roughs_2__t40_roughs_22025-09-13 01:33 30K 
[ ]roughs_2__t41_roughs_22025-09-13 01:34 47K 
[ ]roughs_2__t42_roughs_22025-09-13 01:35 44K 
[ ]roughs_2__t43_roughs_22025-09-13 01:36 49K 
[ ]roughs_2__t44_roughs_22025-09-13 01:38 50K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80