Index of /~mptp/mml5.63.1382/MPTP2/problems_small/bspace

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bspace__t43_bspace.vout2021-07-25 20:05 6.8K 
[ ]bspace__t43_bspace2021-07-18 02:07 44K 
[ ]bspace__t42_bspace.vout2021-07-25 19:52 8.4K 
[ ]bspace__t42_bspace2021-07-18 01:47 42K 
[ ]bspace__t41_bspace.vout2021-07-25 20:30 4.7K 
[ ]bspace__t41_bspace2021-07-18 02:06 46K 
[ ]bspace__t40_bspace.vout2021-07-25 20:17 66K 
[ ]bspace__t40_bspace.vmin1out2021-07-25 20:59 64K 
[ ]bspace__t40_bspace.vmin12021-07-25 20:57 3.4K 
[ ]bspace__t40_bspace.depvmin12021-07-25 21:03 223  
[ ]bspace__t40_bspace.depv12021-07-25 20:57 223  
[ ]bspace__t40_bspace2021-07-18 02:06 38K 
[ ]bspace__t39_bspace.vout2021-07-25 17:41 7.3K 
[ ]bspace__t39_bspace2021-07-18 02:05 46K 
[ ]bspace__t38_bspace.vout2021-07-25 19:05 7.3K 
[ ]bspace__t38_bspace2021-07-18 02:04 66K 
[ ]bspace__t37_bspace.vout2021-07-25 17:24 7.3K 
[ ]bspace__t37_bspace2021-07-18 01:47 41K 
[ ]bspace__t36_bspace.vout2021-07-25 16:39 8.3K 
[ ]bspace__t36_bspace2021-07-18 02:03 81K 
[ ]bspace__t35_bspace.vout2021-07-25 16:40 4.7K 
[ ]bspace__t35_bspace2021-07-18 02:02 47K 
[ ]bspace__t34_bspace.vout2021-07-25 19:19 7.9K 
[ ]bspace__t34_bspace2021-07-18 02:01 62K 
[ ]bspace__t33_bspace.vout2021-07-25 18:05 6.8K 
[ ]bspace__t33_bspace2021-07-18 02:01 93K 
[ ]bspace__t32_bspace.vout2021-07-25 19:54 5.8K 
[ ]bspace__t32_bspace2021-07-18 02:00 44K 
[ ]bspace__t31_bspace.vout2021-07-25 17:52 4.7K 
[ ]bspace__t31_bspace2021-07-18 01:59 50K 
[ ]bspace__t30_bspace.vout2021-07-25 20:52 17K 
[ ]bspace__t30_bspace.vmin1out2021-07-25 21:02 13K 
[ ]bspace__t30_bspace.vmin12021-07-25 20:57 1.3K 
[ ]bspace__t30_bspace.depvmin12021-07-25 21:03 171  
[ ]bspace__t30_bspace.depv12021-07-25 20:57 171  
[ ]bspace__t30_bspace2021-07-18 01:58 42K 
[ ]bspace__t29_bspace.vout2021-07-25 20:47 11K 
[ ]bspace__t29_bspace2021-07-18 01:46 48K 
[ ]bspace__t28_bspace.vout2021-07-25 19:39 5.8K 
[ ]bspace__t28_bspace2021-07-18 01:58 42K 
[ ]bspace__t27_bspace.vout2021-07-25 18:00 5.8K 
[ ]bspace__t27_bspace2021-07-18 01:57 45K 
[ ]bspace__t26_bspace.vout2021-07-25 20:43 5.8K 
[ ]bspace__t26_bspace2021-07-18 01:56 45K 
[ ]bspace__t25_bspace.vout2021-07-25 20:27 5.8K 
[ ]bspace__t25_bspace2021-07-18 01:56 45K 
[ ]bspace__t24_bspace.vout2021-07-25 19:10 8.8K 
[ ]bspace__t24_bspace2021-07-18 01:55 41K 
[ ]bspace__t23_bspace.vout2021-07-25 16:38 8.8K 
[ ]bspace__t23_bspace2021-07-18 01:55 41K 
[ ]bspace__t22_bspace.vout2021-07-25 18:23 8.8K 
[ ]bspace__t22_bspace2021-07-18 01:54 41K 
[ ]bspace__t21_bspace.vout2021-07-25 16:20 8.8K 
[ ]bspace__t21_bspace2021-07-18 01:53 41K 
[ ]bspace__t20_bspace.vout2021-07-25 16:05 4.7K 
[ ]bspace__t20_bspace2021-07-18 01:53 40K 
[ ]bspace__t19_bspace.vout2021-07-25 18:02 7.6K 
[ ]bspace__t19_bspace.vmin1out2021-07-25 21:01 10K 
[ ]bspace__t19_bspace.vmin12021-07-25 20:57 1.2K 
[ ]bspace__t19_bspace.depvmin12021-07-25 21:03 94  
[ ]bspace__t19_bspace.depv12021-07-25 20:57 94  
[ ]bspace__t19_bspace2021-07-18 01:45 36K 
[ ]bspace__t18_bspace.vout2021-07-25 18:27 4.7K 
[ ]bspace__t18_bspace2021-07-18 01:52 40K 
[ ]bspace__t17_bspace.vout2021-07-25 14:27 4.7K 
[ ]bspace__t17_bspace2021-07-18 01:51 37K 
[ ]bspace__t16_bspace.vout2021-07-25 16:37 17K 
[ ]bspace__t16_bspace.vmin1out2021-07-25 21:00 23K 
[ ]bspace__t16_bspace.vmin12021-07-25 20:57 1.4K 
[ ]bspace__t16_bspace.depvmin12021-07-25 21:03 130  
[ ]bspace__t16_bspace.depv12021-07-25 20:57 130  
[ ]bspace__t16_bspace2021-07-18 01:51 36K 
[ ]bspace__t15_bspace.vout2021-07-25 17:34 44K 
[ ]bspace__t15_bspace.vmin1out2021-07-25 21:02 41K 
[ ]bspace__t15_bspace.vmin12021-07-25 20:57 2.5K 
[ ]bspace__t15_bspace.depvmin12021-07-25 21:03 218  
[ ]bspace__t15_bspace.depv12021-07-25 20:57 230  
[ ]bspace__t15_bspace2021-07-18 01:50 39K 
[ ]bspace__t14_bspace.vout2021-07-25 20:27 5.8K 
[ ]bspace__t14_bspace.vmin1out2021-07-25 20:59 4.9K 
[ ]bspace__t14_bspace.vmin12021-07-25 20:57 621  
[ ]bspace__t14_bspace.depvmin12021-07-25 21:03 66  
[ ]bspace__t14_bspace.depv12021-07-25 20:57 103  
[ ]bspace__t14_bspace2021-07-18 01:45 35K 
[ ]bspace__t13_bspace.vout2021-07-25 17:01 18K 
[ ]bspace__t13_bspace.vmin1out2021-07-25 20:59 15K 
[ ]bspace__t13_bspace.vmin12021-07-25 20:57 1.1K 
[ ]bspace__t13_bspace.depvmin12021-07-25 21:03 188  
[ ]bspace__t13_bspace.depv12021-07-25 20:57 188  
[ ]bspace__t13_bspace2021-07-18 01:50 36K 
[ ]bspace__t12_bspace.vout2021-07-25 14:45 18K 
[ ]bspace__t12_bspace.vmin1out2021-07-25 20:58 15K 
[ ]bspace__t12_bspace.vmin12021-07-25 20:57 1.1K 
[ ]bspace__t12_bspace.depvmin12021-07-25 21:03 188  
[ ]bspace__t12_bspace.depv12021-07-25 20:57 188  
[ ]bspace__t12_bspace2021-07-18 01:49 36K 
[ ]bspace__t11_bspace.vout2021-07-25 18:23 8.8K 
[ ]bspace__t11_bspace2021-07-18 01:44 36K 
[ ]bspace__t10_bspace.vout2021-07-25 20:22 13K 
[ ]bspace__t10_bspace.vmin1out2021-07-25 21:00 13K 
[ ]bspace__t10_bspace.vmin12021-07-25 20:57 1.3K 
[ ]bspace__t10_bspace.depvmin12021-07-25 21:03 130  
[ ]bspace__t10_bspace.depv12021-07-25 20:57 130  
[ ]bspace__t10_bspace2021-07-18 01:43 35K 
[ ]bspace__t9_bspace.vout2021-07-25 14:22 13K 
[ ]bspace__t9_bspace.vmin1out2021-07-25 20:59 12K 
[ ]bspace__t9_bspace.vmin12021-07-25 20:57 1.3K 
[ ]bspace__t9_bspace.depvmin12021-07-25 21:03 129  
[ ]bspace__t9_bspace.depv12021-07-25 20:57 129  
[ ]bspace__t9_bspace2021-07-18 01:43 35K 
[ ]bspace__t8_bspace.vout2021-07-25 16:30 33K 
[ ]bspace__t8_bspace.vmin1out2021-07-25 21:01 8.8K 
[ ]bspace__t8_bspace.vmin12021-07-25 20:57 3.3K 
[ ]bspace__t8_bspace.depv12021-07-25 20:57 355  
[ ]bspace__t8_bspace2021-07-18 01:42 36K 
[ ]bspace__t7_bspace.vout2021-07-25 17:10 9.8K 
[ ]bspace__t7_bspace2021-07-18 01:49 54K 
[ ]bspace__t6_bspace.vout2021-07-25 18:06 3.6K 
[ ]bspace__t6_bspace.vmin1out2021-07-25 20:58 3.0K 
[ ]bspace__t6_bspace.vmin12021-07-25 20:57 454  
[ ]bspace__t6_bspace.depvmin12021-07-25 21:03 91  
[ ]bspace__t6_bspace.depv12021-07-25 20:57 91  
[ ]bspace__t6_bspace2021-07-18 01:41 41K 
[ ]bspace__t5_bspace.vout2021-07-25 16:15 10K 
[ ]bspace__t5_bspace2021-07-18 01:41 41K 
[ ]bspace__t4_bspace.vout2021-07-25 18:22 29K 
[ ]bspace__t4_bspace.vmin1out2021-07-25 21:00 34K 
[ ]bspace__t4_bspace.vmin12021-07-25 20:57 3.0K 
[ ]bspace__t4_bspace.depvmin12021-07-25 21:03 294  
[ ]bspace__t4_bspace.depv12021-07-25 20:57 294  
[ ]bspace__t4_bspace2021-07-18 01:40 35K 
[ ]bspace__t3_bspace.vout2021-07-25 16:30 10K 
[ ]bspace__t3_bspace2021-07-18 01:40 36K 
[ ]bspace__t2_bspace.vout2021-07-25 16:13 8.7K 
[ ]bspace__t2_bspace.vmin1out2021-07-25 21:02 9.6K 
[ ]bspace__t2_bspace.vmin12021-07-25 20:57 736  
[ ]bspace__t2_bspace.depvmin12021-07-25 21:03 58  
[ ]bspace__t2_bspace.depv12021-07-25 20:57 58  
[ ]bspace__t2_bspace2021-07-18 01:48 18K 
[ ]bspace__t1_bspace.vout2021-07-25 16:52 7.0K 
[ ]bspace__t1_bspace.vmin1out2021-07-25 21:01 6.9K 
[ ]bspace__t1_bspace.vmin12021-07-25 20:57 714  
[ ]bspace__t1_bspace.depvmin12021-07-25 21:03 71  
[ ]bspace__t1_bspace.depv12021-07-25 20:57 71  
[ ]bspace__t1_bspace2021-07-18 01:48 18K 
[ ]bspace__l29_bspace.vout2021-07-25 17:48 4.7K 
[ ]bspace__l29_bspace2021-07-18 02:08 45K 
[ ]bspace__l28_bspace.vout2021-07-25 14:41 4.7K 
[ ]bspace__l28_bspace2021-07-18 02:07 41K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80