Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/fib_fusc

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fib_fusc__l1_fib_fusc2016-03-08 13:05 12K 
[ ]fib_fusc__l2_fib_fusc2016-03-08 13:05 29K 
[ ]fib_fusc__l3_fib_fusc2016-03-08 13:05 139K 
[ ]fib_fusc__l4_fib_fusc2016-03-08 13:05 35K 
[ ]fib_fusc__l5_fib_fusc2016-03-08 13:05 102K 
[ ]fib_fusc__l6_fib_fusc2016-03-08 13:05 593K 
[ ]fib_fusc__l7_fib_fusc2016-03-08 13:05 20K 
[ ]fib_fusc__l8_fib_fusc2016-03-08 13:05 20K 
[ ]fib_fusc__l9_fib_fusc2016-03-08 13:05 20K 
[ ]fib_fusc__l10_fib_fusc2016-03-08 13:05 20K 
[ ]fib_fusc__l11_fib_fusc2016-03-08 13:05 20K 
[ ]fib_fusc__l12_fib_fusc2016-03-08 13:05 20K 
[ ]fib_fusc__l13_fib_fusc2016-03-08 13:05 20K 
[ ]fib_fusc__l14_fib_fusc2016-03-08 13:05 20K 
[ ]fib_fusc__l15_fib_fusc2016-03-08 13:05 20K 
[ ]fib_fusc__l16_fib_fusc2016-03-08 13:05 20K 
[ ]fib_fusc__l18_fib_fusc2016-03-08 13:05 297K 
[ ]fib_fusc__t1_fib_fusc2016-03-08 13:05 795K 
[ ]fib_fusc__t2_fib_fusc2016-03-08 13:05 603K 
[ ]fib_fusc__t3_fib_fusc2016-03-08 13:05 237K 
[ ]fib_fusc__t4_fib_fusc2016-03-08 13:05 906K 
[ ]fib_fusc__t5_fib_fusc2016-03-08 13:05 66K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80