Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems/dilworth

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]dilworth__s1_dilworth2023-06-28 00:37 42K 
[ ]dilworth__t1_dilworth2023-06-28 00:37 44K 
[ ]dilworth__t2_dilworth2023-06-28 00:37 41K 
[ ]dilworth__t3_dilworth2023-06-28 00:37 44K 
[ ]dilworth__t4_dilworth2023-06-28 00:37 47K 
[ ]dilworth__t5_dilworth2023-06-28 00:37 75K 
[ ]dilworth__t6_dilworth2023-06-28 00:37 45K 
[ ]dilworth__t7_dilworth2023-06-28 00:37 46K 
[ ]dilworth__t8_dilworth2023-06-28 00:37 46K 
[ ]dilworth__t9_dilworth2023-06-28 00:37 45K 
[ ]dilworth__t10_dilworth2023-06-28 00:37 43K 
[ ]dilworth__t11_dilworth2023-06-28 00:37 46K 
[ ]dilworth__t12_dilworth2023-06-28 00:37 46K 
[ ]dilworth__t13_dilworth2023-06-28 00:37 47K 
[ ]dilworth__t14_dilworth2023-06-28 00:37 47K 
[ ]dilworth__t15_dilworth2023-06-28 00:37 41K 
[ ]dilworth__t16_dilworth2023-06-28 00:37 40K 
[ ]dilworth__t17_dilworth2023-06-28 00:37 44K 
[ ]dilworth__t18_dilworth2023-06-28 00:37 57K 
[ ]dilworth__t19_dilworth2023-06-28 00:37 54K 
[ ]dilworth__t20_dilworth2023-06-28 00:37 57K 
[ ]dilworth__t21_dilworth2023-06-28 00:37 55K 
[ ]dilworth__t22_dilworth2023-06-28 00:37 48K 
[ ]dilworth__t23_dilworth2023-06-28 00:37 67K 
[ ]dilworth__t24_dilworth2023-06-28 00:37 48K 
[ ]dilworth__t25_dilworth2023-06-28 00:37 48K 
[ ]dilworth__t26_dilworth2023-06-28 00:37 55K 
[ ]dilworth__t27_dilworth2023-06-28 00:37 55K 
[ ]dilworth__t28_dilworth2023-06-28 00:37 53K 
[ ]dilworth__t29_dilworth2023-06-28 00:37 58K 
[ ]dilworth__t30_dilworth2023-06-28 00:37 54K 
[ ]dilworth__t31_dilworth2023-06-28 00:37 58K 
[ ]dilworth__t32_dilworth2023-06-28 00:37 54K 
[ ]dilworth__t33_dilworth2023-06-28 00:37 54K 
[ ]dilworth__t34_dilworth2023-06-28 00:37 62K 
[ ]dilworth__t35_dilworth2023-06-28 00:37 62K 
[ ]dilworth__t36_dilworth2023-06-28 00:37 66K 
[ ]dilworth__t37_dilworth2023-06-28 00:37 55K 
[ ]dilworth__t38_dilworth2023-06-28 00:37 66K 
[ ]dilworth__t39_dilworth2023-06-28 00:37 55K 
[ ]dilworth__t40_dilworth2023-06-28 00:37 50K 
[ ]dilworth__t41_dilworth2023-06-28 00:37 50K 
[ ]dilworth__t42_dilworth2023-06-28 00:37 58K 
[ ]dilworth__t43_dilworth2023-06-28 00:37 62K 
[ ]dilworth__t44_dilworth2023-06-28 00:37 58K 
[ ]dilworth__t45_dilworth2023-06-28 00:37 62K 
[ ]dilworth__t46_dilworth2023-06-28 00:37 64K 
[ ]dilworth__t47_dilworth2023-06-28 00:37 71K 
[ ]dilworth__t48_dilworth2023-06-28 00:37 73K 
[ ]dilworth__t49_dilworth2023-06-28 00:37 96K 
[ ]dilworth__t50_dilworth2023-06-28 00:37 65K 
[ ]dilworth__t51_dilworth2023-06-28 00:37 128K 
[ ]dilworth__t52_dilworth2023-06-28 00:37 84K 
[ ]dilworth__t53_dilworth2023-06-28 00:37 135K 
[ ]dilworth__t54_dilworth2023-06-28 00:37 128K 
[ ]dilworth__t55_dilworth2023-06-28 00:37 105K 
[ ]dilworth__t56_dilworth2023-06-28 00:37 87K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80