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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]brouwer2__l1_brouwer22025-09-14 02:47 120K 
[   ]brouwer2__l2_brouwer22025-09-14 02:49 124K 
[   ]brouwer2__l5_brouwer22025-09-14 02:53 282K 
[   ]brouwer2__l8_brouwer22025-09-14 02:59 408K 
[   ]brouwer2__l13_brouwer22025-09-14 03:02 117K 
[   ]brouwer2__l14_brouwer22025-09-14 02:14 39K 
[   ]brouwer2__l15_brouwer22025-09-14 03:05 180K 
[   ]brouwer2__t1_brouwer22025-09-14 02:17 120K 
[   ]brouwer2__t2_brouwer22025-09-14 02:20 145K 
[   ]brouwer2__t3_brouwer22025-09-14 02:23 144K 
[   ]brouwer2__t4_brouwer22025-09-14 02:27 213K 
[   ]brouwer2__t5_brouwer22025-09-14 02:31 264K 
[   ]brouwer2__t6_brouwer22025-09-14 02:34 203K 
[   ]brouwer2__t7_brouwer22025-09-14 02:37 163K 
[   ]brouwer2__t8_brouwer22025-09-14 02:41 197K 
[   ]brouwer2__t9_brouwer22025-09-14 02:44 193K 

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