Index of /~mptp/1147/mptp/ilp1/t10_mcart_1
Name
Last modified
Size
Description
Parent Directory
-
abcmiz_1__1772_41.min1.thm1.tptp
2017-02-06 16:57
420
algstr_4__1847_15.min1.thm1.tptp
2017-02-06 16:57
724
algstr_4__1927_12.min1.thm1.tptp
2017-02-06 16:57
1.2K
algstr_4__2118_33.min1.thm1.tptp
2017-02-06 16:57
468
algstr_4__2120_29.min1.thm1.tptp
2017-02-06 16:57
468
algstr_4__2148_53.min1.thm1.tptp
2017-02-06 16:57
616
algstr_4__2774_55.min1.thm1.tptp
2017-02-06 16:57
571
algstr_4__3138_67.min1.thm1.tptp
2017-02-06 16:57
690
algstr_4__3327_31.min1.thm1.tptp
2017-02-06 16:57
482
bintree2__323_22.min1.thm1.tptp
2017-02-06 16:57
367
borsuk_2__1487_39.min1.thm1.tptp
2017-02-06 16:57
390
borsuk_6__470_35.min1.thm1.tptp
2017-02-06 16:57
405
borsuk_6__478_35.min1.thm1.tptp
2017-02-06 16:57
405
card_2__337_28.min1.thm1.tptp
2017-02-06 16:57
399
card_2__414_19.min1.thm1.tptp
2017-02-06 16:57
379
card_2__418_19.min1.thm1.tptp
2017-02-06 16:57
379
card_2__428_22.min1.thm1.tptp
2017-02-06 16:57
397
card_2__430_18.min1.thm1.tptp
2017-02-06 16:57
371
card_2__431_18.min1.thm1.tptp
2017-02-06 16:57
371
card_2__432_15.min1.thm1.tptp
2017-02-06 16:57
372
card_2__532_23.min1.thm1.tptp
2017-02-06 16:57
361
card_2__537_16.min1.thm1.tptp
2017-02-06 16:57
350
card_2__599_31.min1.thm1.tptp
2017-02-06 16:57
408
card_2__689_18.min1.thm1.tptp
2017-02-06 16:57
374
card_2__692_18.min1.thm1.tptp
2017-02-06 16:57
374
card_2__700_18.min1.thm1.tptp
2017-02-06 16:57
374
card_2__703_18.min1.thm1.tptp
2017-02-06 16:57
374
card_2__775_55.min1.thm1.tptp
2017-02-06 16:57
614
card_2__785_58.min1.thm1.tptp
2017-02-06 16:57
598
catalg_1__239_36.min1.thm1.tptp
2017-02-06 16:57
429
catalg_1__251_21.min1.thm1.tptp
2017-02-06 16:57
412
catalg_1__257_36.min1.thm1.tptp
2017-02-06 16:57
429
catalg_1__282_21.min1.thm1.tptp
2017-02-06 16:57
412
catalg_1__303_36.min1.thm1.tptp
2017-02-06 16:57
429
catalg_1__319_21.min1.thm1.tptp
2017-02-06 16:57
412
catalg_1__326_36.min1.thm1.tptp
2017-02-06 16:57
429
catalg_1__344_21.min1.thm1.tptp
2017-02-06 16:57
412
catalg_1__453_21.min1.thm1.tptp
2017-02-06 16:57
742
catalg_1__481_21.min1.thm1.tptp
2017-02-06 16:57
742
catalg_1__1281_4.min1.thm1.tptp
2017-02-06 16:57
694
eqrel_1__1970_17.min1.thm1.tptp
2017-02-06 16:57
367
eqrel_1__1993_17.min1.thm1.tptp
2017-02-06 16:57
367
funct_2__1699_21.min1.thm1.tptp
2017-02-06 16:57
486
funct_2__1731_21.min1.thm1.tptp
2017-02-06 16:57
486
funct_5__338_22.min1.thm1.tptp
2017-02-06 16:57
412
funct_5__522_26.min1.thm1.tptp
2017-02-06 16:57
389
funct_5__967_17.min1.thm1.tptp
2017-02-06 16:57
367
funct_5__1596_25.min1.thm1.tptp
2017-02-06 16:57
440
funct_5__1601_25.min1.thm1.tptp
2017-02-06 16:57
441
funct_5__1796_24.min1.thm1.tptp
2017-02-06 16:57
440
funct_5__1801_24.min1.thm1.tptp
2017-02-06 16:57
441
funct_5__2018_27.min1.thm1.tptp
2017-02-06 16:57
419
mcart_1__96_20.min1.thm1.tptp
2017-02-06 16:57
373
mcart_1__105_20.min1.thm1.tptp
2017-02-06 16:57
373
mcart_1__113_33.min1.thm1.tptp
2017-02-06 16:57
451
mcart_1__122_24.min1.thm1.tptp
2017-02-06 16:57
403
mcart_1__131_24.min1.thm1.tptp
2017-02-06 16:57
403
mcart_1__139_37.min1.thm1.tptp
2017-02-06 16:57
481
mcart_1__147_37.min1.thm1.tptp
2017-02-06 16:57
481
mcart_1__156_41.min1.thm1.tptp
2017-02-06 16:57
511
monoid_0__2296_28.min1.thm1.tptp
2017-02-06 16:57
487
monoid_0__2487_46.min1.thm1.tptp
2017-02-06 16:57
555
msinst_1__206_31.min1.thm1.tptp
2017-02-06 16:57
581
msinst_1__214_51.min1.thm1.tptp
2017-02-06 16:57
711
msinst_1__215_31.min1.thm1.tptp
2017-02-06 16:57
582
msinst_1__1351_31.min1.thm1.tptp
2017-02-06 16:57
594
msinst_1__1363_51.min1.thm1.tptp
2017-02-06 16:57
728
msinst_1__1364_31.min1.thm1.tptp
2017-02-06 16:57
595
qc_lang1__261_34.min1.thm1.tptp
2017-02-06 16:57
404
qc_lang1__312_34.min1.thm1.tptp
2017-02-06 16:57
404
topgen_5__357_16.min1.thm1.tptp
2017-02-06 16:57
359
topgen_5__358_15.min1.thm1.tptp
2017-02-06 16:57
359
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80