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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]wsierp_1__991_16.min1.thm1.tptp2017-02-06 16:57 367  
[ ]valued_1__2953_16.min1.thm1.tptp2017-02-06 16:57 477  
[ ]toprealb__63_16.min1.thm1.tptp2017-02-06 16:57 325  
[ ]topalg_5__66_16.min1.thm1.tptp2017-02-06 16:57 325  
[ ]tbsp_1__354_28.min1.thm1.tptp2017-02-06 16:57 583  
[ ]sin_cos__2396_11.min1.thm1.tptp2017-02-06 16:57 387  
[ ]sin_cos__1328_28.min1.thm1.tptp2017-02-06 16:57 489  
[ ]series_1__1385_53.min1.thm1.tptp2017-02-06 16:57 906  
[ ]series_1__1212_13.min1.thm1.tptp2017-02-06 16:57 529  
[ ]series_1__495_38.min1.thm1.tptp2017-02-06 16:57 671  
[ ]seqm_3__513_61.min1.thm1.tptp2017-02-06 16:57 831  
[ ]seqm_3__510_61.min1.thm1.tptp2017-02-06 16:57 830  
[ ]seq_4__1382_13.min1.thm1.tptp2017-02-06 16:57 411  
[ ]scmisort__138_20.min1.thm1.tptp2017-02-06 16:57 384  
[ ]scmfsa_9__1614_32.min1.thm1.tptp2017-02-06 16:57 410  
[ ]scmfsa_9__440_32.min1.thm1.tptp2017-02-06 16:57 410  
[ ]scmfsa_9__143_35.min1.thm1.tptp2017-02-06 16:57 475  
[ ]scmfsa_9__77_24.min1.thm1.tptp2017-02-06 16:57 411  
[ ]scmfsa_9__65_24.min1.thm1.tptp2017-02-06 16:57 411  
[ ]scmfsa10__666_39.min1.thm1.tptp2017-02-06 16:57 358  
[ ]scmfsa9a__1411_19.min1.thm1.tptp2017-02-06 16:57 350  
[ ]scmfsa9a__256_19.min1.thm1.tptp2017-02-06 16:57 350  
[ ]scheme1__243_51.min1.thm1.tptp2017-02-06 16:57 437  
[ ]rsspace__888_19.min1.thm1.tptp2017-02-06 16:57 313  
[ ]rsspace2__268_18.min1.thm1.tptp2017-02-06 16:57 311  
[ ]rat_1__269_13.min1.thm1.tptp2017-02-06 16:57 244  
[ ]prob_4__303_15.min1.thm1.tptp2017-02-06 16:57 451  
[ ]normsp_2__74_32.min1.thm1.tptp2017-02-06 16:57 503  
[ ]nat_4__424_43.min1.thm1.tptp2017-02-06 16:57 251  
[ ]nat_1__684_16.min1.thm1.tptp2017-02-06 16:57 273  
[ ]mesfunc9__334_27.min1.thm1.tptp2017-02-06 16:57 359  
[ ]mesfunc9__277_27.min1.thm1.tptp2017-02-06 16:57 353  
[ ]memstr_0__287_15.min1.thm1.tptp2017-02-06 16:57 323  
[ ]measure2__557_24.min1.thm1.tptp2017-02-06 16:57 574  
[ ]lpspace2__3332_65.min1.thm1.tptp2017-02-06 16:57 514  
[ ]lpspace2__3329_54.min1.thm1.tptp2017-02-06 16:57 615  
[ ]lpspace2__3098_33.min1.thm1.tptp2017-02-06 16:57 1.4K 
[ ]lp_space__516_36.min1.thm1.tptp2017-02-06 16:57 714  
[ ]lp_space__463_18.min1.thm1.tptp2017-02-06 16:57 1.3K 
[ ]lp_space__437_18.min1.thm1.tptp2017-02-06 16:57 1.3K 
[ ]lopban_5__777_13.min1.thm1.tptp2017-02-06 16:57 620  
[ ]lopban_5__708_26.min1.thm1.tptp2017-02-06 16:57 505  
[ ]lopban_4__1772_31.min1.thm1.tptp2017-02-06 16:57 515  
[ ]lopban_3__678_38.min1.thm1.tptp2017-02-06 16:57 741  
[ ]jct_misc__792_16.min1.thm1.tptp2017-02-06 16:57 701  
[ ]jct_misc__712_16.min1.thm1.tptp2017-02-06 16:57 700  
[ ]irrat_1__1099_24.min1.thm1.tptp2017-02-06 16:57 363  
[ ]integra5__1682_22.min1.thm1.tptp2017-02-06 16:57 1.0K 
[ ]int_1__233_20.min1.thm1.tptp2017-02-06 16:57 329  
[ ]int_1__227_20.min1.thm1.tptp2017-02-06 16:57 329  
[ ]fomodel3__1863_37.min1.thm1.tptp2017-02-06 16:57 360  
[ ]fomodel1__2072_37.min1.thm1.tptp2017-02-06 16:57 363  
[ ]finance1__1144_63.min1.thm1.tptp2017-02-06 16:57 1.4K 
[ ]fdiff_3__1078_12.min1.thm1.tptp2017-02-06 16:57 410  
[ ]fdiff_3__801_12.min1.thm1.tptp2017-02-06 16:57 410  
[ ]fdiff_2__973_17.min1.thm1.tptp2017-02-06 16:57 305  
[ ]fcont_2__1128_30.min1.thm1.tptp2017-02-06 16:57 540  
[ ]fcont_2__941_31.min1.thm1.tptp2017-02-06 16:57 540  
[ ]csspace4__329_20.min1.thm1.tptp2017-02-06 16:57 403  
[ ]comseq_3__1615_24.min1.thm1.tptp2017-02-06 16:57 397  
[ ]compl_sp__3372_21.min1.thm1.tptp2017-02-06 16:57 408  
[ ]clvect_3__285_42.min1.thm1.tptp2017-02-06 16:57 741  
[ ]clopban4__1617_31.min1.thm1.tptp2017-02-06 16:57 493  
[ ]clopban3__689_38.min1.thm1.tptp2017-02-06 16:57 741  
[ ]cfcont_1__803_53.min1.thm1.tptp2017-02-06 16:57 511  
[ ]bhsp_4__333_42.min1.thm1.tptp2017-02-06 16:57 701  
[ ]asympt_1__6044_17.min1.thm1.tptp2017-02-06 16:57 578  
[ ]asympt_1__5917_17.min1.thm1.tptp2017-02-06 16:57 578  
[ ]asympt_1__4781_21.min1.thm1.tptp2017-02-06 16:57 441  
[ ]asympt_1__4679_21.min1.thm1.tptp2017-02-06 16:57 459  
[ ]asympt_1__1483_21.min1.thm1.tptp2017-02-06 16:57 454  
[ ]asympt_1__1366_21.min1.thm1.tptp2017-02-06 16:57 469  
[ ]asympt_1__1019_19.min1.thm1.tptp2017-02-06 16:57 442  
[ ]asympt_1__635_19.min1.thm1.tptp2017-02-06 16:57 436  
[ ]asympt_1__582_19.min1.thm1.tptp2017-02-06 16:57 421  
[ ]asympt_1__227_19.min1.thm1.tptp2017-02-06 16:57 505  
[ ]asympt_1__94_18.min1.thm1.tptp2017-02-06 16:57 616  
[ ]amistd_1__895_47.min1.thm1.tptp2017-02-06 16:57 362  
[ ]amistd_1__210_34.min1.thm1.tptp2017-02-06 16:57 358  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80