Index of /~mptp/1147/mptp/ilp1/d8_xboole_0
Name
Last modified
Size
Description
Parent Directory
-
abcmiz_a__183_17.min1.thm1.tptp
2017-02-06 16:57
288
bintree2__660_27.min1.thm1.tptp
2017-02-06 16:57
282
borsuk_4__1740_13.min1.thm1.tptp
2017-02-06 16:57
262
card_2__1249_16.min1.thm1.tptp
2017-02-06 16:57
250
dilworth__125_13.min1.thm1.tptp
2017-02-06 16:57
256
exchsort__989_21.min1.thm1.tptp
2017-02-06 16:57
382
fin_topo__812_38.min1.thm1.tptp
2017-02-06 16:57
678
heyting3__843_17.min1.thm1.tptp
2017-02-06 16:57
410
ideal_1__5840_23.min1.thm1.tptp
2017-02-06 16:57
638
ideal_1__5996_40.min1.thm1.tptp
2017-02-06 16:57
818
isomichi__960_32.min1.thm1.tptp
2017-02-06 16:57
510
isomichi__1155_34.min1.thm1.tptp
2017-02-06 16:57
666
modal_1__105_38.min1.thm1.tptp
2017-02-06 16:57
426
modal_1__242_23.min1.thm1.tptp
2017-02-06 16:57
256
modal_1__363_20.min1.thm1.tptp
2017-02-06 16:57
508
modal_1__932_38.min1.thm1.tptp
2017-02-06 16:57
334
modal_1__1556_38.min1.thm1.tptp
2017-02-06 16:57
334
nagata_1__949_34.min1.thm1.tptp
2017-02-06 16:57
418
numbers__867_20.min1.thm1.tptp
2017-02-06 16:57
233
numbers__870_16.min1.thm1.tptp
2017-02-06 16:57
233
numbers__873_19.min1.thm1.tptp
2017-02-06 16:57
233
numbers__876_15.min1.thm1.tptp
2017-02-06 16:57
233
numbers__879_16.min1.thm1.tptp
2017-02-06 16:57
233
numbers__882_19.min1.thm1.tptp
2017-02-06 16:57
233
numbers__888_15.min1.thm1.tptp
2017-02-06 16:57
233
numbers__894_19.min1.thm1.tptp
2017-02-06 16:57
234
orders_2__1515_26.min1.thm1.tptp
2017-02-06 16:57
298
orders_2__1521_26.min1.thm1.tptp
2017-02-06 16:57
298
orders_2__1561_21.min1.thm1.tptp
2017-02-06 16:57
268
orders_2__1606_28.min1.thm1.tptp
2017-02-06 16:57
302
ordinal1__178_13.min1.thm1.tptp
2017-02-06 16:57
262
ordinal1__287_22.min1.thm1.tptp
2017-02-06 16:57
300
pre_circ__542_40.min1.thm1.tptp
2017-02-06 16:57
327
pre_circ__666_38.min1.thm1.tptp
2017-02-06 16:57
344
qc_lang4__690_26.min1.thm1.tptp
2017-02-06 16:57
262
qc_lang4__784_29.min1.thm1.tptp
2017-02-06 16:57
262
rcomp_3__2028_19.min1.thm1.tptp
2017-02-06 16:57
310
rcomp_3__2076_17.min1.thm1.tptp
2017-02-06 16:57
305
rcomp_3__2082_15.min1.thm1.tptp
2017-02-06 16:57
399
rlaffin2__605_21.min1.thm1.tptp
2017-02-06 16:57
280
rlaffin2__673_25.min1.thm1.tptp
2017-02-06 16:57
314
sgraph1__1170_18.min1.thm1.tptp
2017-02-06 16:57
311
simplex0__981_23.min1.thm1.tptp
2017-02-06 16:57
332
simplex0__1103_21.min1.thm1.tptp
2017-02-06 16:57
491
simplex0__1108_23.min1.thm1.tptp
2017-02-06 16:57
450
simplex0__1115_21.min1.thm1.tptp
2017-02-06 16:57
491
simplex0__1120_23.min1.thm1.tptp
2017-02-06 16:57
450
simplex0__1188_21.min1.thm1.tptp
2017-02-06 16:57
456
simplex0__1191_14.min1.thm1.tptp
2017-02-06 16:57
499
simplex0__1199_21.min1.thm1.tptp
2017-02-06 16:57
456
simplex0__1202_14.min1.thm1.tptp
2017-02-06 16:57
499
simplex1__1816_24.min1.thm1.tptp
2017-02-06 16:57
918
simplex1__1821_24.min1.thm1.tptp
2017-02-06 16:57
915
simplex1__3450_18.min1.thm1.tptp
2017-02-06 16:57
294
simplex1__3607_20.min1.thm1.tptp
2017-02-06 16:57
303
simplex1__4388_19.min1.thm1.tptp
2017-02-06 16:57
303
subset_1__1076_11.min1.thm1.tptp
2017-02-06 16:57
262
trees_1__263_25.min1.thm1.tptp
2017-02-06 16:57
272
trees_1__391_22.min1.thm1.tptp
2017-02-06 16:57
331
trees_1__394_22.min1.thm1.tptp
2017-02-06 16:57
331
trees_1__487_38.min1.thm1.tptp
2017-02-06 16:57
290
trees_1__949_25.min1.thm1.tptp
2017-02-06 16:57
300
trees_1__1189_36.min1.thm1.tptp
2017-02-06 16:57
402
trees_1__1258_40.min1.thm1.tptp
2017-02-06 16:57
308
trees_1__2151_31.min1.thm1.tptp
2017-02-06 16:57
368
trees_1__2209_35.min1.thm1.tptp
2017-02-06 16:57
356
trees_1__2265_22.min1.thm1.tptp
2017-02-06 16:57
256
trees_1__2303_22.min1.thm1.tptp
2017-02-06 16:57
256
trees_1__2352_17.min1.thm1.tptp
2017-02-06 16:57
296
trees_2__69_27.min1.thm1.tptp
2017-02-06 16:57
250
trees_2__120_40.min1.thm1.tptp
2017-02-06 16:57
403
trees_2__199_31.min1.thm1.tptp
2017-02-06 16:57
266
trees_2__982_23.min1.thm1.tptp
2017-02-06 16:57
276
trees_3__1722_33.min1.thm1.tptp
2017-02-06 16:57
326
trees_3__1742_36.min1.thm1.tptp
2017-02-06 16:57
340
trees_3__2101_59.min1.thm1.tptp
2017-02-06 16:57
500
trees_3__2275_59.min1.thm1.tptp
2017-02-06 16:57
502
trees_3__2303_59.min1.thm1.tptp
2017-02-06 16:57
501
trees_4__881_24.min1.thm1.tptp
2017-02-06 16:57
292
trees_9__2543_20.min1.thm1.tptp
2017-02-06 16:57
314
trees_9__2571_25.min1.thm1.tptp
2017-02-06 16:57
256
trees_a__162_36.min1.thm1.tptp
2017-02-06 16:57
414
trees_a__196_40.min1.thm1.tptp
2017-02-06 16:57
342
trees_a__262_42.min1.thm1.tptp
2017-02-06 16:57
330
trees_a__438_43.min1.thm1.tptp
2017-02-06 16:57
262
trees_a__505_20.min1.thm1.tptp
2017-02-06 16:57
335
xboole_1__844_11.min1.thm1.tptp
2017-02-06 16:57
262
xboole_1__854_11.min1.thm1.tptp
2017-02-06 16:57
262
xboole_1__867_11.min1.thm1.tptp
2017-02-06 16:57
262
xboole_1__895_17.min1.thm1.tptp
2017-02-06 16:57
254
xboole_1__1363_17.min1.thm1.tptp
2017-02-06 16:57
401
xboole_1__1467_17.min1.thm1.tptp
2017-02-06 16:57
258
xxreal_1__1318_25.min1.thm1.tptp
2017-02-06 16:57
378
zfmodel1__468_17.min1.thm1.tptp
2017-02-06 16:57
388
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80