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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pappus__l2_pappus2024-07-28 17:50 43K 
[ ]pappus__l2_pappus.vout2024-08-03 06:13 5.8K 
[ ]pappus__l3_pappus2024-07-28 17:52 43K 
[ ]pappus__l3_pappus.vout2024-08-03 07:27 6.2K 
[ ]pappus__l4_pappus2024-07-28 17:53 42K 
[ ]pappus__l4_pappus.vout2024-08-03 04:17 4.7K 
[ ]pappus__l5_pappus2024-07-28 17:55 43K 
[ ]pappus__l5_pappus.vout2024-08-03 04:29 6.2K 
[ ]pappus__l21_pappus2024-07-28 17:58 89K 
[ ]pappus__l21_pappus.vout2024-08-03 05:30 5.8K 
[ ]pappus__l22_pappus2024-07-28 18:02 158K 
[ ]pappus__l22_pappus.vout2024-08-03 09:33 5.8K 
[ ]pappus__l23_pappus2024-07-28 18:03 35K 
[ ]pappus__l23_pappus.vout2024-08-03 04:54 4.1K 
[ ]pappus__t1_pappus2024-07-28 17:26 81K 
[ ]pappus__t1_pappus.vout2024-08-03 07:39 4.7K 
[ ]pappus__t2_pappus2024-07-28 17:28 46K 
[ ]pappus__t2_pappus.vout2024-08-03 07:12 4.7K 
[ ]pappus__t3_pappus2024-07-28 17:29 18K 
[ ]pappus__t3_pappus.vout2024-08-03 06:59 4.7K 
[ ]pappus__t4_pappus2024-07-28 17:30 9.0K 
[ ]pappus__t4_pappus.depv12024-08-03 10:19 42  
[ ]pappus__t4_pappus.depvmin12024-08-03 10:24 42  
[ ]pappus__t4_pappus.vmin12024-08-03 10:20 3.3K 
[ ]pappus__t4_pappus.vmin1out2024-08-03 10:23 250K 
[ ]pappus__t4_pappus.vout2024-08-03 07:42 275K 
[ ]pappus__t5_pappus2024-07-28 17:31 7.9K 
[ ]pappus__t5_pappus.depv12024-08-03 10:19 42  
[ ]pappus__t5_pappus.depvmin12024-08-03 10:24 42  
[ ]pappus__t5_pappus.vmin12024-08-03 10:20 2.3K 
[ ]pappus__t5_pappus.vmin1out2024-08-03 10:20 98K 
[ ]pappus__t5_pappus.vout2024-08-03 06:05 99K 
[ ]pappus__t6_pappus2024-07-28 17:32 8.2K 
[ ]pappus__t6_pappus.depv12024-08-03 10:19 42  
[ ]pappus__t6_pappus.depvmin12024-08-03 10:24 42  
[ ]pappus__t6_pappus.vmin12024-08-03 10:20 2.5K 
[ ]pappus__t6_pappus.vmin1out2024-08-03 10:23 75K 
[ ]pappus__t6_pappus.vout2024-08-03 07:15 76K 
[ ]pappus__t7_pappus2024-07-28 17:33 8.4K 
[ ]pappus__t7_pappus.depv12024-08-03 10:19 52  
[ ]pappus__t7_pappus.depvmin12024-08-03 10:24 52  
[ ]pappus__t7_pappus.vmin12024-08-03 10:20 2.3K 
[ ]pappus__t7_pappus.vmin1out2024-08-03 10:23 24K 
[ ]pappus__t7_pappus.vout2024-08-03 04:07 24K 
[ ]pappus__t8_pappus2024-07-28 17:34 9.1K 
[ ]pappus__t8_pappus.depv12024-08-03 10:19 64  
[ ]pappus__t8_pappus.depvmin12024-08-03 10:24 54  
[ ]pappus__t8_pappus.vmin12024-08-03 10:20 3.0K 
[ ]pappus__t8_pappus.vmin1out2024-08-03 10:20 96K 
[ ]pappus__t8_pappus.vout2024-08-03 05:25 88K 
[ ]pappus__t9_pappus2024-07-28 17:34 7.9K 
[ ]pappus__t9_pappus.depv12024-08-03 10:19 52  
[ ]pappus__t9_pappus.depvmin12024-08-03 10:24 52  
[ ]pappus__t9_pappus.vmin12024-08-03 10:20 2.2K 
[ ]pappus__t9_pappus.vmin1out2024-08-03 10:22 41K 
[ ]pappus__t9_pappus.vout2024-08-03 10:12 42K 
[ ]pappus__t10_pappus2024-07-28 17:35 8.3K 
[ ]pappus__t10_pappus.depv12024-08-03 10:19 63  
[ ]pappus__t10_pappus.depvmin12024-08-03 10:24 43  
[ ]pappus__t10_pappus.vmin12024-08-03 10:20 2.6K 
[ ]pappus__t10_pappus.vmin1out2024-08-03 10:22 47K 
[ ]pappus__t10_pappus.vout2024-08-03 09:36 67K 
[ ]pappus__t11_pappus2024-07-28 17:36 8.2K 
[ ]pappus__t11_pappus.depv12024-08-03 10:19 53  
[ ]pappus__t11_pappus.depvmin12024-08-03 10:24 53  
[ ]pappus__t11_pappus.vmin12024-08-03 10:20 2.2K 
[ ]pappus__t11_pappus.vmin1out2024-08-03 10:20 48K 
[ ]pappus__t11_pappus.vout2024-08-03 05:20 20K 
[ ]pappus__t12_pappus2024-07-28 17:37 7.0K 
[ ]pappus__t12_pappus.depv12024-08-03 10:19 31  
[ ]pappus__t12_pappus.depvmin12024-08-03 10:24 31  
[ ]pappus__t12_pappus.vmin12024-08-03 10:20 1.3K 
[ ]pappus__t12_pappus.vmin1out2024-08-03 10:21 25K 
[ ]pappus__t12_pappus.vout2024-08-03 10:18 25K 
[ ]pappus__t13_pappus2024-07-28 17:38 7.0K 
[ ]pappus__t13_pappus.depv12024-08-03 10:19 31  
[ ]pappus__t13_pappus.depvmin12024-08-03 10:24 31  
[ ]pappus__t13_pappus.vmin12024-08-03 10:20 1.3K 
[ ]pappus__t13_pappus.vmin1out2024-08-03 10:23 25K 
[ ]pappus__t13_pappus.vout2024-08-03 05:01 25K 
[ ]pappus__t14_pappus2024-07-28 17:39 7.5K 
[ ]pappus__t14_pappus.depv12024-08-03 10:19 43  
[ ]pappus__t14_pappus.depvmin12024-08-03 10:24 43  
[ ]pappus__t14_pappus.vmin12024-08-03 10:20 1.8K 
[ ]pappus__t14_pappus.vmin1out2024-08-03 10:23 33K 
[ ]pappus__t14_pappus.vout2024-08-03 09:54 34K 
[ ]pappus__t15_pappus2024-07-28 17:39 8.2K 
[ ]pappus__t15_pappus.depv12024-08-03 10:19 53  
[ ]pappus__t15_pappus.depvmin12024-08-03 10:24 53  
[ ]pappus__t15_pappus.vmin12024-08-03 10:20 2.3K 
[ ]pappus__t15_pappus.vmin1out2024-08-03 10:21 53K 
[ ]pappus__t15_pappus.vout2024-08-03 07:43 54K 
[ ]pappus__t16_pappus2024-07-28 17:40 8.6K 
[ ]pappus__t16_pappus.depv12024-08-03 10:19 53  
[ ]pappus__t16_pappus.depvmin12024-08-03 10:24 53  
[ ]pappus__t16_pappus.vmin12024-08-03 10:20 2.4K 
[ ]pappus__t16_pappus.vmin1out2024-08-03 10:23 72K 
[ ]pappus__t16_pappus.vout2024-08-03 04:25 25K 
[ ]pappus__t17_pappus2024-07-28 17:42 33K 
[ ]pappus__t17_pappus.depv12024-08-03 10:19 33  
[ ]pappus__t17_pappus.depvmin12024-08-03 10:24 33  
[ ]pappus__t17_pappus.vmin12024-08-03 10:20 4.5K 
[ ]pappus__t17_pappus.vmin1out2024-08-03 10:20 46K 
[ ]pappus__t17_pappus.vout2024-08-03 07:02 45K 
[ ]pappus__t18_pappus2024-07-28 17:22 30K 
[ ]pappus__t18_pappus.depv12024-08-03 10:19 140  
[ ]pappus__t18_pappus.depvmin12024-08-03 10:24 140  
[ ]pappus__t18_pappus.vmin12024-08-03 10:20 2.3K 
[ ]pappus__t18_pappus.vmin1out2024-08-03 10:20 27K 
[ ]pappus__t18_pappus.vout2024-08-03 06:25 17K 
[ ]pappus__t19_pappus2024-07-28 17:44 33K 
[ ]pappus__t19_pappus.vout2024-08-03 04:45 4.1K 
[ ]pappus__t20_pappus2024-07-28 17:45 37K 
[ ]pappus__t20_pappus.vout2024-08-03 07:18 5.9K 
[ ]pappus__t21_pappus2024-07-28 17:24 35K 
[ ]pappus__t21_pappus.vout2024-08-03 07:54 4.1K 
[ ]pappus__t22_pappus2024-07-28 17:48 233K 
[ ]pappus__t22_pappus.vout2024-08-03 08:34 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80