Index of /~mptp/1147/MPTP2/ilp0/compos_1
Name
Last modified
Size
Description
Parent Directory
-
compos_1__71_15.min1.thm1
2017-02-06 12:45
1.4K
compos_1__73_12.min1.thm1
2017-02-06 12:45
751
compos_1__86_11.min1.thm1
2017-02-06 12:45
537
compos_1__117_16.min1.thm1
2017-02-06 12:45
372
compos_1__120_20.min1.thm1
2017-02-06 12:45
739
compos_1__121_38.min1.thm1
2017-02-06 12:45
535
compos_1__121_38.min1.thm1.tptp
2017-02-06 16:48
461
compos_1__122_35.min1.thm1
2017-02-06 12:45
641
compos_1__145_14.min1.thm1
2017-02-06 12:45
372
compos_1__147_24.min1.thm1
2017-02-06 12:45
334
compos_1__196_15.min1.thm1
2017-02-06 12:45
1.1K
compos_1__212_51.min1.thm1
2017-02-06 12:45
806
compos_1__213_25.min1.thm1
2017-02-06 12:45
1.0K
compos_1__214_17.min1.thm1
2017-02-06 12:45
1.3K
compos_1__231_11.min1.thm1
2017-02-06 12:45
1.4K
compos_1__238_11.min1.thm1
2017-02-06 12:45
1.2K
compos_1__243_26.min1.thm1
2017-02-06 12:45
1.8K
compos_1__244_26.min1.thm1
2017-02-06 12:45
799
compos_1__249_44.min1.thm1
2017-02-06 12:45
1.3K
compos_1__250_15.min1.thm1
2017-02-06 12:45
2.2K
compos_1__251_8.min1.thm1
2017-02-06 12:45
389
compos_1__257_25.min1.thm1
2017-02-06 12:45
364
compos_1__257_25.min1.thm1.tptp
2017-02-06 16:48
287
compos_1__266_57.min1.thm1
2017-02-06 12:45
903
compos_1__267_18.min1.thm1
2017-02-06 12:45
588
compos_1__270_20.min1.thm1
2017-02-06 12:45
540
compos_1__271_17.min1.thm1
2017-02-06 12:45
763
compos_1__272_19.min1.thm1
2017-02-06 12:45
419
compos_1__282_15.min1.thm1
2017-02-06 12:45
1.0K
compos_1__296_15.min1.thm1
2017-02-06 12:45
577
compos_1__296_15.min1.thm1.tptp
2017-02-06 16:48
498
compos_1__302_23.min1.thm1
2017-02-06 12:45
1.3K
compos_1__303_17.min1.thm1
2017-02-06 12:45
482
compos_1__312_11.min1.thm1
2017-02-06 12:45
1.1K
compos_1__325_30.min1.thm1
2017-02-06 12:45
1.4K
compos_1__326_18.min1.thm1
2017-02-06 12:45
440
compos_1__340_17.min1.thm1
2017-02-06 12:45
1.8K
compos_1__367_14.min1.thm1
2017-02-06 12:45
763
compos_1__371_16.min1.thm1
2017-02-06 12:45
1.0K
compos_1__373_65.min1.thm1
2017-02-06 12:45
571
compos_1__374_25.min1.thm1
2017-02-06 12:45
455
compos_1__376_23.min1.thm1
2017-02-06 12:45
1.0K
compos_1__381_18.min1.thm1
2017-02-06 12:45
807
compos_1__382_17.min1.thm1
2017-02-06 12:45
581
compos_1__383_19.min1.thm1
2017-02-06 12:45
755
compos_1__399_14.min1.thm1
2017-02-06 12:45
629
compos_1__400_13.min1.thm1
2017-02-06 12:45
359
compos_1__400_13.min1.thm1.tptp
2017-02-06 16:48
294
compos_1__402_16.min1.thm1
2017-02-06 12:45
852
compos_1__404_18.min1.thm1
2017-02-06 12:45
728
compos_1__405_18.min1.thm1
2017-02-06 12:45
465
compos_1__406_21.min1.thm1
2017-02-06 12:45
493
compos_1__418_14.min1.thm1
2017-02-06 12:45
783
compos_1__419_11.min1.thm1
2017-02-06 12:45
335
compos_1__419_11.min1.thm1.tptp
2017-02-06 16:48
270
compos_1__421_16.min1.thm1
2017-02-06 12:45
929
compos_1__422_18.min1.thm1
2017-02-06 12:45
1.4K
compos_1__423_17.min1.thm1
2017-02-06 12:45
1.0K
compos_1__425_12.min1.thm1
2017-02-06 12:45
924
compos_1__426_29.min1.thm1
2017-02-06 12:45
1.2K
compos_1__427_11.min1.thm1
2017-02-06 12:45
476
compos_1__428_23.min1.thm1
2017-02-06 12:45
840
compos_1__429_22.min1.thm1
2017-02-06 12:45
1.0K
compos_1__430_25.min1.thm1
2017-02-06 12:45
1.3K
compos_1__431_23.min1.thm1
2017-02-06 12:45
803
compos_1__434_14.min1.thm1
2017-02-06 12:45
790
compos_1__438_51.min1.thm1
2017-02-06 12:45
281
compos_1__447_19.min1.thm1
2017-02-06 12:45
510
compos_1__447_19.min1.thm1.tptp
2017-02-06 16:48
436
compos_1__462_46.min1.thm1
2017-02-06 12:45
1.1K
compos_1__464_11.min1.thm1
2017-02-06 12:45
882
compos_1__466_20.min1.thm1
2017-02-06 12:45
727
compos_1__477_18.min1.thm1
2017-02-06 12:45
876
compos_1__482_17.min1.thm1
2017-02-06 12:45
1.4K
compos_1__484_25.min1.thm1
2017-02-06 12:45
368
compos_1__484_25.min1.thm1.tptp
2017-02-06 16:48
286
compos_1__488_28.min1.thm1
2017-02-06 12:45
843
compos_1__489_16.min1.thm1
2017-02-06 12:45
595
compos_1__506_46.min1.thm1
2017-02-06 12:45
1.1K
compos_1__508_11.min1.thm1
2017-02-06 12:45
882
compos_1__509_39.min1.thm1
2017-02-06 12:45
945
compos_1__510_37.min1.thm1
2017-02-06 12:45
1.0K
compos_1__511_19.min1.thm1
2017-02-06 12:45
1.0K
compos_1__522_11.min1.thm1
2017-02-06 12:45
1.0K
compos_1__533_58.min1.thm1
2017-02-06 12:45
1.2K
compos_1__534_15.min1.thm1
2017-02-06 12:45
480
compos_1__535_31.min1.thm1
2017-02-06 12:45
2.0K
compos_1__547_31.min1.thm1
2017-02-06 12:45
1.5K
compos_1__548_16.min1.thm1
2017-02-06 12:45
1.0K
compos_1__559_31.min1.thm1
2017-02-06 12:45
1.8K
compos_1__576_22.min1.thm1
2017-02-06 12:45
760
compos_1__577_19.min1.thm1
2017-02-06 12:45
1.3K
compos_1__586_25.min1.thm1
2017-02-06 12:45
505
compos_1__596_15.min1.thm1
2017-02-06 12:45
1.5K
compos_1__597_33.min1.thm1
2017-02-06 12:45
1.7K
compos_1__603_37.min1.thm1
2017-02-06 12:45
1.4K
compos_1__604_28.min1.thm1
2017-02-06 12:45
1.6K
compos_1__607_27.min1.thm1
2017-02-06 12:45
1.4K
compos_1__612_16.min1.thm1
2017-02-06 12:45
746
compos_1__612_16.min1.thm1.tptp
2017-02-06 16:48
664
compos_1__627_10.min1.thm1
2017-02-06 12:45
2.3K
compos_1__650_43.min1.thm1
2017-02-06 12:45
1.9K
compos_1__655_25.min1.thm1
2017-02-06 12:45
1.4K
compos_1__656_26.min1.thm1
2017-02-06 12:45
769
compos_1__657_21.min1.thm1
2017-02-06 12:45
1.2K
compos_1__658_11.min1.thm1
2017-02-06 12:45
305
compos_1__660_26.min1.thm1
2017-02-06 12:45
2.2K
compos_1__665_34.min1.thm1
2017-02-06 12:45
4.7K
compos_1__683_45.min1.thm1
2017-02-06 12:45
2.6K
compos_1__693_11.min1.thm1
2017-02-06 12:45
4.0K
compos_1__721_43.min1.thm1
2017-02-06 12:45
1.3K
compos_1__724_47.min1.thm1
2017-02-06 12:45
2.7K
compos_1__725_51.min1.thm1
2017-02-06 12:45
2.3K
compos_1__726_40.min1.thm1
2017-02-06 12:45
2.5K
compos_1__727_36.min1.thm1
2017-02-06 12:45
858
compos_1__728_29.min1.thm1
2017-02-06 12:45
1.7K
compos_1__745_16.min1.thm1
2017-02-06 12:45
883
compos_1__748_21.min1.thm1
2017-02-06 12:45
755
compos_1__755_27.min1.thm1
2017-02-06 12:45
1.7K
compos_1__757_19.min1.thm1
2017-02-06 12:45
295
compos_1__760_32.min1.thm1
2017-02-06 12:45
1.4K
compos_1__767_27.min1.thm1
2017-02-06 12:45
1.8K
compos_1__775_44.min1.thm1
2017-02-06 12:45
1.0K
compos_1__780_29.min1.thm1
2017-02-06 12:45
1.8K
compos_1__806_19.min1.thm1
2017-02-06 12:45
735
compos_1__813_22.min1.thm1
2017-02-06 12:45
844
compos_1__814_36.min1.thm1
2017-02-06 12:45
1.5K
compos_1__818_19.min1.thm1
2017-02-06 12:45
3.2K
compos_1__826_10.min1.thm1
2017-02-06 12:45
2.1K
compos_1__849_37.min1.thm1
2017-02-06 12:45
701
compos_1__849_37.min1.thm1.tptp
2017-02-06 16:48
626
compos_1__850_18.min1.thm1
2017-02-06 12:45
1.1K
compos_1__851_31.min1.thm1
2017-02-06 12:45
1.3K
compos_1__861_28.min1.thm1
2017-02-06 12:45
1.2K
compos_1__862_28.min1.thm1
2017-02-06 12:45
693
compos_1__873_29.min1.thm1
2017-02-06 12:45
1.2K
compos_1__879_42.min1.thm1
2017-02-06 12:45
1.9K
compos_1__880_23.min1.thm1
2017-02-06 12:45
806
compos_1__882_14.min1.thm1
2017-02-06 12:45
1.3K
compos_1__885_18.min1.thm1
2017-02-06 12:45
735
compos_1__890_24.min1.thm1
2017-02-06 12:45
2.2K
compos_1__896_59.min1.thm1
2017-02-06 12:45
3.6K
compos_1__912_32.min1.thm1
2017-02-06 12:45
2.2K
compos_1__933_31.min1.thm1
2017-02-06 12:45
796
compos_1__935_28.min1.thm1
2017-02-06 12:45
1.4K
compos_1__937_33.min1.thm1
2017-02-06 12:45
1.3K
compos_1__942_43.min1.thm1
2017-02-06 12:45
1.4K
compos_1__966_30.min1.thm1
2017-02-06 12:45
740
compos_1__966_30.min1.thm1.tptp
2017-02-06 16:48
665
compos_1__973_41.min1.thm1
2017-02-06 12:45
1.2K
compos_1__974_18.min1.thm1
2017-02-06 12:45
1.0K
compos_1__975_22.min1.thm1
2017-02-06 12:45
1.7K
compos_1__983_31.min1.thm1
2017-02-06 12:45
2.4K
compos_1__1003_22.min1.thm1
2017-02-06 12:45
1.7K
compos_1__1016_35.min1.thm1
2017-02-06 12:45
1.2K
compos_1__1017_47.min1.thm1
2017-02-06 12:45
1.5K
compos_1__1028_19.min1.thm1
2017-02-06 12:45
1.2K
compos_1__1034_27.min1.thm1
2017-02-06 12:45
793
compos_1__1034_27.min1.thm1.tptp
2017-02-06 16:48
718
compos_1__1046_11.min1.thm1
2017-02-06 12:45
4.2K
compos_1__1054_13.min1.thm1
2017-02-06 12:45
443
compos_1__1054_13.min1.thm1.tptp
2017-02-06 16:48
370
compos_1__1055_23.min1.thm1
2017-02-06 12:45
441
compos_1__1055_23.min1.thm1.tptp
2017-02-06 16:48
368
compos_1__1062_12.min1.thm1
2017-02-06 12:45
771
compos_1__1065_18.min1.thm1
2017-02-06 12:45
809
compos_1__1069_22.min1.thm1
2017-02-06 12:45
892
compos_1__1077_35.min1.thm1
2017-02-06 12:45
351
compos_1__1088_22.min1.thm1
2017-02-06 12:45
424
compos_1__1088_22.min1.thm1.tptp
2017-02-06 16:48
349
compos_1__1097_17.min1.thm1
2017-02-06 12:45
540
compos_1__1098_19.min1.thm1
2017-02-06 12:45
763
compos_1__1099_23.min1.thm1
2017-02-06 12:45
1.3K
compos_1__1103_29.min1.thm1
2017-02-06 12:45
949
compos_1__1106_32.min1.thm1
2017-02-06 12:45
632
compos_1__1113_24.min1.thm1
2017-02-06 12:45
949
compos_1__1114_22.min1.thm1
2017-02-06 12:45
426
compos_1__1114_22.min1.thm1.tptp
2017-02-06 16:48
351
compos_1__1116_18.min1.thm1
2017-02-06 12:45
805
compos_1__1117_29.min1.thm1
2017-02-06 12:45
1.2K
compos_1__1128_46.min1.thm1
2017-02-06 12:45
1.8K
compos_1__1129_13.min1.thm1
2017-02-06 12:45
1.9K
compos_1__1130_21.min1.thm1
2017-02-06 12:45
837
compos_1__1130_21.min1.thm1.tptp
2017-02-06 16:48
762
compos_1__1151_14.min1.thm1
2017-02-06 12:45
880
compos_1__1152_24.min1.thm1
2017-02-06 12:45
434
compos_1__1152_24.min1.thm1.tptp
2017-02-06 16:48
359
compos_1__1160_20.min1.thm1
2017-02-06 12:45
813
compos_1__1161_17.min1.thm1
2017-02-06 12:45
1.0K
compos_1__1171_24.min1.thm1
2017-02-06 12:45
677
compos_1__1177_27.min1.thm1
2017-02-06 12:45
368
compos_1__1177_27.min1.thm1.tptp
2017-02-06 16:48
291
compos_1__1179_19.min1.thm1
2017-02-06 12:45
1.7K
compos_1__1180_10.min1.thm1
2017-02-06 12:45
1.5K
compos_1__1187_24.min1.thm1
2017-02-06 12:45
677
compos_1__1194_11.min1.thm1
2017-02-06 12:45
329
compos_1__1197_44.min1.thm1
2017-02-06 12:45
436
compos_1__1202_44.min1.thm1
2017-02-06 12:45
436
compos_1__1243_33.min1.thm1
2017-02-06 12:45
1.2K
compos_1__1244_33.min1.thm1
2017-02-06 12:45
1.2K
compos_1__1251_27.min1.thm1
2017-02-06 12:45
863
compos_1__1255_25.min1.thm1
2017-02-06 12:45
1.0K
compos_1__1257_20.min1.thm1
2017-02-06 12:45
1.8K
compos_1__1258_20.min1.thm1
2017-02-06 12:45
1.0K
compos_1__1262_47.min1.thm1
2017-02-06 12:45
2.0K
compos_1__1269_48.min1.thm1
2017-02-06 12:45
1.6K
compos_1__1283_32.min1.thm1
2017-02-06 12:45
922
compos_1__1285_32.min1.thm1
2017-02-06 12:45
2.3K
compos_1__1300_32.min1.thm1
2017-02-06 12:45
1.5K
compos_1__1305_21.min1.thm1
2017-02-06 12:45
1.1K
compos_1__1307_42.min1.thm1
2017-02-06 12:45
2.9K
compos_1__1310_26.min1.thm1
2017-02-06 12:45
1.5K
compos_1__1311_28.min1.thm1
2017-02-06 12:45
2.1K
compos_1__1316_10.min1.thm1
2017-02-06 12:45
638
compos_1__1316_10.min1.thm1.tptp
2017-02-06 16:48
576
compos_1__1331_10.min1.thm1
2017-02-06 12:45
3.5K
compos_1__1332_22.min1.thm1
2017-02-06 12:45
1.2K
compos_1__1333_26.min1.thm1
2017-02-06 12:45
1.9K
compos_1__1335_29.min1.thm1
2017-02-06 12:45
1.6K
compos_1__1336_35.min1.thm1
2017-02-06 12:45
1.5K
compos_1__1339_34.min1.thm1
2017-02-06 12:45
1.7K
compos_1__1342_21.min1.thm1
2017-02-06 12:45
1.2K
compos_1__1372_32.min1.thm1
2017-02-06 12:45
1.2K
compos_1__1376_40.min1.thm1
2017-02-06 12:45
1.9K
compos_1__1377_34.min1.thm1
2017-02-06 12:45
1.9K
compos_1__1380_33.min1.thm1
2017-02-06 12:45
1.4K
compos_1__1387_46.min1.thm1
2017-02-06 12:45
1.5K
compos_1__1389_54.min1.thm1
2017-02-06 12:45
1.0K
compos_1__1394_10.min1.thm1
2017-02-06 12:45
686
compos_1__1394_10.min1.thm1.tptp
2017-02-06 16:48
624
compos_1__1406_29.min1.thm1
2017-02-06 12:45
3.1K
compos_1__1432_50.min1.thm1
2017-02-06 12:45
1.4K
compos_1__1433_49.min1.thm1
2017-02-06 12:45
1.4K
compos_1__1477_57.min1.thm1
2017-02-06 12:45
3.0K
compos_1__1486_21.min1.thm1
2017-02-06 12:45
1.1K
compos_1__1495_32.min1.thm1
2017-02-06 12:45
1.2K
compos_1__1496_40.min1.thm1
2017-02-06 12:45
2.1K
compos_1__1521_46.min1.thm1
2017-02-06 12:45
3.9K
compos_1__1533_33.min1.thm1
2017-02-06 12:45
2.1K
compos_1__1608_64.min1.thm1
2017-02-06 12:45
383
compos_1__1608_64.min1.thm1.tptp
2017-02-06 16:48
318
compos_1__1624_31.min1.thm1
2017-02-06 12:45
1.5K
compos_1__1638_41.min1.thm1
2017-02-06 12:45
881
compos_1__1651_30.min1.thm1
2017-02-06 12:45
1.5K
compos_1__1663_38.min1.thm1
2017-02-06 12:45
269
compos_1__1669_17.min1.thm1
2017-02-06 12:45
1.6K
compos_1__1674_37.min1.thm1
2017-02-06 12:45
270
compos_1__1675_18.min1.thm1
2017-02-06 12:45
816
compos_1__1677_26.min1.thm1
2017-02-06 12:45
2.2K
compos_1__1698_42.min1.thm1
2017-02-06 12:45
921
compos_1__1699_29.min1.thm1
2017-02-06 12:45
1.6K
compos_1__1703_22.min1.thm1
2017-02-06 12:45
1.0K
compos_1__1716_11.min1.thm1
2017-02-06 12:45
1.7K
compos_1__1728_11.min1.thm1
2017-02-06 12:45
2.9K
compos_1__1743_20.min1.thm1
2017-02-06 12:45
1.7K
compos_1__1758_11.min1.thm1
2017-02-06 12:45
2.5K
compos_1__1776_29.min1.thm1
2017-02-06 12:45
1.8K
compos_1__1777_33.min1.thm1
2017-02-06 12:45
1.0K
compos_1__1787_15.min1.thm1
2017-02-06 12:45
566
compos_1__1787_15.min1.thm1.tptp
2017-02-06 16:48
487
compos_1__1799_24.min1.thm1
2017-02-06 12:45
705
compos_1__1800_28.min1.thm1
2017-02-06 12:45
835
compos_1__1802_34.min1.thm1
2017-02-06 12:45
962
compos_1__1814_20.min1.thm1
2017-02-06 12:45
564
compos_1__1814_20.min1.thm1.tptp
2017-02-06 16:48
489
compos_1__1815_22.min1.thm1
2017-02-06 12:45
736
compos_1__1818_20.min1.thm1
2017-02-06 12:45
805
compos_1__1819_29.min1.thm1
2017-02-06 12:45
1.6K
compos_1__1821_41.min1.thm1
2017-02-06 12:45
1.1K
compos_1__1823_30.min1.thm1
2017-02-06 12:45
1.1K
compos_1__1825_38.min1.thm1
2017-02-06 12:45
1.5K
compos_1__1836_15.min1.thm1
2017-02-06 12:45
865
compos_1__1851_31.min1.thm1
2017-02-06 12:45
1.5K
compos_1__1855_13.min1.thm1
2017-02-06 12:45
251
compos_1__1858_32.min1.thm1
2017-02-06 12:45
1.4K
compos_1__1859_18.min1.thm1
2017-02-06 12:45
1.0K
compos_1__1860_18.min1.thm1
2017-02-06 12:45
750
compos_1__1870_32.min1.thm1
2017-02-06 12:45
1.4K
compos_1__1872_18.min1.thm1
2017-02-06 12:45
750
compos_1__1878_29.min1.thm1
2017-02-06 12:45
1.5K
compos_1__1895_41.min1.thm1
2017-02-06 12:45
1.2K
compos_1__1896_41.min1.thm1
2017-02-06 12:45
1.2K
compos_1__1898_46.min1.thm1
2017-02-06 12:45
1.3K
compos_1__1934_33.min1.thm1
2017-02-06 12:45
1.2K
compos_1__1938_31.min1.thm1
2017-02-06 12:45
1.0K
compos_1__1939_21.min1.thm1
2017-02-06 12:45
970
compos_1__1950_14.min1.thm1
2017-02-06 12:45
2.0K
compos_1__1952_30.min1.thm1
2017-02-06 12:45
2.0K
compos_1__1957_40.min1.thm1
2017-02-06 12:45
1.4K
compos_1__1961_31.min1.thm1
2017-02-06 12:45
1.0K
compos_1__1962_31.min1.thm1
2017-02-06 12:45
1.0K
compos_1__1963_24.min1.thm1
2017-02-06 12:45
1.0K
compos_1__1965_26.min1.thm1
2017-02-06 12:45
605
compos_1__1965_26.min1.thm1.tptp
2017-02-06 16:48
541
compos_1__1972_13.min1.thm1
2017-02-06 12:45
1.3K
compos_1__1977_50.min1.thm1
2017-02-06 12:45
505
compos_1__1988_71.min1.thm1
2017-02-06 12:45
876
compos_1__1989_43.min1.thm1
2017-02-06 12:45
921
compos_1__1991_52.min1.thm1
2017-02-06 12:45
1.4K
compos_1__2027_31.min1.thm1
2017-02-06 12:45
1.5K
compos_1__2036_13.min1.thm1
2017-02-06 12:45
285
compos_1__2039_43.min1.thm1
2017-02-06 12:45
933
compos_1__2041_31.min1.thm1
2017-02-06 12:45
1.0K
compos_1__2044_28.min1.thm1
2017-02-06 12:45
1.8K
compos_1__2047_15.min1.thm1
2017-02-06 12:45
600
compos_1__2051_33.min1.thm1
2017-02-06 12:45
1.2K
compos_1__2055_20.min1.thm1
2017-02-06 12:45
744
compos_1__2056_37.min1.thm1
2017-02-06 12:45
1.6K
compos_1__2059_28.min1.thm1
2017-02-06 12:45
1.8K
compos_1__2060_22.min1.thm1
2017-02-06 12:45
1.2K
compos_1__2081_47.min1.thm1
2017-02-06 12:45
1.5K
compos_1__2085_62.min1.thm1
2017-02-06 12:45
778
compos_1__2089_22.min1.thm1
2017-02-06 12:45
1.5K
compos_1__2103_19.min1.thm1
2017-02-06 12:45
512
compos_1__2103_19.min1.thm1.tptp
2017-02-06 16:48
438
compos_1__2104_46.min1.thm1
2017-02-06 12:45
1.1K
compos_1__2105_38.min1.thm1
2017-02-06 12:45
269
compos_1__2106_12.min1.thm1
2017-02-06 12:45
235
compos_1__2107_16.min1.thm1
2017-02-06 12:45
357
compos_1__2107_16.min1.thm1.tptp
2017-02-06 16:48
280
compos_1__2109_65.min1.thm1
2017-02-06 12:45
232
compos_1__2119_12.min1.thm1
2017-02-06 12:45
403
compos_1__2119_12.min1.thm1.tptp
2017-02-06 16:48
325
compos_1__2158_47.min1.thm1
2017-02-06 12:45
1.3K
compos_1__2159_29.min1.thm1
2017-02-06 12:45
903
compos_1__2160_20.min1.thm1
2017-02-06 12:45
1.2K
compos_1__2161_16.min1.thm1
2017-02-06 12:45
722
compos_1__2173_22.min1.thm1
2017-02-06 12:45
1.9K
compos_1__2174_17.min1.thm1
2017-02-06 12:45
867
compos_1__2186_23.min1.thm1
2017-02-06 12:45
2.1K
compos_1__2194_23.min1.thm1
2017-02-06 12:45
358
compos_1__2194_23.min1.thm1.tptp
2017-02-06 16:48
277
compos_1__2195_27.min1.thm1
2017-02-06 12:45
1.3K
compos_1__2196_18.min1.thm1
2017-02-06 12:45
1.7K
compos_1__2197_15.min1.thm1
2017-02-06 12:45
866
compos_1__2202_39.min1.thm1
2017-02-06 12:45
1.9K
compos_1__2207_22.min1.thm1
2017-02-06 12:45
1.9K
compos_1__2208_17.min1.thm1
2017-02-06 12:45
831
compos_1__2214_24.min1.thm1
2017-02-06 12:45
1.9K
compos_1__2215_36.min1.thm1
2017-02-06 12:45
1.8K
compos_1__2216_11.min1.thm1
2017-02-06 12:45
962
compos_1__2223_24.min1.thm1
2017-02-06 12:45
1.7K
compos_1__2230_26.min1.thm1
2017-02-06 12:45
1.8K
compos_1__2231_13.min1.thm1
2017-02-06 12:45
518
compos_1__2232_7.min1.thm1
2017-02-06 12:45
715
compos_1__2238_21.min1.thm1
2017-02-06 12:45
486
compos_1__2239_17.min1.thm1
2017-02-06 12:45
2.3K
compos_1__2246_16.min1.thm1
2017-02-06 12:45
520
compos_1__2248_10.min1.thm1
2017-02-06 12:45
951
compos_1__2254_23.min1.thm1
2017-02-06 12:45
361
compos_1__2254_23.min1.thm1.tptp
2017-02-06 16:48
280
compos_1__2255_27.min1.thm1
2017-02-06 12:45
1.3K
compos_1__2256_35.min1.thm1
2017-02-06 12:45
1.4K
compos_1__2264_18.min1.thm1
2017-02-06 12:45
486
compos_1__2269_38.min1.thm1
2017-02-06 12:45
273
compos_1__2272_25.min1.thm1
2017-02-06 12:45
1.2K
compos_1__2274_16.min1.thm1
2017-02-06 12:45
2.2K
compos_1__2280_54.min1.thm1
2017-02-06 12:45
576
compos_1__2287_30.min1.thm1
2017-02-06 12:45
2.5K
compos_1__2298_27.min1.thm1
2017-02-06 12:45
1.3K
compos_1__2299_22.min1.thm1
2017-02-06 12:45
361
compos_1__2299_22.min1.thm1.tptp
2017-02-06 16:48
280
compos_1__2301_21.min1.thm1
2017-02-06 12:45
868
compos_1__2302_25.min1.thm1
2017-02-06 12:45
1.7K
compos_1__2303_27.min1.thm1
2017-02-06 12:45
1.7K
compos_1__2305_14.min1.thm1
2017-02-06 12:45
2.3K
compos_1__2314_41.min1.thm1
2017-02-06 12:45
925
compos_1__2325_12.min1.thm1
2017-02-06 12:45
1.6K
compos_1__2327_18.min1.thm1
2017-02-06 12:45
1.5K
compos_1__2330_19.min1.thm1
2017-02-06 12:45
888
compos_1__2339_63.min1.thm1
2017-02-06 12:45
1.1K
compos_1__2341_14.min1.thm1
2017-02-06 12:45
449
compos_1__2350_28.min1.thm1
2017-02-06 12:45
561
compos_1__2370_42.min1.thm1
2017-02-06 12:45
949
compos_1__2371_24.min1.thm1
2017-02-06 12:45
771
compos_1__2379_22.min1.thm1
2017-02-06 12:45
737
compos_1__2401_27.min1.thm1
2017-02-06 12:45
2.1K
compos_1__2414_29.min1.thm1
2017-02-06 12:45
549
compos_1__2426_17.min1.thm1
2017-02-06 12:45
948
compos_1__2443_29.min1.thm1
2017-02-06 12:45
570
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80