Index of /~mptp/1147/MPTP2/ilp0/filter_2
Name
Last modified
Size
Description
Parent Directory
-
filter_2__43_22.min1.thm1
2017-02-06 12:46
1.5K
filter_2__51_45.min1.thm1
2017-02-06 12:46
828
filter_2__52_37.min1.thm1
2017-02-06 12:46
817
filter_2__53_29.min1.thm1
2017-02-06 12:46
3.0K
filter_2__54_18.min1.thm1
2017-02-06 12:46
2.1K
filter_2__55_21.min1.thm1
2017-02-06 12:46
652
filter_2__57_16.min1.thm1
2017-02-06 12:46
1.6K
filter_2__64_29.min1.thm1
2017-02-06 12:46
3.2K
filter_2__65_16.min1.thm1
2017-02-06 12:46
2.0K
filter_2__66_13.min1.thm1
2017-02-06 12:46
848
filter_2__71_51.min1.thm1
2017-02-06 12:46
952
filter_2__72_39.min1.thm1
2017-02-06 12:46
1.0K
filter_2__75_20.min1.thm1
2017-02-06 12:46
1.5K
filter_2__76_26.min1.thm1
2017-02-06 12:46
2.1K
filter_2__78_20.min1.thm1
2017-02-06 12:46
2.3K
filter_2__93_22.min1.thm1
2017-02-06 12:46
1.5K
filter_2__99_31.min1.thm1
2017-02-06 12:46
3.3K
filter_2__100_19.min1.thm1
2017-02-06 12:46
2.2K
filter_2__101_13.min1.thm1
2017-02-06 12:46
858
filter_2__108_31.min1.thm1
2017-02-06 12:46
3.3K
filter_2__109_19.min1.thm1
2017-02-06 12:46
2.2K
filter_2__110_13.min1.thm1
2017-02-06 12:46
858
filter_2__116_37.min1.thm1
2017-02-06 12:46
673
filter_2__117_22.min1.thm1
2017-02-06 12:46
1.5K
filter_2__118_21.min1.thm1
2017-02-06 12:46
1.4K
filter_2__120_13.min1.thm1
2017-02-06 12:46
1.6K
filter_2__121_21.min1.thm1
2017-02-06 12:46
1.4K
filter_2__123_13.min1.thm1
2017-02-06 12:46
1.6K
filter_2__145_53.min1.thm1
2017-02-06 12:46
961
filter_2__146_54.min1.thm1
2017-02-06 12:46
2.1K
filter_2__147_51.min1.thm1
2017-02-06 12:46
3.2K
filter_2__148_23.min1.thm1
2017-02-06 12:46
1.5K
filter_2__150_52.min1.thm1
2017-02-06 12:46
3.4K
filter_2__151_27.min1.thm1
2017-02-06 12:46
2.5K
filter_2__152_23.min1.thm1
2017-02-06 12:46
1.5K
filter_2__154_28.min1.thm1
2017-02-06 12:46
3.1K
filter_2__155_48.min1.thm1
2017-02-06 12:46
2.7K
filter_2__163_28.min1.thm1
2017-02-06 12:46
2.5K
filter_2__164_24.min1.thm1
2017-02-06 12:46
1.5K
filter_2__166_29.min1.thm1
2017-02-06 12:46
3.1K
filter_2__167_21.min1.thm1
2017-02-06 12:46
1.5K
filter_2__169_53.min1.thm1
2017-02-06 12:46
3.4K
filter_2__170_51.min1.thm1
2017-02-06 12:46
942
filter_2__171_54.min1.thm1
2017-02-06 12:46
2.1K
filter_2__172_52.min1.thm1
2017-02-06 12:46
3.2K
filter_2__173_46.min1.thm1
2017-02-06 12:46
2.6K
filter_2__203_23.min1.thm1
2017-02-06 12:46
1.5K
filter_2__204_21.min1.thm1
2017-02-06 12:46
1.5K
filter_2__205_44.min1.thm1
2017-02-06 12:46
3.9K
filter_2__206_25.min1.thm1
2017-02-06 12:46
4.0K
filter_2__207_22.min1.thm1
2017-02-06 12:46
2.8K
filter_2__208_11.min1.thm1
2017-02-06 12:46
1.0K
filter_2__217_18.min1.thm1
2017-02-06 12:46
634
filter_2__247_34.min1.thm1
2017-02-06 12:46
834
filter_2__248_31.min1.thm1
2017-02-06 12:46
834
filter_2__263_30.min1.thm1
2017-02-06 12:46
683
filter_2__265_20.min1.thm1
2017-02-06 12:46
1.2K
filter_2__267_17.min1.thm1
2017-02-06 12:46
1.1K
filter_2__281_24.min1.thm1
2017-02-06 12:46
683
filter_2__283_20.min1.thm1
2017-02-06 12:46
1.2K
filter_2__285_17.min1.thm1
2017-02-06 12:46
1.1K
filter_2__300_50.min1.thm1
2017-02-06 12:46
1.9K
filter_2__315_28.min1.thm1
2017-02-06 12:46
1.1K
filter_2__317_17.min1.thm1
2017-02-06 12:46
1.2K
filter_2__330_17.min1.thm1
2017-02-06 12:46
1.8K
filter_2__344_22.min1.thm1
2017-02-06 12:46
1.7K
filter_2__365_49.min1.thm1
2017-02-06 12:46
1.1K
filter_2__369_28.min1.thm1
2017-02-06 12:46
1.6K
filter_2__376_22.min1.thm1
2017-02-06 12:46
1.6K
filter_2__377_21.min1.thm1
2017-02-06 12:46
833
filter_2__379_17.min1.thm1
2017-02-06 12:46
1.4K
filter_2__390_39.min1.thm1
2017-02-06 12:46
558
filter_2__408_38.min1.thm1
2017-02-06 12:46
558
filter_2__434_30.min1.thm1
2017-02-06 12:46
1.1K
filter_2__441_58.min1.thm1
2017-02-06 12:46
2.1K
filter_2__463_11.min1.thm1
2017-02-06 12:46
749
filter_2__470_11.min1.thm1
2017-02-06 12:46
775
filter_2__483_19.min1.thm1
2017-02-06 12:46
2.0K
filter_2__485_16.min1.thm1
2017-02-06 12:46
429
filter_2__499_19.min1.thm1
2017-02-06 12:46
2.0K
filter_2__501_16.min1.thm1
2017-02-06 12:46
429
filter_2__517_16.min1.thm1
2017-02-06 12:46
390
filter_2__533_16.min1.thm1
2017-02-06 12:46
390
filter_2__547_16.min1.thm1
2017-02-06 12:46
2.0K
filter_2__548_21.min1.thm1
2017-02-06 12:46
2.4K
filter_2__550_16.min1.thm1
2017-02-06 12:46
429
filter_2__564_16.min1.thm1
2017-02-06 12:46
2.0K
filter_2__565_21.min1.thm1
2017-02-06 12:46
2.4K
filter_2__567_16.min1.thm1
2017-02-06 12:46
429
filter_2__580_49.min1.thm1
2017-02-06 12:46
1.0K
filter_2__581_18.min1.thm1
2017-02-06 12:46
1.6K
filter_2__584_16.min1.thm1
2017-02-06 12:46
390
filter_2__597_49.min1.thm1
2017-02-06 12:46
1.0K
filter_2__598_18.min1.thm1
2017-02-06 12:46
1.6K
filter_2__601_16.min1.thm1
2017-02-06 12:46
1.4K
filter_2__611_39.min1.thm1
2017-02-06 12:46
562
filter_2__621_16.min1.thm1
2017-02-06 12:46
954
filter_2__624_40.min1.thm1
2017-02-06 12:46
636
filter_2__645_57.min1.thm1
2017-02-06 12:46
1.3K
filter_2__648_23.min1.thm1
2017-02-06 12:46
1.7K
filter_2__657_44.min1.thm1
2017-02-06 12:46
2.1K
filter_2__668_16.min1.thm1
2017-02-06 12:46
1.6K
filter_2__669_17.min1.thm1
2017-02-06 12:46
2.6K
filter_2__676_19.min1.thm1
2017-02-06 12:46
1.3K
filter_2__677_14.min1.thm1
2017-02-06 12:46
727
filter_2__684_53.min1.thm1
2017-02-06 12:46
738
filter_2__685_25.min1.thm1
2017-02-06 12:46
2.5K
filter_2__686_14.min1.thm1
2017-02-06 12:46
835
filter_2__693_53.min1.thm1
2017-02-06 12:46
738
filter_2__695_17.min1.thm1
2017-02-06 12:46
1.5K
filter_2__702_30.min1.thm1
2017-02-06 12:46
1.4K
filter_2__704_17.min1.thm1
2017-02-06 12:46
506
filter_2__713_17.min1.thm1
2017-02-06 12:46
1.3K
filter_2__720_14.min1.thm1
2017-02-06 12:46
766
filter_2__720_14.min1.thm1.tptp
2017-02-06 16:47
689
filter_2__730_10.min1.thm1
2017-02-06 12:46
1.1K
filter_2__731_38.min1.thm1
2017-02-06 12:46
379
filter_2__731_38.min1.thm1.tptp
2017-02-06 16:47
299
filter_2__736_33.min1.thm1
2017-02-06 12:46
944
filter_2__737_18.min1.thm1
2017-02-06 12:46
857
filter_2__739_46.min1.thm1
2017-02-06 12:46
505
filter_2__745_62.min1.thm1
2017-02-06 12:46
1.4K
filter_2__746_27.min1.thm1
2017-02-06 12:46
1.5K
filter_2__747_20.min1.thm1
2017-02-06 12:46
1.8K
filter_2__751_52.min1.thm1
2017-02-06 12:46
1.4K
filter_2__752_20.min1.thm1
2017-02-06 12:46
1.8K
filter_2__754_15.min1.thm1
2017-02-06 12:46
1.7K
filter_2__755_20.min1.thm1
2017-02-06 12:46
1.8K
filter_2__756_20.min1.thm1
2017-02-06 12:46
2.1K
filter_2__757_30.min1.thm1
2017-02-06 12:46
1.3K
filter_2__766_39.min1.thm1
2017-02-06 12:46
1.1K
filter_2__767_14.min1.thm1
2017-02-06 12:46
585
filter_2__767_14.min1.thm1.tptp
2017-02-06 16:47
506
filter_2__776_36.min1.thm1
2017-02-06 12:46
1.7K
filter_2__777_28.min1.thm1
2017-02-06 12:46
825
filter_2__780_23.min1.thm1
2017-02-06 12:46
2.9K
filter_2__784_28.min1.thm1
2017-02-06 12:46
825
filter_2__785_36.min1.thm1
2017-02-06 12:46
1.7K
filter_2__786_19.min1.thm1
2017-02-06 12:46
3.5K
filter_2__788_14.min1.thm1
2017-02-06 12:46
2.9K
filter_2__794_16.min1.thm1
2017-02-06 12:46
1.6K
filter_2__795_14.min1.thm1
2017-02-06 12:46
2.3K
filter_2__803_30.min1.thm1
2017-02-06 12:46
506
filter_2__805_33.min1.thm1
2017-02-06 12:46
1.8K
filter_2__806_29.min1.thm1
2017-02-06 12:46
947
filter_2__826_11.min1.thm1
2017-02-06 12:46
790
filter_2__834_9.min1.thm1
2017-02-06 12:46
722
filter_2__844_27.min1.thm1
2017-02-06 12:46
506
filter_2__850_16.min1.thm1
2017-02-06 12:46
1.2K
filter_2__851_17.min1.thm1
2017-02-06 12:46
2.5K
filter_2__869_51.min1.thm1
2017-02-06 12:46
738
filter_2__872_40.min1.thm1
2017-02-06 12:46
2.1K
filter_2__874_16.min1.thm1
2017-02-06 12:46
1.2K
filter_2__875_17.min1.thm1
2017-02-06 12:46
2.3K
filter_2__891_11.min1.thm1
2017-02-06 12:46
754
filter_2__899_28.min1.thm1
2017-02-06 12:46
1.3K
filter_2__900_19.min1.thm1
2017-02-06 12:46
396
filter_2__900_19.min1.thm1.tptp
2017-02-06 16:47
326
filter_2__913_34.min1.thm1
2017-02-06 12:46
1.6K
filter_2__915_46.min1.thm1
2017-02-06 12:46
2.6K
filter_2__916_34.min1.thm1
2017-02-06 12:46
1.6K
filter_2__918_46.min1.thm1
2017-02-06 12:46
2.6K
filter_2__927_19.min1.thm1
2017-02-06 12:46
1.0K
filter_2__932_19.min1.thm1
2017-02-06 12:46
3.6K
filter_2__935_17.min1.thm1
2017-02-06 12:46
3.2K
filter_2__941_28.min1.thm1
2017-02-06 12:46
1.5K
filter_2__942_17.min1.thm1
2017-02-06 12:46
1.0K
filter_2__951_17.min1.thm1
2017-02-06 12:46
1.3K
filter_2__952_39.min1.thm1
2017-02-06 12:46
449
filter_2__952_39.min1.thm1.tptp
2017-02-06 16:47
378
filter_2__953_17.min1.thm1
2017-02-06 12:46
2.0K
filter_2__959_38.min1.thm1
2017-02-06 12:46
2.1K
filter_2__966_38.min1.thm1
2017-02-06 12:46
2.1K
filter_2__967_17.min1.thm1
2017-02-06 12:46
3.4K
filter_2__976_50.min1.thm1
2017-02-06 12:46
738
filter_2__985_14.min1.thm1
2017-02-06 12:46
859
filter_2__986_17.min1.thm1
2017-02-06 12:46
1.8K
filter_2__1004_19.min1.thm1
2017-02-06 12:46
2.3K
filter_2__1025_18.min1.thm1
2017-02-06 12:46
1.4K
filter_2__1027_16.min1.thm1
2017-02-06 12:46
479
filter_2__1027_16.min1.thm1.tptp
2017-02-06 16:47
401
filter_2__1038_17.min1.thm1
2017-02-06 12:46
1.9K
filter_2__1039_38.min1.thm1
2017-02-06 12:46
520
filter_2__1039_38.min1.thm1.tptp
2017-02-06 16:47
440
filter_2__1040_18.min1.thm1
2017-02-06 12:46
1.0K
filter_2__1041_16.min1.thm1
2017-02-06 12:46
398
filter_2__1041_16.min1.thm1.tptp
2017-02-06 16:47
310
filter_2__1100_43.min1.thm1
2017-02-06 12:46
1.3K
filter_2__1107_71.min1.thm1
2017-02-06 12:46
2.0K
filter_2__1120_16.min1.thm1
2017-02-06 12:46
2.3K
filter_2__1124_14.min1.thm1
2017-02-06 12:46
2.3K
filter_2__1133_38.min1.thm1
2017-02-06 12:46
1.2K
filter_2__1134_50.min1.thm1
2017-02-06 12:46
2.3K
filter_2__1152_11.min1.thm1
2017-02-06 12:46
722
filter_2__1166_24.min1.thm1
2017-02-06 12:46
768
filter_2__1178_23.min1.thm1
2017-02-06 12:46
656
filter_2__1180_22.min1.thm1
2017-02-06 12:46
2.3K
filter_2__1206_50.min1.thm1
2017-02-06 12:46
477
filter_2__1206_50.min1.thm1.tptp
2017-02-06 16:47
402
filter_2__1207_50.min1.thm1
2017-02-06 12:46
477
filter_2__1207_50.min1.thm1.tptp
2017-02-06 16:47
402
filter_2__1215_34.min1.thm1
2017-02-06 12:46
1.2K
filter_2__1217_27.min1.thm1
2017-02-06 12:46
1.9K
filter_2__1220_29.min1.thm1
2017-02-06 12:46
1.9K
filter_2__1223_53.min1.thm1
2017-02-06 12:46
1.0K
filter_2__1226_19.min1.thm1
2017-02-06 12:46
2.0K
filter_2__1233_32.min1.thm1
2017-02-06 12:46
1.3K
filter_2__1238_25.min1.thm1
2017-02-06 12:46
842
filter_2__1240_28.min1.thm1
2017-02-06 12:46
551
filter_2__1244_25.min1.thm1
2017-02-06 12:46
842
filter_2__1245_33.min1.thm1
2017-02-06 12:46
552
filter_2__1248_17.min1.thm1
2017-02-06 12:46
1.5K
filter_2__1254_48.min1.thm1
2017-02-06 12:46
1.0K
filter_2__1255_40.min1.thm1
2017-02-06 12:46
1.4K
filter_2__1256_17.min1.thm1
2017-02-06 12:46
1.4K
filter_2__1262_14.min1.thm1
2017-02-06 12:46
833
filter_2__1269_31.min1.thm1
2017-02-06 12:46
1.7K
filter_2__1272_28.min1.thm1
2017-02-06 12:46
1.7K
filter_2__1275_17.min1.thm1
2017-02-06 12:46
2.3K
filter_2__1281_18.min1.thm1
2017-02-06 12:46
1.0K
filter_2__1282_17.min1.thm1
2017-02-06 12:46
1.5K
filter_2__1288_50.min1.thm1
2017-02-06 12:46
2.3K
filter_2__1297_39.min1.thm1
2017-02-06 12:46
1.7K
filter_2__1307_38.min1.thm1
2017-02-06 12:46
2.8K
filter_2__1308_16.min1.thm1
2017-02-06 12:46
1.5K
filter_2__1317_6.min1.thm1
2017-02-06 12:46
2.0K
filter_2__1318_29.min1.thm1
2017-02-06 12:46
1.0K
filter_2__1326_38.min1.thm1
2017-02-06 12:46
1.7K
filter_2__1328_60.min1.thm1
2017-02-06 12:46
2.3K
filter_2__1329_17.min1.thm1
2017-02-06 12:46
1.7K
filter_2__1335_39.min1.thm1
2017-02-06 12:46
1.7K
filter_2__1338_30.min1.thm1
2017-02-06 12:46
1.2K
filter_2__1340_14.min1.thm1
2017-02-06 12:46
891
filter_2__1353_11.min1.thm1
2017-02-06 12:46
1.5K
filter_2__1354_26.min1.thm1
2017-02-06 12:46
2.0K
filter_2__1355_16.min1.thm1
2017-02-06 12:46
1.7K
filter_2__1373_25.min1.thm1
2017-02-06 12:46
2.3K
filter_2__1377_19.min1.thm1
2017-02-06 12:46
1.7K
filter_2__1389_24.min1.thm1
2017-02-06 12:46
2.3K
filter_2__1393_19.min1.thm1
2017-02-06 12:46
1.7K
filter_2__1403_52.min1.thm1
2017-02-06 12:46
768
filter_2__1418_13.min1.thm1
2017-02-06 12:46
1.4K
filter_2__1419_38.min1.thm1
2017-02-06 12:46
411
filter_2__1419_38.min1.thm1.tptp
2017-02-06 16:47
331
filter_2__1424_42.min1.thm1
2017-02-06 12:46
1.1K
filter_2__1425_18.min1.thm1
2017-02-06 12:46
907
filter_2__1427_46.min1.thm1
2017-02-06 12:46
505
filter_2__1433_41.min1.thm1
2017-02-06 12:46
1.3K
filter_2__1435_38.min1.thm1
2017-02-06 12:46
2.2K
filter_2__1436_41.min1.thm1
2017-02-06 12:46
1.3K
filter_2__1451_64.min1.thm1
2017-02-06 12:46
910
filter_2__1452_74.min1.thm1
2017-02-06 12:46
1.3K
filter_2__1453_14.min1.thm1
2017-02-06 12:46
730
filter_2__1453_14.min1.thm1.tptp
2017-02-06 16:47
655
filter_2__1457_47.min1.thm1
2017-02-06 12:46
1.1K
filter_2__1465_27.min1.thm1
2017-02-06 12:46
1.5K
filter_2__1466_17.min1.thm1
2017-02-06 12:46
1.4K
filter_2__1467_21.min1.thm1
2017-02-06 12:46
1.0K
filter_2__1469_17.min1.thm1
2017-02-06 12:46
1.2K
filter_2__1470_17.min1.thm1
2017-02-06 12:46
1.1K
filter_2__1479_28.min1.thm1
2017-02-06 12:46
815
filter_2__1480_28.min1.thm1
2017-02-06 12:46
845
filter_2__1481_17.min1.thm1
2017-02-06 12:46
1.5K
filter_2__1490_28.min1.thm1
2017-02-06 12:46
815
filter_2__1491_34.min1.thm1
2017-02-06 12:46
845
filter_2__1492_17.min1.thm1
2017-02-06 12:46
1.5K
filter_2__1501_57.min1.thm1
2017-02-06 12:46
2.0K
filter_2__1528_33.min1.thm1
2017-02-06 12:46
1.0K
filter_2__1529_56.min1.thm1
2017-02-06 12:46
1.5K
filter_2__1530_35.min1.thm1
2017-02-06 12:46
1.0K
filter_2__1535_27.min1.thm1
2017-02-06 12:46
1.6K
filter_2__1536_31.min1.thm1
2017-02-06 12:46
2.1K
filter_2__1539_32.min1.thm1
2017-02-06 12:46
2.1K
filter_2__1549_56.min1.thm1
2017-02-06 12:46
2.3K
filter_2__1551_20.min1.thm1
2017-02-06 12:46
1.6K
filter_2__1564_23.min1.thm1
2017-02-06 12:46
932
filter_2__1565_17.min1.thm1
2017-02-06 12:46
1.3K
filter_2__1576_63.min1.thm1
2017-02-06 12:46
1.8K
filter_2__1577_19.min1.thm1
2017-02-06 12:46
323
filter_2__1579_36.min1.thm1
2017-02-06 12:46
2.0K
filter_2__1580_18.min1.thm1
2017-02-06 12:46
323
filter_2__1582_36.min1.thm1
2017-02-06 12:46
2.0K
filter_2__1583_36.min1.thm1
2017-02-06 12:46
2.1K
filter_2__1588_15.min1.thm1
2017-02-06 12:46
821
filter_2__1590_12.min1.thm1
2017-02-06 12:46
1.3K
filter_2__1599_40.min1.thm1
2017-02-06 12:46
1.9K
filter_2__1618_16.min1.thm1
2017-02-06 12:46
855
filter_2__1626_32.min1.thm1
2017-02-06 12:46
2.1K
filter_2__1627_17.min1.thm1
2017-02-06 12:46
2.2K
filter_2__1635_64.min1.thm1
2017-02-06 12:46
4.7K
filter_2__1647_17.min1.thm1
2017-02-06 12:46
3.1K
filter_2__1655_17.min1.thm1
2017-02-06 12:46
1.9K
filter_2__1670_41.min1.thm1
2017-02-06 12:46
2.0K
filter_2__1672_21.min1.thm1
2017-02-06 12:46
1.6K
filter_2__1674_21.min1.thm1
2017-02-06 12:46
1.6K
filter_2__1699_38.min1.thm1
2017-02-06 12:46
1.5K
filter_2__1702_27.min1.thm1
2017-02-06 12:46
1.1K
filter_2__1703_15.min1.thm1
2017-02-06 12:46
527
filter_2__1703_15.min1.thm1.tptp
2017-02-06 16:47
456
filter_2__1704_52.min1.thm1
2017-02-06 12:46
2.0K
filter_2__1707_38.min1.thm1
2017-02-06 12:46
1.3K
filter_2__1709_12.min1.thm1
2017-02-06 12:46
600
filter_2__1727_23.min1.thm1
2017-02-06 12:46
1.1K
filter_2__1759_18.min1.thm1
2017-02-06 12:46
1.3K
filter_2__1760_16.min1.thm1
2017-02-06 12:46
1.9K
filter_2__1764_11.min1.thm1
2017-02-06 12:46
1.9K
filter_2__1777_11.min1.thm1
2017-02-06 12:46
1.9K
filter_2__1779_17.min1.thm1
2017-02-06 12:46
1.7K
filter_2__1784_13.min1.thm1
2017-02-06 12:46
1.5K
filter_2__1785_11.min1.thm1
2017-02-06 12:46
1.9K
filter_2__1786_20.min1.thm1
2017-02-06 12:46
1.8K
filter_2__1797_44.min1.thm1
2017-02-06 12:46
1.4K
filter_2__1798_32.min1.thm1
2017-02-06 12:46
1.4K
filter_2__1807_44.min1.thm1
2017-02-06 12:46
1.4K
filter_2__1808_32.min1.thm1
2017-02-06 12:46
1.4K
filter_2__1811_11.min1.thm1
2017-02-06 12:46
1.4K
filter_2__1821_27.min1.thm1
2017-02-06 12:46
514
filter_2__1824_46.min1.thm1
2017-02-06 12:46
1.4K
filter_2__1825_32.min1.thm1
2017-02-06 12:46
1.4K
filter_2__1828_33.min1.thm1
2017-02-06 12:46
1.6K
filter_2__1830_18.min1.thm1
2017-02-06 12:46
558
filter_2__1837_63.min1.thm1
2017-02-06 12:46
2.2K
filter_2__1838_14.min1.thm1
2017-02-06 12:46
872
filter_2__1838_14.min1.thm1.tptp
2017-02-06 16:47
800
filter_2__1847_39.min1.thm1
2017-02-06 12:46
1.3K
filter_2__1852_13.min1.thm1
2017-02-06 12:46
1.9K
filter_2__1854_14.min1.thm1
2017-02-06 12:46
1.9K
filter_2__1860_13.min1.thm1
2017-02-06 12:46
1.9K
filter_2__1862_14.min1.thm1
2017-02-06 12:46
1.7K
filter_2__1868_35.min1.thm1
2017-02-06 12:46
1.0K
filter_2__1868_35.min1.thm1.tptp
2017-02-06 16:47
902
filter_2__1869_16.min1.thm1
2017-02-06 12:46
3.0K
filter_2__1878_53.min1.thm1
2017-02-06 12:46
2.2K
filter_2__1882_40.min1.thm1
2017-02-06 12:46
1.6K
filter_2__1884_29.min1.thm1
2017-02-06 12:46
731
filter_2__1885_21.min1.thm1
2017-02-06 12:46
1.5K
filter_2__1886_22.min1.thm1
2017-02-06 12:46
1.4K
filter_2__1888_13.min1.thm1
2017-02-06 12:46
1.5K
filter_2__1889_18.min1.thm1
2017-02-06 12:46
1.6K
filter_2__1890_50.min1.thm1
2017-02-06 12:46
1.6K
filter_2__1894_13.min1.thm1
2017-02-06 12:46
1.9K
filter_2__1895_17.min1.thm1
2017-02-06 12:46
727
filter_2__1896_26.min1.thm1
2017-02-06 12:46
1.2K
filter_2__1897_24.min1.thm1
2017-02-06 12:46
1.5K
filter_2__1900_20.min1.thm1
2017-02-06 12:46
1.7K
filter_2__1901_20.min1.thm1
2017-02-06 12:46
1.0K
filter_2__1904_14.min1.thm1
2017-02-06 12:46
958
filter_2__1914_55.min1.thm1
2017-02-06 12:46
2.1K
filter_2__1920_29.min1.thm1
2017-02-06 12:46
731
filter_2__1921_24.min1.thm1
2017-02-06 12:46
1.5K
filter_2__1922_21.min1.thm1
2017-02-06 12:46
1.5K
filter_2__1923_24.min1.thm1
2017-02-06 12:46
1.4K
filter_2__1925_13.min1.thm1
2017-02-06 12:46
1.8K
filter_2__1926_18.min1.thm1
2017-02-06 12:46
1.8K
filter_2__1930_13.min1.thm1
2017-02-06 12:46
1.8K
filter_2__1933_25.min1.thm1
2017-02-06 12:46
2.0K
filter_2__1935_13.min1.thm1
2017-02-06 12:46
862
filter_2__1936_17.min1.thm1
2017-02-06 12:46
1.1K
filter_2__1937_26.min1.thm1
2017-02-06 12:46
1.2K
filter_2__1941_25.min1.thm1
2017-02-06 12:46
1.7K
filter_2__1942_13.min1.thm1
2017-02-06 12:46
1.5K
filter_2__1943_20.min1.thm1
2017-02-06 12:46
1.1K
filter_2__1946_14.min1.thm1
2017-02-06 12:46
1.0K
filter_2__1953_71.min1.thm1
2017-02-06 12:46
2.7K
filter_2__1955_14.min1.thm1
2017-02-06 12:46
1.4K
filter_2__1955_14.min1.thm1.tptp
2017-02-06 16:47
1.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80