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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]integr15__l2_integr152025-09-13 09:09 128K 
[ ]integr15__l3_integr152025-09-13 09:12 133K 
[ ]integr15__l4_integr152025-09-13 09:14 133K 
[ ]integr15__l5_integr152025-09-13 09:17 119K 
[ ]integr15__l17_integr152025-09-13 09:19 80K 
[ ]integr15__l28_integr152025-09-13 09:21 96K 
[ ]integr15__t1_integr152025-09-13 08:09 101K 
[ ]integr15__t2_integr152025-09-13 08:12 101K 
[ ]integr15__t3_integr152025-09-13 08:14 118K 
[ ]integr15__t4_integr152025-09-13 08:17 116K 
[ ]integr15__t5_integr152025-09-13 08:19 95K 
[ ]integr15__t6_integr152025-09-13 08:22 95K 
[ ]integr15__t7_integr152025-09-13 08:24 103K 
[ ]integr15__t8_integr152025-09-13 08:27 103K 
[ ]integr15__t9_integr152025-09-13 08:29 134K 
[ ]integr15__t10_integr152025-09-13 08:32 128K 
[ ]integr15__t11_integr152025-09-13 08:36 179K 
[ ]integr15__t12_integr152025-09-13 08:41 180K 
[ ]integr15__t13_integr152025-09-13 08:43 95K 
[ ]integr15__t14_integr152025-09-13 08:45 111K 
[ ]integr15__t15_integr152025-09-13 08:48 149K 
[ ]integr15__t16_integr152025-09-13 08:50 104K 
[ ]integr15__t17_integr152025-09-13 08:53 227K 
[ ]integr15__t18_integr152025-09-13 08:56 122K 
[ ]integr15__t19_integr152025-09-13 08:58 102K 
[ ]integr15__t20_integr152025-09-13 09:01 125K 
[ ]integr15__t21_integr152025-09-13 09:03 82K 
[ ]integr15__t22_integr152025-09-13 09:05 81K 
[ ]integr15__t23_integr152025-09-13 09:07 75K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80