Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/d2_tarski
Name
Last modified
Size
Description
Parent Directory
-
zfmodel1__1668_30.min1.thm1.tptp
2017-02-06 16:57
376
zfmodel1__1500_30.min1.thm1.tptp
2017-02-06 16:57
376
zfmodel1__1223_30.min1.thm1.tptp
2017-02-06 16:57
395
zfmodel1__1208_30.min1.thm1.tptp
2017-02-06 16:57
395
zfmodel1__941_26.min1.thm1.tptp
2017-02-06 16:57
358
zfmodel1__925_17.min1.thm1.tptp
2017-02-06 16:57
340
zfmisc_1__2359_26.min1.thm1.tptp
2017-02-06 16:57
421
zfmisc_1__2356_19.min1.thm1.tptp
2017-02-06 16:57
383
zfmisc_1__2353_19.min1.thm1.tptp
2017-02-06 16:57
366
zfmisc_1__1773_19.min1.thm1.tptp
2017-02-06 16:57
360
zfmisc_1__789_4.min1.thm1.tptp
2017-02-06 16:57
735
zfmisc_1__765_17.min1.thm1.tptp
2017-02-06 16:57
340
zfmisc_1__624_21.min1.thm1.tptp
2017-02-06 16:57
368
zfmisc_1__610_26.min1.thm1.tptp
2017-02-06 16:57
417
zfmisc_1__603_21.min1.thm1.tptp
2017-02-06 16:57
368
zfmisc_1__595_16.min1.thm1.tptp
2017-02-06 16:57
342
zfmisc_1__528_21.min1.thm1.tptp
2017-02-06 16:57
422
zfmisc_1__384_17.min1.thm1.tptp
2017-02-06 16:57
356
zfmisc_1__350_17.min1.thm1.tptp
2017-02-06 16:57
342
zfmisc_1__227_17.min1.thm1.tptp
2017-02-06 16:57
312
zfmisc_1__201_21.min1.thm1.tptp
2017-02-06 16:57
334
zfmisc_1__117_28.min1.thm1.tptp
2017-02-06 16:57
385
zf_model__752_30.min1.thm1.tptp
2017-02-06 16:57
403
zf_lang1__2714_23.min1.thm1.tptp
2017-02-06 16:57
327
zf_lang1__1962_24.min1.thm1.tptp
2017-02-06 16:57
357
zf_lang1__1933_24.min1.thm1.tptp
2017-02-06 16:57
357
zf_lang1__980_30.min1.thm1.tptp
2017-02-06 16:57
412
zf_lang1__966_31.min1.thm1.tptp
2017-02-06 16:57
414
zf_fund2__99_23.min1.thm1.tptp
2017-02-06 16:57
608
zf_fund1__1663_25.min1.thm1.tptp
2017-02-06 16:57
352
zf_fund1__1472_30.min1.thm1.tptp
2017-02-06 16:57
518
zf_fund1__1450_17.min1.thm1.tptp
2017-02-06 16:57
347
yellow_9__664_25.min1.thm1.tptp
2017-02-06 16:57
340
yellow_9__660_24.min1.thm1.tptp
2017-02-06 16:57
350
yellow_9__646_26.min1.thm1.tptp
2017-02-06 16:57
358
yellow_9__639_19.min1.thm1.tptp
2017-02-06 16:57
358
yellow_1__560_19.min1.thm1.tptp
2017-02-06 16:57
350
yellow_1__520_19.min1.thm1.tptp
2017-02-06 16:57
350
yellow_0__347_16.min1.thm1.tptp
2017-02-06 16:57
473
yellow_0__340_20.min1.thm1.tptp
2017-02-06 16:57
487
xxreal_2__2376_14.min1.thm1.tptp
2017-02-06 16:57
523
xxreal_2__2342_14.min1.thm1.tptp
2017-02-06 16:57
523
xxreal_2__2308_14.min1.thm1.tptp
2017-02-06 16:57
523
xxreal_2__2277_14.min1.thm1.tptp
2017-02-06 16:57
523
xxreal_2__544_15.min1.thm1.tptp
2017-02-06 16:57
340
xxreal_2__504_15.min1.thm1.tptp
2017-02-06 16:57
340
xxreal_1__2257_40.min1.thm1.tptp
2017-02-06 16:57
521
xxreal_1__2252_38.min1.thm1.tptp
2017-02-06 16:57
525
xtuple_0__382_17.min1.thm1.tptp
2017-02-06 16:57
340
xtuple_0__379_20.min1.thm1.tptp
2017-02-06 16:57
378
xtuple_0__368_18.min1.thm1.tptp
2017-02-06 16:57
362
xtuple_0__46_21.min1.thm1.tptp
2017-02-06 16:57
327
xreal_0__51_52.min1.thm1.tptp
2017-02-06 16:57
439
xboole_0__76_21.min1.thm1.tptp
2017-02-06 16:57
423
waybel18__1532_29.min1.thm1.tptp
2017-02-06 16:57
452
waybel18__1454_21.min1.thm1.tptp
2017-02-06 16:57
328
urysohn2__142_44.min1.thm1.tptp
2017-02-06 16:57
415
urysohn2__139_44.min1.thm1.tptp
2017-02-06 16:57
415
twoscomp__1517_55.min1.thm1.tptp
2017-02-06 16:57
732
trees_3__2858_20.min1.thm1.tptp
2017-02-06 16:57
340
trees_3__490_17.min1.thm1.tptp
2017-02-06 16:57
338
trees_3__471_17.min1.thm1.tptp
2017-02-06 16:57
338
trees_3__452_17.min1.thm1.tptp
2017-02-06 16:57
338
trees_1__1634_22.min1.thm1.tptp
2017-02-06 16:57
339
trees_1__1633_25.min1.thm1.tptp
2017-02-06 16:57
339
topreala__192_15.min1.thm1.tptp
2017-02-06 16:57
445
topreal9__1464_28.min1.thm1.tptp
2017-02-06 16:57
350
topreal9__1410_24.min1.thm1.tptp
2017-02-06 16:57
386
topreal9__1201_22.min1.thm1.tptp
2017-02-06 16:57
368
topreal9__1187_32.min1.thm1.tptp
2017-02-06 16:57
384
topreal9__1159_32.min1.thm1.tptp
2017-02-06 16:57
390
topreal9__1148_27.min1.thm1.tptp
2017-02-06 16:57
344
topreal9__1104_24.min1.thm1.tptp
2017-02-06 16:57
348
topreal9__1046_24.min1.thm1.tptp
2017-02-06 16:57
334
topreal6__2015_15.min1.thm1.tptp
2017-02-06 16:57
483
topreal6__1095_15.min1.thm1.tptp
2017-02-06 16:57
1.1K
topreal6__1087_20.min1.thm1.tptp
2017-02-06 16:57
1.1K
topreal6__574_17.min1.thm1.tptp
2017-02-06 16:57
487
topreal6__275_17.min1.thm1.tptp
2017-02-06 16:57
312
topreal3__461_23.min1.thm1.tptp
2017-02-06 16:57
477
topreal2__5069_21.min1.thm1.tptp
2017-02-06 16:57
349
topreal2__5061_21.min1.thm1.tptp
2017-02-06 16:57
349
topreal1__1519_19.min1.thm1.tptp
2017-02-06 16:57
651
topreal1__1395_19.min1.thm1.tptp
2017-02-06 16:57
651
topmetr3__1429_48.min1.thm1.tptp
2017-02-06 16:57
524
topdim_2__1708_32.min1.thm1.tptp
2017-02-06 16:57
518
topalg_4__43_18.min1.thm1.tptp
2017-02-06 16:57
306
toler_1__667_15.min1.thm1.tptp
2017-02-06 16:57
336
toler_1__658_21.min1.thm1.tptp
2017-02-06 16:57
349
toler_1__657_21.min1.thm1.tptp
2017-02-06 16:57
349
toler_1__463_21.min1.thm1.tptp
2017-02-06 16:57
349
toler_1__462_21.min1.thm1.tptp
2017-02-06 16:57
349
tex_1__1804_13.min1.thm1.tptp
2017-02-06 16:57
317
tex_1__1799_40.min1.thm1.tptp
2017-02-06 16:57
318
tex_1__1579_18.min1.thm1.tptp
2017-02-06 16:57
317
tex_1__925_13.min1.thm1.tptp
2017-02-06 16:57
317
tex_1__920_40.min1.thm1.tptp
2017-02-06 16:57
318
tdlat_3__627_45.min1.thm1.tptp
2017-02-06 16:57
397
tdlat_3__528_19.min1.thm1.tptp
2017-02-06 16:57
377
tdlat_3__283_44.min1.thm1.tptp
2017-02-06 16:57
378
struct_0__541_22.min1.thm1.tptp
2017-02-06 16:57
298
struct_0__437_13.min1.thm1.tptp
2017-02-06 16:57
273
sprect_3__2584_24.min1.thm1.tptp
2017-02-06 16:57
429
sprect_3__2562_23.min1.thm1.tptp
2017-02-06 16:57
428
sprect_3__2467_23.min1.thm1.tptp
2017-02-06 16:57
429
sprect_3__2457_22.min1.thm1.tptp
2017-02-06 16:57
428
sprect_3__2357_20.min1.thm1.tptp
2017-02-06 16:57
310
sprect_3__2326_23.min1.thm1.tptp
2017-02-06 16:57
433
sprect_3__2303_22.min1.thm1.tptp
2017-02-06 16:57
432
sprect_3__1465_21.min1.thm1.tptp
2017-02-06 16:57
518
sprect_3__1368_21.min1.thm1.tptp
2017-02-06 16:57
514
sprect_3__1363_21.min1.thm1.tptp
2017-02-06 16:57
514
sprect_1__845_15.min1.thm1.tptp
2017-02-06 16:57
310
sprect_1__173_48.min1.thm1.tptp
2017-02-06 16:57
667
sprect_1__83_17.min1.thm1.tptp
2017-02-06 16:57
336
sppol_2__3145_21.min1.thm1.tptp
2017-02-06 16:57
352
sppol_2__2899_18.min1.thm1.tptp
2017-02-06 16:57
366
sincos10__1930_14.min1.thm1.tptp
2017-02-06 16:57
478
sincos10__1828_14.min1.thm1.tptp
2017-02-06 16:57
478
sincos10__996_14.min1.thm1.tptp
2017-02-06 16:57
618
sincos10__955_14.min1.thm1.tptp
2017-02-06 16:57
706
sincos10__870_14.min1.thm1.tptp
2017-02-06 16:57
542
sin_cos9__449_14.min1.thm1.tptp
2017-02-06 16:57
686
simplex1__4154_27.min1.thm1.tptp
2017-02-06 16:57
377
simplex1__3690_15.min1.thm1.tptp
2017-02-06 16:57
521
simplex1__3356_16.min1.thm1.tptp
2017-02-06 16:57
499
simplex1__2671_23.min1.thm1.tptp
2017-02-06 16:57
344
setwop_2__165_24.min1.thm1.tptp
2017-02-06 16:57
343
setwiseo__841_17.min1.thm1.tptp
2017-02-06 16:57
340
setfam_1__219_49.min1.thm1.tptp
2017-02-06 16:57
400
scmyciel__3192_32.min1.thm1.tptp
2017-02-06 16:57
474
scmyciel__3149_25.min1.thm1.tptp
2017-02-06 16:57
814
scmyciel__2034_54.min1.thm1.tptp
2017-02-06 16:57
532
scmyciel__1759_33.min1.thm1.tptp
2017-02-06 16:57
372
scmyciel__1753_18.min1.thm1.tptp
2017-02-06 16:57
372
scmyciel__1414_17.min1.thm1.tptp
2017-02-06 16:57
340
scmyciel__1395_28.min1.thm1.tptp
2017-02-06 16:57
372
scmyciel__1388_18.min1.thm1.tptp
2017-02-06 16:57
372
scmyciel__1316_27.min1.thm1.tptp
2017-02-06 16:57
417
scmyciel__932_24.min1.thm1.tptp
2017-02-06 16:57
354
scmyciel__929_24.min1.thm1.tptp
2017-02-06 16:57
339
scmyciel__924_21.min1.thm1.tptp
2017-02-06 16:57
331
scmyciel__921_16.min1.thm1.tptp
2017-02-06 16:57
374
scmyciel__908_16.min1.thm1.tptp
2017-02-06 16:57
374
scmyciel__280_21.min1.thm1.tptp
2017-02-06 16:57
357
scmyciel__55_19.min1.thm1.tptp
2017-02-06 16:57
336
scmring3__1387_57.min1.thm1.tptp
2017-02-06 16:57
698
scmring3__1383_62.min1.thm1.tptp
2017-02-06 16:57
703
scmring3__1345_55.min1.thm1.tptp
2017-02-06 16:57
682
scmring3__1341_60.min1.thm1.tptp
2017-02-06 16:57
687
scmring3__1299_55.min1.thm1.tptp
2017-02-06 16:57
682
scmring3__1293_60.min1.thm1.tptp
2017-02-06 16:57
687
scmring3__1261_55.min1.thm1.tptp
2017-02-06 16:57
687
scmring3__1255_55.min1.thm1.tptp
2017-02-06 16:57
682
scmring3__1076_16.min1.thm1.tptp
2017-02-06 16:57
386
scmring3__1071_23.min1.thm1.tptp
2017-02-06 16:57
358
scmring3__1043_23.min1.thm1.tptp
2017-02-06 16:57
358
scmring3__1035_23.min1.thm1.tptp
2017-02-06 16:57
358
scmring3__1027_23.min1.thm1.tptp
2017-02-06 16:57
358
scmring3__1019_23.min1.thm1.tptp
2017-02-06 16:57
358
scmring3__1011_23.min1.thm1.tptp
2017-02-06 16:57
345
scmring3__896_14.min1.thm1.tptp
2017-02-06 16:57
379
scmring3__865_19.min1.thm1.tptp
2017-02-06 16:57
335
scmpds_9__555_14.min1.thm1.tptp
2017-02-06 16:57
457
scmpds_9__549_30.min1.thm1.tptp
2017-02-06 16:57
393
scmpds_9__467_14.min1.thm1.tptp
2017-02-06 16:57
457
scmpds_9__461_30.min1.thm1.tptp
2017-02-06 16:57
393
scmpds_9__378_14.min1.thm1.tptp
2017-02-06 16:57
457
scmpds_9__372_30.min1.thm1.tptp
2017-02-06 16:57
393
scmpds_7__3225_22.min1.thm1.tptp
2017-02-06 16:57
433
scmpds_7__3191_24.min1.thm1.tptp
2017-02-06 16:57
385
scmpds_7__3100_20.min1.thm1.tptp
2017-02-06 16:57
442
scmpds_7__3065_22.min1.thm1.tptp
2017-02-06 16:57
386
scmpds_4__530_20.min1.thm1.tptp
2017-02-06 16:57
802
scmpds_4__529_25.min1.thm1.tptp
2017-02-06 16:57
815
scmpds_2__562_17.min1.thm1.tptp
2017-02-06 16:57
308
scmpds_2__541_17.min1.thm1.tptp
2017-02-06 16:57
308
scmpds_2__447_21.min1.thm1.tptp
2017-02-06 16:57
308
scmpds_2__269_17.min1.thm1.tptp
2017-02-06 16:57
314
scmpds_2__195_24.min1.thm1.tptp
2017-02-06 16:57
308
scmisort__2066_25.min1.thm1.tptp
2017-02-06 16:57
445
scmisort__2065_25.min1.thm1.tptp
2017-02-06 16:57
450
scmfsa_i__577_18.min1.thm1.tptp
2017-02-06 16:57
312
scmfsa_i__541_17.min1.thm1.tptp
2017-02-06 16:57
310
scmfsa_i__247_26.min1.thm1.tptp
2017-02-06 16:57
312
scmfsa_i__231_25.min1.thm1.tptp
2017-02-06 16:57
305
scmfsa_9__338_25.min1.thm1.tptp
2017-02-06 16:57
499
scmfsa_9__337_25.min1.thm1.tptp
2017-02-06 16:57
504
scmfsa_9__303_24.min1.thm1.tptp
2017-02-06 16:57
497
scmfsa_9__302_24.min1.thm1.tptp
2017-02-06 16:57
502
scmfsa_9__277_44.min1.thm1.tptp
2017-02-06 16:57
644
scmfsa_9__258_44.min1.thm1.tptp
2017-02-06 16:57
642
scmfsa_2__735_23.min1.thm1.tptp
2017-02-06 16:57
322
scmfsa_2__707_23.min1.thm1.tptp
2017-02-06 16:57
322
scmfsa_2__490_20.min1.thm1.tptp
2017-02-06 16:57
317
scmfsa_2__465_19.min1.thm1.tptp
2017-02-06 16:57
316
scmfsa_2__343_19.min1.thm1.tptp
2017-02-06 16:57
332
scmfsa_2__334_22.min1.thm1.tptp
2017-02-06 16:57
330
scmfsa_2__308_22.min1.thm1.tptp
2017-02-06 16:57
320
scmfsa_2__296_23.min1.thm1.tptp
2017-02-06 16:57
322
scmfsa10__1631_53.min1.thm1.tptp
2017-02-06 16:57
464
scmfsa10__1623_58.min1.thm1.tptp
2017-02-06 16:57
469
scmfsa10__1605_53.min1.thm1.tptp
2017-02-06 16:57
474
scmfsa10__1598_58.min1.thm1.tptp
2017-02-06 16:57
479
scmfsa10__1580_53.min1.thm1.tptp
2017-02-06 16:57
474
scmfsa10__1573_58.min1.thm1.tptp
2017-02-06 16:57
479
scmfsa10__1557_53.min1.thm1.tptp
2017-02-06 16:57
474
scmfsa10__1550_58.min1.thm1.tptp
2017-02-06 16:57
479
scmfsa10__1529_53.min1.thm1.tptp
2017-02-06 16:57
479
scmfsa10__1528_53.min1.thm1.tptp
2017-02-06 16:57
474
scmfsa10__1323_16.min1.thm1.tptp
2017-02-06 16:57
386
scmfsa10__1318_23.min1.thm1.tptp
2017-02-06 16:57
360
scmfsa10__1310_23.min1.thm1.tptp
2017-02-06 16:57
360
scmfsa10__1302_23.min1.thm1.tptp
2017-02-06 16:57
360
scmfsa10__1294_23.min1.thm1.tptp
2017-02-06 16:57
360
scmfsa10__1254_23.min1.thm1.tptp
2017-02-06 16:57
358
scmfsa10__1246_23.min1.thm1.tptp
2017-02-06 16:57
358
scmfsa10__1238_23.min1.thm1.tptp
2017-02-06 16:57
358
scmfsa10__1230_23.min1.thm1.tptp
2017-02-06 16:57
358
scmfsa10__1222_23.min1.thm1.tptp
2017-02-06 16:57
358
scmfsa10__1214_23.min1.thm1.tptp
2017-02-06 16:57
345
scmfsa10__1016_14.min1.thm1.tptp
2017-02-06 16:57
376
scmfsa10__998_33.min1.thm1.tptp
2017-02-06 16:57
341
scmfsa10__889_14.min1.thm1.tptp
2017-02-06 16:57
376
scmfsa10__870_33.min1.thm1.tptp
2017-02-06 16:57
341
scmfsa8c__850_22.min1.thm1.tptp
2017-02-06 16:57
480
scmfsa8c__847_27.min1.thm1.tptp
2017-02-06 16:57
484
scmfsa8c__834_22.min1.thm1.tptp
2017-02-06 16:57
479
scmfsa8c__831_27.min1.thm1.tptp
2017-02-06 16:57
484
scmfsa8c__809_22.min1.thm1.tptp
2017-02-06 16:57
485
scmfsa8c__808_24.min1.thm1.tptp
2017-02-06 16:57
480
scmfsa8c__793_22.min1.thm1.tptp
2017-02-06 16:57
484
scmfsa8c__792_24.min1.thm1.tptp
2017-02-06 16:57
479
scmfsa8b__533_22.min1.thm1.tptp
2017-02-06 16:57
480
scmfsa8b__530_27.min1.thm1.tptp
2017-02-06 16:57
484
scmfsa8b__513_22.min1.thm1.tptp
2017-02-06 16:57
479
scmfsa8b__510_27.min1.thm1.tptp
2017-02-06 16:57
484
scmfsa8b__484_22.min1.thm1.tptp
2017-02-06 16:57
485
scmfsa8b__483_24.min1.thm1.tptp
2017-02-06 16:57
480
scmfsa8b__464_22.min1.thm1.tptp
2017-02-06 16:57
484
scmfsa8b__463_24.min1.thm1.tptp
2017-02-06 16:57
479
scmfsa6c__111_18.min1.thm1.tptp
2017-02-06 16:57
386
scmfsa6b__113_19.min1.thm1.tptp
2017-02-06 16:57
394
scmfsa6b__98_18.min1.thm1.tptp
2017-02-06 16:57
398
scmbsort__1553_25.min1.thm1.tptp
2017-02-06 16:57
446
scmbsort__1552_25.min1.thm1.tptp
2017-02-06 16:57
451
scm_halt__3874_29.min1.thm1.tptp
2017-02-06 16:57
409
scm_halt__1182_18.min1.thm1.tptp
2017-02-06 16:57
414
scm_halt__1031_16.min1.thm1.tptp
2017-02-06 16:57
394
scm_halt__113_18.min1.thm1.tptp
2017-02-06 16:57
386
scm_comp__342_17.min1.thm1.tptp
2017-02-06 16:57
328
rolle__102_25.min1.thm1.tptp
2017-02-06 16:57
324
rewrite1__1990_25.min1.thm1.tptp
2017-02-06 16:57
356
rewrite1__1987_25.min1.thm1.tptp
2017-02-06 16:57
356
relat_1__326_24.min1.thm1.tptp
2017-02-06 16:57
339
relat_1__322_19.min1.thm1.tptp
2017-02-06 16:57
349
relat_1__310_26.min1.thm1.tptp
2017-02-06 16:57
349
relat_1__306_21.min1.thm1.tptp
2017-02-06 16:57
359
rcomp_3__1430_30.min1.thm1.tptp
2017-02-06 16:57
425
rcomp_3__363_24.min1.thm1.tptp
2017-02-06 16:57
339
ramsey_1__1998_27.min1.thm1.tptp
2017-02-06 16:57
440
ramsey_1__1868_27.min1.thm1.tptp
2017-02-06 16:57
440
quaterni__713_30.min1.thm1.tptp
2017-02-06 16:57
406
quaterni__119_18.min1.thm1.tptp
2017-02-06 16:57
447
qc_lang4__130_18.min1.thm1.tptp
2017-02-06 16:57
315
qc_lang2__1439_36.min1.thm1.tptp
2017-02-06 16:57
402
qc_lang2__1433_19.min1.thm1.tptp
2017-02-06 16:57
412
prob_1__230_40.min1.thm1.tptp
2017-02-06 16:57
377
prob_1__134_26.min1.thm1.tptp
2017-02-06 16:57
331
prelamb__270_16.min1.thm1.tptp
2017-02-06 16:57
385
pre_topc__64_30.min1.thm1.tptp
2017-02-06 16:57
385
pnproc_1__156_18.min1.thm1.tptp
2017-02-06 16:57
331
pencil_1__593_16.min1.thm1.tptp
2017-02-06 16:57
353
pencil_1__586_26.min1.thm1.tptp
2017-02-06 16:57
404
pencil_1__570_16.min1.thm1.tptp
2017-02-06 16:57
349
pencil_1__563_26.min1.thm1.tptp
2017-02-06 16:57
404
pencil_1__462_22.min1.thm1.tptp
2017-02-06 16:57
358
pencil_1__420_24.min1.thm1.tptp
2017-02-06 16:57
376
pencil_1__366_26.min1.thm1.tptp
2017-02-06 16:57
396
pencil_1__352_30.min1.thm1.tptp
2017-02-06 16:57
404
pencil_1__345_26.min1.thm1.tptp
2017-02-06 16:57
396
pcs_0__2434_26.min1.thm1.tptp
2017-02-06 16:57
328
pcs_0__2374_26.min1.thm1.tptp
2017-02-06 16:57
328
pcs_0__2362_26.min1.thm1.tptp
2017-02-06 16:57
328
pcs_0__43_46.min1.thm1.tptp
2017-02-06 16:57
357
orders_3__573_16.min1.thm1.tptp
2017-02-06 16:57
412
orders_3__570_17.min1.thm1.tptp
2017-02-06 16:57
342
orders_3__556_16.min1.thm1.tptp
2017-02-06 16:57
360
numbers__943_31.min1.thm1.tptp
2017-02-06 16:57
357
numbers__138_34.min1.thm1.tptp
2017-02-06 16:57
427
necklace__1676_22.min1.thm1.tptp
2017-02-06 16:57
418
necklace__1659_22.min1.thm1.tptp
2017-02-06 16:57
418
necklace__1651_22.min1.thm1.tptp
2017-02-06 16:57
428
necklace__1507_19.min1.thm1.tptp
2017-02-06 16:57
438
necklace__1503_24.min1.thm1.tptp
2017-02-06 16:57
438
necklace__348_28.min1.thm1.tptp
2017-02-06 16:57
348
necklace__343_20.min1.thm1.tptp
2017-02-06 16:57
384
necklace__326_28.min1.thm1.tptp
2017-02-06 16:57
348
necklace__321_20.min1.thm1.tptp
2017-02-06 16:57
384
neckla_3__531_23.min1.thm1.tptp
2017-02-06 16:57
361
neckla_3__522_23.min1.thm1.tptp
2017-02-06 16:57
361
neckla_2__306_30.min1.thm1.tptp
2017-02-06 16:57
481
neckla_2__198_27.min1.thm1.tptp
2017-02-06 16:57
397
neckla_2__194_27.min1.thm1.tptp
2017-02-06 16:57
397
nagata_1__338_26.min1.thm1.tptp
2017-02-06 16:57
364
mycielsk__2376_24.min1.thm1.tptp
2017-02-06 16:57
363
modelc_3__3806_31.min1.thm1.tptp
2017-02-06 16:57
398
modelc_3__3732_31.min1.thm1.tptp
2017-02-06 16:57
398
modelc_3__3714_31.min1.thm1.tptp
2017-02-06 16:57
398
modelc_3__3602_22.min1.thm1.tptp
2017-02-06 16:57
382
modelc_3__3524_22.min1.thm1.tptp
2017-02-06 16:57
382
modelc_3__618_22.min1.thm1.tptp
2017-02-06 16:57
460
modal_1__561_25.min1.thm1.tptp
2017-02-06 16:57
384
modal_1__554_25.min1.thm1.tptp
2017-02-06 16:57
383
mmlquery__2326_34.min1.thm1.tptp
2017-02-06 16:57
497
mmlquery__2325_37.min1.thm1.tptp
2017-02-06 16:57
491
mesfunc5__4040_14.min1.thm1.tptp
2017-02-06 16:57
424
mesfunc4__712_25.min1.thm1.tptp
2017-02-06 16:57
338
mesfunc4__701_25.min1.thm1.tptp
2017-02-06 16:57
338
mesfunc4__698_25.min1.thm1.tptp
2017-02-06 16:57
338
mesfunc4__546_25.min1.thm1.tptp
2017-02-06 16:57
338
mesfunc4__471_25.min1.thm1.tptp
2017-02-06 16:57
338
mesfunc4__461_25.min1.thm1.tptp
2017-02-06 16:57
337
member_1__994_23.min1.thm1.tptp
2017-02-06 16:57
396
member_1__988_21.min1.thm1.tptp
2017-02-06 16:57
358
measure5__326_17.min1.thm1.tptp
2017-02-06 16:57
340
measure1__61_26.min1.thm1.tptp
2017-02-06 16:57
349
mcart_1__283_24.min1.thm1.tptp
2017-02-06 16:57
595
mcart_1__280_26.min1.thm1.tptp
2017-02-06 16:57
1.0K
mcart_1__254_24.min1.thm1.tptp
2017-02-06 16:57
595
mcart_1__157_17.min1.thm1.tptp
2017-02-06 16:57
562
matrix_9__260_42.min1.thm1.tptp
2017-02-06 16:57
396
matrix_2__131_17.min1.thm1.tptp
2017-02-06 16:57
323
matrix13__4592_12.min1.thm1.tptp
2017-02-06 16:57
324
matrix13__4591_15.min1.thm1.tptp
2017-02-06 16:57
324
matrix13__4586_12.min1.thm1.tptp
2017-02-06 16:57
321
matrix13__4585_15.min1.thm1.tptp
2017-02-06 16:57
321
matrix11__1144_29.min1.thm1.tptp
2017-02-06 16:57
378
matrix11__1085_29.min1.thm1.tptp
2017-02-06 16:57
378
matrix11__1038_23.min1.thm1.tptp
2017-02-06 16:57
393
matrix11__1004_21.min1.thm1.tptp
2017-02-06 16:57
355
lattice8__924_16.min1.thm1.tptp
2017-02-06 16:57
530
lang1__442_50.min1.thm1.tptp
2017-02-06 16:57
392
lang1__431_50.min1.thm1.tptp
2017-02-06 16:57
392
l_hospit__1632_24.min1.thm1.tptp
2017-02-06 16:57
409
l_hospit__1588_24.min1.thm1.tptp
2017-02-06 16:57
409
l_hospit__1226_24.min1.thm1.tptp
2017-02-06 16:57
409
l_hospit__1183_24.min1.thm1.tptp
2017-02-06 16:57
409
kurato_1__196_29.min1.thm1.tptp
2017-02-06 16:57
439
kolmog01__161_27.min1.thm1.tptp
2017-02-06 16:57
343
kolmog01__152_47.min1.thm1.tptp
2017-02-06 16:57
462
kolmog01__149_19.min1.thm1.tptp
2017-02-06 16:57
427
kolmog01__147_27.min1.thm1.tptp
2017-02-06 16:57
343
jordan_a__943_45.min1.thm1.tptp
2017-02-06 16:57
422
jordan_a__865_45.min1.thm1.tptp
2017-02-06 16:57
422
jordan23__3183_37.min1.thm1.tptp
2017-02-06 16:57
567
jordan19__6816_36.min1.thm1.tptp
2017-02-06 16:57
406
jordan19__4919_28.min1.thm1.tptp
2017-02-06 16:57
607
jordan19__4173_28.min1.thm1.tptp
2017-02-06 16:57
607
jordan19__3427_28.min1.thm1.tptp
2017-02-06 16:57
607
jordan19__2680_28.min1.thm1.tptp
2017-02-06 16:57
607
jordan19__1807_28.min1.thm1.tptp
2017-02-06 16:57
607
jordan19__1114_28.min1.thm1.tptp
2017-02-06 16:57
607
jordan18__917_52.min1.thm1.tptp
2017-02-06 16:57
464
jordan16__278_39.min1.thm1.tptp
2017-02-06 16:57
539
jordan15__7803_32.min1.thm1.tptp
2017-02-06 16:57
607
jordan15__7023_32.min1.thm1.tptp
2017-02-06 16:57
607
jordan15__6243_32.min1.thm1.tptp
2017-02-06 16:57
607
jordan15__5460_32.min1.thm1.tptp
2017-02-06 16:57
607
jordan15__4586_26.min1.thm1.tptp
2017-02-06 16:57
323
jordan15__4564_32.min1.thm1.tptp
2017-02-06 16:57
607
jordan15__3877_26.min1.thm1.tptp
2017-02-06 16:57
323
jordan15__3855_32.min1.thm1.tptp
2017-02-06 16:57
607
jordan15__3009_26.min1.thm1.tptp
2017-02-06 16:57
323
jordan15__2987_32.min1.thm1.tptp
2017-02-06 16:57
607
jordan15__2298_26.min1.thm1.tptp
2017-02-06 16:57
323
jordan15__2276_32.min1.thm1.tptp
2017-02-06 16:57
607
jordan15__2071_14.min1.thm1.tptp
2017-02-06 16:57
907
jordan12__2624_17.min1.thm1.tptp
2017-02-06 16:57
326
jordan11__190_16.min1.thm1.tptp
2017-02-06 16:57
408
jordan7__2447_44.min1.thm1.tptp
2017-02-06 16:57
523
jordan7__2138_42.min1.thm1.tptp
2017-02-06 16:57
439
jordan7__1420_38.min1.thm1.tptp
2017-02-06 16:57
577
jordan7__1099_20.min1.thm1.tptp
2017-02-06 16:57
504
jordan7__1031_20.min1.thm1.tptp
2017-02-06 16:57
505
jordan6__2357_24.min1.thm1.tptp
2017-02-06 16:57
349
jordan6__1886_12.min1.thm1.tptp
2017-02-06 16:57
300
jordan6__1795_19.min1.thm1.tptp
2017-02-06 16:57
441
jordan1j__3769_32.min1.thm1.tptp
2017-02-06 16:57
607
jordan1j__3061_32.min1.thm1.tptp
2017-02-06 16:57
607
jordan1j__2857_14.min1.thm1.tptp
2017-02-06 16:57
907
jordan1j__2376_20.min1.thm1.tptp
2017-02-06 16:57
627
jordan1j__2290_24.min1.thm1.tptp
2017-02-06 16:57
638
jordan1j__2091_20.min1.thm1.tptp
2017-02-06 16:57
627
jordan1j__1996_24.min1.thm1.tptp
2017-02-06 16:57
638
jordan1j__321_16.min1.thm1.tptp
2017-02-06 16:57
591
jordan1h__200_14.min1.thm1.tptp
2017-02-06 16:57
699
jordan1g__4496_28.min1.thm1.tptp
2017-02-06 16:57
650
jordan1g__4228_28.min1.thm1.tptp
2017-02-06 16:57
652
jordan1g__3953_36.min1.thm1.tptp
2017-02-06 16:57
1.8K
jordan1g__2007_14.min1.thm1.tptp
2017-02-06 16:57
598
jordan1g__1898_14.min1.thm1.tptp
2017-02-06 16:57
598
jordan1g__963_16.min1.thm1.tptp
2017-02-06 16:57
604
jordan1e__944_16.min1.thm1.tptp
2017-02-06 16:57
604
jordan1__2875_14.min1.thm1.tptp
2017-02-06 16:57
308
jordan1__2874_14.min1.thm1.tptp
2017-02-06 16:57
308
jgraph_5__5732_38.min1.thm1.tptp
2017-02-06 16:57
384
jgraph_5__5650_38.min1.thm1.tptp
2017-02-06 16:57
384
jgraph_5__5151_38.min1.thm1.tptp
2017-02-06 16:57
408
jgraph_5__5067_38.min1.thm1.tptp
2017-02-06 16:57
408
jgraph_5__4995_34.min1.thm1.tptp
2017-02-06 16:57
408
jgraph_5__4430_36.min1.thm1.tptp
2017-02-06 16:57
382
jgraph_5__4364_36.min1.thm1.tptp
2017-02-06 16:57
382
jgraph_5__3703_36.min1.thm1.tptp
2017-02-06 16:57
383
jgraph_5__3112_36.min1.thm1.tptp
2017-02-06 16:57
383
ideal_1__3117_23.min1.thm1.tptp
2017-02-06 16:57
313
hurwitz__1381_26.min1.thm1.tptp
2017-02-06 16:57
897
hurwitz__1286_28.min1.thm1.tptp
2017-02-06 16:57
361
hurwitz__1258_26.min1.thm1.tptp
2017-02-06 16:57
341
hurwitz__1235_15.min1.thm1.tptp
2017-02-06 16:57
881
hurwitz__1227_26.min1.thm1.tptp
2017-02-06 16:57
341
hilbert3__271_35.min1.thm1.tptp
2017-02-06 16:57
458
hilbert3__247_15.min1.thm1.tptp
2017-02-06 16:57
340
helly__1193_16.min1.thm1.tptp
2017-02-06 16:57
433
hallmar1__276_19.min1.thm1.tptp
2017-02-06 16:57
346
hallmar1__253_16.min1.thm1.tptp
2017-02-06 16:57
779
group_10__498_51.min1.thm1.tptp
2017-02-06 16:57
345
group_10__451_33.min1.thm1.tptp
2017-02-06 16:57
458
group_7__2587_16.min1.thm1.tptp
2017-02-06 16:57
315
group_7__2486_16.min1.thm1.tptp
2017-02-06 16:57
315
group_7__2364_17.min1.thm1.tptp
2017-02-06 16:57
309
group_7__2123_18.min1.thm1.tptp
2017-02-06 16:57
335
group_5__1674_27.min1.thm1.tptp
2017-02-06 16:57
381
groeb_3__501_20.min1.thm1.tptp
2017-02-06 16:57
373
groeb_1__2411_26.min1.thm1.tptp
2017-02-06 16:57
358
grfunc_1__148_66.min1.thm1.tptp
2017-02-06 16:57
574
graph_2__2048_36.min1.thm1.tptp
2017-02-06 16:57
708
graph_2__2043_28.min1.thm1.tptp
2017-02-06 16:57
660
graph_2__2041_32.min1.thm1.tptp
2017-02-06 16:57
708
graph_2__2029_24.min1.thm1.tptp
2017-02-06 16:57
658
graph_2__1228_23.min1.thm1.tptp
2017-02-06 16:57
353
gobrd14__1202_18.min1.thm1.tptp
2017-02-06 16:57
325
gobrd14__212_15.min1.thm1.tptp
2017-02-06 16:57
1.2K
gobrd14__206_15.min1.thm1.tptp
2017-02-06 16:57
1.2K
gobrd11__104_22.min1.thm1.tptp
2017-02-06 16:57
340
goboard9__252_17.min1.thm1.tptp
2017-02-06 16:57
314
gfacirc1__380_32.min1.thm1.tptp
2017-02-06 16:57
421
gfacirc1__377_32.min1.thm1.tptp
2017-02-06 16:57
421
gfacirc1__372_32.min1.thm1.tptp
2017-02-06 16:57
421
gfacirc1__343_34.min1.thm1.tptp
2017-02-06 16:57
421
gfacirc1__340_32.min1.thm1.tptp
2017-02-06 16:57
420
funct_5__2011_17.min1.thm1.tptp
2017-02-06 16:57
338
funct_5__1996_19.min1.thm1.tptp
2017-02-06 16:57
341
funct_5__1976_30.min1.thm1.tptp
2017-02-06 16:57
369
funct_5__1932_21.min1.thm1.tptp
2017-02-06 16:57
359
funct_4__1338_26.min1.thm1.tptp
2017-02-06 16:57
339
funct_3__990_17.min1.thm1.tptp
2017-02-06 16:57
315
funct_1__1656_17.min1.thm1.tptp
2017-02-06 16:57
570
funct_1__1651_21.min1.thm1.tptp
2017-02-06 16:57
509
funcsdom__768_22.min1.thm1.tptp
2017-02-06 16:57
357
funcsdom__711_12.min1.thm1.tptp
2017-02-06 16:57
312
fsm_2__902_48.min1.thm1.tptp
2017-02-06 16:57
392
fscirc_2__993_23.min1.thm1.tptp
2017-02-06 16:57
400
fscirc_2__840_22.min1.thm1.tptp
2017-02-06 16:57
359
fscirc_2__828_22.min1.thm1.tptp
2017-02-06 16:57
359
fscirc_2__814_22.min1.thm1.tptp
2017-02-06 16:57
359
fscirc_2__794_22.min1.thm1.tptp
2017-02-06 16:57
359
fscirc_2__782_21.min1.thm1.tptp
2017-02-06 16:57
358
fscirc_2__781_21.min1.thm1.tptp
2017-02-06 16:57
358
fomodel1__1485_26.min1.thm1.tptp
2017-02-06 16:57
387
fintopo6__2975_18.min1.thm1.tptp
2017-02-06 16:57
434
finset_1__1513_24.min1.thm1.tptp
2017-02-06 16:57
396
finseq_6__1154_20.min1.thm1.tptp
2017-02-06 16:57
340
finseq_6__844_17.min1.thm1.tptp
2017-02-06 16:57
340
finseq_3__4625_17.min1.thm1.tptp
2017-02-06 16:57
349
finseq_3__4447_17.min1.thm1.tptp
2017-02-06 16:57
326
finseq_3__4445_17.min1.thm1.tptp
2017-02-06 16:57
326
finseq_3__4282_26.min1.thm1.tptp
2017-02-06 16:57
323
finseq_3__4273_26.min1.thm1.tptp
2017-02-06 16:57
323
finseq_3__4097_30.min1.thm1.tptp
2017-02-06 16:57
363
finseq_3__2930_17.min1.thm1.tptp
2017-02-06 16:57
334
finseq_3__2927_17.min1.thm1.tptp
2017-02-06 16:57
334
finseq_3__2827_25.min1.thm1.tptp
2017-02-06 16:57
500
finseq_3__914_26.min1.thm1.tptp
2017-02-06 16:57
413
finseq_3__913_25.min1.thm1.tptp
2017-02-06 16:57
413
finseq_1__122_26.min1.thm1.tptp
2017-02-06 16:57
313
fib_num2__329_21.min1.thm1.tptp
2017-02-06 16:57
358
fcont_1__2572_28.min1.thm1.tptp
2017-02-06 16:57
968
fcont_1__2282_28.min1.thm1.tptp
2017-02-06 16:57
968
facirc_2__1211_24.min1.thm1.tptp
2017-02-06 16:57
402
facirc_2__1202_24.min1.thm1.tptp
2017-02-06 16:57
402
facirc_2__1189_23.min1.thm1.tptp
2017-02-06 16:57
400
facirc_2__1037_22.min1.thm1.tptp
2017-02-06 16:57
359
facirc_2__1025_22.min1.thm1.tptp
2017-02-06 16:57
359
facirc_2__1011_22.min1.thm1.tptp
2017-02-06 16:57
359
facirc_2__991_22.min1.thm1.tptp
2017-02-06 16:57
359
facirc_2__979_21.min1.thm1.tptp
2017-02-06 16:57
358
facirc_2__978_21.min1.thm1.tptp
2017-02-06 16:57
358
facirc_2__69_23.min1.thm1.tptp
2017-02-06 16:57
391
facirc_2__68_23.min1.thm1.tptp
2017-02-06 16:57
391
facirc_1__1734_17.min1.thm1.tptp
2017-02-06 16:57
341
facirc_1__1355_15.min1.thm1.tptp
2017-02-06 16:57
340
facirc_1__1257_15.min1.thm1.tptp
2017-02-06 16:57
340
facirc_1__184_26.min1.thm1.tptp
2017-02-06 16:57
368
euclid_6__3804_25.min1.thm1.tptp
2017-02-06 16:57
364
euclid_6__3773_25.min1.thm1.tptp
2017-02-06 16:57
364
euclid_6__3384_29.min1.thm1.tptp
2017-02-06 16:57
360
euclid_6__3331_24.min1.thm1.tptp
2017-02-06 16:57
352
equation__1050_16.min1.thm1.tptp
2017-02-06 16:57
330
enumset1__992_21.min1.thm1.tptp
2017-02-06 16:57
348
enumset1__256_69.min1.thm1.tptp
2017-02-06 16:57
742
enumset1__34_19.min1.thm1.tptp
2017-02-06 16:57
425
dilworth__958_21.min1.thm1.tptp
2017-02-06 16:57
578
dilworth__944_32.min1.thm1.tptp
2017-02-06 16:57
465
dilworth__932_29.min1.thm1.tptp
2017-02-06 16:57
584
comput_1__5427_22.min1.thm1.tptp
2017-02-06 16:57
363
comput_1__4744_16.min1.thm1.tptp
2017-02-06 16:57
525
comput_1__4626_16.min1.thm1.tptp
2017-02-06 16:57
525
comput_1__4418_38.min1.thm1.tptp
2017-02-06 16:57
378
comput_1__4291_43.min1.thm1.tptp
2017-02-06 16:57
439
compos_2__765_31.min1.thm1.tptp
2017-02-06 16:57
374
combgras__2026_15.min1.thm1.tptp
2017-02-06 16:57
314
cohsp_1__3641_17.min1.thm1.tptp
2017-02-06 16:57
348
cohsp_1__3588_18.min1.thm1.tptp
2017-02-06 16:57
370
cohsp_1__2602_60.min1.thm1.tptp
2017-02-06 16:57
574
cohsp_1__804_13.min1.thm1.tptp
2017-02-06 16:57
336
cohsp_1__753_19.min1.thm1.tptp
2017-02-06 16:57
339
cohsp_1__752_21.min1.thm1.tptp
2017-02-06 16:57
339
cohsp_1__369_15.min1.thm1.tptp
2017-02-06 16:57
336
coh_sp__489_23.min1.thm1.tptp
2017-02-06 16:57
358
coh_sp__488_23.min1.thm1.tptp
2017-02-06 16:57
358
closure2__609_29.min1.thm1.tptp
2017-02-06 16:57
461
closure2__531_30.min1.thm1.tptp
2017-02-06 16:57
410
classes2__102_26.min1.thm1.tptp
2017-02-06 16:57
349
classes1__2456_17.min1.thm1.tptp
2017-02-06 16:57
340
classes1__952_21.min1.thm1.tptp
2017-02-06 16:57
615
classes1__951_20.min1.thm1.tptp
2017-02-06 16:57
600
classes1__950_28.min1.thm1.tptp
2017-02-06 16:57
368
classes1__946_23.min1.thm1.tptp
2017-02-06 16:57
378
circcomb__1437_25.min1.thm1.tptp
2017-02-06 16:57
409
circcmb3__2676_33.min1.thm1.tptp
2017-02-06 16:57
406
circcmb3__2669_33.min1.thm1.tptp
2017-02-06 16:57
406
circcmb3__1586_15.min1.thm1.tptp
2017-02-06 16:57
340
chain_1__121_17.min1.thm1.tptp
2017-02-06 16:57
334
cfuncdom__615_22.min1.thm1.tptp
2017-02-06 16:57
357
cfuncdom__557_12.min1.thm1.tptp
2017-02-06 16:57
312
catalg_1__1062_28.min1.thm1.tptp
2017-02-06 16:57
418
catalg_1__783_26.min1.thm1.tptp
2017-02-06 16:57
400
cat_4__1156_17.min1.thm1.tptp
2017-02-06 16:57
316
cat_4__86_17.min1.thm1.tptp
2017-02-06 16:57
315
cat_3__3077_20.min1.thm1.tptp
2017-02-06 16:57
318
cat_3__3076_23.min1.thm1.tptp
2017-02-06 16:57
318
cat_3__2945_12.min1.thm1.tptp
2017-02-06 16:57
329
cat_3__2937_30.min1.thm1.tptp
2017-02-06 16:57
341
cat_3__2907_12.min1.thm1.tptp
2017-02-06 16:57
328
cat_3__2900_28.min1.thm1.tptp
2017-02-06 16:57
333
cat_3__2866_14.min1.thm1.tptp
2017-02-06 16:57
330
cat_3__1792_20.min1.thm1.tptp
2017-02-06 16:57
313
cat_3__1791_23.min1.thm1.tptp
2017-02-06 16:57
313
cat_3__1661_12.min1.thm1.tptp
2017-02-06 16:57
329
cat_3__1653_30.min1.thm1.tptp
2017-02-06 16:57
341
cat_3__1623_12.min1.thm1.tptp
2017-02-06 16:57
328
cat_3__1616_28.min1.thm1.tptp
2017-02-06 16:57
333
cat_3__1582_14.min1.thm1.tptp
2017-02-06 16:57
330
cat_3__580_28.min1.thm1.tptp
2017-02-06 16:57
331
cat_3__442_28.min1.thm1.tptp
2017-02-06 16:57
331
cat_3__425_28.min1.thm1.tptp
2017-02-06 16:57
331
cat_3__366_28.min1.thm1.tptp
2017-02-06 16:57
331
cat_3__300_28.min1.thm1.tptp
2017-02-06 16:57
331
cat_3__115_20.min1.thm1.tptp
2017-02-06 16:57
324
card_fin__1614_19.min1.thm1.tptp
2017-02-06 16:57
394
card_fil__1984_48.min1.thm1.tptp
2017-02-06 16:57
323
card_3__2390_23.min1.thm1.tptp
2017-02-06 16:57
340
card_3__2389_23.min1.thm1.tptp
2017-02-06 16:57
340
card_3__1904_18.min1.thm1.tptp
2017-02-06 16:57
478
card_3__559_23.min1.thm1.tptp
2017-02-06 16:57
434
card_3__558_17.min1.thm1.tptp
2017-02-06 16:57
332
card_3__551_23.min1.thm1.tptp
2017-02-06 16:57
340
card_2__1431_21.min1.thm1.tptp
2017-02-06 16:57
332
card_2__1418_21.min1.thm1.tptp
2017-02-06 16:57
314
bvfunc_1__2739_21.min1.thm1.tptp
2017-02-06 16:57
348
bvfunc_1__2540_19.min1.thm1.tptp
2017-02-06 16:57
358
bvfunc14__715_23.min1.thm1.tptp
2017-02-06 16:57
484
bvfunc14__250_13.min1.thm1.tptp
2017-02-06 16:57
308
bvfunc14__177_19.min1.thm1.tptp
2017-02-06 16:57
346
bvfunc11__192_28.min1.thm1.tptp
2017-02-06 16:57
367
bvfunc11__143_29.min1.thm1.tptp
2017-02-06 16:57
485
bvfunc11__121_14.min1.thm1.tptp
2017-02-06 16:57
307
bvfunc11__90_26.min1.thm1.tptp
2017-02-06 16:57
349
brouwer__230_17.min1.thm1.tptp
2017-02-06 16:57
339
bintree1__835_32.min1.thm1.tptp
2017-02-06 16:57
356
bintree1__799_43.min1.thm1.tptp
2017-02-06 16:57
597
bintree1__639_35.min1.thm1.tptp
2017-02-06 16:57
514
bintree1__635_42.min1.thm1.tptp
2017-02-06 16:57
520
bintree1__600_35.min1.thm1.tptp
2017-02-06 16:57
514
bintree1__596_42.min1.thm1.tptp
2017-02-06 16:57
520
bintree1__559_54.min1.thm1.tptp
2017-02-06 16:57
679
bintree1__553_50.min1.thm1.tptp
2017-02-06 16:57
588
bintree1__517_54.min1.thm1.tptp
2017-02-06 16:57
679
bintree1__511_50.min1.thm1.tptp
2017-02-06 16:57
588
bintree1__386_42.min1.thm1.tptp
2017-02-06 16:57
506
bintree1__145_35.min1.thm1.tptp
2017-02-06 16:57
543
arytm_0__803_19.min1.thm1.tptp
2017-02-06 16:57
357
arytm_0__793_19.min1.thm1.tptp
2017-02-06 16:57
367
arytm_0__770_28.min1.thm1.tptp
2017-02-06 16:57
603
arytm_0__757_30.min1.thm1.tptp
2017-02-06 16:57
401
arytm_0__739_17.min1.thm1.tptp
2017-02-06 16:57
475
arytm_0__721_17.min1.thm1.tptp
2017-02-06 16:57
390
arytm_0__718_20.min1.thm1.tptp
2017-02-06 16:57
375
arrow__88_17.min1.thm1.tptp
2017-02-06 16:57
318
aofa_000__3945_23.min1.thm1.tptp
2017-02-06 16:57
525
aofa_000__3883_27.min1.thm1.tptp
2017-02-06 16:57
527
aofa_000__3382_18.min1.thm1.tptp
2017-02-06 16:57
625
aofa_000__2578_44.min1.thm1.tptp
2017-02-06 16:57
518
amistd_1__958_16.min1.thm1.tptp
2017-02-06 16:57
462
amistd_1__951_35.min1.thm1.tptp
2017-02-06 16:57
398
ami_wstd__1559_17.min1.thm1.tptp
2017-02-06 16:57
324
ami_6__1275_41.min1.thm1.tptp
2017-02-06 16:57
440
ami_6__1269_46.min1.thm1.tptp
2017-02-06 16:57
445
ami_6__1252_41.min1.thm1.tptp
2017-02-06 16:57
450
ami_6__1247_46.min1.thm1.tptp
2017-02-06 16:57
455
ami_6__1230_41.min1.thm1.tptp
2017-02-06 16:57
450
ami_6__1225_46.min1.thm1.tptp
2017-02-06 16:57
455
ami_6__1209_41.min1.thm1.tptp
2017-02-06 16:57
450
ami_6__1204_46.min1.thm1.tptp
2017-02-06 16:57
455
ami_6__1186_41.min1.thm1.tptp
2017-02-06 16:57
455
ami_6__1185_41.min1.thm1.tptp
2017-02-06 16:57
450
ami_6__995_16.min1.thm1.tptp
2017-02-06 16:57
359
ami_6__958_23.min1.thm1.tptp
2017-02-06 16:57
337
ami_6__950_23.min1.thm1.tptp
2017-02-06 16:57
337
ami_6__942_23.min1.thm1.tptp
2017-02-06 16:57
337
ami_6__934_23.min1.thm1.tptp
2017-02-06 16:57
337
ami_6__926_23.min1.thm1.tptp
2017-02-06 16:57
337
ami_6__918_23.min1.thm1.tptp
2017-02-06 16:57
324
ami_6__804_14.min1.thm1.tptp
2017-02-06 16:57
349
ami_6__785_32.min1.thm1.tptp
2017-02-06 16:57
320
ami_6__675_14.min1.thm1.tptp
2017-02-06 16:57
349
ami_6__656_32.min1.thm1.tptp
2017-02-06 16:57
320
ami_4__908_18.min1.thm1.tptp
2017-02-06 16:57
341
ami_4__906_19.min1.thm1.tptp
2017-02-06 16:57
336
ami_4__695_17.min1.thm1.tptp
2017-02-06 16:57
341
ami_4__694_17.min1.thm1.tptp
2017-02-06 16:57
336
ami_3__198_19.min1.thm1.tptp
2017-02-06 16:57
311
algstr_4__1777_23.min1.thm1.tptp
2017-02-06 16:57
328
abcmiz_a__1242_28.min1.thm1.tptp
2017-02-06 16:57
358
abcmiz_a__1142_28.min1.thm1.tptp
2017-02-06 16:57
358
abcmiz_a__999_48.min1.thm1.tptp
2017-02-06 16:57
395
abcmiz_a__799_48.min1.thm1.tptp
2017-02-06 16:57
395
abcmiz_a__339_33.min1.thm1.tptp
2017-02-06 16:57
333
abcmiz_1__4005_20.min1.thm1.tptp
2017-02-06 16:57
346
abcmiz_1__1713_24.min1.thm1.tptp
2017-02-06 16:57
335
abcmiz_1__481_64.min1.thm1.tptp
2017-02-06 16:57
562
abcmiz_1__280_27.min1.thm1.tptp
2017-02-06 16:57
419
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80