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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]dualsp03__l25_dualsp032025-09-11 19:11 113K 
[ ]dualsp03__t1_dualsp032025-09-11 17:58 117K 
[ ]dualsp03__t2_dualsp032025-09-11 18:02 258K 
[ ]dualsp03__t3_dualsp032025-09-11 18:04 102K 
[ ]dualsp03__t4_dualsp032025-09-11 18:06 100K 
[ ]dualsp03__t5_dualsp032025-09-11 18:09 104K 
[ ]dualsp03__t6_dualsp032025-09-11 18:11 105K 
[ ]dualsp03__t7_dualsp032025-09-11 18:14 93K 
[ ]dualsp03__t8_dualsp032025-09-11 18:16 95K 
[ ]dualsp03__t9_dualsp032025-09-11 18:19 125K 
[ ]dualsp03__t10_dualsp032025-09-11 18:22 191K 
[ ]dualsp03__t11_dualsp032025-09-11 18:25 125K 
[ ]dualsp03__t12_dualsp032025-09-11 18:28 114K 
[ ]dualsp03__t13_dualsp032025-09-11 18:31 114K 
[ ]dualsp03__t14_dualsp032025-09-11 18:33 100K 
[ ]dualsp03__t15_dualsp032025-09-11 18:36 157K 
[ ]dualsp03__t16_dualsp032025-09-11 18:39 102K 
[ ]dualsp03__t17_dualsp032025-09-11 18:42 168K 
[ ]dualsp03__t18_dualsp032025-09-11 18:44 97K 
[ ]dualsp03__t19_dualsp032025-09-11 18:47 118K 
[ ]dualsp03__t20_dualsp032025-09-11 18:50 131K 
[ ]dualsp03__t21_dualsp032025-09-11 18:52 131K 
[ ]dualsp03__t22_dualsp032025-09-11 18:54 104K 
[ ]dualsp03__t23_dualsp032025-09-11 18:57 109K 
[ ]dualsp03__t24_dualsp032025-09-11 19:00 127K 
[ ]dualsp03__t26_dualsp032025-09-11 19:03 298K 
[ ]dualsp03__t27_dualsp032025-09-11 19:06 158K 
[ ]dualsp03__t28_dualsp032025-09-11 19:09 84K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80