Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/poset_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]poset_1__44_25.min1.thm12017-02-06 12:45 649  
[ ]poset_1__45_17.min1.thm12017-02-06 12:45 477  
[ ]poset_1__55_30.min1.thm12017-02-06 12:45 554  
[ ]poset_1__57_12.min1.thm12017-02-06 12:45 677  
[ ]poset_1__64_44.min1.thm12017-02-06 12:45 1.1K 
[ ]poset_1__66_39.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__67_19.min1.thm12017-02-06 12:45 959  
[ ]poset_1__70_14.min1.thm12017-02-06 12:45 564  
[ ]poset_1__70_14.min1.thm1.tptp2017-02-06 16:47 491  
[ ]poset_1__78_25.min1.thm12017-02-06 12:45 176  
[ ]poset_1__79_29.min1.thm12017-02-06 12:45 1.7K 
[ ]poset_1__80_48.min1.thm12017-02-06 12:45 1.5K 
[ ]poset_1__81_53.min1.thm12017-02-06 12:45 1.1K 
[ ]poset_1__82_27.min1.thm12017-02-06 12:45 1.9K 
[ ]poset_1__83_17.min1.thm12017-02-06 12:45 1.7K 
[ ]poset_1__95_21.min1.thm12017-02-06 12:45 329  
[ ]poset_1__95_21.min1.thm1.tptp2017-02-06 16:47 244  
[ ]poset_1__96_18.min1.thm12017-02-06 12:45 478  
[ ]poset_1__96_18.min1.thm1.tptp2017-02-06 16:47 399  
[ ]poset_1__98_16.min1.thm12017-02-06 12:45 392  
[ ]poset_1__113_20.min1.thm12017-02-06 12:45 473  
[ ]poset_1__113_20.min1.thm1.tptp2017-02-06 16:47 394  
[ ]poset_1__115_16.min1.thm12017-02-06 12:45 292  
[ ]poset_1__117_17.min1.thm12017-02-06 12:45 1.2K 
[ ]poset_1__140_40.min1.thm12017-02-06 12:45 1.1K 
[ ]poset_1__142_46.min1.thm12017-02-06 12:45 1.7K 
[ ]poset_1__144_46.min1.thm12017-02-06 12:45 1.7K 
[ ]poset_1__145_38.min1.thm12017-02-06 12:45 965  
[ ]poset_1__148_19.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__155_38.min1.thm12017-02-06 12:45 921  
[ ]poset_1__156_8.min1.thm12017-02-06 12:45 661  
[ ]poset_1__157_19.min1.thm12017-02-06 12:45 1.1K 
[ ]poset_1__159_30.min1.thm12017-02-06 12:45 1.1K 
[ ]poset_1__160_39.min1.thm12017-02-06 12:45 1.2K 
[ ]poset_1__161_38.min1.thm12017-02-06 12:45 1.3K 
[ ]poset_1__162_42.min1.thm12017-02-06 12:45 470  
[ ]poset_1__163_27.min1.thm12017-02-06 12:45 1.0K 
[ ]poset_1__164_20.min1.thm12017-02-06 12:45 1.2K 
[ ]poset_1__166_14.min1.thm12017-02-06 12:45 967  
[ ]poset_1__175_40.min1.thm12017-02-06 12:45 385  
[ ]poset_1__176_30.min1.thm12017-02-06 12:45 1.1K 
[ ]poset_1__178_36.min1.thm12017-02-06 12:45 1.1K 
[ ]poset_1__183_57.min1.thm12017-02-06 12:45 2.4K 
[ ]poset_1__186_44.min1.thm12017-02-06 12:45 2.2K 
[ ]poset_1__187_21.min1.thm12017-02-06 12:45 2.5K 
[ ]poset_1__195_14.min1.thm12017-02-06 12:45 388  
[ ]poset_1__213_46.min1.thm12017-02-06 12:45 2.3K 
[ ]poset_1__216_37.min1.thm12017-02-06 12:45 1.2K 
[ ]poset_1__222_36.min1.thm12017-02-06 12:45 1.6K 
[ ]poset_1__223_35.min1.thm12017-02-06 12:45 708  
[ ]poset_1__224_21.min1.thm12017-02-06 12:45 947  
[ ]poset_1__225_18.min1.thm12017-02-06 12:45 1.5K 
[ ]poset_1__229_17.min1.thm12017-02-06 12:45 2.9K 
[ ]poset_1__246_29.min1.thm12017-02-06 12:45 2.5K 
[ ]poset_1__247_21.min1.thm12017-02-06 12:45 934  
[ ]poset_1__248_16.min1.thm12017-02-06 12:45 478  
[ ]poset_1__262_24.min1.thm12017-02-06 12:45 1.3K 
[ ]poset_1__264_18.min1.thm12017-02-06 12:45 404  
[ ]poset_1__264_18.min1.thm1.tptp2017-02-06 16:47 324  
[ ]poset_1__266_16.min1.thm12017-02-06 12:45 314  
[ ]poset_1__274_51.min1.thm12017-02-06 12:45 1.1K 
[ ]poset_1__275_13.min1.thm12017-02-06 12:45 1.3K 
[ ]poset_1__276_16.min1.thm12017-02-06 12:45 1.2K 
[ ]poset_1__283_51.min1.thm12017-02-06 12:45 1.1K 
[ ]poset_1__299_16.min1.thm12017-02-06 12:45 354  
[ ]poset_1__310_49.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__311_50.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__312_17.min1.thm12017-02-06 12:45 1.6K 
[ ]poset_1__315_20.min1.thm12017-02-06 12:45 2.5K 
[ ]poset_1__317_16.min1.thm12017-02-06 12:45 1.0K 
[ ]poset_1__329_9.min1.thm12017-02-06 12:45 1.3K 
[ ]poset_1__341_51.min1.thm12017-02-06 12:45 1.6K 
[ ]poset_1__342_17.min1.thm12017-02-06 12:45 1.7K 
[ ]poset_1__343_38.min1.thm12017-02-06 12:45 1.0K 
[ ]poset_1__346_20.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__348_16.min1.thm12017-02-06 12:45 1.2K 
[ ]poset_1__351_14.min1.thm12017-02-06 12:45 1.5K 
[ ]poset_1__358_39.min1.thm12017-02-06 12:45 891  
[ ]poset_1__378_32.min1.thm12017-02-06 12:45 1.7K 
[ ]poset_1__379_30.min1.thm12017-02-06 12:45 2.0K 
[ ]poset_1__380_17.min1.thm12017-02-06 12:45 388  
[ ]poset_1__382_16.min1.thm12017-02-06 12:45 544  
[ ]poset_1__385_14.min1.thm12017-02-06 12:45 648  
[ ]poset_1__400_17.min1.thm12017-02-06 12:45 837  
[ ]poset_1__410_53.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__411_53.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__413_17.min1.thm12017-02-06 12:45 1.5K 
[ ]poset_1__415_24.min1.thm12017-02-06 12:45 2.7K 
[ ]poset_1__417_24.min1.thm12017-02-06 12:45 2.7K 
[ ]poset_1__422_16.min1.thm12017-02-06 12:45 1.0K 
[ ]poset_1__439_18.min1.thm12017-02-06 12:45 458  
[ ]poset_1__439_18.min1.thm1.tptp2017-02-06 16:47 381  
[ ]poset_1__444_44.min1.thm12017-02-06 12:45 483  
[ ]poset_1__444_44.min1.thm1.tptp2017-02-06 16:47 402  
[ ]poset_1__445_16.min1.thm12017-02-06 12:45 794  
[ ]poset_1__451_39.min1.thm12017-02-06 12:45 625  
[ ]poset_1__454_46.min1.thm12017-02-06 12:45 416  
[ ]poset_1__455_47.min1.thm12017-02-06 12:45 416  
[ ]poset_1__459_18.min1.thm12017-02-06 12:45 1.2K 
[ ]poset_1__460_15.min1.thm12017-02-06 12:45 628  
[ ]poset_1__468_19.min1.thm12017-02-06 12:45 1.8K 
[ ]poset_1__474_37.min1.thm12017-02-06 12:45 481  
[ ]poset_1__475_8.min1.thm12017-02-06 12:45 733  
[ ]poset_1__476_19.min1.thm12017-02-06 12:45 1.1K 
[ ]poset_1__478_29.min1.thm12017-02-06 12:45 1.0K 
[ ]poset_1__479_38.min1.thm12017-02-06 12:45 1.0K 
[ ]poset_1__480_36.min1.thm12017-02-06 12:45 834  
[ ]poset_1__481_27.min1.thm12017-02-06 12:45 1.6K 
[ ]poset_1__482_14.min1.thm12017-02-06 12:45 904  
[ ]poset_1__488_16.min1.thm12017-02-06 12:45 1.5K 
[ ]poset_1__495_47.min1.thm12017-02-06 12:45 1.6K 
[ ]poset_1__499_33.min1.thm12017-02-06 12:45 1.0K 
[ ]poset_1__500_23.min1.thm12017-02-06 12:45 972  
[ ]poset_1__506_44.min1.thm12017-02-06 12:45 416  
[ ]poset_1__510_43.min1.thm12017-02-06 12:45 783  
[ ]poset_1__511_49.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__512_27.min1.thm12017-02-06 12:45 805  
[ ]poset_1__515_16.min1.thm12017-02-06 12:45 2.3K 
[ ]poset_1__516_21.min1.thm12017-02-06 12:45 2.5K 
[ ]poset_1__522_19.min1.thm12017-02-06 12:45 1.5K 
[ ]poset_1__528_47.min1.thm12017-02-06 12:45 1.6K 
[ ]poset_1__531_46.min1.thm12017-02-06 12:45 416  
[ ]poset_1__533_28.min1.thm12017-02-06 12:45 1.9K 
[ ]poset_1__539_16.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__540_17.min1.thm12017-02-06 12:45 1.6K 
[ ]poset_1__549_59.min1.thm12017-02-06 12:45 1.8K 
[ ]poset_1__550_39.min1.thm12017-02-06 12:45 1.0K 
[ ]poset_1__556_45.min1.thm12017-02-06 12:45 416  
[ ]poset_1__557_50.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__564_17.min1.thm12017-02-06 12:45 1.6K 
[ ]poset_1__588_23.min1.thm12017-02-06 12:45 822  
[ ]poset_1__589_22.min1.thm12017-02-06 12:45 2.1K 
[ ]poset_1__591_20.min1.thm12017-02-06 12:45 2.2K 
[ ]poset_1__598_53.min1.thm12017-02-06 12:45 2.4K 
[ ]poset_1__599_43.min1.thm12017-02-06 12:45 1.7K 
[ ]poset_1__600_22.min1.thm12017-02-06 12:45 2.1K 
[ ]poset_1__602_20.min1.thm12017-02-06 12:45 1.7K 
[ ]poset_1__622_31.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__627_48.min1.thm12017-02-06 12:45 434  
[ ]poset_1__627_48.min1.thm1.tptp2017-02-06 16:47 357  
[ ]poset_1__628_32.min1.thm12017-02-06 12:45 788  
[ ]poset_1__634_27.min1.thm12017-02-06 12:45 1.8K 
[ ]poset_1__652_16.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__667_13.min1.thm12017-02-06 12:45 1.0K 
[ ]poset_1__667_13.min1.thm1.tptp2017-02-06 16:47 929  
[ ]poset_1__678_30.min1.thm12017-02-06 12:45 1.5K 
[ ]poset_1__682_17.min1.thm12017-02-06 12:45 1.5K 
[ ]poset_1__696_23.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__702_47.min1.thm12017-02-06 12:45 428  
[ ]poset_1__703_51.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__705_21.min1.thm12017-02-06 12:45 1.7K 
[ ]poset_1__707_26.min1.thm12017-02-06 12:45 1.2K 
[ ]poset_1__708_19.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__710_14.min1.thm12017-02-06 12:45 470  
[ ]poset_1__721_18.min1.thm12017-02-06 12:45 2.2K 
[ ]poset_1__730_29.min1.thm12017-02-06 12:45 968  
[ ]poset_1__742_25.min1.thm12017-02-06 12:45 1.9K 
[ ]poset_1__743_19.min1.thm12017-02-06 12:45 2.5K 
[ ]poset_1__744_25.min1.thm12017-02-06 12:45 2.2K 
[ ]poset_1__745_16.min1.thm12017-02-06 12:45 2.5K 
[ ]poset_1__746_17.min1.thm12017-02-06 12:45 2.6K 
[ ]poset_1__757_56.min1.thm12017-02-06 12:45 1.6K 
[ ]poset_1__758_17.min1.thm12017-02-06 12:45 2.6K 
[ ]poset_1__779_18.min1.thm12017-02-06 12:45 380  
[ ]poset_1__779_18.min1.thm1.tptp2017-02-06 16:47 300  
[ ]poset_1__781_16.min1.thm12017-02-06 12:45 284  
[ ]poset_1__789_24.min1.thm12017-02-06 12:45 1.7K 
[ ]poset_1__805_23.min1.thm12017-02-06 12:45 3.6K 
[ ]poset_1__808_16.min1.thm12017-02-06 12:45 2.0K 
[ ]poset_1__822_39.min1.thm12017-02-06 12:45 350  
[ ]poset_1__822_39.min1.thm1.tptp2017-02-06 16:47 272  
[ ]poset_1__825_16.min1.thm12017-02-06 12:45 2.9K 
[ ]poset_1__826_13.min1.thm12017-02-06 12:45 2.9K 
[ ]poset_1__874_51.min1.thm12017-02-06 12:45 415  
[ ]poset_1__874_51.min1.thm1.tptp2017-02-06 16:47 341  
[ ]poset_1__887_61.min1.thm12017-02-06 12:45 2.2K 
[ ]poset_1__888_67.min1.thm12017-02-06 12:45 820  
[ ]poset_1__889_15.min1.thm12017-02-06 12:45 1.5K 
[ ]poset_1__907_15.min1.thm12017-02-06 12:45 2.7K 
[ ]poset_1__917_61.min1.thm12017-02-06 12:45 1.1K 
[ ]poset_1__925_20.min1.thm12017-02-06 12:45 2.5K 
[ ]poset_1__936_64.min1.thm12017-02-06 12:45 1.1K 
[ ]poset_1__940_38.min1.thm12017-02-06 12:45 1.1K 
[ ]poset_1__941_42.min1.thm12017-02-06 12:45 1.1K 
[ ]poset_1__942_23.min1.thm12017-02-06 12:45 1.5K 
[ ]poset_1__944_21.min1.thm12017-02-06 12:45 1.0K 
[ ]poset_1__959_27.min1.thm12017-02-06 12:45 1.1K 
[ ]poset_1__960_32.min1.thm12017-02-06 12:45 1.0K 
[ ]poset_1__973_63.min1.thm12017-02-06 12:45 1.1K 
[ ]poset_1__978_27.min1.thm12017-02-06 12:45 1.1K 
[ ]poset_1__979_35.min1.thm12017-02-06 12:45 1.1K 
[ ]poset_1__1018_52.min1.thm12017-02-06 12:45 756  
[ ]poset_1__1018_52.min1.thm1.tptp2017-02-06 16:47 679  
[ ]poset_1__1019_27.min1.thm12017-02-06 12:45 813  
[ ]poset_1__1020_18.min1.thm12017-02-06 12:45 369  
[ ]poset_1__1020_18.min1.thm1.tptp2017-02-06 16:47 283  
[ ]poset_1__1022_40.min1.thm12017-02-06 12:45 626  
[ ]poset_1__1029_23.min1.thm12017-02-06 12:45 972  
[ ]poset_1__1033_23.min1.thm12017-02-06 12:45 972  
[ ]poset_1__1035_40.min1.thm12017-02-06 12:45 1.6K 
[ ]poset_1__1041_26.min1.thm12017-02-06 12:45 2.2K 
[ ]poset_1__1047_26.min1.thm12017-02-06 12:45 2.2K 
[ ]poset_1__1054_39.min1.thm12017-02-06 12:45 509  
[ ]poset_1__1055_10.min1.thm12017-02-06 12:45 753  
[ ]poset_1__1056_21.min1.thm12017-02-06 12:45 1.2K 
[ ]poset_1__1058_32.min1.thm12017-02-06 12:45 1.0K 
[ ]poset_1__1059_41.min1.thm12017-02-06 12:45 1.0K 
[ ]poset_1__1060_39.min1.thm12017-02-06 12:45 862  
[ ]poset_1__1061_45.min1.thm12017-02-06 12:45 536  
[ ]poset_1__1065_52.min1.thm12017-02-06 12:45 2.2K 
[ ]poset_1__1066_65.min1.thm12017-02-06 12:45 870  
[ ]poset_1__1067_38.min1.thm12017-02-06 12:45 1.3K 
[ ]poset_1__1069_16.min1.thm12017-02-06 12:45 1.1K 
[ ]poset_1__1086_39.min1.thm12017-02-06 12:45 366  
[ ]poset_1__1086_39.min1.thm1.tptp2017-02-06 16:47 288  
[ ]poset_1__1087_54.min1.thm12017-02-06 12:45 1.9K 
[ ]poset_1__1090_17.min1.thm12017-02-06 12:45 1.6K 
[ ]poset_1__1094_51.min1.thm12017-02-06 12:45 2.7K 
[ ]poset_1__1095_16.min1.thm12017-02-06 12:45 1.3K 
[ ]poset_1__1095_16.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]poset_1__1110_46.min1.thm12017-02-06 12:45 374  
[ ]poset_1__1110_46.min1.thm1.tptp2017-02-06 16:47 296  
[ ]poset_1__1111_58.min1.thm12017-02-06 12:45 1.9K 
[ ]poset_1__1112_24.min1.thm12017-02-06 12:45 2.4K 
[ ]poset_1__1112_37.min1.thm12017-02-06 12:45 2.4K 
[ ]poset_1__1113_22.min1.thm12017-02-06 12:45 386  
[ ]poset_1__1117_18.min1.thm12017-02-06 12:45 2.5K 
[ ]poset_1__1124_45.min1.thm12017-02-06 12:45 1.8K 
[ ]poset_1__1133_53.min1.thm12017-02-06 12:45 1.8K 
[ ]poset_1__1134_55.min1.thm12017-02-06 12:45 1.8K 
[ ]poset_1__1135_42.min1.thm12017-02-06 12:45 1.0K 
[ ]poset_1__1136_19.min1.thm12017-02-06 12:45 3.5K 
[ ]poset_1__1137_18.min1.thm12017-02-06 12:45 3.5K 
[ ]poset_1__1138_33.min1.thm12017-02-06 12:45 1.0K 
[ ]poset_1__1146_29.min1.thm12017-02-06 12:45 1.0K 
[ ]poset_1__1147_41.min1.thm12017-02-06 12:45 1.3K 
[ ]poset_1__1150_23.min1.thm12017-02-06 12:45 1.6K 
[ ]poset_1__1151_23.min1.thm12017-02-06 12:45 1.9K 
[ ]poset_1__1153_29.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__1154_21.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__1156_16.min1.thm12017-02-06 12:45 860  
[ ]poset_1__1165_21.min1.thm12017-02-06 12:45 798  
[ ]poset_1__1167_19.min1.thm12017-02-06 12:45 900  
[ ]poset_1__1168_17.min1.thm12017-02-06 12:45 1.3K 
[ ]poset_1__1175_28.min1.thm12017-02-06 12:45 1.1K 
[ ]poset_1__1176_21.min1.thm12017-02-06 12:45 798  
[ ]poset_1__1177_16.min1.thm12017-02-06 12:45 1.3K 
[ ]poset_1__1183_57.min1.thm12017-02-06 12:45 2.3K 
[ ]poset_1__1191_21.min1.thm12017-02-06 12:45 3.3K 
[ ]poset_1__1199_24.min1.thm12017-02-06 12:45 1.0K 
[ ]poset_1__1200_51.min1.thm12017-02-06 12:45 2.9K 
[ ]poset_1__1207_46.min1.thm12017-02-06 12:45 1.7K 
[ ]poset_1__1208_39.min1.thm12017-02-06 12:45 754  
[ ]poset_1__1210_25.min1.thm12017-02-06 12:45 3.3K 
[ ]poset_1__1212_29.min1.thm12017-02-06 12:45 813  
[ ]poset_1__1213_26.min1.thm12017-02-06 12:45 1.7K 
[ ]poset_1__1214_23.min1.thm12017-02-06 12:45 2.6K 
[ ]poset_1__1215_26.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__1217_28.min1.thm12017-02-06 12:45 2.4K 
[ ]poset_1__1229_16.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__1237_60.min1.thm12017-02-06 12:45 2.4K 
[ ]poset_1__1249_67.min1.thm12017-02-06 12:45 2.2K 
[ ]poset_1__1250_16.min1.thm12017-02-06 12:45 1.9K 
[ ]poset_1__1258_48.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__1264_13.min1.thm12017-02-06 12:45 1.9K 
[ ]poset_1__1265_40.min1.thm12017-02-06 12:45 399  
[ ]poset_1__1265_40.min1.thm1.tptp2017-02-06 16:47 313  
[ ]poset_1__1273_56.min1.thm12017-02-06 12:45 1.9K 
[ ]poset_1__1274_21.min1.thm12017-02-06 12:45 3.5K 
[ ]poset_1__1275_23.min1.thm12017-02-06 12:45 1.6K 
[ ]poset_1__1289_75.min1.thm12017-02-06 12:45 2.2K 
[ ]poset_1__1291_31.min1.thm12017-02-06 12:45 856  
[ ]poset_1__1301_56.min1.thm12017-02-06 12:45 1.9K 
[ ]poset_1__1309_36.min1.thm12017-02-06 12:45 1.0K 
[ ]poset_1__1310_60.min1.thm12017-02-06 12:45 813  
[ ]poset_1__1317_29.min1.thm12017-02-06 12:45 1.5K 
[ ]poset_1__1318_25.min1.thm12017-02-06 12:45 3.6K 
[ ]poset_1__1326_16.min1.thm12017-02-06 12:45 512  
[ ]poset_1__1345_62.min1.thm12017-02-06 12:45 1.9K 
[ ]poset_1__1365_55.min1.thm12017-02-06 12:45 2.2K 
[ ]poset_1__1367_11.min1.thm12017-02-06 12:45 856  
[ ]poset_1__1375_23.min1.thm12017-02-06 12:45 1.2K 
[ ]poset_1__1383_17.min1.thm12017-02-06 12:45 1.9K 
[ ]poset_1__1394_8.min1.thm12017-02-06 12:45 1.1K 
[ ]poset_1__1396_18.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__1398_26.min1.thm12017-02-06 12:45 1.5K 
[ ]poset_1__1400_8.min1.thm12017-02-06 12:45 1.3K 
[ ]poset_1__1401_19.min1.thm12017-02-06 12:45 1.7K 
[ ]poset_1__1415_64.min1.thm12017-02-06 12:45 1.9K 
[ ]poset_1__1416_16.min1.thm12017-02-06 12:45 2.0K 
[ ]poset_1__1446_51.min1.thm12017-02-06 12:45 420  
[ ]poset_1__1446_51.min1.thm1.tptp2017-02-06 16:47 342  
[ ]poset_1__1447_56.min1.thm12017-02-06 12:45 1.2K 
[ ]poset_1__1449_17.min1.thm12017-02-06 12:45 2.6K 
[ ]poset_1__1456_16.min1.thm12017-02-06 12:45 1.6K 
[ ]poset_1__1456_16.min1.thm1.tptp2017-02-06 16:47 1.6K 
[ ]poset_1__1472_55.min1.thm12017-02-06 12:45 420  
[ ]poset_1__1472_55.min1.thm1.tptp2017-02-06 16:47 342  
[ ]poset_1__1473_56.min1.thm12017-02-06 12:45 1.2K 
[ ]poset_1__1476_18.min1.thm12017-02-06 12:45 374  
[ ]poset_1__1496_10.min1.thm12017-02-06 12:45 1.5K 
[ ]poset_1__1497_16.min1.thm12017-02-06 12:45 1.0K 
[ ]poset_1__1498_55.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__1499_16.min1.thm12017-02-06 12:45 1.0K 
[ ]poset_1__1500_55.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__1502_20.min1.thm12017-02-06 12:45 616  
[ ]poset_1__1520_33.min1.thm12017-02-06 12:45 2.1K 
[ ]poset_1__1521_58.min1.thm12017-02-06 12:45 2.9K 
[ ]poset_1__1522_21.min1.thm12017-02-06 12:45 2.0K 
[ ]poset_1__1548_16.min1.thm12017-02-06 12:45 1.1K 
[ ]poset_1__1548_16.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]poset_1__1572_18.min1.thm12017-02-06 12:45 791  
[ ]poset_1__1572_18.min1.thm1.tptp2017-02-06 16:47 723  
[ ]poset_1__1574_14.min1.thm12017-02-06 12:45 359  
[ ]poset_1__1591_42.min1.thm12017-02-06 12:45 474  
[ ]poset_1__1591_42.min1.thm1.tptp2017-02-06 16:47 397  
[ ]poset_1__1592_45.min1.thm12017-02-06 12:45 632  
[ ]poset_1__1593_52.min1.thm12017-02-06 12:45 1.1K 
[ ]poset_1__1594_57.min1.thm12017-02-06 12:45 2.0K 
[ ]poset_1__1599_44.min1.thm12017-02-06 12:45 1.3K 
[ ]poset_1__1600_16.min1.thm12017-02-06 12:45 794  
[ ]poset_1__1614_36.min1.thm12017-02-06 12:45 1.3K 
[ ]poset_1__1619_20.min1.thm12017-02-06 12:45 2.1K 
[ ]poset_1__1624_20.min1.thm12017-02-06 12:45 2.1K 
[ ]poset_1__1643_42.min1.thm12017-02-06 12:45 1.3K 
[ ]poset_1__1656_21.min1.thm12017-02-06 12:45 1.7K 
[ ]poset_1__1660_21.min1.thm12017-02-06 12:45 1.7K 
[ ]poset_1__1667_37.min1.thm12017-02-06 12:45 514  
[ ]poset_1__1668_8.min1.thm12017-02-06 12:45 733  
[ ]poset_1__1669_19.min1.thm12017-02-06 12:45 1.1K 
[ ]poset_1__1671_29.min1.thm12017-02-06 12:45 1.0K 
[ ]poset_1__1672_38.min1.thm12017-02-06 12:45 1.0K 
[ ]poset_1__1673_17.min1.thm12017-02-06 12:45 965  
[ ]poset_1__1687_34.min1.thm12017-02-06 12:45 713  
[ ]poset_1__1688_12.min1.thm12017-02-06 12:45 843  
[ ]poset_1__1689_16.min1.thm12017-02-06 12:45 1.8K 
[ ]poset_1__1703_51.min1.thm12017-02-06 12:45 1.8K 
[ ]poset_1__1704_51.min1.thm12017-02-06 12:45 788  
[ ]poset_1__1704_51.min1.thm1.tptp2017-02-06 16:47 702  
[ ]poset_1__1706_25.min1.thm12017-02-06 12:45 1.3K 
[ ]poset_1__1734_20.min1.thm12017-02-06 12:45 1.8K 
[ ]poset_1__1739_17.min1.thm12017-02-06 12:45 2.1K 
[ ]poset_1__1748_41.min1.thm12017-02-06 12:45 1.2K 
[ ]poset_1__1748_41.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]poset_1__1755_32.min1.thm12017-02-06 12:45 2.7K 
[ ]poset_1__1756_27.min1.thm12017-02-06 12:45 1.2K 
[ ]poset_1__1757_53.min1.thm12017-02-06 12:45 2.4K 
[ ]poset_1__1759_61.min1.thm12017-02-06 12:45 2.0K 
[ ]poset_1__1760_29.min1.thm12017-02-06 12:45 1.8K 
[ ]poset_1__1761_16.min1.thm12017-02-06 12:45 1.8K 
[ ]poset_1__1762_22.min1.thm12017-02-06 12:45 810  
[ ]poset_1__1769_62.min1.thm12017-02-06 12:45 432  
[ ]poset_1__1774_47.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__1784_42.min1.thm12017-02-06 12:45 639  
[ ]poset_1__1789_27.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__1824_58.min1.thm12017-02-06 12:45 2.0K 
[ ]poset_1__1831_55.min1.thm12017-02-06 12:45 1.4K 
[ ]poset_1__1832_60.min1.thm12017-02-06 12:45 2.7K 
[ ]poset_1__1833_38.min1.thm12017-02-06 12:45 2.0K 
[ ]poset_1__1834_33.min1.thm12017-02-06 12:45 846  
[ ]poset_1__1841_60.min1.thm12017-02-06 12:45 2.0K 
[ ]poset_1__1842_63.min1.thm12017-02-06 12:45 1.6K 
[ ]poset_1__1843_30.min1.thm12017-02-06 12:45 4.4K 
[ ]poset_1__1844_34.min1.thm12017-02-06 12:45 858  
[ ]poset_1__1853_51.min1.thm12017-02-06 12:45 1.0K 
[ ]poset_1__1859_44.min1.thm12017-02-06 12:45 1.9K 
[ ]poset_1__1860_66.min1.thm12017-02-06 12:45 960  
[ ]poset_1__1860_66.min1.thm1.tptp2017-02-06 16:47 874  
[ ]poset_1__1861_41.min1.thm12017-02-06 12:45 3.0K 
[ ]poset_1__1864_38.min1.thm12017-02-06 12:45 1.5K 
[ ]poset_1__1868_65.min1.thm12017-02-06 12:45 2.1K 
[ ]poset_1__1873_44.min1.thm12017-02-06 12:45 1.9K 
[ ]poset_1__1874_66.min1.thm12017-02-06 12:45 972  
[ ]poset_1__1874_66.min1.thm1.tptp2017-02-06 16:47 886  
[ ]poset_1__1875_43.min1.thm12017-02-06 12:45 3.0K 
[ ]poset_1__1878_38.min1.thm12017-02-06 12:45 1.5K 
[ ]poset_1__1883_29.min1.thm12017-02-06 12:45 1.5K 
[ ]poset_1__1886_40.min1.thm12017-02-06 12:45 1.3K 
[ ]poset_1__1887_25.min1.thm12017-02-06 12:45 1.3K 
[ ]poset_1__1891_21.min1.thm12017-02-06 12:45 1.0K 
[ ]poset_1__1894_26.min1.thm12017-02-06 12:45 1.3K 
[ ]poset_1__1898_20.min1.thm12017-02-06 12:45 2.1K 
[ ]poset_1__1900_15.min1.thm12017-02-06 12:45 1.0K 
[ ]poset_1__1900_15.min1.thm1.tptp2017-02-06 16:47 896  
[ ]poset_1__1908_8.min1.thm12017-02-06 12:45 1.2K 
[ ]poset_1__1908_8.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]poset_1__1910_38.min1.thm12017-02-06 12:45 1.5K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80