Index of /~mptp/1147/MPTP2/problems/polyeq_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]polyeq_1__l16_polyeq_12023-06-28 00:40 18K 
[ ]polyeq_1__l17_polyeq_12023-06-28 00:40 19K 
[ ]polyeq_1__t1_polyeq_12023-06-28 00:40 46K 
[ ]polyeq_1__t2_polyeq_12023-06-28 00:40 18K 
[ ]polyeq_1__t3_polyeq_12023-06-28 00:40 27K 
[ ]polyeq_1__t4_polyeq_12023-06-28 00:40 100K 
[ ]polyeq_1__t5_polyeq_12023-06-28 00:40 512K 
[ ]polyeq_1__t6_polyeq_12023-06-28 00:40 481K 
[ ]polyeq_1__t7_polyeq_12023-06-28 00:40 508K 
[ ]polyeq_1__t8_polyeq_12023-06-28 00:40 47K 
[ ]polyeq_1__t9_polyeq_12023-06-28 00:40 28K 
[ ]polyeq_1__t10_polyeq_12023-06-28 00:40 28K 
[ ]polyeq_1__t11_polyeq_12023-06-28 00:40 48K 
[ ]polyeq_1__t12_polyeq_12023-06-28 00:40 902K 
[ ]polyeq_1__t13_polyeq_12023-06-28 00:40 109K 
[ ]polyeq_1__t14_polyeq_12023-06-28 00:40 133K 
[ ]polyeq_1__t15_polyeq_12023-06-28 00:40 218K 
[ ]polyeq_1__t16_polyeq_12023-06-28 00:40 487K 
[ ]polyeq_1__t17_polyeq_12023-06-28 00:40 177K 
[ ]polyeq_1__t18_polyeq_12023-06-28 00:40 216K 
[ ]polyeq_1__t19_polyeq_12023-06-28 00:40 728K 
[ ]polyeq_1__t20_polyeq_12023-06-28 00:40 129K 
[ ]polyeq_1__t21_polyeq_12023-06-28 00:40 224K 
[ ]polyeq_1__t22_polyeq_12023-06-28 00:40 132K 
[ ]polyeq_1__t23_polyeq_12023-06-28 00:40 132K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80