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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]card_1__222_52.min1.thm1.tptp2017-02-06 16:58 428  
[ ]card_1__234_24.min1.thm1.tptp2017-02-06 16:58 402  
[ ]card_3__1434_62.min1.thm1.tptp2017-02-06 16:58 483  
[ ]card_3__1734_55.min1.thm1.tptp2017-02-06 16:58 429  
[ ]card_5__289_26.min1.thm1.tptp2017-02-06 16:58 451  
[ ]card_5__292_18.min1.thm1.tptp2017-02-06 16:58 399  
[ ]card_5__352_16.min1.thm1.tptp2017-02-06 16:58 399  
[ ]card_5__355_24.min1.thm1.tptp2017-02-06 16:58 451  
[ ]card_5__395_24.min1.thm1.tptp2017-02-06 16:58 452  
[ ]card_5__398_16.min1.thm1.tptp2017-02-06 16:58 400  
[ ]card_5__1908_11.min1.thm1.tptp2017-02-06 16:58 426  
[ ]orders_1__2102_19.min1.thm1.tptp2017-02-06 16:58 408  
[ ]orders_1__2184_11.min1.thm1.tptp2017-02-06 16:58 410  
[ ]orders_1__2185_27.min1.thm1.tptp2017-02-06 16:58 408  
[ ]ordinal6__167_48.min1.thm1.tptp2017-02-06 16:58 469  
[ ]ordinal6__186_48.min1.thm1.tptp2017-02-06 16:58 469  
[ ]ordinal6__198_26.min1.thm1.tptp2017-02-06 16:58 408  
[ ]rcomp_3__2207_20.min1.thm1.tptp2017-02-06 16:58 405  
[ ]rcomp_3__2310_20.min1.thm1.tptp2017-02-06 16:58 405  
[ ]rcomp_3__2467_22.min1.thm1.tptp2017-02-06 16:58 520  
[ ]ring_1__1085_18.min1.thm1.tptp2017-02-06 16:58 434  
[ ]wellord2__108_26.min1.thm1.tptp2017-02-06 16:58 409  
[ ]wellord2__121_24.min1.thm1.tptp2017-02-06 16:58 409  
[ ]wellord2__131_26.min1.thm1.tptp2017-02-06 16:58 409  
[ ]wellord2__148_26.min1.thm1.tptp2017-02-06 16:58 409  
[ ]wellord2__162_26.min1.thm1.tptp2017-02-06 16:58 409  
[ ]wellord2__210_26.min1.thm1.tptp2017-02-06 16:58 408  
[ ]wellord2__252_26.min1.thm1.tptp2017-02-06 16:58 408  
[ ]wellord2__262_26.min1.thm1.tptp2017-02-06 16:58 408  
[ ]wellord2__266_26.min1.thm1.tptp2017-02-06 16:58 410  
[ ]wellord2__355_28.min1.thm1.tptp2017-02-06 16:58 412  
[ ]wellord2__369_28.min1.thm1.tptp2017-02-06 16:58 417  
[ ]wellord2__474_27.min1.thm1.tptp2017-02-06 16:58 409  
[ ]wellord2__585_24.min1.thm1.tptp2017-02-06 16:58 408  
[ ]wellord2__923_26.min1.thm1.tptp2017-02-06 16:58 409  
[ ]wellord2__1062_49.min1.thm1.tptp2017-02-06 16:58 483  
[ ]wellord2__1070_50.min1.thm1.tptp2017-02-06 16:58 483  
[ ]wellord2__1078_53.min1.thm1.tptp2017-02-06 16:58 483  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80