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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pdiffeq1__l1_pdiffeq12025-09-12 16:23 139K 
[ ]pdiffeq1__l3_pdiffeq12025-09-12 16:25 41K 
[ ]pdiffeq1__l4_pdiffeq12025-09-12 16:26 74K 
[ ]pdiffeq1__l10_pdiffeq12025-09-12 16:28 36K 
[ ]pdiffeq1__l11_pdiffeq12025-09-12 16:29 55K 
[ ]pdiffeq1__l19_pdiffeq12025-09-12 16:31 95K 
[ ]pdiffeq1__l20_pdiffeq12025-09-12 16:32 89K 
[ ]pdiffeq1__t1_pdiffeq12025-09-12 15:42 108K 
[ ]pdiffeq1__t2_pdiffeq12025-09-12 15:43 68K 
[ ]pdiffeq1__t3_pdiffeq12025-09-12 15:44 51K 
[ ]pdiffeq1__t4_pdiffeq12025-09-12 15:46 56K 
[ ]pdiffeq1__t5_pdiffeq12025-09-12 15:47 75K 
[ ]pdiffeq1__t6_pdiffeq12025-09-12 15:49 86K 
[ ]pdiffeq1__t7_pdiffeq12025-09-12 15:51 62K 
[ ]pdiffeq1__t8_pdiffeq12025-09-12 15:53 84K 
[ ]pdiffeq1__t9_pdiffeq12025-09-12 15:54 84K 
[ ]pdiffeq1__t10_pdiffeq12025-09-12 15:56 84K 
[ ]pdiffeq1__t11_pdiffeq12025-09-12 15:58 113K 
[ ]pdiffeq1__t12_pdiffeq12025-09-12 16:01 226K 
[ ]pdiffeq1__t13_pdiffeq12025-09-12 16:03 120K 
[ ]pdiffeq1__t14_pdiffeq12025-09-12 16:04 110K 
[ ]pdiffeq1__t15_pdiffeq12025-09-12 16:06 109K 
[ ]pdiffeq1__t16_pdiffeq12025-09-12 16:08 60K 
[ ]pdiffeq1__t17_pdiffeq12025-09-12 16:09 97K 
[ ]pdiffeq1__t18_pdiffeq12025-09-12 16:11 120K 
[ ]pdiffeq1__t19_pdiffeq12025-09-12 16:14 133K 
[ ]pdiffeq1__t20_pdiffeq12025-09-12 16:16 105K 
[ ]pdiffeq1__t21_pdiffeq12025-09-12 16:18 107K 
[ ]pdiffeq1__t22_pdiffeq12025-09-12 16:20 146K 
[ ]pdiffeq1__t23_pdiffeq12025-09-12 16:22 114K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80