Index of /~mptp/1147/MPTP2/ilp1/redefinition_k6_numbers
Name
Last modified
Size
Description
Parent Directory
-
yellow16__1747_13.min1.thm1.tptp
2017-02-06 16:57
194
xreal_0__760_15.min1.thm1.tptp
2017-02-06 16:57
183
waybel_6__2360_14.min1.thm1.tptp
2017-02-06 16:57
227
waybel18__1804_31.min1.thm1.tptp
2017-02-06 16:57
372
waybel18__1455_31.min1.thm1.tptp
2017-02-06 16:57
372
waybel18__1376_39.min1.thm1.tptp
2017-02-06 16:57
390
waybel18__1319_33.min1.thm1.tptp
2017-02-06 16:57
385
waybel18__1310_12.min1.thm1.tptp
2017-02-06 16:57
651
waybel18__1291_18.min1.thm1.tptp
2017-02-06 16:57
226
urysohn3__1063_16.min1.thm1.tptp
2017-02-06 16:57
1.0K
triang_1__602_18.min1.thm1.tptp
2017-02-06 16:57
387
trees_9__1863_18.min1.thm1.tptp
2017-02-06 16:57
541
trees_2__1206_19.min1.thm1.tptp
2017-02-06 16:57
439
trees_1__2241_31.min1.thm1.tptp
2017-02-06 16:57
376
trees_1__2199_25.min1.thm1.tptp
2017-02-06 16:57
310
topalg_6__2690_16.min1.thm1.tptp
2017-02-06 16:57
1.2K
substut2__769_14.min1.thm1.tptp
2017-02-06 16:57
454
substut2__402_11.min1.thm1.tptp
2017-02-06 16:57
474
substut2__383_11.min1.thm1.tptp
2017-02-06 16:57
452
sin_cos__64_10.min1.thm1.tptp
2017-02-06 16:57
196
scmfsa8c__4192_4.min1.thm1.tptp
2017-02-06 16:57
2.1K
scm_inst__257_16.min1.thm1.tptp
2017-02-06 16:57
202
rfinseq2__331_21.min1.thm1.tptp
2017-02-06 16:57
1.6K
rfinseq2__68_78.min1.thm1.tptp
2017-02-06 16:57
1.5K
ratfunc1__856_13.min1.thm1.tptp
2017-02-06 16:57
1.3K
rat_1__53_11.min1.thm1.tptp
2017-02-06 16:57
227
ramsey_1__537_47.min1.thm1.tptp
2017-02-06 16:57
213
ordinal6__2550_46.min1.thm1.tptp
2017-02-06 16:57
378
ordinal6__2546_46.min1.thm1.tptp
2017-02-06 16:57
377
necklace__47_18.min1.thm1.tptp
2017-02-06 16:57
226
nat_4__4208_62.min1.thm1.tptp
2017-02-06 16:57
546
nat_4__3397_25.min1.thm1.tptp
2017-02-06 16:57
470
mssublat__1430_16.min1.thm1.tptp
2017-02-06 16:57
345
modal_1__123_41.min1.thm1.tptp
2017-02-06 16:57
349
modal_1__120_35.min1.thm1.tptp
2017-02-06 16:57
283
mmlquery__2108_18.min1.thm1.tptp
2017-02-06 16:57
402
mmlquery__2078_18.min1.thm1.tptp
2017-02-06 16:57
380
mmlquery__2048_18.min1.thm1.tptp
2017-02-06 16:57
380
mesfunc5__7052_18.min1.thm1.tptp
2017-02-06 16:57
487
measure6__948_18.min1.thm1.tptp
2017-02-06 16:57
266
measure5__287_10.min1.thm1.tptp
2017-02-06 16:57
198
glib_004__2280_39.min1.thm1.tptp
2017-02-06 16:57
443
glib_002__1228_16.min1.thm1.tptp
2017-02-06 16:57
263
glib_001__5002_10.min1.thm1.tptp
2017-02-06 16:57
682
gfacirc2__1488_33.min1.thm1.tptp
2017-02-06 16:57
2.0K
gfacirc2__1487_30.min1.thm1.tptp
2017-02-06 16:57
2.0K
gfacirc2__1463_17.min1.thm1.tptp
2017-02-06 16:57
412
gfacirc2__1452_16.min1.thm1.tptp
2017-02-06 16:57
409
gfacirc2__1450_16.min1.thm1.tptp
2017-02-06 16:57
578
gfacirc2__1329_17.min1.thm1.tptp
2017-02-06 16:57
425
gfacirc2__1326_16.min1.thm1.tptp
2017-02-06 16:57
425
gfacirc2__379_33.min1.thm1.tptp
2017-02-06 16:57
2.0K
gfacirc2__378_30.min1.thm1.tptp
2017-02-06 16:57
2.0K
gfacirc2__354_17.min1.thm1.tptp
2017-02-06 16:57
408
gfacirc2__347_16.min1.thm1.tptp
2017-02-06 16:57
405
gfacirc2__343_16.min1.thm1.tptp
2017-02-06 16:57
573
funct_7__2814_9.min1.thm1.tptp
2017-02-06 16:57
232
funct_7__1449_14.min1.thm1.tptp
2017-02-06 16:57
797
fscirc_2__372_53.min1.thm1.tptp
2017-02-06 16:57
2.0K
fscirc_2__370_50.min1.thm1.tptp
2017-02-06 16:57
1.9K
fscirc_2__336_60.min1.thm1.tptp
2017-02-06 16:57
573
fomodel2__3644_64.min1.thm1.tptp
2017-02-06 16:57
636
fomodel0__930_46.min1.thm1.tptp
2017-02-06 16:57
903
fomodel0__844_49.min1.thm1.tptp
2017-02-06 16:57
749
flang_3__375_14.min1.thm1.tptp
2017-02-06 16:57
406
flang_3__354_16.min1.thm1.tptp
2017-02-06 16:57
268
flang_2__678_14.min1.thm1.tptp
2017-02-06 16:57
656
flang_2__655_18.min1.thm1.tptp
2017-02-06 16:57
471
flang_2__648_16.min1.thm1.tptp
2017-02-06 16:57
672
fdiff_7__1128_46.min1.thm1.tptp
2017-02-06 16:57
763
fdiff_7__1051_46.min1.thm1.tptp
2017-02-06 16:57
763
facirc_2__538_74.min1.thm1.tptp
2017-02-06 16:57
2.0K
facirc_2__536_70.min1.thm1.tptp
2017-02-06 16:57
2.0K
facirc_2__501_61.min1.thm1.tptp
2017-02-06 16:57
578
comput_1__5647_27.min1.thm1.tptp
2017-02-06 16:57
252
comput_1__5597_27.min1.thm1.tptp
2017-02-06 16:57
253
comput_1__830_27.min1.thm1.tptp
2017-02-06 16:57
260
complex2__1416_15.min1.thm1.tptp
2017-02-06 16:57
477
complex2__1381_13.min1.thm1.tptp
2017-02-06 16:57
593
complex2__293_11.min1.thm1.tptp
2017-02-06 16:57
239
cohsp_1__4544_44.min1.thm1.tptp
2017-02-06 16:57
546
cohsp_1__4524_51.min1.thm1.tptp
2017-02-06 16:57
323
cohsp_1__4508_44.min1.thm1.tptp
2017-02-06 16:57
546
cohsp_1__4488_51.min1.thm1.tptp
2017-02-06 16:57
323
card_5__930_14.min1.thm1.tptp
2017-02-06 16:57
431
asympt_1__6534_70.min1.thm1.tptp
2017-02-06 16:57
368
aofa_000__2618_16.min1.thm1.tptp
2017-02-06 16:57
258
abcmiz_a__645_17.min1.thm1.tptp
2017-02-06 16:57
1.2K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80