Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/integra1
Name
Last modified
Size
Description
Parent Directory
-
integra1__61_53.min1.thm1
2017-02-06 12:44
537
integra1__62_20.min1.thm1
2017-02-06 12:44
382
integra1__62_20.min1.thm1.tptp
2017-02-06 16:47
324
integra1__71_22.min1.thm1
2017-02-06 12:44
525
integra1__72_14.min1.thm1
2017-02-06 12:44
753
integra1__81_45.min1.thm1
2017-02-06 12:44
543
integra1__92_16.min1.thm1
2017-02-06 12:44
628
integra1__92_16.min1.thm1.tptp
2017-02-06 16:47
585
integra1__99_14.min1.thm1
2017-02-06 12:44
851
integra1__100_23.min1.thm1
2017-02-06 12:44
1.0K
integra1__109_41.min1.thm1
2017-02-06 12:44
1.0K
integra1__110_16.min1.thm1
2017-02-06 12:44
324
integra1__118_41.min1.thm1
2017-02-06 12:44
1.0K
integra1__119_16.min1.thm1
2017-02-06 12:44
324
integra1__127_18.min1.thm1
2017-02-06 12:44
1.7K
integra1__141_13.min1.thm1
2017-02-06 12:44
1.0K
integra1__142_17.min1.thm1
2017-02-06 12:44
1.1K
integra1__158_17.min1.thm1
2017-02-06 12:44
1.0K
integra1__160_17.min1.thm1
2017-02-06 12:44
364
integra1__160_17.min1.thm1.tptp
2017-02-06 16:47
301
integra1__167_14.min1.thm1
2017-02-06 12:44
1.7K
integra1__168_21.min1.thm1
2017-02-06 12:44
1.9K
integra1__172_25.min1.thm1
2017-02-06 12:44
614
integra1__176_17.min1.thm1
2017-02-06 12:44
905
integra1__179_19.min1.thm1
2017-02-06 12:44
665
integra1__195_47.min1.thm1
2017-02-06 12:44
399
integra1__197_43.min1.thm1
2017-02-06 12:44
256
integra1__198_21.min1.thm1
2017-02-06 12:44
1.0K
integra1__199_19.min1.thm1
2017-02-06 12:44
1.2K
integra1__211_35.min1.thm1
2017-02-06 12:44
380
integra1__211_35.min1.thm1.tptp
2017-02-06 16:47
299
integra1__212_23.min1.thm1
2017-02-06 12:44
380
integra1__212_23.min1.thm1.tptp
2017-02-06 16:47
299
integra1__215_33.min1.thm1
2017-02-06 12:44
376
integra1__215_33.min1.thm1.tptp
2017-02-06 16:47
295
integra1__216_23.min1.thm1
2017-02-06 12:44
376
integra1__216_23.min1.thm1.tptp
2017-02-06 16:47
295
integra1__218_19.min1.thm1
2017-02-06 12:44
438
integra1__218_19.min1.thm1.tptp
2017-02-06 16:47
386
integra1__227_34.min1.thm1
2017-02-06 12:44
700
integra1__228_16.min1.thm1
2017-02-06 12:44
357
integra1__228_16.min1.thm1.tptp
2017-02-06 16:47
277
integra1__252_19.min1.thm1
2017-02-06 12:44
1.8K
integra1__253_15.min1.thm1
2017-02-06 12:44
1.0K
integra1__254_17.min1.thm1
2017-02-06 12:44
854
integra1__264_20.min1.thm1
2017-02-06 12:44
1.4K
integra1__265_9.min1.thm1
2017-02-06 12:44
928
integra1__266_23.min1.thm1
2017-02-06 12:44
1.1K
integra1__268_12.min1.thm1
2017-02-06 12:44
1.6K
integra1__269_35.min1.thm1
2017-02-06 12:44
921
integra1__270_11.min1.thm1
2017-02-06 12:44
1.0K
integra1__272_19.min1.thm1
2017-02-06 12:44
2.1K
integra1__273_9.min1.thm1
2017-02-06 12:44
1.3K
integra1__275_15.min1.thm1
2017-02-06 12:44
2.2K
integra1__276_17.min1.thm1
2017-02-06 12:44
1.0K
integra1__279_26.min1.thm1
2017-02-06 12:44
1.9K
integra1__280_17.min1.thm1
2017-02-06 12:44
4.1K
integra1__302_32.min1.thm1
2017-02-06 12:44
1.8K
integra1__306_56.min1.thm1
2017-02-06 12:44
2.1K
integra1__308_46.min1.thm1
2017-02-06 12:44
576
integra1__308_46.min1.thm1.tptp
2017-02-06 16:47
501
integra1__312_23.min1.thm1
2017-02-06 12:44
715
integra1__325_12.min1.thm1
2017-02-06 12:44
1.3K
integra1__327_17.min1.thm1
2017-02-06 12:44
625
integra1__333_42.min1.thm1
2017-02-06 12:44
562
integra1__333_42.min1.thm1.tptp
2017-02-06 16:47
487
integra1__335_26.min1.thm1
2017-02-06 12:44
1.7K
integra1__336_30.min1.thm1
2017-02-06 12:44
1.7K
integra1__337_21.min1.thm1
2017-02-06 12:44
767
integra1__345_11.min1.thm1
2017-02-06 12:44
1.2K
integra1__352_34.min1.thm1
2017-02-06 12:44
846
integra1__353_20.min1.thm1
2017-02-06 12:44
925
integra1__363_10.min1.thm1
2017-02-06 12:44
1.3K
integra1__364_17.min1.thm1
2017-02-06 12:44
1.0K
integra1__365_19.min1.thm1
2017-02-06 12:44
1.0K
integra1__367_13.min1.thm1
2017-02-06 12:44
131
integra1__376_13.min1.thm1
2017-02-06 12:44
179
integra1__379_27.min1.thm1
2017-02-06 12:44
737
integra1__381_57.min1.thm1
2017-02-06 12:44
634
integra1__384_11.min1.thm1
2017-02-06 12:44
1.2K
integra1__387_42.min1.thm1
2017-02-06 12:44
1.9K
integra1__389_50.min1.thm1
2017-02-06 12:44
627
integra1__391_10.min1.thm1
2017-02-06 12:44
2.3K
integra1__392_21.min1.thm1
2017-02-06 12:44
865
integra1__398_45.min1.thm1
2017-02-06 12:44
666
integra1__401_50.min1.thm1
2017-02-06 12:44
700
integra1__406_21.min1.thm1
2017-02-06 12:44
970
integra1__409_14.min1.thm1
2017-02-06 12:44
332
integra1__416_13.min1.thm1
2017-02-06 12:44
834
integra1__441_26.min1.thm1
2017-02-06 12:44
596
integra1__445_19.min1.thm1
2017-02-06 12:44
1.0K
integra1__462_71.min1.thm1
2017-02-06 12:44
1.0K
integra1__463_21.min1.thm1
2017-02-06 12:44
1.2K
integra1__479_26.min1.thm1
2017-02-06 12:44
596
integra1__483_19.min1.thm1
2017-02-06 12:44
1.0K
integra1__500_71.min1.thm1
2017-02-06 12:44
1.0K
integra1__502_21.min1.thm1
2017-02-06 12:44
1.2K
integra1__535_17.min1.thm1
2017-02-06 12:44
490
integra1__535_17.min1.thm1.tptp
2017-02-06 16:47
415
integra1__542_18.min1.thm1
2017-02-06 12:44
865
integra1__552_32.min1.thm1
2017-02-06 12:44
2.1K
integra1__553_16.min1.thm1
2017-02-06 12:44
2.1K
integra1__566_17.min1.thm1
2017-02-06 12:44
490
integra1__566_17.min1.thm1.tptp
2017-02-06 16:47
415
integra1__573_18.min1.thm1
2017-02-06 12:44
865
integra1__583_32.min1.thm1
2017-02-06 12:44
2.1K
integra1__584_16.min1.thm1
2017-02-06 12:44
2.1K
integra1__647_20.min1.thm1
2017-02-06 12:44
1.4K
integra1__650_20.min1.thm1
2017-02-06 12:44
1.4K
integra1__665_25.min1.thm1
2017-02-06 12:44
1.2K
integra1__670_40.min1.thm1
2017-02-06 12:44
1.4K
integra1__671_19.min1.thm1
2017-02-06 12:44
693
integra1__673_17.min1.thm1
2017-02-06 12:44
1.3K
integra1__683_31.min1.thm1
2017-02-06 12:44
1.3K
integra1__687_25.min1.thm1
2017-02-06 12:44
1.2K
integra1__689_25.min1.thm1
2017-02-06 12:44
1.6K
integra1__690_19.min1.thm1
2017-02-06 12:44
1.7K
integra1__703_25.min1.thm1
2017-02-06 12:44
1.2K
integra1__708_40.min1.thm1
2017-02-06 12:44
1.4K
integra1__709_19.min1.thm1
2017-02-06 12:44
693
integra1__711_17.min1.thm1
2017-02-06 12:44
1.3K
integra1__721_31.min1.thm1
2017-02-06 12:44
1.3K
integra1__725_25.min1.thm1
2017-02-06 12:44
1.2K
integra1__727_25.min1.thm1
2017-02-06 12:44
1.6K
integra1__728_19.min1.thm1
2017-02-06 12:44
1.7K
integra1__743_17.min1.thm1
2017-02-06 12:44
1.3K
integra1__757_19.min1.thm1
2017-02-06 12:44
1.3K
integra1__767_29.min1.thm1
2017-02-06 12:44
483
integra1__767_29.min1.thm1.tptp
2017-02-06 16:47
400
integra1__768_21.min1.thm1
2017-02-06 12:44
1.0K
integra1__769_25.min1.thm1
2017-02-06 12:44
570
integra1__770_23.min1.thm1
2017-02-06 12:44
1.0K
integra1__774_24.min1.thm1
2017-02-06 12:44
888
integra1__776_18.min1.thm1
2017-02-06 12:44
1.6K
integra1__794_30.min1.thm1
2017-02-06 12:44
884
integra1__797_17.min1.thm1
2017-02-06 12:44
1.0K
integra1__803_25.min1.thm1
2017-02-06 12:44
1.0K
integra1__808_21.min1.thm1
2017-02-06 12:44
2.7K
integra1__810_54.min1.thm1
2017-02-06 12:44
1.1K
integra1__811_42.min1.thm1
2017-02-06 12:44
2.1K
integra1__815_25.min1.thm1
2017-02-06 12:44
629
integra1__816_40.min1.thm1
2017-02-06 12:44
644
integra1__823_25.min1.thm1
2017-02-06 12:44
1.0K
integra1__827_21.min1.thm1
2017-02-06 12:44
2.7K
integra1__829_54.min1.thm1
2017-02-06 12:44
1.1K
integra1__830_42.min1.thm1
2017-02-06 12:44
2.1K
integra1__834_25.min1.thm1
2017-02-06 12:44
629
integra1__835_40.min1.thm1
2017-02-06 12:44
644
integra1__847_45.min1.thm1
2017-02-06 12:44
407
integra1__847_45.min1.thm1.tptp
2017-02-06 16:47
329
integra1__848_45.min1.thm1
2017-02-06 12:44
498
integra1__853_27.min1.thm1
2017-02-06 12:44
1.2K
integra1__859_27.min1.thm1
2017-02-06 12:44
1.3K
integra1__860_22.min1.thm1
2017-02-06 12:44
1.2K
integra1__862_18.min1.thm1
2017-02-06 12:44
1.3K
integra1__863_17.min1.thm1
2017-02-06 12:44
1.3K
integra1__864_19.min1.thm1
2017-02-06 12:44
1.0K
integra1__871_22.min1.thm1
2017-02-06 12:44
1.5K
integra1__879_14.min1.thm1
2017-02-06 12:44
354
integra1__890_45.min1.thm1
2017-02-06 12:44
407
integra1__890_45.min1.thm1.tptp
2017-02-06 16:47
329
integra1__891_45.min1.thm1
2017-02-06 12:44
498
integra1__897_28.min1.thm1
2017-02-06 12:44
1.2K
integra1__903_27.min1.thm1
2017-02-06 12:44
1.3K
integra1__904_22.min1.thm1
2017-02-06 12:44
1.2K
integra1__906_18.min1.thm1
2017-02-06 12:44
1.3K
integra1__907_17.min1.thm1
2017-02-06 12:44
1.3K
integra1__908_19.min1.thm1
2017-02-06 12:44
1.0K
integra1__916_22.min1.thm1
2017-02-06 12:44
1.2K
integra1__918_19.min1.thm1
2017-02-06 12:44
2.0K
integra1__924_14.min1.thm1
2017-02-06 12:44
354
integra1__934_24.min1.thm1
2017-02-06 12:44
1.3K
integra1__941_19.min1.thm1
2017-02-06 12:44
1.8K
integra1__945_38.min1.thm1
2017-02-06 12:44
2.7K
integra1__948_49.min1.thm1
2017-02-06 12:44
905
integra1__957_21.min1.thm1
2017-02-06 12:44
1.3K
integra1__962_35.min1.thm1
2017-02-06 12:44
1.2K
integra1__966_35.min1.thm1
2017-02-06 12:44
1.2K
integra1__981_41.min1.thm1
2017-02-06 12:44
1.9K
integra1__983_18.min1.thm1
2017-02-06 12:44
1.9K
integra1__989_16.min1.thm1
2017-02-06 12:44
446
integra1__993_50.min1.thm1
2017-02-06 12:44
2.0K
integra1__994_21.min1.thm1
2017-02-06 12:44
1.7K
integra1__998_50.min1.thm1
2017-02-06 12:44
2.0K
integra1__999_28.min1.thm1
2017-02-06 12:44
1.2K
integra1__1002_62.min1.thm1
2017-02-06 12:44
884
integra1__1007_17.min1.thm1
2017-02-06 12:44
948
integra1__1011_19.min1.thm1
2017-02-06 12:44
301
integra1__1014_25.min1.thm1
2017-02-06 12:44
458
integra1__1015_46.min1.thm1
2017-02-06 12:44
1.3K
integra1__1019_55.min1.thm1
2017-02-06 12:44
1.8K
integra1__1020_29.min1.thm1
2017-02-06 12:44
1.4K
integra1__1021_30.min1.thm1
2017-02-06 12:44
890
integra1__1023_26.min1.thm1
2017-02-06 12:44
1.4K
integra1__1026_63.min1.thm1
2017-02-06 12:44
1.6K
integra1__1027_25.min1.thm1
2017-02-06 12:44
476
integra1__1028_33.min1.thm1
2017-02-06 12:44
2.3K
integra1__1029_35.min1.thm1
2017-02-06 12:44
919
integra1__1031_25.min1.thm1
2017-02-06 12:44
1.7K
integra1__1039_48.min1.thm1
2017-02-06 12:44
1.4K
integra1__1047_19.min1.thm1
2017-02-06 12:44
395
integra1__1048_30.min1.thm1
2017-02-06 12:44
2.2K
integra1__1050_25.min1.thm1
2017-02-06 12:44
1.7K
integra1__1051_66.min1.thm1
2017-02-06 12:44
2.9K
integra1__1056_44.min1.thm1
2017-02-06 12:44
1.1K
integra1__1058_32.min1.thm1
2017-02-06 12:44
1.3K
integra1__1060_48.min1.thm1
2017-02-06 12:44
1.7K
integra1__1068_27.min1.thm1
2017-02-06 12:44
2.3K
integra1__1072_49.min1.thm1
2017-02-06 12:44
1.3K
integra1__1078_23.min1.thm1
2017-02-06 12:44
2.4K
integra1__1079_38.min1.thm1
2017-02-06 12:44
1.1K
integra1__1080_30.min1.thm1
2017-02-06 12:44
1.5K
integra1__1082_25.min1.thm1
2017-02-06 12:44
1.8K
integra1__1083_23.min1.thm1
2017-02-06 12:44
2.7K
integra1__1084_27.min1.thm1
2017-02-06 12:44
2.7K
integra1__1089_38.min1.thm1
2017-02-06 12:44
2.5K
integra1__1090_34.min1.thm1
2017-02-06 12:44
1.2K
integra1__1091_32.min1.thm1
2017-02-06 12:44
1.3K
integra1__1093_32.min1.thm1
2017-02-06 12:44
1.6K
integra1__1096_44.min1.thm1
2017-02-06 12:44
1.5K
integra1__1099_54.min1.thm1
2017-02-06 12:44
1.5K
integra1__1101_28.min1.thm1
2017-02-06 12:44
1.3K
integra1__1104_52.min1.thm1
2017-02-06 12:44
1.6K
integra1__1105_52.min1.thm1
2017-02-06 12:44
2.0K
integra1__1112_53.min1.thm1
2017-02-06 12:44
1.4K
integra1__1116_70.min1.thm1
2017-02-06 12:44
1.9K
integra1__1117_27.min1.thm1
2017-02-06 12:44
2.0K
integra1__1120_20.min1.thm1
2017-02-06 12:44
814
integra1__1123_16.min1.thm1
2017-02-06 12:44
804
integra1__1129_22.min1.thm1
2017-02-06 12:44
1.3K
integra1__1134_18.min1.thm1
2017-02-06 12:44
3.5K
integra1__1137_18.min1.thm1
2017-02-06 12:44
1.2K
integra1__1138_22.min1.thm1
2017-02-06 12:44
2.0K
integra1__1141_20.min1.thm1
2017-02-06 12:44
1.7K
integra1__1143_22.min1.thm1
2017-02-06 12:44
1.5K
integra1__1144_30.min1.thm1
2017-02-06 12:44
2.7K
integra1__1145_28.min1.thm1
2017-02-06 12:44
901
integra1__1147_18.min1.thm1
2017-02-06 12:44
1.6K
integra1__1150_15.min1.thm1
2017-02-06 12:44
185
integra1__1158_17.min1.thm1
2017-02-06 12:44
1.2K
integra1__1159_24.min1.thm1
2017-02-06 12:44
2.2K
integra1__1161_16.min1.thm1
2017-02-06 12:44
893
integra1__1166_16.min1.thm1
2017-02-06 12:44
486
integra1__1173_40.min1.thm1
2017-02-06 12:44
642
integra1__1175_19.min1.thm1
2017-02-06 12:44
1.0K
integra1__1179_44.min1.thm1
2017-02-06 12:44
1.6K
integra1__1190_19.min1.thm1
2017-02-06 12:44
1.3K
integra1__1205_17.min1.thm1
2017-02-06 12:44
1.5K
integra1__1210_16.min1.thm1
2017-02-06 12:44
632
integra1__1212_43.min1.thm1
2017-02-06 12:44
1.6K
integra1__1213_40.min1.thm1
2017-02-06 12:44
1.6K
integra1__1215_17.min1.thm1
2017-02-06 12:44
916
integra1__1227_36.min1.thm1
2017-02-06 12:44
1.4K
integra1__1228_16.min1.thm1
2017-02-06 12:44
2.0K
integra1__1233_36.min1.thm1
2017-02-06 12:44
1.4K
integra1__1234_16.min1.thm1
2017-02-06 12:44
2.0K
integra1__1250_16.min1.thm1
2017-02-06 12:44
962
integra1__1255_29.min1.thm1
2017-02-06 12:44
854
integra1__1266_28.min1.thm1
2017-02-06 12:44
1.1K
integra1__1275_63.min1.thm1
2017-02-06 12:44
1.9K
integra1__1281_25.min1.thm1
2017-02-06 12:44
1.4K
integra1__1289_24.min1.thm1
2017-02-06 12:44
2.0K
integra1__1290_66.min1.thm1
2017-02-06 12:44
1.0K
integra1__1295_56.min1.thm1
2017-02-06 12:44
768
integra1__1302_56.min1.thm1
2017-02-06 12:44
816
integra1__1308_61.min1.thm1
2017-02-06 12:44
1.0K
integra1__1309_19.min1.thm1
2017-02-06 12:44
1.7K
integra1__1311_63.min1.thm1
2017-02-06 12:44
1.1K
integra1__1326_16.min1.thm1
2017-02-06 12:44
960
integra1__1329_29.min1.thm1
2017-02-06 12:44
852
integra1__1349_34.min1.thm1
2017-02-06 12:44
1.5K
integra1__1352_17.min1.thm1
2017-02-06 12:44
1.6K
integra1__1353_16.min1.thm1
2017-02-06 12:44
962
integra1__1357_29.min1.thm1
2017-02-06 12:44
854
integra1__1366_17.min1.thm1
2017-02-06 12:44
1.6K
integra1__1368_28.min1.thm1
2017-02-06 12:44
1.1K
integra1__1377_64.min1.thm1
2017-02-06 12:44
1.9K
integra1__1383_25.min1.thm1
2017-02-06 12:44
1.4K
integra1__1391_24.min1.thm1
2017-02-06 12:44
2.0K
integra1__1392_66.min1.thm1
2017-02-06 12:44
1.0K
integra1__1397_56.min1.thm1
2017-02-06 12:44
768
integra1__1404_56.min1.thm1
2017-02-06 12:44
816
integra1__1409_24.min1.thm1
2017-02-06 12:44
1.7K
integra1__1411_63.min1.thm1
2017-02-06 12:44
1.1K
integra1__1412_61.min1.thm1
2017-02-06 12:44
1.0K
integra1__1435_54.min1.thm1
2017-02-06 12:44
798
integra1__1443_54.min1.thm1
2017-02-06 12:44
799
integra1__1448_16.min1.thm1
2017-02-06 12:44
962
integra1__1452_18.min1.thm1
2017-02-06 12:44
1.6K
integra1__1453_17.min1.thm1
2017-02-06 12:44
1.6K
integra1__1476_13.min1.thm1
2017-02-06 12:44
1.1K
integra1__1487_34.min1.thm1
2017-02-06 12:44
1.0K
integra1__1490_30.min1.thm1
2017-02-06 12:44
1.1K
integra1__1491_30.min1.thm1
2017-02-06 12:44
2.0K
integra1__1493_31.min1.thm1
2017-02-06 12:44
1.9K
integra1__1494_28.min1.thm1
2017-02-06 12:44
2.1K
integra1__1495_27.min1.thm1
2017-02-06 12:44
2.0K
integra1__1496_21.min1.thm1
2017-02-06 12:44
1.7K
integra1__1497_33.min1.thm1
2017-02-06 12:44
1.9K
integra1__1498_36.min1.thm1
2017-02-06 12:44
1.0K
integra1__1499_14.min1.thm1
2017-02-06 12:44
1.4K
integra1__1509_21.min1.thm1
2017-02-06 12:44
959
integra1__1510_18.min1.thm1
2017-02-06 12:44
1.6K
integra1__1514_22.min1.thm1
2017-02-06 12:44
1.1K
integra1__1515_21.min1.thm1
2017-02-06 12:44
960
integra1__1517_8.min1.thm1
2017-02-06 12:44
2.0K
integra1__1518_31.min1.thm1
2017-02-06 12:44
1.5K
integra1__1521_40.min1.thm1
2017-02-06 12:44
3.1K
integra1__1522_34.min1.thm1
2017-02-06 12:44
1.1K
integra1__1523_17.min1.thm1
2017-02-06 12:44
1.3K
integra1__1533_21.min1.thm1
2017-02-06 12:44
959
integra1__1534_18.min1.thm1
2017-02-06 12:44
1.6K
integra1__1537_22.min1.thm1
2017-02-06 12:44
1.1K
integra1__1538_54.min1.thm1
2017-02-06 12:44
1.4K
integra1__1539_21.min1.thm1
2017-02-06 12:44
650
integra1__1541_8.min1.thm1
2017-02-06 12:44
2.0K
integra1__1542_31.min1.thm1
2017-02-06 12:44
1.5K
integra1__1545_40.min1.thm1
2017-02-06 12:44
3.1K
integra1__1546_34.min1.thm1
2017-02-06 12:44
1.1K
integra1__1547_17.min1.thm1
2017-02-06 12:44
1.3K
integra1__1555_19.min1.thm1
2017-02-06 12:44
1.8K
integra1__1556_15.min1.thm1
2017-02-06 12:44
1.0K
integra1__1557_18.min1.thm1
2017-02-06 12:44
854
integra1__1558_48.min1.thm1
2017-02-06 12:44
654
integra1__1561_59.min1.thm1
2017-02-06 12:44
838
integra1__1564_5.min1.thm1
2017-02-06 12:44
1.5K
integra1__1566_49.min1.thm1
2017-02-06 12:44
1.5K
integra1__1570_11.min1.thm1
2017-02-06 12:44
517
integra1__1570_11.min1.thm1.tptp
2017-02-06 16:47
442
integra1__1571_14.min1.thm1
2017-02-06 12:44
762
integra1__1578_21.min1.thm1
2017-02-06 12:44
1.8K
integra1__1580_26.min1.thm1
2017-02-06 12:44
1.7K
integra1__1586_16.min1.thm1
2017-02-06 12:44
539
integra1__1612_20.min1.thm1
2017-02-06 12:44
1.3K
integra1__1628_18.min1.thm1
2017-02-06 12:44
303
integra1__1628_18.min1.thm1.tptp
2017-02-06 16:47
221
integra1__1630_13.min1.thm1
2017-02-06 12:44
131
integra1__1649_14.min1.thm1
2017-02-06 12:44
1.8K
integra1__1650_27.min1.thm1
2017-02-06 12:44
2.1K
integra1__1653_17.min1.thm1
2017-02-06 12:44
1.9K
integra1__1658_15.min1.thm1
2017-02-06 12:44
1.4K
integra1__1659_20.min1.thm1
2017-02-06 12:44
2.5K
integra1__1660_29.min1.thm1
2017-02-06 12:44
2.7K
integra1__1662_19.min1.thm1
2017-02-06 12:44
1.3K
integra1__1663_28.min1.thm1
2017-02-06 12:44
2.1K
integra1__1666_18.min1.thm1
2017-02-06 12:44
1.9K
integra1__1671_15.min1.thm1
2017-02-06 12:44
1.4K
integra1__1672_20.min1.thm1
2017-02-06 12:44
2.5K
integra1__1673_29.min1.thm1
2017-02-06 12:44
2.7K
integra1__1675_20.min1.thm1
2017-02-06 12:44
1.3K
integra1__1692_20.min1.thm1
2017-02-06 12:44
1.2K
integra1__1693_20.min1.thm1
2017-02-06 12:44
2.2K
integra1__1694_20.min1.thm1
2017-02-06 12:44
2.5K
integra1__1695_53.min1.thm1
2017-02-06 12:44
2.9K
integra1__1712_20.min1.thm1
2017-02-06 12:44
871
integra1__1713_20.min1.thm1
2017-02-06 12:44
1.9K
integra1__1714_20.min1.thm1
2017-02-06 12:44
2.2K
integra1__1715_23.min1.thm1
2017-02-06 12:44
1.9K
integra1__1718_40.min1.thm1
2017-02-06 12:44
1.8K
integra1__1719_39.min1.thm1
2017-02-06 12:44
1.5K
integra1__1720_20.min1.thm1
2017-02-06 12:44
872
integra1__1721_16.min1.thm1
2017-02-06 12:44
1.9K
integra1__1722_26.min1.thm1
2017-02-06 12:44
1.8K
integra1__1724_20.min1.thm1
2017-02-06 12:44
872
integra1__1725_20.min1.thm1
2017-02-06 12:44
1.9K
integra1__1729_17.min1.thm1
2017-02-06 12:44
1.6K
integra1__1730_33.min1.thm1
2017-02-06 12:44
2.6K
integra1__1744_20.min1.thm1
2017-02-06 12:44
1.6K
integra1__1745_20.min1.thm1
2017-02-06 12:44
2.7K
integra1__1747_23.min1.thm1
2017-02-06 12:44
2.6K
integra1__1749_48.min1.thm1
2017-02-06 12:44
2.1K
integra1__1750_39.min1.thm1
2017-02-06 12:44
1.5K
integra1__1751_20.min1.thm1
2017-02-06 12:44
1.6K
integra1__1752_16.min1.thm1
2017-02-06 12:44
2.6K
integra1__1753_26.min1.thm1
2017-02-06 12:44
1.8K
integra1__1756_20.min1.thm1
2017-02-06 12:44
1.6K
integra1__1757_20.min1.thm1
2017-02-06 12:44
2.7K
integra1__1762_17.min1.thm1
2017-02-06 12:44
2.2K
integra1__1766_20.min1.thm1
2017-02-06 12:44
2.5K
integra1__1769_29.min1.thm1
2017-02-06 12:44
2.5K
integra1__1771_21.min1.thm1
2017-02-06 12:44
1.3K
integra1__1772_20.min1.thm1
2017-02-06 12:44
1.8K
integra1__1774_18.min1.thm1
2017-02-06 12:44
1.2K
integra1__1778_41.min1.thm1
2017-02-06 12:44
516
integra1__1778_41.min1.thm1.tptp
2017-02-06 16:47
441
integra1__1788_23.min1.thm1
2017-02-06 12:44
1.2K
integra1__1789_22.min1.thm1
2017-02-06 12:44
2.3K
integra1__1792_13.min1.thm1
2017-02-06 12:44
2.2K
integra1__1794_49.min1.thm1
2017-02-06 12:44
1.5K
integra1__1798_28.min1.thm1
2017-02-06 12:44
1.0K
integra1__1799_17.min1.thm1
2017-02-06 12:44
1.1K
integra1__1813_20.min1.thm1
2017-02-06 12:44
1.6K
integra1__1814_13.min1.thm1
2017-02-06 12:44
2.6K
integra1__1815_11.min1.thm1
2017-02-06 12:44
1.3K
integra1__1817_20.min1.thm1
2017-02-06 12:44
1.6K
integra1__1818_15.min1.thm1
2017-02-06 12:44
2.7K
integra1__1829_50.min1.thm1
2017-02-06 12:44
610
integra1__1832_60.min1.thm1
2017-02-06 12:44
874
integra1__1837_61.min1.thm1
2017-02-06 12:44
879
integra1__1839_19.min1.thm1
2017-02-06 12:44
611
integra1__1841_15.min1.thm1
2017-02-06 12:44
928
integra1__1842_25.min1.thm1
2017-02-06 12:44
1.1K
integra1__1844_27.min1.thm1
2017-02-06 12:44
560
integra1__1846_17.min1.thm1
2017-02-06 12:44
1.7K
integra1__1861_26.min1.thm1
2017-02-06 12:44
455
integra1__1865_19.min1.thm1
2017-02-06 12:44
691
integra1__1881_27.min1.thm1
2017-02-06 12:44
633
integra1__1882_21.min1.thm1
2017-02-06 12:44
776
integra1__1916_25.min1.thm1
2017-02-06 12:44
1.6K
integra1__1918_20.min1.thm1
2017-02-06 12:44
2.3K
integra1__1921_40.min1.thm1
2017-02-06 12:44
2.3K
integra1__1925_35.min1.thm1
2017-02-06 12:44
2.0K
integra1__1934_31.min1.thm1
2017-02-06 12:44
2.0K
integra1__1938_16.min1.thm1
2017-02-06 12:44
1.0K
integra1__1951_21.min1.thm1
2017-02-06 12:44
802
integra1__1956_26.min1.thm1
2017-02-06 12:44
1.5K
integra1__1959_20.min1.thm1
2017-02-06 12:44
2.3K
integra1__1965_43.min1.thm1
2017-02-06 12:44
1.5K
integra1__1967_68.min1.thm1
2017-02-06 12:44
2.1K
integra1__1972_56.min1.thm1
2017-02-06 12:44
1.4K
integra1__1973_72.min1.thm1
2017-02-06 12:44
2.6K
integra1__1980_46.min1.thm1
2017-02-06 12:44
2.0K
integra1__1995_31.min1.thm1
2017-02-06 12:44
1.3K
integra1__2003_20.min1.thm1
2017-02-06 12:44
1.0K
integra1__2006_37.min1.thm1
2017-02-06 12:44
1.7K
integra1__2008_27.min1.thm1
2017-02-06 12:44
2.5K
integra1__2009_32.min1.thm1
2017-02-06 12:44
2.5K
integra1__2011_30.min1.thm1
2017-02-06 12:44
2.3K
integra1__2013_20.min1.thm1
2017-02-06 12:44
1.6K
integra1__2014_28.min1.thm1
2017-02-06 12:44
1.8K
integra1__2015_23.min1.thm1
2017-02-06 12:44
849
integra1__2016_53.min1.thm1
2017-02-06 12:44
644
integra1__2019_67.min1.thm1
2017-02-06 12:44
828
integra1__2025_37.min1.thm1
2017-02-06 12:44
1.7K
integra1__2027_27.min1.thm1
2017-02-06 12:44
2.5K
integra1__2028_32.min1.thm1
2017-02-06 12:44
2.5K
integra1__2049_19.min1.thm1
2017-02-06 12:44
396
integra1__2074_24.min1.thm1
2017-02-06 12:44
1.7K
integra1__2076_21.min1.thm1
2017-02-06 12:44
199
integra1__2092_60.min1.thm1
2017-02-06 12:44
1.8K
integra1__2097_29.min1.thm1
2017-02-06 12:44
717
integra1__2097_29.min1.thm1.tptp
2017-02-06 16:47
635
integra1__2103_35.min1.thm1
2017-02-06 12:44
1.6K
integra1__2105_25.min1.thm1
2017-02-06 12:44
1.0K
integra1__2107_27.min1.thm1
2017-02-06 12:44
1.3K
integra1__2108_46.min1.thm1
2017-02-06 12:44
1.0K
integra1__2113_32.min1.thm1
2017-02-06 12:44
1.7K
integra1__2114_27.min1.thm1
2017-02-06 12:44
1.3K
integra1__2124_38.min1.thm1
2017-02-06 12:44
2.1K
integra1__2125_33.min1.thm1
2017-02-06 12:44
1.7K
integra1__2141_29.min1.thm1
2017-02-06 12:44
830
integra1__2141_29.min1.thm1.tptp
2017-02-06 16:47
748
integra1__2144_22.min1.thm1
2017-02-06 12:44
518
integra1__2152_22.min1.thm1
2017-02-06 12:44
1.7K
integra1__2155_19.min1.thm1
2017-02-06 12:44
197
integra1__2176_44.min1.thm1
2017-02-06 12:44
2.0K
integra1__2182_36.min1.thm1
2017-02-06 12:44
1.6K
integra1__2183_28.min1.thm1
2017-02-06 12:44
1.0K
integra1__2185_23.min1.thm1
2017-02-06 12:44
1.3K
integra1__2186_42.min1.thm1
2017-02-06 12:44
1.0K
integra1__2187_26.min1.thm1
2017-02-06 12:44
1.0K
integra1__2194_28.min1.thm1
2017-02-06 12:44
1.7K
integra1__2195_38.min1.thm1
2017-02-06 12:44
1.9K
integra1__2204_44.min1.thm1
2017-02-06 12:44
1.8K
integra1__2208_29.min1.thm1
2017-02-06 12:44
1.9K
integra1__2216_44.min1.thm1
2017-02-06 12:44
1.8K
integra1__2226_22.min1.thm1
2017-02-06 12:44
1.7K
integra1__2234_47.min1.thm1
2017-02-06 12:44
1.7K
integra1__2239_69.min1.thm1
2017-02-06 12:44
1.8K
integra1__2242_36.min1.thm1
2017-02-06 12:44
1.5K
integra1__2247_48.min1.thm1
2017-02-06 12:44
1.6K
integra1__2252_34.min1.thm1
2017-02-06 12:44
1.3K
integra1__2254_24.min1.thm1
2017-02-06 12:44
1.0K
integra1__2267_27.min1.thm1
2017-02-06 12:44
1.7K
integra1__2269_17.min1.thm1
2017-02-06 12:44
2.4K
integra1__2270_22.min1.thm1
2017-02-06 12:44
2.7K
integra1__2272_17.min1.thm1
2017-02-06 12:44
223
integra1__2275_25.min1.thm1
2017-02-06 12:44
1.0K
integra1__2285_42.min1.thm1
2017-02-06 12:44
1.6K
integra1__2292_21.min1.thm1
2017-02-06 12:44
935
integra1__2296_40.min1.thm1
2017-02-06 12:44
1.5K
integra1__2305_31.min1.thm1
2017-02-06 12:44
1.7K
integra1__2310_23.min1.thm1
2017-02-06 12:44
937
integra1__2312_32.min1.thm1
2017-02-06 12:44
1.2K
integra1__2324_26.min1.thm1
2017-02-06 12:44
1.3K
integra1__2331_43.min1.thm1
2017-02-06 12:44
2.2K
integra1__2333_33.min1.thm1
2017-02-06 12:44
2.6K
integra1__2334_29.min1.thm1
2017-02-06 12:44
1.4K
integra1__2335_24.min1.thm1
2017-02-06 12:44
1.1K
integra1__2336_30.min1.thm1
2017-02-06 12:44
2.3K
integra1__2338_29.min1.thm1
2017-02-06 12:44
3.2K
integra1__2340_24.min1.thm1
2017-02-06 12:44
1.7K
integra1__2345_22.min1.thm1
2017-02-06 12:44
773
integra1__2365_44.min1.thm1
2017-02-06 12:44
962
integra1__2366_44.min1.thm1
2017-02-06 12:44
1.4K
integra1__2368_54.min1.thm1
2017-02-06 12:44
2.8K
integra1__2376_56.min1.thm1
2017-02-06 12:44
2.0K
integra1__2390_31.min1.thm1
2017-02-06 12:44
1.7K
integra1__2409_26.min1.thm1
2017-02-06 12:44
1.3K
integra1__2414_38.min1.thm1
2017-02-06 12:44
2.6K
integra1__2435_40.min1.thm1
2017-02-06 12:44
1.8K
integra1__2451_35.min1.thm1
2017-02-06 12:44
2.4K
integra1__2458_33.min1.thm1
2017-02-06 12:44
1.7K
integra1__2460_28.min1.thm1
2017-02-06 12:44
1.3K
integra1__2474_42.min1.thm1
2017-02-06 12:44
1.9K
integra1__2478_33.min1.thm1
2017-02-06 12:44
867
integra1__2481_72.min1.thm1
2017-02-06 12:44
1.4K
integra1__2490_27.min1.thm1
2017-02-06 12:44
223
integra1__2526_38.min1.thm1
2017-02-06 12:44
1.3K
integra1__2535_29.min1.thm1
2017-02-06 12:44
1.3K
integra1__2536_36.min1.thm1
2017-02-06 12:44
1.9K
integra1__2538_35.min1.thm1
2017-02-06 12:44
2.6K
integra1__2540_29.min1.thm1
2017-02-06 12:44
1.0K
integra1__2541_39.min1.thm1
2017-02-06 12:44
1.6K
integra1__2542_36.min1.thm1
2017-02-06 12:44
1.0K
integra1__2544_29.min1.thm1
2017-02-06 12:44
1.3K
integra1__2546_54.min1.thm1
2017-02-06 12:44
1.0K
integra1__2565_28.min1.thm1
2017-02-06 12:44
1.6K
integra1__2589_37.min1.thm1
2017-02-06 12:44
1.3K
integra1__2605_37.min1.thm1
2017-02-06 12:44
773
integra1__2626_22.min1.thm1
2017-02-06 12:44
1.1K
integra1__2627_33.min1.thm1
2017-02-06 12:44
1.7K
integra1__2629_28.min1.thm1
2017-02-06 12:44
1.3K
integra1__2640_16.min1.thm1
2017-02-06 12:44
3.1K
integra1__2641_29.min1.thm1
2017-02-06 12:44
2.4K
integra1__2647_47.min1.thm1
2017-02-06 12:44
1.5K
integra1__2650_25.min1.thm1
2017-02-06 12:44
1.2K
integra1__2670_18.min1.thm1
2017-02-06 12:44
854
integra1__2674_14.min1.thm1
2017-02-06 12:44
1.6K
integra1__2706_25.min1.thm1
2017-02-06 12:44
1.6K
integra1__2708_20.min1.thm1
2017-02-06 12:44
2.3K
integra1__2711_40.min1.thm1
2017-02-06 12:44
2.3K
integra1__2715_35.min1.thm1
2017-02-06 12:44
2.0K
integra1__2724_31.min1.thm1
2017-02-06 12:44
2.0K
integra1__2728_16.min1.thm1
2017-02-06 12:44
1.0K
integra1__2741_21.min1.thm1
2017-02-06 12:44
802
integra1__2746_26.min1.thm1
2017-02-06 12:44
1.5K
integra1__2749_20.min1.thm1
2017-02-06 12:44
2.3K
integra1__2755_43.min1.thm1
2017-02-06 12:44
1.5K
integra1__2757_68.min1.thm1
2017-02-06 12:44
2.1K
integra1__2762_56.min1.thm1
2017-02-06 12:44
1.4K
integra1__2763_72.min1.thm1
2017-02-06 12:44
2.6K
integra1__2770_46.min1.thm1
2017-02-06 12:44
2.0K
integra1__2784_31.min1.thm1
2017-02-06 12:44
1.3K
integra1__2791_20.min1.thm1
2017-02-06 12:44
1.0K
integra1__2794_37.min1.thm1
2017-02-06 12:44
1.7K
integra1__2796_27.min1.thm1
2017-02-06 12:44
2.5K
integra1__2797_32.min1.thm1
2017-02-06 12:44
2.5K
integra1__2799_30.min1.thm1
2017-02-06 12:44
2.3K
integra1__2801_20.min1.thm1
2017-02-06 12:44
1.6K
integra1__2802_28.min1.thm1
2017-02-06 12:44
1.8K
integra1__2803_23.min1.thm1
2017-02-06 12:44
849
integra1__2804_53.min1.thm1
2017-02-06 12:44
644
integra1__2807_67.min1.thm1
2017-02-06 12:44
828
integra1__2812_37.min1.thm1
2017-02-06 12:44
1.7K
integra1__2814_27.min1.thm1
2017-02-06 12:44
2.5K
integra1__2815_32.min1.thm1
2017-02-06 12:44
2.5K
integra1__2860_24.min1.thm1
2017-02-06 12:44
1.7K
integra1__2862_21.min1.thm1
2017-02-06 12:44
199
integra1__2878_60.min1.thm1
2017-02-06 12:44
1.8K
integra1__2883_29.min1.thm1
2017-02-06 12:44
717
integra1__2883_29.min1.thm1.tptp
2017-02-06 16:47
635
integra1__2889_35.min1.thm1
2017-02-06 12:44
1.6K
integra1__2891_27.min1.thm1
2017-02-06 12:44
1.0K
integra1__2893_27.min1.thm1
2017-02-06 12:44
1.3K
integra1__2894_46.min1.thm1
2017-02-06 12:44
1.0K
integra1__2899_32.min1.thm1
2017-02-06 12:44
1.7K
integra1__2900_27.min1.thm1
2017-02-06 12:44
1.3K
integra1__2910_38.min1.thm1
2017-02-06 12:44
2.1K
integra1__2911_33.min1.thm1
2017-02-06 12:44
1.7K
integra1__2927_29.min1.thm1
2017-02-06 12:44
830
integra1__2927_29.min1.thm1.tptp
2017-02-06 16:47
748
integra1__2930_22.min1.thm1
2017-02-06 12:44
518
integra1__2938_22.min1.thm1
2017-02-06 12:44
1.7K
integra1__2941_19.min1.thm1
2017-02-06 12:44
197
integra1__2963_44.min1.thm1
2017-02-06 12:44
2.0K
integra1__2969_36.min1.thm1
2017-02-06 12:44
1.6K
integra1__2970_28.min1.thm1
2017-02-06 12:44
1.0K
integra1__2972_23.min1.thm1
2017-02-06 12:44
1.3K
integra1__2973_42.min1.thm1
2017-02-06 12:44
1.0K
integra1__2974_26.min1.thm1
2017-02-06 12:44
1.0K
integra1__2981_28.min1.thm1
2017-02-06 12:44
1.7K
integra1__2982_38.min1.thm1
2017-02-06 12:44
1.9K
integra1__2991_44.min1.thm1
2017-02-06 12:44
1.8K
integra1__2995_29.min1.thm1
2017-02-06 12:44
1.9K
integra1__3003_44.min1.thm1
2017-02-06 12:44
1.8K
integra1__3013_22.min1.thm1
2017-02-06 12:44
1.7K
integra1__3021_47.min1.thm1
2017-02-06 12:44
1.7K
integra1__3026_69.min1.thm1
2017-02-06 12:44
1.8K
integra1__3029_36.min1.thm1
2017-02-06 12:44
1.5K
integra1__3034_48.min1.thm1
2017-02-06 12:44
1.6K
integra1__3039_34.min1.thm1
2017-02-06 12:44
1.3K
integra1__3041_24.min1.thm1
2017-02-06 12:44
1.0K
integra1__3054_27.min1.thm1
2017-02-06 12:44
1.7K
integra1__3056_17.min1.thm1
2017-02-06 12:44
2.4K
integra1__3057_22.min1.thm1
2017-02-06 12:44
2.7K
integra1__3059_17.min1.thm1
2017-02-06 12:44
223
integra1__3062_25.min1.thm1
2017-02-06 12:44
1.0K
integra1__3072_42.min1.thm1
2017-02-06 12:44
1.6K
integra1__3079_21.min1.thm1
2017-02-06 12:44
935
integra1__3083_40.min1.thm1
2017-02-06 12:44
1.5K
integra1__3092_31.min1.thm1
2017-02-06 12:44
1.7K
integra1__3097_23.min1.thm1
2017-02-06 12:44
937
integra1__3099_32.min1.thm1
2017-02-06 12:44
1.2K
integra1__3111_26.min1.thm1
2017-02-06 12:44
1.3K
integra1__3118_43.min1.thm1
2017-02-06 12:44
2.2K
integra1__3120_33.min1.thm1
2017-02-06 12:44
2.6K
integra1__3121_29.min1.thm1
2017-02-06 12:44
1.4K
integra1__3122_24.min1.thm1
2017-02-06 12:44
1.1K
integra1__3123_30.min1.thm1
2017-02-06 12:44
2.3K
integra1__3125_29.min1.thm1
2017-02-06 12:44
3.2K
integra1__3127_24.min1.thm1
2017-02-06 12:44
1.7K
integra1__3132_22.min1.thm1
2017-02-06 12:44
773
integra1__3151_44.min1.thm1
2017-02-06 12:44
962
integra1__3152_44.min1.thm1
2017-02-06 12:44
1.4K
integra1__3154_54.min1.thm1
2017-02-06 12:44
2.8K
integra1__3160_38.min1.thm1
2017-02-06 12:44
2.6K
integra1__3163_41.min1.thm1
2017-02-06 12:44
1.8K
integra1__3165_29.min1.thm1
2017-02-06 12:44
2.6K
integra1__3178_47.min1.thm1
2017-02-06 12:44
1.5K
integra1__3181_25.min1.thm1
2017-02-06 12:44
1.2K
integra1__3189_40.min1.thm1
2017-02-06 12:44
1.8K
integra1__3206_33.min1.thm1
2017-02-06 12:44
1.7K
integra1__3208_28.min1.thm1
2017-02-06 12:44
1.3K
integra1__3228_42.min1.thm1
2017-02-06 12:44
1.9K
integra1__3234_44.min1.thm1
2017-02-06 12:44
3.4K
integra1__3240_27.min1.thm1
2017-02-06 12:44
223
integra1__3276_38.min1.thm1
2017-02-06 12:44
1.3K
integra1__3285_29.min1.thm1
2017-02-06 12:44
1.3K
integra1__3286_36.min1.thm1
2017-02-06 12:44
1.9K
integra1__3290_39.min1.thm1
2017-02-06 12:44
1.6K
integra1__3291_36.min1.thm1
2017-02-06 12:44
1.0K
integra1__3293_29.min1.thm1
2017-02-06 12:44
1.3K
integra1__3295_29.min1.thm1
2017-02-06 12:44
1.0K
integra1__3296_54.min1.thm1
2017-02-06 12:44
1.0K
integra1__3315_28.min1.thm1
2017-02-06 12:44
1.6K
integra1__3338_37.min1.thm1
2017-02-06 12:44
1.3K
integra1__3351_37.min1.thm1
2017-02-06 12:44
773
integra1__3358_27.min1.thm1
2017-02-06 12:44
810
integra1__3367_22.min1.thm1
2017-02-06 12:44
1.1K
integra1__3377_33.min1.thm1
2017-02-06 12:44
1.7K
integra1__3382_28.min1.thm1
2017-02-06 12:44
1.3K
integra1__3386_16.min1.thm1
2017-02-06 12:44
3.1K
integra1__3387_29.min1.thm1
2017-02-06 12:44
2.4K
integra1__3397_24.min1.thm1
2017-02-06 12:44
3.3K
integra1__3413_31.min1.thm1
2017-02-06 12:44
1.7K
integra1__3432_26.min1.thm1
2017-02-06 12:44
1.3K
integra1__3446_18.min1.thm1
2017-02-06 12:44
854
integra1__3450_14.min1.thm1
2017-02-06 12:44
1.6K
integra1__3461_36.min1.thm1
2017-02-06 12:44
1.4K
integra1__3462_21.min1.thm1
2017-02-06 12:44
1.6K
integra1__3463_42.min1.thm1
2017-02-06 12:44
1.5K
integra1__3468_54.min1.thm1
2017-02-06 12:44
1.9K
integra1__3471_21.min1.thm1
2017-02-06 12:44
1.6K
integra1__3472_39.min1.thm1
2017-02-06 12:44
2.5K
integra1__3487_36.min1.thm1
2017-02-06 12:44
1.4K
integra1__3488_21.min1.thm1
2017-02-06 12:44
1.6K
integra1__3489_42.min1.thm1
2017-02-06 12:44
1.5K
integra1__3494_54.min1.thm1
2017-02-06 12:44
1.9K
integra1__3497_21.min1.thm1
2017-02-06 12:44
1.6K
integra1__3498_39.min1.thm1
2017-02-06 12:44
2.5K
integra1__3508_34.min1.thm1
2017-02-06 12:44
1.4K
integra1__3509_45.min1.thm1
2017-02-06 12:44
2.3K
integra1__3515_41.min1.thm1
2017-02-06 12:44
1.6K
integra1__3523_34.min1.thm1
2017-02-06 12:44
1.4K
integra1__3524_45.min1.thm1
2017-02-06 12:44
2.3K
integra1__3530_41.min1.thm1
2017-02-06 12:44
1.6K
integra1__3538_26.min1.thm1
2017-02-06 12:44
2.1K
integra1__3540_23.min1.thm1
2017-02-06 12:44
1.7K
integra1__3545_42.min1.thm1
2017-02-06 12:44
1.3K
integra1__3546_26.min1.thm1
2017-02-06 12:44
2.1K
integra1__3548_23.min1.thm1
2017-02-06 12:44
1.7K
integra1__3552_43.min1.thm1
2017-02-06 12:44
1.8K
integra1__3553_38.min1.thm1
2017-02-06 12:44
2.6K
integra1__3566_26.min1.thm1
2017-02-06 12:44
2.1K
integra1__3567_26.min1.thm1
2017-02-06 12:44
1.7K
integra1__3584_26.min1.thm1
2017-02-06 12:44
2.1K
integra1__3585_26.min1.thm1
2017-02-06 12:44
1.7K
integra1__3601_23.min1.thm1
2017-02-06 12:44
1.4K
integra1__3603_18.min1.thm1
2017-02-06 12:44
1.0K
integra1__3604_16.min1.thm1
2017-02-06 12:44
1.0K
integra1__3613_18.min1.thm1
2017-02-06 12:44
1.9K
integra1__3616_32.min1.thm1
2017-02-06 12:44
1.7K
integra1__3617_32.min1.thm1
2017-02-06 12:44
1.3K
integra1__3618_37.min1.thm1
2017-02-06 12:44
1.5K
integra1__3619_32.min1.thm1
2017-02-06 12:44
896
integra1__3620_62.min1.thm1
2017-02-06 12:44
696
integra1__3624_9.min1.thm1
2017-02-06 12:44
880
integra1__3630_32.min1.thm1
2017-02-06 12:44
2.1K
integra1__3632_27.min1.thm1
2017-02-06 12:44
1.7K
integra1__3633_32.min1.thm1
2017-02-06 12:44
1.7K
integra1__3635_27.min1.thm1
2017-02-06 12:44
1.3K
integra1__3636_38.min1.thm1
2017-02-06 12:44
1.0K
integra1__3637_39.min1.thm1
2017-02-06 12:44
2.0K
integra1__3641_27.min1.thm1
2017-02-06 12:44
1.3K
integra1__3642_27.min1.thm1
2017-02-06 12:44
1.6K
integra1__3649_26.min1.thm1
2017-02-06 12:44
1.6K
integra1__3655_26.min1.thm1
2017-02-06 12:44
1.6K
integra1__3657_17.min1.thm1
2017-02-06 12:44
2.5K
integra1__3669_39.min1.thm1
2017-02-06 12:44
1.2K
integra1__3719_45.min1.thm1
2017-02-06 12:44
835
integra1__3720_17.min1.thm1
2017-02-06 12:44
624
integra1__3723_11.min1.thm1
2017-02-06 12:44
891
integra1__3728_16.min1.thm1
2017-02-06 12:44
1.2K
integra1__3729_16.min1.thm1
2017-02-06 12:44
1.2K
integra1__3730_16.min1.thm1
2017-02-06 12:44
1.5K
integra1__3733_31.min1.thm1
2017-02-06 12:44
565
integra1__3733_31.min1.thm1.tptp
2017-02-06 16:47
501
integra1__3738_25.min1.thm1
2017-02-06 12:44
920
integra1__3745_12.min1.thm1
2017-02-06 12:44
1.0K
integra1__3746_34.min1.thm1
2017-02-06 12:44
268
integra1__3749_12.min1.thm1
2017-02-06 12:44
1.1K
integra1__3754_34.min1.thm1
2017-02-06 12:44
565
integra1__3754_34.min1.thm1.tptp
2017-02-06 16:47
501
integra1__3755_17.min1.thm1
2017-02-06 12:44
686
integra1__3766_29.min1.thm1
2017-02-06 12:44
444
integra1__3767_27.min1.thm1
2017-02-06 12:44
444
integra1__3769_36.min1.thm1
2017-02-06 12:44
864
integra1__3770_43.min1.thm1
2017-02-06 12:44
833
integra1__3771_26.min1.thm1
2017-02-06 12:44
1.0K
integra1__3772_17.min1.thm1
2017-02-06 12:44
570
integra1__3784_29.min1.thm1
2017-02-06 12:44
478
integra1__3785_29.min1.thm1
2017-02-06 12:44
478
integra1__3789_8.min1.thm1
2017-02-06 12:44
1.5K
integra1__3790_46.min1.thm1
2017-02-06 12:44
1.3K
integra1__3792_28.min1.thm1
2017-02-06 12:44
703
integra1__3793_37.min1.thm1
2017-02-06 12:44
1.1K
integra1__3794_43.min1.thm1
2017-02-06 12:44
901
integra1__3798_14.min1.thm1
2017-02-06 12:44
665
integra1__3815_32.min1.thm1
2017-02-06 12:44
852
integra1__3817_14.min1.thm1
2017-02-06 12:44
961
integra1__3823_32.min1.thm1
2017-02-06 12:44
854
integra1__3828_14.min1.thm1
2017-02-06 12:44
961
integra1__3843_27.min1.thm1
2017-02-06 12:44
3.3K
integra1__3844_17.min1.thm1
2017-02-06 12:44
3.0K
integra1__3860_27.min1.thm1
2017-02-06 12:44
852
integra1__3863_14.min1.thm1
2017-02-06 12:44
961
integra1__3870_27.min1.thm1
2017-02-06 12:44
853
integra1__3875_14.min1.thm1
2017-02-06 12:44
961
integra1__3889_27.min1.thm1
2017-02-06 12:44
3.3K
integra1__3890_17.min1.thm1
2017-02-06 12:44
3.0K
integra1__3903_18.min1.thm1
2017-02-06 12:44
1.4K
integra1__3905_45.min1.thm1
2017-02-06 12:44
1.2K
integra1__3906_18.min1.thm1
2017-02-06 12:44
1.4K
integra1__3908_45.min1.thm1
2017-02-06 12:44
1.2K
integra1__3913_22.min1.thm1
2017-02-06 12:44
1.6K
integra1__3919_18.min1.thm1
2017-02-06 12:44
2.1K
integra1__3937_18.min1.thm1
2017-02-06 12:44
1.4K
integra1__3939_45.min1.thm1
2017-02-06 12:44
1.2K
integra1__3940_18.min1.thm1
2017-02-06 12:44
1.4K
integra1__3942_45.min1.thm1
2017-02-06 12:44
1.2K
integra1__3947_22.min1.thm1
2017-02-06 12:44
1.6K
integra1__3953_18.min1.thm1
2017-02-06 12:44
2.1K
integra1__4075_20.min1.thm1
2017-02-06 12:44
734
integra1__4141_20.min1.thm1
2017-02-06 12:44
734
integra1__4179_66.min1.thm1
2017-02-06 12:44
766
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80