Index of /~mptp/mml5.63.1382/MPTP2/problems/pasch

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]pasch__t1_pasch2023-06-28 18:06 15K 
[   ]pasch__t2_pasch2023-06-28 18:06 13K 
[   ]pasch__t3_pasch2023-06-28 18:06 8.1K 
[   ]pasch__t4_pasch2023-06-28 18:06 9.8K 
[   ]pasch__t5_pasch2023-06-28 18:07 10K 
[   ]pasch__t6_pasch2023-06-28 18:07 16K 
[   ]pasch__t7_pasch2023-06-28 18:05 5.3K 
[   ]pasch__t8_pasch2023-06-28 18:07 15K 
[   ]pasch__t9_pasch2023-06-28 18:05 5.3K 
[   ]pasch__t10_pasch2023-06-28 18:07 14K 
[   ]pasch__t11_pasch2023-06-28 18:05 5.5K 
[   ]pasch__t12_pasch2023-06-28 18:07 13K 
[   ]pasch__t13_pasch2023-06-28 18:08 15K 
[   ]pasch__t14_pasch2023-06-28 18:08 9.1K 
[   ]pasch__t15_pasch2023-06-28 18:08 14K 
[   ]pasch__t16_pasch2023-06-28 18:08 14K 
[   ]pasch__t17_pasch2023-06-28 18:08 13K 
[   ]pasch__t18_pasch2023-06-28 18:09 12K 
[   ]pasch__t19_pasch2023-06-28 18:09 15K 
[   ]pasch__t20_pasch2023-06-28 18:09 17K 
[   ]pasch__t21_pasch2023-06-28 18:09 18K 
[   ]pasch__t22_pasch2023-06-28 18:09 17K 
[   ]pasch__t23_pasch2023-06-28 18:10 15K 
[   ]pasch__t24_pasch2023-06-28 18:05 5.3K 
[   ]pasch__t25_pasch2023-06-28 18:10 7.6K 
[   ]pasch__t26_pasch2023-06-28 18:10 7.6K 
[   ]pasch__t27_pasch2023-06-28 18:10 15K 
[   ]pasch__t28_pasch2023-06-28 18:05 5.4K 
[   ]pasch__t29_pasch2023-06-28 18:11 18K 
[   ]pasch__t30_pasch2023-06-28 18:06 5.4K 
[   ]pasch__t31_pasch2023-06-28 18:11 15K 

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