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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]prelamb__l26_prelamb2025-09-12 17:35 98K 
[ ]prelamb__l31_prelamb2025-09-12 17:37 91K 
[ ]prelamb__l32_prelamb2025-09-12 17:39 92K 
[ ]prelamb__l33_prelamb2025-09-12 17:41 86K 
[ ]prelamb__l34_prelamb2025-09-12 17:43 91K 
[ ]prelamb__l35_prelamb2025-09-12 17:45 92K 
[ ]prelamb__l36_prelamb2025-09-12 17:47 86K 
[ ]prelamb__l37_prelamb2025-09-12 17:49 95K 
[ ]prelamb__l38_prelamb2025-09-12 17:51 91K 
[ ]prelamb__l39_prelamb2025-09-12 17:53 89K 
[ ]prelamb__t1_prelamb2025-09-12 16:40 86K 
[ ]prelamb__t2_prelamb2025-09-12 16:42 91K 
[ ]prelamb__t3_prelamb2025-09-12 16:44 110K 
[ ]prelamb__t4_prelamb2025-09-12 16:46 111K 
[ ]prelamb__t5_prelamb2025-09-12 16:48 111K 
[ ]prelamb__t6_prelamb2025-09-12 16:50 112K 
[ ]prelamb__t7_prelamb2025-09-12 16:52 112K 
[ ]prelamb__t8_prelamb2025-09-12 16:54 112K 
[ ]prelamb__t9_prelamb2025-09-12 16:56 112K 
[ ]prelamb__t10_prelamb2025-09-12 16:59 112K 
[ ]prelamb__t11_prelamb2025-09-12 17:01 122K 
[ ]prelamb__t12_prelamb2025-09-12 17:03 94K 
[ ]prelamb__t13_prelamb2025-09-12 17:05 93K 
[ ]prelamb__t14_prelamb2025-09-12 17:07 95K 
[ ]prelamb__t15_prelamb2025-09-12 17:09 95K 
[ ]prelamb__t16_prelamb2025-09-12 17:11 94K 
[ ]prelamb__t17_prelamb2025-09-12 17:12 94K 
[ ]prelamb__t18_prelamb2025-09-12 17:14 77K 
[ ]prelamb__t19_prelamb2025-09-12 17:16 91K 
[ ]prelamb__t20_prelamb2025-09-12 17:18 91K 
[ ]prelamb__t21_prelamb2025-09-12 17:20 78K 
[ ]prelamb__t22_prelamb2025-09-12 17:22 78K 
[ ]prelamb__t23_prelamb2025-09-12 17:24 93K 
[ ]prelamb__t24_prelamb2025-09-12 17:26 92K 
[ ]prelamb__t25_prelamb2025-09-12 16:38 78K 
[ ]prelamb__t26_prelamb2025-09-12 17:28 97K 
[ ]prelamb__t27_prelamb2025-09-12 17:30 95K 
[ ]prelamb__t28_prelamb2025-09-12 17:32 93K 
[ ]prelamb__t29_prelamb2025-09-12 17:34 97K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80