Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/ntalgo_1
Name
Last modified
Size
Description
Parent Directory
-
ntalgo_1__939_18.min1.thm1
2017-02-06 12:46
7.6K
ntalgo_1__2360_19.min1.thm1
2017-02-06 12:46
5.2K
ntalgo_1__2337_21.min1.thm1
2017-02-06 12:46
5.2K
ntalgo_1__2386_28.min1.thm1
2017-02-06 12:46
5.2K
ntalgo_1__2290_32.min1.thm1
2017-02-06 12:46
5.2K
ntalgo_1__1416_22.min1.thm1
2017-02-06 12:46
4.8K
ntalgo_1__3062_19.min1.thm1
2017-02-06 12:46
4.7K
ntalgo_1__3220_33.min1.thm1
2017-02-06 12:46
4.4K
ntalgo_1__3164_23.min1.thm1
2017-02-06 12:46
4.3K
ntalgo_1__728_15.min1.thm1.tptp
2017-02-06 16:47
4.3K
ntalgo_1__728_15.min1.thm1
2017-02-06 12:46
4.3K
ntalgo_1__2190_21.min1.thm1
2017-02-06 12:46
4.1K
ntalgo_1__3046_26.min1.thm1
2017-02-06 12:46
4.0K
ntalgo_1__3388_35.min1.thm1
2017-02-06 12:46
3.9K
ntalgo_1__555_19.min1.thm1
2017-02-06 12:46
3.9K
ntalgo_1__1421_41.min1.thm1
2017-02-06 12:46
3.8K
ntalgo_1__1479_45.min1.thm1
2017-02-06 12:46
3.7K
ntalgo_1__2049_34.min1.thm1
2017-02-06 12:46
3.6K
ntalgo_1__1325_21.min1.thm1
2017-02-06 12:46
3.6K
ntalgo_1__1410_16.min1.thm1
2017-02-06 12:46
3.6K
ntalgo_1__1477_49.min1.thm1
2017-02-06 12:46
3.6K
ntalgo_1__1468_44.min1.thm1
2017-02-06 12:46
3.6K
ntalgo_1__2530_30.min1.thm1
2017-02-06 12:46
3.5K
ntalgo_1__3669_29.min1.thm1
2017-02-06 12:46
3.4K
ntalgo_1__3873_36.min1.thm1
2017-02-06 12:46
3.4K
ntalgo_1__1312_39.min1.thm1
2017-02-06 12:46
3.4K
ntalgo_1__1313_38.min1.thm1
2017-02-06 12:46
3.4K
ntalgo_1__2803_40.min1.thm1
2017-02-06 12:46
3.2K
ntalgo_1__2790_40.min1.thm1
2017-02-06 12:46
3.2K
ntalgo_1__270_45.min1.thm1
2017-02-06 12:46
3.2K
ntalgo_1__245_47.min1.thm1
2017-02-06 12:46
3.2K
ntalgo_1__1400_18.min1.thm1
2017-02-06 12:46
3.2K
ntalgo_1__1291_22.min1.thm1
2017-02-06 12:46
3.2K
ntalgo_1__2311_25.min1.thm1
2017-02-06 12:46
3.2K
ntalgo_1__3350_51.min1.thm1
2017-02-06 12:46
3.1K
ntalgo_1__2352_19.min1.thm1
2017-02-06 12:46
3.1K
ntalgo_1__2329_21.min1.thm1
2017-02-06 12:46
3.1K
ntalgo_1__1375_54.min1.thm1
2017-02-06 12:46
3.1K
ntalgo_1__3249_21.min1.thm1
2017-02-06 12:46
3.1K
ntalgo_1__1324_23.min1.thm1
2017-02-06 12:46
3.1K
ntalgo_1__752_31.min1.thm1
2017-02-06 12:46
3.1K
ntalgo_1__755_31.min1.thm1
2017-02-06 12:46
3.1K
ntalgo_1__2686_32.min1.thm1
2017-02-06 12:46
3.0K
ntalgo_1__2556_29.min1.thm1
2017-02-06 12:46
3.0K
ntalgo_1__2684_22.min1.thm1
2017-02-06 12:46
3.0K
ntalgo_1__738_24.min1.thm1
2017-02-06 12:46
3.0K
ntalgo_1__735_23.min1.thm1
2017-02-06 12:46
3.0K
ntalgo_1__2695_40.min1.thm1
2017-02-06 12:46
3.0K
ntalgo_1__2560_42.min1.thm1
2017-02-06 12:46
3.0K
ntalgo_1__748_15.min1.thm1
2017-02-06 12:46
2.9K
ntalgo_1__745_15.min1.thm1
2017-02-06 12:46
2.9K
ntalgo_1__741_15.min1.thm1
2017-02-06 12:46
2.9K
ntalgo_1__280_28.min1.thm1
2017-02-06 12:46
2.9K
ntalgo_1__3682_45.min1.thm1
2017-02-06 12:46
2.9K
ntalgo_1__3876_38.min1.thm1
2017-02-06 12:46
2.9K
ntalgo_1__3881_25.min1.thm1
2017-02-06 12:46
2.9K
ntalgo_1__3199_54.min1.thm1
2017-02-06 12:46
2.9K
ntalgo_1__247_24.min1.thm1
2017-02-06 12:46
2.8K
ntalgo_1__246_24.min1.thm1
2017-02-06 12:46
2.8K
ntalgo_1__2066_22.min1.thm1
2017-02-06 12:46
2.8K
ntalgo_1__3423_20.min1.thm1
2017-02-06 12:46
2.8K
ntalgo_1__3840_19.min1.thm1
2017-02-06 12:46
2.8K
ntalgo_1__1369_23.min1.thm1
2017-02-06 12:46
2.8K
ntalgo_1__1015_28.min1.thm1
2017-02-06 12:46
2.8K
ntalgo_1__1369_23.min1.thm1.tptp
2017-02-06 16:47
2.7K
ntalgo_1__1368_31.min1.thm1
2017-02-06 12:46
2.7K
ntalgo_1__1315_58.min1.thm1
2017-02-06 12:46
2.7K
ntalgo_1__1367_27.min1.thm1
2017-02-06 12:46
2.7K
ntalgo_1__634_8.min1.thm1
2017-02-06 12:46
2.7K
ntalgo_1__631_8.min1.thm1
2017-02-06 12:46
2.7K
ntalgo_1__1368_31.min1.thm1.tptp
2017-02-06 16:47
2.7K
ntalgo_1__1367_27.min1.thm1.tptp
2017-02-06 16:47
2.7K
ntalgo_1__2919_49.min1.thm1
2017-02-06 12:46
2.7K
ntalgo_1__1315_58.min1.thm1.tptp
2017-02-06 16:47
2.7K
ntalgo_1__761_21.min1.thm1
2017-02-06 12:46
2.6K
ntalgo_1__276_27.min1.thm1
2017-02-06 12:46
2.6K
ntalgo_1__2891_10.min1.thm1
2017-02-06 12:46
2.6K
ntalgo_1__1856_32.min1.thm1
2017-02-06 12:46
2.6K
ntalgo_1__2381_34.min1.thm1
2017-02-06 12:46
2.6K
ntalgo_1__2285_38.min1.thm1
2017-02-06 12:46
2.6K
ntalgo_1__213_19.min1.thm1
2017-02-06 12:46
2.6K
ntalgo_1__1004_45.min1.thm1
2017-02-06 12:46
2.6K
ntalgo_1__979_47.min1.thm1
2017-02-06 12:46
2.6K
ntalgo_1__1317_45.min1.thm1
2017-02-06 12:46
2.6K
ntalgo_1__3763_21.min1.thm1
2017-02-06 12:46
2.5K
ntalgo_1__2654_18.min1.thm1
2017-02-06 12:46
2.5K
ntalgo_1__1317_45.min1.thm1.tptp
2017-02-06 16:47
2.5K
ntalgo_1__1011_27.min1.thm1
2017-02-06 12:46
2.5K
ntalgo_1__2694_39.min1.thm1
2017-02-06 12:46
2.5K
ntalgo_1__986_19.min1.thm1
2017-02-06 12:46
2.5K
ntalgo_1__984_19.min1.thm1
2017-02-06 12:46
2.5K
ntalgo_1__2022_27.min1.thm1
2017-02-06 12:46
2.5K
ntalgo_1__3222_23.min1.thm1
2017-02-06 12:46
2.5K
ntalgo_1__1321_23.min1.thm1
2017-02-06 12:46
2.4K
ntalgo_1__1314_48.min1.thm1
2017-02-06 12:46
2.4K
ntalgo_1__1872_28.min1.thm1
2017-02-06 12:46
2.4K
ntalgo_1__2773_18.min1.thm1
2017-02-06 12:46
2.4K
ntalgo_1__2379_45.min1.thm1
2017-02-06 12:46
2.4K
ntalgo_1__2283_49.min1.thm1
2017-02-06 12:46
2.4K
ntalgo_1__2069_29.min1.thm1
2017-02-06 12:46
2.4K
ntalgo_1__1320_34.min1.thm1
2017-02-06 12:46
2.4K
ntalgo_1__1314_48.min1.thm1.tptp
2017-02-06 16:47
2.4K
ntalgo_1__2018_20.min1.thm1
2017-02-06 12:46
2.4K
ntalgo_1__1018_23.min1.thm1
2017-02-06 12:46
2.4K
ntalgo_1__1319_38.min1.thm1
2017-02-06 12:46
2.4K
ntalgo_1__1476_47.min1.thm1
2017-02-06 12:46
2.4K
ntalgo_1__1320_34.min1.thm1.tptp
2017-02-06 16:47
2.4K
ntalgo_1__756_20.min1.thm1
2017-02-06 12:46
2.4K
ntalgo_1__753_20.min1.thm1
2017-02-06 12:46
2.4K
ntalgo_1__3387_8.min1.thm1
2017-02-06 12:46
2.3K
ntalgo_1__1466_46.min1.thm1
2017-02-06 12:46
2.3K
ntalgo_1__1289_34.min1.thm1
2017-02-06 12:46
2.3K
ntalgo_1__1598_47.min1.thm1
2017-02-06 12:46
2.3K
ntalgo_1__1319_38.min1.thm1.tptp
2017-02-06 16:47
2.3K
ntalgo_1__1903_33.min1.thm1
2017-02-06 12:46
2.3K
ntalgo_1__282_23.min1.thm1
2017-02-06 12:46
2.3K
ntalgo_1__1823_21.min1.thm1.tptp
2017-02-06 16:47
2.3K
ntalgo_1__2678_36.min1.thm1
2017-02-06 12:46
2.3K
ntalgo_1__1307_15.min1.thm1
2017-02-06 12:46
2.3K
ntalgo_1__3962_35.min1.thm1
2017-02-06 12:46
2.3K
ntalgo_1__3324_40.min1.thm1
2017-02-06 12:46
2.3K
ntalgo_1__3473_44.min1.thm1
2017-02-06 12:46
2.2K
ntalgo_1__1569_51.min1.thm1
2017-02-06 12:46
2.2K
ntalgo_1__1875_26.min1.thm1
2017-02-06 12:46
2.2K
ntalgo_1__2643_35.min1.thm1
2017-02-06 12:46
2.2K
ntalgo_1__3862_31.min1.thm1
2017-02-06 12:46
2.2K
ntalgo_1__3380_8.min1.thm1
2017-02-06 12:46
2.2K
ntalgo_1__1290_23.min1.thm1
2017-02-06 12:46
2.2K
ntalgo_1__1823_21.min1.thm1
2017-02-06 12:46
2.2K
ntalgo_1__758_18.min1.thm1
2017-02-06 12:46
2.2K
ntalgo_1__3868_28.min1.thm1
2017-02-06 12:46
2.2K
ntalgo_1__1143_38.min1.thm1
2017-02-06 12:46
2.2K
ntalgo_1__3501_47.min1.thm1
2017-02-06 12:46
2.2K
ntalgo_1__3242_56.min1.thm1
2017-02-06 12:46
2.2K
ntalgo_1__1391_34.min1.thm1
2017-02-06 12:46
2.1K
ntalgo_1__3496_46.min1.thm1
2017-02-06 12:46
2.1K
ntalgo_1__1706_19.min1.thm1
2017-02-06 12:46
2.1K
ntalgo_1__981_24.min1.thm1
2017-02-06 12:46
2.1K
ntalgo_1__980_24.min1.thm1
2017-02-06 12:46
2.1K
ntalgo_1__3464_36.min1.thm1
2017-02-06 12:46
2.1K
ntalgo_1__1202_34.min1.thm1
2017-02-06 12:46
2.1K
ntalgo_1__976_26.min1.thm1
2017-02-06 12:46
2.1K
ntalgo_1__3263_53.min1.thm1
2017-02-06 12:46
2.1K
ntalgo_1__739_20.min1.thm1
2017-02-06 12:46
2.1K
ntalgo_1__736_20.min1.thm1
2017-02-06 12:46
2.1K
ntalgo_1__388_12.min1.thm1
2017-02-06 12:46
2.1K
ntalgo_1__1306_32.min1.thm1
2017-02-06 12:46
2.1K
ntalgo_1__1322_19.min1.thm1
2017-02-06 12:46
2.1K
ntalgo_1__2687_26.min1.thm1
2017-02-06 12:46
2.1K
ntalgo_1__739_20.min1.thm1.tptp
2017-02-06 16:47
2.1K
ntalgo_1__736_20.min1.thm1.tptp
2017-02-06 16:47
2.1K
ntalgo_1__1193_25.min1.thm1
2017-02-06 12:46
2.1K
ntalgo_1__759_20.min1.thm1
2017-02-06 12:46
2.1K
ntalgo_1__3159_32.min1.thm1
2017-02-06 12:46
2.0K
ntalgo_1__749_20.min1.thm1
2017-02-06 12:46
2.0K
ntalgo_1__746_20.min1.thm1
2017-02-06 12:46
2.0K
ntalgo_1__742_20.min1.thm1
2017-02-06 12:46
2.0K
ntalgo_1__1306_32.min1.thm1.tptp
2017-02-06 16:47
2.0K
ntalgo_1__547_6.min1.thm1
2017-02-06 12:46
2.0K
ntalgo_1__1322_19.min1.thm1.tptp
2017-02-06 16:47
2.0K
ntalgo_1__1323_19.min1.thm1
2017-02-06 12:46
2.0K
ntalgo_1__2646_30.min1.thm1
2017-02-06 12:46
2.0K
ntalgo_1__1716_19.min1.thm1
2017-02-06 12:46
2.0K
ntalgo_1__759_20.min1.thm1.tptp
2017-02-06 16:47
2.0K
ntalgo_1__841_67.min1.thm1
2017-02-06 12:46
2.0K
ntalgo_1__3061_38.min1.thm1
2017-02-06 12:46
2.0K
ntalgo_1__1384_33.min1.thm1
2017-02-06 12:46
2.0K
ntalgo_1__3290_28.min1.thm1
2017-02-06 12:46
2.0K
ntalgo_1__749_20.min1.thm1.tptp
2017-02-06 16:47
2.0K
ntalgo_1__746_20.min1.thm1.tptp
2017-02-06 16:47
2.0K
ntalgo_1__742_20.min1.thm1.tptp
2017-02-06 16:47
2.0K
ntalgo_1__3818_26.min1.thm1
2017-02-06 12:46
2.0K
ntalgo_1__1323_19.min1.thm1.tptp
2017-02-06 16:47
2.0K
ntalgo_1__3106_37.min1.thm1
2017-02-06 12:46
2.0K
ntalgo_1__3295_37.min1.thm1
2017-02-06 12:46
2.0K
ntalgo_1__841_67.min1.thm1.tptp
2017-02-06 16:47
2.0K
ntalgo_1__637_35.min1.thm1
2017-02-06 12:46
2.0K
ntalgo_1__3437_48.min1.thm1
2017-02-06 12:46
1.9K
ntalgo_1__438_36.min1.thm1
2017-02-06 12:46
1.9K
ntalgo_1__2799_18.min1.thm1
2017-02-06 12:46
1.9K
ntalgo_1__3277_32.min1.thm1
2017-02-06 12:46
1.9K
ntalgo_1__3406_30.min1.thm1
2017-02-06 12:46
1.9K
ntalgo_1__52_22.min1.thm1
2017-02-06 12:46
1.9K
ntalgo_1__1693_43.min1.thm1
2017-02-06 12:46
1.9K
ntalgo_1__1086_8.min1.thm1
2017-02-06 12:46
1.9K
ntalgo_1__3848_25.min1.thm1
2017-02-06 12:46
1.9K
ntalgo_1__3433_61.min1.thm1
2017-02-06 12:46
1.9K
ntalgo_1__3662_27.min1.thm1
2017-02-06 12:46
1.9K
ntalgo_1__3756_30.min1.thm1
2017-02-06 12:46
1.9K
ntalgo_1__1877_26.min1.thm1
2017-02-06 12:46
1.9K
ntalgo_1__2055_41.min1.thm1
2017-02-06 12:46
1.9K
ntalgo_1__1612_50.min1.thm1
2017-02-06 12:46
1.9K
ntalgo_1__1146_35.min1.thm1
2017-02-06 12:46
1.9K
ntalgo_1__2648_28.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__1712_43.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__2532_23.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__3685_43.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__3500_68.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__3436_68.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__3955_23.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__1452_30.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__49_20.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__3882_21.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__3495_67.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__2759_20.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__2633_20.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__2523_22.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__1445_31.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__3856_29.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__3469_26.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__626_46.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__3657_22.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__1212_14.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__1438_39.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__3874_30.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__2012_31.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__3859_32.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__2062_28.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__3791_43.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__1978_23.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__3578_30.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__3275_28.min1.thm1
2017-02-06 12:46
1.8K
ntalgo_1__834_10.min1.thm1
2017-02-06 12:46
1.7K
ntalgo_1__3360_44.min1.thm1
2017-02-06 12:46
1.7K
ntalgo_1__447_47.min1.thm1
2017-02-06 12:46
1.7K
ntalgo_1__3807_21.min1.thm1
2017-02-06 12:46
1.7K
ntalgo_1__2675_27.min1.thm1
2017-02-06 12:46
1.7K
ntalgo_1__2551_34.min1.thm1
2017-02-06 12:46
1.7K
ntalgo_1__3425_12.min1.thm1
2017-02-06 12:46
1.7K
ntalgo_1__1132_29.min1.thm1
2017-02-06 12:46
1.7K
ntalgo_1__2887_17.min1.thm1
2017-02-06 12:46
1.7K
ntalgo_1__3852_28.min1.thm1
2017-02-06 12:46
1.7K
ntalgo_1__3021_33.min1.thm1
2017-02-06 12:46
1.7K
ntalgo_1__820_10.min1.thm1
2017-02-06 12:46
1.7K
ntalgo_1__3384_8.min1.thm1
2017-02-06 12:46
1.7K
ntalgo_1__1917_23.min1.thm1
2017-02-06 12:46
1.7K
ntalgo_1__1105_40.min1.thm1
2017-02-06 12:46
1.7K
ntalgo_1__1556_14.min1.thm1
2017-02-06 12:46
1.7K
ntalgo_1__1009_23.min1.thm1
2017-02-06 12:46
1.7K
ntalgo_1__3397_38.min1.thm1
2017-02-06 12:46
1.7K
ntalgo_1__3426_33.min1.thm1
2017-02-06 12:46
1.7K
ntalgo_1__3660_28.min1.thm1
2017-02-06 12:46
1.7K
ntalgo_1__2014_37.min1.thm1
2017-02-06 12:46
1.7K
ntalgo_1__274_23.min1.thm1
2017-02-06 12:46
1.7K
ntalgo_1__2008_22.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__1542_14.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__3333_53.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__3093_28.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__3471_31.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__399_28.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__3066_22.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__3954_27.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__3219_43.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__2801_22.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__3800_28.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__47_11.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__2010_39.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__1647_29.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__1645_29.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__2689_30.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__2645_31.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__2559_23.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__2808_15.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__3492_25.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__3677_28.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__2779_26.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__2661_26.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__2541_28.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__1087_36.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__1975_38.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__1103_51.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__1108_32.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__2697_43.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__2064_28.min1.thm1
2017-02-06 12:46
1.6K
ntalgo_1__3652_23.min1.thm1
2017-02-06 12:46
1.5K
ntalgo_1__2754_21.min1.thm1
2017-02-06 12:46
1.5K
ntalgo_1__2627_21.min1.thm1
2017-02-06 12:46
1.5K
ntalgo_1__2519_23.min1.thm1
2017-02-06 12:46
1.5K
ntalgo_1__3799_8.min1.thm1
2017-02-06 12:46
1.5K
ntalgo_1__3760_28.min1.thm1
2017-02-06 12:46
1.5K
ntalgo_1__1951_38.min1.thm1
2017-02-06 12:46
1.5K
ntalgo_1__1653_19.min1.thm1
2017-02-06 12:46
1.5K
ntalgo_1__1652_39.min1.thm1
2017-02-06 12:46
1.5K
ntalgo_1__3082_30.min1.thm1
2017-02-06 12:46
1.5K
ntalgo_1__3072_30.min1.thm1
2017-02-06 12:46
1.5K
ntalgo_1__439_19.min1.thm1
2017-02-06 12:46
1.5K
ntalgo_1__3077_27.min1.thm1
2017-02-06 12:46
1.5K
ntalgo_1__3816_25.min1.thm1
2017-02-06 12:46
1.5K
ntalgo_1__3421_35.min1.thm1
2017-02-06 12:46
1.5K
ntalgo_1__2794_18.min1.thm1
2017-02-06 12:46
1.5K
ntalgo_1__2683_21.min1.thm1
2017-02-06 12:46
1.5K
ntalgo_1__2553_23.min1.thm1
2017-02-06 12:46
1.5K
ntalgo_1__462_23.min1.thm1
2017-02-06 12:46
1.5K
ntalgo_1__1685_11.min1.thm1
2017-02-06 12:46
1.5K
ntalgo_1__3491_64.min1.thm1
2017-02-06 12:46
1.5K
ntalgo_1__3488_64.min1.thm1
2017-02-06 12:46
1.5K
ntalgo_1__2634_15.min1.thm1
2017-02-06 12:46
1.4K
ntalgo_1__2859_14.min1.thm1
2017-02-06 12:46
1.4K
ntalgo_1__989_50.min1.thm1
2017-02-06 12:46
1.4K
ntalgo_1__2769_16.min1.thm1
2017-02-06 12:46
1.4K
ntalgo_1__3456_12.min1.thm1
2017-02-06 12:46
1.4K
ntalgo_1__2000_23.min1.thm1
2017-02-06 12:46
1.4K
ntalgo_1__1968_36.min1.thm1
2017-02-06 12:46
1.4K
ntalgo_1__1942_23.min1.thm1
2017-02-06 12:46
1.4K
ntalgo_1__1896_41.min1.thm1
2017-02-06 12:46
1.4K
ntalgo_1__3457_45.min1.thm1
2017-02-06 12:46
1.4K
ntalgo_1__3414_12.min1.thm1
2017-02-06 12:46
1.4K
ntalgo_1__2028_26.min1.thm1
2017-02-06 12:46
1.4K
ntalgo_1__1089_29.min1.thm1
2017-02-06 12:46
1.4K
ntalgo_1__3865_23.min1.thm1
2017-02-06 12:46
1.4K
ntalgo_1__3465_24.min1.thm1
2017-02-06 12:46
1.4K
ntalgo_1__2805_18.min1.thm1
2017-02-06 12:46
1.4K
ntalgo_1__2792_18.min1.thm1
2017-02-06 12:46
1.4K
ntalgo_1__3836_31.min1.thm1
2017-02-06 12:46
1.4K
ntalgo_1__3112_30.min1.thm1
2017-02-06 12:46
1.4K
ntalgo_1__1082_16.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__445_20.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__3708_28.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__3575_16.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__2524_17.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__2105_57.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__172_23.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__3064_23.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__2795_15.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__1842_33.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__1435_23.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__3855_45.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__1692_6.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__2900_37.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__2053_29.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__1909_29.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__1684_58.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__1659_16.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__1658_22.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__529_21.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__515_8.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__3057_23.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__1911_37.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__2906_23.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__3864_32.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__1840_27.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__3577_16.min1.thm1
2017-02-06 12:46
1.3K
ntalgo_1__1816_26.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__3401_27.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__3875_29.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__3946_29.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__1703_23.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__3658_17.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__2650_17.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__3689_8.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__3858_30.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__3481_30.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__2071_25.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__1818_25.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__3560_6.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__136_15.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__2771_34.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__1584_54.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__828_10.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__2760_15.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__3820_20.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__3572_6.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__2904_29.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__2902_29.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__2915_45.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__136_15.min1.thm1.tptp
2017-02-06 16:47
1.2K
ntalgo_1__3182_26.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__3144_26.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__3762_20.min1.thm1
2017-02-06 12:46
1.2K
ntalgo_1__3950_21.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__3502_36.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__3184_34.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__3183_34.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__3146_34.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__3145_34.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__3796_8.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__1139_38.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__3497_35.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__2109_27.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__2370_13.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__2273_17.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__3665_30.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__144_19.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__1122_21.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__89_46.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__3565_35.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__3552_34.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__3545_34.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__3539_23.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__1013_48.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__3101_32.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__3097_32.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__3368_40.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__2913_10.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__1125_29.min1.thm1
2017-02-06 12:46
1.1K
ntalgo_1__1675_16.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__3246_12.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__1102_36.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__1902_51.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__443_16.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__1734_56.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__142_19.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__3443_30.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__3409_30.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__1901_28.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__3707_18.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__2895_21.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__2453_18.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__99_18.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__2786_45.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__1433_19.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__1678_56.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__1677_54.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__1713_43.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__1731_19.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__3269_56.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__1001_25.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__3562_24.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__1730_49.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__2534_27.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__267_25.min1.thm1
2017-02-06 12:46
1.0K
ntalgo_1__3535_21.min1.thm1
2017-02-06 12:46
970
ntalgo_1__3805_22.min1.thm1
2017-02-06 12:46
966
ntalgo_1__2780_34.min1.thm1
2017-02-06 12:46
965
ntalgo_1__2663_34.min1.thm1
2017-02-06 12:46
965
ntalgo_1__2543_30.min1.thm1
2017-02-06 12:46
965
ntalgo_1__2096_30.min1.thm1
2017-02-06 12:46
961
ntalgo_1__1869_30.min1.thm1
2017-02-06 12:46
961
ntalgo_1__3813_33.min1.thm1
2017-02-06 12:46
959
ntalgo_1__433_44.min1.thm1
2017-02-06 12:46
958
ntalgo_1__3793_35.min1.thm1
2017-02-06 12:46
953
ntalgo_1__3680_30.min1.thm1
2017-02-06 12:46
946
ntalgo_1__1092_29.min1.thm1
2017-02-06 12:46
943
ntalgo_1__1182_20.min1.thm1
2017-02-06 12:46
938
ntalgo_1__362_18.min1.thm1
2017-02-06 12:46
933
ntalgo_1__3755_40.min1.thm1
2017-02-06 12:46
926
ntalgo_1__1377_51.min1.thm1
2017-02-06 12:46
924
ntalgo_1__1088_42.min1.thm1
2017-02-06 12:46
923
ntalgo_1__3534_9.min1.thm1
2017-02-06 12:46
912
ntalgo_1__3842_20.min1.thm1
2017-02-06 12:46
910
ntalgo_1__1130_20.min1.thm1
2017-02-06 12:46
908
ntalgo_1__3845_12.min1.thm1
2017-02-06 12:46
906
ntalgo_1__3269_56.min1.thm1.tptp
2017-02-06 16:47
900
ntalgo_1__1200_42.min1.thm1
2017-02-06 12:46
895
ntalgo_1__1443_56.min1.thm1
2017-02-06 12:46
894
ntalgo_1__2073_31.min1.thm1
2017-02-06 12:46
892
ntalgo_1__1820_31.min1.thm1
2017-02-06 12:46
890
ntalgo_1__1679_52.min1.thm1
2017-02-06 12:46
887
ntalgo_1__452_57.min1.thm1
2017-02-06 12:46
882
ntalgo_1__376_30.min1.thm1
2017-02-06 12:46
876
ntalgo_1__2615_9.min1.thm1
2017-02-06 12:46
872
ntalgo_1__324_32.min1.thm1
2017-02-06 12:46
868
ntalgo_1__1065_32.min1.thm1
2017-02-06 12:46
867
ntalgo_1__1230_51.min1.thm1
2017-02-06 12:46
866
ntalgo_1__143_33.min1.thm1
2017-02-06 12:46
866
ntalgo_1__38_61.min1.thm1
2017-02-06 12:46
860
ntalgo_1__523_34.min1.thm1
2017-02-06 12:46
857
ntalgo_1__521_34.min1.thm1
2017-02-06 12:46
857
ntalgo_1__405_49.min1.thm1
2017-02-06 12:46
854
ntalgo_1__1546_29.min1.thm1
2017-02-06 12:46
853
ntalgo_1__1529_29.min1.thm1
2017-02-06 12:46
853
ntalgo_1__1070_16.min1.thm1
2017-02-06 12:46
852
ntalgo_1__239_30.min1.thm1
2017-02-06 12:46
852
ntalgo_1__975_30.min1.thm1
2017-02-06 12:46
851
ntalgo_1__3407_59.min1.thm1
2017-02-06 12:46
849
ntalgo_1__2738_9.min1.thm1
2017-02-06 12:46
844
ntalgo_1__1234_57.min1.thm1
2017-02-06 12:46
841
ntalgo_1__1181_45.min1.thm1
2017-02-06 12:46
841
ntalgo_1__329_16.min1.thm1
2017-02-06 12:46
834
ntalgo_1__361_43.min1.thm1
2017-02-06 12:46
831
ntalgo_1__1200_42.min1.thm1.tptp
2017-02-06 16:47
828
ntalgo_1__1704_40.min1.thm1
2017-02-06 12:46
826
ntalgo_1__534_48.min1.thm1
2017-02-06 12:46
825
ntalgo_1__532_48.min1.thm1
2017-02-06 12:46
825
ntalgo_1__3415_51.min1.thm1
2017-02-06 12:46
822
ntalgo_1__40_14.min1.thm1
2017-02-06 12:46
821
ntalgo_1__376_30.min1.thm1.tptp
2017-02-06 16:47
809
ntalgo_1__141_29.min1.thm1
2017-02-06 12:46
803
ntalgo_1__3638_11.min1.thm1
2017-02-06 12:46
801
ntalgo_1__324_32.min1.thm1.tptp
2017-02-06 16:47
801
ntalgo_1__1065_32.min1.thm1.tptp
2017-02-06 16:47
800
ntalgo_1__143_33.min1.thm1.tptp
2017-02-06 16:47
799
ntalgo_1__3949_34.min1.thm1
2017-02-06 12:46
796
ntalgo_1__1126_20.min1.thm1
2017-02-06 12:46
792
ntalgo_1__238_22.min1.thm1
2017-02-06 12:46
791
ntalgo_1__974_22.min1.thm1
2017-02-06 12:46
788
ntalgo_1__2465_50.min1.thm1
2017-02-06 12:46
786
ntalgo_1__2429_50.min1.thm1
2017-02-06 12:46
786
ntalgo_1__431_51.min1.thm1
2017-02-06 12:46
786
ntalgo_1__239_30.min1.thm1.tptp
2017-02-06 16:47
785
ntalgo_1__975_30.min1.thm1.tptp
2017-02-06 16:47
784
ntalgo_1__3951_19.min1.thm1
2017-02-06 12:46
770
ntalgo_1__1533_23.min1.thm1
2017-02-06 12:46
768
ntalgo_1__3453_51.min1.thm1
2017-02-06 12:46
766
ntalgo_1__1084_33.min1.thm1
2017-02-06 12:46
763
ntalgo_1__3411_30.min1.thm1
2017-02-06 12:46
762
ntalgo_1__3248_12.min1.thm1
2017-02-06 12:46
762
ntalgo_1__2428_37.min1.thm1
2017-02-06 12:46
757
ntalgo_1__1073_14.min1.thm1
2017-02-06 12:46
756
ntalgo_1__1705_49.min1.thm1
2017-02-06 12:46
755
ntalgo_1__3542_38.min1.thm1
2017-02-06 12:46
751
ntalgo_1__3541_38.min1.thm1
2017-02-06 12:46
751
ntalgo_1__1715_8.min1.thm1
2017-02-06 12:46
747
ntalgo_1__145_21.min1.thm1
2017-02-06 12:46
746
ntalgo_1__3557_30.min1.thm1
2017-02-06 12:46
745
ntalgo_1__3486_52.min1.thm1
2017-02-06 12:46
745
ntalgo_1__3330_50.min1.thm1
2017-02-06 12:46
745
ntalgo_1__3254_50.min1.thm1
2017-02-06 12:46
745
ntalgo_1__2464_29.min1.thm1
2017-02-06 12:46
745
ntalgo_1__3550_34.min1.thm1
2017-02-06 12:46
744
ntalgo_1__332_14.min1.thm1
2017-02-06 12:46
744
ntalgo_1__3579_18.min1.thm1
2017-02-06 12:46
742
ntalgo_1__1845_48.min1.thm1
2017-02-06 12:46
741
ntalgo_1__141_29.min1.thm1.tptp
2017-02-06 16:47
736
ntalgo_1__1531_32.min1.thm1
2017-02-06 12:46
735
ntalgo_1__2948_25.min1.thm1
2017-02-06 12:46
731
ntalgo_1__2436_31.min1.thm1
2017-02-06 12:46
730
ntalgo_1__3757_20.min1.thm1
2017-02-06 12:46
729
ntalgo_1__2029_47.min1.thm1
2017-02-06 12:46
728
ntalgo_1__3244_48.min1.thm1
2017-02-06 12:46
726
ntalgo_1__2505_11.min1.thm1
2017-02-06 12:46
726
ntalgo_1__238_22.min1.thm1.tptp
2017-02-06 16:47
724
ntalgo_1__3940_21.min1.thm1
2017-02-06 12:46
722
ntalgo_1__974_22.min1.thm1.tptp
2017-02-06 16:47
721
ntalgo_1__1231_19.min1.thm1
2017-02-06 12:46
718
ntalgo_1__3362_51.min1.thm1
2017-02-06 12:46
713
ntalgo_1__406_17.min1.thm1
2017-02-06 12:46
710
ntalgo_1__3116_63.min1.thm1
2017-02-06 12:46
700
ntalgo_1__593_50.min1.thm1
2017-02-06 12:46
681
ntalgo_1__592_50.min1.thm1
2017-02-06 12:46
681
ntalgo_1__1847_21.min1.thm1
2017-02-06 12:46
680
ntalgo_1__2451_18.min1.thm1
2017-02-06 12:46
678
ntalgo_1__600_40.min1.thm1
2017-02-06 12:46
674
ntalgo_1__1634_47.min1.thm1
2017-02-06 12:46
671
ntalgo_1__1522_47.min1.thm1
2017-02-06 12:46
671
ntalgo_1__3748_56.min1.thm1
2017-02-06 12:46
669
ntalgo_1__145_21.min1.thm1.tptp
2017-02-06 16:47
666
ntalgo_1__3366_22.min1.thm1
2017-02-06 12:46
652
ntalgo_1__2948_25.min1.thm1.tptp
2017-02-06 16:47
651
ntalgo_1__1648_26.min1.thm1
2017-02-06 12:46
649
ntalgo_1__1121_24.min1.thm1
2017-02-06 12:46
647
ntalgo_1__1133_27.min1.thm1
2017-02-06 12:46
641
ntalgo_1__1218_43.min1.thm1
2017-02-06 12:46
634
ntalgo_1__1914_10.min1.thm1
2017-02-06 12:46
624
ntalgo_1__2060_28.min1.thm1
2017-02-06 12:46
622
ntalgo_1__2058_28.min1.thm1
2017-02-06 12:46
622
ntalgo_1__528_23.min1.thm1
2017-02-06 12:46
619
ntalgo_1__3070_61.min1.thm1
2017-02-06 12:46
617
ntalgo_1__3069_61.min1.thm1
2017-02-06 12:46
617
ntalgo_1__2017_26.min1.thm1
2017-02-06 12:46
610
ntalgo_1__3747_21.min1.thm1
2017-02-06 12:46
596
ntalgo_1__1844_54.min1.thm1
2017-02-06 12:46
590
ntalgo_1__2454_19.min1.thm1
2017-02-06 12:46
586
ntalgo_1__1648_26.min1.thm1.tptp
2017-02-06 16:47
585
ntalgo_1__393_31.min1.thm1
2017-02-06 12:46
584
ntalgo_1__3752_8.min1.thm1
2017-02-06 12:46
581
ntalgo_1__3482_48.min1.thm1
2017-02-06 12:46
578
ntalgo_1__3403_48.min1.thm1
2017-02-06 12:46
578
ntalgo_1__3241_45.min1.thm1
2017-02-06 12:46
578
ntalgo_1__3567_41.min1.thm1
2017-02-06 12:46
570
ntalgo_1__1687_42.min1.thm1
2017-02-06 12:46
565
ntalgo_1__601_40.min1.thm1
2017-02-06 12:46
565
ntalgo_1__1915_57.min1.thm1
2017-02-06 12:46
561
ntalgo_1__2038_42.min1.thm1
2017-02-06 12:46
555
ntalgo_1__528_23.min1.thm1.tptp
2017-02-06 16:47
555
ntalgo_1__1831_42.min1.thm1
2017-02-06 12:46
554
ntalgo_1__1218_43.min1.thm1.tptp
2017-02-06 16:47
553
ntalgo_1__2075_54.min1.thm1
2017-02-06 12:46
548
ntalgo_1__1822_38.min1.thm1
2017-02-06 12:46
546
ntalgo_1__597_35.min1.thm1
2017-02-06 12:46
535
ntalgo_1__1572_45.min1.thm1
2017-02-06 12:46
512
ntalgo_1__3068_35.min1.thm1
2017-02-06 12:46
504
ntalgo_1__393_31.min1.thm1.tptp
2017-02-06 16:47
503
ntalgo_1__38_25.min1.thm1
2017-02-06 12:46
503
ntalgo_1__39_29.min1.thm1
2017-02-06 12:46
471
ntalgo_1__597_35.min1.thm1.tptp
2017-02-06 16:47
459
ntalgo_1__2390_18.min1.thm1
2017-02-06 12:46
448
ntalgo_1__2294_22.min1.thm1
2017-02-06 12:46
448
ntalgo_1__1191_20.min1.thm1
2017-02-06 12:46
429
ntalgo_1__374_21.min1.thm1
2017-02-06 12:46
422
ntalgo_1__1681_24.min1.thm1
2017-02-06 12:46
404
ntalgo_1__1053_10.min1.thm1
2017-02-06 12:46
400
ntalgo_1__2025_24.min1.thm1
2017-02-06 12:46
396
ntalgo_1__312_10.min1.thm1
2017-02-06 12:46
394
ntalgo_1__39_29.min1.thm1.tptp
2017-02-06 16:47
394
ntalgo_1__1641_19.min1.thm1
2017-02-06 12:46
381
ntalgo_1__1525_21.min1.thm1
2017-02-06 12:46
381
ntalgo_1__1695_13.min1.thm1
2017-02-06 12:46
361
ntalgo_1__1573_47.min1.thm1
2017-02-06 12:46
361
ntalgo_1__811_17.min1.thm1
2017-02-06 12:46
361
ntalgo_1__1229_16.min1.thm1
2017-02-06 12:46
350
ntalgo_1__1191_20.min1.thm1.tptp
2017-02-06 16:47
348
ntalgo_1__404_14.min1.thm1
2017-02-06 12:46
346
ntalgo_1__374_21.min1.thm1.tptp
2017-02-06 16:47
341
ntalgo_1__1637_15.min1.thm1
2017-02-06 12:46
339
ntalgo_1__1523_17.min1.thm1
2017-02-06 12:46
339
ntalgo_1__2025_24.min1.thm1.tptp
2017-02-06 16:47
327
ntalgo_1__1463_17.min1.thm1
2017-02-06 12:46
295
ntalgo_1__1406_17.min1.thm1
2017-02-06 12:46
295
ntalgo_1__1381_15.min1.thm1
2017-02-06 12:46
291
ntalgo_1__1976_41.min1.thm1
2017-02-06 12:46
279
ntalgo_1__2787_15.min1.thm1
2017-02-06 12:46
257
ntalgo_1__3399_17.min1.thm1
2017-02-06 12:46
254
ntalgo_1__1286_39.min1.thm1
2017-02-06 12:46
248
ntalgo_1__3637_37.min1.thm1
2017-02-06 12:46
246
ntalgo_1__2737_35.min1.thm1
2017-02-06 12:46
246
ntalgo_1__2614_35.min1.thm1
2017-02-06 12:46
246
ntalgo_1__2504_37.min1.thm1
2017-02-06 12:46
246
ntalgo_1__3530_11.min1.thm1
2017-02-06 12:46
245
ntalgo_1__1136_17.min1.thm1
2017-02-06 12:46
245
ntalgo_1__3831_17.min1.thm1
2017-02-06 12:46
239
ntalgo_1__435_13.min1.thm1
2017-02-06 12:46
236
ntalgo_1__51_48.min1.thm1
2017-02-06 12:46
229
ntalgo_1__3232_19.min1.thm1
2017-02-06 12:46
224
ntalgo_1__2383_13.min1.thm1
2017-02-06 12:46
217
ntalgo_1__2287_17.min1.thm1
2017-02-06 12:46
217
ntalgo_1__1118_13.min1.thm1
2017-02-06 12:46
213
ntalgo_1__2188_13.min1.thm1
2017-02-06 12:46
207
ntalgo_1__1813_13.min1.thm1
2017-02-06 12:46
207
ntalgo_1__3943_13.min1.thm1
2017-02-06 12:46
203
ntalgo_1__3654_15.min1.thm1
2017-02-06 12:46
193
ntalgo_1__2883_15.min1.thm1
2017-02-06 12:46
193
ntalgo_1__2756_13.min1.thm1
2017-02-06 12:46
193
ntalgo_1__2629_13.min1.thm1
2017-02-06 12:46
193
ntalgo_1__2520_15.min1.thm1
2017-02-06 12:46
193
ntalgo_1__1396_13.min1.thm1
2017-02-06 12:46
189
ntalgo_1__1728_13.min1.thm1
2017-02-06 12:46
187
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80