Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/fib_fusc

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fib_fusc__l1_fib_fusc2024-07-27 00:35 8.1K 
[ ]fib_fusc__l1_fib_fusc.depv12024-08-03 10:19 167  
[ ]fib_fusc__l1_fib_fusc.depvmin12024-08-03 10:24 167  
[ ]fib_fusc__l1_fib_fusc.vmin12024-08-03 10:20 1.1K 
[ ]fib_fusc__l1_fib_fusc.vmin1out2024-08-03 10:23 8.6K 
[ ]fib_fusc__l1_fib_fusc.vout2024-08-03 09:11 8.8K 
[ ]fib_fusc__l2_fib_fusc2024-07-27 00:36 17K 
[ ]fib_fusc__l2_fib_fusc.vout2024-08-03 06:46 2.0K 
[ ]fib_fusc__l3_fib_fusc2024-07-27 00:37 86K 
[ ]fib_fusc__l3_fib_fusc.vout2024-08-03 07:56 2.0K 
[ ]fib_fusc__l4_fib_fusc2024-07-27 00:37 21K 
[ ]fib_fusc__l4_fib_fusc.vout2024-08-03 06:25 2.0K 
[ ]fib_fusc__l5_fib_fusc2024-07-27 00:38 61K 
[ ]fib_fusc__l5_fib_fusc.vout2024-08-03 06:25 2.0K 
[ ]fib_fusc__l6_fib_fusc2024-07-27 00:39 73K 
[ ]fib_fusc__l6_fib_fusc.vout2024-08-03 07:41 7.3K 
[ ]fib_fusc__l7_fib_fusc2024-07-27 00:14 15K 
[ ]fib_fusc__l7_fib_fusc.depv12024-08-03 10:19 109  
[ ]fib_fusc__l7_fib_fusc.depvmin12024-08-03 10:24 109  
[ ]fib_fusc__l7_fib_fusc.vmin12024-08-03 10:20 664  
[ ]fib_fusc__l7_fib_fusc.vmin1out2024-08-03 10:22 4.8K 
[ ]fib_fusc__l7_fib_fusc.vout2024-08-03 07:30 6.4K 
[ ]fib_fusc__l8_fib_fusc2024-07-27 00:15 15K 
[ ]fib_fusc__l8_fib_fusc.depv12024-08-03 10:19 109  
[ ]fib_fusc__l8_fib_fusc.depvmin12024-08-03 10:24 109  
[ ]fib_fusc__l8_fib_fusc.vmin12024-08-03 10:20 664  
[ ]fib_fusc__l8_fib_fusc.vmin1out2024-08-03 10:22 4.8K 
[ ]fib_fusc__l8_fib_fusc.vout2024-08-03 06:52 6.4K 
[ ]fib_fusc__l9_fib_fusc2024-07-27 00:16 15K 
[ ]fib_fusc__l9_fib_fusc.depv12024-08-03 10:19 109  
[ ]fib_fusc__l9_fib_fusc.depvmin12024-08-03 10:24 109  
[ ]fib_fusc__l9_fib_fusc.vmin12024-08-03 10:20 664  
[ ]fib_fusc__l9_fib_fusc.vmin1out2024-08-03 10:23 4.8K 
[ ]fib_fusc__l9_fib_fusc.vout2024-08-03 06:46 6.4K 
[ ]fib_fusc__l10_fib_fusc2024-07-27 00:17 15K 
[ ]fib_fusc__l10_fib_fusc.depv12024-08-03 10:19 72  
[ ]fib_fusc__l10_fib_fusc.depvmin12024-08-03 10:24 72  
[ ]fib_fusc__l10_fib_fusc.vmin12024-08-03 10:20 447  
[ ]fib_fusc__l10_fib_fusc.vmin1out2024-08-03 10:21 3.4K 
[ ]fib_fusc__l10_fib_fusc.vout2024-08-03 10:01 3.0K 
[ ]fib_fusc__l11_fib_fusc2024-07-27 00:18 15K 
[ ]fib_fusc__l11_fib_fusc.depv12024-08-03 10:19 72  
[ ]fib_fusc__l11_fib_fusc.depvmin12024-08-03 10:24 72  
[ ]fib_fusc__l11_fib_fusc.vmin12024-08-03 10:20 447  
[ ]fib_fusc__l11_fib_fusc.vmin1out2024-08-03 10:20 3.4K 
[ ]fib_fusc__l11_fib_fusc.vout2024-08-03 07:01 3.0K 
[ ]fib_fusc__l12_fib_fusc2024-07-27 00:19 15K 
[ ]fib_fusc__l12_fib_fusc.depv12024-08-03 10:19 72  
[ ]fib_fusc__l12_fib_fusc.depvmin12024-08-03 10:24 72  
[ ]fib_fusc__l12_fib_fusc.vmin12024-08-03 10:20 447  
[ ]fib_fusc__l12_fib_fusc.vmin1out2024-08-03 10:20 3.4K 
[ ]fib_fusc__l12_fib_fusc.vout2024-08-03 08:57 3.0K 
[ ]fib_fusc__l13_fib_fusc2024-07-27 00:20 15K 
[ ]fib_fusc__l13_fib_fusc.depv12024-08-03 10:19 110  
[ ]fib_fusc__l13_fib_fusc.depvmin12024-08-03 10:24 110  
[ ]fib_fusc__l13_fib_fusc.vmin12024-08-03 10:20 665  
[ ]fib_fusc__l13_fib_fusc.vmin1out2024-08-03 10:22 4.8K 
[ ]fib_fusc__l13_fib_fusc.vout2024-08-03 08:47 6.4K 
[ ]fib_fusc__l14_fib_fusc2024-07-27 00:21 15K 
[ ]fib_fusc__l14_fib_fusc.depv12024-08-03 10:19 72  
[ ]fib_fusc__l14_fib_fusc.depvmin12024-08-03 10:24 72  
[ ]fib_fusc__l14_fib_fusc.vmin12024-08-03 10:20 447  
[ ]fib_fusc__l14_fib_fusc.vmin1out2024-08-03 10:23 3.4K 
[ ]fib_fusc__l14_fib_fusc.vout2024-08-03 07:27 3.0K 
[ ]fib_fusc__l15_fib_fusc2024-07-27 00:23 15K 
[ ]fib_fusc__l15_fib_fusc.depv12024-08-03 10:19 72  
[ ]fib_fusc__l15_fib_fusc.depvmin12024-08-03 10:24 72  
[ ]fib_fusc__l15_fib_fusc.vmin12024-08-03 10:20 447  
[ ]fib_fusc__l15_fib_fusc.vmin1out2024-08-03 10:21 3.4K 
[ ]fib_fusc__l15_fib_fusc.vout2024-08-03 06:01 3.0K 
[ ]fib_fusc__l16_fib_fusc2024-07-27 00:24 15K 
[ ]fib_fusc__l16_fib_fusc.depv12024-08-03 10:19 72  
[ ]fib_fusc__l16_fib_fusc.depvmin12024-08-03 10:24 72  
[ ]fib_fusc__l16_fib_fusc.vmin12024-08-03 10:20 447  
[ ]fib_fusc__l16_fib_fusc.vmin1out2024-08-03 10:20 3.4K 
[ ]fib_fusc__l16_fib_fusc.vout2024-08-03 05:34 3.0K 
[ ]fib_fusc__l18_fib_fusc2024-07-27 00:41 30K 
[ ]fib_fusc__l18_fib_fusc.vout2024-08-03 05:22 4.7K 
[ ]fib_fusc__t1_fib_fusc2024-07-27 00:26 651K 
[ ]fib_fusc__t1_fib_fusc.vout2024-08-03 07:53 4.7K 
[ ]fib_fusc__t2_fib_fusc2024-07-27 00:29 446K 
[ ]fib_fusc__t2_fib_fusc.vout2024-08-03 08:17 4.7K 
[ ]fib_fusc__t3_fib_fusc2024-07-27 00:31 148K 
[ ]fib_fusc__t3_fib_fusc.vout2024-08-03 05:34 4.7K 
[ ]fib_fusc__t4_fib_fusc2024-07-27 00:33 766K 
[ ]fib_fusc__t4_fib_fusc.vout2024-08-03 06:52 4.7K 
[ ]fib_fusc__t5_fib_fusc2024-07-27 00:35 45K 
[ ]fib_fusc__t5_fib_fusc.vout2024-08-03 04:29 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80