Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/d10_setfam_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]abian__578_13.min1.thm1.tptp2017-02-06 16:58 273  
[ ]fomodel0__406_15.min1.thm1.tptp2017-02-06 16:58 309  
[ ]fomodel0__426_15.min1.thm1.tptp2017-02-06 16:58 295  
[ ]jordan1h__74_13.min1.thm1.tptp2017-02-06 16:58 313  
[ ]pre_poly__401_13.min1.thm1.tptp2017-02-06 16:58 358  
[ ]setfam_1__1441_46.min1.thm1.tptp2017-02-06 16:58 294  
[ ]setfam_1__1453_41.min1.thm1.tptp2017-02-06 16:58 285  
[ ]simplex0__279_16.min1.thm1.tptp2017-02-06 16:58 285  
[ ]simplex0__534_16.min1.thm1.tptp2017-02-06 16:58 389  
[ ]simplex0__1372_33.min1.thm1.tptp2017-02-06 16:58 308  
[ ]simplex0__2002_34.min1.thm1.tptp2017-02-06 16:58 316  
[ ]simplex0__2604_49.min1.thm1.tptp2017-02-06 16:58 414  
[ ]simplex0__2643_48.min1.thm1.tptp2017-02-06 16:58 410  
[ ]simplex0__2730_33.min1.thm1.tptp2017-02-06 16:58 308  
[ ]simplex0__3275_33.min1.thm1.tptp2017-02-06 16:58 412  
[ ]simplex1__440_34.min1.thm1.tptp2017-02-06 16:58 308  
[ ]simplex1__453_54.min1.thm1.tptp2017-02-06 16:58 317  
[ ]valued_0__1881_13.min1.thm1.tptp2017-02-06 16:58 289  
[ ]waybel34__438_41.min1.thm1.tptp2017-02-06 16:58 281  
[ ]waybel34__541_41.min1.thm1.tptp2017-02-06 16:58 281  
[ ]waybel34__576_41.min1.thm1.tptp2017-02-06 16:58 285  
[ ]waybel34__585_41.min1.thm1.tptp2017-02-06 16:58 285  
[ ]waybel34__597_39.min1.thm1.tptp2017-02-06 16:58 281  
[ ]waybel34__608_41.min1.thm1.tptp2017-02-06 16:58 281  
[ ]waybel34__625_39.min1.thm1.tptp2017-02-06 16:58 281  
[ ]waybel34__636_41.min1.thm1.tptp2017-02-06 16:58 281  
[ ]waybel34__652_41.min1.thm1.tptp2017-02-06 16:58 281  
[ ]waybel34__798_41.min1.thm1.tptp2017-02-06 16:58 285  
[ ]waybel34__851_42.min1.thm1.tptp2017-02-06 16:58 285  
[ ]waybel34__906_41.min1.thm1.tptp2017-02-06 16:58 281  
[ ]waybel34__1838_41.min1.thm1.tptp2017-02-06 16:58 281  
[ ]waybel34__2127_13.min1.thm1.tptp2017-02-06 16:58 281  
[ ]waybel34__2219_13.min1.thm1.tptp2017-02-06 16:58 281  
[ ]waybel34__2265_41.min1.thm1.tptp2017-02-06 16:58 281  
[ ]waybel34__2310_13.min1.thm1.tptp2017-02-06 16:58 281  
[ ]waybel34__2350_41.min1.thm1.tptp2017-02-06 16:58 281  
[ ]waybel34__2403_41.min1.thm1.tptp2017-02-06 16:58 281  
[ ]waybel34__2453_41.min1.thm1.tptp2017-02-06 16:58 281  
[ ]yellow21__1696_41.min1.thm1.tptp2017-02-06 16:58 285  
[ ]yellow21__1718_41.min1.thm1.tptp2017-02-06 16:58 281  
[ ]yellow21__1772_41.min1.thm1.tptp2017-02-06 16:58 281  
[ ]yellow21__1935_13.min1.thm1.tptp2017-02-06 16:58 281  
[ ]yellow21__1967_13.min1.thm1.tptp2017-02-06 16:58 281  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80