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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]dtconstr__l3_dtconstr2025-09-12 10:06 51K 
[ ]dtconstr__l12_dtconstr2025-09-12 08:38 66K 
[ ]dtconstr__l13_dtconstr2025-09-12 08:40 57K 
[ ]dtconstr__l14_dtconstr2025-09-12 08:42 66K 
[ ]dtconstr__l15_dtconstr2025-09-12 08:44 66K 
[ ]dtconstr__l16_dtconstr2025-09-12 08:46 66K 
[ ]dtconstr__l17_dtconstr2025-09-12 08:48 66K 
[ ]dtconstr__l18_dtconstr2025-09-12 08:49 55K 
[ ]dtconstr__l19_dtconstr2025-09-12 10:08 67K 
[ ]dtconstr__l20_dtconstr2025-09-12 08:51 55K 
[ ]dtconstr__l21_dtconstr2025-09-12 10:10 68K 
[ ]dtconstr__l22_dtconstr2025-09-12 08:53 55K 
[ ]dtconstr__l23_dtconstr2025-09-12 08:55 64K 
[ ]dtconstr__l24_dtconstr2025-09-12 08:56 57K 
[ ]dtconstr__l25_dtconstr2025-09-12 10:11 60K 
[ ]dtconstr__l26_dtconstr2025-09-12 08:58 57K 
[ ]dtconstr__l27_dtconstr2025-09-12 09:00 73K 
[ ]dtconstr__l31_dtconstr2025-09-12 10:14 96K 
[ ]dtconstr__l35_dtconstr2025-09-12 09:02 57K 
[ ]dtconstr__l36_dtconstr2025-09-12 09:03 57K 
[ ]dtconstr__l42_dtconstr2025-09-12 10:16 96K 
[ ]dtconstr__l43_dtconstr2025-09-12 10:19 126K 
[ ]dtconstr__s1_dtconstr2025-09-12 09:05 60K 
[ ]dtconstr__s2_dtconstr2025-09-12 09:07 60K 
[ ]dtconstr__s3_dtconstr2025-09-12 09:10 112K 
[ ]dtconstr__s4_dtconstr2025-09-12 09:14 126K 
[ ]dtconstr__s5_dtconstr2025-09-12 09:16 114K 
[ ]dtconstr__s6_dtconstr2025-09-12 09:19 105K 
[ ]dtconstr__s7_dtconstr2025-09-12 09:22 130K 
[ ]dtconstr__s8_dtconstr2025-09-12 09:25 139K 
[ ]dtconstr__s9_dtconstr2025-09-12 09:27 95K 
[ ]dtconstr__t1_dtconstr2025-09-12 09:29 52K 
[ ]dtconstr__t2_dtconstr2025-09-12 09:30 63K 
[ ]dtconstr__t3_dtconstr2025-09-12 08:37 47K 
[ ]dtconstr__t4_dtconstr2025-09-12 09:32 62K 
[ ]dtconstr__t5_dtconstr2025-09-12 09:34 74K 
[ ]dtconstr__t6_dtconstr2025-09-12 09:36 79K 
[ ]dtconstr__t7_dtconstr2025-09-12 09:37 57K 
[ ]dtconstr__t8_dtconstr2025-09-12 09:39 44K 
[ ]dtconstr__t9_dtconstr2025-09-12 09:41 94K 
[ ]dtconstr__t10_dtconstr2025-09-12 09:43 94K 
[ ]dtconstr__t11_dtconstr2025-09-12 09:46 132K 
[ ]dtconstr__t12_dtconstr2025-09-12 09:48 67K 
[ ]dtconstr__t13_dtconstr2025-09-12 09:51 116K 
[ ]dtconstr__t14_dtconstr2025-09-12 09:53 109K 
[ ]dtconstr__t15_dtconstr2025-09-12 09:56 160K 
[ ]dtconstr__t16_dtconstr2025-09-12 09:59 149K 
[ ]dtconstr__t17_dtconstr2025-09-12 10:02 160K 
[ ]dtconstr__t18_dtconstr2025-09-12 10:05 149K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80