Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/xxreal_2
Name
Last modified
Size
Description
Parent Directory
-
xxreal_2__39_11.min1.thm1
2017-02-06 12:45
220
xxreal_2__45_15.min1.thm1
2017-02-06 12:45
382
xxreal_2__46_71.min1.thm1
2017-02-06 12:45
607
xxreal_2__46_71.min1.thm1.tptp
2017-02-06 16:46
544
xxreal_2__49_34.min1.thm1
2017-02-06 12:45
276
xxreal_2__49_34.min1.thm1.tptp
2017-02-06 16:46
190
xxreal_2__50_15.min1.thm1
2017-02-06 12:45
308
xxreal_2__50_15.min1.thm1.tptp
2017-02-06 16:46
227
xxreal_2__51_16.min1.thm1
2017-02-06 12:45
305
xxreal_2__51_16.min1.thm1.tptp
2017-02-06 16:46
219
xxreal_2__55_52.min1.thm1
2017-02-06 12:45
607
xxreal_2__62_34.min1.thm1
2017-02-06 12:45
1.4K
xxreal_2__64_17.min1.thm1
2017-02-06 12:45
401
xxreal_2__77_10.min1.thm1
2017-02-06 12:45
607
xxreal_2__77_10.min1.thm1.tptp
2017-02-06 16:46
544
xxreal_2__78_47.min1.thm1
2017-02-06 12:45
808
xxreal_2__80_21.min1.thm1
2017-02-06 12:45
1.2K
xxreal_2__82_17.min1.thm1
2017-02-06 12:45
1.2K
xxreal_2__83_32.min1.thm1
2017-02-06 12:45
1.2K
xxreal_2__85_21.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__87_22.min1.thm1
2017-02-06 12:45
1.3K
xxreal_2__88_19.min1.thm1
2017-02-06 12:45
545
xxreal_2__102_18.min1.thm1
2017-02-06 12:45
607
xxreal_2__110_18.min1.thm1
2017-02-06 12:45
293
xxreal_2__123_42.min1.thm1
2017-02-06 12:45
590
xxreal_2__128_32.min1.thm1
2017-02-06 12:45
601
xxreal_2__129_18.min1.thm1
2017-02-06 12:45
495
xxreal_2__138_13.min1.thm1
2017-02-06 12:45
371
xxreal_2__138_13.min1.thm1.tptp
2017-02-06 16:46
290
xxreal_2__139_13.min1.thm1
2017-02-06 12:45
371
xxreal_2__139_13.min1.thm1.tptp
2017-02-06 16:46
290
xxreal_2__140_19.min1.thm1
2017-02-06 12:45
608
xxreal_2__149_42.min1.thm1
2017-02-06 12:45
590
xxreal_2__154_32.min1.thm1
2017-02-06 12:45
601
xxreal_2__155_18.min1.thm1
2017-02-06 12:45
495
xxreal_2__164_14.min1.thm1
2017-02-06 12:45
371
xxreal_2__164_14.min1.thm1.tptp
2017-02-06 16:46
290
xxreal_2__165_13.min1.thm1
2017-02-06 12:45
371
xxreal_2__165_13.min1.thm1.tptp
2017-02-06 16:46
290
xxreal_2__166_19.min1.thm1
2017-02-06 12:45
608
xxreal_2__183_13.min1.thm1
2017-02-06 12:45
267
xxreal_2__184_48.min1.thm1
2017-02-06 12:45
718
xxreal_2__189_17.min1.thm1
2017-02-06 12:45
417
xxreal_2__195_13.min1.thm1
2017-02-06 12:45
267
xxreal_2__196_48.min1.thm1
2017-02-06 12:45
718
xxreal_2__201_17.min1.thm1
2017-02-06 12:45
417
xxreal_2__209_15.min1.thm1
2017-02-06 12:45
269
xxreal_2__210_19.min1.thm1
2017-02-06 12:45
760
xxreal_2__212_27.min1.thm1
2017-02-06 12:45
480
xxreal_2__213_17.min1.thm1
2017-02-06 12:45
792
xxreal_2__221_15.min1.thm1
2017-02-06 12:45
269
xxreal_2__222_19.min1.thm1
2017-02-06 12:45
760
xxreal_2__224_27.min1.thm1
2017-02-06 12:45
480
xxreal_2__225_17.min1.thm1
2017-02-06 12:45
792
xxreal_2__233_19.min1.thm1
2017-02-06 12:45
669
xxreal_2__234_16.min1.thm1
2017-02-06 12:45
494
xxreal_2__243_29.min1.thm1
2017-02-06 12:45
502
xxreal_2__244_17.min1.thm1
2017-02-06 12:45
715
xxreal_2__250_29.min1.thm1
2017-02-06 12:45
502
xxreal_2__251_17.min1.thm1
2017-02-06 12:45
715
xxreal_2__262_17.min1.thm1
2017-02-06 12:45
1.2K
xxreal_2__273_17.min1.thm1
2017-02-06 12:45
1.2K
xxreal_2__285_14.min1.thm1
2017-02-06 12:45
454
xxreal_2__285_14.min1.thm1.tptp
2017-02-06 16:46
392
xxreal_2__288_13.min1.thm1
2017-02-06 12:45
709
xxreal_2__289_13.min1.thm1
2017-02-06 12:45
730
xxreal_2__290_19.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__294_13.min1.thm1
2017-02-06 12:45
839
xxreal_2__295_13.min1.thm1
2017-02-06 12:45
730
xxreal_2__296_19.min1.thm1
2017-02-06 12:45
1.2K
xxreal_2__309_14.min1.thm1
2017-02-06 12:45
454
xxreal_2__309_14.min1.thm1.tptp
2017-02-06 16:46
392
xxreal_2__312_13.min1.thm1
2017-02-06 12:45
709
xxreal_2__313_13.min1.thm1
2017-02-06 12:45
730
xxreal_2__314_19.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__318_13.min1.thm1
2017-02-06 12:45
839
xxreal_2__319_13.min1.thm1
2017-02-06 12:45
730
xxreal_2__320_19.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__328_31.min1.thm1
2017-02-06 12:45
502
xxreal_2__332_27.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__334_17.min1.thm1
2017-02-06 12:45
588
xxreal_2__335_27.min1.thm1
2017-02-06 12:45
953
xxreal_2__336_22.min1.thm1
2017-02-06 12:45
588
xxreal_2__337_19.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__339_29.min1.thm1
2017-02-06 12:45
502
xxreal_2__340_35.min1.thm1
2017-02-06 12:45
750
xxreal_2__341_17.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__348_31.min1.thm1
2017-02-06 12:45
502
xxreal_2__352_27.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__354_17.min1.thm1
2017-02-06 12:45
588
xxreal_2__355_27.min1.thm1
2017-02-06 12:45
953
xxreal_2__356_22.min1.thm1
2017-02-06 12:45
588
xxreal_2__357_19.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__359_29.min1.thm1
2017-02-06 12:45
502
xxreal_2__360_35.min1.thm1
2017-02-06 12:45
750
xxreal_2__361_17.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__372_19.min1.thm1
2017-02-06 12:45
359
xxreal_2__372_19.min1.thm1.tptp
2017-02-06 16:46
277
xxreal_2__374_44.min1.thm1
2017-02-06 12:45
772
xxreal_2__381_43.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__387_21.min1.thm1
2017-02-06 12:45
648
xxreal_2__388_21.min1.thm1
2017-02-06 12:45
648
xxreal_2__389_40.min1.thm1
2017-02-06 12:45
1.3K
xxreal_2__390_43.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__393_21.min1.thm1
2017-02-06 12:45
649
xxreal_2__394_21.min1.thm1
2017-02-06 12:45
649
xxreal_2__395_40.min1.thm1
2017-02-06 12:45
1.3K
xxreal_2__400_20.min1.thm1
2017-02-06 12:45
451
xxreal_2__402_23.min1.thm1
2017-02-06 12:45
419
xxreal_2__402_23.min1.thm1.tptp
2017-02-06 16:46
354
xxreal_2__403_20.min1.thm1
2017-02-06 12:45
452
xxreal_2__404_28.min1.thm1
2017-02-06 12:45
419
xxreal_2__404_28.min1.thm1.tptp
2017-02-06 16:46
354
xxreal_2__405_21.min1.thm1
2017-02-06 12:45
1.2K
xxreal_2__409_19.min1.thm1
2017-02-06 12:45
468
xxreal_2__409_19.min1.thm1.tptp
2017-02-06 16:46
393
xxreal_2__419_29.min1.thm1
2017-02-06 12:45
413
xxreal_2__419_29.min1.thm1.tptp
2017-02-06 16:46
348
xxreal_2__427_21.min1.thm1
2017-02-06 12:45
700
xxreal_2__429_47.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__430_23.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__439_15.min1.thm1
2017-02-06 12:45
740
xxreal_2__461_67.min1.thm1
2017-02-06 12:45
653
xxreal_2__465_47.min1.thm1
2017-02-06 12:45
724
xxreal_2__466_27.min1.thm1
2017-02-06 12:45
642
xxreal_2__467_19.min1.thm1
2017-02-06 12:45
743
xxreal_2__479_67.min1.thm1
2017-02-06 12:45
653
xxreal_2__483_47.min1.thm1
2017-02-06 12:45
724
xxreal_2__484_27.min1.thm1
2017-02-06 12:45
642
xxreal_2__485_19.min1.thm1
2017-02-06 12:45
743
xxreal_2__490_15.min1.thm1
2017-02-06 12:45
259
xxreal_2__498_17.min1.thm1
2017-02-06 12:45
772
xxreal_2__504_15.min1.thm1
2017-02-06 12:45
390
xxreal_2__504_15.min1.thm1.tptp
2017-02-06 16:46
340
xxreal_2__505_17.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__512_13.min1.thm1
2017-02-06 12:45
225
xxreal_2__515_53.min1.thm1
2017-02-06 12:45
500
xxreal_2__516_33.min1.thm1
2017-02-06 12:45
637
xxreal_2__517_27.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__521_53.min1.thm1
2017-02-06 12:45
587
xxreal_2__522_33.min1.thm1
2017-02-06 12:45
772
xxreal_2__523_27.min1.thm1
2017-02-06 12:45
962
xxreal_2__526_17.min1.thm1
2017-02-06 12:45
933
xxreal_2__530_15.min1.thm1
2017-02-06 12:45
260
xxreal_2__538_17.min1.thm1
2017-02-06 12:45
772
xxreal_2__544_15.min1.thm1
2017-02-06 12:45
390
xxreal_2__544_15.min1.thm1.tptp
2017-02-06 16:46
340
xxreal_2__545_17.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__552_13.min1.thm1
2017-02-06 12:45
225
xxreal_2__555_53.min1.thm1
2017-02-06 12:45
500
xxreal_2__556_33.min1.thm1
2017-02-06 12:45
637
xxreal_2__557_27.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__561_53.min1.thm1
2017-02-06 12:45
587
xxreal_2__562_33.min1.thm1
2017-02-06 12:45
772
xxreal_2__563_27.min1.thm1
2017-02-06 12:45
962
xxreal_2__566_17.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__584_15.min1.thm1
2017-02-06 12:45
736
xxreal_2__598_14.min1.thm1
2017-02-06 12:45
312
xxreal_2__601_14.min1.thm1
2017-02-06 12:45
312
xxreal_2__611_13.min1.thm1
2017-02-06 12:45
203
xxreal_2__618_22.min1.thm1
2017-02-06 12:45
393
xxreal_2__618_22.min1.thm1.tptp
2017-02-06 16:46
314
xxreal_2__622_20.min1.thm1
2017-02-06 12:45
387
xxreal_2__622_20.min1.thm1.tptp
2017-02-06 16:46
308
xxreal_2__626_66.min1.thm1
2017-02-06 12:45
457
xxreal_2__627_19.min1.thm1
2017-02-06 12:45
791
xxreal_2__628_46.min1.thm1
2017-02-06 12:45
623
xxreal_2__634_23.min1.thm1
2017-02-06 12:45
757
xxreal_2__636_19.min1.thm1
2017-02-06 12:45
791
xxreal_2__637_46.min1.thm1
2017-02-06 12:45
623
xxreal_2__641_21.min1.thm1
2017-02-06 12:45
745
xxreal_2__651_15.min1.thm1
2017-02-06 12:45
647
xxreal_2__663_13.min1.thm1
2017-02-06 12:45
390
xxreal_2__663_13.min1.thm1.tptp
2017-02-06 16:46
325
xxreal_2__664_17.min1.thm1
2017-02-06 12:45
691
xxreal_2__665_16.min1.thm1
2017-02-06 12:45
303
xxreal_2__665_16.min1.thm1.tptp
2017-02-06 16:46
222
xxreal_2__666_16.min1.thm1
2017-02-06 12:45
303
xxreal_2__666_16.min1.thm1.tptp
2017-02-06 16:46
222
xxreal_2__667_15.min1.thm1
2017-02-06 12:45
685
xxreal_2__668_17.min1.thm1
2017-02-06 12:45
1.2K
xxreal_2__679_13.min1.thm1
2017-02-06 12:45
390
xxreal_2__679_13.min1.thm1.tptp
2017-02-06 16:46
325
xxreal_2__680_17.min1.thm1
2017-02-06 12:45
691
xxreal_2__681_16.min1.thm1
2017-02-06 12:45
303
xxreal_2__681_16.min1.thm1.tptp
2017-02-06 16:46
222
xxreal_2__682_16.min1.thm1
2017-02-06 12:45
303
xxreal_2__682_16.min1.thm1.tptp
2017-02-06 16:46
222
xxreal_2__683_15.min1.thm1
2017-02-06 12:45
685
xxreal_2__684_17.min1.thm1
2017-02-06 12:45
1.2K
xxreal_2__692_20.min1.thm1
2017-02-06 12:45
441
xxreal_2__692_20.min1.thm1.tptp
2017-02-06 16:46
366
xxreal_2__693_16.min1.thm1
2017-02-06 12:45
414
xxreal_2__702_20.min1.thm1
2017-02-06 12:45
441
xxreal_2__702_20.min1.thm1.tptp
2017-02-06 16:46
366
xxreal_2__703_16.min1.thm1
2017-02-06 12:45
414
xxreal_2__713_71.min1.thm1
2017-02-06 12:45
414
xxreal_2__713_71.min1.thm1.tptp
2017-02-06 16:46
324
xxreal_2__715_19.min1.thm1
2017-02-06 12:45
885
xxreal_2__720_21.min1.thm1
2017-02-06 12:45
1.4K
xxreal_2__722_24.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__723_35.min1.thm1
2017-02-06 12:45
1.2K
xxreal_2__731_36.min1.thm1
2017-02-06 12:45
539
xxreal_2__732_15.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__733_19.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__734_21.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__736_22.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__747_71.min1.thm1
2017-02-06 12:45
414
xxreal_2__747_71.min1.thm1.tptp
2017-02-06 16:46
324
xxreal_2__749_19.min1.thm1
2017-02-06 12:45
885
xxreal_2__754_21.min1.thm1
2017-02-06 12:45
1.4K
xxreal_2__756_24.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__757_35.min1.thm1
2017-02-06 12:45
1.2K
xxreal_2__765_36.min1.thm1
2017-02-06 12:45
539
xxreal_2__766_15.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__767_19.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__768_21.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__770_22.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__783_16.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__792_17.min1.thm1
2017-02-06 12:45
639
xxreal_2__793_16.min1.thm1
2017-02-06 12:45
534
xxreal_2__802_17.min1.thm1
2017-02-06 12:45
710
xxreal_2__803_16.min1.thm1
2017-02-06 12:45
530
xxreal_2__812_17.min1.thm1
2017-02-06 12:45
781
xxreal_2__813_16.min1.thm1
2017-02-06 12:45
530
xxreal_2__822_17.min1.thm1
2017-02-06 12:45
852
xxreal_2__823_16.min1.thm1
2017-02-06 12:45
536
xxreal_2__832_17.min1.thm1
2017-02-06 12:45
639
xxreal_2__833_16.min1.thm1
2017-02-06 12:45
534
xxreal_2__842_17.min1.thm1
2017-02-06 12:45
710
xxreal_2__843_16.min1.thm1
2017-02-06 12:45
530
xxreal_2__852_17.min1.thm1
2017-02-06 12:45
781
xxreal_2__853_16.min1.thm1
2017-02-06 12:45
530
xxreal_2__862_17.min1.thm1
2017-02-06 12:45
852
xxreal_2__863_16.min1.thm1
2017-02-06 12:45
536
xxreal_2__873_44.min1.thm1
2017-02-06 12:45
523
xxreal_2__876_18.min1.thm1
2017-02-06 12:45
675
xxreal_2__883_44.min1.thm1
2017-02-06 12:45
523
xxreal_2__886_18.min1.thm1
2017-02-06 12:45
675
xxreal_2__895_17.min1.thm1
2017-02-06 12:45
649
xxreal_2__903_17.min1.thm1
2017-02-06 12:45
784
xxreal_2__911_17.min1.thm1
2017-02-06 12:45
652
xxreal_2__919_17.min1.thm1
2017-02-06 12:45
787
xxreal_2__927_17.min1.thm1
2017-02-06 12:45
649
xxreal_2__935_17.min1.thm1
2017-02-06 12:45
652
xxreal_2__943_17.min1.thm1
2017-02-06 12:45
784
xxreal_2__951_17.min1.thm1
2017-02-06 12:45
787
xxreal_2__962_19.min1.thm1
2017-02-06 12:45
695
xxreal_2__963_19.min1.thm1
2017-02-06 12:45
901
xxreal_2__965_31.min1.thm1
2017-02-06 12:45
442
xxreal_2__966_17.min1.thm1
2017-02-06 12:45
951
xxreal_2__977_19.min1.thm1
2017-02-06 12:45
701
xxreal_2__978_19.min1.thm1
2017-02-06 12:45
901
xxreal_2__980_31.min1.thm1
2017-02-06 12:45
442
xxreal_2__981_17.min1.thm1
2017-02-06 12:45
951
xxreal_2__998_21.min1.thm1
2017-02-06 12:45
900
xxreal_2__999_21.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__1003_31.min1.thm1
2017-02-06 12:45
442
xxreal_2__1004_17.min1.thm1
2017-02-06 12:45
951
xxreal_2__1021_21.min1.thm1
2017-02-06 12:45
771
xxreal_2__1022_21.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__1026_31.min1.thm1
2017-02-06 12:45
442
xxreal_2__1027_17.min1.thm1
2017-02-06 12:45
951
xxreal_2__1038_19.min1.thm1
2017-02-06 12:45
695
xxreal_2__1039_19.min1.thm1
2017-02-06 12:45
901
xxreal_2__1041_31.min1.thm1
2017-02-06 12:45
442
xxreal_2__1042_17.min1.thm1
2017-02-06 12:45
951
xxreal_2__1053_19.min1.thm1
2017-02-06 12:45
701
xxreal_2__1054_19.min1.thm1
2017-02-06 12:45
901
xxreal_2__1056_31.min1.thm1
2017-02-06 12:45
442
xxreal_2__1057_17.min1.thm1
2017-02-06 12:45
951
xxreal_2__1074_21.min1.thm1
2017-02-06 12:45
900
xxreal_2__1075_21.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__1079_31.min1.thm1
2017-02-06 12:45
442
xxreal_2__1080_17.min1.thm1
2017-02-06 12:45
951
xxreal_2__1097_21.min1.thm1
2017-02-06 12:45
771
xxreal_2__1098_21.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__1102_31.min1.thm1
2017-02-06 12:45
442
xxreal_2__1103_17.min1.thm1
2017-02-06 12:45
951
xxreal_2__1111_22.min1.thm1
2017-02-06 12:45
693
xxreal_2__1112_32.min1.thm1
2017-02-06 12:45
687
xxreal_2__1113_30.min1.thm1
2017-02-06 12:45
673
xxreal_2__1114_17.min1.thm1
2017-02-06 12:45
693
xxreal_2__1115_33.min1.thm1
2017-02-06 12:45
687
xxreal_2__1123_22.min1.thm1
2017-02-06 12:45
699
xxreal_2__1124_33.min1.thm1
2017-02-06 12:45
693
xxreal_2__1132_22.min1.thm1
2017-02-06 12:45
699
xxreal_2__1133_33.min1.thm1
2017-02-06 12:45
693
xxreal_2__1140_13.min1.thm1
2017-02-06 12:45
341
xxreal_2__1140_13.min1.thm1.tptp
2017-02-06 16:46
262
xxreal_2__1147_13.min1.thm1
2017-02-06 12:45
341
xxreal_2__1147_13.min1.thm1.tptp
2017-02-06 16:46
262
xxreal_2__1153_53.min1.thm1
2017-02-06 12:45
782
xxreal_2__1154_31.min1.thm1
2017-02-06 12:45
298
xxreal_2__1154_31.min1.thm1.tptp
2017-02-06 16:46
217
xxreal_2__1155_17.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__1161_53.min1.thm1
2017-02-06 12:45
782
xxreal_2__1162_31.min1.thm1
2017-02-06 12:45
298
xxreal_2__1162_31.min1.thm1.tptp
2017-02-06 16:46
217
xxreal_2__1163_17.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__1174_13.min1.thm1
2017-02-06 12:45
427
xxreal_2__1175_17.min1.thm1
2017-02-06 12:45
530
xxreal_2__1176_17.min1.thm1
2017-02-06 12:45
530
xxreal_2__1177_19.min1.thm1
2017-02-06 12:45
858
xxreal_2__1188_13.min1.thm1
2017-02-06 12:45
203
xxreal_2__1191_18.min1.thm1
2017-02-06 12:45
345
xxreal_2__1191_18.min1.thm1.tptp
2017-02-06 16:46
264
xxreal_2__1197_29.min1.thm1
2017-02-06 12:45
531
xxreal_2__1205_19.min1.thm1
2017-02-06 12:45
337
xxreal_2__1205_19.min1.thm1.tptp
2017-02-06 16:46
256
xxreal_2__1209_15.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__1210_15.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__1211_23.min1.thm1
2017-02-06 12:45
1.4K
xxreal_2__1214_21.min1.thm1
2017-02-06 12:45
702
xxreal_2__1221_11.min1.thm1
2017-02-06 12:45
790
xxreal_2__1230_16.min1.thm1
2017-02-06 12:45
311
xxreal_2__1230_16.min1.thm1.tptp
2017-02-06 16:46
230
xxreal_2__1239_16.min1.thm1
2017-02-06 12:45
311
xxreal_2__1239_16.min1.thm1.tptp
2017-02-06 16:46
230
xxreal_2__1252_16.min1.thm1
2017-02-06 12:45
598
xxreal_2__1265_16.min1.thm1
2017-02-06 12:45
598
xxreal_2__1276_43.min1.thm1
2017-02-06 12:45
750
xxreal_2__1287_12.min1.thm1
2017-02-06 12:45
352
xxreal_2__1287_12.min1.thm1.tptp
2017-02-06 16:46
283
xxreal_2__1288_16.min1.thm1
2017-02-06 12:45
311
xxreal_2__1288_16.min1.thm1.tptp
2017-02-06 16:46
230
xxreal_2__1294_12.min1.thm1
2017-02-06 12:45
344
xxreal_2__1294_12.min1.thm1.tptp
2017-02-06 16:46
275
xxreal_2__1295_14.min1.thm1
2017-02-06 12:45
303
xxreal_2__1295_14.min1.thm1.tptp
2017-02-06 16:46
222
xxreal_2__1301_14.min1.thm1
2017-02-06 12:45
267
xxreal_2__1330_18.min1.thm1
2017-02-06 12:45
1.4K
xxreal_2__1331_36.min1.thm1
2017-02-06 12:45
536
xxreal_2__1333_27.min1.thm1
2017-02-06 12:45
425
xxreal_2__1333_27.min1.thm1.tptp
2017-02-06 16:46
361
xxreal_2__1334_16.min1.thm1
2017-02-06 12:45
303
xxreal_2__1334_16.min1.thm1.tptp
2017-02-06 16:46
222
xxreal_2__1335_11.min1.thm1
2017-02-06 12:45
852
xxreal_2__1336_19.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__1337_17.min1.thm1
2017-02-06 12:45
483
xxreal_2__1348_18.min1.thm1
2017-02-06 12:45
678
xxreal_2__1349_36.min1.thm1
2017-02-06 12:45
536
xxreal_2__1351_27.min1.thm1
2017-02-06 12:45
424
xxreal_2__1351_27.min1.thm1.tptp
2017-02-06 16:46
360
xxreal_2__1352_16.min1.thm1
2017-02-06 12:45
303
xxreal_2__1352_16.min1.thm1.tptp
2017-02-06 16:46
222
xxreal_2__1353_11.min1.thm1
2017-02-06 12:45
852
xxreal_2__1354_19.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__1355_17.min1.thm1
2017-02-06 12:45
483
xxreal_2__1366_20.min1.thm1
2017-02-06 12:45
798
xxreal_2__1367_17.min1.thm1
2017-02-06 12:45
327
xxreal_2__1367_17.min1.thm1.tptp
2017-02-06 16:46
262
xxreal_2__1378_20.min1.thm1
2017-02-06 12:45
798
xxreal_2__1379_17.min1.thm1
2017-02-06 12:45
327
xxreal_2__1379_17.min1.thm1.tptp
2017-02-06 16:46
262
xxreal_2__1389_11.min1.thm1
2017-02-06 12:45
189
xxreal_2__1396_20.min1.thm1
2017-02-06 12:45
545
xxreal_2__1401_21.min1.thm1
2017-02-06 12:45
756
xxreal_2__1402_36.min1.thm1
2017-02-06 12:45
388
xxreal_2__1404_15.min1.thm1
2017-02-06 12:45
333
xxreal_2__1404_15.min1.thm1.tptp
2017-02-06 16:46
247
xxreal_2__1415_11.min1.thm1
2017-02-06 12:45
189
xxreal_2__1422_20.min1.thm1
2017-02-06 12:45
545
xxreal_2__1427_21.min1.thm1
2017-02-06 12:45
756
xxreal_2__1428_36.min1.thm1
2017-02-06 12:45
388
xxreal_2__1430_15.min1.thm1
2017-02-06 12:45
333
xxreal_2__1430_15.min1.thm1.tptp
2017-02-06 16:46
247
xxreal_2__1440_50.min1.thm1
2017-02-06 12:45
719
xxreal_2__1441_17.min1.thm1
2017-02-06 12:45
725
xxreal_2__1450_50.min1.thm1
2017-02-06 12:45
719
xxreal_2__1451_17.min1.thm1
2017-02-06 12:45
725
xxreal_2__1462_27.min1.thm1
2017-02-06 12:45
456
xxreal_2__1465_43.min1.thm1
2017-02-06 12:45
608
xxreal_2__1466_29.min1.thm1
2017-02-06 12:45
536
xxreal_2__1468_25.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__1469_16.min1.thm1
2017-02-06 12:45
303
xxreal_2__1469_16.min1.thm1.tptp
2017-02-06 16:46
222
xxreal_2__1470_15.min1.thm1
2017-02-06 12:45
614
xxreal_2__1471_17.min1.thm1
2017-02-06 12:45
911
xxreal_2__1482_27.min1.thm1
2017-02-06 12:45
455
xxreal_2__1485_43.min1.thm1
2017-02-06 12:45
660
xxreal_2__1486_29.min1.thm1
2017-02-06 12:45
536
xxreal_2__1488_22.min1.thm1
2017-02-06 12:45
1.2K
xxreal_2__1489_16.min1.thm1
2017-02-06 12:45
303
xxreal_2__1489_16.min1.thm1.tptp
2017-02-06 16:46
222
xxreal_2__1490_15.min1.thm1
2017-02-06 12:45
614
xxreal_2__1491_17.min1.thm1
2017-02-06 12:45
963
xxreal_2__1500_29.min1.thm1
2017-02-06 12:45
502
xxreal_2__1501_34.min1.thm1
2017-02-06 12:45
624
xxreal_2__1502_17.min1.thm1
2017-02-06 12:45
606
xxreal_2__1511_29.min1.thm1
2017-02-06 12:45
502
xxreal_2__1512_34.min1.thm1
2017-02-06 12:45
624
xxreal_2__1513_17.min1.thm1
2017-02-06 12:45
606
xxreal_2__1525_15.min1.thm1
2017-02-06 12:45
528
xxreal_2__1526_17.min1.thm1
2017-02-06 12:45
812
xxreal_2__1538_15.min1.thm1
2017-02-06 12:45
528
xxreal_2__1539_17.min1.thm1
2017-02-06 12:45
812
xxreal_2__1556_13.min1.thm1
2017-02-06 12:45
547
xxreal_2__1557_17.min1.thm1
2017-02-06 12:45
540
xxreal_2__1558_19.min1.thm1
2017-02-06 12:45
834
xxreal_2__1560_17.min1.thm1
2017-02-06 12:45
614
xxreal_2__1577_13.min1.thm1
2017-02-06 12:45
547
xxreal_2__1578_17.min1.thm1
2017-02-06 12:45
540
xxreal_2__1579_19.min1.thm1
2017-02-06 12:45
834
xxreal_2__1581_17.min1.thm1
2017-02-06 12:45
614
xxreal_2__1592_16.min1.thm1
2017-02-06 12:45
507
xxreal_2__1594_13.min1.thm1
2017-02-06 12:45
735
xxreal_2__1595_11.min1.thm1
2017-02-06 12:45
414
xxreal_2__1595_11.min1.thm1.tptp
2017-02-06 16:46
352
xxreal_2__1596_16.min1.thm1
2017-02-06 12:45
735
xxreal_2__1597_17.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__1608_16.min1.thm1
2017-02-06 12:45
507
xxreal_2__1610_13.min1.thm1
2017-02-06 12:45
735
xxreal_2__1611_11.min1.thm1
2017-02-06 12:45
414
xxreal_2__1611_11.min1.thm1.tptp
2017-02-06 16:46
352
xxreal_2__1612_16.min1.thm1
2017-02-06 12:45
735
xxreal_2__1613_17.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__1620_31.min1.thm1
2017-02-06 12:45
507
xxreal_2__1621_29.min1.thm1
2017-02-06 12:45
507
xxreal_2__1622_50.min1.thm1
2017-02-06 12:45
766
xxreal_2__1623_17.min1.thm1
2017-02-06 12:45
854
xxreal_2__1630_31.min1.thm1
2017-02-06 12:45
507
xxreal_2__1631_29.min1.thm1
2017-02-06 12:45
507
xxreal_2__1632_50.min1.thm1
2017-02-06 12:45
766
xxreal_2__1633_17.min1.thm1
2017-02-06 12:45
854
xxreal_2__1645_56.min1.thm1
2017-02-06 12:45
443
xxreal_2__1647_27.min1.thm1
2017-02-06 12:45
699
xxreal_2__1648_38.min1.thm1
2017-02-06 12:45
506
xxreal_2__1649_16.min1.thm1
2017-02-06 12:45
323
xxreal_2__1649_16.min1.thm1.tptp
2017-02-06 16:46
242
xxreal_2__1650_13.min1.thm1
2017-02-06 12:45
950
xxreal_2__1652_27.min1.thm1
2017-02-06 12:45
698
xxreal_2__1653_16.min1.thm1
2017-02-06 12:45
324
xxreal_2__1653_16.min1.thm1.tptp
2017-02-06 16:46
243
xxreal_2__1654_13.min1.thm1
2017-02-06 12:45
952
xxreal_2__1655_21.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__1656_16.min1.thm1
2017-02-06 12:45
485
xxreal_2__1667_17.min1.thm1
2017-02-06 12:45
528
xxreal_2__1668_15.min1.thm1
2017-02-06 12:45
528
xxreal_2__1669_17.min1.thm1
2017-02-06 12:45
900
xxreal_2__1677_30.min1.thm1
2017-02-06 12:45
500
xxreal_2__1679_19.min1.thm1
2017-02-06 12:45
569
xxreal_2__1680_12.min1.thm1
2017-02-06 12:45
680
xxreal_2__1681_17.min1.thm1
2017-02-06 12:45
459
xxreal_2__1692_16.min1.thm1
2017-02-06 12:45
732
xxreal_2__1693_17.min1.thm1
2017-02-06 12:45
700
xxreal_2__1704_16.min1.thm1
2017-02-06 12:45
732
xxreal_2__1705_17.min1.thm1
2017-02-06 12:45
700
xxreal_2__1714_16.min1.thm1
2017-02-06 12:45
625
xxreal_2__1717_30.min1.thm1
2017-02-06 12:45
607
xxreal_2__1721_30.min1.thm1
2017-02-06 12:45
635
xxreal_2__1725_27.min1.thm1
2017-02-06 12:45
411
xxreal_2__1730_14.min1.thm1
2017-02-06 12:45
632
xxreal_2__1734_32.min1.thm1
2017-02-06 12:45
573
xxreal_2__1739_44.min1.thm1
2017-02-06 12:45
418
xxreal_2__1741_18.min1.thm1
2017-02-06 12:45
594
xxreal_2__1751_16.min1.thm1
2017-02-06 12:45
677
xxreal_2__1754_30.min1.thm1
2017-02-06 12:45
607
xxreal_2__1758_30.min1.thm1
2017-02-06 12:45
636
xxreal_2__1762_27.min1.thm1
2017-02-06 12:45
481
xxreal_2__1767_14.min1.thm1
2017-02-06 12:45
632
xxreal_2__1771_32.min1.thm1
2017-02-06 12:45
573
xxreal_2__1776_44.min1.thm1
2017-02-06 12:45
418
xxreal_2__1778_18.min1.thm1
2017-02-06 12:45
594
xxreal_2__1796_18.min1.thm1
2017-02-06 12:45
636
xxreal_2__1805_18.min1.thm1
2017-02-06 12:45
474
xxreal_2__1805_18.min1.thm1.tptp
2017-02-06 16:46
399
xxreal_2__1814_13.min1.thm1
2017-02-06 12:45
686
xxreal_2__1817_13.min1.thm1
2017-02-06 12:45
686
xxreal_2__1821_18.min1.thm1
2017-02-06 12:45
714
xxreal_2__1823_13.min1.thm1
2017-02-06 12:45
744
xxreal_2__1824_13.min1.thm1
2017-02-06 12:45
714
xxreal_2__1825_18.min1.thm1
2017-02-06 12:45
744
xxreal_2__1826_19.min1.thm1
2017-02-06 12:45
776
xxreal_2__1834_12.min1.thm1
2017-02-06 12:45
692
xxreal_2__1837_13.min1.thm1
2017-02-06 12:45
689
xxreal_2__1841_18.min1.thm1
2017-02-06 12:45
714
xxreal_2__1843_12.min1.thm1
2017-02-06 12:45
750
xxreal_2__1844_13.min1.thm1
2017-02-06 12:45
714
xxreal_2__1845_18.min1.thm1
2017-02-06 12:45
744
xxreal_2__1846_19.min1.thm1
2017-02-06 12:45
782
xxreal_2__1854_14.min1.thm1
2017-02-06 12:45
689
xxreal_2__1857_13.min1.thm1
2017-02-06 12:45
692
xxreal_2__1861_18.min1.thm1
2017-02-06 12:45
714
xxreal_2__1863_14.min1.thm1
2017-02-06 12:45
744
xxreal_2__1864_13.min1.thm1
2017-02-06 12:45
714
xxreal_2__1865_17.min1.thm1
2017-02-06 12:45
750
xxreal_2__1866_19.min1.thm1
2017-02-06 12:45
782
xxreal_2__1874_13.min1.thm1
2017-02-06 12:45
695
xxreal_2__1877_13.min1.thm1
2017-02-06 12:45
695
xxreal_2__1881_18.min1.thm1
2017-02-06 12:45
714
xxreal_2__1883_13.min1.thm1
2017-02-06 12:45
750
xxreal_2__1884_13.min1.thm1
2017-02-06 12:45
714
xxreal_2__1885_17.min1.thm1
2017-02-06 12:45
750
xxreal_2__1886_19.min1.thm1
2017-02-06 12:45
788
xxreal_2__1892_14.min1.thm1
2017-02-06 12:45
503
xxreal_2__1900_15.min1.thm1
2017-02-06 12:45
207
xxreal_2__1913_13.min1.thm1
2017-02-06 12:45
523
xxreal_2__1914_13.min1.thm1
2017-02-06 12:45
523
xxreal_2__1916_19.min1.thm1
2017-02-06 12:45
831
xxreal_2__1917_13.min1.thm1
2017-02-06 12:45
430
xxreal_2__1917_13.min1.thm1.tptp
2017-02-06 16:46
368
xxreal_2__1918_13.min1.thm1
2017-02-06 12:45
430
xxreal_2__1918_13.min1.thm1.tptp
2017-02-06 16:46
368
xxreal_2__1919_24.min1.thm1
2017-02-06 12:45
831
xxreal_2__1920_19.min1.thm1
2017-02-06 12:45
603
xxreal_2__1933_29.min1.thm1
2017-02-06 12:45
693
xxreal_2__1935_23.min1.thm1
2017-02-06 12:45
889
xxreal_2__1936_22.min1.thm1
2017-02-06 12:45
892
xxreal_2__1937_17.min1.thm1
2017-02-06 12:45
934
xxreal_2__1938_27.min1.thm1
2017-02-06 12:45
567
xxreal_2__1946_29.min1.thm1
2017-02-06 12:45
693
xxreal_2__1948_22.min1.thm1
2017-02-06 12:45
892
xxreal_2__1949_23.min1.thm1
2017-02-06 12:45
889
xxreal_2__1950_17.min1.thm1
2017-02-06 12:45
934
xxreal_2__1951_27.min1.thm1
2017-02-06 12:45
567
xxreal_2__1961_31.min1.thm1
2017-02-06 12:45
697
xxreal_2__1963_24.min1.thm1
2017-02-06 12:45
899
xxreal_2__1964_24.min1.thm1
2017-02-06 12:45
899
xxreal_2__1965_19.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__1966_29.min1.thm1
2017-02-06 12:45
571
xxreal_2__1971_29.min1.thm1
2017-02-06 12:45
693
xxreal_2__1973_22.min1.thm1
2017-02-06 12:45
895
xxreal_2__1974_22.min1.thm1
2017-02-06 12:45
895
xxreal_2__1975_17.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__1976_27.min1.thm1
2017-02-06 12:45
567
xxreal_2__1986_18.min1.thm1
2017-02-06 12:45
1.2K
xxreal_2__1992_18.min1.thm1
2017-02-06 12:45
1.3K
xxreal_2__1998_18.min1.thm1
2017-02-06 12:45
1.3K
xxreal_2__2005_19.min1.thm1
2017-02-06 12:45
1.2K
xxreal_2__2006_16.min1.thm1
2017-02-06 12:45
1.3K
xxreal_2__2016_17.min1.thm1
2017-02-06 12:45
449
xxreal_2__2016_17.min1.thm1.tptp
2017-02-06 16:46
372
xxreal_2__2022_17.min1.thm1
2017-02-06 12:45
628
xxreal_2__2023_17.min1.thm1
2017-02-06 12:45
628
xxreal_2__2024_19.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__2026_15.min1.thm1
2017-02-06 12:45
449
xxreal_2__2026_15.min1.thm1.tptp
2017-02-06 16:46
372
xxreal_2__2027_31.min1.thm1
2017-02-06 12:45
947
xxreal_2__2028_14.min1.thm1
2017-02-06 12:45
836
xxreal_2__2040_21.min1.thm1
2017-02-06 12:45
457
xxreal_2__2040_21.min1.thm1.tptp
2017-02-06 16:46
378
xxreal_2__2044_17.min1.thm1
2017-02-06 12:45
631
xxreal_2__2045_17.min1.thm1
2017-02-06 12:45
631
xxreal_2__2046_21.min1.thm1
2017-02-06 12:45
910
xxreal_2__2047_19.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__2051_11.min1.thm1
2017-02-06 12:45
321
xxreal_2__2054_32.min1.thm1
2017-02-06 12:45
709
xxreal_2__2055_22.min1.thm1
2017-02-06 12:45
695
xxreal_2__2062_9.min1.thm1
2017-02-06 12:45
352
xxreal_2__2063_17.min1.thm1
2017-02-06 12:45
912
xxreal_2__2065_23.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__2066_17.min1.thm1
2017-02-06 12:45
456
xxreal_2__2066_17.min1.thm1.tptp
2017-02-06 16:46
378
xxreal_2__2067_28.min1.thm1
2017-02-06 12:45
944
xxreal_2__2068_19.min1.thm1
2017-02-06 12:45
856
xxreal_2__2081_21.min1.thm1
2017-02-06 12:45
457
xxreal_2__2081_21.min1.thm1.tptp
2017-02-06 16:46
378
xxreal_2__2085_17.min1.thm1
2017-02-06 12:45
631
xxreal_2__2086_17.min1.thm1
2017-02-06 12:45
631
xxreal_2__2087_21.min1.thm1
2017-02-06 12:45
910
xxreal_2__2088_19.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__2092_11.min1.thm1
2017-02-06 12:45
321
xxreal_2__2095_32.min1.thm1
2017-02-06 12:45
709
xxreal_2__2096_22.min1.thm1
2017-02-06 12:45
695
xxreal_2__2103_9.min1.thm1
2017-02-06 12:45
352
xxreal_2__2104_17.min1.thm1
2017-02-06 12:45
912
xxreal_2__2106_23.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__2107_17.min1.thm1
2017-02-06 12:45
456
xxreal_2__2107_17.min1.thm1.tptp
2017-02-06 16:46
378
xxreal_2__2108_28.min1.thm1
2017-02-06 12:45
944
xxreal_2__2109_19.min1.thm1
2017-02-06 12:45
856
xxreal_2__2127_17.min1.thm1
2017-02-06 12:45
565
xxreal_2__2128_17.min1.thm1
2017-02-06 12:45
669
xxreal_2__2130_16.min1.thm1
2017-02-06 12:45
856
xxreal_2__2131_17.min1.thm1
2017-02-06 12:45
565
xxreal_2__2132_17.min1.thm1
2017-02-06 12:45
669
xxreal_2__2133_21.min1.thm1
2017-02-06 12:45
856
xxreal_2__2134_19.min1.thm1
2017-02-06 12:45
1.0K
xxreal_2__2138_11.min1.thm1
2017-02-06 12:45
510
xxreal_2__2141_32.min1.thm1
2017-02-06 12:45
747
xxreal_2__2142_22.min1.thm1
2017-02-06 12:45
733
xxreal_2__2147_32.min1.thm1
2017-02-06 12:45
747
xxreal_2__2148_22.min1.thm1
2017-02-06 12:45
733
xxreal_2__2156_12.min1.thm1
2017-02-06 12:45
352
xxreal_2__2159_13.min1.thm1
2017-02-06 12:45
352
xxreal_2__2160_20.min1.thm1
2017-02-06 12:45
925
xxreal_2__2161_19.min1.thm1
2017-02-06 12:45
937
xxreal_2__2162_19.min1.thm1
2017-02-06 12:45
927
xxreal_2__2171_11.min1.thm1
2017-02-06 12:45
194
xxreal_2__2175_18.min1.thm1
2017-02-06 12:45
676
xxreal_2__2180_26.min1.thm1
2017-02-06 12:45
564
xxreal_2__2181_18.min1.thm1
2017-02-06 12:45
642
xxreal_2__2196_19.min1.thm1
2017-02-06 12:45
743
xxreal_2__2197_17.min1.thm1
2017-02-06 12:45
819
xxreal_2__2198_17.min1.thm1
2017-02-06 12:45
810
xxreal_2__2210_11.min1.thm1
2017-02-06 12:45
321
xxreal_2__2213_19.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__2217_32.min1.thm1
2017-02-06 12:45
610
xxreal_2__2231_11.min1.thm1
2017-02-06 12:45
321
xxreal_2__2234_19.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__2238_32.min1.thm1
2017-02-06 12:45
610
xxreal_2__2251_11.min1.thm1
2017-02-06 12:45
321
xxreal_2__2254_19.min1.thm1
2017-02-06 12:45
947
xxreal_2__2258_32.min1.thm1
2017-02-06 12:45
610
xxreal_2__2274_31.min1.thm1
2017-02-06 12:45
938
xxreal_2__2276_33.min1.thm1
2017-02-06 12:45
577
xxreal_2__2276_33.min1.thm1.tptp
2017-02-06 16:46
515
xxreal_2__2277_14.min1.thm1
2017-02-06 12:45
579
xxreal_2__2277_14.min1.thm1.tptp
2017-02-06 16:46
523
xxreal_2__2280_19.min1.thm1
2017-02-06 12:45
324
xxreal_2__2280_19.min1.thm1.tptp
2017-02-06 16:46
238
xxreal_2__2284_19.min1.thm1
2017-02-06 12:45
324
xxreal_2__2284_19.min1.thm1.tptp
2017-02-06 16:46
238
xxreal_2__2289_12.min1.thm1
2017-02-06 12:45
679
xxreal_2__2290_12.min1.thm1
2017-02-06 12:45
679
xxreal_2__2291_19.min1.thm1
2017-02-06 12:45
957
xxreal_2__2305_31.min1.thm1
2017-02-06 12:45
938
xxreal_2__2307_33.min1.thm1
2017-02-06 12:45
577
xxreal_2__2307_33.min1.thm1.tptp
2017-02-06 16:46
515
xxreal_2__2308_14.min1.thm1
2017-02-06 12:45
579
xxreal_2__2308_14.min1.thm1.tptp
2017-02-06 16:46
523
xxreal_2__2311_19.min1.thm1
2017-02-06 12:45
324
xxreal_2__2311_19.min1.thm1.tptp
2017-02-06 16:46
238
xxreal_2__2315_19.min1.thm1
2017-02-06 12:45
324
xxreal_2__2315_19.min1.thm1.tptp
2017-02-06 16:46
238
xxreal_2__2320_12.min1.thm1
2017-02-06 12:45
679
xxreal_2__2321_17.min1.thm1
2017-02-06 12:45
532
xxreal_2__2323_16.min1.thm1
2017-02-06 12:45
830
xxreal_2__2324_12.min1.thm1
2017-02-06 12:45
679
xxreal_2__2325_19.min1.thm1
2017-02-06 12:45
793
xxreal_2__2339_31.min1.thm1
2017-02-06 12:45
938
xxreal_2__2341_33.min1.thm1
2017-02-06 12:45
577
xxreal_2__2341_33.min1.thm1.tptp
2017-02-06 16:46
515
xxreal_2__2342_14.min1.thm1
2017-02-06 12:45
579
xxreal_2__2342_14.min1.thm1.tptp
2017-02-06 16:46
523
xxreal_2__2345_19.min1.thm1
2017-02-06 12:45
324
xxreal_2__2345_19.min1.thm1.tptp
2017-02-06 16:46
238
xxreal_2__2349_19.min1.thm1
2017-02-06 12:45
324
xxreal_2__2349_19.min1.thm1.tptp
2017-02-06 16:46
238
xxreal_2__2354_12.min1.thm1
2017-02-06 12:45
679
xxreal_2__2355_17.min1.thm1
2017-02-06 12:45
532
xxreal_2__2357_16.min1.thm1
2017-02-06 12:45
830
xxreal_2__2358_12.min1.thm1
2017-02-06 12:45
679
xxreal_2__2359_19.min1.thm1
2017-02-06 12:45
793
xxreal_2__2373_31.min1.thm1
2017-02-06 12:45
938
xxreal_2__2375_33.min1.thm1
2017-02-06 12:45
577
xxreal_2__2375_33.min1.thm1.tptp
2017-02-06 16:46
515
xxreal_2__2376_14.min1.thm1
2017-02-06 12:45
579
xxreal_2__2376_14.min1.thm1.tptp
2017-02-06 16:46
523
xxreal_2__2379_19.min1.thm1
2017-02-06 12:45
324
xxreal_2__2379_19.min1.thm1.tptp
2017-02-06 16:46
238
xxreal_2__2383_19.min1.thm1
2017-02-06 12:45
324
xxreal_2__2383_19.min1.thm1.tptp
2017-02-06 16:46
238
xxreal_2__2388_12.min1.thm1
2017-02-06 12:45
679
xxreal_2__2389_17.min1.thm1
2017-02-06 12:45
532
xxreal_2__2391_16.min1.thm1
2017-02-06 12:45
830
xxreal_2__2392_12.min1.thm1
2017-02-06 12:45
679
xxreal_2__2393_17.min1.thm1
2017-02-06 12:45
532
xxreal_2__2394_21.min1.thm1
2017-02-06 12:45
830
xxreal_2__2395_19.min1.thm1
2017-02-06 12:45
640
xxreal_2__2404_64.min1.thm1
2017-02-06 12:45
720
xxreal_2__2404_64.min1.thm1.tptp
2017-02-06 16:46
712
xxreal_2__2424_16.min1.thm1
2017-02-06 12:45
895
xxreal_2__2427_20.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__2428_21.min1.thm1
2017-02-06 12:45
430
xxreal_2__2428_21.min1.thm1.tptp
2017-02-06 16:46
368
xxreal_2__2433_15.min1.thm1
2017-02-06 12:45
502
xxreal_2__2436_22.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__2437_23.min1.thm1
2017-02-06 12:45
438
xxreal_2__2437_23.min1.thm1.tptp
2017-02-06 16:46
376
xxreal_2__2441_22.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__2442_23.min1.thm1
2017-02-06 12:45
531
xxreal_2__2448_15.min1.thm1
2017-02-06 12:45
502
xxreal_2__2451_22.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__2452_23.min1.thm1
2017-02-06 12:45
438
xxreal_2__2452_23.min1.thm1.tptp
2017-02-06 16:46
376
xxreal_2__2456_22.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__2457_23.min1.thm1
2017-02-06 12:45
531
xxreal_2__2462_20.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__2463_21.min1.thm1
2017-02-06 12:45
523
xxreal_2__2478_13.min1.thm1
2017-02-06 12:45
449
xxreal_2__2486_16.min1.thm1
2017-02-06 12:45
895
xxreal_2__2489_20.min1.thm1
2017-02-06 12:45
1.2K
xxreal_2__2490_21.min1.thm1
2017-02-06 12:45
430
xxreal_2__2490_21.min1.thm1.tptp
2017-02-06 16:46
368
xxreal_2__2495_15.min1.thm1
2017-02-06 12:45
264
xxreal_2__2498_22.min1.thm1
2017-02-06 12:45
1.2K
xxreal_2__2499_23.min1.thm1
2017-02-06 12:45
438
xxreal_2__2499_23.min1.thm1.tptp
2017-02-06 16:46
376
xxreal_2__2503_22.min1.thm1
2017-02-06 12:45
1.4K
xxreal_2__2504_23.min1.thm1
2017-02-06 12:45
531
xxreal_2__2510_15.min1.thm1
2017-02-06 12:45
264
xxreal_2__2513_17.min1.thm1
2017-02-06 12:45
646
xxreal_2__2518_22.min1.thm1
2017-02-06 12:45
1.4K
xxreal_2__2519_23.min1.thm1
2017-02-06 12:45
531
xxreal_2__2524_20.min1.thm1
2017-02-06 12:45
1.2K
xxreal_2__2525_21.min1.thm1
2017-02-06 12:45
523
xxreal_2__2540_13.min1.thm1
2017-02-06 12:45
543
xxreal_2__2548_16.min1.thm1
2017-02-06 12:45
895
xxreal_2__2551_20.min1.thm1
2017-02-06 12:45
1.2K
xxreal_2__2552_21.min1.thm1
2017-02-06 12:45
430
xxreal_2__2552_21.min1.thm1.tptp
2017-02-06 16:46
368
xxreal_2__2557_15.min1.thm1
2017-02-06 12:45
264
xxreal_2__2560_22.min1.thm1
2017-02-06 12:45
1.4K
xxreal_2__2561_23.min1.thm1
2017-02-06 12:45
438
xxreal_2__2561_23.min1.thm1.tptp
2017-02-06 16:46
376
xxreal_2__2565_22.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__2566_23.min1.thm1
2017-02-06 12:45
531
xxreal_2__2572_15.min1.thm1
2017-02-06 12:45
264
xxreal_2__2575_22.min1.thm1
2017-02-06 12:45
1.4K
xxreal_2__2576_23.min1.thm1
2017-02-06 12:45
438
xxreal_2__2576_23.min1.thm1.tptp
2017-02-06 16:46
376
xxreal_2__2580_17.min1.thm1
2017-02-06 12:45
552
xxreal_2__2586_20.min1.thm1
2017-02-06 12:45
1.2K
xxreal_2__2587_21.min1.thm1
2017-02-06 12:45
523
xxreal_2__2598_15.min1.thm1
2017-02-06 12:45
345
xxreal_2__2598_15.min1.thm1.tptp
2017-02-06 16:46
265
xxreal_2__2604_15.min1.thm1
2017-02-06 12:45
345
xxreal_2__2604_15.min1.thm1.tptp
2017-02-06 16:46
265
xxreal_2__2618_48.min1.thm1
2017-02-06 12:45
759
xxreal_2__2630_48.min1.thm1
2017-02-06 12:45
759
xxreal_2__2647_19.min1.thm1
2017-02-06 12:45
639
xxreal_2__2666_19.min1.thm1
2017-02-06 12:45
639
xxreal_2__2681_17.min1.thm1
2017-02-06 12:45
1.1K
xxreal_2__2682_56.min1.thm1
2017-02-06 12:45
785
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80