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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]dualsp06__l1_dualsp062025-09-13 17:26 138K 
[ ]dualsp06__t1_dualsp062025-09-13 16:33 79K 
[ ]dualsp06__t2_dualsp062025-09-13 16:36 96K 
[ ]dualsp06__t3_dualsp062025-09-13 16:29 93K 
[ ]dualsp06__t4_dualsp062025-09-13 16:31 90K 
[ ]dualsp06__t5_dualsp062025-09-13 16:38 96K 
[ ]dualsp06__t6_dualsp062025-09-13 16:40 92K 
[ ]dualsp06__t7_dualsp062025-09-13 16:42 98K 
[ ]dualsp06__t8_dualsp062025-09-13 16:44 97K 
[ ]dualsp06__t9_dualsp062025-09-13 16:46 93K 
[ ]dualsp06__t10_dualsp062025-09-13 16:48 92K 
[ ]dualsp06__t11_dualsp062025-09-13 16:50 110K 
[ ]dualsp06__t12_dualsp062025-09-13 16:52 98K 
[ ]dualsp06__t13_dualsp062025-09-13 16:55 99K 
[ ]dualsp06__t14_dualsp062025-09-13 16:57 92K 
[ ]dualsp06__t15_dualsp062025-09-13 16:59 91K 
[ ]dualsp06__t16_dualsp062025-09-13 17:01 90K 
[ ]dualsp06__t17_dualsp062025-09-13 17:03 90K 
[ ]dualsp06__t18_dualsp062025-09-13 17:05 73K 
[ ]dualsp06__t19_dualsp062025-09-13 17:07 106K 
[ ]dualsp06__t20_dualsp062025-09-13 17:10 102K 
[ ]dualsp06__t21_dualsp062025-09-13 17:14 217K 
[ ]dualsp06__t22_dualsp062025-09-13 17:17 139K 
[ ]dualsp06__t23_dualsp062025-09-13 17:19 98K 
[ ]dualsp06__t24_dualsp062025-09-13 17:21 105K 
[ ]dualsp06__t25_dualsp062025-09-13 17:24 157K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80