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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]rvsum_3__l28_rvsum_32025-09-13 05:28 87K 
[   ]rvsum_3__l29_rvsum_32025-09-13 05:29 87K 
[   ]rvsum_3__t1_rvsum_32025-09-13 04:14 87K 
[   ]rvsum_3__t2_rvsum_32025-09-13 04:15 423K 
[   ]rvsum_3__t3_rvsum_32025-09-13 04:17 70K 
[   ]rvsum_3__t4_rvsum_32025-09-13 04:19 153K 
[   ]rvsum_3__t5_rvsum_32025-09-13 04:21 66K 
[   ]rvsum_3__t6_rvsum_32025-09-13 04:22 72K 
[   ]rvsum_3__t7_rvsum_32025-09-13 04:24 72K 
[   ]rvsum_3__t8_rvsum_32025-09-13 04:25 69K 
[   ]rvsum_3__t9_rvsum_32025-09-13 04:27 53K 
[   ]rvsum_3__t10_rvsum_32025-09-13 04:28 59K 
[   ]rvsum_3__t11_rvsum_32025-09-13 04:30 52K 
[   ]rvsum_3__t12_rvsum_32025-09-13 04:31 62K 
[   ]rvsum_3__t13_rvsum_32025-09-13 04:33 63K 
[   ]rvsum_3__t14_rvsum_32025-09-13 04:34 52K 
[   ]rvsum_3__t15_rvsum_32025-09-13 04:12 59K 
[   ]rvsum_3__t16_rvsum_32025-09-13 04:36 60K 
[   ]rvsum_3__t17_rvsum_32025-09-13 04:37 62K 
[   ]rvsum_3__t18_rvsum_32025-09-13 04:39 62K 
[   ]rvsum_3__t19_rvsum_32025-09-13 04:40 69K 
[   ]rvsum_3__t20_rvsum_32025-09-13 04:42 69K 
[   ]rvsum_3__t21_rvsum_32025-09-13 04:43 83K 
[   ]rvsum_3__t22_rvsum_32025-09-13 04:45 55K 
[   ]rvsum_3__t23_rvsum_32025-09-13 04:47 97K 
[   ]rvsum_3__t24_rvsum_32025-09-13 04:48 131K 
[   ]rvsum_3__t25_rvsum_32025-09-13 04:50 121K 
[   ]rvsum_3__t26_rvsum_32025-09-13 04:52 73K 
[   ]rvsum_3__t27_rvsum_32025-09-13 04:53 70K 
[   ]rvsum_3__t28_rvsum_32025-09-13 04:55 76K 
[   ]rvsum_3__t29_rvsum_32025-09-13 04:56 58K 
[   ]rvsum_3__t30_rvsum_32025-09-13 04:58 58K 
[   ]rvsum_3__t31_rvsum_32025-09-13 04:59 58K 
[   ]rvsum_3__t32_rvsum_32025-09-13 05:01 84K 
[   ]rvsum_3__t33_rvsum_32025-09-13 05:03 52K 
[   ]rvsum_3__t34_rvsum_32025-09-13 05:04 66K 
[   ]rvsum_3__t35_rvsum_32025-09-13 05:06 107K 
[   ]rvsum_3__t36_rvsum_32025-09-13 05:08 107K 
[   ]rvsum_3__t37_rvsum_32025-09-13 05:09 112K 
[   ]rvsum_3__t38_rvsum_32025-09-13 05:11 64K 
[   ]rvsum_3__t39_rvsum_32025-09-13 05:12 66K 
[   ]rvsum_3__t40_rvsum_32025-09-13 05:14 115K 
[   ]rvsum_3__t41_rvsum_32025-09-13 05:16 115K 
[   ]rvsum_3__t42_rvsum_32025-09-13 05:17 78K 
[   ]rvsum_3__t43_rvsum_32025-09-13 05:19 104K 
[   ]rvsum_3__t44_rvsum_32025-09-13 05:21 93K 
[   ]rvsum_3__t45_rvsum_32025-09-13 05:23 94K 
[   ]rvsum_3__t46_rvsum_32025-09-13 05:24 72K 
[   ]rvsum_3__t47_rvsum_32025-09-13 05:26 69K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80