Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/dt_k1_wellord2
Name
Last modified
Size
Description
Parent Directory
-
card_1__222_52.min1.thm1.tptp
2017-02-06 16:58
428
card_1__234_24.min1.thm1.tptp
2017-02-06 16:58
402
card_1__1792_42.min1.thm1.tptp
2017-02-06 16:58
254
card_3__1434_62.min1.thm1.tptp
2017-02-06 16:58
483
card_3__1734_55.min1.thm1.tptp
2017-02-06 16:58
429
card_5__289_26.min1.thm1.tptp
2017-02-06 16:58
451
card_5__292_18.min1.thm1.tptp
2017-02-06 16:58
399
card_5__352_16.min1.thm1.tptp
2017-02-06 16:58
399
card_5__355_24.min1.thm1.tptp
2017-02-06 16:58
451
card_5__395_24.min1.thm1.tptp
2017-02-06 16:58
452
card_5__398_16.min1.thm1.tptp
2017-02-06 16:58
400
card_5__1908_11.min1.thm1.tptp
2017-02-06 16:58
426
orders_1__2102_19.min1.thm1.tptp
2017-02-06 16:58
408
orders_1__2183_33.min1.thm1.tptp
2017-02-06 16:58
306
orders_1__2184_11.min1.thm1.tptp
2017-02-06 16:58
410
orders_1__2185_27.min1.thm1.tptp
2017-02-06 16:58
408
ordinal6__167_48.min1.thm1.tptp
2017-02-06 16:58
469
ordinal6__186_48.min1.thm1.tptp
2017-02-06 16:58
469
ordinal6__198_26.min1.thm1.tptp
2017-02-06 16:58
408
ordinal6__424_11.min1.thm1.tptp
2017-02-06 16:58
266
rcomp_3__2207_20.min1.thm1.tptp
2017-02-06 16:58
405
rcomp_3__2310_20.min1.thm1.tptp
2017-02-06 16:58
405
rcomp_3__2467_22.min1.thm1.tptp
2017-02-06 16:58
520
ring_1__1085_18.min1.thm1.tptp
2017-02-06 16:58
434
wellord2__108_26.min1.thm1.tptp
2017-02-06 16:58
409
wellord2__121_24.min1.thm1.tptp
2017-02-06 16:58
409
wellord2__131_26.min1.thm1.tptp
2017-02-06 16:58
409
wellord2__148_26.min1.thm1.tptp
2017-02-06 16:58
409
wellord2__162_26.min1.thm1.tptp
2017-02-06 16:58
409
wellord2__210_26.min1.thm1.tptp
2017-02-06 16:58
408
wellord2__252_26.min1.thm1.tptp
2017-02-06 16:58
408
wellord2__262_26.min1.thm1.tptp
2017-02-06 16:58
408
wellord2__266_26.min1.thm1.tptp
2017-02-06 16:58
410
wellord2__355_28.min1.thm1.tptp
2017-02-06 16:58
412
wellord2__369_28.min1.thm1.tptp
2017-02-06 16:58
417
wellord2__474_27.min1.thm1.tptp
2017-02-06 16:58
409
wellord2__585_24.min1.thm1.tptp
2017-02-06 16:58
408
wellord2__923_26.min1.thm1.tptp
2017-02-06 16:58
409
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80