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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bagorder__3071_24.min1.thm1.tptp2017-02-06 16:58 546  
[ ]eqrel_1__151_16.min1.thm1.tptp2017-02-06 16:58 409  
[ ]eqrel_1__160_16.min1.thm1.tptp2017-02-06 16:58 419  
[ ]eqrel_1__178_16.min1.thm1.tptp2017-02-06 16:58 419  
[ ]filter_0__1814_17.min1.thm1.tptp2017-02-06 16:58 653  
[ ]fomodel3__561_18.min1.thm1.tptp2017-02-06 16:58 429  
[ ]fomodel3__588_18.min1.thm1.tptp2017-02-06 16:58 429  
[ ]lattice5__5279_21.min1.thm1.tptp2017-02-06 16:58 474  
[ ]lattice5__5292_21.min1.thm1.tptp2017-02-06 16:58 474  
[ ]lattice5__5398_21.min1.thm1.tptp2017-02-06 16:58 474  
[ ]lattice8__3813_21.min1.thm1.tptp2017-02-06 16:58 474  
[ ]lattice8__3826_21.min1.thm1.tptp2017-02-06 16:58 474  
[ ]lattice8__3924_21.min1.thm1.tptp2017-02-06 16:58 474  
[ ]orders_2__151_18.min1.thm1.tptp2017-02-06 16:58 433  
[ ]orders_2__164_18.min1.thm1.tptp2017-02-06 16:58 433  
[ ]orders_2__177_18.min1.thm1.tptp2017-02-06 16:58 433  
[ ]partit_2__201_18.min1.thm1.tptp2017-02-06 16:58 459  
[ ]partit_2__204_18.min1.thm1.tptp2017-02-06 16:58 459  
[ ]polynom2__52_18.min1.thm1.tptp2017-02-06 16:58 477  
[ ]polynom2__81_18.min1.thm1.tptp2017-02-06 16:58 477  
[ ]polynom2__706_16.min1.thm1.tptp2017-02-06 16:58 489  
[ ]polynom2__898_16.min1.thm1.tptp2017-02-06 16:58 489  
[ ]pre_poly__814_26.min1.thm1.tptp2017-02-06 16:58 504  
[ ]pre_poly__1090_19.min1.thm1.tptp2017-02-06 16:58 489  
[ ]pre_poly__1512_16.min1.thm1.tptp2017-02-06 16:58 490  
[ ]pre_poly__1545_16.min1.thm1.tptp2017-02-06 16:58 490  
[ ]roughs_1__134_16.min1.thm1.tptp2017-02-06 16:58 419  
[ ]termord__729_21.min1.thm1.tptp2017-02-06 16:58 533  
[ ]termord__741_21.min1.thm1.tptp2017-02-06 16:58 533  
[ ]termord__755_21.min1.thm1.tptp2017-02-06 16:58 533  
[ ]termord__816_23.min1.thm1.tptp2017-02-06 16:58 566  
[ ]termord__848_21.min1.thm1.tptp2017-02-06 16:58 533  
[ ]toler_1__201_20.min1.thm1.tptp2017-02-06 16:58 441  
[ ]toler_1__220_16.min1.thm1.tptp2017-02-06 16:58 419  
[ ]toler_1__228_16.min1.thm1.tptp2017-02-06 16:58 448  
[ ]toler_1__236_16.min1.thm1.tptp2017-02-06 16:58 448  
[ ]toler_1__1098_18.min1.thm1.tptp2017-02-06 16:58 448  
[ ]toler_1__1130_16.min1.thm1.tptp2017-02-06 16:58 448  
[ ]waybel20__2062_19.min1.thm1.tptp2017-02-06 16:58 511  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80