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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]card_5__l1_card_52025-09-13 06:18 23K 
[ ]card_5__l2_card_52025-09-13 06:19 23K 
[ ]card_5__l12_card_52025-09-13 07:07 33K 
[ ]card_5__l42_card_52025-09-13 07:08 28K 
[ ]card_5__t1_card_52025-09-13 06:20 28K 
[ ]card_5__t2_card_52025-09-13 06:22 25K 
[ ]card_5__t3_card_52025-09-13 06:23 27K 
[ ]card_5__t4_card_52025-09-13 06:24 46K 
[ ]card_5__t5_card_52025-09-13 06:26 37K 
[ ]card_5__t6_card_52025-09-13 06:27 33K 
[ ]card_5__t7_card_52025-09-13 06:28 35K 
[ ]card_5__t8_card_52025-09-13 06:30 53K 
[ ]card_5__t9_card_52025-09-13 06:31 33K 
[ ]card_5__t10_card_52025-09-13 06:33 31K 
[ ]card_5__t11_card_52025-09-13 06:34 24K 
[ ]card_5__t12_card_52025-09-13 06:35 40K 
[ ]card_5__t13_card_52025-09-13 06:37 51K 
[ ]card_5__t14_card_52025-09-13 06:38 28K 
[ ]card_5__t16_card_52025-09-13 06:39 30K 
[ ]card_5__t17_card_52025-09-13 06:40 30K 
[ ]card_5__t18_card_52025-09-13 06:41 32K 
[ ]card_5__t19_card_52025-09-13 06:15 23K 
[ ]card_5__t20_card_52025-09-13 06:42 31K 
[ ]card_5__t21_card_52025-09-13 06:16 22K 
[ ]card_5__t22_card_52025-09-13 06:43 40K 
[ ]card_5__t23_card_52025-09-13 06:45 60K 
[ ]card_5__t24_card_52025-09-13 06:46 32K 
[ ]card_5__t25_card_52025-09-13 06:47 42K 
[ ]card_5__t26_card_52025-09-13 06:49 37K 
[ ]card_5__t27_card_52025-09-13 06:50 34K 
[ ]card_5__t28_card_52025-09-13 06:51 28K 
[ ]card_5__t29_card_52025-09-13 06:53 48K 
[ ]card_5__t30_card_52025-09-13 06:17 22K 
[ ]card_5__t31_card_52025-09-13 06:54 34K 
[ ]card_5__t32_card_52025-09-13 06:55 60K 
[ ]card_5__t33_card_52025-09-13 06:57 52K 
[ ]card_5__t34_card_52025-09-13 06:59 59K 
[ ]card_5__t35_card_52025-09-13 07:01 56K 
[ ]card_5__t36_card_52025-09-13 07:02 29K 
[ ]card_5__t37_card_52025-09-13 07:03 31K 
[ ]card_5__t38_card_52025-09-13 07:04 41K 
[ ]card_5__t39_card_52025-09-13 07:05 29K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80