Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/coh_sp
Name
Last modified
Size
Description
Parent Directory
-
coh_sp__61_15.min1.thm1
2017-02-06 12:46
410
coh_sp__62_21.min1.thm1
2017-02-06 12:46
797
coh_sp__71_20.min1.thm1
2017-02-06 12:46
473
coh_sp__74_25.min1.thm1
2017-02-06 12:46
497
coh_sp__78_30.min1.thm1
2017-02-06 12:46
322
coh_sp__78_30.min1.thm1.tptp
2017-02-06 16:48
243
coh_sp__79_25.min1.thm1
2017-02-06 12:46
444
coh_sp__82_18.min1.thm1
2017-02-06 12:46
278
coh_sp__84_15.min1.thm1
2017-02-06 12:46
300
coh_sp__84_15.min1.thm1.tptp
2017-02-06 16:48
215
coh_sp__97_61.min1.thm1
2017-02-06 12:46
462
coh_sp__98_17.min1.thm1
2017-02-06 12:46
838
coh_sp__111_35.min1.thm1
2017-02-06 12:46
561
coh_sp__112_24.min1.thm1
2017-02-06 12:46
385
coh_sp__112_24.min1.thm1.tptp
2017-02-06 16:48
321
coh_sp__113_16.min1.thm1
2017-02-06 12:46
603
coh_sp__119_18.min1.thm1
2017-02-06 12:46
641
coh_sp__120_16.min1.thm1
2017-02-06 12:46
581
coh_sp__126_28.min1.thm1
2017-02-06 12:46
580
coh_sp__134_13.min1.thm1
2017-02-06 12:46
389
coh_sp__134_13.min1.thm1.tptp
2017-02-06 16:48
334
coh_sp__135_13.min1.thm1
2017-02-06 12:46
326
coh_sp__135_13.min1.thm1.tptp
2017-02-06 16:48
248
coh_sp__136_17.min1.thm1
2017-02-06 12:46
552
coh_sp__152_20.min1.thm1
2017-02-06 12:46
757
coh_sp__154_64.min1.thm1
2017-02-06 12:46
361
coh_sp__164_41.min1.thm1
2017-02-06 12:46
1.2K
coh_sp__165_21.min1.thm1
2017-02-06 12:46
908
coh_sp__169_34.min1.thm1
2017-02-06 12:46
528
coh_sp__169_34.min1.thm1.tptp
2017-02-06 16:48
466
coh_sp__170_19.min1.thm1
2017-02-06 12:46
938
coh_sp__191_19.min1.thm1
2017-02-06 12:46
434
coh_sp__191_19.min1.thm1.tptp
2017-02-06 16:48
363
coh_sp__192_21.min1.thm1
2017-02-06 12:46
606
coh_sp__194_30.min1.thm1
2017-02-06 12:46
368
coh_sp__208_20.min1.thm1
2017-02-06 12:46
762
coh_sp__213_17.min1.thm1
2017-02-06 12:46
424
coh_sp__213_17.min1.thm1.tptp
2017-02-06 16:48
353
coh_sp__214_22.min1.thm1
2017-02-06 12:46
596
coh_sp__215_19.min1.thm1
2017-02-06 12:46
510
coh_sp__230_22.min1.thm1
2017-02-06 12:46
418
coh_sp__230_22.min1.thm1.tptp
2017-02-06 16:48
347
coh_sp__231_19.min1.thm1
2017-02-06 12:46
592
coh_sp__233_44.min1.thm1
2017-02-06 12:46
183
coh_sp__246_14.min1.thm1
2017-02-06 12:46
376
coh_sp__246_14.min1.thm1.tptp
2017-02-06 16:48
313
coh_sp__249_15.min1.thm1
2017-02-06 12:46
376
coh_sp__249_15.min1.thm1.tptp
2017-02-06 16:48
313
coh_sp__250_17.min1.thm1
2017-02-06 12:46
471
coh_sp__251_19.min1.thm1
2017-02-06 12:46
532
coh_sp__261_15.min1.thm1
2017-02-06 12:46
405
coh_sp__261_15.min1.thm1.tptp
2017-02-06 16:48
350
coh_sp__262_33.min1.thm1
2017-02-06 12:46
384
coh_sp__262_33.min1.thm1.tptp
2017-02-06 16:48
321
coh_sp__263_21.min1.thm1
2017-02-06 12:46
437
coh_sp__268_16.min1.thm1
2017-02-06 12:46
362
coh_sp__268_16.min1.thm1.tptp
2017-02-06 16:48
290
coh_sp__269_15.min1.thm1
2017-02-06 12:46
267
coh_sp__270_19.min1.thm1
2017-02-06 12:46
467
coh_sp__278_15.min1.thm1
2017-02-06 12:46
376
coh_sp__278_15.min1.thm1.tptp
2017-02-06 16:48
313
coh_sp__279_17.min1.thm1
2017-02-06 12:46
400
coh_sp__279_17.min1.thm1.tptp
2017-02-06 16:48
326
coh_sp__280_19.min1.thm1
2017-02-06 12:46
398
coh_sp__282_17.min1.thm1
2017-02-06 12:46
742
coh_sp__294_22.min1.thm1
2017-02-06 12:46
774
coh_sp__302_27.min1.thm1
2017-02-06 12:46
574
coh_sp__305_17.min1.thm1
2017-02-06 12:46
700
coh_sp__315_20.min1.thm1
2017-02-06 12:46
401
coh_sp__315_20.min1.thm1.tptp
2017-02-06 16:48
327
coh_sp__317_15.min1.thm1
2017-02-06 12:46
333
coh_sp__317_15.min1.thm1.tptp
2017-02-06 16:48
250
coh_sp__318_13.min1.thm1
2017-02-06 12:46
264
coh_sp__319_17.min1.thm1
2017-02-06 12:46
462
coh_sp__331_60.min1.thm1
2017-02-06 12:46
911
coh_sp__332_19.min1.thm1
2017-02-06 12:46
841
coh_sp__336_58.min1.thm1
2017-02-06 12:46
901
coh_sp__337_17.min1.thm1
2017-02-06 12:46
831
coh_sp__345_27.min1.thm1
2017-02-06 12:46
341
coh_sp__345_27.min1.thm1.tptp
2017-02-06 16:48
261
coh_sp__348_17.min1.thm1
2017-02-06 12:46
828
coh_sp__354_54.min1.thm1
2017-02-06 12:46
742
coh_sp__363_36.min1.thm1
2017-02-06 12:46
1.2K
coh_sp__368_23.min1.thm1
2017-02-06 12:46
545
coh_sp__370_21.min1.thm1
2017-02-06 12:46
778
coh_sp__373_39.min1.thm1
2017-02-06 12:46
782
coh_sp__374_23.min1.thm1
2017-02-06 12:46
728
coh_sp__403_18.min1.thm1
2017-02-06 12:46
439
coh_sp__403_18.min1.thm1.tptp
2017-02-06 16:48
384
coh_sp__406_18.min1.thm1
2017-02-06 12:46
439
coh_sp__406_18.min1.thm1.tptp
2017-02-06 16:48
384
coh_sp__407_24.min1.thm1
2017-02-06 12:46
449
coh_sp__407_24.min1.thm1.tptp
2017-02-06 16:48
387
coh_sp__408_24.min1.thm1
2017-02-06 12:46
543
coh_sp__409_24.min1.thm1
2017-02-06 12:46
570
coh_sp__410_27.min1.thm1
2017-02-06 12:46
906
coh_sp__415_27.min1.thm1
2017-02-06 12:46
1.1K
coh_sp__416_20.min1.thm1
2017-02-06 12:46
525
coh_sp__418_26.min1.thm1
2017-02-06 12:46
407
coh_sp__418_26.min1.thm1.tptp
2017-02-06 16:48
343
coh_sp__419_21.min1.thm1
2017-02-06 12:46
1.2K
coh_sp__427_20.min1.thm1
2017-02-06 12:46
484
coh_sp__427_20.min1.thm1.tptp
2017-02-06 16:48
421
coh_sp__429_15.min1.thm1
2017-02-06 12:46
708
coh_sp__430_52.min1.thm1
2017-02-06 12:46
1.1K
coh_sp__431_21.min1.thm1
2017-02-06 12:46
1.1K
coh_sp__433_24.min1.thm1
2017-02-06 12:46
467
coh_sp__437_70.min1.thm1
2017-02-06 12:46
683
coh_sp__441_19.min1.thm1
2017-02-06 12:46
1.2K
coh_sp__453_57.min1.thm1
2017-02-06 12:46
608
coh_sp__454_21.min1.thm1
2017-02-06 12:46
695
coh_sp__458_55.min1.thm1
2017-02-06 12:46
598
coh_sp__459_19.min1.thm1
2017-02-06 12:46
685
coh_sp__475_32.min1.thm1
2017-02-06 12:46
377
coh_sp__476_21.min1.thm1
2017-02-06 12:46
1.4K
coh_sp__481_22.min1.thm1
2017-02-06 12:46
1.1K
coh_sp__488_23.min1.thm1
2017-02-06 12:46
412
coh_sp__488_23.min1.thm1.tptp
2017-02-06 16:48
358
coh_sp__489_23.min1.thm1
2017-02-06 12:46
412
coh_sp__489_23.min1.thm1.tptp
2017-02-06 16:48
358
coh_sp__490_21.min1.thm1
2017-02-06 12:46
1.4K
coh_sp__506_19.min1.thm1
2017-02-06 12:46
841
coh_sp__510_58.min1.thm1
2017-02-06 12:46
820
coh_sp__520_55.min1.thm1
2017-02-06 12:46
1.3K
coh_sp__524_53.min1.thm1
2017-02-06 12:46
892
coh_sp__535_28.min1.thm1
2017-02-06 12:46
700
coh_sp__536_19.min1.thm1
2017-02-06 12:46
718
coh_sp__540_26.min1.thm1
2017-02-06 12:46
710
coh_sp__541_17.min1.thm1
2017-02-06 12:46
692
coh_sp__551_11.min1.thm1
2017-02-06 12:46
129
coh_sp__559_47.min1.thm1
2017-02-06 12:46
381
coh_sp__559_47.min1.thm1.tptp
2017-02-06 16:48
301
coh_sp__561_27.min1.thm1
2017-02-06 12:46
431
coh_sp__561_27.min1.thm1.tptp
2017-02-06 16:48
350
coh_sp__562_15.min1.thm1
2017-02-06 12:46
842
coh_sp__563_16.min1.thm1
2017-02-06 12:46
398
coh_sp__573_67.min1.thm1
2017-02-06 12:46
500
coh_sp__574_67.min1.thm1
2017-02-06 12:46
557
coh_sp__574_67.min1.thm1.tptp
2017-02-06 16:48
495
coh_sp__575_16.min1.thm1
2017-02-06 12:46
398
coh_sp__584_34.min1.thm1
2017-02-06 12:46
443
coh_sp__584_34.min1.thm1.tptp
2017-02-06 16:48
369
coh_sp__585_26.min1.thm1
2017-02-06 12:46
316
coh_sp__587_17.min1.thm1
2017-02-06 12:46
1.1K
coh_sp__596_11.min1.thm1
2017-02-06 12:46
129
coh_sp__604_47.min1.thm1
2017-02-06 12:46
381
coh_sp__604_47.min1.thm1.tptp
2017-02-06 16:48
301
coh_sp__605_27.min1.thm1
2017-02-06 12:46
431
coh_sp__605_27.min1.thm1.tptp
2017-02-06 16:48
350
coh_sp__606_70.min1.thm1
2017-02-06 12:46
842
coh_sp__607_42.min1.thm1
2017-02-06 12:46
415
coh_sp__610_73.min1.thm1
2017-02-06 12:46
1.3K
coh_sp__612_52.min1.thm1
2017-02-06 12:46
1.2K
coh_sp__618_15.min1.thm1
2017-02-06 12:46
521
coh_sp__619_66.min1.thm1
2017-02-06 12:46
586
coh_sp__619_66.min1.thm1.tptp
2017-02-06 16:48
536
coh_sp__620_28.min1.thm1
2017-02-06 12:46
739
coh_sp__622_19.min1.thm1
2017-02-06 12:46
667
coh_sp__640_13.min1.thm1
2017-02-06 12:46
488
coh_sp__642_33.min1.thm1
2017-02-06 12:46
570
coh_sp__642_33.min1.thm1.tptp
2017-02-06 16:48
520
coh_sp__644_18.min1.thm1
2017-02-06 12:46
1.3K
coh_sp__648_31.min1.thm1
2017-02-06 12:46
599
coh_sp__649_32.min1.thm1
2017-02-06 12:46
732
coh_sp__649_32.min1.thm1.tptp
2017-02-06 16:48
681
coh_sp__650_17.min1.thm1
2017-02-06 12:46
625
coh_sp__660_11.min1.thm1
2017-02-06 12:46
129
coh_sp__672_49.min1.thm1
2017-02-06 12:46
383
coh_sp__672_49.min1.thm1.tptp
2017-02-06 16:48
303
coh_sp__673_29.min1.thm1
2017-02-06 12:46
443
coh_sp__673_29.min1.thm1.tptp
2017-02-06 16:48
362
coh_sp__674_75.min1.thm1
2017-02-06 12:46
858
coh_sp__675_44.min1.thm1
2017-02-06 12:46
423
coh_sp__678_39.min1.thm1
2017-02-06 12:46
216
coh_sp__679_45.min1.thm1
2017-02-06 12:46
1.3K
coh_sp__684_28.min1.thm1
2017-02-06 12:46
673
coh_sp__686_18.min1.thm1
2017-02-06 12:46
585
coh_sp__687_23.min1.thm1
2017-02-06 12:46
673
coh_sp__688_31.min1.thm1
2017-02-06 12:46
899
coh_sp__692_16.min1.thm1
2017-02-06 12:46
389
coh_sp__704_67.min1.thm1
2017-02-06 12:46
484
coh_sp__721_51.min1.thm1
2017-02-06 12:46
516
coh_sp__721_51.min1.thm1.tptp
2017-02-06 16:48
450
coh_sp__734_22.min1.thm1
2017-02-06 12:46
405
coh_sp__734_22.min1.thm1.tptp
2017-02-06 16:48
335
coh_sp__735_19.min1.thm1
2017-02-06 12:46
1.5K
coh_sp__750_44.min1.thm1
2017-02-06 12:46
514
coh_sp__750_44.min1.thm1.tptp
2017-02-06 16:48
446
coh_sp__751_19.min1.thm1
2017-02-06 12:46
933
coh_sp__762_44.min1.thm1
2017-02-06 12:46
676
coh_sp__763_19.min1.thm1
2017-02-06 12:46
933
coh_sp__775_25.min1.thm1
2017-02-06 12:46
410
coh_sp__775_25.min1.thm1.tptp
2017-02-06 16:48
340
coh_sp__776_29.min1.thm1
2017-02-06 12:46
1.1K
coh_sp__777_17.min1.thm1
2017-02-06 12:46
951
coh_sp__782_28.min1.thm1
2017-02-06 12:46
681
coh_sp__783_17.min1.thm1
2017-02-06 12:46
957
coh_sp__797_26.min1.thm1
2017-02-06 12:46
559
coh_sp__799_27.min1.thm1
2017-02-06 12:46
483
coh_sp__800_21.min1.thm1
2017-02-06 12:46
559
coh_sp__801_29.min1.thm1
2017-02-06 12:46
809
coh_sp__812_27.min1.thm1
2017-02-06 12:46
647
coh_sp__813_17.min1.thm1
2017-02-06 12:46
490
coh_sp__826_30.min1.thm1
2017-02-06 12:46
681
coh_sp__828_17.min1.thm1
2017-02-06 12:46
822
coh_sp__829_27.min1.thm1
2017-02-06 12:46
865
coh_sp__831_18.min1.thm1
2017-02-06 12:46
1.7K
coh_sp__834_17.min1.thm1
2017-02-06 12:46
802
coh_sp__846_46.min1.thm1
2017-02-06 12:46
896
coh_sp__846_46.min1.thm1.tptp
2017-02-06 16:48
842
coh_sp__847_46.min1.thm1
2017-02-06 12:46
896
coh_sp__847_46.min1.thm1.tptp
2017-02-06 16:48
842
coh_sp__848_52.min1.thm1
2017-02-06 12:46
1.2K
coh_sp__853_31.min1.thm1
2017-02-06 12:46
728
coh_sp__856_26.min1.thm1
2017-02-06 12:46
815
coh_sp__859_34.min1.thm1
2017-02-06 12:46
1.1K
coh_sp__860_53.min1.thm1
2017-02-06 12:46
1.3K
coh_sp__864_52.min1.thm1
2017-02-06 12:46
1.2K
coh_sp__877_45.min1.thm1
2017-02-06 12:46
1.1K
coh_sp__887_26.min1.thm1
2017-02-06 12:46
851
coh_sp__891_26.min1.thm1
2017-02-06 12:46
851
coh_sp__893_31.min1.thm1
2017-02-06 12:46
1.3K
coh_sp__894_24.min1.thm1
2017-02-06 12:46
851
coh_sp__897_24.min1.thm1
2017-02-06 12:46
852
coh_sp__910_59.min1.thm1
2017-02-06 12:46
1.1K
coh_sp__918_45.min1.thm1
2017-02-06 12:46
798
coh_sp__919_49.min1.thm1
2017-02-06 12:46
1.2K
coh_sp__921_29.min1.thm1
2017-02-06 12:46
1.0K
coh_sp__922_42.min1.thm1
2017-02-06 12:46
892
coh_sp__922_42.min1.thm1.tptp
2017-02-06 16:48
838
coh_sp__924_28.min1.thm1
2017-02-06 12:46
1.7K
coh_sp__925_21.min1.thm1
2017-02-06 12:46
656
coh_sp__928_45.min1.thm1
2017-02-06 12:46
1.4K
coh_sp__930_45.min1.thm1
2017-02-06 12:46
799
coh_sp__931_21.min1.thm1
2017-02-06 12:46
657
coh_sp__933_25.min1.thm1
2017-02-06 12:46
1.1K
coh_sp__956_26.min1.thm1
2017-02-06 12:46
568
coh_sp__956_26.min1.thm1.tptp
2017-02-06 16:48
491
coh_sp__957_18.min1.thm1
2017-02-06 12:46
568
coh_sp__957_18.min1.thm1.tptp
2017-02-06 16:48
491
coh_sp__977_26.min1.thm1
2017-02-06 12:46
568
coh_sp__977_26.min1.thm1.tptp
2017-02-06 16:48
491
coh_sp__978_18.min1.thm1
2017-02-06 12:46
568
coh_sp__978_18.min1.thm1.tptp
2017-02-06 16:48
491
coh_sp__995_59.min1.thm1
2017-02-06 12:46
474
coh_sp__995_59.min1.thm1.tptp
2017-02-06 16:48
396
coh_sp__999_19.min1.thm1
2017-02-06 12:46
865
coh_sp__1000_21.min1.thm1
2017-02-06 12:46
942
coh_sp__1007_59.min1.thm1
2017-02-06 12:46
474
coh_sp__1007_59.min1.thm1.tptp
2017-02-06 16:48
396
coh_sp__1009_20.min1.thm1
2017-02-06 12:46
865
coh_sp__1010_18.min1.thm1
2017-02-06 12:46
821
coh_sp__1025_44.min1.thm1
2017-02-06 12:46
1.1K
coh_sp__1026_20.min1.thm1
2017-02-06 12:46
703
coh_sp__1029_25.min1.thm1
2017-02-06 12:46
559
coh_sp__1035_30.min1.thm1
2017-02-06 12:46
1.3K
coh_sp__1036_16.min1.thm1
2017-02-06 12:46
1.4K
coh_sp__1053_26.min1.thm1
2017-02-06 12:46
1.2K
coh_sp__1059_24.min1.thm1
2017-02-06 12:46
1.2K
coh_sp__1067_24.min1.thm1
2017-02-06 12:46
1.1K
coh_sp__1108_34.min1.thm1
2017-02-06 12:46
1.6K
coh_sp__1111_34.min1.thm1
2017-02-06 12:46
1.6K
coh_sp__1122_34.min1.thm1
2017-02-06 12:46
1.6K
coh_sp__1125_34.min1.thm1
2017-02-06 12:46
1.6K
coh_sp__1152_42.min1.thm1
2017-02-06 12:46
509
coh_sp__1152_42.min1.thm1.tptp
2017-02-06 16:48
443
coh_sp__1153_42.min1.thm1
2017-02-06 12:46
509
coh_sp__1153_42.min1.thm1.tptp
2017-02-06 16:48
443
coh_sp__1155_22.min1.thm1
2017-02-06 12:46
710
coh_sp__1175_17.min1.thm1
2017-02-06 12:46
1.0K
coh_sp__1177_17.min1.thm1
2017-02-06 12:46
1.1K
coh_sp__1177_37.min1.thm1
2017-02-06 12:46
1.2K
coh_sp__1178_37.min1.thm1
2017-02-06 12:46
1.2K
coh_sp__1180_27.min1.thm1
2017-02-06 12:46
604
coh_sp__1184_14.min1.thm1
2017-02-06 12:46
644
coh_sp__1191_17.min1.thm1
2017-02-06 12:46
1.0K
coh_sp__1193_17.min1.thm1
2017-02-06 12:46
1.1K
coh_sp__1193_37.min1.thm1
2017-02-06 12:46
1.2K
coh_sp__1194_37.min1.thm1
2017-02-06 12:46
1.2K
coh_sp__1196_27.min1.thm1
2017-02-06 12:46
604
coh_sp__1200_14.min1.thm1
2017-02-06 12:46
644
coh_sp__1210_42.min1.thm1
2017-02-06 12:46
509
coh_sp__1210_42.min1.thm1.tptp
2017-02-06 16:48
443
coh_sp__1211_42.min1.thm1
2017-02-06 12:46
509
coh_sp__1211_42.min1.thm1.tptp
2017-02-06 16:48
443
coh_sp__1213_44.min1.thm1
2017-02-06 12:46
1.3K
coh_sp__1215_17.min1.thm1
2017-02-06 12:46
1.8K
coh_sp__1234_46.min1.thm1
2017-02-06 12:46
654
coh_sp__1236_19.min1.thm1
2017-02-06 12:46
1.0K
coh_sp__1248_35.min1.thm1
2017-02-06 12:46
634
coh_sp__1248_35.min1.thm1.tptp
2017-02-06 16:48
557
coh_sp__1249_23.min1.thm1
2017-02-06 12:46
634
coh_sp__1249_23.min1.thm1.tptp
2017-02-06 16:48
557
coh_sp__1253_35.min1.thm1
2017-02-06 12:46
634
coh_sp__1253_35.min1.thm1.tptp
2017-02-06 16:48
557
coh_sp__1254_23.min1.thm1
2017-02-06 12:46
634
coh_sp__1254_23.min1.thm1.tptp
2017-02-06 16:48
557
coh_sp__1256_32.min1.thm1
2017-02-06 12:46
505
coh_sp__1256_32.min1.thm1.tptp
2017-02-06 16:48
417
coh_sp__1258_19.min1.thm1
2017-02-06 12:46
362
coh_sp__1258_19.min1.thm1.tptp
2017-02-06 16:48
302
coh_sp__1268_19.min1.thm1
2017-02-06 12:46
580
coh_sp__1268_19.min1.thm1.tptp
2017-02-06 16:48
522
coh_sp__1269_16.min1.thm1
2017-02-06 12:46
343
coh_sp__1269_16.min1.thm1.tptp
2017-02-06 16:48
263
coh_sp__1278_11.min1.thm1
2017-02-06 12:46
129
coh_sp__1287_14.min1.thm1
2017-02-06 12:46
223
coh_sp__1289_18.min1.thm1
2017-02-06 12:46
496
coh_sp__1290_22.min1.thm1
2017-02-06 12:46
559
coh_sp__1290_22.min1.thm1.tptp
2017-02-06 16:48
494
coh_sp__1291_19.min1.thm1
2017-02-06 12:46
814
coh_sp__1304_13.min1.thm1
2017-02-06 12:46
491
coh_sp__1306_19.min1.thm1
2017-02-06 12:46
437
coh_sp__1306_19.min1.thm1.tptp
2017-02-06 16:48
377
coh_sp__1308_18.min1.thm1
2017-02-06 12:46
879
coh_sp__1313_32.min1.thm1
2017-02-06 12:46
337
coh_sp__1313_32.min1.thm1.tptp
2017-02-06 16:48
259
coh_sp__1314_17.min1.thm1
2017-02-06 12:46
418
coh_sp__1314_17.min1.thm1.tptp
2017-02-06 16:48
349
coh_sp__1315_18.min1.thm1
2017-02-06 12:46
637
coh_sp__1316_17.min1.thm1
2017-02-06 12:46
556
coh_sp__1320_24.min1.thm1
2017-02-06 12:46
673
coh_sp__1326_12.min1.thm1
2017-02-06 12:46
219
coh_sp__1328_18.min1.thm1
2017-02-06 12:46
488
coh_sp__1329_20.min1.thm1
2017-02-06 12:46
555
coh_sp__1329_20.min1.thm1.tptp
2017-02-06 16:48
490
coh_sp__1330_17.min1.thm1
2017-02-06 12:46
548
coh_sp__1339_17.min1.thm1
2017-02-06 12:46
492
coh_sp__1340_24.min1.thm1
2017-02-06 12:46
692
coh_sp__1341_17.min1.thm1
2017-02-06 12:46
580
coh_sp__1350_17.min1.thm1
2017-02-06 12:46
492
coh_sp__1351_21.min1.thm1
2017-02-06 12:46
1.0K
coh_sp__1352_17.min1.thm1
2017-02-06 12:46
582
coh_sp__1356_35.min1.thm1
2017-02-06 12:46
411
coh_sp__1359_32.min1.thm1
2017-02-06 12:46
413
coh_sp__1366_11.min1.thm1
2017-02-06 12:46
129
coh_sp__1377_41.min1.thm1
2017-02-06 12:46
337
coh_sp__1377_41.min1.thm1.tptp
2017-02-06 16:48
268
coh_sp__1378_60.min1.thm1
2017-02-06 12:46
405
coh_sp__1380_21.min1.thm1
2017-02-06 12:46
1.3K
coh_sp__1382_16.min1.thm1
2017-02-06 12:46
392
coh_sp__1391_40.min1.thm1
2017-02-06 12:46
419
coh_sp__1392_17.min1.thm1
2017-02-06 12:46
1.7K
coh_sp__1400_37.min1.thm1
2017-02-06 12:46
434
coh_sp__1409_40.min1.thm1
2017-02-06 12:46
432
coh_sp__1414_23.min1.thm1
2017-02-06 12:46
549
coh_sp__1417_26.min1.thm1
2017-02-06 12:46
547
coh_sp__1425_24.min1.thm1
2017-02-06 12:46
492
coh_sp__1428_36.min1.thm1
2017-02-06 12:46
1.0K
coh_sp__1429_15.min1.thm1
2017-02-06 12:46
376
coh_sp__1429_15.min1.thm1.tptp
2017-02-06 16:48
306
coh_sp__1430_19.min1.thm1
2017-02-06 12:46
805
coh_sp__1436_24.min1.thm1
2017-02-06 12:46
492
coh_sp__1440_23.min1.thm1
2017-02-06 12:46
1.0K
coh_sp__1441_29.min1.thm1
2017-02-06 12:46
531
coh_sp__1442_19.min1.thm1
2017-02-06 12:46
1.0K
coh_sp__1451_11.min1.thm1
2017-02-06 12:46
129
coh_sp__1461_58.min1.thm1
2017-02-06 12:46
926
coh_sp__1462_27.min1.thm1
2017-02-06 12:46
415
coh_sp__1462_27.min1.thm1.tptp
2017-02-06 16:48
345
coh_sp__1464_31.min1.thm1
2017-02-06 12:46
1.9K
coh_sp__1465_23.min1.thm1
2017-02-06 12:46
574
coh_sp__1465_23.min1.thm1.tptp
2017-02-06 16:48
508
coh_sp__1472_15.min1.thm1
2017-02-06 12:46
521
coh_sp__1473_58.min1.thm1
2017-02-06 12:46
628
coh_sp__1473_58.min1.thm1.tptp
2017-02-06 16:48
578
coh_sp__1474_28.min1.thm1
2017-02-06 12:46
771
coh_sp__1476_19.min1.thm1
2017-02-06 12:46
671
coh_sp__1494_13.min1.thm1
2017-02-06 12:46
491
coh_sp__1496_25.min1.thm1
2017-02-06 12:46
612
coh_sp__1496_25.min1.thm1.tptp
2017-02-06 16:48
562
coh_sp__1498_18.min1.thm1
2017-02-06 12:46
1.4K
coh_sp__1502_23.min1.thm1
2017-02-06 12:46
641
coh_sp__1503_24.min1.thm1
2017-02-06 12:46
852
coh_sp__1503_24.min1.thm1.tptp
2017-02-06 16:48
801
coh_sp__1504_17.min1.thm1
2017-02-06 12:46
688
coh_sp__1513_11.min1.thm1
2017-02-06 12:46
129
coh_sp__1527_42.min1.thm1
2017-02-06 12:46
928
coh_sp__1528_28.min1.thm1
2017-02-06 12:46
246
coh_sp__1529_50.min1.thm1
2017-02-06 12:46
2.2K
coh_sp__1530_52.min1.thm1
2017-02-06 12:46
2.1K
coh_sp__1533_16.min1.thm1
2017-02-06 12:46
392
coh_sp__1544_56.min1.thm1
2017-02-06 12:46
489
coh_sp__1560_55.min1.thm1
2017-02-06 12:46
805
coh_sp__1573_20.min1.thm1
2017-02-06 12:46
405
coh_sp__1573_20.min1.thm1.tptp
2017-02-06 16:48
335
coh_sp__1574_19.min1.thm1
2017-02-06 12:46
1.6K
coh_sp__1590_44.min1.thm1
2017-02-06 12:46
514
coh_sp__1590_44.min1.thm1.tptp
2017-02-06 16:48
446
coh_sp__1591_19.min1.thm1
2017-02-06 12:46
935
coh_sp__1602_44.min1.thm1
2017-02-06 12:46
676
coh_sp__1603_19.min1.thm1
2017-02-06 12:46
935
coh_sp__1615_25.min1.thm1
2017-02-06 12:46
410
coh_sp__1615_25.min1.thm1.tptp
2017-02-06 16:48
340
coh_sp__1616_29.min1.thm1
2017-02-06 12:46
1.1K
coh_sp__1617_17.min1.thm1
2017-02-06 12:46
955
coh_sp__1622_28.min1.thm1
2017-02-06 12:46
687
coh_sp__1623_17.min1.thm1
2017-02-06 12:46
967
coh_sp__1639_23.min1.thm1
2017-02-06 12:46
513
coh_sp__1641_31.min1.thm1
2017-02-06 12:46
1.0K
coh_sp__1655_30.min1.thm1
2017-02-06 12:46
687
coh_sp__1657_17.min1.thm1
2017-02-06 12:46
827
coh_sp__1658_27.min1.thm1
2017-02-06 12:46
870
coh_sp__1664_17.min1.thm1
2017-02-06 12:46
1.1K
coh_sp__1676_42.min1.thm1
2017-02-06 12:46
1.0K
coh_sp__1676_42.min1.thm1.tptp
2017-02-06 16:48
938
coh_sp__1677_42.min1.thm1
2017-02-06 12:46
1.0K
coh_sp__1677_42.min1.thm1.tptp
2017-02-06 16:48
938
coh_sp__1678_48.min1.thm1
2017-02-06 12:46
1.3K
coh_sp__1689_38.min1.thm1
2017-02-06 12:46
1.4K
coh_sp__1694_48.min1.thm1
2017-02-06 12:46
1.3K
coh_sp__1706_45.min1.thm1
2017-02-06 12:46
1.1K
coh_sp__1716_26.min1.thm1
2017-02-06 12:46
869
coh_sp__1720_26.min1.thm1
2017-02-06 12:46
869
coh_sp__1722_31.min1.thm1
2017-02-06 12:46
1.3K
coh_sp__1723_24.min1.thm1
2017-02-06 12:46
869
coh_sp__1726_24.min1.thm1
2017-02-06 12:46
870
coh_sp__1739_55.min1.thm1
2017-02-06 12:46
1.1K
coh_sp__1747_43.min1.thm1
2017-02-06 12:46
835
coh_sp__1748_45.min1.thm1
2017-02-06 12:46
1.3K
coh_sp__1750_27.min1.thm1
2017-02-06 12:46
1.1K
coh_sp__1751_38.min1.thm1
2017-02-06 12:46
1.0K
coh_sp__1751_38.min1.thm1.tptp
2017-02-06 16:48
934
coh_sp__1753_26.min1.thm1
2017-02-06 12:46
1.8K
coh_sp__1754_21.min1.thm1
2017-02-06 12:46
675
coh_sp__1757_45.min1.thm1
2017-02-06 12:46
1.4K
coh_sp__1759_43.min1.thm1
2017-02-06 12:46
836
coh_sp__1760_21.min1.thm1
2017-02-06 12:46
676
coh_sp__1762_25.min1.thm1
2017-02-06 12:46
1.2K
coh_sp__1785_26.min1.thm1
2017-02-06 12:46
576
coh_sp__1785_26.min1.thm1.tptp
2017-02-06 16:48
499
coh_sp__1786_18.min1.thm1
2017-02-06 12:46
576
coh_sp__1786_18.min1.thm1.tptp
2017-02-06 16:48
499
coh_sp__1806_26.min1.thm1
2017-02-06 12:46
576
coh_sp__1806_26.min1.thm1.tptp
2017-02-06 16:48
499
coh_sp__1807_18.min1.thm1
2017-02-06 12:46
576
coh_sp__1807_18.min1.thm1.tptp
2017-02-06 16:48
499
coh_sp__1825_59.min1.thm1
2017-02-06 12:46
478
coh_sp__1825_59.min1.thm1.tptp
2017-02-06 16:48
400
coh_sp__1829_19.min1.thm1
2017-02-06 12:46
873
coh_sp__1830_21.min1.thm1
2017-02-06 12:46
950
coh_sp__1837_59.min1.thm1
2017-02-06 12:46
478
coh_sp__1837_59.min1.thm1.tptp
2017-02-06 16:48
400
coh_sp__1839_20.min1.thm1
2017-02-06 12:46
873
coh_sp__1840_18.min1.thm1
2017-02-06 12:46
832
coh_sp__1855_44.min1.thm1
2017-02-06 12:46
1.1K
coh_sp__1856_20.min1.thm1
2017-02-06 12:46
712
coh_sp__1859_25.min1.thm1
2017-02-06 12:46
567
coh_sp__1865_30.min1.thm1
2017-02-06 12:46
1.3K
coh_sp__1866_16.min1.thm1
2017-02-06 12:46
1.4K
coh_sp__1883_26.min1.thm1
2017-02-06 12:46
1.2K
coh_sp__1889_24.min1.thm1
2017-02-06 12:46
1.2K
coh_sp__1897_24.min1.thm1
2017-02-06 12:46
1.1K
coh_sp__1923_34.min1.thm1
2017-02-06 12:46
1.6K
coh_sp__1934_34.min1.thm1
2017-02-06 12:46
1.6K
coh_sp__1937_34.min1.thm1
2017-02-06 12:46
1.6K
coh_sp__1947_34.min1.thm1
2017-02-06 12:46
1.6K
coh_sp__1950_34.min1.thm1
2017-02-06 12:46
1.6K
coh_sp__1976_42.min1.thm1
2017-02-06 12:46
522
coh_sp__1976_42.min1.thm1.tptp
2017-02-06 16:48
456
coh_sp__1977_42.min1.thm1
2017-02-06 12:46
522
coh_sp__1977_42.min1.thm1.tptp
2017-02-06 16:48
456
coh_sp__1979_22.min1.thm1
2017-02-06 12:46
713
coh_sp__1999_17.min1.thm1
2017-02-06 12:46
1.0K
coh_sp__2001_17.min1.thm1
2017-02-06 12:46
1.1K
coh_sp__2001_37.min1.thm1
2017-02-06 12:46
1.2K
coh_sp__2002_37.min1.thm1
2017-02-06 12:46
1.2K
coh_sp__2004_27.min1.thm1
2017-02-06 12:46
619
coh_sp__2008_14.min1.thm1
2017-02-06 12:46
655
coh_sp__2015_17.min1.thm1
2017-02-06 12:46
1.0K
coh_sp__2017_17.min1.thm1
2017-02-06 12:46
1.1K
coh_sp__2017_37.min1.thm1
2017-02-06 12:46
1.2K
coh_sp__2018_37.min1.thm1
2017-02-06 12:46
1.2K
coh_sp__2020_27.min1.thm1
2017-02-06 12:46
619
coh_sp__2024_14.min1.thm1
2017-02-06 12:46
655
coh_sp__2035_42.min1.thm1
2017-02-06 12:46
522
coh_sp__2035_42.min1.thm1.tptp
2017-02-06 16:48
456
coh_sp__2036_42.min1.thm1
2017-02-06 12:46
522
coh_sp__2036_42.min1.thm1.tptp
2017-02-06 16:48
456
coh_sp__2038_44.min1.thm1
2017-02-06 12:46
1.3K
coh_sp__2040_17.min1.thm1
2017-02-06 12:46
1.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80