Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp1/antisymmetry_r2_hidden
Name
Last modified
Size
Description
Parent Directory
-
abcmiz_1__2556_32.min1.thm1.tptp
2017-02-06 16:57
315
abcmiz_1__4741_29.min1.thm1.tptp
2017-02-06 16:57
291
arytm_2__2661_18.min1.thm1.tptp
2017-02-06 16:57
245
bagorder__1209_12.min1.thm1.tptp
2017-02-06 16:57
267
bagorder__1215_19.min1.thm1.tptp
2017-02-06 16:57
299
bagorder__2274_12.min1.thm1.tptp
2017-02-06 16:57
267
bagorder__2280_19.min1.thm1.tptp
2017-02-06 16:57
299
card_1__703_21.min1.thm1.tptp
2017-02-06 16:57
279
card_1__756_23.min1.thm1.tptp
2017-02-06 16:57
279
card_5__316_13.min1.thm1.tptp
2017-02-06 16:57
242
card_5__418_13.min1.thm1.tptp
2017-02-06 16:57
241
card_5__732_25.min1.thm1.tptp
2017-02-06 16:57
327
card_fil__794_31.min1.thm1.tptp
2017-02-06 16:57
357
card_fin__2279_10.min1.thm1.tptp
2017-02-06 16:57
269
classes1__233_20.min1.thm1.tptp
2017-02-06 16:57
293
classes1__289_33.min1.thm1.tptp
2017-02-06 16:57
317
classes1__899_35.min1.thm1.tptp
2017-02-06 16:57
317
classes2__74_23.min1.thm1.tptp
2017-02-06 16:57
285
compl_sp__3673_18.min1.thm1.tptp
2017-02-06 16:57
257
compl_sp__3684_18.min1.thm1.tptp
2017-02-06 16:57
257
compl_sp__3729_18.min1.thm1.tptp
2017-02-06 16:57
257
compl_sp__3741_18.min1.thm1.tptp
2017-02-06 16:57
257
compl_sp__3758_18.min1.thm1.tptp
2017-02-06 16:57
257
compl_sp__3770_18.min1.thm1.tptp
2017-02-06 16:57
257
compl_sp__3807_16.min1.thm1.tptp
2017-02-06 16:57
255
compl_sp__3817_16.min1.thm1.tptp
2017-02-06 16:57
255
compl_sp__4122_14.min1.thm1.tptp
2017-02-06 16:57
253
compl_sp__4132_14.min1.thm1.tptp
2017-02-06 16:57
253
dickson__3379_21.min1.thm1.tptp
2017-02-06 16:57
281
euclid_7__2378_24.min1.thm1.tptp
2017-02-06 16:57
304
exchsort__133_29.min1.thm1.tptp
2017-02-06 16:57
350
exchsort__1973_22.min1.thm1.tptp
2017-02-06 16:57
339
exchsort__2004_22.min1.thm1.tptp
2017-02-06 16:57
339
exchsort__2022_10.min1.thm1.tptp
2017-02-06 16:57
355
graph_3__1709_17.min1.thm1.tptp
2017-02-06 16:57
279
lattice5__1522_21.min1.thm1.tptp
2017-02-06 16:57
312
lattice8__732_21.min1.thm1.tptp
2017-02-06 16:57
312
msafree3__132_28.min1.thm1.tptp
2017-02-06 16:57
267
msafree3__819_30.min1.thm1.tptp
2017-02-06 16:57
277
msafree3__1349_30.min1.thm1.tptp
2017-02-06 16:57
289
msafree3__1589_28.min1.thm1.tptp
2017-02-06 16:57
275
msaterm__1240_39.min1.thm1.tptp
2017-02-06 16:57
384
nat_1__1058_13.min1.thm1.tptp
2017-02-06 16:57
241
numbers__279_11.min1.thm1.tptp
2017-02-06 16:57
241
numbers__945_14.min1.thm1.tptp
2017-02-06 16:57
225
ordinal1__575_17.min1.thm1.tptp
2017-02-06 16:57
281
ordinal1__1510_13.min1.thm1.tptp
2017-02-06 16:57
247
ordinal5__2356_14.min1.thm1.tptp
2017-02-06 16:57
345
polynom6__251_31.min1.thm1.tptp
2017-02-06 16:57
310
robbins4__572_23.min1.thm1.tptp
2017-02-06 16:57
280
robbins4__649_23.min1.thm1.tptp
2017-02-06 16:57
284
robbins4__752_23.min1.thm1.tptp
2017-02-06 16:57
284
robbins4__848_23.min1.thm1.tptp
2017-02-06 16:57
284
robbins4__1824_17.min1.thm1.tptp
2017-02-06 16:57
240
robbins4__1917_17.min1.thm1.tptp
2017-02-06 16:57
240
stirl2_1__1895_9.min1.thm1.tptp
2017-02-06 16:57
249
stirl2_1__2390_15.min1.thm1.tptp
2017-02-06 16:57
343
stirl2_1__3242_23.min1.thm1.tptp
2017-02-06 16:57
388
wellord2__238_13.min1.thm1.tptp
2017-02-06 16:57
255
wellset1__1189_30.min1.thm1.tptp
2017-02-06 16:57
300
xreal_0__58_27.min1.thm1.tptp
2017-02-06 16:57
228
xxreal_0__395_20.min1.thm1.tptp
2017-02-06 16:57
222
yellow11__2381_23.min1.thm1.tptp
2017-02-06 16:57
256
yellow11__2451_23.min1.thm1.tptp
2017-02-06 16:57
257
yellow11__2481_23.min1.thm1.tptp
2017-02-06 16:57
257
yellow11__3769_22.min1.thm1.tptp
2017-02-06 16:57
257
yellow11__3828_22.min1.thm1.tptp
2017-02-06 16:57
257
zf_fund2__1123_14.min1.thm1.tptp
2017-02-06 16:57
358
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80