Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/redefinition_k6_subset_1
Name
Last modified
Size
Description
Parent Directory
-
rfunct_3__1812_11.min1.thm1.tptp
2017-02-06 16:57
254
robbins4__450_22.min1.thm1.tptp
2017-02-06 16:57
259
tsep_1__44_23.min1.thm1.tptp
2017-02-06 16:57
280
card_lar__502_23.min1.thm1.tptp
2017-02-06 16:57
292
exchsort__720_23.min1.thm1.tptp
2017-02-06 16:57
292
card_fil__440_25.min1.thm1.tptp
2017-02-06 16:57
296
funct_7__1027_23.min1.thm1.tptp
2017-02-06 16:57
301
finset_1__353_37.min1.thm1.tptp
2017-02-06 16:57
308
pboole__968_12.min1.thm1.tptp
2017-02-06 16:57
310
card_4__752_27.min1.thm1.tptp
2017-02-06 16:57
312
robbins4__1993_26.min1.thm1.tptp
2017-02-06 16:57
312
robbins4__2032_26.min1.thm1.tptp
2017-02-06 16:57
312
amistd_4__575_9.min1.thm1.tptp
2017-02-06 16:57
314
yellow11__694_28.min1.thm1.tptp
2017-02-06 16:57
316
rfunct_3__2641_21.min1.thm1.tptp
2017-02-06 16:57
324
robbins4__617_32.min1.thm1.tptp
2017-02-06 16:57
325
robbins4__720_32.min1.thm1.tptp
2017-02-06 16:57
325
robbins4__881_32.min1.thm1.tptp
2017-02-06 16:57
325
robbins4__934_32.min1.thm1.tptp
2017-02-06 16:57
325
card_fin__1573_30.min1.thm1.tptp
2017-02-06 16:57
327
rlvect_5__256_35.min1.thm1.tptp
2017-02-06 16:57
331
chain_1__308_25.min1.thm1.tptp
2017-02-06 16:57
332
rfinseq__193_20.min1.thm1.tptp
2017-02-06 16:57
338
bspace__1095_19.min1.thm1.tptp
2017-02-06 16:57
348
measure8__1909_39.min1.thm1.tptp
2017-02-06 16:57
348
measure4__420_27.min1.thm1.tptp
2017-02-06 16:57
356
card_fin__2602_16.min1.thm1.tptp
2017-02-06 16:57
361
card_fin__2395_16.min1.thm1.tptp
2017-02-06 16:57
362
card_fin__2698_16.min1.thm1.tptp
2017-02-06 16:57
362
card_fin__2802_16.min1.thm1.tptp
2017-02-06 16:57
362
card_fin__2609_18.min1.thm1.tptp
2017-02-06 16:57
363
chain_1__2478_20.min1.thm1.tptp
2017-02-06 16:57
363
card_fin__2730_18.min1.thm1.tptp
2017-02-06 16:57
364
card_fin__2879_20.min1.thm1.tptp
2017-02-06 16:57
365
setwiseo__760_28.min1.thm1.tptp
2017-02-06 16:57
381
laplace__259_18.min1.thm1.tptp
2017-02-06 16:57
383
laplace__262_19.min1.thm1.tptp
2017-02-06 16:57
383
graph_5__3318_28.min1.thm1.tptp
2017-02-06 16:57
391
card_fil__1525_22.min1.thm1.tptp
2017-02-06 16:57
396
chain_1__309_35.min1.thm1.tptp
2017-02-06 16:57
397
classes2__1286_32.min1.thm1.tptp
2017-02-06 16:57
406
card_3__3186_19.min1.thm1.tptp
2017-02-06 16:57
407
relat_1__227_32.min1.thm1.tptp
2017-02-06 16:57
416
measure4__499_27.min1.thm1.tptp
2017-02-06 16:57
420
relat_1__341_32.min1.thm1.tptp
2017-02-06 16:57
423
measure1__261_28.min1.thm1.tptp
2017-02-06 16:57
432
measure1__278_30.min1.thm1.tptp
2017-02-06 16:57
432
afinsq_2__1840_36.min1.thm1.tptp
2017-02-06 16:57
461
ordinal6__147_36.min1.thm1.tptp
2017-02-06 16:57
461
relat_1__1746_41.min1.thm1.tptp
2017-02-06 16:57
469
rfunct_3__2960_34.min1.thm1.tptp
2017-02-06 16:57
485
e_siec__124_54.min1.thm1.tptp
2017-02-06 16:57
490
funct_7__1024_34.min1.thm1.tptp
2017-02-06 16:57
505
funct_7__3447_36.min1.thm1.tptp
2017-02-06 16:57
513
funct_7__3506_36.min1.thm1.tptp
2017-02-06 16:57
513
rearran1__713_33.min1.thm1.tptp
2017-02-06 16:57
526
card_4__916_61.min1.thm1.tptp
2017-02-06 16:57
538
sysrel__544_47.min1.thm1.tptp
2017-02-06 16:57
594
sysrel__566_47.min1.thm1.tptp
2017-02-06 16:57
597
pboole__1015_35.min1.thm1.tptp
2017-02-06 16:57
627
pboole__1096_36.min1.thm1.tptp
2017-02-06 16:57
627
zf_fund2__95_47.min1.thm1.tptp
2017-02-06 16:57
633
bvfunc14__3834_66.min1.thm1.tptp
2017-02-06 16:57
1.0K
bvfunc14__4677_67.min1.thm1.tptp
2017-02-06 16:57
1.1K
bvfunc14__5622_70.min1.thm1.tptp
2017-02-06 16:57
1.1K
bvfunc14__5627_4.min1.thm1.tptp
2017-02-06 16:57
1.2K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80