Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/fib_num4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fib_num4__l1_fib_num42013-09-04 12:06 14K 
[ ]fib_num4__l2_fib_num42013-09-04 12:06 14K 
[ ]fib_num4__l7_fib_num42013-09-04 12:06 396K 
[ ]fib_num4__l8_fib_num42013-09-04 12:06 428K 
[ ]fib_num4__l9_fib_num42013-09-04 12:06 500K 
[ ]fib_num4__l10_fib_num42013-09-04 12:06 339K 
[ ]fib_num4__l11_fib_num42013-09-04 12:06 318K 
[ ]fib_num4__l12_fib_num42013-09-04 12:06 611K 
[ ]fib_num4__l13_fib_num42013-09-04 12:06 92K 
[ ]fib_num4__l15_fib_num42013-09-04 12:06 17K 
[ ]fib_num4__l16_fib_num42013-09-04 12:06 32K 
[ ]fib_num4__l24_fib_num42013-09-04 12:05 81K 
[ ]fib_num4__l25_fib_num42013-09-04 12:05 9.5K 
[ ]fib_num4__l26_fib_num42013-09-04 12:05 18K 
[ ]fib_num4__l27_fib_num42013-09-04 12:05 77K 
[ ]fib_num4__l28_fib_num42013-09-04 12:05 357K 
[ ]fib_num4__l29_fib_num42013-09-04 12:05 15K 
[ ]fib_num4__l30_fib_num42013-09-04 12:05 15K 
[ ]fib_num4__l31_fib_num42013-09-04 12:05 21K 
[ ]fib_num4__l32_fib_num42013-09-04 12:05 102K 
[ ]fib_num4__l40_fib_num42013-09-04 12:05 10K 
[ ]fib_num4__l41_fib_num42013-09-04 12:05 82K 
[ ]fib_num4__l42_fib_num42013-09-04 12:05 47K 
[ ]fib_num4__l43_fib_num42013-09-04 12:05 47K 
[ ]fib_num4__l44_fib_num42013-09-04 12:05 9.5K 
[ ]fib_num4__l45_fib_num42013-09-04 12:05 15K 
[ ]fib_num4__l46_fib_num42013-09-04 12:05 17K 
[ ]fib_num4__l47_fib_num42013-09-04 12:05 30K 
[ ]fib_num4__l48_fib_num42013-09-04 12:05 36K 
[ ]fib_num4__l49_fib_num42013-09-04 12:05 57K 
[ ]fib_num4__l50_fib_num42013-09-04 12:05 171K 
[ ]fib_num4__l51_fib_num42013-09-04 12:05 48K 
[ ]fib_num4__l52_fib_num42013-09-04 12:05 47K 
[ ]fib_num4__l61_fib_num42013-09-04 12:05 9.5K 
[ ]fib_num4__l62_fib_num42013-09-04 12:06 276K 
[ ]fib_num4__l64_fib_num42013-09-04 12:05 10K 
[ ]fib_num4__l65_fib_num42013-09-04 12:05 19K 
[ ]fib_num4__l66_fib_num42013-09-04 12:05 11K 
[ ]fib_num4__l67_fib_num42013-09-04 12:05 13K 
[ ]fib_num4__l68_fib_num42013-09-04 12:05 21K 
[ ]fib_num4__l69_fib_num42013-09-04 12:05 54K 
[ ]fib_num4__l70_fib_num42013-09-04 12:05 284K 
[ ]fib_num4__l71_fib_num42013-09-04 12:05 47K 
[ ]fib_num4__l72_fib_num42013-09-04 12:05 370K 
[ ]fib_num4__l73_fib_num42013-09-04 12:05 370K 
[ ]fib_num4__l74_fib_num42013-09-04 12:05 48K 
[ ]fib_num4__l75_fib_num42013-09-04 12:05 48K 
[ ]fib_num4__l76_fib_num42013-09-04 12:05 52K 
[ ]fib_num4__l77_fib_num42013-09-04 12:05 52K 
[ ]fib_num4__l78_fib_num42013-09-04 12:05 30K 
[ ]fib_num4__l79_fib_num42013-09-04 12:05 43K 
[ ]fib_num4__l80_fib_num42013-09-04 12:05 19K 
[ ]fib_num4__l81_fib_num42013-09-04 12:05 16K 
[ ]fib_num4__l82_fib_num42013-09-04 12:05 21K 
[ ]fib_num4__l83_fib_num42013-09-04 12:05 16K 
[ ]fib_num4__l84_fib_num42013-09-04 12:05 15K 
[ ]fib_num4__l85_fib_num42013-09-04 12:05 15K 
[ ]fib_num4__l86_fib_num42013-09-04 12:05 13K 
[ ]fib_num4__l87_fib_num42013-09-04 12:05 18K 
[ ]fib_num4__l88_fib_num42013-09-04 12:05 12K 
[ ]fib_num4__l89_fib_num42013-09-04 12:05 21K 
[ ]fib_num4__l90_fib_num42013-09-04 12:05 102K 
[ ]fib_num4__t1_fib_num42013-09-04 12:05 12K 
[ ]fib_num4__t2_fib_num42013-09-04 12:05 12K 
[ ]fib_num4__t3_fib_num42013-09-04 12:05 9.8K 
[ ]fib_num4__t4_fib_num42013-09-04 12:05 9.8K 
[ ]fib_num4__t5_fib_num42013-09-04 12:05 294K 
[ ]fib_num4__t6_fib_num42013-09-04 12:05 12K 
[ ]fib_num4__t7_fib_num42013-09-04 12:05 18K 
[ ]fib_num4__t8_fib_num42013-09-04 12:05 344K 
[ ]fib_num4__t9_fib_num42013-09-04 12:05 39K 
[ ]fib_num4__t10_fib_num42013-09-04 12:05 39K 
[ ]fib_num4__t11_fib_num42013-09-04 12:05 74K 
[ ]fib_num4__t12_fib_num42013-09-04 12:05 29K 
[ ]fib_num4__t13_fib_num42013-09-04 12:05 377K 
[ ]fib_num4__t14_fib_num42013-09-04 12:05 327K 
[ ]fib_num4__t15_fib_num42013-09-04 12:05 320K 
[ ]fib_num4__t16_fib_num42013-09-04 12:05 357K 
[ ]fib_num4__t17_fib_num42013-09-04 12:05 223K 
[ ]fib_num4__t18_fib_num42013-09-04 12:05 222K 
[ ]fib_num4__t19_fib_num42013-09-04 12:05 226K 
[ ]fib_num4__t20_fib_num42013-09-04 12:05 212K 
[ ]fib_num4__t21_fib_num42013-09-04 12:05 176K 
[ ]fib_num4__t22_fib_num42013-09-04 12:05 436K 
[ ]fib_num4__t23_fib_num42013-09-04 12:05 273K 
[ ]fib_num4__t24_fib_num42013-09-04 12:05 274K 
[ ]fib_num4__t25_fib_num42013-09-04 12:05 313K 
[ ]fib_num4__t26_fib_num42013-09-04 12:05 306K 
[ ]fib_num4__t27_fib_num42013-09-04 12:05 539K 
[ ]fib_num4__t28_fib_num42013-09-04 12:05 419K 
[ ]fib_num4__t29_fib_num42013-09-04 12:05 442K 
[ ]fib_num4__t30_fib_num42013-09-04 12:05 32K 
[ ]fib_num4__t31_fib_num42013-09-04 12:05 32K 
[ ]fib_num4__t32_fib_num42013-09-04 12:05 38K 
[ ]fib_num4__t33_fib_num42013-09-04 12:05 85K 
[ ]fib_num4__t34_fib_num42013-09-04 12:06 406K 
[ ]fib_num4__t35_fib_num42013-09-04 12:06 211K 
[ ]fib_num4__t36_fib_num42013-09-04 12:06 417K 
[ ]fib_num4__t37_fib_num42013-09-04 12:06 875K 
[ ]fib_num4__t38_fib_num42013-09-04 12:06 658K 
[ ]fib_num4__t39_fib_num42013-09-04 12:06 469K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80