Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/pdiffeq1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pdiffeq1__l1_pdiffeq12021-07-19 05:47 131K 
[ ]pdiffeq1__l3_pdiffeq12021-07-19 05:48 35K 
[ ]pdiffeq1__l4_pdiffeq12021-07-19 05:48 67K 
[ ]pdiffeq1__l10_pdiffeq12021-07-19 05:49 29K 
[ ]pdiffeq1__l11_pdiffeq12021-07-19 05:49 49K 
[ ]pdiffeq1__l19_pdiffeq12021-07-19 05:50 88K 
[ ]pdiffeq1__l20_pdiffeq12021-07-19 05:50 82K 
[ ]pdiffeq1__t1_pdiffeq12021-07-19 05:33 98K 
[ ]pdiffeq1__t2_pdiffeq12021-07-19 05:34 61K 
[ ]pdiffeq1__t3_pdiffeq12021-07-19 05:34 44K 
[ ]pdiffeq1__t4_pdiffeq12021-07-19 05:35 48K 
[ ]pdiffeq1__t5_pdiffeq12021-07-19 05:35 67K 
[ ]pdiffeq1__t6_pdiffeq12021-07-19 05:36 78K 
[ ]pdiffeq1__t7_pdiffeq12021-07-19 05:36 55K 
[ ]pdiffeq1__t8_pdiffeq12021-07-19 05:37 77K 
[ ]pdiffeq1__t9_pdiffeq12021-07-19 05:37 77K 
[ ]pdiffeq1__t10_pdiffeq12021-07-19 05:38 77K 
[ ]pdiffeq1__t11_pdiffeq12021-07-19 05:39 104K 
[ ]pdiffeq1__t12_pdiffeq12021-07-19 05:40 211K 
[ ]pdiffeq1__t13_pdiffeq12021-07-19 05:40 108K 
[ ]pdiffeq1__t14_pdiffeq12021-07-19 05:41 103K 
[ ]pdiffeq1__t15_pdiffeq12021-07-19 05:42 102K 
[ ]pdiffeq1__t16_pdiffeq12021-07-19 05:42 53K 
[ ]pdiffeq1__t17_pdiffeq12021-07-19 05:43 90K 
[ ]pdiffeq1__t18_pdiffeq12021-07-19 05:43 107K 
[ ]pdiffeq1__t19_pdiffeq12021-07-19 05:44 121K 
[ ]pdiffeq1__t20_pdiffeq12021-07-19 05:45 93K 
[ ]pdiffeq1__t21_pdiffeq12021-07-19 05:46 95K 
[ ]pdiffeq1__t22_pdiffeq12021-07-19 05:46 133K 
[ ]pdiffeq1__t23_pdiffeq12021-07-19 05:47 103K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80