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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]integr20__l7_integr202025-09-13 01:12 77K 
[ ]integr20__l12_integr202025-09-13 01:15 129K 
[ ]integr20__s1_integr202025-09-13 00:23 166K 
[ ]integr20__t1_integr202025-09-13 00:25 112K 
[ ]integr20__t2_integr202025-09-13 00:28 113K 
[ ]integr20__t3_integr202025-09-13 00:31 178K 
[ ]integr20__t4_integr202025-09-13 00:34 183K 
[ ]integr20__t5_integr202025-09-13 00:35 66K 
[ ]integr20__t6_integr202025-09-13 00:37 117K 
[ ]integr20__t7_integr202025-09-13 00:40 183K 
[ ]integr20__t8_integr202025-09-13 00:43 194K 
[ ]integr20__t9_integr202025-09-13 00:46 184K 
[ ]integr20__t10_integr202025-09-13 00:48 100K 
[ ]integr20__t11_integr202025-09-13 00:50 118K 
[ ]integr20__t12_integr202025-09-13 00:52 127K 
[ ]integr20__t13_integr202025-09-13 00:57 417K 
[ ]integr20__t14_integr202025-09-13 00:58 133K 
[ ]integr20__t15_integr202025-09-13 01:00 119K 
[ ]integr20__t16_integr202025-09-13 01:03 217K 
[ ]integr20__t17_integr202025-09-13 01:05 137K 
[ ]integr20__t18_integr202025-09-13 01:08 140K 
[ ]integr20__t19_integr202025-09-13 01:11 167K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80