Index of /~mptp/7.13.01_4.181.1147/mptp/ilp1/t53_euclid

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]brouwer__947_26.min1.thm1.tptp2017-02-06 16:57 362  
[ ]brouwer__999_26.min1.thm1.tptp2017-02-06 16:57 368  
[ ]brouwer__1055_26.min1.thm1.tptp2017-02-06 16:57 368  
[ ]brouwer__1073_26.min1.thm1.tptp2017-02-06 16:57 368  
[ ]brouwer__1148_26.min1.thm1.tptp2017-02-06 16:57 368  
[ ]brouwer__1166_26.min1.thm1.tptp2017-02-06 16:57 368  
[ ]brouwer__1245_27.min1.thm1.tptp2017-02-06 16:57 368  
[ ]brouwer__1305_27.min1.thm1.tptp2017-02-06 16:57 368  
[ ]euclid_6__1034_19.min1.thm1.tptp2017-02-06 16:57 355  
[ ]goboard2__1126_51.min1.thm1.tptp2017-02-06 16:57 559  
[ ]goboard2__1547_51.min1.thm1.tptp2017-02-06 16:57 559  
[ ]goboard2__1977_51.min1.thm1.tptp2017-02-06 16:57 559  
[ ]goboard2__2394_51.min1.thm1.tptp2017-02-06 16:57 559  
[ ]goboard2__2811_21.min1.thm1.tptp2017-02-06 16:57 356  
[ ]goboard2__2870_21.min1.thm1.tptp2017-02-06 16:57 356  
[ ]goboard2__2932_21.min1.thm1.tptp2017-02-06 16:57 356  
[ ]goboard2__2991_21.min1.thm1.tptp2017-02-06 16:57 356  
[ ]goboard3__769_45.min1.thm1.tptp2017-02-06 16:57 572  
[ ]goboard3__890_35.min1.thm1.tptp2017-02-06 16:57 476  
[ ]goboard3__1307_47.min1.thm1.tptp2017-02-06 16:57 535  
[ ]goboard3__1960_35.min1.thm1.tptp2017-02-06 16:57 476  
[ ]goboard3__2374_49.min1.thm1.tptp2017-02-06 16:57 547  
[ ]goboard3__2942_45.min1.thm1.tptp2017-02-06 16:57 572  
[ ]goboard3__3056_35.min1.thm1.tptp2017-02-06 16:57 476  
[ ]goboard3__3471_47.min1.thm1.tptp2017-02-06 16:57 535  
[ ]goboard3__4130_35.min1.thm1.tptp2017-02-06 16:57 476  
[ ]goboard3__4558_49.min1.thm1.tptp2017-02-06 16:57 547  
[ ]goboard5__1243_24.min1.thm1.tptp2017-02-06 16:57 356  
[ ]goboard5__1291_24.min1.thm1.tptp2017-02-06 16:57 356  
[ ]goboard5__1336_24.min1.thm1.tptp2017-02-06 16:57 356  
[ ]goboard5__1384_24.min1.thm1.tptp2017-02-06 16:57 356  
[ ]goboard5__1427_23.min1.thm1.tptp2017-02-06 16:57 355  
[ ]goboard5__1488_23.min1.thm1.tptp2017-02-06 16:57 355  
[ ]goboard5__1645_24.min1.thm1.tptp2017-02-06 16:57 367  
[ ]goboard5__1669_24.min1.thm1.tptp2017-02-06 16:57 367  
[ ]goboard5__1804_24.min1.thm1.tptp2017-02-06 16:57 367  
[ ]goboard5__1828_24.min1.thm1.tptp2017-02-06 16:57 367  
[ ]goboard6__286_22.min1.thm1.tptp2017-02-06 16:57 367  
[ ]goboard6__318_23.min1.thm1.tptp2017-02-06 16:57 367  
[ ]goboard6__362_22.min1.thm1.tptp2017-02-06 16:57 367  
[ ]goboard6__395_23.min1.thm1.tptp2017-02-06 16:57 367  
[ ]goboard6__441_22.min1.thm1.tptp2017-02-06 16:57 367  
[ ]goboard6__491_23.min1.thm1.tptp2017-02-06 16:57 367  
[ ]goboard6__545_22.min1.thm1.tptp2017-02-06 16:57 367  
[ ]goboard6__577_23.min1.thm1.tptp2017-02-06 16:57 367  
[ ]goboard6__621_22.min1.thm1.tptp2017-02-06 16:57 367  
[ ]goboard6__655_23.min1.thm1.tptp2017-02-06 16:57 367  
[ ]goboard6__702_22.min1.thm1.tptp2017-02-06 16:57 367  
[ ]goboard6__752_23.min1.thm1.tptp2017-02-06 16:57 367  
[ ]goboard7__144_13.min1.thm1.tptp2017-02-06 16:57 355  
[ ]goboard7__146_14.min1.thm1.tptp2017-02-06 16:57 355  
[ ]goboard7__172_13.min1.thm1.tptp2017-02-06 16:57 355  
[ ]goboard7__174_14.min1.thm1.tptp2017-02-06 16:57 355  
[ ]gobrd11__486_20.min1.thm1.tptp2017-02-06 16:57 361  
[ ]gobrd11__519_20.min1.thm1.tptp2017-02-06 16:57 361  
[ ]gobrd11__552_20.min1.thm1.tptp2017-02-06 16:57 361  
[ ]gobrd11__585_20.min1.thm1.tptp2017-02-06 16:57 361  
[ ]gobrd12__289_34.min1.thm1.tptp2017-02-06 16:57 465  
[ ]gobrd12__460_34.min1.thm1.tptp2017-02-06 16:57 465  
[ ]gobrd12__689_34.min1.thm1.tptp2017-02-06 16:57 465  
[ ]gobrd12__923_34.min1.thm1.tptp2017-02-06 16:57 465  
[ ]gobrd12__1324_34.min1.thm1.tptp2017-02-06 16:57 465  
[ ]gobrd12__1572_34.min1.thm1.tptp2017-02-06 16:57 471  
[ ]gobrd12__1743_34.min1.thm1.tptp2017-02-06 16:57 471  
[ ]gobrd12__1972_34.min1.thm1.tptp2017-02-06 16:57 471  
[ ]gobrd12__2206_34.min1.thm1.tptp2017-02-06 16:57 471  
[ ]gobrd12__2378_34.min1.thm1.tptp2017-02-06 16:57 471  
[ ]gobrd12__2601_34.min1.thm1.tptp2017-02-06 16:57 471  
[ ]gobrd13__1180_24.min1.thm1.tptp2017-02-06 16:57 350  
[ ]jgraph_2__4276_31.min1.thm1.tptp2017-02-06 16:57 379  
[ ]jgraph_2__4453_31.min1.thm1.tptp2017-02-06 16:57 379  
[ ]jgraph_4__3311_28.min1.thm1.tptp2017-02-06 16:57 380  
[ ]jgraph_4__3477_26.min1.thm1.tptp2017-02-06 16:57 378  
[ ]jgraph_4__6285_28.min1.thm1.tptp2017-02-06 16:57 380  
[ ]jgraph_4__6454_28.min1.thm1.tptp2017-02-06 16:57 380  
[ ]jgraph_4__9206_28.min1.thm1.tptp2017-02-06 16:57 386  
[ ]jgraph_4__9375_28.min1.thm1.tptp2017-02-06 16:57 386  
[ ]jgraph_4__12127_24.min1.thm1.tptp2017-02-06 16:57 382  
[ ]jgraph_4__12296_24.min1.thm1.tptp2017-02-06 16:57 382  
[ ]jgraph_5__4177_13.min1.thm1.tptp2017-02-06 16:57 369  
[ ]jgraph_5__4297_13.min1.thm1.tptp2017-02-06 16:57 369  
[ ]jgraph_5__6164_31.min1.thm1.tptp2017-02-06 16:57 371  
[ ]jgraph_5__6175_31.min1.thm1.tptp2017-02-06 16:57 371  
[ ]jgraph_6__1172_15.min1.thm1.tptp2017-02-06 16:57 463  
[ ]jgraph_6__4724_13.min1.thm1.tptp2017-02-06 16:57 369  
[ ]jgraph_6__4760_13.min1.thm1.tptp2017-02-06 16:57 369  
[ ]jgraph_6__5356_13.min1.thm1.tptp2017-02-06 16:57 369  
[ ]jgraph_6__5395_13.min1.thm1.tptp2017-02-06 16:57 369  
[ ]jordan1a__288_11.min1.thm1.tptp2017-02-06 16:57 357  
[ ]jordan1b__448_20.min1.thm1.tptp2017-02-06 16:57 356  
[ ]jordan1k__599_15.min1.thm1.tptp2017-02-06 16:57 545  
[ ]jordan2c__7268_20.min1.thm1.tptp2017-02-06 16:57 362  
[ ]jordan2c__7295_20.min1.thm1.tptp2017-02-06 16:57 362  
[ ]jordan2c__7322_20.min1.thm1.tptp2017-02-06 16:57 362  
[ ]jordan2c__7342_20.min1.thm1.tptp2017-02-06 16:57 361  
[ ]jordan9__761_23.min1.thm1.tptp2017-02-06 16:57 350  
[ ]jordan10__347_26.min1.thm1.tptp2017-02-06 16:57 404  
[ ]jordan12__869_23.min1.thm1.tptp2017-02-06 16:57 367  
[ ]jordan12__936_23.min1.thm1.tptp2017-02-06 16:57 367  
[ ]jordan14__136_20.min1.thm1.tptp2017-02-06 16:57 350  
[ ]jordan15__98_11.min1.thm1.tptp2017-02-06 16:57 351  
[ ]jordan24__282_19.min1.thm1.tptp2017-02-06 16:57 390  
[ ]jordan24__324_19.min1.thm1.tptp2017-02-06 16:57 390  
[ ]jordan__4697_20.min1.thm1.tptp2017-02-06 16:57 350  
[ ]jordan__4735_20.min1.thm1.tptp2017-02-06 16:57 350  
[ ]jordan__4772_20.min1.thm1.tptp2017-02-06 16:57 350  
[ ]jordan__4809_20.min1.thm1.tptp2017-02-06 16:57 350  
[ ]pscomp_1__1600_25.min1.thm1.tptp2017-02-06 16:57 380  
[ ]pscomp_1__1636_25.min1.thm1.tptp2017-02-06 16:57 380  
[ ]pscomp_1__1798_25.min1.thm1.tptp2017-02-06 16:57 380  
[ ]pscomp_1__1834_25.min1.thm1.tptp2017-02-06 16:57 380  
[ ]pscomp_1__1996_25.min1.thm1.tptp2017-02-06 16:57 380  
[ ]pscomp_1__2032_25.min1.thm1.tptp2017-02-06 16:57 380  
[ ]pscomp_1__2194_25.min1.thm1.tptp2017-02-06 16:57 380  
[ ]pscomp_1__2230_25.min1.thm1.tptp2017-02-06 16:57 380  
[ ]topgen_5__683_22.min1.thm1.tptp2017-02-06 16:57 367  
[ ]topgen_5__779_23.min1.thm1.tptp2017-02-06 16:57 355  
[ ]topgen_5__822_22.min1.thm1.tptp2017-02-06 16:57 356  
[ ]topgen_5__1322_22.min1.thm1.tptp2017-02-06 16:57 367  
[ ]topgen_5__1736_23.min1.thm1.tptp2017-02-06 16:57 356  
[ ]topgen_5__2790_24.min1.thm1.tptp2017-02-06 16:57 391  
[ ]topgen_5__2890_20.min1.thm1.tptp2017-02-06 16:57 355  
[ ]topgen_5__2946_22.min1.thm1.tptp2017-02-06 16:57 355  
[ ]topgen_5__3000_22.min1.thm1.tptp2017-02-06 16:57 355  
[ ]topgen_5__3056_22.min1.thm1.tptp2017-02-06 16:57 356  
[ ]topgen_5__3109_22.min1.thm1.tptp2017-02-06 16:57 355  
[ ]topgen_5__3211_20.min1.thm1.tptp2017-02-06 16:57 361  
[ ]topgen_5__3307_22.min1.thm1.tptp2017-02-06 16:57 355  
[ ]topgen_5__3340_22.min1.thm1.tptp2017-02-06 16:57 355  
[ ]topgen_5__3357_22.min1.thm1.tptp2017-02-06 16:57 379  
[ ]topgen_5__3392_23.min1.thm1.tptp2017-02-06 16:57 380  
[ ]topgen_5__3428_21.min1.thm1.tptp2017-02-06 16:57 355  
[ ]topgen_5__3447_22.min1.thm1.tptp2017-02-06 16:57 356  
[ ]topgen_5__3846_26.min1.thm1.tptp2017-02-06 16:57 403  
[ ]topgen_5__3901_26.min1.thm1.tptp2017-02-06 16:57 403  
[ ]topgen_5__4097_22.min1.thm1.tptp2017-02-06 16:57 355  
[ ]topgen_5__4183_22.min1.thm1.tptp2017-02-06 16:57 355  
[ ]topgen_5__4229_23.min1.thm1.tptp2017-02-06 16:57 361  
[ ]topgen_5__4257_22.min1.thm1.tptp2017-02-06 16:57 355  
[ ]topgen_5__4310_23.min1.thm1.tptp2017-02-06 16:57 361  
[ ]topgen_5__4376_26.min1.thm1.tptp2017-02-06 16:57 403  
[ ]topreal1__2253_23.min1.thm1.tptp2017-02-06 16:57 367  
[ ]topreal1__2297_23.min1.thm1.tptp2017-02-06 16:57 367  
[ ]topreal1__2341_23.min1.thm1.tptp2017-02-06 16:57 367  
[ ]topreal1__2385_23.min1.thm1.tptp2017-02-06 16:57 367  
[ ]topreal2__148_23.min1.thm1.tptp2017-02-06 16:57 353  
[ ]topreal2__154_23.min1.thm1.tptp2017-02-06 16:57 373  
[ ]topreal2__343_35.min1.thm1.tptp2017-02-06 16:57 370  
[ ]topreal2__550_35.min1.thm1.tptp2017-02-06 16:57 370  
[ ]topreal2__1027_16.min1.thm1.tptp2017-02-06 16:57 357  
[ ]topreal2__1055_16.min1.thm1.tptp2017-02-06 16:57 357  
[ ]topreal2__1500_26.min1.thm1.tptp2017-02-06 16:57 353  
[ ]topreal2__1507_23.min1.thm1.tptp2017-02-06 16:57 373  
[ ]topreal2__2769_24.min1.thm1.tptp2017-02-06 16:57 353  
[ ]topreal2__2776_24.min1.thm1.tptp2017-02-06 16:57 373  
[ ]topreal2__4069_24.min1.thm1.tptp2017-02-06 16:57 353  
[ ]topreal2__4076_24.min1.thm1.tptp2017-02-06 16:57 373  
[ ]topreal3__92_11.min1.thm1.tptp2017-02-06 16:57 351  
[ ]topreal3__1161_50.min1.thm1.tptp2017-02-06 16:57 669  
[ ]topreal3__1239_50.min1.thm1.tptp2017-02-06 16:57 669  
[ ]topreal3__1938_20.min1.thm1.tptp2017-02-06 16:57 355  
[ ]topreal3__1939_23.min1.thm1.tptp2017-02-06 16:57 355  
[ ]topreal3__1940_21.min1.thm1.tptp2017-02-06 16:57 356  
[ ]topreal3__2184_21.min1.thm1.tptp2017-02-06 16:57 356  
[ ]topreal3__2185_21.min1.thm1.tptp2017-02-06 16:57 356  
[ ]topreal3__2505_21.min1.thm1.tptp2017-02-06 16:57 356  
[ ]topreal3__2506_21.min1.thm1.tptp2017-02-06 16:57 356  
[ ]topreal4__1723_21.min1.thm1.tptp2017-02-06 16:57 356  
[ ]topreal4__1840_21.min1.thm1.tptp2017-02-06 16:57 356  
[ ]topreal6__636_20.min1.thm1.tptp2017-02-06 16:57 355  
[ ]topreal6__2515_23.min1.thm1.tptp2017-02-06 16:57 361  
[ ]topreal6__2516_23.min1.thm1.tptp2017-02-06 16:57 361  
[ ]toprealb__510_22.min1.thm1.tptp2017-02-06 16:57 359  
[ ]toprealb__1133_22.min1.thm1.tptp2017-02-06 16:57 357  
[ ]toprealb__1155_22.min1.thm1.tptp2017-02-06 16:57 357  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80