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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]compl_sp__l13_compl_sp2025-09-11 18:22 63K 
[ ]compl_sp__l34_compl_sp2025-09-11 18:24 72K 
[ ]compl_sp__l35_compl_sp2025-09-11 18:25 37K 
[ ]compl_sp__l36_compl_sp2025-09-11 18:26 45K 
[ ]compl_sp__l39_compl_sp2025-09-11 18:29 103K 
[ ]compl_sp__l40_compl_sp2025-09-11 18:32 85K 
[ ]compl_sp__l47_compl_sp2025-09-11 18:34 88K 
[ ]compl_sp__l58_compl_sp2025-09-11 18:36 111K 
[ ]compl_sp__s1_compl_sp2025-09-11 16:48 90K 
[ ]compl_sp__s2_compl_sp2025-09-11 16:51 90K 
[ ]compl_sp__t1_compl_sp2025-09-11 16:53 62K 
[ ]compl_sp__t2_compl_sp2025-09-11 16:55 68K 
[ ]compl_sp__t3_compl_sp2025-09-11 16:57 61K 
[ ]compl_sp__t4_compl_sp2025-09-11 16:59 73K 
[ ]compl_sp__t5_compl_sp2025-09-11 17:01 69K 
[ ]compl_sp__t6_compl_sp2025-09-11 17:02 42K 
[ ]compl_sp__t7_compl_sp2025-09-11 17:04 69K 
[ ]compl_sp__t8_compl_sp2025-09-11 17:07 113K 
[ ]compl_sp__t9_compl_sp2025-09-11 17:10 134K 
[ ]compl_sp__t11_compl_sp2025-09-11 17:12 67K 
[ ]compl_sp__t12_compl_sp2025-09-11 17:14 69K 
[ ]compl_sp__t13_compl_sp2025-09-11 17:17 87K 
[ ]compl_sp__t14_compl_sp2025-09-11 17:21 151K 
[ ]compl_sp__t15_compl_sp2025-09-11 17:23 74K 
[ ]compl_sp__t16_compl_sp2025-09-11 17:25 66K 
[ ]compl_sp__t17_compl_sp2025-09-11 17:27 59K 
[ ]compl_sp__t18_compl_sp2025-09-11 17:29 68K 
[ ]compl_sp__t19_compl_sp2025-09-11 17:32 177K 
[ ]compl_sp__t20_compl_sp2025-09-11 16:44 822  
[ ]compl_sp__t21_compl_sp2025-09-11 17:34 45K 
[ ]compl_sp__t22_compl_sp2025-09-11 17:37 83K 
[ ]compl_sp__t23_compl_sp2025-09-11 17:39 84K 
[ ]compl_sp__t25_compl_sp2025-09-11 17:41 61K 
[ ]compl_sp__t26_compl_sp2025-09-11 17:42 35K 
[ ]compl_sp__t27_compl_sp2025-09-11 17:44 36K 
[ ]compl_sp__t28_compl_sp2025-09-11 17:45 39K 
[ ]compl_sp__t29_compl_sp2025-09-11 16:45 36K 
[ ]compl_sp__t30_compl_sp2025-09-11 17:47 59K 
[ ]compl_sp__t31_compl_sp2025-09-11 17:49 90K 
[ ]compl_sp__t32_compl_sp2025-09-11 17:51 73K 
[ ]compl_sp__t33_compl_sp2025-09-11 17:54 127K 
[ ]compl_sp__t34_compl_sp2025-09-11 17:57 77K 
[ ]compl_sp__t35_compl_sp2025-09-11 17:58 45K 
[ ]compl_sp__t36_compl_sp2025-09-11 18:00 67K 
[ ]compl_sp__t37_compl_sp2025-09-11 18:04 199K 
[ ]compl_sp__t38_compl_sp2025-09-11 18:05 53K 
[ ]compl_sp__t39_compl_sp2025-09-11 18:08 84K 
[ ]compl_sp__t40_compl_sp2025-09-11 18:10 93K 
[ ]compl_sp__t41_compl_sp2025-09-11 18:12 86K 
[ ]compl_sp__t42_compl_sp2025-09-11 18:15 97K 
[ ]compl_sp__t43_compl_sp2025-09-11 18:18 136K 
[ ]compl_sp__t44_compl_sp2025-09-11 18:20 100K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80