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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]srings_4__l1_srings_42025-09-12 19:10 44K 
[ ]srings_4__l4_srings_42025-09-12 19:11 42K 
[ ]srings_4__l5_srings_42025-09-12 19:12 42K 
[ ]srings_4__l6_srings_42025-09-12 19:13 40K 
[ ]srings_4__l11_srings_42025-09-12 19:14 48K 
[ ]srings_4__l22_srings_42025-09-12 19:17 58K 
[ ]srings_4__l25_srings_42025-09-12 19:18 61K 
[ ]srings_4__l35_srings_42025-09-12 19:20 37K 
[ ]srings_4__l51_srings_42025-09-12 19:21 70K 
[ ]srings_4__s1_srings_42025-09-12 18:18 45K 
[ ]srings_4__t1_srings_42025-09-12 18:12 44K 
[ ]srings_4__t2_srings_42025-09-12 18:19 43K 
[ ]srings_4__t3_srings_42025-09-12 18:21 44K 
[ ]srings_4__t4_srings_42025-09-12 18:22 43K 
[ ]srings_4__t5_srings_42025-09-12 18:23 33K 
[ ]srings_4__t6_srings_42025-09-12 18:24 47K 
[ ]srings_4__t7_srings_42025-09-12 18:26 48K 
[ ]srings_4__t8_srings_42025-09-12 18:27 52K 
[ ]srings_4__t9_srings_42025-09-12 18:29 61K 
[ ]srings_4__t10_srings_42025-09-12 18:30 63K 
[ ]srings_4__t11_srings_42025-09-12 18:32 63K 
[ ]srings_4__t12_srings_42025-09-12 18:13 48K 
[ ]srings_4__t14_srings_42025-09-12 18:33 40K 
[ ]srings_4__t15_srings_42025-09-12 18:35 40K 
[ ]srings_4__t16_srings_42025-09-12 18:14 38K 
[ ]srings_4__t17_srings_42025-09-12 18:15 47K 
[ ]srings_4__t18_srings_42025-09-12 18:36 41K 
[ ]srings_4__t19_srings_42025-09-12 18:37 41K 
[ ]srings_4__t20_srings_42025-09-12 18:38 47K 
[ ]srings_4__t21_srings_42025-09-12 18:40 49K 
[ ]srings_4__t22_srings_42025-09-12 18:41 51K 
[ ]srings_4__t23_srings_42025-09-12 18:43 67K 
[ ]srings_4__t24_srings_42025-09-12 18:44 59K 
[ ]srings_4__t25_srings_42025-09-12 18:46 55K 
[ ]srings_4__t26_srings_42025-09-12 18:47 53K 
[ ]srings_4__t27_srings_42025-09-12 18:49 53K 
[ ]srings_4__t28_srings_42025-09-12 18:52 72K 
[ ]srings_4__t29_srings_42025-09-12 18:53 45K 
[ ]srings_4__t30_srings_42025-09-12 18:54 48K 
[ ]srings_4__t31_srings_42025-09-12 18:57 108K 
[ ]srings_4__t32_srings_42025-09-12 18:59 64K 
[ ]srings_4__t33_srings_42025-09-12 19:00 68K 
[ ]srings_4__t34_srings_42025-09-12 19:02 51K 
[ ]srings_4__t35_srings_42025-09-12 19:03 47K 
[ ]srings_4__t36_srings_42025-09-12 19:05 49K 
[ ]srings_4__t37_srings_42025-09-12 19:06 67K 
[ ]srings_4__t38_srings_42025-09-12 18:17 43K 
[ ]srings_4__t39_srings_42025-09-12 19:07 44K 
[ ]srings_4__t40_srings_42025-09-12 19:08 44K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80