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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ncfcont2__l47_ncfcont22025-09-13 16:45 71K 
[ ]ncfcont2__l48_ncfcont22025-09-13 16:47 49K 
[ ]ncfcont2__l49_ncfcont22025-09-13 16:48 40K 
[ ]ncfcont2__l50_ncfcont22025-09-13 16:50 41K 
[ ]ncfcont2__t1_ncfcont22025-09-13 15:40 52K 
[ ]ncfcont2__t2_ncfcont22025-09-13 15:42 53K 
[ ]ncfcont2__t3_ncfcont22025-09-13 15:44 53K 
[ ]ncfcont2__t4_ncfcont22025-09-13 15:46 84K 
[ ]ncfcont2__t5_ncfcont22025-09-13 15:48 91K 
[ ]ncfcont2__t6_ncfcont22025-09-13 15:50 85K 
[ ]ncfcont2__t7_ncfcont22025-09-13 15:52 80K 
[ ]ncfcont2__t8_ncfcont22025-09-13 15:54 81K 
[ ]ncfcont2__t9_ncfcont22025-09-13 15:57 81K 
[ ]ncfcont2__t10_ncfcont22025-09-13 15:59 76K 
[ ]ncfcont2__t11_ncfcont22025-09-13 16:01 84K 
[ ]ncfcont2__t12_ncfcont22025-09-13 16:03 77K 
[ ]ncfcont2__t13_ncfcont22025-09-13 16:05 58K 
[ ]ncfcont2__t14_ncfcont22025-09-13 16:07 59K 
[ ]ncfcont2__t15_ncfcont22025-09-13 16:09 59K 
[ ]ncfcont2__t16_ncfcont22025-09-13 16:10 63K 
[ ]ncfcont2__t17_ncfcont22025-09-13 16:12 64K 
[ ]ncfcont2__t18_ncfcont22025-09-13 16:14 64K 
[ ]ncfcont2__t19_ncfcont22025-09-13 16:16 54K 
[ ]ncfcont2__t20_ncfcont22025-09-13 16:18 54K 
[ ]ncfcont2__t21_ncfcont22025-09-13 16:20 54K 
[ ]ncfcont2__t22_ncfcont22025-09-13 16:22 57K 
[ ]ncfcont2__t23_ncfcont22025-09-13 16:24 58K 
[ ]ncfcont2__t24_ncfcont22025-09-13 16:25 57K 
[ ]ncfcont2__t25_ncfcont22025-09-13 16:27 60K 
[ ]ncfcont2__t26_ncfcont22025-09-13 16:29 60K 
[ ]ncfcont2__t27_ncfcont22025-09-13 16:31 60K 
[ ]ncfcont2__t28_ncfcont22025-09-13 16:34 121K 
[ ]ncfcont2__t29_ncfcont22025-09-13 16:36 125K 
[ ]ncfcont2__t30_ncfcont22025-09-13 16:39 125K 
[ ]ncfcont2__t31_ncfcont22025-09-13 15:28 57K 
[ ]ncfcont2__t32_ncfcont22025-09-13 15:30 57K 
[ ]ncfcont2__t33_ncfcont22025-09-13 15:31 57K 
[ ]ncfcont2__t34_ncfcont22025-09-13 15:33 59K 
[ ]ncfcont2__t35_ncfcont22025-09-13 15:35 61K 
[ ]ncfcont2__t36_ncfcont22025-09-13 15:37 61K 
[ ]ncfcont2__t37_ncfcont22025-09-13 15:38 61K 
[ ]ncfcont2__t38_ncfcont22025-09-13 16:40 42K 
[ ]ncfcont2__t39_ncfcont22025-09-13 16:42 38K 
[ ]ncfcont2__t41_ncfcont22025-09-13 16:44 70K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80