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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]boolealg__l66_boolealg2021-07-17 23:09 11K 
[ ]boolealg__l66_boolealg.vout2021-07-25 16:09 7.2K 
[ ]boolealg__t1_boolealg2021-07-17 22:57 5.6K 
[ ]boolealg__t1_boolealg.depv12021-07-25 20:57 192  
[ ]boolealg__t1_boolealg.depvmin12021-07-25 21:03 192  
[ ]boolealg__t1_boolealg.vmin12021-07-25 20:57 2.7K 
[ ]boolealg__t1_boolealg.vmin1out2021-07-25 20:58 40K 
[ ]boolealg__t1_boolealg.vout2021-07-25 20:27 65K 
[ ]boolealg__t2_boolealg2021-07-17 22:57 5.2K 
[ ]boolealg__t2_boolealg.depv12021-07-25 20:57 156  
[ ]boolealg__t2_boolealg.depvmin12021-07-25 21:03 156  
[ ]boolealg__t2_boolealg.vmin12021-07-25 20:57 2.6K 
[ ]boolealg__t2_boolealg.vmin1out2021-07-25 21:01 47K 
[ ]boolealg__t2_boolealg.vout2021-07-25 16:29 48K 
[ ]boolealg__t3_boolealg2021-07-17 22:57 4.9K 
[ ]boolealg__t3_boolealg.depv12021-07-25 20:57 131  
[ ]boolealg__t3_boolealg.depvmin12021-07-25 21:03 131  
[ ]boolealg__t3_boolealg.vmin12021-07-25 20:57 2.2K 
[ ]boolealg__t3_boolealg.vmin1out2021-07-25 21:00 31K 
[ ]boolealg__t3_boolealg.vout2021-07-25 19:25 31K 
[ ]boolealg__t4_boolealg2021-07-17 22:54 6.0K 
[ ]boolealg__t4_boolealg.depv12021-07-25 20:57 130  
[ ]boolealg__t4_boolealg.depvmin12021-07-25 21:03 64  
[ ]boolealg__t4_boolealg.vmin12021-07-25 20:57 2.2K 
[ ]boolealg__t4_boolealg.vmin1out2021-07-25 20:59 20K 
[ ]boolealg__t4_boolealg.vout2021-07-25 17:49 18K 
[ ]boolealg__t5_boolealg2021-07-17 22:58 5.1K 
[ ]boolealg__t5_boolealg.depv12021-07-25 20:57 205  
[ ]boolealg__t5_boolealg.depvmin12021-07-25 21:03 205  
[ ]boolealg__t5_boolealg.vmin12021-07-25 20:57 3.3K 
[ ]boolealg__t5_boolealg.vmin1out2021-07-25 21:01 35K 
[ ]boolealg__t5_boolealg.vout2021-07-25 16:58 35K 
[ ]boolealg__t6_boolealg2021-07-17 22:58 5.0K 
[ ]boolealg__t6_boolealg.depv12021-07-25 20:57 220  
[ ]boolealg__t6_boolealg.depvmin12021-07-25 21:03 220  
[ ]boolealg__t6_boolealg.vmin12021-07-25 20:57 3.4K 
[ ]boolealg__t6_boolealg.vmin1out2021-07-25 20:59 36K 
[ ]boolealg__t6_boolealg.vout2021-07-25 19:10 35K 
[ ]boolealg__t7_boolealg2021-07-17 22:54 3.0K 
[ ]boolealg__t7_boolealg.depv12021-07-25 20:57 50  
[ ]boolealg__t7_boolealg.depvmin12021-07-25 21:03 50  
[ ]boolealg__t7_boolealg.vmin12021-07-25 20:57 968  
[ ]boolealg__t7_boolealg.vmin1out2021-07-25 20:59 16K 
[ ]boolealg__t7_boolealg.vout2021-07-25 20:44 15K 
[ ]boolealg__t8_boolealg2021-07-17 22:58 6.2K 
[ ]boolealg__t8_boolealg.depv12021-07-25 20:57 236  
[ ]boolealg__t8_boolealg.depvmin12021-07-25 21:03 221  
[ ]boolealg__t8_boolealg.vmin12021-07-25 20:57 3.3K 
[ ]boolealg__t8_boolealg.vmin1out2021-07-25 20:57 29K 
[ ]boolealg__t8_boolealg.vout2021-07-25 16:00 32K 
[ ]boolealg__t9_boolealg2021-07-17 22:55 3.3K 
[ ]boolealg__t9_boolealg.depv12021-07-25 20:57 67  
[ ]boolealg__t9_boolealg.depvmin12021-07-25 21:03 67  
[ ]boolealg__t9_boolealg.vmin12021-07-25 20:57 1.0K 
[ ]boolealg__t9_boolealg.vmin1out2021-07-25 20:59 11K 
[ ]boolealg__t9_boolealg.vout2021-07-25 18:27 13K 
[ ]boolealg__t10_boolealg2021-07-17 22:55 5.3K 
[ ]boolealg__t10_boolealg.depv12021-07-25 20:57 120  
[ ]boolealg__t10_boolealg.depvmin12021-07-25 21:03 120  
[ ]boolealg__t10_boolealg.vmin12021-07-25 20:57 2.0K 
[ ]boolealg__t10_boolealg.vmin1out2021-07-25 21:01 30K 
[ ]boolealg__t10_boolealg.vout2021-07-25 20:24 30K 
[ ]boolealg__t11_boolealg2021-07-17 22:55 5.1K 
[ ]boolealg__t11_boolealg.depv12021-07-25 20:57 222  
[ ]boolealg__t11_boolealg.depvmin12021-07-25 21:03 222  
[ ]boolealg__t11_boolealg.vmin12021-07-25 20:57 3.1K 
[ ]boolealg__t11_boolealg.vmin1out2021-07-25 21:02 28K 
[ ]boolealg__t11_boolealg.vout2021-07-25 19:46 28K 
[ ]boolealg__t12_boolealg2021-07-17 22:55 5.3K 
[ ]boolealg__t12_boolealg.depv12021-07-25 20:57 196  
[ ]boolealg__t12_boolealg.depvmin12021-07-25 21:03 170  
[ ]boolealg__t12_boolealg.vmin12021-07-25 20:57 2.7K 
[ ]boolealg__t12_boolealg.vmin1out2021-07-25 21:02 20K 
[ ]boolealg__t12_boolealg.vout2021-07-25 15:31 21K 
[ ]boolealg__t13_boolealg2021-07-17 22:55 4.5K 
[ ]boolealg__t13_boolealg.vout2021-07-25 18:03 9.2K 
[ ]boolealg__t14_boolealg2021-07-17 22:58 3.9K 
[ ]boolealg__t14_boolealg.vout2021-07-25 16:46 4.2K 
[ ]boolealg__t15_boolealg2021-07-17 22:58 4.5K 
[ ]boolealg__t15_boolealg.vout2021-07-25 15:21 2.0K 
[ ]boolealg__t16_boolealg2021-07-17 22:55 2.1K 
[ ]boolealg__t16_boolealg.vout2021-07-25 16:52 3.3K 
[ ]boolealg__t17_boolealg2021-07-17 22:56 3.5K 
[ ]boolealg__t17_boolealg.depv12021-07-25 20:57 76  
[ ]boolealg__t17_boolealg.depvmin12021-07-25 21:03 76  
[ ]boolealg__t17_boolealg.vmin12021-07-25 20:57 1.2K 
[ ]boolealg__t17_boolealg.vmin1out2021-07-25 21:01 16K 
[ ]boolealg__t17_boolealg.vout2021-07-25 19:14 16K 
[ ]boolealg__t18_boolealg2021-07-17 22:56 4.1K 
[ ]boolealg__t18_boolealg.depv12021-07-25 20:57 145  
[ ]boolealg__t18_boolealg.depvmin12021-07-25 21:03 145  
[ ]boolealg__t18_boolealg.vmin12021-07-25 20:57 2.1K 
[ ]boolealg__t18_boolealg.vmin1out2021-07-25 20:59 29K 
[ ]boolealg__t18_boolealg.vout2021-07-25 15:33 29K 
[ ]boolealg__t19_boolealg2021-07-17 22:56 5.8K 
[ ]boolealg__t19_boolealg.vout2021-07-25 16:24 9.2K 
[ ]boolealg__t20_boolealg2021-07-17 22:59 3.9K 
[ ]boolealg__t20_boolealg.vout2021-07-25 18:58 4.2K 
[ ]boolealg__t21_boolealg2021-07-17 22:59 8.4K 
[ ]boolealg__t21_boolealg.vout2021-07-25 15:30 2.0K 
[ ]boolealg__t22_boolealg2021-07-17 22:59 5.7K 
[ ]boolealg__t22_boolealg.depv12021-07-25 20:57 184  
[ ]boolealg__t22_boolealg.depvmin12021-07-25 21:03 184  
[ ]boolealg__t22_boolealg.vmin12021-07-25 20:57 2.8K 
[ ]boolealg__t22_boolealg.vmin1out2021-07-25 21:00 22K 
[ ]boolealg__t22_boolealg.vout2021-07-25 18:40 21K 
[ ]boolealg__t23_boolealg2021-07-17 22:59 6.2K 
[ ]boolealg__t23_boolealg.vout2021-07-25 19:32 2.0K 
[ ]boolealg__t24_boolealg2021-07-17 22:59 8.3K 
[ ]boolealg__t24_boolealg.vout2021-07-25 17:48 2.0K 
[ ]boolealg__t25_boolealg2021-07-17 23:00 6.3K 
[ ]boolealg__t25_boolealg.depv12021-07-25 20:57 146  
[ ]boolealg__t25_boolealg.depvmin12021-07-25 21:03 146  
[ ]boolealg__t25_boolealg.vmin12021-07-25 20:57 2.2K 
[ ]boolealg__t25_boolealg.vmin1out2021-07-25 20:59 30K 
[ ]boolealg__t25_boolealg.vout2021-07-25 19:26 28K 
[ ]boolealg__t26_boolealg2021-07-17 23:00 7.2K 
[ ]boolealg__t26_boolealg.depv12021-07-25 20:57 146  
[ ]boolealg__t26_boolealg.depvmin12021-07-25 21:03 146  
[ ]boolealg__t26_boolealg.vmin12021-07-25 20:57 2.1K 
[ ]boolealg__t26_boolealg.vmin1out2021-07-25 20:58 29K 
[ ]boolealg__t26_boolealg.vout2021-07-25 19:46 15K 
[ ]boolealg__t27_boolealg2021-07-17 23:00 7.2K 
[ ]boolealg__t27_boolealg.depv12021-07-25 20:57 234  
[ ]boolealg__t27_boolealg.depvmin12021-07-25 21:03 234  
[ ]boolealg__t27_boolealg.vmin12021-07-25 20:57 3.4K 
[ ]boolealg__t27_boolealg.vmin1out2021-07-25 21:01 33K 
[ ]boolealg__t27_boolealg.vout2021-07-25 20:22 32K 
[ ]boolealg__t28_boolealg2021-07-17 23:00 8.5K 
[ ]boolealg__t28_boolealg.depv12021-07-25 20:57 327  
[ ]boolealg__t28_boolealg.depvmin12021-07-25 21:03 327  
[ ]boolealg__t28_boolealg.vmin12021-07-25 20:57 4.4K 
[ ]boolealg__t28_boolealg.vmin1out2021-07-25 20:59 34K 
[ ]boolealg__t28_boolealg.vout2021-07-25 16:14 34K 
[ ]boolealg__t29_boolealg2021-07-17 23:01 7.4K 
[ ]boolealg__t29_boolealg.depv12021-07-25 20:57 196  
[ ]boolealg__t29_boolealg.depvmin12021-07-25 21:03 157  
[ ]boolealg__t29_boolealg.vmin12021-07-25 20:57 2.7K 
[ ]boolealg__t29_boolealg.vmin1out2021-07-25 21:01 23K 
[ ]boolealg__t29_boolealg.vout2021-07-25 20:28 27K 
[ ]boolealg__t30_boolealg2021-07-17 23:01 7.5K 
[ ]boolealg__t30_boolealg.depv12021-07-25 20:57 315  
[ ]boolealg__t30_boolealg.depvmin12021-07-25 21:03 315  
[ ]boolealg__t30_boolealg.vmin12021-07-25 20:57 4.2K 
[ ]boolealg__t30_boolealg.vmin1out2021-07-25 21:02 36K 
[ ]boolealg__t30_boolealg.vout2021-07-25 18:05 36K 
[ ]boolealg__t31_boolealg2021-07-17 23:01 8.3K 
[ ]boolealg__t31_boolealg.depv12021-07-25 20:57 305  
[ ]boolealg__t31_boolealg.depvmin12021-07-25 21:03 239  
[ ]boolealg__t31_boolealg.vmin12021-07-25 20:57 4.2K 
[ ]boolealg__t31_boolealg.vmin1out2021-07-25 21:01 24K 
[ ]boolealg__t31_boolealg.vout2021-07-25 14:27 33K 
[ ]boolealg__t32_boolealg2021-07-17 22:56 8.3K 
[ ]boolealg__t32_boolealg.depv12021-07-25 20:57 131  
[ ]boolealg__t32_boolealg.depvmin12021-07-25 21:03 131  
[ ]boolealg__t32_boolealg.vmin12021-07-25 20:57 2.0K 
[ ]boolealg__t32_boolealg.vmin1out2021-07-25 20:59 24K 
[ ]boolealg__t32_boolealg.vout2021-07-25 18:38 15K 
[ ]boolealg__t33_boolealg2021-07-17 23:01 8.6K 
[ ]boolealg__t33_boolealg.depv12021-07-25 20:57 333  
[ ]boolealg__t33_boolealg.vmin12021-07-25 20:57 4.5K 
[ ]boolealg__t33_boolealg.vmin1out2021-07-25 20:59 8.7K 
[ ]boolealg__t33_boolealg.vout2021-07-25 17:49 40K 
[ ]boolealg__t34_boolealg2021-07-17 23:01 6.9K 
[ ]boolealg__t34_boolealg.depv12021-07-25 20:57 211  
[ ]boolealg__t34_boolealg.depvmin12021-07-25 21:03 196  
[ ]boolealg__t34_boolealg.vmin12021-07-25 20:57 2.9K 
[ ]boolealg__t34_boolealg.vmin1out2021-07-25 20:59 41K 
[ ]boolealg__t34_boolealg.vout2021-07-25 20:39 27K 
[ ]boolealg__t35_boolealg2021-07-17 23:02 8.3K 
[ ]boolealg__t35_boolealg.depv12021-07-25 20:57 290  
[ ]boolealg__t35_boolealg.depvmin12021-07-25 21:03 224  
[ ]boolealg__t35_boolealg.vmin12021-07-25 20:57 4.0K 
[ ]boolealg__t35_boolealg.vmin1out2021-07-25 20:58 22K 
[ ]boolealg__t35_boolealg.vout2021-07-25 15:58 29K 
[ ]boolealg__t36_boolealg2021-07-17 23:02 8.7K 
[ ]boolealg__t36_boolealg.depv12021-07-25 20:57 370  
[ ]boolealg__t36_boolealg.depvmin12021-07-25 21:03 370  
[ ]boolealg__t36_boolealg.vmin12021-07-25 20:57 5.2K 
[ ]boolealg__t36_boolealg.vmin1out2021-07-25 21:00 43K 
[ ]boolealg__t36_boolealg.vout2021-07-25 18:27 48K 
[ ]boolealg__t37_boolealg2021-07-17 23:02 7.9K 
[ ]boolealg__t37_boolealg.vout2021-07-25 17:12 7.2K 
[ ]boolealg__t38_boolealg2021-07-17 23:02 8.6K 
[ ]boolealg__t38_boolealg.depv12021-07-25 20:57 372  
[ ]boolealg__t38_boolealg.depvmin12021-07-25 21:03 359  
[ ]boolealg__t38_boolealg.vmin12021-07-25 20:57 5.2K 
[ ]boolealg__t38_boolealg.vmin1out2021-07-25 20:58 39K 
[ ]boolealg__t38_boolealg.vout2021-07-25 17:55 46K 
[ ]boolealg__t39_boolealg2021-07-17 23:03 8.2K 
[ ]boolealg__t39_boolealg.depv12021-07-25 20:57 305  
[ ]boolealg__t39_boolealg.depvmin12021-07-25 21:03 305  
[ ]boolealg__t39_boolealg.vmin12021-07-25 20:57 4.0K 
[ ]boolealg__t39_boolealg.vmin1out2021-07-25 21:02 32K 
[ ]boolealg__t39_boolealg.vout2021-07-25 18:07 33K 
[ ]boolealg__t40_boolealg2021-07-17 23:03 9.7K 
[ ]boolealg__t40_boolealg.depv12021-07-25 20:57 378  
[ ]boolealg__t40_boolealg.depvmin12021-07-25 21:03 378  
[ ]boolealg__t40_boolealg.vmin12021-07-25 20:57 5.2K 
[ ]boolealg__t40_boolealg.vmin1out2021-07-25 20:58 67K 
[ ]boolealg__t40_boolealg.vout2021-07-25 20:53 66K 
[ ]boolealg__t41_boolealg2021-07-17 23:03 7.8K 
[ ]boolealg__t41_boolealg.vout2021-07-25 15:26 7.2K 
[ ]boolealg__t42_boolealg2021-07-17 23:03 7.9K 
[ ]boolealg__t42_boolealg.vout2021-07-25 17:48 7.2K 
[ ]boolealg__t43_boolealg2021-07-17 23:04 9.0K 
[ ]boolealg__t43_boolealg.vout2021-07-25 15:19 8.2K 
[ ]boolealg__t44_boolealg2021-07-17 23:04 8.6K 
[ ]boolealg__t44_boolealg.depv12021-07-25 20:57 347  
[ ]boolealg__t44_boolealg.depvmin12021-07-25 21:03 347  
[ ]boolealg__t44_boolealg.vmin12021-07-25 20:57 4.8K 
[ ]boolealg__t44_boolealg.vmin1out2021-07-25 20:58 48K 
[ ]boolealg__t44_boolealg.vout2021-07-25 17:25 48K 
[ ]boolealg__t45_boolealg2021-07-17 23:04 7.8K 
[ ]boolealg__t45_boolealg.vout2021-07-25 19:51 7.2K 
[ ]boolealg__t46_boolealg2021-07-17 23:04 11K 
[ ]boolealg__t46_boolealg.depv12021-07-25 20:57 325  
[ ]boolealg__t46_boolealg.depvmin12021-07-25 21:03 325  
[ ]boolealg__t46_boolealg.vmin12021-07-25 20:57 4.7K 
[ ]boolealg__t46_boolealg.vmin1out2021-07-25 20:59 53K 
[ ]boolealg__t46_boolealg.vout2021-07-25 17:02 46K 
[ ]boolealg__t47_boolealg2021-07-17 23:05 6.8K 
[ ]boolealg__t47_boolealg.depv12021-07-25 20:57 186  
[ ]boolealg__t47_boolealg.depvmin12021-07-25 21:03 186  
[ ]boolealg__t47_boolealg.vmin12021-07-25 20:57 2.3K 
[ ]boolealg__t47_boolealg.vmin1out2021-07-25 21:00 17K 
[ ]boolealg__t47_boolealg.vout2021-07-25 18:05 16K 
[ ]boolealg__t48_boolealg2021-07-17 23:05 7.4K 
[ ]boolealg__t48_boolealg.depv12021-07-25 20:57 184  
[ ]boolealg__t48_boolealg.depvmin12021-07-25 21:03 158  
[ ]boolealg__t48_boolealg.vmin12021-07-25 20:57 2.5K 
[ ]boolealg__t48_boolealg.vmin1out2021-07-25 21:02 25K 
[ ]boolealg__t48_boolealg.vout2021-07-25 20:24 19K 
[ ]boolealg__t49_boolealg2021-07-17 23:05 8.6K 
[ ]boolealg__t49_boolealg.vout2021-07-25 15:49 8.7K 
[ ]boolealg__t50_boolealg2021-07-17 23:05 5.8K 
[ ]boolealg__t50_boolealg.vout2021-07-25 17:51 2.0K 
[ ]boolealg__t51_boolealg2021-07-17 22:56 5.0K 
[ ]boolealg__t51_boolealg.depv12021-07-25 20:57 191  
[ ]boolealg__t51_boolealg.depvmin12021-07-25 21:03 165  
[ ]boolealg__t51_boolealg.vmin12021-07-25 20:57 2.5K 
[ ]boolealg__t51_boolealg.vmin1out2021-07-25 21:01 45K 
[ ]boolealg__t51_boolealg.vout2021-07-25 20:27 43K 
[ ]boolealg__t52_boolealg2021-07-17 23:05 5.8K 
[ ]boolealg__t52_boolealg.vout2021-07-25 20:50 2.0K 
[ ]boolealg__t53_boolealg2021-07-17 23:06 10K 
[ ]boolealg__t53_boolealg.depv12021-07-25 20:57 420  
[ ]boolealg__t53_boolealg.depvmin12021-07-25 21:03 405  
[ ]boolealg__t53_boolealg.vmin12021-07-25 20:57 6.0K 
[ ]boolealg__t53_boolealg.vmin1out2021-07-25 21:02 55K 
[ ]boolealg__t53_boolealg.vout2021-07-25 15:17 55K 
[ ]boolealg__t54_boolealg2021-07-17 23:06 8.4K 
[ ]boolealg__t54_boolealg.vout2021-07-25 15:58 8.2K 
[ ]boolealg__t55_boolealg2021-07-17 23:06 10K 
[ ]boolealg__t55_boolealg.vout2021-07-25 16:40 7.2K 
[ ]boolealg__t56_boolealg2021-07-17 22:57 9.0K 
[ ]boolealg__t56_boolealg.depv12021-07-25 20:57 238  
[ ]boolealg__t56_boolealg.depvmin12021-07-25 21:03 238  
[ ]boolealg__t56_boolealg.vmin12021-07-25 20:57 3.1K 
[ ]boolealg__t56_boolealg.vmin1out2021-07-25 21:02 21K 
[ ]boolealg__t56_boolealg.vout2021-07-25 20:23 20K 
[ ]boolealg__t57_boolealg2021-07-17 22:57 9.0K 
[ ]boolealg__t57_boolealg.depv12021-07-25 20:57 223  
[ ]boolealg__t57_boolealg.depvmin12021-07-25 21:03 223  
[ ]boolealg__t57_boolealg.vmin12021-07-25 20:57 2.9K 
[ ]boolealg__t57_boolealg.vmin1out2021-07-25 21:02 20K 
[ ]boolealg__t57_boolealg.vout2021-07-25 20:52 19K 
[ ]boolealg__t58_boolealg2021-07-17 23:06 8.5K 
[ ]boolealg__t58_boolealg.vout2021-07-25 16:20 2.0K 
[ ]boolealg__t59_boolealg2021-07-17 23:07 11K 
[ ]boolealg__t59_boolealg.depv12021-07-25 20:57 417  
[ ]boolealg__t59_boolealg.depvmin12021-07-25 21:03 417  
[ ]boolealg__t59_boolealg.vmin12021-07-25 20:57 6.2K 
[ ]boolealg__t59_boolealg.vmin1out2021-07-25 21:00 74K 
[ ]boolealg__t59_boolealg.vout2021-07-25 16:15 65K 
[ ]boolealg__t60_boolealg2021-07-17 23:07 10K 
[ ]boolealg__t60_boolealg.vout2021-07-25 14:25 7.2K 
[ ]boolealg__t61_boolealg2021-07-17 23:07 9.3K 
[ ]boolealg__t61_boolealg.vout2021-07-25 15:50 8.2K 
[ ]boolealg__t62_boolealg2021-07-17 23:07 12K 
[ ]boolealg__t62_boolealg.vout2021-07-25 17:45 4.1K 
[ ]boolealg__t63_boolealg2021-07-17 23:08 10K 
[ ]boolealg__t63_boolealg.vout2021-07-25 19:58 8.2K 
[ ]boolealg__t64_boolealg2021-07-17 23:08 9.0K 
[ ]boolealg__t64_boolealg.vout2021-07-25 15:39 7.2K 
[ ]boolealg__t65_boolealg2021-07-17 23:08 9.2K 
[ ]boolealg__t65_boolealg.vout2021-07-25 15:15 7.2K 
[ ]boolealg__t66_boolealg2021-07-17 23:08 9.5K 
[ ]boolealg__t66_boolealg.vout2021-07-25 18:35 7.2K 
[ ]boolealg__t67_boolealg2021-07-17 23:09 11K 
[ ]boolealg__t67_boolealg.vout2021-07-25 19:11 8.2K 
[ ]boolealg__t68_boolealg2021-07-17 23:09 10K 
[ ]boolealg__t68_boolealg.vout2021-07-25 15:16 7.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80