Index of /~mptp/1147/MPTP2/ilp0/polynom5
Name
Last modified
Size
Description
Parent Directory
-
polynom5__63_13.min1.thm1
2017-02-06 12:45
3.2K
polynom5__65_19.min1.thm1
2017-02-06 12:45
2.2K
polynom5__66_13.min1.thm1
2017-02-06 12:45
3.2K
polynom5__67_22.min1.thm1
2017-02-06 12:45
2.2K
polynom5__78_11.min1.thm1
2017-02-06 12:45
210
polynom5__82_15.min1.thm1
2017-02-06 12:45
224
polynom5__85_43.min1.thm1
2017-02-06 12:45
1.0K
polynom5__86_23.min1.thm1
2017-02-06 12:45
1.7K
polynom5__90_43.min1.thm1
2017-02-06 12:45
1.0K
polynom5__91_23.min1.thm1
2017-02-06 12:45
1.4K
polynom5__94_16.min1.thm1
2017-02-06 12:45
400
polynom5__98_41.min1.thm1
2017-02-06 12:45
2.3K
polynom5__99_19.min1.thm1
2017-02-06 12:45
2.2K
polynom5__116_14.min1.thm1
2017-02-06 12:45
1.1K
polynom5__117_11.min1.thm1
2017-02-06 12:45
210
polynom5__121_22.min1.thm1
2017-02-06 12:45
865
polynom5__131_15.min1.thm1
2017-02-06 12:45
224
polynom5__134_31.min1.thm1
2017-02-06 12:45
1.0K
polynom5__140_31.min1.thm1
2017-02-06 12:45
1.0K
polynom5__144_18.min1.thm1
2017-02-06 12:45
1.5K
polynom5__145_20.min1.thm1
2017-02-06 12:45
1.2K
polynom5__154_19.min1.thm1
2017-02-06 12:45
3.1K
polynom5__170_16.min1.thm1
2017-02-06 12:45
387
polynom5__171_19.min1.thm1
2017-02-06 12:45
1.1K
polynom5__194_29.min1.thm1
2017-02-06 12:45
1.3K
polynom5__207_15.min1.thm1
2017-02-06 12:45
292
polynom5__213_19.min1.thm1
2017-02-06 12:45
1.3K
polynom5__216_28.min1.thm1
2017-02-06 12:45
1.5K
polynom5__217_29.min1.thm1
2017-02-06 12:45
1.5K
polynom5__222_26.min1.thm1
2017-02-06 12:45
2.6K
polynom5__223_23.min1.thm1
2017-02-06 12:45
1.7K
polynom5__228_21.min1.thm1
2017-02-06 12:45
2.9K
polynom5__235_26.min1.thm1
2017-02-06 12:45
2.2K
polynom5__236_21.min1.thm1
2017-02-06 12:45
1.7K
polynom5__237_30.min1.thm1
2017-02-06 12:45
1.5K
polynom5__241_30.min1.thm1
2017-02-06 12:45
1.2K
polynom5__242_12.min1.thm1
2017-02-06 12:45
2.3K
polynom5__252_21.min1.thm1
2017-02-06 12:45
934
polynom5__260_29.min1.thm1
2017-02-06 12:45
2.0K
polynom5__265_17.min1.thm1
2017-02-06 12:45
2.0K
polynom5__295_17.min1.thm1
2017-02-06 12:45
467
polynom5__296_17.min1.thm1
2017-02-06 12:45
455
polynom5__305_49.min1.thm1
2017-02-06 12:45
1.2K
polynom5__308_36.min1.thm1
2017-02-06 12:45
1.8K
polynom5__309_26.min1.thm1
2017-02-06 12:45
1.4K
polynom5__311_8.min1.thm1
2017-02-06 12:45
528
polynom5__329_19.min1.thm1
2017-02-06 12:45
1.6K
polynom5__342_31.min1.thm1
2017-02-06 12:45
2.2K
polynom5__343_19.min1.thm1
2017-02-06 12:45
2.2K
polynom5__353_74.min1.thm1
2017-02-06 12:45
1.0K
polynom5__354_8.min1.thm1
2017-02-06 12:45
936
polynom5__355_14.min1.thm1
2017-02-06 12:45
1.4K
polynom5__362_21.min1.thm1
2017-02-06 12:45
1.3K
polynom5__365_32.min1.thm1
2017-02-06 12:45
1.5K
polynom5__366_11.min1.thm1
2017-02-06 12:45
1.3K
polynom5__368_28.min1.thm1
2017-02-06 12:45
2.0K
polynom5__369_30.min1.thm1
2017-02-06 12:45
1.5K
polynom5__376_12.min1.thm1
2017-02-06 12:45
629
polynom5__379_17.min1.thm1
2017-02-06 12:45
1.0K
polynom5__380_23.min1.thm1
2017-02-06 12:45
1.7K
polynom5__382_22.min1.thm1
2017-02-06 12:45
1.1K
polynom5__391_11.min1.thm1
2017-02-06 12:45
1.4K
polynom5__398_16.min1.thm1
2017-02-06 12:45
704
polynom5__402_25.min1.thm1
2017-02-06 12:45
2.2K
polynom5__411_25.min1.thm1
2017-02-06 12:45
1.9K
polynom5__435_16.min1.thm1
2017-02-06 12:45
777
polynom5__476_36.min1.thm1
2017-02-06 12:45
1.7K
polynom5__479_24.min1.thm1
2017-02-06 12:45
844
polynom5__484_30.min1.thm1
2017-02-06 12:45
1.1K
polynom5__486_21.min1.thm1
2017-02-06 12:45
1.9K
polynom5__487_13.min1.thm1
2017-02-06 12:45
251
polynom5__492_18.min1.thm1
2017-02-06 12:45
1.2K
polynom5__497_21.min1.thm1
2017-02-06 12:45
1.6K
polynom5__507_23.min1.thm1
2017-02-06 12:45
2.6K
polynom5__518_28.min1.thm1
2017-02-06 12:45
1.3K
polynom5__519_26.min1.thm1
2017-02-06 12:45
849
polynom5__521_32.min1.thm1
2017-02-06 12:45
1.5K
polynom5__524_27.min1.thm1
2017-02-06 12:45
1.3K
polynom5__528_30.min1.thm1
2017-02-06 12:45
1.7K
polynom5__532_28.min1.thm1
2017-02-06 12:45
1.1K
polynom5__533_23.min1.thm1
2017-02-06 12:45
1.2K
polynom5__534_27.min1.thm1
2017-02-06 12:45
922
polynom5__535_31.min1.thm1
2017-02-06 12:45
948
polynom5__536_27.min1.thm1
2017-02-06 12:45
1.2K
polynom5__547_25.min1.thm1
2017-02-06 12:45
620
polynom5__547_25.min1.thm1.tptp
2017-02-06 16:47
543
polynom5__548_39.min1.thm1
2017-02-06 12:45
1.4K
polynom5__549_25.min1.thm1
2017-02-06 12:45
620
polynom5__549_25.min1.thm1.tptp
2017-02-06 16:47
543
polynom5__567_36.min1.thm1
2017-02-06 12:45
660
polynom5__567_36.min1.thm1.tptp
2017-02-06 16:47
583
polynom5__572_14.min1.thm1
2017-02-06 12:45
1.3K
polynom5__587_53.min1.thm1
2017-02-06 12:45
2.4K
polynom5__601_53.min1.thm1
2017-02-06 12:45
2.4K
polynom5__615_49.min1.thm1
2017-02-06 12:45
2.4K
polynom5__617_28.min1.thm1
2017-02-06 12:45
2.3K
polynom5__618_16.min1.thm1
2017-02-06 12:45
1.6K
polynom5__629_49.min1.thm1
2017-02-06 12:45
2.4K
polynom5__632_31.min1.thm1
2017-02-06 12:45
2.4K
polynom5__644_49.min1.thm1
2017-02-06 12:45
2.4K
polynom5__648_34.min1.thm1
2017-02-06 12:45
2.5K
polynom5__661_49.min1.thm1
2017-02-06 12:45
2.4K
polynom5__667_37.min1.thm1
2017-02-06 12:45
2.5K
polynom5__683_49.min1.thm1
2017-02-06 12:45
2.4K
polynom5__734_16.min1.thm1
2017-02-06 12:45
816
polynom5__737_15.min1.thm1
2017-02-06 12:45
1.3K
polynom5__738_33.min1.thm1
2017-02-06 12:45
2.8K
polynom5__740_8.min1.thm1
2017-02-06 12:45
720
polynom5__749_39.min1.thm1
2017-02-06 12:45
2.0K
polynom5__750_31.min1.thm1
2017-02-06 12:45
1.3K
polynom5__767_25.min1.thm1
2017-02-06 12:45
3.4K
polynom5__768_27.min1.thm1
2017-02-06 12:45
2.8K
polynom5__779_16.min1.thm1
2017-02-06 12:45
679
polynom5__782_21.min1.thm1
2017-02-06 12:45
3.6K
polynom5__784_8.min1.thm1
2017-02-06 12:45
536
polynom5__801_18.min1.thm1
2017-02-06 12:45
640
polynom5__810_26.min1.thm1
2017-02-06 12:45
734
polynom5__810_26.min1.thm1.tptp
2017-02-06 16:47
657
polynom5__811_18.min1.thm1
2017-02-06 12:45
734
polynom5__811_18.min1.thm1.tptp
2017-02-06 16:47
657
polynom5__829_40.min1.thm1
2017-02-06 12:45
881
polynom5__832_15.min1.thm1
2017-02-06 12:45
790
polynom5__848_40.min1.thm1
2017-02-06 12:45
873
polynom5__850_15.min1.thm1
2017-02-06 12:45
1.9K
polynom5__875_42.min1.thm1
2017-02-06 12:45
881
polynom5__881_23.min1.thm1
2017-02-06 12:45
1.9K
polynom5__888_40.min1.thm1
2017-02-06 12:45
873
polynom5__907_19.min1.thm1
2017-02-06 12:45
1.7K
polynom5__918_48.min1.thm1
2017-02-06 12:45
1.7K
polynom5__933_17.min1.thm1
2017-02-06 12:45
788
polynom5__949_13.min1.thm1
2017-02-06 12:45
193
polynom5__952_26.min1.thm1
2017-02-06 12:45
1.6K
polynom5__953_19.min1.thm1
2017-02-06 12:45
1.1K
polynom5__958_23.min1.thm1
2017-02-06 12:45
1.5K
polynom5__959_17.min1.thm1
2017-02-06 12:45
3.2K
polynom5__961_19.min1.thm1
2017-02-06 12:45
823
polynom5__989_11.min1.thm1
2017-02-06 12:45
223
polynom5__999_44.min1.thm1
2017-02-06 12:45
1.6K
polynom5__1000_47.min1.thm1
2017-02-06 12:45
1.2K
polynom5__1001_19.min1.thm1
2017-02-06 12:45
1.2K
polynom5__1002_26.min1.thm1
2017-02-06 12:45
1.3K
polynom5__1003_49.min1.thm1
2017-02-06 12:45
1.3K
polynom5__1013_15.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1031_11.min1.thm1
2017-02-06 12:45
1.9K
polynom5__1043_21.min1.thm1
2017-02-06 12:45
2.0K
polynom5__1044_21.min1.thm1
2017-02-06 12:45
2.2K
polynom5__1046_17.min1.thm1
2017-02-06 12:45
2.8K
polynom5__1047_24.min1.thm1
2017-02-06 12:45
1.2K
polynom5__1048_45.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1053_15.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1054_43.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1055_40.min1.thm1
2017-02-06 12:45
1.3K
polynom5__1058_15.min1.thm1
2017-02-06 12:45
959
polynom5__1063_17.min1.thm1
2017-02-06 12:45
1.4K
polynom5__1083_23.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1085_22.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1097_25.min1.thm1
2017-02-06 12:45
1.2K
polynom5__1123_21.min1.thm1
2017-02-06 12:45
1.6K
polynom5__1124_21.min1.thm1
2017-02-06 12:45
1.6K
polynom5__1125_11.min1.thm1
2017-02-06 12:45
489
polynom5__1131_46.min1.thm1
2017-02-06 12:45
1.2K
polynom5__1134_22.min1.thm1
2017-02-06 12:45
1.6K
polynom5__1136_22.min1.thm1
2017-02-06 12:45
1.6K
polynom5__1143_47.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1145_29.min1.thm1
2017-02-06 12:45
1.3K
polynom5__1146_23.min1.thm1
2017-02-06 12:45
2.0K
polynom5__1147_15.min1.thm1
2017-02-06 12:45
1.8K
polynom5__1153_18.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1173_13.min1.thm1
2017-02-06 12:45
1.3K
polynom5__1174_21.min1.thm1
2017-02-06 12:45
1.6K
polynom5__1177_19.min1.thm1
2017-02-06 12:45
1.7K
polynom5__1182_13.min1.thm1
2017-02-06 12:45
1.3K
polynom5__1183_21.min1.thm1
2017-02-06 12:45
1.6K
polynom5__1186_19.min1.thm1
2017-02-06 12:45
2.0K
polynom5__1212_29.min1.thm1
2017-02-06 12:45
2.0K
polynom5__1230_17.min1.thm1
2017-02-06 12:45
1.6K
polynom5__1231_14.min1.thm1
2017-02-06 12:45
1.4K
polynom5__1235_22.min1.thm1
2017-02-06 12:45
1.6K
polynom5__1242_28.min1.thm1
2017-02-06 12:45
1.4K
polynom5__1244_52.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1245_41.min1.thm1
2017-02-06 12:45
1.3K
polynom5__1246_38.min1.thm1
2017-02-06 12:45
1.3K
polynom5__1247_32.min1.thm1
2017-02-06 12:45
1.4K
polynom5__1248_20.min1.thm1
2017-02-06 12:45
1.9K
polynom5__1249_14.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1250_22.min1.thm1
2017-02-06 12:45
1.8K
polynom5__1251_19.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1261_10.min1.thm1
2017-02-06 12:45
531
polynom5__1266_10.min1.thm1
2017-02-06 12:45
553
polynom5__1270_15.min1.thm1
2017-02-06 12:45
372
polynom5__1273_15.min1.thm1
2017-02-06 12:45
803
polynom5__1274_17.min1.thm1
2017-02-06 12:45
1.5K
polynom5__1313_25.min1.thm1
2017-02-06 12:45
1.0K
polynom5__1318_21.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1339_16.min1.thm1
2017-02-06 12:45
912
polynom5__1346_22.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1357_21.min1.thm1
2017-02-06 12:45
1.4K
polynom5__1370_13.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1378_17.min1.thm1
2017-02-06 12:45
1.5K
polynom5__1380_20.min1.thm1
2017-02-06 12:45
1.8K
polynom5__1387_26.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1391_18.min1.thm1
2017-02-06 12:45
460
polynom5__1403_11.min1.thm1
2017-02-06 12:45
223
polynom5__1412_23.min1.thm1
2017-02-06 12:45
1.7K
polynom5__1421_25.min1.thm1
2017-02-06 12:45
713
polynom5__1447_20.min1.thm1
2017-02-06 12:45
811
polynom5__1448_22.min1.thm1
2017-02-06 12:45
910
polynom5__1454_28.min1.thm1
2017-02-06 12:45
1.4K
polynom5__1455_22.min1.thm1
2017-02-06 12:45
1.9K
polynom5__1456_55.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1457_44.min1.thm1
2017-02-06 12:45
1.4K
polynom5__1458_41.min1.thm1
2017-02-06 12:45
1.3K
polynom5__1460_20.min1.thm1
2017-02-06 12:45
2.0K
polynom5__1461_14.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1462_22.min1.thm1
2017-02-06 12:45
1.9K
polynom5__1463_35.min1.thm1
2017-02-06 12:45
1.2K
polynom5__1464_20.min1.thm1
2017-02-06 12:45
811
polynom5__1465_22.min1.thm1
2017-02-06 12:45
910
polynom5__1467_21.min1.thm1
2017-02-06 12:45
1.4K
polynom5__1473_50.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1474_44.min1.thm1
2017-02-06 12:45
1.4K
polynom5__1475_41.min1.thm1
2017-02-06 12:45
1.3K
polynom5__1477_20.min1.thm1
2017-02-06 12:45
2.0K
polynom5__1478_14.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1479_17.min1.thm1
2017-02-06 12:45
1.5K
polynom5__1481_55.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1483_18.min1.thm1
2017-02-06 12:45
1.2K
polynom5__1498_16.min1.thm1
2017-02-06 12:45
907
polynom5__1499_12.min1.thm1
2017-02-06 12:45
808
polynom5__1511_14.min1.thm1
2017-02-06 12:45
1.4K
polynom5__1523_14.min1.thm1
2017-02-06 12:45
1.0K
polynom5__1535_15.min1.thm1
2017-02-06 12:45
1.2K
polynom5__1536_11.min1.thm1
2017-02-06 12:45
904
polynom5__1560_17.min1.thm1
2017-02-06 12:45
737
polynom5__1560_17.min1.thm1.tptp
2017-02-06 16:47
655
polynom5__1565_44.min1.thm1
2017-02-06 12:45
3.6K
polynom5__1580_26.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1586_20.min1.thm1
2017-02-06 12:45
1.6K
polynom5__1610_46.min1.thm1
2017-02-06 12:45
930
polynom5__1632_11.min1.thm1
2017-02-06 12:45
213
polynom5__1645_16.min1.thm1
2017-02-06 12:45
2.3K
polynom5__1646_22.min1.thm1
2017-02-06 12:45
1.9K
polynom5__1648_21.min1.thm1
2017-02-06 12:45
2.0K
polynom5__1649_17.min1.thm1
2017-02-06 12:45
2.5K
polynom5__1652_20.min1.thm1
2017-02-06 12:45
3.3K
polynom5__1653_24.min1.thm1
2017-02-06 12:45
1.2K
polynom5__1654_41.min1.thm1
2017-02-06 12:45
962
polynom5__1660_15.min1.thm1
2017-02-06 12:45
1.2K
polynom5__1661_39.min1.thm1
2017-02-06 12:45
952
polynom5__1662_34.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1663_29.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1670_18.min1.thm1
2017-02-06 12:45
1.5K
polynom5__1705_19.min1.thm1
2017-02-06 12:45
379
polynom5__1719_24.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1727_19.min1.thm1
2017-02-06 12:45
309
polynom5__1730_23.min1.thm1
2017-02-06 12:45
1.3K
polynom5__1734_33.min1.thm1
2017-02-06 12:45
2.3K
polynom5__1735_48.min1.thm1
2017-02-06 12:45
2.0K
polynom5__1736_41.min1.thm1
2017-02-06 12:45
1.7K
polynom5__1737_34.min1.thm1
2017-02-06 12:45
1.7K
polynom5__1742_27.min1.thm1
2017-02-06 12:45
2.8K
polynom5__1748_22.min1.thm1
2017-02-06 12:45
1.8K
polynom5__1750_27.min1.thm1
2017-02-06 12:45
1.5K
polynom5__1753_20.min1.thm1
2017-02-06 12:45
309
polynom5__1759_46.min1.thm1
2017-02-06 12:45
1.5K
polynom5__1761_38.min1.thm1
2017-02-06 12:45
1.6K
polynom5__1763_23.min1.thm1
2017-02-06 12:45
2.0K
polynom5__1768_16.min1.thm1
2017-02-06 12:45
436
polynom5__1770_14.min1.thm1
2017-02-06 12:45
432
polynom5__1796_38.min1.thm1
2017-02-06 12:45
3.0K
polynom5__1797_37.min1.thm1
2017-02-06 12:45
4.3K
polynom5__1804_21.min1.thm1
2017-02-06 12:45
2.8K
polynom5__1817_15.min1.thm1
2017-02-06 12:45
423
polynom5__1841_40.min1.thm1
2017-02-06 12:45
1.7K
polynom5__1845_21.min1.thm1
2017-02-06 12:45
517
polynom5__1848_52.min1.thm1
2017-02-06 12:45
955
polynom5__1849_25.min1.thm1
2017-02-06 12:45
1.3K
polynom5__1855_25.min1.thm1
2017-02-06 12:45
317
polynom5__1863_33.min1.thm1
2017-02-06 12:45
2.8K
polynom5__1866_34.min1.thm1
2017-02-06 12:45
4.5K
polynom5__1883_40.min1.thm1
2017-02-06 12:45
1.4K
polynom5__1884_34.min1.thm1
2017-02-06 12:45
1.3K
polynom5__1893_29.min1.thm1
2017-02-06 12:45
2.9K
polynom5__1901_49.min1.thm1
2017-02-06 12:45
2.5K
polynom5__1905_51.min1.thm1
2017-02-06 12:45
760
polynom5__1922_38.min1.thm1
2017-02-06 12:45
928
polynom5__1923_33.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1924_28.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1935_34.min1.thm1
2017-02-06 12:45
1.2K
polynom5__1950_21.min1.thm1
2017-02-06 12:45
1.2K
polynom5__1951_36.min1.thm1
2017-02-06 12:45
926
polynom5__1952_31.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1953_26.min1.thm1
2017-02-06 12:45
1.1K
polynom5__1977_42.min1.thm1
2017-02-06 12:45
909
polynom5__1985_19.min1.thm1
2017-02-06 12:45
2.8K
polynom5__1987_40.min1.thm1
2017-02-06 12:45
3.1K
polynom5__1991_15.min1.thm1
2017-02-06 12:45
2.1K
polynom5__1993_15.min1.thm1
2017-02-06 12:45
1.7K
polynom5__1995_32.min1.thm1
2017-02-06 12:45
4.0K
polynom5__2000_13.min1.thm1
2017-02-06 12:45
287
polynom5__2007_17.min1.thm1
2017-02-06 12:45
291
polynom5__2017_34.min1.thm1
2017-02-06 12:45
1.3K
polynom5__2024_17.min1.thm1
2017-02-06 12:45
1.3K
polynom5__2027_32.min1.thm1
2017-02-06 12:45
1.6K
polynom5__2029_32.min1.thm1
2017-02-06 12:45
1.3K
polynom5__2030_26.min1.thm1
2017-02-06 12:45
1.2K
polynom5__2036_21.min1.thm1
2017-02-06 12:45
1.2K
polynom5__2040_24.min1.thm1
2017-02-06 12:45
1.6K
polynom5__2042_16.min1.thm1
2017-02-06 12:45
1.2K
polynom5__2044_39.min1.thm1
2017-02-06 12:45
1.6K
polynom5__2046_21.min1.thm1
2017-02-06 12:45
1.2K
polynom5__2053_21.min1.thm1
2017-02-06 12:45
3.0K
polynom5__2056_15.min1.thm1
2017-02-06 12:45
1.2K
polynom5__2057_32.min1.thm1
2017-02-06 12:45
920
polynom5__2058_27.min1.thm1
2017-02-06 12:45
1.1K
polynom5__2059_22.min1.thm1
2017-02-06 12:45
1.1K
polynom5__2064_34.min1.thm1
2017-02-06 12:45
1.0K
polynom5__2066_19.min1.thm1
2017-02-06 12:45
1.1K
polynom5__2100_13.min1.thm1
2017-02-06 12:45
287
polynom5__2109_17.min1.thm1
2017-02-06 12:45
1.3K
polynom5__2114_59.min1.thm1
2017-02-06 12:45
2.2K
polynom5__2115_23.min1.thm1
2017-02-06 12:45
2.3K
polynom5__2116_27.min1.thm1
2017-02-06 12:45
2.2K
polynom5__2117_38.min1.thm1
2017-02-06 12:45
1.8K
polynom5__2118_31.min1.thm1
2017-02-06 12:45
1.7K
polynom5__2119_24.min1.thm1
2017-02-06 12:45
1.6K
polynom5__2122_44.min1.thm1
2017-02-06 12:45
1.8K
polynom5__2125_60.min1.thm1
2017-02-06 12:45
2.1K
polynom5__2126_35.min1.thm1
2017-02-06 12:45
2.5K
polynom5__2135_21.min1.thm1
2017-02-06 12:45
1.8K
polynom5__2142_43.min1.thm1
2017-02-06 12:45
1.5K
polynom5__2143_31.min1.thm1
2017-02-06 12:45
1.4K
polynom5__2145_34.min1.thm1
2017-02-06 12:45
1.6K
polynom5__2147_28.min1.thm1
2017-02-06 12:45
1.3K
polynom5__2148_21.min1.thm1
2017-02-06 12:45
1.2K
polynom5__2185_14.min1.thm1
2017-02-06 12:45
437
polynom5__2185_14.min1.thm1.tptp
2017-02-06 16:47
358
polynom5__2194_30.min1.thm1
2017-02-06 12:45
634
polynom5__2203_15.min1.thm1
2017-02-06 12:45
526
polynom5__2203_15.min1.thm1.tptp
2017-02-06 16:47
451
polynom5__2226_59.min1.thm1
2017-02-06 12:45
1.1K
polynom5__2227_18.min1.thm1
2017-02-06 12:45
946
polynom5__2231_8.min1.thm1
2017-02-06 12:45
447
polynom5__2231_8.min1.thm1.tptp
2017-02-06 16:47
369
polynom5__2237_59.min1.thm1
2017-02-06 12:45
1.3K
polynom5__2238_18.min1.thm1
2017-02-06 12:45
359
polynom5__2241_16.min1.thm1
2017-02-06 12:45
1.2K
polynom5__2253_41.min1.thm1
2017-02-06 12:45
518
polynom5__2254_25.min1.thm1
2017-02-06 12:45
657
polynom5__2255_21.min1.thm1
2017-02-06 12:45
657
polynom5__2260_39.min1.thm1
2017-02-06 12:45
510
polynom5__2261_23.min1.thm1
2017-02-06 12:45
639
polynom5__2262_19.min1.thm1
2017-02-06 12:45
639
polynom5__2279_18.min1.thm1
2017-02-06 12:45
866
polynom5__2288_39.min1.thm1
2017-02-06 12:45
960
polynom5__2288_39.min1.thm1.tptp
2017-02-06 16:47
883
polynom5__2289_18.min1.thm1
2017-02-06 12:45
960
polynom5__2289_18.min1.thm1.tptp
2017-02-06 16:47
883
polynom5__2307_44.min1.thm1
2017-02-06 12:45
889
polynom5__2309_32.min1.thm1
2017-02-06 12:45
2.8K
polynom5__2354_44.min1.thm1
2017-02-06 12:45
881
polynom5__2361_23.min1.thm1
2017-02-06 12:45
2.0K
polynom5__2368_42.min1.thm1
2017-02-06 12:45
873
polynom5__2370_30.min1.thm1
2017-02-06 12:45
2.8K
polynom5__2397_20.min1.thm1
2017-02-06 12:45
1.7K
polynom5__2404_42.min1.thm1
2017-02-06 12:45
1.6K
polynom5__2405_46.min1.thm1
2017-02-06 12:45
1.1K
polynom5__2406_17.min1.thm1
2017-02-06 12:45
1.2K
polynom5__2407_24.min1.thm1
2017-02-06 12:45
1.3K
polynom5__2408_45.min1.thm1
2017-02-06 12:45
1.3K
polynom5__2410_61.min1.thm1
2017-02-06 12:45
3.6K
polynom5__2436_27.min1.thm1
2017-02-06 12:45
1.7K
polynom5__2447_17.min1.thm1
2017-02-06 12:45
1.7K
polynom5__2462_23.min1.thm1
2017-02-06 12:45
1.6K
polynom5__2463_39.min1.thm1
2017-02-06 12:45
1.7K
polynom5__2469_21.min1.thm1
2017-02-06 12:45
1.7K
polynom5__2470_17.min1.thm1
2017-02-06 12:45
1.7K
polynom5__2486_40.min1.thm1
2017-02-06 12:45
1.7K
polynom5__2487_24.min1.thm1
2017-02-06 12:45
2.2K
polynom5__2488_44.min1.thm1
2017-02-06 12:45
1.7K
polynom5__2489_19.min1.thm1
2017-02-06 12:45
3.2K
polynom5__2498_29.min1.thm1
2017-02-06 12:45
1.7K
polynom5__2499_19.min1.thm1
2017-02-06 12:45
2.2K
polynom5__2513_17.min1.thm1
2017-02-06 12:45
324
polynom5__2513_17.min1.thm1.tptp
2017-02-06 16:47
236
polynom5__2521_30.min1.thm1
2017-02-06 12:45
2.4K
polynom5__2536_17.min1.thm1
2017-02-06 12:45
324
polynom5__2536_17.min1.thm1.tptp
2017-02-06 16:47
236
polynom5__2545_34.min1.thm1
2017-02-06 12:45
611
polynom5__2561_35.min1.thm1
2017-02-06 12:45
653
polynom5__2563_18.min1.thm1
2017-02-06 12:45
884
polynom5__2563_18.min1.thm1.tptp
2017-02-06 16:47
816
polynom5__2572_38.min1.thm1
2017-02-06 12:45
898
polynom5__2572_38.min1.thm1.tptp
2017-02-06 16:47
821
polynom5__2573_18.min1.thm1
2017-02-06 12:45
898
polynom5__2573_18.min1.thm1.tptp
2017-02-06 16:47
821
polynom5__2587_40.min1.thm1
2017-02-06 12:45
356
polynom5__2587_40.min1.thm1.tptp
2017-02-06 16:47
278
polynom5__2599_39.min1.thm1
2017-02-06 12:45
483
polynom5__2599_39.min1.thm1.tptp
2017-02-06 16:47
428
polynom5__2604_44.min1.thm1
2017-02-06 12:45
585
polynom5__2608_35.min1.thm1
2017-02-06 12:45
1.8K
polynom5__2620_58.min1.thm1
2017-02-06 12:45
1.2K
polynom5__2623_19.min1.thm1
2017-02-06 12:45
1.7K
polynom5__2624_17.min1.thm1
2017-02-06 12:45
766
polynom5__2625_29.min1.thm1
2017-02-06 12:45
1.5K
polynom5__2635_42.min1.thm1
2017-02-06 12:45
577
polynom5__2637_13.min1.thm1
2017-02-06 12:45
223
polynom5__2638_39.min1.thm1
2017-02-06 12:45
483
polynom5__2638_39.min1.thm1.tptp
2017-02-06 16:47
428
polynom5__2642_44.min1.thm1
2017-02-06 12:45
585
polynom5__2645_37.min1.thm1
2017-02-06 12:45
1.3K
polynom5__2655_42.min1.thm1
2017-02-06 12:45
577
polynom5__2657_13.min1.thm1
2017-02-06 12:45
223
polynom5__2658_39.min1.thm1
2017-02-06 12:45
483
polynom5__2658_39.min1.thm1.tptp
2017-02-06 16:47
428
polynom5__2663_44.min1.thm1
2017-02-06 12:45
585
polynom5__2668_37.min1.thm1
2017-02-06 12:45
1.9K
polynom5__2680_41.min1.thm1
2017-02-06 12:45
483
polynom5__2680_41.min1.thm1.tptp
2017-02-06 16:47
428
polynom5__2687_44.min1.thm1
2017-02-06 12:45
585
polynom5__2704_41.min1.thm1
2017-02-06 12:45
483
polynom5__2704_41.min1.thm1.tptp
2017-02-06 16:47
428
polynom5__2739_35.min1.thm1
2017-02-06 12:45
653
polynom5__2741_18.min1.thm1
2017-02-06 12:45
634
polynom5__2741_18.min1.thm1.tptp
2017-02-06 16:47
566
polynom5__2750_30.min1.thm1
2017-02-06 12:45
648
polynom5__2750_30.min1.thm1.tptp
2017-02-06 16:47
571
polynom5__2751_18.min1.thm1
2017-02-06 12:45
648
polynom5__2751_18.min1.thm1.tptp
2017-02-06 16:47
571
polynom5__2765_41.min1.thm1
2017-02-06 12:45
483
polynom5__2765_41.min1.thm1.tptp
2017-02-06 16:47
428
polynom5__2767_9.min1.thm1
2017-02-06 12:45
1.4K
polynom5__2822_15.min1.thm1
2017-02-06 12:45
587
polynom5__2822_15.min1.thm1.tptp
2017-02-06 16:47
505
polynom5__2832_46.min1.thm1
2017-02-06 12:45
585
polynom5__2852_15.min1.thm1
2017-02-06 12:45
261
polynom5__2856_19.min1.thm1
2017-02-06 12:45
1.3K
polynom5__2857_23.min1.thm1
2017-02-06 12:45
3.0K
polynom5__2861_29.min1.thm1
2017-02-06 12:45
1.2K
polynom5__2862_41.min1.thm1
2017-02-06 12:45
1.9K
polynom5__2863_34.min1.thm1
2017-02-06 12:45
1.6K
polynom5__2864_29.min1.thm1
2017-02-06 12:45
1.6K
polynom5__2870_29.min1.thm1
2017-02-06 12:45
1.1K
polynom5__2871_24.min1.thm1
2017-02-06 12:45
1.3K
polynom5__2873_29.min1.thm1
2017-02-06 12:45
1.3K
polynom5__2875_49.min1.thm1
2017-02-06 12:45
1.8K
polynom5__2876_44.min1.thm1
2017-02-06 12:45
1.7K
polynom5__2885_19.min1.thm1
2017-02-06 12:45
1.4K
polynom5__2889_23.min1.thm1
2017-02-06 12:45
1.6K
polynom5__2895_31.min1.thm1
2017-02-06 12:45
1.8K
polynom5__2898_18.min1.thm1
2017-02-06 12:45
1.0K
polynom5__2900_39.min1.thm1
2017-02-06 12:45
1.5K
polynom5__2901_38.min1.thm1
2017-02-06 12:45
789
polynom5__2902_19.min1.thm1
2017-02-06 12:45
1.4K
polynom5__2908_16.min1.thm1
2017-02-06 12:45
1.9K
polynom5__2920_32.min1.thm1
2017-02-06 12:45
796
polynom5__2924_13.min1.thm1
2017-02-06 12:45
255
polynom5__2927_17.min1.thm1
2017-02-06 12:45
1.3K
polynom5__2928_21.min1.thm1
2017-02-06 12:45
3.0K
polynom5__2932_27.min1.thm1
2017-02-06 12:45
1.2K
polynom5__2933_39.min1.thm1
2017-02-06 12:45
1.9K
polynom5__2934_32.min1.thm1
2017-02-06 12:45
1.6K
polynom5__2935_27.min1.thm1
2017-02-06 12:45
1.6K
polynom5__2947_17.min1.thm1
2017-02-06 12:45
1.4K
polynom5__2949_17.min1.thm1
2017-02-06 12:45
1.8K
polynom5__2950_21.min1.thm1
2017-02-06 12:45
968
polynom5__2956_30.min1.thm1
2017-02-06 12:45
1.8K
polynom5__2958_19.min1.thm1
2017-02-06 12:45
1.0K
polynom5__2960_19.min1.thm1
2017-02-06 12:45
463
polynom5__2985_16.min1.thm1
2017-02-06 12:45
2.1K
polynom5__2990_27.min1.thm1
2017-02-06 12:45
2.1K
polynom5__3000_18.min1.thm1
2017-02-06 12:45
1.2K
polynom5__3013_32.min1.thm1
2017-02-06 12:45
1.6K
polynom5__3017_22.min1.thm1
2017-02-06 12:45
2.8K
polynom5__3022_14.min1.thm1
2017-02-06 12:45
2.2K
polynom5__3023_13.min1.thm1
2017-02-06 12:45
1.3K
polynom5__3024_22.min1.thm1
2017-02-06 12:45
745
polynom5__3025_18.min1.thm1
2017-02-06 12:45
1.0K
polynom5__3042_9.min1.thm1
2017-02-06 12:45
961
polynom5__3044_20.min1.thm1
2017-02-06 12:45
3.2K
polynom5__3074_13.min1.thm1
2017-02-06 12:45
458
polynom5__3091_29.min1.thm1
2017-02-06 12:45
2.2K
polynom5__3092_17.min1.thm1
2017-02-06 12:45
1.3K
polynom5__3099_21.min1.thm1
2017-02-06 12:45
1.4K
polynom5__3103_46.min1.thm1
2017-02-06 12:45
1.8K
polynom5__3104_41.min1.thm1
2017-02-06 12:45
1.7K
polynom5__3145_46.min1.thm1
2017-02-06 12:45
1.6K
polynom5__3178_33.min1.thm1
2017-02-06 12:45
1.4K
polynom5__3187_44.min1.thm1
2017-02-06 12:45
585
polynom5__3189_15.min1.thm1
2017-02-06 12:45
235
polynom5__3190_18.min1.thm1
2017-02-06 12:45
637
polynom5__3190_18.min1.thm1.tptp
2017-02-06 16:47
549
polynom5__3198_23.min1.thm1
2017-02-06 12:45
1.2K
polynom5__3200_67.min1.thm1
2017-02-06 12:45
1.8K
polynom5__3204_26.min1.thm1
2017-02-06 12:45
3.2K
polynom5__3208_26.min1.thm1
2017-02-06 12:45
1.2K
polynom5__3216_35.min1.thm1
2017-02-06 12:45
886
polynom5__3216_35.min1.thm1.tptp
2017-02-06 16:47
821
polynom5__3217_15.min1.thm1
2017-02-06 12:45
3.3K
polynom5__3219_20.min1.thm1
2017-02-06 12:45
2.3K
polynom5__3220_22.min1.thm1
2017-02-06 12:45
3.6K
polynom5__3222_36.min1.thm1
2017-02-06 12:45
3.8K
polynom5__3225_36.min1.thm1
2017-02-06 12:45
3.1K
polynom5__3226_25.min1.thm1
2017-02-06 12:45
1.7K
polynom5__3227_28.min1.thm1
2017-02-06 12:45
1.5K
polynom5__3241_24.min1.thm1
2017-02-06 12:45
931
polynom5__3244_49.min1.thm1
2017-02-06 12:45
911
polynom5__3248_52.min1.thm1
2017-02-06 12:45
1.5K
polynom5__3251_19.min1.thm1
2017-02-06 12:45
335
polynom5__3252_15.min1.thm1
2017-02-06 12:45
367
polynom5__3260_46.min1.thm1
2017-02-06 12:45
581
polynom5__3266_36.min1.thm1
2017-02-06 12:45
2.7K
polynom5__3278_23.min1.thm1
2017-02-06 12:45
773
polynom5__3279_72.min1.thm1
2017-02-06 12:45
786
polynom5__3279_72.min1.thm1.tptp
2017-02-06 16:47
727
polynom5__3289_35.min1.thm1
2017-02-06 12:45
2.7K
polynom5__3304_27.min1.thm1
2017-02-06 12:45
795
polynom5__3305_72.min1.thm1
2017-02-06 12:45
785
polynom5__3305_72.min1.thm1.tptp
2017-02-06 16:47
726
polynom5__3321_21.min1.thm1
2017-02-06 12:45
1.1K
polynom5__3323_27.min1.thm1
2017-02-06 12:45
1.4K
polynom5__3328_26.min1.thm1
2017-02-06 12:45
785
polynom5__3328_26.min1.thm1.tptp
2017-02-06 16:47
726
polynom5__3343_27.min1.thm1
2017-02-06 12:45
645
polynom5__3343_27.min1.thm1.tptp
2017-02-06 16:47
568
polynom5__3344_36.min1.thm1
2017-02-06 12:45
2.6K
polynom5__3354_27.min1.thm1
2017-02-06 12:45
818
polynom5__3374_14.min1.thm1
2017-02-06 12:45
2.4K
polynom5__3400_14.min1.thm1
2017-02-06 12:45
1.0K
polynom5__3401_50.min1.thm1
2017-02-06 12:45
2.1K
polynom5__3437_19.min1.thm1
2017-02-06 12:45
1.0K
polynom5__3440_24.min1.thm1
2017-02-06 12:45
1.5K
polynom5__3441_29.min1.thm1
2017-02-06 12:45
1.1K
polynom5__3448_21.min1.thm1
2017-02-06 12:45
2.0K
polynom5__3449_24.min1.thm1
2017-02-06 12:45
1.6K
polynom5__3450_28.min1.thm1
2017-02-06 12:45
2.0K
polynom5__3452_20.min1.thm1
2017-02-06 12:45
3.4K
polynom5__3455_23.min1.thm1
2017-02-06 12:45
1.1K
polynom5__3457_18.min1.thm1
2017-02-06 12:45
1.7K
polynom5__3458_19.min1.thm1
2017-02-06 12:45
2.2K
polynom5__3460_19.min1.thm1
2017-02-06 12:45
2.1K
polynom5__3461_34.min1.thm1
2017-02-06 12:45
1.7K
polynom5__3469_19.min1.thm1
2017-02-06 12:45
1.3K
polynom5__3478_22.min1.thm1
2017-02-06 12:45
1.3K
polynom5__3480_29.min1.thm1
2017-02-06 12:45
1.6K
polynom5__3482_29.min1.thm1
2017-02-06 12:45
1.6K
polynom5__3487_29.min1.thm1
2017-02-06 12:45
1.6K
polynom5__3488_54.min1.thm1
2017-02-06 12:45
1.9K
polynom5__3529_33.min1.thm1
2017-02-06 12:45
2.2K
polynom5__3531_30.min1.thm1
2017-02-06 12:45
2.4K
polynom5__3532_25.min1.thm1
2017-02-06 12:45
757
polynom5__3547_31.min1.thm1
2017-02-06 12:45
2.6K
polynom5__3554_19.min1.thm1
2017-02-06 12:45
2.2K
polynom5__3557_32.min1.thm1
2017-02-06 12:45
2.5K
polynom5__3558_31.min1.thm1
2017-02-06 12:45
1.7K
polynom5__3566_70.min1.thm1
2017-02-06 12:45
3.2K
polynom5__3571_30.min1.thm1
2017-02-06 12:45
867
polynom5__3596_22.min1.thm1
2017-02-06 12:45
1.9K
polynom5__3598_21.min1.thm1
2017-02-06 12:45
1.2K
polynom5__3601_72.min1.thm1
2017-02-06 12:45
1.8K
polynom5__3639_21.min1.thm1
2017-02-06 12:45
1.6K
polynom5__3641_19.min1.thm1
2017-02-06 12:45
1.4K
polynom5__3646_22.min1.thm1
2017-02-06 12:45
1.6K
polynom5__3647_22.min1.thm1
2017-02-06 12:45
1.9K
polynom5__3652_18.min1.thm1
2017-02-06 12:45
755
polynom5__3674_19.min1.thm1
2017-02-06 12:45
1.9K
polynom5__3690_15.min1.thm1
2017-02-06 12:45
837
polynom5__3690_15.min1.thm1.tptp
2017-02-06 16:47
747
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80