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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]pasch__t1_pasch2025-09-12 17:27 15K 
[   ]pasch__t2_pasch2025-09-12 17:27 13K 
[   ]pasch__t3_pasch2025-09-12 17:28 8.2K 
[   ]pasch__t4_pasch2025-09-12 17:29 9.8K 
[   ]pasch__t5_pasch2025-09-12 17:29 10K 
[   ]pasch__t6_pasch2025-09-12 17:30 16K 
[   ]pasch__t7_pasch2025-09-12 17:24 5.3K 
[   ]pasch__t8_pasch2025-09-12 17:30 15K 
[   ]pasch__t9_pasch2025-09-12 17:24 5.3K 
[   ]pasch__t10_pasch2025-09-12 17:31 14K 
[   ]pasch__t11_pasch2025-09-12 17:25 5.5K 
[   ]pasch__t12_pasch2025-09-12 17:32 13K 
[   ]pasch__t13_pasch2025-09-12 17:32 15K 
[   ]pasch__t14_pasch2025-09-12 17:33 9.2K 
[   ]pasch__t15_pasch2025-09-12 17:34 14K 
[   ]pasch__t16_pasch2025-09-12 17:34 14K 
[   ]pasch__t17_pasch2025-09-12 17:35 13K 
[   ]pasch__t18_pasch2025-09-12 17:35 12K 
[   ]pasch__t19_pasch2025-09-12 17:36 15K 
[   ]pasch__t20_pasch2025-09-12 17:37 17K 
[   ]pasch__t21_pasch2025-09-12 17:37 18K 
[   ]pasch__t22_pasch2025-09-12 17:38 17K 
[   ]pasch__t23_pasch2025-09-12 17:39 15K 
[   ]pasch__t24_pasch2025-09-12 17:25 5.3K 
[   ]pasch__t25_pasch2025-09-12 17:39 7.6K 
[   ]pasch__t26_pasch2025-09-12 17:40 7.6K 
[   ]pasch__t27_pasch2025-09-12 17:40 15K 
[   ]pasch__t28_pasch2025-09-12 17:26 5.3K 
[   ]pasch__t29_pasch2025-09-12 17:41 18K 
[   ]pasch__t30_pasch2025-09-12 17:26 5.3K 
[   ]pasch__t31_pasch2025-09-12 17:42 15K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80