Index of /~mptp/1147/MPTP2/ilp0/integra2
Name
Last modified
Size
Description
Parent Directory
-
integra2__59_48.min1.thm1
2017-02-06 12:44
595
integra2__60_61.min1.thm1
2017-02-06 12:44
1.7K
integra2__61_62.min1.thm1
2017-02-06 12:44
779
integra2__62_49.min1.thm1
2017-02-06 12:44
405
integra2__66_14.min1.thm1
2017-02-06 12:44
379
integra2__67_59.min1.thm1
2017-02-06 12:44
815
integra2__68_46.min1.thm1
2017-02-06 12:44
1.3K
integra2__69_17.min1.thm1
2017-02-06 12:44
591
integra2__113_40.min1.thm1
2017-02-06 12:44
1.1K
integra2__114_15.min1.thm1
2017-02-06 12:44
883
integra2__120_20.min1.thm1
2017-02-06 12:44
2.0K
integra2__125_24.min1.thm1
2017-02-06 12:44
2.0K
integra2__126_23.min1.thm1
2017-02-06 12:44
2.7K
integra2__130_19.min1.thm1
2017-02-06 12:44
1.0K
integra2__134_16.min1.thm1
2017-02-06 12:44
764
integra2__136_9.min1.thm1
2017-02-06 12:44
3.5K
integra2__140_17.min1.thm1
2017-02-06 12:44
1.2K
integra2__141_35.min1.thm1
2017-02-06 12:44
861
integra2__142_14.min1.thm1
2017-02-06 12:44
330
integra2__142_14.min1.thm1.tptp
2017-02-06 16:47
248
integra2__152_35.min1.thm1
2017-02-06 12:44
417
integra2__152_35.min1.thm1.tptp
2017-02-06 16:47
350
integra2__162_27.min1.thm1
2017-02-06 12:44
1.3K
integra2__163_20.min1.thm1
2017-02-06 12:44
2.4K
integra2__164_24.min1.thm1
2017-02-06 12:44
1.3K
integra2__168_27.min1.thm1
2017-02-06 12:44
1.3K
integra2__169_28.min1.thm1
2017-02-06 12:44
1.4K
integra2__170_24.min1.thm1
2017-02-06 12:44
2.2K
integra2__172_22.min1.thm1
2017-02-06 12:44
2.2K
integra2__173_39.min1.thm1
2017-02-06 12:44
878
integra2__177_31.min1.thm1
2017-02-06 12:44
1.3K
integra2__180_27.min1.thm1
2017-02-06 12:44
1.8K
integra2__183_29.min1.thm1
2017-02-06 12:44
2.3K
integra2__184_30.min1.thm1
2017-02-06 12:44
1.4K
integra2__185_26.min1.thm1
2017-02-06 12:44
2.8K
integra2__189_35.min1.thm1
2017-02-06 12:44
1.3K
integra2__194_16.min1.thm1
2017-02-06 12:44
480
integra2__213_40.min1.thm1
2017-02-06 12:44
441
integra2__213_40.min1.thm1.tptp
2017-02-06 16:47
374
integra2__214_70.min1.thm1
2017-02-06 12:44
1.2K
integra2__221_22.min1.thm1
2017-02-06 12:44
1.2K
integra2__222_25.min1.thm1
2017-02-06 12:44
1.1K
integra2__223_29.min1.thm1
2017-02-06 12:44
2.4K
integra2__224_54.min1.thm1
2017-02-06 12:44
1.3K
integra2__234_20.min1.thm1
2017-02-06 12:44
1.4K
integra2__237_18.min1.thm1
2017-02-06 12:44
578
integra2__239_18.min1.thm1
2017-02-06 12:44
180
integra2__247_23.min1.thm1
2017-02-06 12:44
1.1K
integra2__248_27.min1.thm1
2017-02-06 12:44
1.4K
integra2__249_21.min1.thm1
2017-02-06 12:44
1.5K
integra2__251_20.min1.thm1
2017-02-06 12:44
1.0K
integra2__252_15.min1.thm1
2017-02-06 12:44
1.2K
integra2__254_16.min1.thm1
2017-02-06 12:44
934
integra2__258_27.min1.thm1
2017-02-06 12:44
2.0K
integra2__264_19.min1.thm1
2017-02-06 12:44
1.2K
integra2__266_14.min1.thm1
2017-02-06 12:44
353
integra2__266_14.min1.thm1.tptp
2017-02-06 16:47
267
integra2__282_18.min1.thm1
2017-02-06 12:44
2.0K
integra2__284_16.min1.thm1
2017-02-06 12:44
1.9K
integra2__288_16.min1.thm1
2017-02-06 12:44
2.4K
integra2__289_14.min1.thm1
2017-02-06 12:44
1.4K
integra2__291_12.min1.thm1
2017-02-06 12:44
1.6K
integra2__292_13.min1.thm1
2017-02-06 12:44
1.4K
integra2__293_15.min1.thm1
2017-02-06 12:44
2.6K
integra2__294_16.min1.thm1
2017-02-06 12:44
1.6K
integra2__298_20.min1.thm1
2017-02-06 12:44
3.0K
integra2__303_15.min1.thm1
2017-02-06 12:44
2.6K
integra2__318_36.min1.thm1
2017-02-06 12:44
2.3K
integra2__322_25.min1.thm1
2017-02-06 12:44
1.7K
integra2__323_34.min1.thm1
2017-02-06 12:44
1.9K
integra2__334_28.min1.thm1
2017-02-06 12:44
686
integra2__348_16.min1.thm1
2017-02-06 12:44
800
integra2__351_16.min1.thm1
2017-02-06 12:44
3.0K
integra2__361_14.min1.thm1
2017-02-06 12:44
613
integra2__378_31.min1.thm1
2017-02-06 12:44
1.5K
integra2__403_31.min1.thm1
2017-02-06 12:44
1.5K
integra2__416_34.min1.thm1
2017-02-06 12:44
1.2K
integra2__427_25.min1.thm1
2017-02-06 12:44
1.3K
integra2__428_43.min1.thm1
2017-02-06 12:44
521
integra2__429_17.min1.thm1
2017-02-06 12:44
1.5K
integra2__430_19.min1.thm1
2017-02-06 12:44
1.0K
integra2__435_21.min1.thm1
2017-02-06 12:44
1.1K
integra2__448_27.min1.thm1
2017-02-06 12:44
718
integra2__449_50.min1.thm1
2017-02-06 12:44
1.0K
integra2__457_10.min1.thm1
2017-02-06 12:44
1.2K
integra2__458_13.min1.thm1
2017-02-06 12:44
534
integra2__459_19.min1.thm1
2017-02-06 12:44
1.6K
integra2__461_17.min1.thm1
2017-02-06 12:44
1.4K
integra2__473_27.min1.thm1
2017-02-06 12:44
718
integra2__474_50.min1.thm1
2017-02-06 12:44
1.0K
integra2__480_31.min1.thm1
2017-02-06 12:44
1.2K
integra2__481_19.min1.thm1
2017-02-06 12:44
1.6K
integra2__483_17.min1.thm1
2017-02-06 12:44
1.4K
integra2__495_27.min1.thm1
2017-02-06 12:44
717
integra2__496_50.min1.thm1
2017-02-06 12:44
1.0K
integra2__502_31.min1.thm1
2017-02-06 12:44
1.2K
integra2__503_19.min1.thm1
2017-02-06 12:44
1.6K
integra2__505_17.min1.thm1
2017-02-06 12:44
1.4K
integra2__517_27.min1.thm1
2017-02-06 12:44
717
integra2__518_50.min1.thm1
2017-02-06 12:44
1.0K
integra2__526_10.min1.thm1
2017-02-06 12:44
1.2K
integra2__527_13.min1.thm1
2017-02-06 12:44
534
integra2__528_19.min1.thm1
2017-02-06 12:44
1.6K
integra2__530_17.min1.thm1
2017-02-06 12:44
1.4K
integra2__548_10.min1.thm1
2017-02-06 12:44
1.2K
integra2__549_25.min1.thm1
2017-02-06 12:44
1.3K
integra2__550_19.min1.thm1
2017-02-06 12:44
1.4K
integra2__556_13.min1.thm1
2017-02-06 12:44
597
integra2__560_28.min1.thm1
2017-02-06 12:44
968
integra2__564_18.min1.thm1
2017-02-06 12:44
1.5K
integra2__567_23.min1.thm1
2017-02-06 12:44
1.9K
integra2__575_36.min1.thm1
2017-02-06 12:44
1.0K
integra2__577_25.min1.thm1
2017-02-06 12:44
1.7K
integra2__579_36.min1.thm1
2017-02-06 12:44
1.4K
integra2__580_42.min1.thm1
2017-02-06 12:44
2.5K
integra2__581_23.min1.thm1
2017-02-06 12:44
2.5K
integra2__584_16.min1.thm1
2017-02-06 12:44
328
integra2__604_10.min1.thm1
2017-02-06 12:44
1.2K
integra2__605_25.min1.thm1
2017-02-06 12:44
1.3K
integra2__606_19.min1.thm1
2017-02-06 12:44
1.4K
integra2__612_13.min1.thm1
2017-02-06 12:44
597
integra2__616_28.min1.thm1
2017-02-06 12:44
968
integra2__620_18.min1.thm1
2017-02-06 12:44
1.7K
integra2__623_23.min1.thm1
2017-02-06 12:44
2.0K
integra2__631_36.min1.thm1
2017-02-06 12:44
1.0K
integra2__633_25.min1.thm1
2017-02-06 12:44
1.7K
integra2__635_36.min1.thm1
2017-02-06 12:44
1.4K
integra2__636_42.min1.thm1
2017-02-06 12:44
2.5K
integra2__637_23.min1.thm1
2017-02-06 12:44
2.5K
integra2__640_16.min1.thm1
2017-02-06 12:44
328
integra2__660_10.min1.thm1
2017-02-06 12:44
1.2K
integra2__661_25.min1.thm1
2017-02-06 12:44
1.3K
integra2__662_19.min1.thm1
2017-02-06 12:44
1.4K
integra2__668_13.min1.thm1
2017-02-06 12:44
597
integra2__672_28.min1.thm1
2017-02-06 12:44
968
integra2__676_18.min1.thm1
2017-02-06 12:44
1.5K
integra2__679_23.min1.thm1
2017-02-06 12:44
2.0K
integra2__687_36.min1.thm1
2017-02-06 12:44
1.0K
integra2__689_25.min1.thm1
2017-02-06 12:44
1.9K
integra2__691_36.min1.thm1
2017-02-06 12:44
1.3K
integra2__692_42.min1.thm1
2017-02-06 12:44
2.5K
integra2__693_23.min1.thm1
2017-02-06 12:44
2.5K
integra2__696_16.min1.thm1
2017-02-06 12:44
328
integra2__716_10.min1.thm1
2017-02-06 12:44
1.2K
integra2__717_25.min1.thm1
2017-02-06 12:44
1.3K
integra2__718_19.min1.thm1
2017-02-06 12:44
1.4K
integra2__724_13.min1.thm1
2017-02-06 12:44
597
integra2__728_28.min1.thm1
2017-02-06 12:44
968
integra2__732_18.min1.thm1
2017-02-06 12:44
1.7K
integra2__735_23.min1.thm1
2017-02-06 12:44
1.9K
integra2__743_36.min1.thm1
2017-02-06 12:44
1.0K
integra2__745_25.min1.thm1
2017-02-06 12:44
1.7K
integra2__747_36.min1.thm1
2017-02-06 12:44
1.3K
integra2__748_42.min1.thm1
2017-02-06 12:44
2.5K
integra2__749_23.min1.thm1
2017-02-06 12:44
2.5K
integra2__752_16.min1.thm1
2017-02-06 12:44
328
integra2__791_19.min1.thm1
2017-02-06 12:44
1.5K
integra2__797_17.min1.thm1
2017-02-06 12:44
725
integra2__813_17.min1.thm1
2017-02-06 12:44
1.2K
integra2__838_17.min1.thm1
2017-02-06 12:44
1.0K
integra2__859_54.min1.thm1
2017-02-06 12:44
1.0K
integra2__878_54.min1.thm1
2017-02-06 12:44
1.0K
integra2__897_54.min1.thm1
2017-02-06 12:44
1.0K
integra2__916_54.min1.thm1
2017-02-06 12:44
1.0K
integra2__930_26.min1.thm1
2017-02-06 12:44
1.1K
integra2__934_27.min1.thm1
2017-02-06 12:44
852
integra2__938_17.min1.thm1
2017-02-06 12:44
3.0K
integra2__940_62.min1.thm1
2017-02-06 12:44
2.5K
integra2__941_61.min1.thm1
2017-02-06 12:44
2.5K
integra2__943_30.min1.thm1
2017-02-06 12:44
2.5K
integra2__944_14.min1.thm1
2017-02-06 12:44
672
integra2__956_26.min1.thm1
2017-02-06 12:44
1.1K
integra2__960_27.min1.thm1
2017-02-06 12:44
852
integra2__964_17.min1.thm1
2017-02-06 12:44
3.0K
integra2__966_62.min1.thm1
2017-02-06 12:44
2.5K
integra2__967_61.min1.thm1
2017-02-06 12:44
2.4K
integra2__969_30.min1.thm1
2017-02-06 12:44
2.5K
integra2__970_14.min1.thm1
2017-02-06 12:44
672
integra2__982_26.min1.thm1
2017-02-06 12:44
1.1K
integra2__986_27.min1.thm1
2017-02-06 12:44
852
integra2__990_17.min1.thm1
2017-02-06 12:44
3.0K
integra2__992_62.min1.thm1
2017-02-06 12:44
2.5K
integra2__993_61.min1.thm1
2017-02-06 12:44
2.5K
integra2__995_30.min1.thm1
2017-02-06 12:44
2.5K
integra2__996_14.min1.thm1
2017-02-06 12:44
672
integra2__1008_26.min1.thm1
2017-02-06 12:44
1.1K
integra2__1012_27.min1.thm1
2017-02-06 12:44
852
integra2__1016_17.min1.thm1
2017-02-06 12:44
3.0K
integra2__1018_62.min1.thm1
2017-02-06 12:44
2.5K
integra2__1019_61.min1.thm1
2017-02-06 12:44
2.4K
integra2__1021_30.min1.thm1
2017-02-06 12:44
2.5K
integra2__1022_14.min1.thm1
2017-02-06 12:44
672
integra2__1037_40.min1.thm1
2017-02-06 12:44
2.0K
integra2__1041_16.min1.thm1
2017-02-06 12:44
688
integra2__1043_38.min1.thm1
2017-02-06 12:44
2.0K
integra2__1044_31.min1.thm1
2017-02-06 12:44
1.4K
integra2__1050_14.min1.thm1
2017-02-06 12:44
568
integra2__1065_40.min1.thm1
2017-02-06 12:44
2.0K
integra2__1069_16.min1.thm1
2017-02-06 12:44
688
integra2__1071_38.min1.thm1
2017-02-06 12:44
2.0K
integra2__1072_31.min1.thm1
2017-02-06 12:44
1.4K
integra2__1078_14.min1.thm1
2017-02-06 12:44
568
integra2__1093_40.min1.thm1
2017-02-06 12:44
2.0K
integra2__1097_16.min1.thm1
2017-02-06 12:44
688
integra2__1099_38.min1.thm1
2017-02-06 12:44
2.0K
integra2__1100_31.min1.thm1
2017-02-06 12:44
1.4K
integra2__1106_14.min1.thm1
2017-02-06 12:44
568
integra2__1121_40.min1.thm1
2017-02-06 12:44
2.0K
integra2__1125_16.min1.thm1
2017-02-06 12:44
688
integra2__1127_38.min1.thm1
2017-02-06 12:44
2.0K
integra2__1128_31.min1.thm1
2017-02-06 12:44
1.4K
integra2__1134_14.min1.thm1
2017-02-06 12:44
568
integra2__1144_26.min1.thm1
2017-02-06 12:44
910
integra2__1147_26.min1.thm1
2017-02-06 12:44
910
integra2__1151_13.min1.thm1
2017-02-06 12:44
215
integra2__1160_45.min1.thm1
2017-02-06 12:44
747
integra2__1165_20.min1.thm1
2017-02-06 12:44
834
integra2__1165_20.min1.thm1.tptp
2017-02-06 16:47
752
integra2__1183_45.min1.thm1
2017-02-06 12:44
747
integra2__1188_20.min1.thm1
2017-02-06 12:44
834
integra2__1188_20.min1.thm1.tptp
2017-02-06 16:47
752
integra2__1199_33.min1.thm1
2017-02-06 12:44
1.0K
integra2__1200_60.min1.thm1
2017-02-06 12:44
767
integra2__1200_60.min1.thm1.tptp
2017-02-06 16:47
685
integra2__1201_51.min1.thm1
2017-02-06 12:44
1.1K
integra2__1211_45.min1.thm1
2017-02-06 12:44
747
integra2__1216_20.min1.thm1
2017-02-06 12:44
834
integra2__1216_20.min1.thm1.tptp
2017-02-06 16:47
752
integra2__1234_45.min1.thm1
2017-02-06 12:44
747
integra2__1239_20.min1.thm1
2017-02-06 12:44
834
integra2__1239_20.min1.thm1.tptp
2017-02-06 16:47
752
integra2__1250_33.min1.thm1
2017-02-06 12:44
1.0K
integra2__1251_60.min1.thm1
2017-02-06 12:44
767
integra2__1251_60.min1.thm1.tptp
2017-02-06 16:47
685
integra2__1252_52.min1.thm1
2017-02-06 12:44
1.2K
integra2__1253_27.min1.thm1
2017-02-06 12:44
876
integra2__1254_49.min1.thm1
2017-02-06 12:44
522
integra2__1261_15.min1.thm1
2017-02-06 12:44
217
integra2__1287_16.min1.thm1
2017-02-06 12:44
968
integra2__1297_15.min1.thm1
2017-02-06 12:44
217
integra2__1323_16.min1.thm1
2017-02-06 12:44
968
integra2__1328_17.min1.thm1
2017-02-06 12:44
2.4K
integra2__1346_36.min1.thm1
2017-02-06 12:44
1.0K
integra2__1354_38.min1.thm1
2017-02-06 12:44
1.4K
integra2__1374_30.min1.thm1
2017-02-06 12:44
1.1K
integra2__1375_65.min1.thm1
2017-02-06 12:44
1.8K
integra2__1380_34.min1.thm1
2017-02-06 12:44
1.0K
integra2__1386_17.min1.thm1
2017-02-06 12:44
895
integra2__1441_36.min1.thm1
2017-02-06 12:44
965
integra2__1457_36.min1.thm1
2017-02-06 12:44
965
integra2__1474_28.min1.thm1
2017-02-06 12:44
1.2K
integra2__1475_19.min1.thm1
2017-02-06 12:44
2.0K
integra2__1498_32.min1.thm1
2017-02-06 12:44
604
integra2__1498_32.min1.thm1.tptp
2017-02-06 16:47
527
integra2__1499_18.min1.thm1
2017-02-06 12:44
604
integra2__1499_18.min1.thm1.tptp
2017-02-06 16:47
527
integra2__1500_18.min1.thm1
2017-02-06 12:44
376
integra2__1520_32.min1.thm1
2017-02-06 12:44
604
integra2__1520_32.min1.thm1.tptp
2017-02-06 16:47
527
integra2__1521_18.min1.thm1
2017-02-06 12:44
604
integra2__1521_18.min1.thm1.tptp
2017-02-06 16:47
527
integra2__1522_18.min1.thm1
2017-02-06 12:44
376
integra2__1544_27.min1.thm1
2017-02-06 12:44
2.1K
integra2__1546_23.min1.thm1
2017-02-06 12:44
1.7K
integra2__1547_27.min1.thm1
2017-02-06 12:44
2.1K
integra2__1549_23.min1.thm1
2017-02-06 12:44
1.7K
integra2__1550_34.min1.thm1
2017-02-06 12:44
1.0K
integra2__1552_32.min1.thm1
2017-02-06 12:44
1.2K
integra2__1553_22.min1.thm1
2017-02-06 12:44
1.6K
integra2__1554_23.min1.thm1
2017-02-06 12:44
2.6K
integra2__1557_49.min1.thm1
2017-02-06 12:44
1.0K
integra2__1558_17.min1.thm1
2017-02-06 12:44
1.2K
integra2__1560_25.min1.thm1
2017-02-06 12:44
724
integra2__1561_25.min1.thm1
2017-02-06 12:44
709
integra2__1566_20.min1.thm1
2017-02-06 12:44
843
integra2__1570_15.min1.thm1
2017-02-06 12:44
181
integra2__1577_49.min1.thm1
2017-02-06 12:44
1.9K
integra2__1579_19.min1.thm1
2017-02-06 12:44
187
integra2__1582_43.min1.thm1
2017-02-06 12:44
2.3K
integra2__1584_21.min1.thm1
2017-02-06 12:44
851
integra2__1585_50.min1.thm1
2017-02-06 12:44
529
integra2__1585_50.min1.thm1.tptp
2017-02-06 16:47
454
integra2__1588_69.min1.thm1
2017-02-06 12:44
866
integra2__1589_68.min1.thm1
2017-02-06 12:44
2.3K
integra2__1592_43.min1.thm1
2017-02-06 12:44
2.3K
integra2__1594_21.min1.thm1
2017-02-06 12:44
852
integra2__1595_50.min1.thm1
2017-02-06 12:44
530
integra2__1595_50.min1.thm1.tptp
2017-02-06 16:47
455
integra2__1598_69.min1.thm1
2017-02-06 12:44
868
integra2__1604_58.min1.thm1
2017-02-06 12:44
1.9K
integra2__1609_50.min1.thm1
2017-02-06 12:44
529
integra2__1609_50.min1.thm1.tptp
2017-02-06 16:47
454
integra2__1612_43.min1.thm1
2017-02-06 12:44
2.3K
integra2__1613_67.min1.thm1
2017-02-06 12:44
962
integra2__1614_73.min1.thm1
2017-02-06 12:44
866
integra2__1618_50.min1.thm1
2017-02-06 12:44
529
integra2__1618_50.min1.thm1.tptp
2017-02-06 16:47
454
integra2__1621_26.min1.thm1
2017-02-06 12:44
1.0K
integra2__1623_38.min1.thm1
2017-02-06 12:44
2.0K
integra2__1624_71.min1.thm1
2017-02-06 12:44
1.0K
integra2__1627_72.min1.thm1
2017-02-06 12:44
902
integra2__1628_23.min1.thm1
2017-02-06 12:44
1.4K
integra2__1629_28.min1.thm1
2017-02-06 12:44
1.9K
integra2__1632_66.min1.thm1
2017-02-06 12:44
1.3K
integra2__1641_20.min1.thm1
2017-02-06 12:44
438
integra2__1649_28.min1.thm1
2017-02-06 12:44
1.6K
integra2__1651_19.min1.thm1
2017-02-06 12:44
2.6K
integra2__1652_24.min1.thm1
2017-02-06 12:44
2.6K
integra2__1653_29.min1.thm1
2017-02-06 12:44
2.5K
integra2__1654_33.min1.thm1
2017-02-06 12:44
2.3K
integra2__1656_24.min1.thm1
2017-02-06 12:44
1.6K
integra2__1658_27.min1.thm1
2017-02-06 12:44
1.9K
integra2__1659_29.min1.thm1
2017-02-06 12:44
1.8K
integra2__1663_28.min1.thm1
2017-02-06 12:44
1.7K
integra2__1665_19.min1.thm1
2017-02-06 12:44
2.6K
integra2__1666_24.min1.thm1
2017-02-06 12:44
2.7K
integra2__1667_29.min1.thm1
2017-02-06 12:44
2.5K
integra2__1668_33.min1.thm1
2017-02-06 12:44
2.3K
integra2__1669_29.min1.thm1
2017-02-06 12:44
1.6K
integra2__1671_24.min1.thm1
2017-02-06 12:44
1.1K
integra2__1672_28.min1.thm1
2017-02-06 12:44
1.5K
integra2__1675_18.min1.thm1
2017-02-06 12:44
1.7K
integra2__1684_31.min1.thm1
2017-02-06 12:44
2.0K
integra2__1685_29.min1.thm1
2017-02-06 12:44
1.8K
integra2__1690_25.min1.thm1
2017-02-06 12:44
2.1K
integra2__1693_24.min1.thm1
2017-02-06 12:44
1.1K
integra2__1694_28.min1.thm1
2017-02-06 12:44
1.5K
integra2__1698_21.min1.thm1
2017-02-06 12:44
1.8K
integra2__1699_21.min1.thm1
2017-02-06 12:44
1.4K
integra2__1700_25.min1.thm1
2017-02-06 12:44
1.9K
integra2__1703_19.min1.thm1
2017-02-06 12:44
1.4K
integra2__1704_24.min1.thm1
2017-02-06 12:44
1.9K
integra2__1710_53.min1.thm1
2017-02-06 12:44
2.3K
integra2__1713_23.min1.thm1
2017-02-06 12:44
851
integra2__1714_53.min1.thm1
2017-02-06 12:44
2.3K
integra2__1727_16.min1.thm1
2017-02-06 12:44
426
integra2__1729_17.min1.thm1
2017-02-06 12:44
572
integra2__1729_17.min1.thm1.tptp
2017-02-06 16:47
484
integra2__1737_43.min1.thm1
2017-02-06 12:44
500
integra2__1737_43.min1.thm1.tptp
2017-02-06 16:47
422
integra2__1740_46.min1.thm1
2017-02-06 12:44
1.6K
integra2__1741_35.min1.thm1
2017-02-06 12:44
1.3K
integra2__1742_49.min1.thm1
2017-02-06 12:44
1.7K
integra2__1743_49.min1.thm1
2017-02-06 12:44
1.7K
integra2__1744_17.min1.thm1
2017-02-06 12:44
617
integra2__1757_21.min1.thm1
2017-02-06 12:44
758
integra2__1758_25.min1.thm1
2017-02-06 12:44
509
integra2__1760_12.min1.thm1
2017-02-06 12:44
1.5K
integra2__1761_17.min1.thm1
2017-02-06 12:44
526
integra2__1775_13.min1.thm1
2017-02-06 12:44
394
integra2__1775_13.min1.thm1.tptp
2017-02-06 16:47
329
integra2__1779_10.min1.thm1
2017-02-06 12:44
851
integra2__1780_17.min1.thm1
2017-02-06 12:44
942
integra2__1783_16.min1.thm1
2017-02-06 12:44
873
integra2__1784_19.min1.thm1
2017-02-06 12:44
1.2K
integra2__1786_17.min1.thm1
2017-02-06 12:44
714
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80