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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]afvect01__276_13.min1.thm1.tptp2017-02-06 16:57 330  
[ ]afvect01__277_18.min1.thm1.tptp2017-02-06 16:57 368  
[ ]analort__1806_12.min1.thm1.tptp2017-02-06 16:57 322  
[ ]analort__1807_13.min1.thm1.tptp2017-02-06 16:57 322  
[ ]analort__1808_13.min1.thm1.tptp2017-02-06 16:57 322  
[ ]analort__1839_12.min1.thm1.tptp2017-02-06 16:57 322  
[ ]analort__1840_13.min1.thm1.tptp2017-02-06 16:57 322  
[ ]analort__1841_13.min1.thm1.tptp2017-02-06 16:57 322  
[ ]arytm_0__380_23.min1.thm1.tptp2017-02-06 16:57 314  
[ ]arytm_0__571_24.min1.thm1.tptp2017-02-06 16:57 340  
[ ]binop_1__669_18.min1.thm1.tptp2017-02-06 16:57 354  
[ ]bintree1__727_23.min1.thm1.tptp2017-02-06 16:57 355  
[ ]fomodel0__658_20.min1.thm1.tptp2017-02-06 16:57 376  
[ ]fomodel3__1678_42.min1.thm1.tptp2017-02-06 16:57 368  
[ ]fomodel4__2127_18.min1.thm1.tptp2017-02-06 16:57 378  
[ ]grfunc_1__164_60.min1.thm1.tptp2017-02-06 16:57 804  
[ ]groeb_1__868_13.min1.thm1.tptp2017-02-06 16:57 360  
[ ]groeb_1__910_14.min1.thm1.tptp2017-02-06 16:57 353  
[ ]groeb_1__1312_14.min1.thm1.tptp2017-02-06 16:57 328  
[ ]groeb_1__1320_14.min1.thm1.tptp2017-02-06 16:57 330  
[ ]groeb_1__1395_15.min1.thm1.tptp2017-02-06 16:57 378  
[ ]groeb_1__1423_15.min1.thm1.tptp2017-02-06 16:57 370  
[ ]groeb_1__1499_27.min1.thm1.tptp2017-02-06 16:57 473  
[ ]groeb_1__1509_27.min1.thm1.tptp2017-02-06 16:57 473  
[ ]groeb_1__1530_27.min1.thm1.tptp2017-02-06 16:57 470  
[ ]groeb_1__1540_27.min1.thm1.tptp2017-02-06 16:57 470  
[ ]groeb_1__2075_14.min1.thm1.tptp2017-02-06 16:57 328  
[ ]groeb_1__2083_14.min1.thm1.tptp2017-02-06 16:57 330  
[ ]groeb_1__2486_17.min1.thm1.tptp2017-02-06 16:57 408  
[ ]groeb_1__2567_17.min1.thm1.tptp2017-02-06 16:57 440  
[ ]groeb_1__2839_20.min1.thm1.tptp2017-02-06 16:57 393  
[ ]groeb_1__2840_20.min1.thm1.tptp2017-02-06 16:57 393  
[ ]groeb_2__984_13.min1.thm1.tptp2017-02-06 16:57 360  
[ ]groeb_2__1042_14.min1.thm1.tptp2017-02-06 16:57 333  
[ ]groeb_2__1043_14.min1.thm1.tptp2017-02-06 16:57 334  
[ ]groeb_2__1714_23.min1.thm1.tptp2017-02-06 16:57 416  
[ ]groeb_2__2683_19.min1.thm1.tptp2017-02-06 16:57 468  
[ ]int_3__1102_24.min1.thm1.tptp2017-02-06 16:57 458  
[ ]int_3__1106_25.min1.thm1.tptp2017-02-06 16:57 459  
[ ]int_3__1107_14.min1.thm1.tptp2017-02-06 16:57 403  
[ ]int_3__1108_16.min1.thm1.tptp2017-02-06 16:57 403  
[ ]int_3__1131_14.min1.thm1.tptp2017-02-06 16:57 401  
[ ]int_3__1148_23.min1.thm1.tptp2017-02-06 16:57 459  
[ ]matrix_3__1671_20.min1.thm1.tptp2017-02-06 16:57 348  
[ ]matrix_3__1823_20.min1.thm1.tptp2017-02-06 16:57 348  
[ ]polynom8__2204_14.min1.thm1.tptp2017-02-06 16:57 368  
[ ]polynom8__2207_14.min1.thm1.tptp2017-02-06 16:57 369  
[ ]polyred__983_16.min1.thm1.tptp2017-02-06 16:57 474  
[ ]polyred__984_17.min1.thm1.tptp2017-02-06 16:57 377  
[ ]polyred__997_16.min1.thm1.tptp2017-02-06 16:57 474  
[ ]polyred__998_17.min1.thm1.tptp2017-02-06 16:57 377  
[ ]polyred__1033_18.min1.thm1.tptp2017-02-06 16:57 494  
[ ]polyred__1034_19.min1.thm1.tptp2017-02-06 16:57 494  
[ ]polyred__1036_20.min1.thm1.tptp2017-02-06 16:57 596  
[ ]polyred__1044_26.min1.thm1.tptp2017-02-06 16:57 509  
[ ]polyred__1045_20.min1.thm1.tptp2017-02-06 16:57 509  
[ ]polyred__1159_15.min1.thm1.tptp2017-02-06 16:57 406  
[ ]polyred__1160_16.min1.thm1.tptp2017-02-06 16:57 406  
[ ]polyred__1172_15.min1.thm1.tptp2017-02-06 16:57 404  
[ ]polyred__3284_17.min1.thm1.tptp2017-02-06 16:57 454  
[ ]polyred__3449_17.min1.thm1.tptp2017-02-06 16:57 563  
[ ]polyred__3451_17.min1.thm1.tptp2017-02-06 16:57 467  
[ ]polyred__3504_17.min1.thm1.tptp2017-02-06 16:57 370  
[ ]polyred__3771_19.min1.thm1.tptp2017-02-06 16:57 494  
[ ]polyred__3891_16.min1.thm1.tptp2017-02-06 16:57 452  
[ ]polyred__4380_21.min1.thm1.tptp2017-02-06 16:57 482  
[ ]polyred__4391_21.min1.thm1.tptp2017-02-06 16:57 482  
[ ]polyred__4392_21.min1.thm1.tptp2017-02-06 16:57 436  
[ ]polyred__4437_21.min1.thm1.tptp2017-02-06 16:57 390  
[ ]polyred__4442_21.min1.thm1.tptp2017-02-06 16:57 391  
[ ]polyred__4458_21.min1.thm1.tptp2017-02-06 16:57 390  
[ ]polyred__4462_21.min1.thm1.tptp2017-02-06 16:57 390  
[ ]prvect_3__85_34.min1.thm1.tptp2017-02-06 16:57 938  
[ ]prvect_3__110_53.min1.thm1.tptp2017-02-06 16:57 636  
[ ]prvect_3__111_45.min1.thm1.tptp2017-02-06 16:57 582  
[ ]prvect_3__2392_30.min1.thm1.tptp2017-02-06 16:57 428  
[ ]prvect_3__2582_26.min1.thm1.tptp2017-02-06 16:57 404  
[ ]tdgroup__124_15.min1.thm1.tptp2017-02-06 16:57 346  
[ ]tdgroup__125_20.min1.thm1.tptp2017-02-06 16:57 388  
[ ]termord__113_18.min1.thm1.tptp2017-02-06 16:57 472  
[ ]termord__114_20.min1.thm1.tptp2017-02-06 16:57 472  
[ ]termord__125_18.min1.thm1.tptp2017-02-06 16:57 470  
[ ]termord__146_31.min1.thm1.tptp2017-02-06 16:57 556  
[ ]termord__147_19.min1.thm1.tptp2017-02-06 16:57 470  
[ ]termord__174_29.min1.thm1.tptp2017-02-06 16:57 556  
[ ]turing_1__132_19.min1.thm1.tptp2017-02-06 16:57 314  
[ ]turing_1__146_19.min1.thm1.tptp2017-02-06 16:57 314  
[ ]zf_model__172_43.min1.thm1.tptp2017-02-06 16:57 464  
[ ]zf_model__299_43.min1.thm1.tptp2017-02-06 16:57 463  
[ ]zf_model__367_43.min1.thm1.tptp2017-02-06 16:57 463  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80