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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]osalg_4__t1_osalg_42024-07-28 21:48 29K 
[ ]osalg_4__t1_osalg_4.vout2024-08-03 09:16 7.3K 
[ ]osalg_4__t2_osalg_42024-07-28 21:50 39K 
[ ]osalg_4__t2_osalg_4.vout2024-08-03 05:45 4.7K 
[ ]osalg_4__t3_osalg_42024-07-28 21:51 25K 
[ ]osalg_4__t3_osalg_4.vout2024-08-03 06:03 2.0K 
[ ]osalg_4__t4_osalg_42024-07-28 21:53 30K 
[ ]osalg_4__t4_osalg_4.vout2024-08-03 09:11 2.0K 
[ ]osalg_4__t5_osalg_42024-07-28 21:54 32K 
[ ]osalg_4__t5_osalg_4.vout2024-08-03 09:48 7.3K 
[ ]osalg_4__t6_osalg_42024-07-28 21:56 98K 
[ ]osalg_4__t6_osalg_4.vout2024-08-03 04:14 4.7K 
[ ]osalg_4__t7_osalg_42024-07-28 21:57 31K 
[ ]osalg_4__t7_osalg_4.vout2024-08-03 04:40 4.7K 
[ ]osalg_4__t8_osalg_42024-07-28 21:59 30K 
[ ]osalg_4__t8_osalg_4.vout2024-08-03 09:25 5.8K 
[ ]osalg_4__t9_osalg_42024-07-28 21:45 20K 
[ ]osalg_4__t9_osalg_4.depv12024-08-03 10:19 113  
[ ]osalg_4__t9_osalg_4.depvmin12024-08-03 10:24 113  
[ ]osalg_4__t9_osalg_4.vmin12024-08-03 10:19 1.2K 
[ ]osalg_4__t9_osalg_4.vmin1out2024-08-03 10:22 10K 
[ ]osalg_4__t9_osalg_4.vout2024-08-03 04:20 10K 
[ ]osalg_4__t10_osalg_42024-07-28 22:01 42K 
[ ]osalg_4__t10_osalg_4.vout2024-08-03 07:51 5.3K 
[ ]osalg_4__t11_osalg_42024-07-28 22:02 31K 
[ ]osalg_4__t11_osalg_4.vout2024-08-03 06:07 2.0K 
[ ]osalg_4__t12_osalg_42024-07-28 22:04 47K 
[ ]osalg_4__t12_osalg_4.vout2024-08-03 07:15 7.9K 
[ ]osalg_4__t13_osalg_42024-07-28 21:47 41K 
[ ]osalg_4__t13_osalg_4.depv12024-08-03 10:19 75  
[ ]osalg_4__t13_osalg_4.depvmin12024-08-03 10:24 75  
[ ]osalg_4__t13_osalg_4.vmin12024-08-03 10:19 1.9K 
[ ]osalg_4__t13_osalg_4.vmin1out2024-08-03 10:22 26K 
[ ]osalg_4__t13_osalg_4.vout2024-08-03 07:50 31K 
[ ]osalg_4__t14_osalg_42024-07-28 22:06 65K 
[ ]osalg_4__t14_osalg_4.vout2024-08-03 08:18 4.2K 
[ ]osalg_4__t15_osalg_42024-07-28 22:09 87K 
[ ]osalg_4__t15_osalg_4.vout2024-08-03 08:04 5.3K 
[ ]osalg_4__t16_osalg_42024-07-28 22:11 51K 
[ ]osalg_4__t16_osalg_4.vout2024-08-03 05:42 7.8K 
[ ]osalg_4__t17_osalg_42024-07-28 22:14 93K 
[ ]osalg_4__t17_osalg_4.vout2024-08-03 09:24 5.3K 
[ ]osalg_4__t18_osalg_42024-07-28 22:17 68K 
[ ]osalg_4__t18_osalg_4.vout2024-08-03 07:49 5.3K 
[ ]osalg_4__t19_osalg_42024-07-28 22:19 44K 
[ ]osalg_4__t19_osalg_4.vout2024-08-03 04:43 7.3K 
[ ]osalg_4__t20_osalg_42024-07-28 22:21 39K 
[ ]osalg_4__t20_osalg_4.vout2024-08-03 05:16 7.9K 
[ ]osalg_4__t21_osalg_42024-07-28 22:23 48K 
[ ]osalg_4__t21_osalg_4.vout2024-08-03 09:49 7.8K 
[ ]osalg_4__t22_osalg_42024-07-28 22:24 47K 
[ ]osalg_4__t22_osalg_4.vout2024-08-03 05:02 2.0K 
[ ]osalg_4__t23_osalg_42024-07-28 22:26 49K 
[ ]osalg_4__t23_osalg_4.vout2024-08-03 05:53 7.8K 
[ ]osalg_4__t24_osalg_42024-07-28 22:29 64K 
[ ]osalg_4__t24_osalg_4.vout2024-08-03 07:14 7.3K 
[ ]osalg_4__t25_osalg_42024-07-28 22:31 87K 
[ ]osalg_4__t25_osalg_4.vout2024-08-03 07:49 5.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80