Index of /~mptp/1147/MPTP2/ilp0/complex1
Name
Last modified
Size
Description
Parent Directory
-
complex1__39_24.min1.thm1
2017-02-06 12:45
670
complex1__40_14.min1.thm1
2017-02-06 12:45
1.8K
complex1__45_20.min1.thm1
2017-02-06 12:45
670
complex1__46_14.min1.thm1
2017-02-06 12:45
2.2K
complex1__60_52.min1.thm1
2017-02-06 12:45
195
complex1__61_19.min1.thm1
2017-02-06 12:45
306
complex1__61_19.min1.thm1.tptp
2017-02-06 16:48
225
complex1__66_51.min1.thm1
2017-02-06 12:45
1.1K
complex1__68_15.min1.thm1
2017-02-06 12:45
319
complex1__70_12.min1.thm1
2017-02-06 12:45
616
complex1__71_13.min1.thm1
2017-02-06 12:45
130
complex1__78_52.min1.thm1
2017-02-06 12:45
191
complex1__79_19.min1.thm1
2017-02-06 12:45
306
complex1__79_19.min1.thm1.tptp
2017-02-06 16:48
225
complex1__84_51.min1.thm1
2017-02-06 12:45
1.1K
complex1__86_15.min1.thm1
2017-02-06 12:45
309
complex1__88_12.min1.thm1
2017-02-06 12:45
598
complex1__89_13.min1.thm1
2017-02-06 12:45
130
complex1__97_13.min1.thm1
2017-02-06 12:45
210
complex1__100_21.min1.thm1
2017-02-06 12:45
869
complex1__106_19.min1.thm1
2017-02-06 12:45
793
complex1__107_15.min1.thm1
2017-02-06 12:45
395
complex1__108_25.min1.thm1
2017-02-06 12:45
1.1K
complex1__109_21.min1.thm1
2017-02-06 12:45
623
complex1__115_13.min1.thm1
2017-02-06 12:45
210
complex1__118_21.min1.thm1
2017-02-06 12:45
875
complex1__124_19.min1.thm1
2017-02-06 12:45
791
complex1__125_15.min1.thm1
2017-02-06 12:45
413
complex1__126_25.min1.thm1
2017-02-06 12:45
907
complex1__127_21.min1.thm1
2017-02-06 12:45
613
complex1__135_14.min1.thm1
2017-02-06 12:45
478
complex1__137_14.min1.thm1
2017-02-06 12:45
478
complex1__145_20.min1.thm1
2017-02-06 12:45
412
complex1__146_56.min1.thm1
2017-02-06 12:45
1.0K
complex1__148_18.min1.thm1
2017-02-06 12:45
1.2K
complex1__156_45.min1.thm1
2017-02-06 12:45
350
complex1__156_45.min1.thm1.tptp
2017-02-06 16:48
262
complex1__159_13.min1.thm1
2017-02-06 12:45
186
complex1__162_25.min1.thm1
2017-02-06 12:45
621
complex1__163_21.min1.thm1
2017-02-06 12:45
1.0K
complex1__168_34.min1.thm1
2017-02-06 12:45
809
complex1__169_59.min1.thm1
2017-02-06 12:45
1.2K
complex1__170_40.min1.thm1
2017-02-06 12:45
1.5K
complex1__171_21.min1.thm1
2017-02-06 12:45
1.5K
complex1__174_11.min1.thm1
2017-02-06 12:45
184
complex1__177_23.min1.thm1
2017-02-06 12:45
617
complex1__178_19.min1.thm1
2017-02-06 12:45
1.1K
complex1__183_32.min1.thm1
2017-02-06 12:45
805
complex1__184_57.min1.thm1
2017-02-06 12:45
1.2K
complex1__185_38.min1.thm1
2017-02-06 12:45
1.3K
complex1__186_19.min1.thm1
2017-02-06 12:45
1.5K
complex1__194_19.min1.thm1
2017-02-06 12:45
302
complex1__194_19.min1.thm1.tptp
2017-02-06 16:48
221
complex1__195_11.min1.thm1
2017-02-06 12:45
206
complex1__198_20.min1.thm1
2017-02-06 12:45
731
complex1__199_34.min1.thm1
2017-02-06 12:45
780
complex1__200_13.min1.thm1
2017-02-06 12:45
734
complex1__205_58.min1.thm1
2017-02-06 12:45
882
complex1__208_51.min1.thm1
2017-02-06 12:45
1.7K
complex1__211_70.min1.thm1
2017-02-06 12:45
520
complex1__213_17.min1.thm1
2017-02-06 12:45
635
complex1__215_13.min1.thm1
2017-02-06 12:45
1.0K
complex1__216_58.min1.thm1
2017-02-06 12:45
885
complex1__218_15.min1.thm1
2017-02-06 12:45
1.2K
complex1__219_15.min1.thm1
2017-02-06 12:45
1.1K
complex1__220_19.min1.thm1
2017-02-06 12:45
964
complex1__228_31.min1.thm1
2017-02-06 12:45
517
complex1__229_12.min1.thm1
2017-02-06 12:45
371
complex1__229_12.min1.thm1.tptp
2017-02-06 16:48
294
complex1__237_18.min1.thm1
2017-02-06 12:45
563
complex1__246_16.min1.thm1
2017-02-06 12:45
489
complex1__253_16.min1.thm1
2017-02-06 12:45
552
complex1__255_14.min1.thm1
2017-02-06 12:45
374
complex1__269_35.min1.thm1
2017-02-06 12:45
1.2K
complex1__272_17.min1.thm1
2017-02-06 12:45
819
complex1__289_16.min1.thm1
2017-02-06 12:45
303
complex1__289_16.min1.thm1.tptp
2017-02-06 16:48
222
complex1__292_33.min1.thm1
2017-02-06 12:45
747
complex1__295_17.min1.thm1
2017-02-06 12:45
684
complex1__305_34.min1.thm1
2017-02-06 12:45
1.0K
complex1__306_20.min1.thm1
2017-02-06 12:45
938
complex1__308_19.min1.thm1
2017-02-06 12:45
482
complex1__309_20.min1.thm1
2017-02-06 12:45
948
complex1__310_17.min1.thm1
2017-02-06 12:45
1.5K
complex1__316_19.min1.thm1
2017-02-06 12:45
523
complex1__317_23.min1.thm1
2017-02-06 12:45
890
complex1__331_11.min1.thm1
2017-02-06 12:45
631
complex1__333_19.min1.thm1
2017-02-06 12:45
686
complex1__334_13.min1.thm1
2017-02-06 12:45
631
complex1__335_22.min1.thm1
2017-02-06 12:45
537
complex1__337_31.min1.thm1
2017-02-06 12:45
846
complex1__338_20.min1.thm1
2017-02-06 12:45
1.0K
complex1__339_46.min1.thm1
2017-02-06 12:45
1.3K
complex1__340_33.min1.thm1
2017-02-06 12:45
662
complex1__341_15.min1.thm1
2017-02-06 12:45
1.9K
complex1__350_36.min1.thm1
2017-02-06 12:45
906
complex1__351_28.min1.thm1
2017-02-06 12:45
845
complex1__352_25.min1.thm1
2017-02-06 12:45
1.1K
complex1__353_21.min1.thm1
2017-02-06 12:45
934
complex1__362_36.min1.thm1
2017-02-06 12:45
906
complex1__363_28.min1.thm1
2017-02-06 12:45
845
complex1__364_25.min1.thm1
2017-02-06 12:45
1.1K
complex1__365_21.min1.thm1
2017-02-06 12:45
934
complex1__377_28.min1.thm1
2017-02-06 12:45
845
complex1__378_28.min1.thm1
2017-02-06 12:45
845
complex1__382_27.min1.thm1
2017-02-06 12:45
735
complex1__384_35.min1.thm1
2017-02-06 12:45
1.2K
complex1__396_28.min1.thm1
2017-02-06 12:45
845
complex1__397_28.min1.thm1
2017-02-06 12:45
845
complex1__400_26.min1.thm1
2017-02-06 12:45
893
complex1__401_35.min1.thm1
2017-02-06 12:45
1.2K
complex1__407_50.min1.thm1
2017-02-06 12:45
591
complex1__409_15.min1.thm1
2017-02-06 12:45
750
complex1__411_15.min1.thm1
2017-02-06 12:45
750
complex1__419_50.min1.thm1
2017-02-06 12:45
591
complex1__420_43.min1.thm1
2017-02-06 12:45
1.6K
complex1__421_15.min1.thm1
2017-02-06 12:45
1.3K
complex1__422_41.min1.thm1
2017-02-06 12:45
1.9K
complex1__423_15.min1.thm1
2017-02-06 12:45
884
complex1__431_7.min1.thm1
2017-02-06 12:45
913
complex1__432_17.min1.thm1
2017-02-06 12:45
2.4K
complex1__437_51.min1.thm1
2017-02-06 12:45
645
complex1__438_17.min1.thm1
2017-02-06 12:45
1.6K
complex1__444_56.min1.thm1
2017-02-06 12:45
939
complex1__445_33.min1.thm1
2017-02-06 12:45
1.2K
complex1__453_11.min1.thm1
2017-02-06 12:45
2.4K
complex1__459_41.min1.thm1
2017-02-06 12:45
1.0K
complex1__460_24.min1.thm1
2017-02-06 12:45
1.0K
complex1__461_11.min1.thm1
2017-02-06 12:45
1.0K
complex1__462_39.min1.thm1
2017-02-06 12:45
1.0K
complex1__463_18.min1.thm1
2017-02-06 12:45
464
complex1__463_18.min1.thm1.tptp
2017-02-06 16:48
387
complex1__464_11.min1.thm1
2017-02-06 12:45
1.5K
complex1__465_17.min1.thm1
2017-02-06 12:45
1.2K
complex1__473_14.min1.thm1
2017-02-06 12:45
697
complex1__476_51.min1.thm1
2017-02-06 12:45
753
complex1__484_51.min1.thm1
2017-02-06 12:45
645
complex1__485_17.min1.thm1
2017-02-06 12:45
1.6K
complex1__493_14.min1.thm1
2017-02-06 12:45
697
complex1__497_12.min1.thm1
2017-02-06 12:45
1.0K
complex1__507_7.min1.thm1
2017-02-06 12:45
913
complex1__508_17.min1.thm1
2017-02-06 12:45
2.4K
complex1__514_16.min1.thm1
2017-02-06 12:45
303
complex1__514_16.min1.thm1.tptp
2017-02-06 16:48
222
complex1__515_56.min1.thm1
2017-02-06 12:45
913
complex1__516_31.min1.thm1
2017-02-06 12:45
1.1K
complex1__523_16.min1.thm1
2017-02-06 12:45
303
complex1__523_16.min1.thm1.tptp
2017-02-06 16:48
222
complex1__525_9.min1.thm1
2017-02-06 12:45
2.3K
complex1__531_27.min1.thm1
2017-02-06 12:45
489
complex1__532_24.min1.thm1
2017-02-06 12:45
553
complex1__533_17.min1.thm1
2017-02-06 12:45
929
complex1__539_23.min1.thm1
2017-02-06 12:45
375
complex1__539_23.min1.thm1.tptp
2017-02-06 16:48
298
complex1__549_51.min1.thm1
2017-02-06 12:45
801
complex1__550_23.min1.thm1
2017-02-06 12:45
2.2K
complex1__551_51.min1.thm1
2017-02-06 12:45
801
complex1__552_11.min1.thm1
2017-02-06 12:45
1.9K
complex1__561_51.min1.thm1
2017-02-06 12:45
801
complex1__563_51.min1.thm1
2017-02-06 12:45
801
complex1__564_11.min1.thm1
2017-02-06 12:45
1.7K
complex1__571_43.min1.thm1
2017-02-06 12:45
736
complex1__571_43.min1.thm1.tptp
2017-02-06 16:48
672
complex1__580_14.min1.thm1
2017-02-06 12:45
580
complex1__584_48.min1.thm1
2017-02-06 12:45
1.6K
complex1__595_17.min1.thm1
2017-02-06 12:45
306
complex1__595_17.min1.thm1.tptp
2017-02-06 16:48
225
complex1__596_32.min1.thm1
2017-02-06 12:45
705
complex1__597_17.min1.thm1
2017-02-06 12:45
1.2K
complex1__601_15.min1.thm1
2017-02-06 12:45
771
complex1__608_14.min1.thm1
2017-02-06 12:45
697
complex1__611_31.min1.thm1
2017-02-06 12:45
525
complex1__612_22.min1.thm1
2017-02-06 12:45
1.0K
complex1__612_55.min1.thm1
2017-02-06 12:45
922
complex1__614_16.min1.thm1
2017-02-06 12:45
652
complex1__621_36.min1.thm1
2017-02-06 12:45
411
complex1__622_66.min1.thm1
2017-02-06 12:45
959
complex1__624_63.min1.thm1
2017-02-06 12:45
959
complex1__634_14.min1.thm1
2017-02-06 12:45
580
complex1__639_13.min1.thm1
2017-02-06 12:45
191
complex1__647_31.min1.thm1
2017-02-06 12:45
621
complex1__670_15.min1.thm1
2017-02-06 12:45
1.6K
complex1__673_15.min1.thm1
2017-02-06 12:45
1.5K
complex1__682_17.min1.thm1
2017-02-06 12:45
306
complex1__682_17.min1.thm1.tptp
2017-02-06 16:48
225
complex1__690_13.min1.thm1
2017-02-06 12:45
861
complex1__698_40.min1.thm1
2017-02-06 12:45
686
complex1__698_40.min1.thm1.tptp
2017-02-06 16:48
615
complex1__699_44.min1.thm1
2017-02-06 12:45
2.7K
complex1__700_16.min1.thm1
2017-02-06 12:45
1.6K
complex1__701_17.min1.thm1
2017-02-06 12:45
1.1K
complex1__702_44.min1.thm1
2017-02-06 12:45
697
complex1__702_44.min1.thm1.tptp
2017-02-06 16:48
626
complex1__712_40.min1.thm1
2017-02-06 12:45
686
complex1__712_40.min1.thm1.tptp
2017-02-06 16:48
615
complex1__714_44.min1.thm1
2017-02-06 12:45
697
complex1__714_44.min1.thm1.tptp
2017-02-06 16:48
626
complex1__716_21.min1.thm1
2017-02-06 12:45
1.7K
complex1__717_19.min1.thm1
2017-02-06 12:45
1.1K
complex1__726_14.min1.thm1
2017-02-06 12:45
593
complex1__729_45.min1.thm1
2017-02-06 12:45
497
complex1__735_25.min1.thm1
2017-02-06 12:45
1.2K
complex1__755_16.min1.thm1
2017-02-06 12:45
1.6K
complex1__778_35.min1.thm1
2017-02-06 12:45
1.0K
complex1__779_38.min1.thm1
2017-02-06 12:45
1.0K
complex1__780_26.min1.thm1
2017-02-06 12:45
682
complex1__781_25.min1.thm1
2017-02-06 12:45
1.7K
complex1__782_16.min1.thm1
2017-02-06 12:45
933
complex1__792_35.min1.thm1
2017-02-06 12:45
1.0K
complex1__793_39.min1.thm1
2017-02-06 12:45
1.0K
complex1__794_28.min1.thm1
2017-02-06 12:45
726
complex1__797_16.min1.thm1
2017-02-06 12:45
944
complex1__804_13.min1.thm1
2017-02-06 12:45
1.0K
complex1__810_42.min1.thm1
2017-02-06 12:45
1.3K
complex1__811_33.min1.thm1
2017-02-06 12:45
872
complex1__819_14.min1.thm1
2017-02-06 12:45
490
complex1__826_17.min1.thm1
2017-02-06 12:45
1.2K
complex1__830_12.min1.thm1
2017-02-06 12:45
956
complex1__837_36.min1.thm1
2017-02-06 12:45
1.9K
complex1__841_14.min1.thm1
2017-02-06 12:45
1.0K
complex1__844_17.min1.thm1
2017-02-06 12:45
1.2K
complex1__849_40.min1.thm1
2017-02-06 12:45
656
complex1__850_23.min1.thm1
2017-02-06 12:45
613
complex1__851_27.min1.thm1
2017-02-06 12:45
502
complex1__851_27.min1.thm1.tptp
2017-02-06 16:48
431
complex1__852_31.min1.thm1
2017-02-06 12:45
530
complex1__852_31.min1.thm1.tptp
2017-02-06 16:48
459
complex1__853_25.min1.thm1
2017-02-06 12:45
1.1K
complex1__854_41.min1.thm1
2017-02-06 12:45
667
complex1__855_28.min1.thm1
2017-02-06 12:45
860
complex1__857_28.min1.thm1
2017-02-06 12:45
535
complex1__857_28.min1.thm1.tptp
2017-02-06 16:48
464
complex1__858_31.min1.thm1
2017-02-06 12:45
541
complex1__858_31.min1.thm1.tptp
2017-02-06 16:48
470
complex1__859_26.min1.thm1
2017-02-06 12:45
1.1K
complex1__865_29.min1.thm1
2017-02-06 12:45
534
complex1__866_16.min1.thm1
2017-02-06 12:45
441
complex1__866_16.min1.thm1.tptp
2017-02-06 16:48
370
complex1__867_20.min1.thm1
2017-02-06 12:45
444
complex1__867_20.min1.thm1.tptp
2017-02-06 16:48
373
complex1__868_19.min1.thm1
2017-02-06 12:45
763
complex1__869_30.min1.thm1
2017-02-06 12:45
545
complex1__870_17.min1.thm1
2017-02-06 12:45
463
complex1__870_17.min1.thm1.tptp
2017-02-06 16:48
392
complex1__871_20.min1.thm1
2017-02-06 12:45
455
complex1__871_20.min1.thm1.tptp
2017-02-06 16:48
384
complex1__872_19.min1.thm1
2017-02-06 12:45
763
complex1__878_33.min1.thm1
2017-02-06 12:45
515
complex1__878_54.min1.thm1
2017-02-06 12:45
1.1K
complex1__879_24.min1.thm1
2017-02-06 12:45
479
complex1__879_24.min1.thm1.tptp
2017-02-06 16:48
402
complex1__886_42.min1.thm1
2017-02-06 12:45
559
complex1__887_44.min1.thm1
2017-02-06 12:45
581
complex1__888_35.min1.thm1
2017-02-06 12:45
656
complex1__891_23.min1.thm1
2017-02-06 12:45
1.8K
complex1__892_36.min1.thm1
2017-02-06 12:45
667
complex1__901_41.min1.thm1
2017-02-06 12:45
505
complex1__901_41.min1.thm1.tptp
2017-02-06 16:48
436
complex1__902_27.min1.thm1
2017-02-06 12:45
534
complex1__905_28.min1.thm1
2017-02-06 12:45
545
complex1__914_32.min1.thm1
2017-02-06 12:45
648
complex1__915_22.min1.thm1
2017-02-06 12:45
659
complex1__916_22.min1.thm1
2017-02-06 12:45
479
complex1__916_22.min1.thm1.tptp
2017-02-06 16:48
402
complex1__923_39.min1.thm1
2017-02-06 12:45
505
complex1__923_39.min1.thm1.tptp
2017-02-06 16:48
436
complex1__924_17.min1.thm1
2017-02-06 12:45
1.6K
complex1__930_19.min1.thm1
2017-02-06 12:45
306
complex1__930_19.min1.thm1.tptp
2017-02-06 16:48
225
complex1__933_37.min1.thm1
2017-02-06 12:45
762
complex1__939_57.min1.thm1
2017-02-06 12:45
968
complex1__940_39.min1.thm1
2017-02-06 12:45
690
complex1__940_39.min1.thm1.tptp
2017-02-06 16:48
619
complex1__941_36.min1.thm1
2017-02-06 12:45
673
complex1__941_36.min1.thm1.tptp
2017-02-06 16:48
602
complex1__943_57.min1.thm1
2017-02-06 12:45
968
complex1__944_40.min1.thm1
2017-02-06 12:45
701
complex1__944_40.min1.thm1.tptp
2017-02-06 16:48
630
complex1__952_39.min1.thm1
2017-02-06 12:45
766
complex1__953_21.min1.thm1
2017-02-06 12:45
502
complex1__953_21.min1.thm1.tptp
2017-02-06 16:48
431
complex1__955_41.min1.thm1
2017-02-06 12:45
766
complex1__956_22.min1.thm1
2017-02-06 12:45
513
complex1__956_22.min1.thm1.tptp
2017-02-06 16:48
442
complex1__963_39.min1.thm1
2017-02-06 12:45
767
complex1__964_21.min1.thm1
2017-02-06 12:45
502
complex1__964_21.min1.thm1.tptp
2017-02-06 16:48
431
complex1__966_39.min1.thm1
2017-02-06 12:45
767
complex1__967_22.min1.thm1
2017-02-06 12:45
513
complex1__967_22.min1.thm1.tptp
2017-02-06 16:48
442
complex1__975_11.min1.thm1
2017-02-06 12:45
1.0K
complex1__984_36.min1.thm1
2017-02-06 12:45
1.0K
complex1__987_16.min1.thm1
2017-02-06 12:45
1.8K
complex1__988_20.min1.thm1
2017-02-06 12:45
1.8K
complex1__989_38.min1.thm1
2017-02-06 12:45
2.0K
complex1__1002_16.min1.thm1
2017-02-06 12:45
303
complex1__1002_16.min1.thm1.tptp
2017-02-06 16:48
222
complex1__1004_15.min1.thm1
2017-02-06 12:45
797
complex1__1006_19.min1.thm1
2017-02-06 12:45
880
complex1__1008_9.min1.thm1
2017-02-06 12:45
801
complex1__1013_14.min1.thm1
2017-02-06 12:45
2.5K
complex1__1017_11.min1.thm1
2017-02-06 12:45
599
complex1__1031_25.min1.thm1
2017-02-06 12:45
609
complex1__1038_31.min1.thm1
2017-02-06 12:45
1.2K
complex1__1044_12.min1.thm1
2017-02-06 12:45
912
complex1__1047_22.min1.thm1
2017-02-06 12:45
1.5K
complex1__1050_15.min1.thm1
2017-02-06 12:45
1.7K
complex1__1053_16.min1.thm1
2017-02-06 12:45
2.1K
complex1__1057_47.min1.thm1
2017-02-06 12:45
876
complex1__1058_38.min1.thm1
2017-02-06 12:45
621
complex1__1058_38.min1.thm1.tptp
2017-02-06 16:48
550
complex1__1065_21.min1.thm1
2017-02-06 12:45
1.3K
complex1__1066_17.min1.thm1
2017-02-06 12:45
522
complex1__1071_11.min1.thm1
2017-02-06 12:45
213
complex1__1074_24.min1.thm1
2017-02-06 12:45
442
complex1__1075_19.min1.thm1
2017-02-06 12:45
539
complex1__1079_22.min1.thm1
2017-02-06 12:45
1.1K
complex1__1080_19.min1.thm1
2017-02-06 12:45
969
complex1__1091_19.min1.thm1
2017-02-06 12:45
294
complex1__1097_37.min1.thm1
2017-02-06 12:45
591
complex1__1097_37.min1.thm1.tptp
2017-02-06 16:48
520
complex1__1106_22.min1.thm1
2017-02-06 12:45
1.1K
complex1__1107_16.min1.thm1
2017-02-06 12:45
1.5K
complex1__1109_17.min1.thm1
2017-02-06 12:45
2.5K
complex1__1115_16.min1.thm1
2017-02-06 12:45
1.0K
complex1__1117_42.min1.thm1
2017-02-06 12:45
1.8K
complex1__1118_16.min1.thm1
2017-02-06 12:45
1.0K
complex1__1122_21.min1.thm1
2017-02-06 12:45
588
complex1__1123_17.min1.thm1
2017-02-06 12:45
1.1K
complex1__1129_16.min1.thm1
2017-02-06 12:45
1.0K
complex1__1131_42.min1.thm1
2017-02-06 12:45
2.1K
complex1__1132_16.min1.thm1
2017-02-06 12:45
1.0K
complex1__1136_21.min1.thm1
2017-02-06 12:45
588
complex1__1137_17.min1.thm1
2017-02-06 12:45
1.1K
complex1__1144_36.min1.thm1
2017-02-06 12:45
639
complex1__1148_54.min1.thm1
2017-02-06 12:45
2.4K
complex1__1151_35.min1.thm1
2017-02-06 12:45
1.7K
complex1__1153_42.min1.thm1
2017-02-06 12:45
2.5K
complex1__1156_39.min1.thm1
2017-02-06 12:45
1.8K
complex1__1157_23.min1.thm1
2017-02-06 12:45
1.9K
complex1__1170_33.min1.thm1
2017-02-06 12:45
639
complex1__1178_46.min1.thm1
2017-02-06 12:45
1.4K
complex1__1179_37.min1.thm1
2017-02-06 12:45
1.8K
complex1__1188_29.min1.thm1
2017-02-06 12:45
513
complex1__1189_41.min1.thm1
2017-02-06 12:45
830
complex1__1190_17.min1.thm1
2017-02-06 12:45
622
complex1__1197_40.min1.thm1
2017-02-06 12:45
801
complex1__1198_17.min1.thm1
2017-02-06 12:45
1.6K
complex1__1205_40.min1.thm1
2017-02-06 12:45
801
complex1__1206_17.min1.thm1
2017-02-06 12:45
1.6K
complex1__1212_35.min1.thm1
2017-02-06 12:45
1.0K
complex1__1212_53.min1.thm1
2017-02-06 12:45
599
complex1__1221_20.min1.thm1
2017-02-06 12:45
946
complex1__1233_28.min1.thm1
2017-02-06 12:45
596
complex1__1234_16.min1.thm1
2017-02-06 12:45
1.3K
complex1__1243_17.min1.thm1
2017-02-06 12:45
1.0K
complex1__1256_21.min1.thm1
2017-02-06 12:45
1.6K
complex1__1257_25.min1.thm1
2017-02-06 12:45
691
complex1__1258_21.min1.thm1
2017-02-06 12:45
2.1K
complex1__1260_19.min1.thm1
2017-02-06 12:45
2.0K
complex1__1267_18.min1.thm1
2017-02-06 12:45
687
complex1__1268_36.min1.thm1
2017-02-06 12:45
1.4K
complex1__1269_19.min1.thm1
2017-02-06 12:45
572
complex1__1277_35.min1.thm1
2017-02-06 12:45
567
complex1__1280_42.min1.thm1
2017-02-06 12:45
1.5K
complex1__1281_35.min1.thm1
2017-02-06 12:45
567
complex1__1282_17.min1.thm1
2017-02-06 12:45
1.7K
complex1__1290_40.min1.thm1
2017-02-06 12:45
827
complex1__1292_38.min1.thm1
2017-02-06 12:45
827
complex1__1301_11.min1.thm1
2017-02-06 12:45
187
complex1__1305_16.min1.thm1
2017-02-06 12:45
520
complex1__1314_18.min1.thm1
2017-02-06 12:45
952
complex1__1318_21.min1.thm1
2017-02-06 12:45
1.2K
complex1__1318_34.min1.thm1
2017-02-06 12:45
660
complex1__1326_24.min1.thm1
2017-02-06 12:45
469
complex1__1326_24.min1.thm1.tptp
2017-02-06 16:48
392
complex1__1327_20.min1.thm1
2017-02-06 12:45
655
complex1__1328_19.min1.thm1
2017-02-06 12:45
648
complex1__1342_31.min1.thm1
2017-02-06 12:45
478
complex1__1342_31.min1.thm1.tptp
2017-02-06 16:48
408
complex1__1343_23.min1.thm1
2017-02-06 12:45
449
complex1__1343_23.min1.thm1.tptp
2017-02-06 16:48
372
complex1__1344_19.min1.thm1
2017-02-06 12:45
696
complex1__1350_30.min1.thm1
2017-02-06 12:45
324
complex1__1355_17.min1.thm1
2017-02-06 12:45
211
complex1__1356_17.min1.thm1
2017-02-06 12:45
1.2K
complex1__1360_21.min1.thm1
2017-02-06 12:45
290
complex1__1365_11.min1.thm1
2017-02-06 12:45
546
complex1__1368_28.min1.thm1
2017-02-06 12:45
1.0K
complex1__1368_44.min1.thm1
2017-02-06 12:45
670
complex1__1369_17.min1.thm1
2017-02-06 12:45
860
complex1__1382_11.min1.thm1
2017-02-06 12:45
546
complex1__1391_17.min1.thm1
2017-02-06 12:45
548
complex1__1394_29.min1.thm1
2017-02-06 12:45
818
complex1__1401_28.min1.thm1
2017-02-06 12:45
403
complex1__1401_28.min1.thm1.tptp
2017-02-06 16:48
334
complex1__1406_29.min1.thm1
2017-02-06 12:45
356
complex1__1425_17.min1.thm1
2017-02-06 12:45
1.0K
complex1__1434_27.min1.thm1
2017-02-06 12:45
1.1K
complex1__1435_20.min1.thm1
2017-02-06 12:45
684
complex1__1437_32.min1.thm1
2017-02-06 12:45
2.4K
complex1__1442_17.min1.thm1
2017-02-06 12:45
2.7K
complex1__1445_58.min1.thm1
2017-02-06 12:45
2.0K
complex1__1452_29.min1.thm1
2017-02-06 12:45
1.6K
complex1__1453_35.min1.thm1
2017-02-06 12:45
1.6K
complex1__1454_17.min1.thm1
2017-02-06 12:45
869
complex1__1458_28.min1.thm1
2017-02-06 12:45
729
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80