Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/ltlaxio1
Name
Last modified
Size
Description
Parent Directory
-
ltlaxio1__43_24.min1.thm1
2017-02-06 12:44
1.7K
ltlaxio1__45_17.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__53_19.min1.thm1
2017-02-06 12:44
420
ltlaxio1__54_15.min1.thm1
2017-02-06 12:44
420
ltlaxio1__61_19.min1.thm1
2017-02-06 12:44
420
ltlaxio1__62_19.min1.thm1
2017-02-06 12:44
420
ltlaxio1__63_17.min1.thm1
2017-02-06 12:44
420
ltlaxio1__70_19.min1.thm1
2017-02-06 12:44
420
ltlaxio1__71_19.min1.thm1
2017-02-06 12:44
420
ltlaxio1__72_17.min1.thm1
2017-02-06 12:44
420
ltlaxio1__100_67.min1.thm1
2017-02-06 12:44
479
ltlaxio1__100_67.min1.thm1.tptp
2017-02-06 16:47
398
ltlaxio1__107_13.min1.thm1
2017-02-06 12:44
482
ltlaxio1__110_13.min1.thm1
2017-02-06 12:44
482
ltlaxio1__116_13.min1.thm1
2017-02-06 12:44
354
ltlaxio1__116_13.min1.thm1.tptp
2017-02-06 16:47
273
ltlaxio1__122_13.min1.thm1
2017-02-06 12:44
617
ltlaxio1__128_13.min1.thm1
2017-02-06 12:44
647
ltlaxio1__140_13.min1.thm1
2017-02-06 12:44
502
ltlaxio1__171_18.min1.thm1
2017-02-06 12:44
429
ltlaxio1__171_18.min1.thm1.tptp
2017-02-06 16:47
361
ltlaxio1__173_41.min1.thm1
2017-02-06 12:44
357
ltlaxio1__173_41.min1.thm1.tptp
2017-02-06 16:47
279
ltlaxio1__176_4.min1.thm1
2017-02-06 12:44
874
ltlaxio1__188_19.min1.thm1
2017-02-06 12:44
429
ltlaxio1__188_19.min1.thm1.tptp
2017-02-06 16:47
366
ltlaxio1__189_17.min1.thm1
2017-02-06 12:44
501
ltlaxio1__196_19.min1.thm1
2017-02-06 12:44
429
ltlaxio1__196_19.min1.thm1.tptp
2017-02-06 16:47
366
ltlaxio1__197_17.min1.thm1
2017-02-06 12:44
501
ltlaxio1__199_14.min1.thm1
2017-02-06 12:44
431
ltlaxio1__235_12.min1.thm1
2017-02-06 12:44
859
ltlaxio1__237_52.min1.thm1
2017-02-06 12:44
896
ltlaxio1__242_14.min1.thm1
2017-02-06 12:44
880
ltlaxio1__244_49.min1.thm1
2017-02-06 12:44
2.3K
ltlaxio1__248_22.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__257_16.min1.thm1
2017-02-06 12:44
2.1K
ltlaxio1__267_12.min1.thm1
2017-02-06 12:44
859
ltlaxio1__281_43.min1.thm1
2017-02-06 12:44
360
ltlaxio1__281_43.min1.thm1.tptp
2017-02-06 16:47
282
ltlaxio1__282_17.min1.thm1
2017-02-06 12:44
1.7K
ltlaxio1__292_25.min1.thm1
2017-02-06 12:44
2.2K
ltlaxio1__298_17.min1.thm1
2017-02-06 12:44
3.8K
ltlaxio1__308_13.min1.thm1
2017-02-06 12:44
411
ltlaxio1__310_21.min1.thm1
2017-02-06 12:44
585
ltlaxio1__311_54.min1.thm1
2017-02-06 12:44
703
ltlaxio1__314_22.min1.thm1
2017-02-06 12:44
762
ltlaxio1__315_54.min1.thm1
2017-02-06 12:44
877
ltlaxio1__320_51.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__321_13.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__322_60.min1.thm1
2017-02-06 12:44
758
ltlaxio1__322_60.min1.thm1.tptp
2017-02-06 16:47
703
ltlaxio1__333_12.min1.thm1
2017-02-06 12:44
859
ltlaxio1__339_43.min1.thm1
2017-02-06 12:44
2.6K
ltlaxio1__339_43.min1.thm1.tptp
2017-02-06 16:47
2.6K
ltlaxio1__344_40.min1.thm1
2017-02-06 12:44
2.6K
ltlaxio1__344_40.min1.thm1.tptp
2017-02-06 16:47
2.6K
ltlaxio1__347_43.min1.thm1
2017-02-06 12:44
360
ltlaxio1__347_43.min1.thm1.tptp
2017-02-06 16:47
282
ltlaxio1__348_31.min1.thm1
2017-02-06 12:44
1.7K
ltlaxio1__349_16.min1.thm1
2017-02-06 12:44
1.7K
ltlaxio1__354_17.min1.thm1
2017-02-06 12:44
3.5K
ltlaxio1__362_12.min1.thm1
2017-02-06 12:44
859
ltlaxio1__364_52.min1.thm1
2017-02-06 12:44
896
ltlaxio1__372_16.min1.thm1
2017-02-06 12:44
1.9K
ltlaxio1__381_13.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__388_30.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__396_13.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__404_34.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__412_46.min1.thm1
2017-02-06 12:44
338
ltlaxio1__412_46.min1.thm1.tptp
2017-02-06 16:47
260
ltlaxio1__414_24.min1.thm1
2017-02-06 12:44
4.2K
ltlaxio1__414_24.min1.thm1.tptp
2017-02-06 16:47
4.3K
ltlaxio1__415_29.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__417_15.min1.thm1
2017-02-06 12:44
928
ltlaxio1__417_15.min1.thm1.tptp
2017-02-06 16:47
931
ltlaxio1__422_25.min1.thm1
2017-02-06 12:44
604
ltlaxio1__425_25.min1.thm1
2017-02-06 12:44
685
ltlaxio1__428_25.min1.thm1
2017-02-06 12:44
685
ltlaxio1__431_21.min1.thm1
2017-02-06 12:44
623
ltlaxio1__439_18.min1.thm1
2017-02-06 12:44
885
ltlaxio1__442_38.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__443_17.min1.thm1
2017-02-06 12:44
5.3K
ltlaxio1__458_39.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__461_31.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__470_51.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__473_40.min1.thm1
2017-02-06 12:44
1.9K
ltlaxio1__478_10.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__485_50.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__492_12.min1.thm1
2017-02-06 12:44
912
ltlaxio1__495_11.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__500_43.min1.thm1
2017-02-06 12:44
948
ltlaxio1__524_14.min1.thm1
2017-02-06 12:44
421
ltlaxio1__526_30.min1.thm1
2017-02-06 12:44
2.8K
ltlaxio1__527_25.min1.thm1
2017-02-06 12:44
2.8K
ltlaxio1__530_33.min1.thm1
2017-02-06 12:44
2.8K
ltlaxio1__531_34.min1.thm1
2017-02-06 12:44
3.1K
ltlaxio1__532_28.min1.thm1
2017-02-06 12:44
2.8K
ltlaxio1__536_20.min1.thm1
2017-02-06 12:44
868
ltlaxio1__547_14.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__553_50.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__554_26.min1.thm1
2017-02-06 12:44
1.9K
ltlaxio1__557_27.min1.thm1
2017-02-06 12:44
1.0K
ltlaxio1__558_28.min1.thm1
2017-02-06 12:44
1.9K
ltlaxio1__566_19.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__566_19.min1.thm1.tptp
2017-02-06 16:47
1.3K
ltlaxio1__569_3.min1.thm1
2017-02-06 12:44
828
ltlaxio1__573_6.min1.thm1
2017-02-06 12:44
2.2K
ltlaxio1__578_30.min1.thm1
2017-02-06 12:44
796
ltlaxio1__579_27.min1.thm1
2017-02-06 12:44
1.9K
ltlaxio1__581_6.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__594_29.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__594_29.min1.thm1.tptp
2017-02-06 16:47
1.2K
ltlaxio1__595_29.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__595_29.min1.thm1.tptp
2017-02-06 16:47
1.2K
ltlaxio1__600_28.min1.thm1
2017-02-06 12:44
2.5K
ltlaxio1__600_28.min1.thm1.tptp
2017-02-06 16:47
2.5K
ltlaxio1__601_24.min1.thm1
2017-02-06 12:44
2.5K
ltlaxio1__601_24.min1.thm1.tptp
2017-02-06 16:47
2.5K
ltlaxio1__603_24.min1.thm1
2017-02-06 12:44
764
ltlaxio1__611_20.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__612_40.min1.thm1
2017-02-06 12:44
344
ltlaxio1__612_40.min1.thm1.tptp
2017-02-06 16:47
266
ltlaxio1__614_21.min1.thm1
2017-02-06 12:44
1.7K
ltlaxio1__615_45.min1.thm1
2017-02-06 12:44
346
ltlaxio1__615_45.min1.thm1.tptp
2017-02-06 16:47
268
ltlaxio1__617_29.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__618_15.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__641_34.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__649_61.min1.thm1
2017-02-06 12:44
4.2K
ltlaxio1__650_47.min1.thm1
2017-02-06 12:44
3.8K
ltlaxio1__652_64.min1.thm1
2017-02-06 12:44
4.1K
ltlaxio1__653_54.min1.thm1
2017-02-06 12:44
4.1K
ltlaxio1__662_39.min1.thm1
2017-02-06 12:44
4.0K
ltlaxio1__671_51.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__672_15.min1.thm1
2017-02-06 12:44
2.1K
ltlaxio1__674_30.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__678_30.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__683_14.min1.thm1
2017-02-06 12:44
818
ltlaxio1__685_35.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__686_50.min1.thm1
2017-02-06 12:44
1.8K
ltlaxio1__688_18.min1.thm1
2017-02-06 12:44
2.2K
ltlaxio1__691_35.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__692_50.min1.thm1
2017-02-06 12:44
1.8K
ltlaxio1__694_18.min1.thm1
2017-02-06 12:44
2.2K
ltlaxio1__711_18.min1.thm1
2017-02-06 12:44
1.8K
ltlaxio1__728_62.min1.thm1
2017-02-06 12:44
2.3K
ltlaxio1__729_33.min1.thm1
2017-02-06 12:44
2.3K
ltlaxio1__730_29.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__732_42.min1.thm1
2017-02-06 12:44
2.3K
ltlaxio1__733_61.min1.thm1
2017-02-06 12:44
2.1K
ltlaxio1__734_12.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__741_28.min1.thm1
2017-02-06 12:44
2.9K
ltlaxio1__749_15.min1.thm1
2017-02-06 12:44
2.3K
ltlaxio1__751_24.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__755_36.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__760_19.min1.thm1
2017-02-06 12:44
2.3K
ltlaxio1__771_37.min1.thm1
2017-02-06 12:44
1.7K
ltlaxio1__774_26.min1.thm1
2017-02-06 12:44
2.3K
ltlaxio1__776_33.min1.thm1
2017-02-06 12:44
644
ltlaxio1__776_33.min1.thm1.tptp
2017-02-06 16:47
567
ltlaxio1__780_24.min1.thm1
2017-02-06 12:44
580
ltlaxio1__781_31.min1.thm1
2017-02-06 12:44
2.4K
ltlaxio1__784_30.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__793_15.min1.thm1
2017-02-06 12:44
2.4K
ltlaxio1__795_39.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__796_19.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__797_67.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__800_29.min1.thm1
2017-02-06 12:44
1.8K
ltlaxio1__807_14.min1.thm1
2017-02-06 12:44
211
ltlaxio1__809_27.min1.thm1
2017-02-06 12:44
2.5K
ltlaxio1__812_18.min1.thm1
2017-02-06 12:44
1.0K
ltlaxio1__813_27.min1.thm1
2017-02-06 12:44
933
ltlaxio1__816_67.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__822_38.min1.thm1
2017-02-06 12:44
1.0K
ltlaxio1__823_11.min1.thm1
2017-02-06 12:44
187
ltlaxio1__828_46.min1.thm1
2017-02-06 12:44
683
ltlaxio1__830_18.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__832_28.min1.thm1
2017-02-06 12:44
2.2K
ltlaxio1__849_45.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__851_40.min1.thm1
2017-02-06 12:44
468
ltlaxio1__855_4.min1.thm1
2017-02-06 12:44
936
ltlaxio1__855_4.min1.thm1.tptp
2017-02-06 16:47
864
ltlaxio1__859_4.min1.thm1
2017-02-06 12:44
1.0K
ltlaxio1__866_40.min1.thm1
2017-02-06 12:44
468
ltlaxio1__867_60.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__867_60.min1.thm1.tptp
2017-02-06 16:47
1.1K
ltlaxio1__868_68.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__877_32.min1.thm1
2017-02-06 12:44
684
ltlaxio1__878_24.min1.thm1
2017-02-06 12:44
2.2K
ltlaxio1__881_34.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__882_33.min1.thm1
2017-02-06 12:44
2.2K
ltlaxio1__887_27.min1.thm1
2017-02-06 12:44
652
ltlaxio1__888_14.min1.thm1
2017-02-06 12:44
249
ltlaxio1__896_28.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__908_37.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__910_15.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__914_42.min1.thm1
2017-02-06 12:44
1.0K
ltlaxio1__918_13.min1.thm1
2017-02-06 12:44
253
ltlaxio1__920_25.min1.thm1
2017-02-06 12:44
810
ltlaxio1__924_28.min1.thm1
2017-02-06 12:44
842
ltlaxio1__932_19.min1.thm1
2017-02-06 12:44
2.3K
ltlaxio1__944_30.min1.thm1
2017-02-06 12:44
3.7K
ltlaxio1__945_46.min1.thm1
2017-02-06 12:44
4.9K
ltlaxio1__947_32.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__988_23.min1.thm1
2017-02-06 12:44
4.1K
ltlaxio1__1000_23.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__1018_40.min1.thm1
2017-02-06 12:44
2.4K
ltlaxio1__1020_42.min1.thm1
2017-02-06 12:44
1.9K
ltlaxio1__1021_15.min1.thm1
2017-02-06 12:44
835
ltlaxio1__1032_14.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1037_25.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__1047_17.min1.thm1
2017-02-06 12:44
4.6K
ltlaxio1__1057_15.min1.thm1
2017-02-06 12:44
2.4K
ltlaxio1__1059_46.min1.thm1
2017-02-06 12:44
391
ltlaxio1__1060_19.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1064_43.min1.thm1
2017-02-06 12:44
1.9K
ltlaxio1__1072_17.min1.thm1
2017-02-06 12:44
1.9K
ltlaxio1__1074_27.min1.thm1
2017-02-06 12:44
2.8K
ltlaxio1__1077_32.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1078_16.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__1079_21.min1.thm1
2017-02-06 12:44
2.1K
ltlaxio1__1080_27.min1.thm1
2017-02-06 12:44
1.8K
ltlaxio1__1083_24.min1.thm1
2017-02-06 12:44
1.7K
ltlaxio1__1095_17.min1.thm1
2017-02-06 12:44
4.6K
ltlaxio1__1109_10.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__1110_25.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1146_28.min1.thm1
2017-02-06 12:44
834
ltlaxio1__1147_17.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__1155_20.min1.thm1
2017-02-06 12:44
777
ltlaxio1__1156_16.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1162_20.min1.thm1
2017-02-06 12:44
870
ltlaxio1__1163_16.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1175_17.min1.thm1
2017-02-06 12:44
866
ltlaxio1__1178_17.min1.thm1
2017-02-06 12:44
692
ltlaxio1__1180_15.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1192_12.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__1193_28.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1194_44.min1.thm1
2017-02-06 12:44
3.7K
ltlaxio1__1195_9.min1.thm1
2017-02-06 12:44
1.0K
ltlaxio1__1196_25.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__1206_18.min1.thm1
2017-02-06 12:44
1.0K
ltlaxio1__1208_42.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__1209_9.min1.thm1
2017-02-06 12:44
2.2K
ltlaxio1__1219_9.min1.thm1
2017-02-06 12:44
1.0K
ltlaxio1__1220_56.min1.thm1
2017-02-06 12:44
1.9K
ltlaxio1__1232_21.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__1233_22.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1243_33.min1.thm1
2017-02-06 12:44
2.3K
ltlaxio1__1248_15.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__1251_27.min1.thm1
2017-02-06 12:44
2.3K
ltlaxio1__1253_24.min1.thm1
2017-02-06 12:44
663
ltlaxio1__1253_24.min1.thm1.tptp
2017-02-06 16:47
586
ltlaxio1__1274_12.min1.thm1
2017-02-06 12:44
491
ltlaxio1__1277_35.min1.thm1
2017-02-06 12:44
4.2K
ltlaxio1__1283_34.min1.thm1
2017-02-06 12:44
4.2K
ltlaxio1__1306_36.min1.thm1
2017-02-06 12:44
1.0K
ltlaxio1__1307_36.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__1310_30.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__1321_35.min1.thm1
2017-02-06 12:44
950
ltlaxio1__1323_36.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__1326_34.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__1329_13.min1.thm1
2017-02-06 12:44
645
ltlaxio1__1331_20.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1331_20.min1.thm1.tptp
2017-02-06 16:47
1.3K
ltlaxio1__1341_68.min1.thm1
2017-02-06 12:44
4.5K
ltlaxio1__1342_44.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__1342_44.min1.thm1.tptp
2017-02-06 16:47
1.4K
ltlaxio1__1343_42.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1343_42.min1.thm1.tptp
2017-02-06 16:47
1.4K
ltlaxio1__1348_35.min1.thm1
2017-02-06 12:44
3.9K
ltlaxio1__1351_23.min1.thm1
2017-02-06 12:44
950
ltlaxio1__1353_41.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__1364_19.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__1368_24.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__1392_27.min1.thm1
2017-02-06 12:44
1.7K
ltlaxio1__1397_16.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__1412_11.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1413_14.min1.thm1
2017-02-06 12:44
866
ltlaxio1__1414_38.min1.thm1
2017-02-06 12:44
1.9K
ltlaxio1__1416_9.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1417_23.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1418_34.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__1440_12.min1.thm1
2017-02-06 12:44
331
ltlaxio1__1444_43.min1.thm1
2017-02-06 12:44
270
ltlaxio1__1445_43.min1.thm1
2017-02-06 12:44
270
ltlaxio1__1446_16.min1.thm1
2017-02-06 12:44
572
ltlaxio1__1450_17.min1.thm1
2017-02-06 12:44
942
ltlaxio1__1453_17.min1.thm1
2017-02-06 12:44
576
ltlaxio1__1456_16.min1.thm1
2017-02-06 12:44
1.7K
ltlaxio1__1457_18.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__1462_18.min1.thm1
2017-02-06 12:44
950
ltlaxio1__1467_16.min1.thm1
2017-02-06 12:44
699
ltlaxio1__1470_76.min1.thm1
2017-02-06 12:44
384
ltlaxio1__1472_58.min1.thm1
2017-02-06 12:44
293
ltlaxio1__1478_13.min1.thm1
2017-02-06 12:44
469
ltlaxio1__1485_34.min1.thm1
2017-02-06 12:44
672
ltlaxio1__1489_32.min1.thm1
2017-02-06 12:44
624
ltlaxio1__1494_46.min1.thm1
2017-02-06 12:44
338
ltlaxio1__1494_46.min1.thm1.tptp
2017-02-06 16:47
260
ltlaxio1__1496_30.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1496_30.min1.thm1.tptp
2017-02-06 16:47
1.4K
ltlaxio1__1497_33.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1500_34.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__1501_35.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__1503_15.min1.thm1
2017-02-06 12:44
928
ltlaxio1__1503_15.min1.thm1.tptp
2017-02-06 16:47
931
ltlaxio1__1505_29.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__1508_29.min1.thm1
2017-02-06 12:44
558
ltlaxio1__1511_29.min1.thm1
2017-02-06 12:44
639
ltlaxio1__1514_29.min1.thm1
2017-02-06 12:44
639
ltlaxio1__1517_21.min1.thm1
2017-02-06 12:44
622
ltlaxio1__1518_56.min1.thm1
2017-02-06 12:44
964
ltlaxio1__1522_32.min1.thm1
2017-02-06 12:44
2.2K
ltlaxio1__1542_20.min1.thm1
2017-02-06 12:44
544
ltlaxio1__1548_38.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__1549_23.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__1552_19.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__1552_19.min1.thm1.tptp
2017-02-06 16:47
1.0K
ltlaxio1__1554_22.min1.thm1
2017-02-06 12:44
1.8K
ltlaxio1__1556_68.min1.thm1
2017-02-06 12:44
528
ltlaxio1__1557_21.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__1558_15.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__1569_34.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__1570_34.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__1591_15.min1.thm1
2017-02-06 12:44
700
ltlaxio1__1599_21.min1.thm1
2017-02-06 12:44
772
ltlaxio1__1600_51.min1.thm1
2017-02-06 12:44
3.7K
ltlaxio1__1602_17.min1.thm1
2017-02-06 12:44
772
ltlaxio1__1604_26.min1.thm1
2017-02-06 12:44
3.2K
ltlaxio1__1605_23.min1.thm1
2017-02-06 12:44
1.7K
ltlaxio1__1606_22.min1.thm1
2017-02-06 12:44
620
ltlaxio1__1608_31.min1.thm1
2017-02-06 12:44
724
ltlaxio1__1608_31.min1.thm1.tptp
2017-02-06 16:47
647
ltlaxio1__1630_46.min1.thm1
2017-02-06 12:44
322
ltlaxio1__1630_46.min1.thm1.tptp
2017-02-06 16:47
244
ltlaxio1__1632_28.min1.thm1
2017-02-06 12:44
2.1K
ltlaxio1__1638_9.min1.thm1
2017-02-06 12:44
833
ltlaxio1__1670_18.min1.thm1
2017-02-06 12:44
417
ltlaxio1__1670_18.min1.thm1.tptp
2017-02-06 16:47
347
ltlaxio1__1672_42.min1.thm1
2017-02-06 12:44
357
ltlaxio1__1672_42.min1.thm1.tptp
2017-02-06 16:47
279
ltlaxio1__1680_64.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__1681_19.min1.thm1
2017-02-06 12:44
903
ltlaxio1__1684_7.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__1685_48.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1687_7.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__1688_48.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1690_7.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__1691_49.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__1693_7.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__1694_47.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__1696_25.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1697_66.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__1699_25.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1700_66.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__1702_2.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__1703_42.min1.thm1
2017-02-06 12:44
1.7K
ltlaxio1__1709_17.min1.thm1
2017-02-06 12:44
567
ltlaxio1__1717_24.min1.thm1
2017-02-06 12:44
742
ltlaxio1__1718_16.min1.thm1
2017-02-06 12:44
396
ltlaxio1__1718_16.min1.thm1.tptp
2017-02-06 16:47
326
ltlaxio1__1724_14.min1.thm1
2017-02-06 12:44
439
ltlaxio1__1724_14.min1.thm1.tptp
2017-02-06 16:47
379
ltlaxio1__1733_35.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__1738_34.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__1747_35.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__1748_35.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__1749_35.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__1760_54.min1.thm1
2017-02-06 12:44
1.9K
ltlaxio1__1775_14.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1808_52.min1.thm1
2017-02-06 12:44
751
ltlaxio1__1808_52.min1.thm1.tptp
2017-02-06 16:47
678
ltlaxio1__1809_22.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__1811_41.min1.thm1
2017-02-06 12:44
339
ltlaxio1__1811_41.min1.thm1.tptp
2017-02-06 16:47
261
ltlaxio1__1819_52.min1.thm1
2017-02-06 12:44
1.8K
ltlaxio1__1820_13.min1.thm1
2017-02-06 12:44
578
ltlaxio1__1820_13.min1.thm1.tptp
2017-02-06 16:47
487
ltlaxio1__1821_16.min1.thm1
2017-02-06 12:44
1.0K
ltlaxio1__1827_13.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1828_16.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__1834_13.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1835_16.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__1839_77.min1.thm1
2017-02-06 12:44
1.9K
ltlaxio1__1841_13.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__1842_16.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__1848_13.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1849_16.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__1854_16.min1.thm1
2017-02-06 12:44
1.9K
ltlaxio1__1855_13.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__1856_16.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1861_16.min1.thm1
2017-02-06 12:44
1.9K
ltlaxio1__1862_13.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__1863_16.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1867_70.min1.thm1
2017-02-06 12:44
1.8K
ltlaxio1__1868_13.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__1869_16.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__1872_42.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__1873_13.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__1874_51.min1.thm1
2017-02-06 12:44
901
ltlaxio1__1875_13.min1.thm1
2017-02-06 12:44
668
ltlaxio1__1887_14.min1.thm1
2017-02-06 12:44
636
ltlaxio1__1891_17.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__1896_17.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__1901_17.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1906_17.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__1910_61.min1.thm1
2017-02-06 12:44
738
ltlaxio1__1911_17.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__1915_61.min1.thm1
2017-02-06 12:44
738
ltlaxio1__1916_17.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__1921_17.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1950_17.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__1952_17.min1.thm1
2017-02-06 12:44
714
ltlaxio1__1953_16.min1.thm1
2017-02-06 12:44
687
ltlaxio1__1954_17.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1956_14.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__1958_33.min1.thm1
2017-02-06 12:44
774
ltlaxio1__1959_24.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__1962_24.min1.thm1
2017-02-06 12:44
780
ltlaxio1__1963_24.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__1972_58.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__1973_27.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__1974_19.min1.thm1
2017-02-06 12:44
2.1K
ltlaxio1__1975_23.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__1977_19.min1.thm1
2017-02-06 12:44
2.1K
ltlaxio1__1978_23.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__1980_19.min1.thm1
2017-02-06 12:44
750
ltlaxio1__1981_17.min1.thm1
2017-02-06 12:44
723
ltlaxio1__1982_18.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1983_27.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__1984_14.min1.thm1
2017-02-06 12:44
751
ltlaxio1__1985_17.min1.thm1
2017-02-06 12:44
724
ltlaxio1__1986_18.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__1987_24.min1.thm1
2017-02-06 12:44
2.9K
ltlaxio1__1993_27.min1.thm1
2017-02-06 12:44
562
ltlaxio1__1994_27.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__1995_19.min1.thm1
2017-02-06 12:44
2.1K
ltlaxio1__1996_23.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__1998_14.min1.thm1
2017-02-06 12:44
750
ltlaxio1__1999_17.min1.thm1
2017-02-06 12:44
723
ltlaxio1__2000_18.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__2001_24.min1.thm1
2017-02-06 12:44
2.2K
ltlaxio1__2017_28.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__2024_14.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__2026_23.min1.thm1
2017-02-06 12:44
722
ltlaxio1__2027_13.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__2028_14.min1.thm1
2017-02-06 12:44
718
ltlaxio1__2029_20.min1.thm1
2017-02-06 12:44
594
ltlaxio1__2030_15.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__2032_30.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__2033_23.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2036_21.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__2037_23.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2046_59.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__2047_20.min1.thm1
2017-02-06 12:44
2.1K
ltlaxio1__2049_20.min1.thm1
2017-02-06 12:44
786
ltlaxio1__2050_14.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__2051_15.min1.thm1
2017-02-06 12:44
786
ltlaxio1__2052_20.min1.thm1
2017-02-06 12:44
2.1K
ltlaxio1__2054_15.min1.thm1
2017-02-06 12:44
787
ltlaxio1__2055_14.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__2056_15.min1.thm1
2017-02-06 12:44
787
ltlaxio1__2057_23.min1.thm1
2017-02-06 12:44
2.6K
ltlaxio1__2063_28.min1.thm1
2017-02-06 12:44
570
ltlaxio1__2064_20.min1.thm1
2017-02-06 12:44
2.1K
ltlaxio1__2066_15.min1.thm1
2017-02-06 12:44
786
ltlaxio1__2067_14.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__2068_15.min1.thm1
2017-02-06 12:44
786
ltlaxio1__2069_23.min1.thm1
2017-02-06 12:44
1.9K
ltlaxio1__2074_21.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2075_42.min1.thm1
2017-02-06 12:44
2.1K
ltlaxio1__2076_26.min1.thm1
2017-02-06 12:44
2.3K
ltlaxio1__2077_11.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__2079_22.min1.thm1
2017-02-06 12:44
2.3K
ltlaxio1__2093_32.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__2094_16.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__2095_22.min1.thm1
2017-02-06 12:44
2.6K
ltlaxio1__2097_24.min1.thm1
2017-02-06 12:44
2.7K
ltlaxio1__2102_35.min1.thm1
2017-02-06 12:44
1.9K
ltlaxio1__2107_19.min1.thm1
2017-02-06 12:44
932
ltlaxio1__2110_22.min1.thm1
2017-02-06 12:44
385
ltlaxio1__2110_22.min1.thm1.tptp
2017-02-06 16:47
299
ltlaxio1__2113_55.min1.thm1
2017-02-06 12:44
446
ltlaxio1__2114_32.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__2115_20.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__2116_9.min1.thm1
2017-02-06 12:44
1.7K
ltlaxio1__2117_15.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__2127_57.min1.thm1
2017-02-06 12:44
964
ltlaxio1__2134_15.min1.thm1
2017-02-06 12:44
358
ltlaxio1__2134_15.min1.thm1.tptp
2017-02-06 16:47
284
ltlaxio1__2136_14.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__2142_20.min1.thm1
2017-02-06 12:44
614
ltlaxio1__2143_16.min1.thm1
2017-02-06 12:44
2.1K
ltlaxio1__2145_35.min1.thm1
2017-02-06 12:44
837
ltlaxio1__2146_17.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__2148_22.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2152_22.min1.thm1
2017-02-06 12:44
1.9K
ltlaxio1__2156_27.min1.thm1
2017-02-06 12:44
843
ltlaxio1__2161_22.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2171_60.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__2172_16.min1.thm1
2017-02-06 12:44
2.1K
ltlaxio1__2173_25.min1.thm1
2017-02-06 12:44
861
ltlaxio1__2174_21.min1.thm1
2017-02-06 12:44
2.1K
ltlaxio1__2175_17.min1.thm1
2017-02-06 12:44
1.0K
ltlaxio1__2177_27.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__2178_22.min1.thm1
2017-02-06 12:44
2.1K
ltlaxio1__2184_16.min1.thm1
2017-02-06 12:44
1.0K
ltlaxio1__2192_29.min1.thm1
2017-02-06 12:44
582
ltlaxio1__2193_12.min1.thm1
2017-02-06 12:44
780
ltlaxio1__2194_25.min1.thm1
2017-02-06 12:44
3.0K
ltlaxio1__2195_21.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__2200_15.min1.thm1
2017-02-06 12:44
1.9K
ltlaxio1__2201_15.min1.thm1
2017-02-06 12:44
1.9K
ltlaxio1__2211_4.min1.thm1
2017-02-06 12:44
322
ltlaxio1__2215_16.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__2216_15.min1.thm1
2017-02-06 12:44
361
ltlaxio1__2216_15.min1.thm1.tptp
2017-02-06 16:47
298
ltlaxio1__2217_19.min1.thm1
2017-02-06 12:44
737
ltlaxio1__2223_15.min1.thm1
2017-02-06 12:44
330
ltlaxio1__2225_29.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__2226_19.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2229_20.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__2230_19.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2233_15.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__2243_57.min1.thm1
2017-02-06 12:44
964
ltlaxio1__2249_59.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__2250_24.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__2259_35.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__2260_17.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__2263_13.min1.thm1
2017-02-06 12:44
1.8K
ltlaxio1__2265_34.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__2266_19.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__2267_35.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__2273_14.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__2278_12.min1.thm1
2017-02-06 12:44
2.4K
ltlaxio1__2279_36.min1.thm1
2017-02-06 12:44
2.1K
ltlaxio1__2293_57.min1.thm1
2017-02-06 12:44
964
ltlaxio1__2295_35.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__2296_15.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__2299_9.min1.thm1
2017-02-06 12:44
2.8K
ltlaxio1__2303_36.min1.thm1
2017-02-06 12:44
2.4K
ltlaxio1__2317_57.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__2325_30.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__2326_26.min1.thm1
2017-02-06 12:44
2.1K
ltlaxio1__2327_42.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__2328_18.min1.thm1
2017-02-06 12:44
1.9K
ltlaxio1__2339_27.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2340_18.min1.thm1
2017-02-06 12:44
2.4K
ltlaxio1__2341_47.min1.thm1
2017-02-06 12:44
2.9K
ltlaxio1__2360_25.min1.thm1
2017-02-06 12:44
2.3K
ltlaxio1__2361_14.min1.thm1
2017-02-06 12:44
950
ltlaxio1__2362_18.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2373_25.min1.thm1
2017-02-06 12:44
2.3K
ltlaxio1__2374_14.min1.thm1
2017-02-06 12:44
950
ltlaxio1__2375_18.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2394_52.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2395_48.min1.thm1
2017-02-06 12:44
2.2K
ltlaxio1__2396_37.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__2397_27.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2398_18.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__2415_29.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__2416_25.min1.thm1
2017-02-06 12:44
2.3K
ltlaxio1__2417_18.min1.thm1
2017-02-06 12:44
1.0K
ltlaxio1__2419_27.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__2436_29.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__2437_25.min1.thm1
2017-02-06 12:44
2.3K
ltlaxio1__2438_18.min1.thm1
2017-02-06 12:44
1.0K
ltlaxio1__2440_23.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__2451_35.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__2452_35.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__2453_35.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__2454_35.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__2468_41.min1.thm1
2017-02-06 12:44
2.4K
ltlaxio1__2472_25.min1.thm1
2017-02-06 12:44
2.6K
ltlaxio1__2473_14.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__2474_47.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__2475_17.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__2486_35.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__2487_35.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__2489_35.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__2490_35.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__2500_25.min1.thm1
2017-02-06 12:44
2.4K
ltlaxio1__2501_14.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2502_34.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__2503_23.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2511_35.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__2512_35.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__2525_29.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2526_25.min1.thm1
2017-02-06 12:44
2.2K
ltlaxio1__2527_18.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__2529_17.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__2536_27.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2537_25.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__2538_59.min1.thm1
2017-02-06 12:44
1.7K
ltlaxio1__2539_57.min1.thm1
2017-02-06 12:44
1.0K
ltlaxio1__2540_42.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__2541_36.min1.thm1
2017-02-06 12:44
1.0K
ltlaxio1__2542_36.min1.thm1
2017-02-06 12:44
1.7K
ltlaxio1__2543_50.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__2551_28.min1.thm1
2017-02-06 12:44
461
ltlaxio1__2551_28.min1.thm1.tptp
2017-02-06 16:47
387
ltlaxio1__2552_22.min1.thm1
2017-02-06 12:44
834
ltlaxio1__2553_21.min1.thm1
2017-02-06 12:44
959
ltlaxio1__2554_40.min1.thm1
2017-02-06 12:44
597
ltlaxio1__2555_38.min1.thm1
2017-02-06 12:44
1.0K
ltlaxio1__2556_13.min1.thm1
2017-02-06 12:44
597
ltlaxio1__2557_23.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__2558_23.min1.thm1
2017-02-06 12:44
894
ltlaxio1__2559_19.min1.thm1
2017-02-06 12:44
889
ltlaxio1__2565_13.min1.thm1
2017-02-06 12:44
692
ltlaxio1__2566_21.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__2567_23.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__2569_24.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__2570_22.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__2571_19.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__2572_24.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2581_57.min1.thm1
2017-02-06 12:44
964
ltlaxio1__2584_20.min1.thm1
2017-02-06 12:44
569
ltlaxio1__2590_34.min1.thm1
2017-02-06 12:44
2.8K
ltlaxio1__2604_57.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__2611_15.min1.thm1
2017-02-06 12:44
358
ltlaxio1__2611_15.min1.thm1.tptp
2017-02-06 16:47
284
ltlaxio1__2613_14.min1.thm1
2017-02-06 12:44
1.7K
ltlaxio1__2619_20.min1.thm1
2017-02-06 12:44
746
ltlaxio1__2623_37.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__2624_36.min1.thm1
2017-02-06 12:44
1.0K
ltlaxio1__2625_26.min1.thm1
2017-02-06 12:44
837
ltlaxio1__2626_17.min1.thm1
2017-02-06 12:44
824
ltlaxio1__2627_20.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__2630_17.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2633_38.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__2634_37.min1.thm1
2017-02-06 12:44
1.0K
ltlaxio1__2635_18.min1.thm1
2017-02-06 12:44
851
ltlaxio1__2636_18.min1.thm1
2017-02-06 12:44
751
ltlaxio1__2637_21.min1.thm1
2017-02-06 12:44
2.0K
ltlaxio1__2640_52.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2641_51.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2642_14.min1.thm1
2017-02-06 12:44
845
ltlaxio1__2643_20.min1.thm1
2017-02-06 12:44
829
ltlaxio1__2644_21.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2654_60.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__2655_16.min1.thm1
2017-02-06 12:44
2.1K
ltlaxio1__2656_34.min1.thm1
2017-02-06 12:44
945
ltlaxio1__2657_16.min1.thm1
2017-02-06 12:44
2.1K
ltlaxio1__2658_34.min1.thm1
2017-02-06 12:44
947
ltlaxio1__2659_17.min1.thm1
2017-02-06 12:44
1.0K
ltlaxio1__2662_25.min1.thm1
2017-02-06 12:44
1.7K
ltlaxio1__2663_24.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__2664_33.min1.thm1
2017-02-06 12:44
1.7K
ltlaxio1__2665_51.min1.thm1
2017-02-06 12:44
2.5K
ltlaxio1__2666_31.min1.thm1
2017-02-06 12:44
2.1K
ltlaxio1__2674_39.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2675_33.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2676_29.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__2677_27.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__2678_48.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__2679_43.min1.thm1
2017-02-06 12:44
1.0K
ltlaxio1__2680_51.min1.thm1
2017-02-06 12:44
1.8K
ltlaxio1__2681_26.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__2682_32.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__2683_21.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__2687_51.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2688_45.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2689_42.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__2693_32.min1.thm1
2017-02-06 12:44
724
ltlaxio1__2693_32.min1.thm1.tptp
2017-02-06 16:47
668
ltlaxio1__2694_68.min1.thm1
2017-02-06 12:44
2.2K
ltlaxio1__2695_67.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__2696_16.min1.thm1
2017-02-06 12:44
2.1K
ltlaxio1__2697_34.min1.thm1
2017-02-06 12:44
2.2K
ltlaxio1__2698_43.min1.thm1
2017-02-06 12:44
2.3K
ltlaxio1__2699_21.min1.thm1
2017-02-06 12:44
1.3K
ltlaxio1__2700_20.min1.thm1
2017-02-06 12:44
2.2K
ltlaxio1__2705_15.min1.thm1
2017-02-06 12:44
1.9K
ltlaxio1__2706_24.min1.thm1
2017-02-06 12:44
2.2K
ltlaxio1__2712_13.min1.thm1
2017-02-06 12:44
692
ltlaxio1__2713_21.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__2714_23.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__2716_22.min1.thm1
2017-02-06 12:44
1.0K
ltlaxio1__2717_20.min1.thm1
2017-02-06 12:44
1.5K
ltlaxio1__2723_13.min1.thm1
2017-02-06 12:44
692
ltlaxio1__2724_21.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__2725_19.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__2726_27.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__2728_28.min1.thm1
2017-02-06 12:44
1.1K
ltlaxio1__2729_20.min1.thm1
2017-02-06 12:44
1.6K
ltlaxio1__2735_51.min1.thm1
2017-02-06 12:44
1.2K
ltlaxio1__2736_19.min1.thm1
2017-02-06 12:44
1.0K
ltlaxio1__2737_27.min1.thm1
2017-02-06 12:44
1.4K
ltlaxio1__2738_18.min1.thm1
2017-02-06 12:44
1.7K
ltlaxio1__2739_37.min1.thm1
2017-02-06 12:44
1.9K
ltlaxio1__2740_17.min1.thm1
2017-02-06 12:44
1.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80