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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]realset2__l3_realset22025-09-14 00:25 11K 
[ ]realset2__l4_realset22025-09-14 00:26 11K 
[ ]realset2__l5_realset22025-09-14 00:26 11K 
[ ]realset2__l6_realset22025-09-14 00:27 11K 
[ ]realset2__l7_realset22025-09-14 00:27 11K 
[ ]realset2__l8_realset22025-09-14 00:28 11K 
[ ]realset2__l9_realset22025-09-14 00:29 25K 
[ ]realset2__l10_realset22025-09-14 00:30 25K 
[ ]realset2__l11_realset22025-09-14 00:31 25K 
[ ]realset2__l12_realset22025-09-14 01:09 28K 
[ ]realset2__l13_realset22025-09-14 01:10 28K 
[ ]realset2__l14_realset22025-09-14 01:11 28K 
[ ]realset2__l15_realset22025-09-14 01:12 27K 
[ ]realset2__l16_realset22025-09-14 00:32 25K 
[ ]realset2__l17_realset22025-09-14 00:33 25K 
[ ]realset2__l18_realset22025-09-14 00:34 25K 
[ ]realset2__l19_realset22025-09-14 01:13 28K 
[ ]realset2__l20_realset22025-09-14 01:14 28K 
[ ]realset2__l21_realset22025-09-14 01:15 28K 
[ ]realset2__l22_realset22025-09-14 01:16 27K 
[ ]realset2__l23_realset22025-09-14 00:35 18K 
[ ]realset2__l24_realset22025-09-14 00:36 22K 
[ ]realset2__l25_realset22025-09-14 01:17 27K 
[ ]realset2__l26_realset22025-09-14 00:37 19K 
[ ]realset2__l27_realset22025-09-14 00:37 22K 
[ ]realset2__l28_realset22025-09-14 00:38 22K 
[ ]realset2__l29_realset22025-09-14 01:18 26K 
[ ]realset2__l30_realset22025-09-14 00:40 41K 
[ ]realset2__l31_realset22025-09-14 01:19 45K 
[ ]realset2__l32_realset22025-09-14 00:41 44K 
[ ]realset2__l33_realset22025-09-14 01:21 44K 
[ ]realset2__l34_realset22025-09-14 00:42 26K 
[ ]realset2__l35_realset22025-09-14 01:22 42K 
[ ]realset2__l36_realset22025-09-14 01:24 47K 
[ ]realset2__l39_realset22025-09-14 00:44 46K 
[ ]realset2__t1_realset22025-09-14 00:45 43K 
[ ]realset2__t2_realset22025-09-14 00:10 38K 
[ ]realset2__t3_realset22025-09-14 00:47 33K 
[ ]realset2__t4_realset22025-09-14 00:49 57K 
[ ]realset2__t5_realset22025-09-14 00:50 57K 
[ ]realset2__t6_realset22025-09-14 00:52 57K 
[ ]realset2__t7_realset22025-09-14 00:54 57K 
[ ]realset2__t8_realset22025-09-14 00:56 42K 
[ ]realset2__t9_realset22025-09-14 00:57 38K 
[ ]realset2__t10_realset22025-09-14 00:11 40K 
[ ]realset2__t11_realset22025-09-14 00:13 39K 
[ ]realset2__t12_realset22025-09-14 00:14 39K 
[ ]realset2__t13_realset22025-09-14 00:16 38K 
[ ]realset2__t14_realset22025-09-14 00:17 38K 
[ ]realset2__t15_realset22025-09-14 00:19 37K 
[ ]realset2__t16_realset22025-09-14 00:20 40K 
[ ]realset2__t17_realset22025-09-14 00:21 40K 
[ ]realset2__t18_realset22025-09-14 00:23 38K 
[ ]realset2__t19_realset22025-09-14 00:59 39K 
[ ]realset2__t20_realset22025-09-14 01:00 39K 
[ ]realset2__t21_realset22025-09-14 01:02 40K 
[ ]realset2__t22_realset22025-09-14 01:03 49K 
[ ]realset2__t23_realset22025-09-14 01:05 49K 
[ ]realset2__t24_realset22025-09-14 01:07 44K 
[ ]realset2__t25_realset22025-09-14 00:24 36K 
[ ]realset2__t26_realset22025-09-14 01:08 49K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80