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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]functor1__l19_functor12024-07-27 10:07 28K 
[ ]functor1__l19_functor1.vout2024-08-03 06:33 4.7K 
[ ]functor1__t1_functor12024-07-27 09:45 21K 
[ ]functor1__t1_functor1.vout2024-08-03 08:46 4.7K 
[ ]functor1__t2_functor12024-07-27 09:46 15K 
[ ]functor1__t2_functor1.depv12024-08-03 10:19 87  
[ ]functor1__t2_functor1.depvmin12024-08-03 10:24 87  
[ ]functor1__t2_functor1.vmin12024-08-03 10:19 1.4K 
[ ]functor1__t2_functor1.vmin1out2024-08-03 10:23 14K 
[ ]functor1__t2_functor1.vout2024-08-03 09:43 26K 
[ ]functor1__t3_functor12024-07-27 09:46 19K 
[ ]functor1__t3_functor1.vout2024-08-03 09:06 7.3K 
[ ]functor1__t4_functor12024-07-27 09:48 43K 
[ ]functor1__t4_functor1.vout2024-08-03 08:18 4.7K 
[ ]functor1__t5_functor12024-07-27 09:49 19K 
[ ]functor1__t5_functor1.vout2024-08-03 08:55 3.7K 
[ ]functor1__t6_functor12024-07-27 09:50 29K 
[ ]functor1__t6_functor1.vout2024-08-03 09:05 4.1K 
[ ]functor1__t7_functor12024-07-27 09:51 32K 
[ ]functor1__t7_functor1.vout2024-08-03 08:44 4.1K 
[ ]functor1__t8_functor12024-07-27 09:52 32K 
[ ]functor1__t8_functor1.vout2024-08-03 08:20 4.1K 
[ ]functor1__t9_functor12024-07-27 09:53 35K 
[ ]functor1__t9_functor1.vout2024-08-03 07:05 4.1K 
[ ]functor1__t10_functor12024-07-27 09:43 21K 
[ ]functor1__t10_functor1.vout2024-08-03 10:02 3.2K 
[ ]functor1__t11_functor12024-07-27 09:44 21K 
[ ]functor1__t11_functor1.vout2024-08-03 09:51 3.2K 
[ ]functor1__t12_functor12024-07-27 09:44 21K 
[ ]functor1__t12_functor1.vout2024-08-03 07:15 3.2K 
[ ]functor1__t13_functor12024-07-27 09:54 25K 
[ ]functor1__t13_functor1.vout2024-08-03 05:18 4.1K 
[ ]functor1__t14_functor12024-07-27 09:56 45K 
[ ]functor1__t14_functor1.vout2024-08-03 07:24 7.3K 
[ ]functor1__t15_functor12024-07-27 09:57 37K 
[ ]functor1__t15_functor1.vout2024-08-03 10:11 4.1K 
[ ]functor1__t16_functor12024-07-27 09:58 24K 
[ ]functor1__t16_functor1.vout2024-08-03 07:59 7.9K 
[ ]functor1__t17_functor12024-07-27 10:00 40K 
[ ]functor1__t17_functor1.vout2024-08-03 07:11 4.7K 
[ ]functor1__t18_functor12024-07-27 10:01 46K 
[ ]functor1__t18_functor1.vout2024-08-03 08:36 4.7K 
[ ]functor1__t19_functor12024-07-27 10:03 47K 
[ ]functor1__t19_functor1.vout2024-08-03 05:31 4.7K 
[ ]functor1__t20_functor12024-07-27 10:04 33K 
[ ]functor1__t20_functor1.vout2024-08-03 10:15 4.1K 
[ ]functor1__t21_functor12024-07-27 10:06 44K 
[ ]functor1__t21_functor1.vout2024-08-03 08:38 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80