Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/MPTP2/problems_small_thf.orig2021/boolealg

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]boolealg__l66_boolealg2021-07-18 21:57 18K 
[ ]boolealg__t1_boolealg2021-07-18 21:46 9.3K 
[ ]boolealg__t2_boolealg2021-07-18 21:47 8.8K 
[ ]boolealg__t3_boolealg2021-07-18 21:47 8.2K 
[ ]boolealg__t4_boolealg2021-07-18 21:44 10K 
[ ]boolealg__t5_boolealg2021-07-18 21:47 8.5K 
[ ]boolealg__t6_boolealg2021-07-18 21:47 8.4K 
[ ]boolealg__t7_boolealg2021-07-18 21:44 5.4K 
[ ]boolealg__t8_boolealg2021-07-18 21:47 10K 
[ ]boolealg__t9_boolealg2021-07-18 21:44 5.9K 
[ ]boolealg__t10_boolealg2021-07-18 21:45 8.9K 
[ ]boolealg__t11_boolealg2021-07-18 21:45 8.6K 
[ ]boolealg__t12_boolealg2021-07-18 21:45 8.9K 
[ ]boolealg__t13_boolealg2021-07-18 21:45 7.8K 
[ ]boolealg__t14_boolealg2021-07-18 21:47 6.9K 
[ ]boolealg__t15_boolealg2021-07-18 21:48 7.9K 
[ ]boolealg__t16_boolealg2021-07-18 21:45 4.0K 
[ ]boolealg__t17_boolealg2021-07-18 21:45 6.1K 
[ ]boolealg__t18_boolealg2021-07-18 21:45 7.1K 
[ ]boolealg__t19_boolealg2021-07-18 21:46 9.7K 
[ ]boolealg__t20_boolealg2021-07-18 21:48 6.9K 
[ ]boolealg__t21_boolealg2021-07-18 21:48 14K 
[ ]boolealg__t22_boolealg2021-07-18 21:48 9.8K 
[ ]boolealg__t23_boolealg2021-07-18 21:48 10K 
[ ]boolealg__t24_boolealg2021-07-18 21:49 14K 
[ ]boolealg__t25_boolealg2021-07-18 21:49 11K 
[ ]boolealg__t26_boolealg2021-07-18 21:49 12K 
[ ]boolealg__t27_boolealg2021-07-18 21:49 12K 
[ ]boolealg__t28_boolealg2021-07-18 21:49 14K 
[ ]boolealg__t29_boolealg2021-07-18 21:50 12K 
[ ]boolealg__t30_boolealg2021-07-18 21:50 13K 
[ ]boolealg__t31_boolealg2021-07-18 21:50 14K 
[ ]boolealg__t32_boolealg2021-07-18 21:46 14K 
[ ]boolealg__t33_boolealg2021-07-18 21:50 14K 
[ ]boolealg__t34_boolealg2021-07-18 21:50 12K 
[ ]boolealg__t35_boolealg2021-07-18 21:50 14K 
[ ]boolealg__t36_boolealg2021-07-18 21:51 15K 
[ ]boolealg__t37_boolealg2021-07-18 21:51 13K 
[ ]boolealg__t38_boolealg2021-07-18 21:51 14K 
[ ]boolealg__t39_boolealg2021-07-18 21:51 14K 
[ ]boolealg__t40_boolealg2021-07-18 21:51 16K 
[ ]boolealg__t41_boolealg2021-07-18 21:52 13K 
[ ]boolealg__t42_boolealg2021-07-18 21:52 13K 
[ ]boolealg__t43_boolealg2021-07-18 21:52 15K 
[ ]boolealg__t44_boolealg2021-07-18 21:52 14K 
[ ]boolealg__t45_boolealg2021-07-18 21:52 13K 
[ ]boolealg__t46_boolealg2021-07-18 21:53 18K 
[ ]boolealg__t47_boolealg2021-07-18 21:53 11K 
[ ]boolealg__t48_boolealg2021-07-18 21:53 13K 
[ ]boolealg__t49_boolealg2021-07-18 21:53 14K 
[ ]boolealg__t50_boolealg2021-07-18 21:53 10K 
[ ]boolealg__t51_boolealg2021-07-18 21:46 8.7K 
[ ]boolealg__t52_boolealg2021-07-18 21:54 10K 
[ ]boolealg__t53_boolealg2021-07-18 21:54 17K 
[ ]boolealg__t54_boolealg2021-07-18 21:54 14K 
[ ]boolealg__t55_boolealg2021-07-18 21:54 17K 
[ ]boolealg__t56_boolealg2021-07-18 21:46 15K 
[ ]boolealg__t57_boolealg2021-07-18 21:46 15K 
[ ]boolealg__t58_boolealg2021-07-18 21:54 14K 
[ ]boolealg__t59_boolealg2021-07-18 21:55 18K 
[ ]boolealg__t60_boolealg2021-07-18 21:55 17K 
[ ]boolealg__t61_boolealg2021-07-18 21:55 15K 
[ ]boolealg__t62_boolealg2021-07-18 21:55 20K 
[ ]boolealg__t63_boolealg2021-07-18 21:56 17K 
[ ]boolealg__t64_boolealg2021-07-18 21:56 15K 
[ ]boolealg__t65_boolealg2021-07-18 21:56 15K 
[ ]boolealg__t66_boolealg2021-07-18 21:56 16K 
[ ]boolealg__t67_boolealg2021-07-18 21:56 17K 
[ ]boolealg__t68_boolealg2021-07-18 21:57 17K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80