Index of /~mptp/1147/MPTP2/ilp0/polynom6
Name
Last modified
Size
Description
Parent Directory
-
polynom6__61_34.min1.thm1
2017-02-06 12:45
520
polynom6__61_34.min1.thm1.tptp
2017-02-06 16:47
445
polynom6__62_28.min1.thm1
2017-02-06 12:45
802
polynom6__63_34.min1.thm1
2017-02-06 12:45
520
polynom6__63_34.min1.thm1.tptp
2017-02-06 16:47
445
polynom6__65_26.min1.thm1
2017-02-06 12:45
641
polynom6__83_18.min1.thm1
2017-02-06 12:45
459
polynom6__83_18.min1.thm1.tptp
2017-02-06 16:47
397
polynom6__86_23.min1.thm1
2017-02-06 12:45
482
polynom6__87_23.min1.thm1
2017-02-06 12:45
1.2K
polynom6__91_52.min1.thm1
2017-02-06 12:45
478
polynom6__91_52.min1.thm1.tptp
2017-02-06 16:47
415
polynom6__92_23.min1.thm1
2017-02-06 12:45
648
polynom6__95_13.min1.thm1
2017-02-06 12:45
220
polynom6__98_47.min1.thm1
2017-02-06 12:45
491
polynom6__98_47.min1.thm1.tptp
2017-02-06 16:47
429
polynom6__99_20.min1.thm1
2017-02-06 12:45
454
polynom6__107_17.min1.thm1
2017-02-06 12:45
194
polynom6__114_40.min1.thm1
2017-02-06 12:45
694
polynom6__115_20.min1.thm1
2017-02-06 12:45
632
polynom6__117_32.min1.thm1
2017-02-06 12:45
850
polynom6__118_26.min1.thm1
2017-02-06 12:45
897
polynom6__119_24.min1.thm1
2017-02-06 12:45
972
polynom6__120_25.min1.thm1
2017-02-06 12:45
428
polynom6__120_25.min1.thm1.tptp
2017-02-06 16:47
366
polynom6__123_20.min1.thm1
2017-02-06 12:45
454
polynom6__126_17.min1.thm1
2017-02-06 12:45
458
polynom6__126_17.min1.thm1.tptp
2017-02-06 16:47
398
polynom6__132_14.min1.thm1
2017-02-06 12:45
675
polynom6__134_14.min1.thm1
2017-02-06 12:45
846
polynom6__151_21.min1.thm1
2017-02-06 12:45
750
polynom6__152_16.min1.thm1
2017-02-06 12:45
658
polynom6__153_19.min1.thm1
2017-02-06 12:45
884
polynom6__156_14.min1.thm1
2017-02-06 12:45
236
polynom6__157_19.min1.thm1
2017-02-06 12:45
354
polynom6__158_16.min1.thm1
2017-02-06 12:45
388
polynom6__172_13.min1.thm1
2017-02-06 12:45
190
polynom6__175_57.min1.thm1
2017-02-06 12:45
695
polynom6__178_37.min1.thm1
2017-02-06 12:45
371
polynom6__179_20.min1.thm1
2017-02-06 12:45
406
polynom6__180_21.min1.thm1
2017-02-06 12:45
923
polynom6__184_51.min1.thm1
2017-02-06 12:45
390
polynom6__194_38.min1.thm1
2017-02-06 12:45
710
polynom6__195_44.min1.thm1
2017-02-06 12:45
746
polynom6__196_20.min1.thm1
2017-02-06 12:45
743
polynom6__200_24.min1.thm1
2017-02-06 12:45
1.0K
polynom6__205_24.min1.thm1
2017-02-06 12:45
1.1K
polynom6__215_19.min1.thm1
2017-02-06 12:45
758
polynom6__216_26.min1.thm1
2017-02-06 12:45
910
polynom6__218_22.min1.thm1
2017-02-06 12:45
855
polynom6__225_56.min1.thm1
2017-02-06 12:45
770
polynom6__226_24.min1.thm1
2017-02-06 12:45
861
polynom6__228_21.min1.thm1
2017-02-06 12:45
955
polynom6__232_20.min1.thm1
2017-02-06 12:45
573
polynom6__232_20.min1.thm1.tptp
2017-02-06 16:47
511
polynom6__235_21.min1.thm1
2017-02-06 12:45
1.0K
polynom6__235_21.min1.thm1.tptp
2017-02-06 16:47
1.0K
polynom6__236_32.min1.thm1
2017-02-06 12:45
1.8K
polynom6__237_25.min1.thm1
2017-02-06 12:45
719
polynom6__241_54.min1.thm1
2017-02-06 12:45
766
polynom6__244_19.min1.thm1
2017-02-06 12:45
857
polynom6__245_38.min1.thm1
2017-02-06 12:45
572
polynom6__246_20.min1.thm1
2017-02-06 12:45
733
polynom6__248_21.min1.thm1
2017-02-06 12:45
236
polynom6__251_31.min1.thm1
2017-02-06 12:45
388
polynom6__251_31.min1.thm1.tptp
2017-02-06 16:47
310
polynom6__255_29.min1.thm1
2017-02-06 12:45
778
polynom6__256_34.min1.thm1
2017-02-06 12:45
763
polynom6__259_21.min1.thm1
2017-02-06 12:45
1.0K
polynom6__259_21.min1.thm1.tptp
2017-02-06 16:47
1.0K
polynom6__260_38.min1.thm1
2017-02-06 12:45
1.1K
polynom6__261_34.min1.thm1
2017-02-06 12:45
2.3K
polynom6__262_24.min1.thm1
2017-02-06 12:45
1.5K
polynom6__263_25.min1.thm1
2017-02-06 12:45
683
polynom6__266_25.min1.thm1
2017-02-06 12:45
1.4K
polynom6__269_28.min1.thm1
2017-02-06 12:45
2.3K
polynom6__275_22.min1.thm1
2017-02-06 12:45
855
polynom6__276_40.min1.thm1
2017-02-06 12:45
710
polynom6__278_47.min1.thm1
2017-02-06 12:45
1.0K
polynom6__278_47.min1.thm1.tptp
2017-02-06 16:47
1.0K
polynom6__279_20.min1.thm1
2017-02-06 12:45
743
polynom6__282_25.min1.thm1
2017-02-06 12:45
1.9K
polynom6__286_25.min1.thm1
2017-02-06 12:45
2.0K
polynom6__289_54.min1.thm1
2017-02-06 12:45
1.5K
polynom6__296_25.min1.thm1
2017-02-06 12:45
484
polynom6__298_44.min1.thm1
2017-02-06 12:45
2.1K
polynom6__299_23.min1.thm1
2017-02-06 12:45
752
polynom6__299_23.min1.thm1.tptp
2017-02-06 16:47
687
polynom6__304_40.min1.thm1
2017-02-06 12:45
1.6K
polynom6__305_21.min1.thm1
2017-02-06 12:45
834
polynom6__305_21.min1.thm1.tptp
2017-02-06 16:47
769
polynom6__320_34.min1.thm1
2017-02-06 12:45
794
polynom6__321_21.min1.thm1
2017-02-06 12:45
480
polynom6__322_43.min1.thm1
2017-02-06 12:45
583
polynom6__323_19.min1.thm1
2017-02-06 12:45
905
polynom6__324_18.min1.thm1
2017-02-06 12:45
1.0K
polynom6__327_26.min1.thm1
2017-02-06 12:45
821
polynom6__328_19.min1.thm1
2017-02-06 12:45
821
polynom6__332_32.min1.thm1
2017-02-06 12:45
906
polynom6__333_19.min1.thm1
2017-02-06 12:45
906
polynom6__336_22.min1.thm1
2017-02-06 12:45
1.7K
polynom6__337_20.min1.thm1
2017-02-06 12:45
2.3K
polynom6__347_54.min1.thm1
2017-02-06 12:45
1.4K
polynom6__349_17.min1.thm1
2017-02-06 12:45
1.9K
polynom6__359_54.min1.thm1
2017-02-06 12:45
1.4K
polynom6__364_35.min1.thm1
2017-02-06 12:45
471
polynom6__365_18.min1.thm1
2017-02-06 12:45
440
polynom6__366_25.min1.thm1
2017-02-06 12:45
665
polynom6__369_17.min1.thm1
2017-02-06 12:45
1.9K
polynom6__386_39.min1.thm1
2017-02-06 12:45
571
polynom6__389_18.min1.thm1
2017-02-06 12:45
353
polynom6__389_18.min1.thm1.tptp
2017-02-06 16:47
271
polynom6__392_25.min1.thm1
2017-02-06 12:45
2.5K
polynom6__393_27.min1.thm1
2017-02-06 12:45
410
polynom6__393_27.min1.thm1.tptp
2017-02-06 16:47
327
polynom6__400_39.min1.thm1
2017-02-06 12:45
571
polynom6__401_20.min1.thm1
2017-02-06 12:45
490
polynom6__403_24.min1.thm1
2017-02-06 12:45
766
polynom6__404_24.min1.thm1
2017-02-06 12:45
852
polynom6__405_36.min1.thm1
2017-02-06 12:45
740
polynom6__408_21.min1.thm1
2017-02-06 12:45
664
polynom6__411_25.min1.thm1
2017-02-06 12:45
2.5K
polynom6__412_27.min1.thm1
2017-02-06 12:45
410
polynom6__412_27.min1.thm1.tptp
2017-02-06 16:47
327
polynom6__425_39.min1.thm1
2017-02-06 12:45
894
polynom6__429_21.min1.thm1
2017-02-06 12:45
1.5K
polynom6__433_19.min1.thm1
2017-02-06 12:45
642
polynom6__433_19.min1.thm1.tptp
2017-02-06 16:47
559
polynom6__442_11.min1.thm1
2017-02-06 12:45
191
polynom6__445_50.min1.thm1
2017-02-06 12:45
1.1K
polynom6__446_44.min1.thm1
2017-02-06 12:45
768
polynom6__449_18.min1.thm1
2017-02-06 12:45
2.5K
polynom6__453_49.min1.thm1
2017-02-06 12:45
324
polynom6__453_49.min1.thm1.tptp
2017-02-06 16:47
234
polynom6__459_22.min1.thm1
2017-02-06 12:45
1.7K
polynom6__460_29.min1.thm1
2017-02-06 12:45
1.7K
polynom6__461_34.min1.thm1
2017-02-06 12:45
1.8K
polynom6__464_21.min1.thm1
2017-02-06 12:45
1.5K
polynom6__467_23.min1.thm1
2017-02-06 12:45
825
polynom6__468_27.min1.thm1
2017-02-06 12:45
1.2K
polynom6__469_29.min1.thm1
2017-02-06 12:45
2.8K
polynom6__470_52.min1.thm1
2017-02-06 12:45
1.4K
polynom6__483_18.min1.thm1
2017-02-06 12:45
1.4K
polynom6__489_43.min1.thm1
2017-02-06 12:45
346
polynom6__489_43.min1.thm1.tptp
2017-02-06 16:47
268
polynom6__491_17.min1.thm1
2017-02-06 12:45
425
polynom6__500_17.min1.thm1
2017-02-06 12:45
669
polynom6__501_24.min1.thm1
2017-02-06 12:45
821
polynom6__502_49.min1.thm1
2017-02-06 12:45
901
polynom6__503_22.min1.thm1
2017-02-06 12:45
1.1K
polynom6__505_28.min1.thm1
2017-02-06 12:45
1.4K
polynom6__506_54.min1.thm1
2017-02-06 12:45
966
polynom6__507_33.min1.thm1
2017-02-06 12:45
1.0K
polynom6__508_21.min1.thm1
2017-02-06 12:45
1.8K
polynom6__515_47.min1.thm1
2017-02-06 12:45
821
polynom6__516_16.min1.thm1
2017-02-06 12:45
741
polynom6__517_29.min1.thm1
2017-02-06 12:45
738
polynom6__518_18.min1.thm1
2017-02-06 12:45
1.6K
polynom6__520_24.min1.thm1
2017-02-06 12:45
1.4K
polynom6__522_31.min1.thm1
2017-02-06 12:45
1.3K
polynom6__523_51.min1.thm1
2017-02-06 12:45
1.3K
polynom6__529_18.min1.thm1
2017-02-06 12:45
639
polynom6__532_39.min1.thm1
2017-02-06 12:45
502
polynom6__533_22.min1.thm1
2017-02-06 12:45
1.6K
polynom6__534_28.min1.thm1
2017-02-06 12:45
1.7K
polynom6__536_30.min1.thm1
2017-02-06 12:45
616
polynom6__536_30.min1.thm1.tptp
2017-02-06 16:47
534
polynom6__540_39.min1.thm1
2017-02-06 12:45
873
polynom6__541_23.min1.thm1
2017-02-06 12:45
1.4K
polynom6__542_23.min1.thm1
2017-02-06 12:45
665
polynom6__543_24.min1.thm1
2017-02-06 12:45
555
polynom6__544_39.min1.thm1
2017-02-06 12:45
906
polynom6__545_27.min1.thm1
2017-02-06 12:45
841
polynom6__547_30.min1.thm1
2017-02-06 12:45
616
polynom6__547_30.min1.thm1.tptp
2017-02-06 16:47
534
polynom6__565_37.min1.thm1
2017-02-06 12:45
478
polynom6__569_18.min1.thm1
2017-02-06 12:45
2.0K
polynom6__574_37.min1.thm1
2017-02-06 12:45
478
polynom6__575_21.min1.thm1
2017-02-06 12:45
473
polynom6__576_19.min1.thm1
2017-02-06 12:45
490
polynom6__578_23.min1.thm1
2017-02-06 12:45
768
polynom6__579_23.min1.thm1
2017-02-06 12:45
759
polynom6__581_30.min1.thm1
2017-02-06 12:45
743
polynom6__585_17.min1.thm1
2017-02-06 12:45
2.0K
polynom6__614_57.min1.thm1
2017-02-06 12:45
1.1K
polynom6__631_30.min1.thm1
2017-02-06 12:45
1.7K
polynom6__635_30.min1.thm1
2017-02-06 12:45
1.7K
polynom6__636_19.min1.thm1
2017-02-06 12:45
1.2K
polynom6__664_21.min1.thm1
2017-02-06 12:45
1.9K
polynom6__670_64.min1.thm1
2017-02-06 12:45
823
polynom6__710_21.min1.thm1
2017-02-06 12:45
2.2K
polynom6__722_26.min1.thm1
2017-02-06 12:45
1.3K
polynom6__724_21.min1.thm1
2017-02-06 12:45
708
polynom6__733_20.min1.thm1
2017-02-06 12:45
1.0K
polynom6__733_20.min1.thm1.tptp
2017-02-06 16:47
916
polynom6__738_39.min1.thm1
2017-02-06 12:45
777
polynom6__752_56.min1.thm1
2017-02-06 12:45
244
polynom6__770_23.min1.thm1
2017-02-06 12:45
645
polynom6__776_15.min1.thm1
2017-02-06 12:45
559
polynom6__776_15.min1.thm1.tptp
2017-02-06 16:47
504
polynom6__780_24.min1.thm1
2017-02-06 12:45
2.2K
polynom6__786_24.min1.thm1
2017-02-06 12:45
1.1K
polynom6__797_27.min1.thm1
2017-02-06 12:45
2.3K
polynom6__799_29.min1.thm1
2017-02-06 12:45
643
polynom6__800_50.min1.thm1
2017-02-06 12:45
2.1K
polynom6__813_16.min1.thm1
2017-02-06 12:45
433
polynom6__814_22.min1.thm1
2017-02-06 12:45
492
polynom6__856_45.min1.thm1
2017-02-06 12:45
1.8K
polynom6__858_21.min1.thm1
2017-02-06 12:45
1.3K
polynom6__861_16.min1.thm1
2017-02-06 12:45
619
polynom6__864_37.min1.thm1
2017-02-06 12:45
486
polynom6__870_37.min1.thm1
2017-02-06 12:45
857
polynom6__872_43.min1.thm1
2017-02-06 12:45
2.5K
polynom6__884_48.min1.thm1
2017-02-06 12:45
1.3K
polynom6__886_18.min1.thm1
2017-02-06 12:45
1.1K
polynom6__887_39.min1.thm1
2017-02-06 12:45
1.8K
polynom6__888_39.min1.thm1
2017-02-06 12:45
1.8K
polynom6__896_35.min1.thm1
2017-02-06 12:45
478
polynom6__898_19.min1.thm1
2017-02-06 12:45
490
polynom6__900_23.min1.thm1
2017-02-06 12:45
768
polynom6__903_23.min1.thm1
2017-02-06 12:45
759
polynom6__905_30.min1.thm1
2017-02-06 12:45
743
polynom6__915_35.min1.thm1
2017-02-06 12:45
478
polynom6__920_17.min1.thm1
2017-02-06 12:45
2.6K
polynom6__943_18.min1.thm1
2017-02-06 12:45
621
polynom6__946_45.min1.thm1
2017-02-06 12:45
1.8K
polynom6__953_40.min1.thm1
2017-02-06 12:45
825
polynom6__954_20.min1.thm1
2017-02-06 12:45
647
polynom6__965_22.min1.thm1
2017-02-06 12:45
555
polynom6__966_23.min1.thm1
2017-02-06 12:45
519
polynom6__968_26.min1.thm1
2017-02-06 12:45
804
polynom6__972_25.min1.thm1
2017-02-06 12:45
522
polynom6__974_29.min1.thm1
2017-02-06 12:45
800
polynom6__977_37.min1.thm1
2017-02-06 12:45
912
polynom6__978_36.min1.thm1
2017-02-06 12:45
1.6K
polynom6__980_36.min1.thm1
2017-02-06 12:45
791
polynom6__983_22.min1.thm1
2017-02-06 12:45
571
polynom6__985_22.min1.thm1
2017-02-06 12:45
571
polynom6__986_25.min1.thm1
2017-02-06 12:45
1.8K
polynom6__990_24.min1.thm1
2017-02-06 12:45
557
polynom6__992_20.min1.thm1
2017-02-06 12:45
523
polynom6__996_41.min1.thm1
2017-02-06 12:45
510
polynom6__998_25.min1.thm1
2017-02-06 12:45
1.9K
polynom6__1000_24.min1.thm1
2017-02-06 12:45
2.0K
polynom6__1006_16.min1.thm1
2017-02-06 12:45
692
polynom6__1013_15.min1.thm1
2017-02-06 12:45
259
polynom6__1025_25.min1.thm1
2017-02-06 12:45
659
polynom6__1027_25.min1.thm1
2017-02-06 12:45
1.1K
polynom6__1044_19.min1.thm1
2017-02-06 12:45
249
polynom6__1052_27.min1.thm1
2017-02-06 12:45
563
polynom6__1053_38.min1.thm1
2017-02-06 12:45
1.1K
polynom6__1055_25.min1.thm1
2017-02-06 12:45
688
polynom6__1056_32.min1.thm1
2017-02-06 12:45
727
polynom6__1057_31.min1.thm1
2017-02-06 12:45
969
polynom6__1059_33.min1.thm1
2017-02-06 12:45
713
polynom6__1061_32.min1.thm1
2017-02-06 12:45
869
polynom6__1065_22.min1.thm1
2017-02-06 12:45
514
polynom6__1067_26.min1.thm1
2017-02-06 12:45
792
polynom6__1068_23.min1.thm1
2017-02-06 12:45
503
polynom6__1069_26.min1.thm1
2017-02-06 12:45
722
polynom6__1071_33.min1.thm1
2017-02-06 12:45
781
polynom6__1077_16.min1.thm1
2017-02-06 12:45
930
polynom6__1097_59.min1.thm1
2017-02-06 12:45
1.0K
polynom6__1105_22.min1.thm1
2017-02-06 12:45
2.5K
polynom6__1108_18.min1.thm1
2017-02-06 12:45
917
polynom6__1110_17.min1.thm1
2017-02-06 12:45
930
polynom6__1111_59.min1.thm1
2017-02-06 12:45
1.6K
polynom6__1112_25.min1.thm1
2017-02-06 12:45
844
polynom6__1115_25.min1.thm1
2017-02-06 12:45
1.9K
polynom6__1124_18.min1.thm1
2017-02-06 12:45
1.6K
polynom6__1140_26.min1.thm1
2017-02-06 12:45
1.5K
polynom6__1141_26.min1.thm1
2017-02-06 12:45
1.1K
polynom6__1143_29.min1.thm1
2017-02-06 12:45
2.8K
polynom6__1160_35.min1.thm1
2017-02-06 12:45
1.7K
polynom6__1164_28.min1.thm1
2017-02-06 12:45
1.5K
polynom6__1165_30.min1.thm1
2017-02-06 12:45
1.1K
polynom6__1167_30.min1.thm1
2017-02-06 12:45
2.8K
polynom6__1169_32.min1.thm1
2017-02-06 12:45
3.1K
polynom6__1185_34.min1.thm1
2017-02-06 12:45
1.7K
polynom6__1189_27.min1.thm1
2017-02-06 12:45
1.5K
polynom6__1190_28.min1.thm1
2017-02-06 12:45
1.1K
polynom6__1192_30.min1.thm1
2017-02-06 12:45
2.8K
polynom6__1194_32.min1.thm1
2017-02-06 12:45
3.1K
polynom6__1197_28.min1.thm1
2017-02-06 12:45
2.2K
polynom6__1205_50.min1.thm1
2017-02-06 12:45
4.4K
polynom6__1211_20.min1.thm1
2017-02-06 12:45
2.8K
polynom6__1218_29.min1.thm1
2017-02-06 12:45
3.3K
polynom6__1219_18.min1.thm1
2017-02-06 12:45
1.6K
polynom6__1237_27.min1.thm1
2017-02-06 12:45
1.5K
polynom6__1238_28.min1.thm1
2017-02-06 12:45
1.1K
polynom6__1240_29.min1.thm1
2017-02-06 12:45
2.8K
polynom6__1243_21.min1.thm1
2017-02-06 12:45
2.8K
polynom6__1250_29.min1.thm1
2017-02-06 12:45
3.4K
polynom6__1256_20.min1.thm1
2017-02-06 12:45
890
polynom6__1263_18.min1.thm1
2017-02-06 12:45
1.8K
polynom6__1265_29.min1.thm1
2017-02-06 12:45
1.0K
polynom6__1266_63.min1.thm1
2017-02-06 12:45
1.6K
polynom6__1270_67.min1.thm1
2017-02-06 12:45
2.5K
polynom6__1271_24.min1.thm1
2017-02-06 12:45
1.1K
polynom6__1273_24.min1.thm1
2017-02-06 12:45
1.1K
polynom6__1274_18.min1.thm1
2017-02-06 12:45
1.8K
polynom6__1276_25.min1.thm1
2017-02-06 12:45
1.2K
polynom6__1278_31.min1.thm1
2017-02-06 12:45
2.6K
polynom6__1281_62.min1.thm1
2017-02-06 12:45
3.3K
polynom6__1287_26.min1.thm1
2017-02-06 12:45
782
polynom6__1292_65.min1.thm1
2017-02-06 12:45
2.6K
polynom6__1301_38.min1.thm1
2017-02-06 12:45
1.5K
polynom6__1307_38.min1.thm1
2017-02-06 12:45
1.5K
polynom6__1308_18.min1.thm1
2017-02-06 12:45
466
polynom6__1316_22.min1.thm1
2017-02-06 12:45
2.3K
polynom6__1327_22.min1.thm1
2017-02-06 12:45
2.3K
polynom6__1331_21.min1.thm1
2017-02-06 12:45
1.9K
polynom6__1332_19.min1.thm1
2017-02-06 12:45
2.9K
polynom6__1335_19.min1.thm1
2017-02-06 12:45
3.2K
polynom6__1345_41.min1.thm1
2017-02-06 12:45
1.5K
polynom6__1353_41.min1.thm1
2017-02-06 12:45
1.5K
polynom6__1374_39.min1.thm1
2017-02-06 12:45
1.5K
polynom6__1376_22.min1.thm1
2017-02-06 12:45
3.0K
polynom6__1378_24.min1.thm1
2017-02-06 12:45
900
polynom6__1382_26.min1.thm1
2017-02-06 12:45
1.6K
polynom6__1383_41.min1.thm1
2017-02-06 12:45
1.5K
polynom6__1384_24.min1.thm1
2017-02-06 12:45
1.4K
polynom6__1386_29.min1.thm1
2017-02-06 12:45
2.8K
polynom6__1387_36.min1.thm1
2017-02-06 12:45
3.1K
polynom6__1388_23.min1.thm1
2017-02-06 12:45
2.9K
polynom6__1390_25.min1.thm1
2017-02-06 12:45
900
polynom6__1391_24.min1.thm1
2017-02-06 12:45
2.1K
polynom6__1402_21.min1.thm1
2017-02-06 12:45
2.1K
polynom6__1403_16.min1.thm1
2017-02-06 12:45
1.7K
polynom6__1407_39.min1.thm1
2017-02-06 12:45
2.3K
polynom6__1416_30.min1.thm1
2017-02-06 12:45
2.1K
polynom6__1419_29.min1.thm1
2017-02-06 12:45
2.5K
polynom6__1420_33.min1.thm1
2017-02-06 12:45
2.6K
polynom6__1423_23.min1.thm1
2017-02-06 12:45
2.0K
polynom6__1424_39.min1.thm1
2017-02-06 12:45
2.3K
polynom6__1428_26.min1.thm1
2017-02-06 12:45
2.1K
polynom6__1431_51.min1.thm1
2017-02-06 12:45
2.3K
polynom6__1437_44.min1.thm1
2017-02-06 12:45
1.7K
polynom6__1505_19.min1.thm1
2017-02-06 12:45
1.3K
polynom6__1507_21.min1.thm1
2017-02-06 12:45
1.1K
polynom6__1508_47.min1.thm1
2017-02-06 12:45
777
polynom6__1509_61.min1.thm1
2017-02-06 12:45
1.0K
polynom6__1510_75.min1.thm1
2017-02-06 12:45
718
polynom6__1513_27.min1.thm1
2017-02-06 12:45
1.8K
polynom6__1519_17.min1.thm1
2017-02-06 12:45
863
polynom6__1525_49.min1.thm1
2017-02-06 12:45
886
polynom6__1527_28.min1.thm1
2017-02-06 12:45
1.9K
polynom6__1533_18.min1.thm1
2017-02-06 12:45
2.0K
polynom6__1535_21.min1.thm1
2017-02-06 12:45
350
polynom6__1536_18.min1.thm1
2017-02-06 12:45
1.4K
polynom6__1542_26.min1.thm1
2017-02-06 12:45
1.6K
polynom6__1543_15.min1.thm1
2017-02-06 12:45
1.2K
polynom6__1544_20.min1.thm1
2017-02-06 12:45
1.6K
polynom6__1545_39.min1.thm1
2017-02-06 12:45
2.4K
polynom6__1553_39.min1.thm1
2017-02-06 12:45
2.4K
polynom6__1565_18.min1.thm1
2017-02-06 12:45
581
polynom6__1567_22.min1.thm1
2017-02-06 12:45
1.5K
polynom6__1587_24.min1.thm1
2017-02-06 12:45
1.2K
polynom6__1590_36.min1.thm1
2017-02-06 12:45
2.4K
polynom6__1600_26.min1.thm1
2017-02-06 12:45
1.6K
polynom6__1602_30.min1.thm1
2017-02-06 12:45
2.5K
polynom6__1603_25.min1.thm1
2017-02-06 12:45
1.7K
polynom6__1615_19.min1.thm1
2017-02-06 12:45
2.9K
polynom6__1617_41.min1.thm1
2017-02-06 12:45
2.5K
polynom6__1618_73.min1.thm1
2017-02-06 12:45
893
polynom6__1624_36.min1.thm1
2017-02-06 12:45
2.4K
polynom6__1625_33.min1.thm1
2017-02-06 12:45
1.5K
polynom6__1628_39.min1.thm1
2017-02-06 12:45
2.4K
polynom6__1661_38.min1.thm1
2017-02-06 12:45
2.1K
polynom6__1671_9.min1.thm1
2017-02-06 12:45
2.8K
polynom6__1679_25.min1.thm1
2017-02-06 12:45
1.5K
polynom6__1692_22.min1.thm1
2017-02-06 12:45
1.5K
polynom6__1693_22.min1.thm1
2017-02-06 12:45
1.6K
polynom6__1725_16.min1.thm1
2017-02-06 12:45
502
polynom6__1729_35.min1.thm1
2017-02-06 12:45
1.1K
polynom6__1735_44.min1.thm1
2017-02-06 12:45
683
polynom6__1735_44.min1.thm1.tptp
2017-02-06 16:47
595
polynom6__1743_53.min1.thm1
2017-02-06 12:45
1.4K
polynom6__1760_32.min1.thm1
2017-02-06 12:45
1.5K
polynom6__1771_23.min1.thm1
2017-02-06 12:45
2.7K
polynom6__1778_44.min1.thm1
2017-02-06 12:45
683
polynom6__1778_44.min1.thm1.tptp
2017-02-06 16:47
595
polynom6__1793_51.min1.thm1
2017-02-06 12:45
1.4K
polynom6__1796_32.min1.thm1
2017-02-06 12:45
1.5K
polynom6__1809_23.min1.thm1
2017-02-06 12:45
1.1K
polynom6__1810_53.min1.thm1
2017-02-06 12:45
725
polynom6__1813_62.min1.thm1
2017-02-06 12:45
1.2K
polynom6__1819_37.min1.thm1
2017-02-06 12:45
964
polynom6__1820_45.min1.thm1
2017-02-06 12:45
679
polynom6__1824_55.min1.thm1
2017-02-06 12:45
805
polynom6__1828_22.min1.thm1
2017-02-06 12:45
813
polynom6__1829_27.min1.thm1
2017-02-06 12:45
1.4K
polynom6__1833_42.min1.thm1
2017-02-06 12:45
1.0K
polynom6__1834_32.min1.thm1
2017-02-06 12:45
2.2K
polynom6__1836_36.min1.thm1
2017-02-06 12:45
1.6K
polynom6__1837_31.min1.thm1
2017-02-06 12:45
1.1K
polynom6__1850_34.min1.thm1
2017-02-06 12:45
1.9K
polynom6__1864_36.min1.thm1
2017-02-06 12:45
2.8K
polynom6__1870_24.min1.thm1
2017-02-06 12:45
1.1K
polynom6__1870_24.min1.thm1.tptp
2017-02-06 16:47
1.1K
polynom6__1876_60.min1.thm1
2017-02-06 12:45
810
polynom6__1878_49.min1.thm1
2017-02-06 12:45
1.0K
polynom6__1879_45.min1.thm1
2017-02-06 12:45
635
polynom6__1890_27.min1.thm1
2017-02-06 12:45
1.4K
polynom6__1891_60.min1.thm1
2017-02-06 12:45
693
polynom6__1894_26.min1.thm1
2017-02-06 12:45
1.7K
polynom6__1903_25.min1.thm1
2017-02-06 12:45
1.7K
polynom6__1913_26.min1.thm1
2017-02-06 12:45
1.8K
polynom6__1920_30.min1.thm1
2017-02-06 12:45
1.1K
polynom6__1926_27.min1.thm1
2017-02-06 12:45
1.2K
polynom6__1927_25.min1.thm1
2017-02-06 12:45
1.6K
polynom6__1930_40.min1.thm1
2017-02-06 12:45
1.8K
polynom6__1934_30.min1.thm1
2017-02-06 12:45
1.9K
polynom6__1935_32.min1.thm1
2017-02-06 12:45
3.8K
polynom6__1939_23.min1.thm1
2017-02-06 12:45
1.8K
polynom6__1941_36.min1.thm1
2017-02-06 12:45
1.2K
polynom6__1965_22.min1.thm1
2017-02-06 12:45
738
polynom6__1980_34.min1.thm1
2017-02-06 12:45
1.9K
polynom6__1984_51.min1.thm1
2017-02-06 12:45
1.6K
polynom6__1992_36.min1.thm1
2017-02-06 12:45
2.8K
polynom6__1996_55.min1.thm1
2017-02-06 12:45
1.7K
polynom6__2001_24.min1.thm1
2017-02-06 12:45
2.3K
polynom6__2007_68.min1.thm1
2017-02-06 12:45
960
polynom6__2011_19.min1.thm1
2017-02-06 12:45
260
polynom6__2012_45.min1.thm1
2017-02-06 12:45
1.7K
polynom6__2023_27.min1.thm1
2017-02-06 12:45
1.5K
polynom6__2030_21.min1.thm1
2017-02-06 12:45
1.6K
polynom6__2032_33.min1.thm1
2017-02-06 12:45
2.3K
polynom6__2044_23.min1.thm1
2017-02-06 12:45
3.5K
polynom6__2052_35.min1.thm1
2017-02-06 12:45
3.5K
polynom6__2066_65.min1.thm1
2017-02-06 12:45
823
polynom6__2073_26.min1.thm1
2017-02-06 12:45
2.1K
polynom6__2074_19.min1.thm1
2017-02-06 12:45
957
polynom6__2082_24.min1.thm1
2017-02-06 12:45
3.8K
polynom6__2087_17.min1.thm1
2017-02-06 12:45
2.3K
polynom6__2089_36.min1.thm1
2017-02-06 12:45
3.1K
polynom6__2094_27.min1.thm1
2017-02-06 12:45
1.6K
polynom6__2114_63.min1.thm1
2017-02-06 12:45
2.1K
polynom6__2115_43.min1.thm1
2017-02-06 12:45
2.8K
polynom6__2121_61.min1.thm1
2017-02-06 12:45
1.9K
polynom6__2144_19.min1.thm1
2017-02-06 12:45
2.4K
polynom6__2148_43.min1.thm1
2017-02-06 12:45
2.5K
polynom6__2154_19.min1.thm1
2017-02-06 12:45
2.4K
polynom6__2158_35.min1.thm1
2017-02-06 12:45
2.2K
polynom6__2159_21.min1.thm1
2017-02-06 12:45
2.4K
polynom6__2161_26.min1.thm1
2017-02-06 12:45
6.0K
polynom6__2163_40.min1.thm1
2017-02-06 12:45
807
polynom6__2173_21.min1.thm1
2017-02-06 12:45
2.4K
polynom6__2175_26.min1.thm1
2017-02-06 12:45
6.0K
polynom6__2176_24.min1.thm1
2017-02-06 12:45
1.4K
polynom6__2194_13.min1.thm1
2017-02-06 12:45
2.2K
polynom6__2205_21.min1.thm1
2017-02-06 12:45
923
polynom6__2205_21.min1.thm1.tptp
2017-02-06 16:47
841
polynom6__2212_17.min1.thm1
2017-02-06 12:45
1.7K
polynom6__2217_25.min1.thm1
2017-02-06 12:45
2.3K
polynom6__2220_25.min1.thm1
2017-02-06 12:45
935
polynom6__2220_25.min1.thm1.tptp
2017-02-06 16:47
853
polynom6__2227_29.min1.thm1
2017-02-06 12:45
2.4K
polynom6__2229_25.min1.thm1
2017-02-06 12:45
935
polynom6__2229_25.min1.thm1.tptp
2017-02-06 16:47
853
polynom6__2232_18.min1.thm1
2017-02-06 12:45
726
polynom6__2243_46.min1.thm1
2017-02-06 12:45
1.5K
polynom6__2245_46.min1.thm1
2017-02-06 12:45
1.5K
polynom6__2250_28.min1.thm1
2017-02-06 12:45
1.9K
polynom6__2251_54.min1.thm1
2017-02-06 12:45
3.5K
polynom6__2252_28.min1.thm1
2017-02-06 12:45
1.9K
polynom6__2253_54.min1.thm1
2017-02-06 12:45
3.5K
polynom6__2282_36.min1.thm1
2017-02-06 12:45
1.1K
polynom6__2299_45.min1.thm1
2017-02-06 12:45
436
polynom6__2299_45.min1.thm1.tptp
2017-02-06 16:47
353
polynom6__2301_25.min1.thm1
2017-02-06 12:45
488
polynom6__2302_17.min1.thm1
2017-02-06 12:45
1.8K
polynom6__2313_45.min1.thm1
2017-02-06 12:45
436
polynom6__2313_45.min1.thm1.tptp
2017-02-06 16:47
353
polynom6__2327_44.min1.thm1
2017-02-06 12:45
657
polynom6__2334_47.min1.thm1
2017-02-06 12:45
444
polynom6__2334_47.min1.thm1.tptp
2017-02-06 16:47
361
polynom6__2336_27.min1.thm1
2017-02-06 12:45
504
polynom6__2337_19.min1.thm1
2017-02-06 12:45
1.8K
polynom6__2362_35.min1.thm1
2017-02-06 12:45
593
polynom6__2362_35.min1.thm1.tptp
2017-02-06 16:47
518
polynom6__2364_18.min1.thm1
2017-02-06 12:45
328
polynom6__2364_18.min1.thm1.tptp
2017-02-06 16:47
246
polynom6__2373_58.min1.thm1
2017-02-06 12:45
761
polynom6__2383_37.min1.thm1
2017-02-06 12:45
1.7K
polynom6__2409_65.min1.thm1
2017-02-06 12:45
1.9K
polynom6__2414_15.min1.thm1
2017-02-06 12:45
1.9K
polynom6__2415_32.min1.thm1
2017-02-06 12:45
3.0K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80