Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/polynom2
Name
Last modified
Size
Description
Parent Directory
-
polynom2__52_18.min1.thm1
2017-02-06 12:45
547
polynom2__52_18.min1.thm1.tptp
2017-02-06 16:47
477
polynom2__53_33.min1.thm1
2017-02-06 12:45
772
polynom2__56_18.min1.thm1
2017-02-06 12:45
1.5K
polynom2__57_25.min1.thm1
2017-02-06 12:45
772
polynom2__60_28.min1.thm1
2017-02-06 12:45
1.6K
polynom2__61_24.min1.thm1
2017-02-06 12:45
771
polynom2__62_57.min1.thm1
2017-02-06 12:45
1.3K
polynom2__81_18.min1.thm1
2017-02-06 12:45
547
polynom2__81_18.min1.thm1.tptp
2017-02-06 16:47
477
polynom2__83_26.min1.thm1
2017-02-06 12:45
771
polynom2__84_25.min1.thm1
2017-02-06 12:45
772
polynom2__87_28.min1.thm1
2017-02-06 12:45
1.6K
polynom2__90_28.min1.thm1
2017-02-06 12:45
772
polynom2__92_18.min1.thm1
2017-02-06 12:45
1.5K
polynom2__96_24.min1.thm1
2017-02-06 12:45
781
polynom2__98_32.min1.thm1
2017-02-06 12:45
771
polynom2__108_17.min1.thm1
2017-02-06 12:45
1.4K
polynom2__109_22.min1.thm1
2017-02-06 12:45
1.1K
polynom2__112_17.min1.thm1
2017-02-06 12:45
1.4K
polynom2__113_22.min1.thm1
2017-02-06 12:45
1.1K
polynom2__119_52.min1.thm1
2017-02-06 12:45
1.3K
polynom2__120_29.min1.thm1
2017-02-06 12:45
848
polynom2__121_17.min1.thm1
2017-02-06 12:45
1.0K
polynom2__141_16.min1.thm1
2017-02-06 12:45
1.1K
polynom2__144_41.min1.thm1
2017-02-06 12:45
1.7K
polynom2__146_8.min1.thm1
2017-02-06 12:45
1.0K
polynom2__148_14.min1.thm1
2017-02-06 12:45
1.1K
polynom2__148_14.min1.thm1.tptp
2017-02-06 16:47
1.1K
polynom2__158_15.min1.thm1
2017-02-06 12:45
778
polynom2__158_15.min1.thm1.tptp
2017-02-06 16:47
689
polynom2__176_20.min1.thm1
2017-02-06 12:45
573
polynom2__177_11.min1.thm1
2017-02-06 12:45
779
polynom2__178_16.min1.thm1
2017-02-06 12:45
910
polynom2__179_17.min1.thm1
2017-02-06 12:45
845
polynom2__186_55.min1.thm1
2017-02-06 12:45
457
polynom2__186_55.min1.thm1.tptp
2017-02-06 16:47
410
polynom2__188_20.min1.thm1
2017-02-06 12:45
536
polynom2__190_17.min1.thm1
2017-02-06 12:45
1.0K
polynom2__212_20.min1.thm1
2017-02-06 12:45
912
polynom2__213_35.min1.thm1
2017-02-06 12:45
448
polynom2__217_60.min1.thm1
2017-02-06 12:45
677
polynom2__226_13.min1.thm1
2017-02-06 12:45
224
polynom2__230_17.min1.thm1
2017-02-06 12:45
236
polynom2__233_36.min1.thm1
2017-02-06 12:45
1.3K
polynom2__234_43.min1.thm1
2017-02-06 12:45
2.2K
polynom2__235_26.min1.thm1
2017-02-06 12:45
2.0K
polynom2__236_25.min1.thm1
2017-02-06 12:45
1.4K
polynom2__243_29.min1.thm1
2017-02-06 12:45
1.3K
polynom2__246_23.min1.thm1
2017-02-06 12:45
1.4K
polynom2__248_23.min1.thm1
2017-02-06 12:45
1.5K
polynom2__249_27.min1.thm1
2017-02-06 12:45
1.7K
polynom2__251_27.min1.thm1
2017-02-06 12:45
1.9K
polynom2__252_36.min1.thm1
2017-02-06 12:45
1.4K
polynom2__253_43.min1.thm1
2017-02-06 12:45
2.2K
polynom2__254_26.min1.thm1
2017-02-06 12:45
2.0K
polynom2__255_21.min1.thm1
2017-02-06 12:45
1.1K
polynom2__256_25.min1.thm1
2017-02-06 12:45
802
polynom2__256_25.min1.thm1.tptp
2017-02-06 16:47
726
polynom2__259_18.min1.thm1
2017-02-06 12:45
1.4K
polynom2__265_19.min1.thm1
2017-02-06 12:45
1.4K
polynom2__266_18.min1.thm1
2017-02-06 12:45
1.4K
polynom2__267_23.min1.thm1
2017-02-06 12:45
1.7K
polynom2__269_23.min1.thm1
2017-02-06 12:45
1.8K
polynom2__270_32.min1.thm1
2017-02-06 12:45
1.2K
polynom2__271_40.min1.thm1
2017-02-06 12:45
2.2K
polynom2__272_24.min1.thm1
2017-02-06 12:45
2.3K
polynom2__273_18.min1.thm1
2017-02-06 12:45
1.3K
polynom2__274_21.min1.thm1
2017-02-06 12:45
2.1K
polynom2__277_12.min1.thm1
2017-02-06 12:45
1.8K
polynom2__313_19.min1.thm1
2017-02-06 12:45
2.4K
polynom2__316_26.min1.thm1
2017-02-06 12:45
1.1K
polynom2__319_15.min1.thm1
2017-02-06 12:45
192
polynom2__323_22.min1.thm1
2017-02-06 12:45
2.6K
polynom2__324_26.min1.thm1
2017-02-06 12:45
3.1K
polynom2__325_20.min1.thm1
2017-02-06 12:45
1.2K
polynom2__326_23.min1.thm1
2017-02-06 12:45
748
polynom2__331_17.min1.thm1
2017-02-06 12:45
556
polynom2__332_71.min1.thm1
2017-02-06 12:45
747
polynom2__342_19.min1.thm1
2017-02-06 12:45
382
polynom2__346_23.min1.thm1
2017-02-06 12:45
1.5K
polynom2__352_25.min1.thm1
2017-02-06 12:45
520
polynom2__353_25.min1.thm1
2017-02-06 12:45
1.9K
polynom2__354_29.min1.thm1
2017-02-06 12:45
2.1K
polynom2__357_21.min1.thm1
2017-02-06 12:45
1.8K
polynom2__359_26.min1.thm1
2017-02-06 12:45
1.2K
polynom2__360_25.min1.thm1
2017-02-06 12:45
2.0K
polynom2__361_25.min1.thm1
2017-02-06 12:45
889
polynom2__364_31.min1.thm1
2017-02-06 12:45
1.4K
polynom2__366_26.min1.thm1
2017-02-06 12:45
1.6K
polynom2__368_36.min1.thm1
2017-02-06 12:45
1.3K
polynom2__369_23.min1.thm1
2017-02-06 12:45
1.6K
polynom2__372_20.min1.thm1
2017-02-06 12:45
642
polynom2__375_16.min1.thm1
2017-02-06 12:45
780
polynom2__377_43.min1.thm1
2017-02-06 12:45
1.3K
polynom2__382_15.min1.thm1
2017-02-06 12:45
1.1K
polynom2__383_16.min1.thm1
2017-02-06 12:45
1.0K
polynom2__386_17.min1.thm1
2017-02-06 12:45
1.0K
polynom2__406_9.min1.thm1
2017-02-06 12:45
1.1K
polynom2__413_20.min1.thm1
2017-02-06 12:45
918
polynom2__416_61.min1.thm1
2017-02-06 12:45
665
polynom2__418_22.min1.thm1
2017-02-06 12:45
918
polynom2__419_38.min1.thm1
2017-02-06 12:45
560
polynom2__439_13.min1.thm1
2017-02-06 12:45
229
polynom2__443_17.min1.thm1
2017-02-06 12:45
241
polynom2__447_31.min1.thm1
2017-02-06 12:45
1.3K
polynom2__448_31.min1.thm1
2017-02-06 12:45
1.7K
polynom2__449_50.min1.thm1
2017-02-06 12:45
2.3K
polynom2__451_30.min1.thm1
2017-02-06 12:45
2.5K
polynom2__452_25.min1.thm1
2017-02-06 12:45
1.6K
polynom2__459_29.min1.thm1
2017-02-06 12:45
1.3K
polynom2__462_23.min1.thm1
2017-02-06 12:45
1.4K
polynom2__464_23.min1.thm1
2017-02-06 12:45
1.6K
polynom2__465_27.min1.thm1
2017-02-06 12:45
1.7K
polynom2__467_27.min1.thm1
2017-02-06 12:45
1.9K
polynom2__469_31.min1.thm1
2017-02-06 12:45
1.4K
polynom2__470_31.min1.thm1
2017-02-06 12:45
1.5K
polynom2__471_44.min1.thm1
2017-02-06 12:45
1.9K
polynom2__473_25.min1.thm1
2017-02-06 12:45
1.0K
polynom2__473_25.min1.thm1.tptp
2017-02-06 16:47
933
polynom2__476_18.min1.thm1
2017-02-06 12:45
1.8K
polynom2__482_19.min1.thm1
2017-02-06 12:45
1.4K
polynom2__483_23.min1.thm1
2017-02-06 12:45
1.7K
polynom2__485_23.min1.thm1
2017-02-06 12:45
1.8K
polynom2__487_27.min1.thm1
2017-02-06 12:45
1.2K
polynom2__488_18.min1.thm1
2017-02-06 12:45
1.4K
polynom2__489_27.min1.thm1
2017-02-06 12:45
1.6K
polynom2__490_40.min1.thm1
2017-02-06 12:45
1.9K
polynom2__493_26.min1.thm1
2017-02-06 12:45
1.9K
polynom2__497_12.min1.thm1
2017-02-06 12:45
2.0K
polynom2__520_9.min1.thm1
2017-02-06 12:45
1.1K
polynom2__521_42.min1.thm1
2017-02-06 12:45
961
polynom2__522_42.min1.thm1
2017-02-06 12:45
961
polynom2__523_11.min1.thm1
2017-02-06 12:45
213
polynom2__526_15.min1.thm1
2017-02-06 12:45
1.1K
polynom2__532_17.min1.thm1
2017-02-06 12:45
1.4K
polynom2__534_22.min1.thm1
2017-02-06 12:45
921
polynom2__548_21.min1.thm1
2017-02-06 12:45
922
polynom2__552_61.min1.thm1
2017-02-06 12:45
689
polynom2__553_40.min1.thm1
2017-02-06 12:45
588
polynom2__555_14.min1.thm1
2017-02-06 12:45
1.2K
polynom2__557_18.min1.thm1
2017-02-06 12:45
1.0K
polynom2__569_15.min1.thm1
2017-02-06 12:45
241
polynom2__573_19.min1.thm1
2017-02-06 12:45
253
polynom2__577_33.min1.thm1
2017-02-06 12:45
1.3K
polynom2__578_33.min1.thm1
2017-02-06 12:45
1.7K
polynom2__590_31.min1.thm1
2017-02-06 12:45
1.3K
polynom2__593_25.min1.thm1
2017-02-06 12:45
1.4K
polynom2__595_25.min1.thm1
2017-02-06 12:45
1.7K
polynom2__596_29.min1.thm1
2017-02-06 12:45
1.8K
polynom2__598_29.min1.thm1
2017-02-06 12:45
2.0K
polynom2__600_33.min1.thm1
2017-02-06 12:45
1.4K
polynom2__601_33.min1.thm1
2017-02-06 12:45
1.5K
polynom2__604_28.min1.thm1
2017-02-06 12:45
2.8K
polynom2__605_27.min1.thm1
2017-02-06 12:45
1.1K
polynom2__605_27.min1.thm1.tptp
2017-02-06 16:47
1.0K
polynom2__608_20.min1.thm1
2017-02-06 12:45
2.0K
polynom2__614_21.min1.thm1
2017-02-06 12:45
1.5K
polynom2__615_25.min1.thm1
2017-02-06 12:45
1.8K
polynom2__617_25.min1.thm1
2017-02-06 12:45
1.9K
polynom2__619_29.min1.thm1
2017-02-06 12:45
1.2K
polynom2__620_20.min1.thm1
2017-02-06 12:45
1.4K
polynom2__621_29.min1.thm1
2017-02-06 12:45
1.7K
polynom2__629_18.min1.thm1
2017-02-06 12:45
1.1K
polynom2__631_15.min1.thm1
2017-02-06 12:45
209
polynom2__634_27.min1.thm1
2017-02-06 12:45
1.3K
polynom2__635_20.min1.thm1
2017-02-06 12:45
888
polynom2__636_20.min1.thm1
2017-02-06 12:45
1.3K
polynom2__640_21.min1.thm1
2017-02-06 12:45
1.3K
polynom2__642_24.min1.thm1
2017-02-06 12:45
1.4K
polynom2__646_9.min1.thm1
2017-02-06 12:45
932
polynom2__649_19.min1.thm1
2017-02-06 12:45
1.9K
polynom2__676_24.min1.thm1
2017-02-06 12:45
1.0K
polynom2__684_15.min1.thm1
2017-02-06 12:45
766
polynom2__685_17.min1.thm1
2017-02-06 12:45
936
polynom2__706_16.min1.thm1
2017-02-06 12:45
559
polynom2__706_16.min1.thm1.tptp
2017-02-06 16:47
489
polynom2__708_30.min1.thm1
2017-02-06 12:45
787
polynom2__714_47.min1.thm1
2017-02-06 12:45
560
polynom2__716_16.min1.thm1
2017-02-06 12:45
1.0K
polynom2__717_20.min1.thm1
2017-02-06 12:45
750
polynom2__721_23.min1.thm1
2017-02-06 12:45
883
polynom2__727_23.min1.thm1
2017-02-06 12:45
1.8K
polynom2__730_24.min1.thm1
2017-02-06 12:45
1.5K
polynom2__731_49.min1.thm1
2017-02-06 12:45
1.5K
polynom2__740_19.min1.thm1
2017-02-06 12:45
1.9K
polynom2__741_18.min1.thm1
2017-02-06 12:45
2.3K
polynom2__749_34.min1.thm1
2017-02-06 12:45
562
polynom2__749_34.min1.thm1.tptp
2017-02-06 16:47
494
polynom2__756_14.min1.thm1
2017-02-06 12:45
1.2K
polynom2__757_18.min1.thm1
2017-02-06 12:45
1.3K
polynom2__758_23.min1.thm1
2017-02-06 12:45
1.0K
polynom2__760_20.min1.thm1
2017-02-06 12:45
1.3K
polynom2__767_13.min1.thm1
2017-02-06 12:45
265
polynom2__770_21.min1.thm1
2017-02-06 12:45
1.4K
polynom2__771_29.min1.thm1
2017-02-06 12:45
907
polynom2__782_30.min1.thm1
2017-02-06 12:45
804
polynom2__788_19.min1.thm1
2017-02-06 12:45
1.3K
polynom2__797_16.min1.thm1
2017-02-06 12:45
1.2K
polynom2__803_22.min1.thm1
2017-02-06 12:45
1.3K
polynom2__810_28.min1.thm1
2017-02-06 12:45
1.4K
polynom2__812_32.min1.thm1
2017-02-06 12:45
951
polynom2__829_20.min1.thm1
2017-02-06 12:45
1.2K
polynom2__836_13.min1.thm1
2017-02-06 12:45
1.8K
polynom2__837_17.min1.thm1
2017-02-06 12:45
1.3K
polynom2__839_29.min1.thm1
2017-02-06 12:45
505
polynom2__839_29.min1.thm1.tptp
2017-02-06 16:47
437
polynom2__849_20.min1.thm1
2017-02-06 12:45
1.2K
polynom2__850_13.min1.thm1
2017-02-06 12:45
1.2K
polynom2__851_17.min1.thm1
2017-02-06 12:45
1.5K
polynom2__864_16.min1.thm1
2017-02-06 12:45
1.2K
polynom2__865_20.min1.thm1
2017-02-06 12:45
1.5K
polynom2__871_24.min1.thm1
2017-02-06 12:45
748
polynom2__877_17.min1.thm1
2017-02-06 12:45
1.0K
polynom2__898_16.min1.thm1
2017-02-06 12:45
559
polynom2__898_16.min1.thm1.tptp
2017-02-06 16:47
489
polynom2__900_30.min1.thm1
2017-02-06 12:45
787
polynom2__911_23.min1.thm1
2017-02-06 12:45
1.8K
polynom2__914_24.min1.thm1
2017-02-06 12:45
1.5K
polynom2__915_49.min1.thm1
2017-02-06 12:45
1.5K
polynom2__916_47.min1.thm1
2017-02-06 12:45
560
polynom2__919_16.min1.thm1
2017-02-06 12:45
1.0K
polynom2__920_20.min1.thm1
2017-02-06 12:45
750
polynom2__930_30.min1.thm1
2017-02-06 12:45
1.5K
polynom2__931_18.min1.thm1
2017-02-06 12:45
1.2K
polynom2__932_23.min1.thm1
2017-02-06 12:45
1.0K
polynom2__933_22.min1.thm1
2017-02-06 12:45
752
polynom2__939_22.min1.thm1
2017-02-06 12:45
1.8K
polynom2__946_29.min1.thm1
2017-02-06 12:45
563
polynom2__946_29.min1.thm1.tptp
2017-02-06 16:47
495
polynom2__957_14.min1.thm1
2017-02-06 12:45
1.2K
polynom2__961_17.min1.thm1
2017-02-06 12:45
1.0K
polynom2__963_24.min1.thm1
2017-02-06 12:45
1.8K
polynom2__968_18.min1.thm1
2017-02-06 12:45
1.3K
polynom2__971_17.min1.thm1
2017-02-06 12:45
1.0K
polynom2__973_24.min1.thm1
2017-02-06 12:45
1.6K
polynom2__981_13.min1.thm1
2017-02-06 12:45
265
polynom2__984_23.min1.thm1
2017-02-06 12:45
1.3K
polynom2__986_15.min1.thm1
2017-02-06 12:45
1.4K
polynom2__988_17.min1.thm1
2017-02-06 12:45
237
polynom2__991_37.min1.thm1
2017-02-06 12:45
1.0K
polynom2__1000_32.min1.thm1
2017-02-06 12:45
1.9K
polynom2__1017_17.min1.thm1
2017-02-06 12:45
257
polynom2__1024_28.min1.thm1
2017-02-06 12:45
1.4K
polynom2__1027_30.min1.thm1
2017-02-06 12:45
1.6K
polynom2__1029_26.min1.thm1
2017-02-06 12:45
1.1K
polynom2__1031_21.min1.thm1
2017-02-06 12:45
255
polynom2__1035_25.min1.thm1
2017-02-06 12:45
235
polynom2__1044_32.min1.thm1
2017-02-06 12:45
1.2K
polynom2__1049_28.min1.thm1
2017-02-06 12:45
1.0K
polynom2__1057_38.min1.thm1
2017-02-06 12:45
2.0K
polynom2__1058_29.min1.thm1
2017-02-06 12:45
1.5K
polynom2__1059_24.min1.thm1
2017-02-06 12:45
1.2K
polynom2__1060_37.min1.thm1
2017-02-06 12:45
1.6K
polynom2__1062_41.min1.thm1
2017-02-06 12:45
1.6K
polynom2__1065_33.min1.thm1
2017-02-06 12:45
1.6K
polynom2__1079_29.min1.thm1
2017-02-06 12:45
804
polynom2__1086_19.min1.thm1
2017-02-06 12:45
1.0K
polynom2__1088_35.min1.thm1
2017-02-06 12:45
2.8K
polynom2__1092_16.min1.thm1
2017-02-06 12:45
1.2K
polynom2__1093_24.min1.thm1
2017-02-06 12:45
1.3K
polynom2__1108_20.min1.thm1
2017-02-06 12:45
1.0K
polynom2__1109_24.min1.thm1
2017-02-06 12:45
883
polynom2__1115_23.min1.thm1
2017-02-06 12:45
762
polynom2__1122_14.min1.thm1
2017-02-06 12:45
1.2K
polynom2__1127_16.min1.thm1
2017-02-06 12:45
1.0K
polynom2__1136_25.min1.thm1
2017-02-06 12:45
1.1K
polynom2__1138_21.min1.thm1
2017-02-06 12:45
1.3K
polynom2__1146_19.min1.thm1
2017-02-06 12:45
1.4K
polynom2__1147_19.min1.thm1
2017-02-06 12:45
1.0K
polynom2__1156_30.min1.thm1
2017-02-06 12:45
567
polynom2__1156_30.min1.thm1.tptp
2017-02-06 16:47
499
polynom2__1157_18.min1.thm1
2017-02-06 12:45
1.3K
polynom2__1173_16.min1.thm1
2017-02-06 12:45
1.2K
polynom2__1174_21.min1.thm1
2017-02-06 12:45
1.3K
polynom2__1175_26.min1.thm1
2017-02-06 12:45
1.1K
polynom2__1177_22.min1.thm1
2017-02-06 12:45
1.3K
polynom2__1186_20.min1.thm1
2017-02-06 12:45
1.6K
polynom2__1195_17.min1.thm1
2017-02-06 12:45
1.0K
polynom2__1223_23.min1.thm1
2017-02-06 12:45
1.0K
polynom2__1224_20.min1.thm1
2017-02-06 12:45
750
polynom2__1235_25.min1.thm1
2017-02-06 12:45
2.4K
polynom2__1237_20.min1.thm1
2017-02-06 12:45
1.8K
polynom2__1239_13.min1.thm1
2017-02-06 12:45
235
polynom2__1249_17.min1.thm1
2017-02-06 12:45
267
polynom2__1253_19.min1.thm1
2017-02-06 12:45
1.4K
polynom2__1256_45.min1.thm1
2017-02-06 12:45
1.1K
polynom2__1266_27.min1.thm1
2017-02-06 12:45
1.1K
polynom2__1267_57.min1.thm1
2017-02-06 12:45
1.6K
polynom2__1269_22.min1.thm1
2017-02-06 12:45
1.3K
polynom2__1279_18.min1.thm1
2017-02-06 12:45
1.0K
polynom2__1292_27.min1.thm1
2017-02-06 12:45
1.6K
polynom2__1299_14.min1.thm1
2017-02-06 12:45
1.0K
polynom2__1300_19.min1.thm1
2017-02-06 12:45
1.7K
polynom2__1302_14.min1.thm1
2017-02-06 12:45
557
polynom2__1302_14.min1.thm1.tptp
2017-02-06 16:47
491
polynom2__1312_19.min1.thm1
2017-02-06 12:45
538
polynom2__1312_19.min1.thm1.tptp
2017-02-06 16:47
461
polynom2__1316_18.min1.thm1
2017-02-06 12:45
617
polynom2__1317_18.min1.thm1
2017-02-06 12:45
884
polynom2__1319_11.min1.thm1
2017-02-06 12:45
1.0K
polynom2__1320_18.min1.thm1
2017-02-06 12:45
494
polynom2__1323_17.min1.thm1
2017-02-06 12:45
805
polynom2__1341_27.min1.thm1
2017-02-06 12:45
1.6K
polynom2__1345_29.min1.thm1
2017-02-06 12:45
778
polynom2__1347_13.min1.thm1
2017-02-06 12:45
1.5K
polynom2__1358_25.min1.thm1
2017-02-06 12:45
704
polynom2__1363_24.min1.thm1
2017-02-06 12:45
926
polynom2__1364_18.min1.thm1
2017-02-06 12:45
1.0K
polynom2__1366_19.min1.thm1
2017-02-06 12:45
928
polynom2__1386_32.min1.thm1
2017-02-06 12:45
1.1K
polynom2__1392_30.min1.thm1
2017-02-06 12:45
1.2K
polynom2__1393_27.min1.thm1
2017-02-06 12:45
1.2K
polynom2__1394_24.min1.thm1
2017-02-06 12:45
1.2K
polynom2__1395_17.min1.thm1
2017-02-06 12:45
1.0K
polynom2__1404_40.min1.thm1
2017-02-06 12:45
715
polynom2__1404_40.min1.thm1.tptp
2017-02-06 16:47
645
polynom2__1433_18.min1.thm1
2017-02-06 12:45
563
polynom2__1433_18.min1.thm1.tptp
2017-02-06 16:47
497
polynom2__1447_24.min1.thm1
2017-02-06 12:45
2.0K
polynom2__1448_55.min1.thm1
2017-02-06 12:45
1.9K
polynom2__1482_26.min1.thm1
2017-02-06 12:45
2.2K
polynom2__1484_20.min1.thm1
2017-02-06 12:45
1.2K
polynom2__1485_26.min1.thm1
2017-02-06 12:45
1.7K
polynom2__1486_25.min1.thm1
2017-02-06 12:45
1.2K
polynom2__1487_27.min1.thm1
2017-02-06 12:45
1.2K
polynom2__1489_19.min1.thm1
2017-02-06 12:45
3.4K
polynom2__1490_18.min1.thm1
2017-02-06 12:45
1.2K
polynom2__1500_59.min1.thm1
2017-02-06 12:45
371
polynom2__1500_59.min1.thm1.tptp
2017-02-06 16:47
291
polynom2__1502_24.min1.thm1
2017-02-06 12:45
2.3K
polynom2__1513_50.min1.thm1
2017-02-06 12:45
592
polynom2__1521_33.min1.thm1
2017-02-06 12:45
1.8K
polynom2__1522_34.min1.thm1
2017-02-06 12:45
1.7K
polynom2__1523_14.min1.thm1
2017-02-06 12:45
1.1K
polynom2__1533_49.min1.thm1
2017-02-06 12:45
757
polynom2__1533_49.min1.thm1.tptp
2017-02-06 16:47
687
polynom2__1538_21.min1.thm1
2017-02-06 12:45
393
polynom2__1538_21.min1.thm1.tptp
2017-02-06 16:47
328
polynom2__1540_32.min1.thm1
2017-02-06 12:45
864
polynom2__1541_16.min1.thm1
2017-02-06 12:45
1.3K
polynom2__1543_45.min1.thm1
2017-02-06 12:45
640
polynom2__1544_35.min1.thm1
2017-02-06 12:45
813
polynom2__1548_18.min1.thm1
2017-02-06 12:45
480
polynom2__1548_18.min1.thm1.tptp
2017-02-06 16:47
415
polynom2__1554_16.min1.thm1
2017-02-06 12:45
698
polynom2__1559_13.min1.thm1
2017-02-06 12:45
755
polynom2__1560_14.min1.thm1
2017-02-06 12:45
558
polynom2__1560_14.min1.thm1.tptp
2017-02-06 16:47
492
polynom2__1565_13.min1.thm1
2017-02-06 12:45
757
polynom2__1578_14.min1.thm1
2017-02-06 12:45
403
polynom2__1586_65.min1.thm1
2017-02-06 12:45
1.1K
polynom2__1587_21.min1.thm1
2017-02-06 12:45
1.2K
polynom2__1591_21.min1.thm1
2017-02-06 12:45
736
polynom2__1592_17.min1.thm1
2017-02-06 12:45
760
polynom2__1601_55.min1.thm1
2017-02-06 12:45
496
polynom2__1601_55.min1.thm1.tptp
2017-02-06 16:47
436
polynom2__1606_44.min1.thm1
2017-02-06 12:45
1.9K
polynom2__1607_38.min1.thm1
2017-02-06 12:45
2.3K
polynom2__1625_13.min1.thm1
2017-02-06 12:45
270
polynom2__1627_22.min1.thm1
2017-02-06 12:45
581
polynom2__1630_16.min1.thm1
2017-02-06 12:45
1.4K
polynom2__1634_41.min1.thm1
2017-02-06 12:45
745
polynom2__1640_33.min1.thm1
2017-02-06 12:45
879
polynom2__1645_24.min1.thm1
2017-02-06 12:45
1.1K
polynom2__1646_49.min1.thm1
2017-02-06 12:45
1.5K
polynom2__1648_44.min1.thm1
2017-02-06 12:45
746
polynom2__1649_11.min1.thm1
2017-02-06 12:45
189
polynom2__1652_20.min1.thm1
2017-02-06 12:45
718
polynom2__1653_15.min1.thm1
2017-02-06 12:45
276
polynom2__1654_27.min1.thm1
2017-02-06 12:45
662
polynom2__1656_17.min1.thm1
2017-02-06 12:45
1.0K
polynom2__1657_28.min1.thm1
2017-02-06 12:45
1.7K
polynom2__1658_27.min1.thm1
2017-02-06 12:45
468
polynom2__1663_47.min1.thm1
2017-02-06 12:45
389
polynom2__1664_42.min1.thm1
2017-02-06 12:45
657
polynom2__1664_42.min1.thm1.tptp
2017-02-06 16:47
571
polynom2__1665_34.min1.thm1
2017-02-06 12:45
1.1K
polynom2__1666_44.min1.thm1
2017-02-06 12:45
1.7K
polynom2__1667_33.min1.thm1
2017-02-06 12:45
336
polynom2__1667_33.min1.thm1.tptp
2017-02-06 16:47
250
polynom2__1680_28.min1.thm1
2017-02-06 12:45
1.5K
polynom2__1681_19.min1.thm1
2017-02-06 12:45
2.2K
polynom2__1691_26.min1.thm1
2017-02-06 12:45
1.7K
polynom2__1695_21.min1.thm1
2017-02-06 12:45
1.2K
polynom2__1696_27.min1.thm1
2017-02-06 12:45
1.9K
polynom2__1699_23.min1.thm1
2017-02-06 12:45
1.1K
polynom2__1701_32.min1.thm1
2017-02-06 12:45
1.6K
polynom2__1703_17.min1.thm1
2017-02-06 12:45
219
polynom2__1706_25.min1.thm1
2017-02-06 12:45
811
polynom2__1712_33.min1.thm1
2017-02-06 12:45
1.0K
polynom2__1713_32.min1.thm1
2017-02-06 12:45
1.0K
polynom2__1723_23.min1.thm1
2017-02-06 12:45
1.2K
polynom2__1727_45.min1.thm1
2017-02-06 12:45
1.0K
polynom2__1731_24.min1.thm1
2017-02-06 12:45
678
polynom2__1737_28.min1.thm1
2017-02-06 12:45
845
polynom2__1738_44.min1.thm1
2017-02-06 12:45
1.9K
polynom2__1740_44.min1.thm1
2017-02-06 12:45
2.7K
polynom2__1743_44.min1.thm1
2017-02-06 12:45
1.6K
polynom2__1744_29.min1.thm1
2017-02-06 12:45
731
polynom2__1749_39.min1.thm1
2017-02-06 12:45
1.7K
polynom2__1751_29.min1.thm1
2017-02-06 12:45
1.3K
polynom2__1753_33.min1.thm1
2017-02-06 12:45
1.1K
polynom2__1758_33.min1.thm1
2017-02-06 12:45
1.3K
polynom2__1759_36.min1.thm1
2017-02-06 12:45
1.2K
polynom2__1764_27.min1.thm1
2017-02-06 12:45
1.4K
polynom2__1765_37.min1.thm1
2017-02-06 12:45
878
polynom2__1768_28.min1.thm1
2017-02-06 12:45
846
polynom2__1783_32.min1.thm1
2017-02-06 12:45
1.7K
polynom2__1784_31.min1.thm1
2017-02-06 12:45
1.3K
polynom2__1787_27.min1.thm1
2017-02-06 12:45
696
polynom2__1794_33.min1.thm1
2017-02-06 12:45
1.7K
polynom2__1795_33.min1.thm1
2017-02-06 12:45
936
polynom2__1796_32.min1.thm1
2017-02-06 12:45
1.3K
polynom2__1801_29.min1.thm1
2017-02-06 12:45
2.3K
polynom2__1802_36.min1.thm1
2017-02-06 12:45
1.2K
polynom2__1807_56.min1.thm1
2017-02-06 12:45
1.6K
polynom2__1809_29.min1.thm1
2017-02-06 12:45
731
polynom2__1810_37.min1.thm1
2017-02-06 12:45
2.4K
polynom2__1811_22.min1.thm1
2017-02-06 12:45
1.0K
polynom2__1813_29.min1.thm1
2017-02-06 12:45
2.7K
polynom2__1816_30.min1.thm1
2017-02-06 12:45
1.3K
polynom2__1818_34.min1.thm1
2017-02-06 12:45
1.1K
polynom2__1821_27.min1.thm1
2017-02-06 12:45
696
polynom2__1826_34.min1.thm1
2017-02-06 12:45
1.3K
polynom2__1827_36.min1.thm1
2017-02-06 12:45
1.2K
polynom2__1835_40.min1.thm1
2017-02-06 12:45
2.1K
polynom2__1845_32.min1.thm1
2017-02-06 12:45
1.3K
polynom2__1848_27.min1.thm1
2017-02-06 12:45
696
polynom2__1856_34.min1.thm1
2017-02-06 12:45
972
polynom2__1857_33.min1.thm1
2017-02-06 12:45
1.3K
polynom2__1863_36.min1.thm1
2017-02-06 12:45
1.2K
polynom2__1867_22.min1.thm1
2017-02-06 12:45
845
polynom2__1870_18.min1.thm1
2017-02-06 12:45
806
polynom2__1878_27.min1.thm1
2017-02-06 12:45
2.0K
polynom2__1895_20.min1.thm1
2017-02-06 12:45
286
polynom2__1903_27.min1.thm1
2017-02-06 12:45
472
polynom2__1905_21.min1.thm1
2017-02-06 12:45
1.1K
polynom2__1906_14.min1.thm1
2017-02-06 12:45
1.8K
polynom2__1910_17.min1.thm1
2017-02-06 12:45
1.5K
polynom2__1911_43.min1.thm1
2017-02-06 12:45
745
polynom2__1922_11.min1.thm1
2017-02-06 12:45
277
polynom2__1933_17.min1.thm1
2017-02-06 12:45
217
polynom2__1936_26.min1.thm1
2017-02-06 12:45
371
polynom2__1936_26.min1.thm1.tptp
2017-02-06 16:47
306
polynom2__1937_25.min1.thm1
2017-02-06 12:45
709
polynom2__1941_34.min1.thm1
2017-02-06 12:45
543
polynom2__1941_34.min1.thm1.tptp
2017-02-06 16:47
466
polynom2__1942_32.min1.thm1
2017-02-06 12:45
1.3K
polynom2__1946_18.min1.thm1
2017-02-06 12:45
625
polynom2__1954_20.min1.thm1
2017-02-06 12:45
781
polynom2__1957_25.min1.thm1
2017-02-06 12:45
520
polynom2__1961_22.min1.thm1
2017-02-06 12:45
336
polynom2__1964_18.min1.thm1
2017-02-06 12:45
546
polynom2__1968_35.min1.thm1
2017-02-06 12:45
775
polynom2__1973_37.min1.thm1
2017-02-06 12:45
469
polynom2__1974_14.min1.thm1
2017-02-06 12:45
920
polynom2__1975_28.min1.thm1
2017-02-06 12:45
922
polynom2__1982_33.min1.thm1
2017-02-06 12:45
869
polynom2__1992_23.min1.thm1
2017-02-06 12:45
925
polynom2__1993_47.min1.thm1
2017-02-06 12:45
588
polynom2__1994_17.min1.thm1
2017-02-06 12:45
1.0K
polynom2__1995_15.min1.thm1
2017-02-06 12:45
389
polynom2__2000_20.min1.thm1
2017-02-06 12:45
1.7K
polynom2__2002_22.min1.thm1
2017-02-06 12:45
1.7K
polynom2__2008_61.min1.thm1
2017-02-06 12:45
2.0K
polynom2__2013_22.min1.thm1
2017-02-06 12:45
1.4K
polynom2__2019_24.min1.thm1
2017-02-06 12:45
950
polynom2__2025_16.min1.thm1
2017-02-06 12:45
837
polynom2__2034_22.min1.thm1
2017-02-06 12:45
950
polynom2__2035_25.min1.thm1
2017-02-06 12:45
1.4K
polynom2__2053_51.min1.thm1
2017-02-06 12:45
1.9K
polynom2__2056_28.min1.thm1
2017-02-06 12:45
922
polynom2__2057_22.min1.thm1
2017-02-06 12:45
398
polynom2__2057_22.min1.thm1.tptp
2017-02-06 16:47
333
polynom2__2059_19.min1.thm1
2017-02-06 12:45
943
polynom2__2060_18.min1.thm1
2017-02-06 12:45
562
polynom2__2060_18.min1.thm1.tptp
2017-02-06 16:47
496
polynom2__2061_24.min1.thm1
2017-02-06 12:45
2.2K
polynom2__2062_47.min1.thm1
2017-02-06 12:45
655
polynom2__2073_28.min1.thm1
2017-02-06 12:45
921
polynom2__2074_22.min1.thm1
2017-02-06 12:45
397
polynom2__2074_22.min1.thm1.tptp
2017-02-06 16:47
332
polynom2__2076_19.min1.thm1
2017-02-06 12:45
940
polynom2__2077_33.min1.thm1
2017-02-06 12:45
868
polynom2__2078_17.min1.thm1
2017-02-06 12:45
561
polynom2__2078_17.min1.thm1.tptp
2017-02-06 16:47
495
polynom2__2079_24.min1.thm1
2017-02-06 12:45
2.2K
polynom2__2080_47.min1.thm1
2017-02-06 12:45
652
polynom2__2084_20.min1.thm1
2017-02-06 12:45
1.1K
polynom2__2101_53.min1.thm1
2017-02-06 12:45
862
polynom2__2112_43.min1.thm1
2017-02-06 12:45
763
polynom2__2123_27.min1.thm1
2017-02-06 12:45
938
polynom2__2131_18.min1.thm1
2017-02-06 12:45
1.0K
polynom2__2132_15.min1.thm1
2017-02-06 12:45
681
polynom2__2135_25.min1.thm1
2017-02-06 12:45
831
polynom2__2135_25.min1.thm1.tptp
2017-02-06 16:47
766
polynom2__2136_23.min1.thm1
2017-02-06 12:45
1.3K
polynom2__2140_29.min1.thm1
2017-02-06 12:45
837
polynom2__2140_29.min1.thm1.tptp
2017-02-06 16:47
769
polynom2__2144_23.min1.thm1
2017-02-06 12:45
1.4K
polynom2__2147_17.min1.thm1
2017-02-06 12:45
745
polynom2__2148_30.min1.thm1
2017-02-06 12:45
2.1K
polynom2__2151_18.min1.thm1
2017-02-06 12:45
3.2K
polynom2__2159_18.min1.thm1
2017-02-06 12:45
1.6K
polynom2__2163_29.min1.thm1
2017-02-06 12:45
837
polynom2__2163_29.min1.thm1.tptp
2017-02-06 16:47
769
polynom2__2179_18.min1.thm1
2017-02-06 12:45
576
polynom2__2179_18.min1.thm1.tptp
2017-02-06 16:47
510
polynom2__2180_26.min1.thm1
2017-02-06 12:45
1.6K
polynom2__2191_29.min1.thm1
2017-02-06 12:45
833
polynom2__2191_29.min1.thm1.tptp
2017-02-06 16:47
765
polynom2__2196_21.min1.thm1
2017-02-06 12:45
823
polynom2__2196_21.min1.thm1.tptp
2017-02-06 16:47
758
polynom2__2198_18.min1.thm1
2017-02-06 12:45
1.5K
polynom2__2202_19.min1.thm1
2017-02-06 12:45
746
polynom2__2203_36.min1.thm1
2017-02-06 12:45
2.6K
polynom2__2208_20.min1.thm1
2017-02-06 12:45
823
polynom2__2208_20.min1.thm1.tptp
2017-02-06 16:47
758
polynom2__2217_15.min1.thm1
2017-02-06 12:45
681
polynom2__2220_21.min1.thm1
2017-02-06 12:45
750
polynom2__2221_38.min1.thm1
2017-02-06 12:45
2.6K
polynom2__2225_20.min1.thm1
2017-02-06 12:45
831
polynom2__2225_20.min1.thm1.tptp
2017-02-06 16:47
766
polynom2__2226_33.min1.thm1
2017-02-06 12:45
1.7K
polynom2__2230_25.min1.thm1
2017-02-06 12:45
5.1K
polynom2__2232_23.min1.thm1
2017-02-06 12:45
2.6K
polynom2__2232_23.min1.thm1.tptp
2017-02-06 16:47
2.5K
polynom2__2237_24.min1.thm1
2017-02-06 12:45
837
polynom2__2237_24.min1.thm1.tptp
2017-02-06 16:47
769
polynom2__2243_18.min1.thm1
2017-02-06 12:45
2.8K
polynom2__2246_20.min1.thm1
2017-02-06 12:45
2.1K
polynom2__2263_24.min1.thm1
2017-02-06 12:45
1.2K
polynom2__2265_23.min1.thm1
2017-02-06 12:45
938
polynom2__2268_35.min1.thm1
2017-02-06 12:45
1.4K
polynom2__2271_17.min1.thm1
2017-02-06 12:45
1.3K
polynom2__2301_37.min1.thm1
2017-02-06 12:45
1.4K
polynom2__2306_19.min1.thm1
2017-02-06 12:45
1.9K
polynom2__2315_14.min1.thm1
2017-02-06 12:45
1.4K
polynom2__2328_19.min1.thm1
2017-02-06 12:45
1.0K
polynom2__2330_32.min1.thm1
2017-02-06 12:45
920
polynom2__2335_33.min1.thm1
2017-02-06 12:45
1.4K
polynom2__2336_23.min1.thm1
2017-02-06 12:45
739
polynom2__2342_19.min1.thm1
2017-02-06 12:45
1.0K
polynom2__2345_24.min1.thm1
2017-02-06 12:45
451
polynom2__2345_24.min1.thm1.tptp
2017-02-06 16:47
387
polynom2__2346_52.min1.thm1
2017-02-06 12:45
562
polynom2__2346_52.min1.thm1.tptp
2017-02-06 16:47
494
polynom2__2348_30.min1.thm1
2017-02-06 12:45
844
polynom2__2349_26.min1.thm1
2017-02-06 12:45
766
polynom2__2351_18.min1.thm1
2017-02-06 12:45
1.0K
polynom2__2352_25.min1.thm1
2017-02-06 12:45
1.8K
polynom2__2354_35.min1.thm1
2017-02-06 12:45
1.5K
polynom2__2358_17.min1.thm1
2017-02-06 12:45
1.4K
polynom2__2365_13.min1.thm1
2017-02-06 12:45
1.6K
polynom2__2396_24.min1.thm1
2017-02-06 12:45
1.8K
polynom2__2398_31.min1.thm1
2017-02-06 12:45
2.4K
polynom2__2432_25.min1.thm1
2017-02-06 12:45
2.3K
polynom2__2434_20.min1.thm1
2017-02-06 12:45
1.2K
polynom2__2435_25.min1.thm1
2017-02-06 12:45
1.7K
polynom2__2436_25.min1.thm1
2017-02-06 12:45
1.2K
polynom2__2437_27.min1.thm1
2017-02-06 12:45
1.2K
polynom2__2441_18.min1.thm1
2017-02-06 12:45
1.2K
polynom2__2456_54.min1.thm1
2017-02-06 12:45
2.1K
polynom2__2458_18.min1.thm1
2017-02-06 12:45
714
polynom2__2459_21.min1.thm1
2017-02-06 12:45
1.9K
polynom2__2460_36.min1.thm1
2017-02-06 12:45
1.4K
polynom2__2465_18.min1.thm1
2017-02-06 12:45
509
polynom2__2465_18.min1.thm1.tptp
2017-02-06 16:47
444
polynom2__2481_14.min1.thm1
2017-02-06 12:45
403
polynom2__2489_65.min1.thm1
2017-02-06 12:45
1.1K
polynom2__2490_21.min1.thm1
2017-02-06 12:45
1.2K
polynom2__2494_21.min1.thm1
2017-02-06 12:45
824
polynom2__2495_17.min1.thm1
2017-02-06 12:45
848
polynom2__2498_55.min1.thm1
2017-02-06 12:45
525
polynom2__2498_55.min1.thm1.tptp
2017-02-06 16:47
465
polynom2__2504_18.min1.thm1
2017-02-06 12:45
758
polynom2__2510_16.min1.thm1
2017-02-06 12:45
600
polynom2__2521_40.min1.thm1
2017-02-06 12:45
2.2K
polynom2__2554_33.min1.thm1
2017-02-06 12:45
1.9K
polynom2__2555_17.min1.thm1
2017-02-06 12:45
1.5K
polynom2__2573_21.min1.thm1
2017-02-06 12:45
371
polynom2__2573_21.min1.thm1.tptp
2017-02-06 16:47
306
polynom2__2574_40.min1.thm1
2017-02-06 12:45
600
polynom2__2576_20.min1.thm1
2017-02-06 12:45
1.9K
polynom2__2590_19.min1.thm1
2017-02-06 12:45
445
polynom2__2597_29.min1.thm1
2017-02-06 12:45
537
polynom2__2597_29.min1.thm1.tptp
2017-02-06 16:47
472
polynom2__2603_28.min1.thm1
2017-02-06 12:45
848
polynom2__2615_14.min1.thm1
2017-02-06 12:45
403
polynom2__2623_65.min1.thm1
2017-02-06 12:45
1.1K
polynom2__2624_21.min1.thm1
2017-02-06 12:45
1.2K
polynom2__2628_32.min1.thm1
2017-02-06 12:45
852
polynom2__2629_19.min1.thm1
2017-02-06 12:45
876
polynom2__2636_29.min1.thm1
2017-02-06 12:45
547
polynom2__2636_29.min1.thm1.tptp
2017-02-06 16:47
482
polynom2__2642_13.min1.thm1
2017-02-06 12:45
1.5K
polynom2__2648_57.min1.thm1
2017-02-06 12:45
525
polynom2__2648_57.min1.thm1.tptp
2017-02-06 16:47
465
polynom2__2653_47.min1.thm1
2017-02-06 12:45
2.0K
polynom2__2676_28.min1.thm1
2017-02-06 12:45
1.6K
polynom2__2705_28.min1.thm1
2017-02-06 12:45
1.6K
polynom2__2708_22.min1.thm1
2017-02-06 12:45
1.2K
polynom2__2717_15.min1.thm1
2017-02-06 12:45
1.3K
polynom2__2732_52.min1.thm1
2017-02-06 12:45
2.0K
polynom2__2735_23.min1.thm1
2017-02-06 12:45
1.9K
polynom2__2746_27.min1.thm1
2017-02-06 12:45
2.6K
polynom2__2750_18.min1.thm1
2017-02-06 12:45
2.0K
polynom2__2752_19.min1.thm1
2017-02-06 12:45
1.3K
polynom2__2753_26.min1.thm1
2017-02-06 12:45
767
polynom2__2763_29.min1.thm1
2017-02-06 12:45
1.8K
polynom2__2768_19.min1.thm1
2017-02-06 12:45
1.2K
polynom2__2772_28.min1.thm1
2017-02-06 12:45
576
polynom2__2792_43.min1.thm1
2017-02-06 12:45
1.4K
polynom2__2793_13.min1.thm1
2017-02-06 12:45
270
polynom2__2794_24.min1.thm1
2017-02-06 12:45
764
polynom2__2800_38.min1.thm1
2017-02-06 12:45
1.3K
polynom2__2805_24.min1.thm1
2017-02-06 12:45
1.1K
polynom2__2806_49.min1.thm1
2017-02-06 12:45
1.5K
polynom2__2820_35.min1.thm1
2017-02-06 12:45
424
polynom2__2820_35.min1.thm1.tptp
2017-02-06 16:47
341
polynom2__2827_44.min1.thm1
2017-02-06 12:45
1.4K
polynom2__2834_23.min1.thm1
2017-02-06 12:45
1.6K
polynom2__2836_19.min1.thm1
2017-02-06 12:45
1.2K
polynom2__2837_25.min1.thm1
2017-02-06 12:45
2.2K
polynom2__2840_13.min1.thm1
2017-02-06 12:45
203
polynom2__2843_23.min1.thm1
2017-02-06 12:45
2.0K
polynom2__2844_27.min1.thm1
2017-02-06 12:45
1.2K
polynom2__2855_18.min1.thm1
2017-02-06 12:45
1.6K
polynom2__2863_20.min1.thm1
2017-02-06 12:45
641
polynom2__2867_29.min1.thm1
2017-02-06 12:45
2.3K
polynom2__2870_39.min1.thm1
2017-02-06 12:45
1.6K
polynom2__2872_29.min1.thm1
2017-02-06 12:45
809
polynom2__2873_39.min1.thm1
2017-02-06 12:45
2.6K
polynom2__2888_23.min1.thm1
2017-02-06 12:45
2.1K
polynom2__2893_27.min1.thm1
2017-02-06 12:45
2.0K
polynom2__2895_24.min1.thm1
2017-02-06 12:45
810
polynom2__2901_31.min1.thm1
2017-02-06 12:45
2.4K
polynom2__2924_30.min1.thm1
2017-02-06 12:45
1.2K
polynom2__2929_28.min1.thm1
2017-02-06 12:45
1.4K
polynom2__2934_27.min1.thm1
2017-02-06 12:45
2.0K
polynom2__2936_27.min1.thm1
2017-02-06 12:45
2.0K
polynom2__2956_35.min1.thm1
2017-02-06 12:45
2.8K
polynom2__2974_30.min1.thm1
2017-02-06 12:45
1.2K
polynom2__2978_18.min1.thm1
2017-02-06 12:45
1.3K
polynom2__3003_19.min1.thm1
2017-02-06 12:45
620
polynom2__3004_19.min1.thm1
2017-02-06 12:45
453
polynom2__3004_19.min1.thm1.tptp
2017-02-06 16:47
388
polynom2__3011_30.min1.thm1
2017-02-06 12:45
1.3K
polynom2__3014_26.min1.thm1
2017-02-06 12:45
532
polynom2__3020_29.min1.thm1
2017-02-06 12:45
1.3K
polynom2__3032_44.min1.thm1
2017-02-06 12:45
1.4K
polynom2__3034_13.min1.thm1
2017-02-06 12:45
339
polynom2__3038_17.min1.thm1
2017-02-06 12:45
507
polynom2__3048_21.min1.thm1
2017-02-06 12:45
239
polynom2__3051_30.min1.thm1
2017-02-06 12:45
399
polynom2__3051_30.min1.thm1.tptp
2017-02-06 16:47
334
polynom2__3052_29.min1.thm1
2017-02-06 12:45
816
polynom2__3056_35.min1.thm1
2017-02-06 12:45
1.2K
polynom2__3059_39.min1.thm1
2017-02-06 12:45
1.4K
polynom2__3061_29.min1.thm1
2017-02-06 12:45
925
polynom2__3073_24.min1.thm1
2017-02-06 12:45
879
polynom2__3076_34.min1.thm1
2017-02-06 12:45
744
polynom2__3081_29.min1.thm1
2017-02-06 12:45
610
polynom2__3116_21.min1.thm1
2017-02-06 12:45
239
polynom2__3123_35.min1.thm1
2017-02-06 12:45
1.2K
polynom2__3126_39.min1.thm1
2017-02-06 12:45
1.4K
polynom2__3139_29.min1.thm1
2017-02-06 12:45
903
polynom2__3143_26.min1.thm1
2017-02-06 12:45
534
polynom2__3143_26.min1.thm1.tptp
2017-02-06 16:47
448
polynom2__3157_43.min1.thm1
2017-02-06 12:45
501
polynom2__3158_52.min1.thm1
2017-02-06 12:45
798
polynom2__3159_19.min1.thm1
2017-02-06 12:45
1.2K
polynom2__3161_34.min1.thm1
2017-02-06 12:45
1.6K
polynom2__3167_21.min1.thm1
2017-02-06 12:45
1.3K
polynom2__3168_27.min1.thm1
2017-02-06 12:45
2.0K
polynom2__3169_31.min1.thm1
2017-02-06 12:45
1.5K
polynom2__3176_27.min1.thm1
2017-02-06 12:45
930
polynom2__3180_21.min1.thm1
2017-02-06 12:45
421
polynom2__3190_22.min1.thm1
2017-02-06 12:45
915
polynom2__3191_33.min1.thm1
2017-02-06 12:45
1.8K
polynom2__3218_27.min1.thm1
2017-02-06 12:45
1.0K
polynom2__3219_69.min1.thm1
2017-02-06 12:45
2.5K
polynom2__3222_26.min1.thm1
2017-02-06 12:45
2.6K
polynom2__3228_24.min1.thm1
2017-02-06 12:45
1.0K
polynom2__3230_63.min1.thm1
2017-02-06 12:45
2.5K
polynom2__3234_41.min1.thm1
2017-02-06 12:45
2.5K
polynom2__3255_23.min1.thm1
2017-02-06 12:45
558
polynom2__3262_26.min1.thm1
2017-02-06 12:45
1.5K
polynom2__3267_18.min1.thm1
2017-02-06 12:45
1.3K
polynom2__3287_52.min1.thm1
2017-02-06 12:45
1.5K
polynom2__3298_43.min1.thm1
2017-02-06 12:45
1.4K
polynom2__3313_21.min1.thm1
2017-02-06 12:45
2.0K
polynom2__3316_56.min1.thm1
2017-02-06 12:45
2.9K
polynom2__3317_41.min1.thm1
2017-02-06 12:45
642
polynom2__3324_30.min1.thm1
2017-02-06 12:45
1.6K
polynom2__3328_25.min1.thm1
2017-02-06 12:45
359
polynom2__3328_25.min1.thm1.tptp
2017-02-06 16:47
294
polynom2__3329_35.min1.thm1
2017-02-06 12:45
1.0K
polynom2__3331_26.min1.thm1
2017-02-06 12:45
807
polynom2__3334_27.min1.thm1
2017-02-06 12:45
361
polynom2__3334_27.min1.thm1.tptp
2017-02-06 16:47
293
polynom2__3340_35.min1.thm1
2017-02-06 12:45
621
polynom2__3340_35.min1.thm1.tptp
2017-02-06 16:47
557
polynom2__3341_46.min1.thm1
2017-02-06 12:45
2.3K
polynom2__3342_22.min1.thm1
2017-02-06 12:45
2.0K
polynom2__3350_15.min1.thm1
2017-02-06 12:45
213
polynom2__3353_25.min1.thm1
2017-02-06 12:45
363
polynom2__3353_25.min1.thm1.tptp
2017-02-06 16:47
298
polynom2__3354_23.min1.thm1
2017-02-06 12:45
692
polynom2__3358_29.min1.thm1
2017-02-06 12:45
369
polynom2__3358_29.min1.thm1.tptp
2017-02-06 16:47
301
polynom2__3361_31.min1.thm1
2017-02-06 12:45
4.2K
polynom2__3362_23.min1.thm1
2017-02-06 12:45
741
polynom2__3365_17.min1.thm1
2017-02-06 12:45
277
polynom2__3366_32.min1.thm1
2017-02-06 12:45
1.0K
polynom2__3369_19.min1.thm1
2017-02-06 12:45
799
polynom2__3377_18.min1.thm1
2017-02-06 12:45
717
polynom2__3382_29.min1.thm1
2017-02-06 12:45
377
polynom2__3382_29.min1.thm1.tptp
2017-02-06 16:47
309
polynom2__3387_23.min1.thm1
2017-02-06 12:45
4.3K
polynom2__3391_23.min1.thm1
2017-02-06 12:45
1.3K
polynom2__3401_40.min1.thm1
2017-02-06 12:45
649
polynom2__3411_29.min1.thm1
2017-02-06 12:45
365
polynom2__3411_29.min1.thm1.tptp
2017-02-06 16:47
297
polynom2__3416_21.min1.thm1
2017-02-06 12:45
435
polynom2__3421_19.min1.thm1
2017-02-06 12:45
278
polynom2__3422_35.min1.thm1
2017-02-06 12:45
1.1K
polynom2__3425_20.min1.thm1
2017-02-06 12:45
905
polynom2__3427_20.min1.thm1
2017-02-06 12:45
355
polynom2__3427_20.min1.thm1.tptp
2017-02-06 16:47
290
polynom2__3432_45.min1.thm1
2017-02-06 12:45
1.8K
polynom2__3433_37.min1.thm1
2017-02-06 12:45
809
polynom2__3438_35.min1.thm1
2017-02-06 12:45
1.4K
polynom2__3439_15.min1.thm1
2017-02-06 12:45
213
polynom2__3442_21.min1.thm1
2017-02-06 12:45
282
polynom2__3443_37.min1.thm1
2017-02-06 12:45
1.1K
polynom2__3446_22.min1.thm1
2017-02-06 12:45
913
polynom2__3447_20.min1.thm1
2017-02-06 12:45
363
polynom2__3447_20.min1.thm1.tptp
2017-02-06 16:47
298
polynom2__3448_35.min1.thm1
2017-02-06 12:45
1.0K
polynom2__3452_26.min1.thm1
2017-02-06 12:45
1.3K
polynom2__3459_24.min1.thm1
2017-02-06 12:45
369
polynom2__3459_24.min1.thm1.tptp
2017-02-06 16:47
301
polynom2__3465_20.min1.thm1
2017-02-06 12:45
1.6K
polynom2__3486_23.min1.thm1
2017-02-06 12:45
1.8K
polynom2__3488_19.min1.thm1
2017-02-06 12:45
1.6K
polynom2__3494_17.min1.thm1
2017-02-06 12:45
1.6K
polynom2__3542_25.min1.thm1
2017-02-06 12:45
532
polynom2__3543_29.min1.thm1
2017-02-06 12:45
1.3K
polynom2__3551_26.min1.thm1
2017-02-06 12:45
532
polynom2__3552_29.min1.thm1
2017-02-06 12:45
1.3K
polynom2__3571_25.min1.thm1
2017-02-06 12:45
1.1K
polynom2__3572_24.min1.thm1
2017-02-06 12:45
1.7K
polynom2__3586_29.min1.thm1
2017-02-06 12:45
1.7K
polynom2__3588_29.min1.thm1
2017-02-06 12:45
1.7K
polynom2__3589_34.min1.thm1
2017-02-06 12:45
1.6K
polynom2__3590_36.min1.thm1
2017-02-06 12:45
1.7K
polynom2__3592_22.min1.thm1
2017-02-06 12:45
1.0K
polynom2__3593_15.min1.thm1
2017-02-06 12:45
285
polynom2__3596_27.min1.thm1
2017-02-06 12:45
599
polynom2__3598_21.min1.thm1
2017-02-06 12:45
695
polynom2__3599_27.min1.thm1
2017-02-06 12:45
2.8K
polynom2__3604_27.min1.thm1
2017-02-06 12:45
894
polynom2__3609_27.min1.thm1
2017-02-06 12:45
893
polynom2__3613_75.min1.thm1
2017-02-06 12:45
525
polynom2__3615_15.min1.thm1
2017-02-06 12:45
674
polynom2__3621_26.min1.thm1
2017-02-06 12:45
1.1K
polynom2__3625_28.min1.thm1
2017-02-06 12:45
2.0K
polynom2__3626_24.min1.thm1
2017-02-06 12:45
591
polynom2__3627_13.min1.thm1
2017-02-06 12:45
1.1K
polynom2__3636_29.min1.thm1
2017-02-06 12:45
1.8K
polynom2__3637_13.min1.thm1
2017-02-06 12:45
275
polynom2__3646_25.min1.thm1
2017-02-06 12:45
872
polynom2__3651_25.min1.thm1
2017-02-06 12:45
871
polynom2__3655_23.min1.thm1
2017-02-06 12:45
1.1K
polynom2__3656_13.min1.thm1
2017-02-06 12:45
594
polynom2__3659_11.min1.thm1
2017-02-06 12:45
555
polynom2__3681_73.min1.thm1
2017-02-06 12:45
714
polynom2__3681_73.min1.thm1.tptp
2017-02-06 16:47
654
polynom2__3714_43.min1.thm1
2017-02-06 12:45
1.4K
polynom2__3729_21.min1.thm1
2017-02-06 12:45
2.0K
polynom2__3732_56.min1.thm1
2017-02-06 12:45
3.0K
polynom2__3733_41.min1.thm1
2017-02-06 12:45
642
polynom2__3740_30.min1.thm1
2017-02-06 12:45
1.6K
polynom2__3744_25.min1.thm1
2017-02-06 12:45
359
polynom2__3744_25.min1.thm1.tptp
2017-02-06 16:47
294
polynom2__3745_35.min1.thm1
2017-02-06 12:45
1.0K
polynom2__3747_26.min1.thm1
2017-02-06 12:45
807
polynom2__3750_27.min1.thm1
2017-02-06 12:45
361
polynom2__3750_27.min1.thm1.tptp
2017-02-06 16:47
293
polynom2__3757_46.min1.thm1
2017-02-06 12:45
2.4K
polynom2__3758_22.min1.thm1
2017-02-06 12:45
2.0K
polynom2__3766_15.min1.thm1
2017-02-06 12:45
213
polynom2__3769_25.min1.thm1
2017-02-06 12:45
363
polynom2__3769_25.min1.thm1.tptp
2017-02-06 16:47
298
polynom2__3770_23.min1.thm1
2017-02-06 12:45
692
polynom2__3774_29.min1.thm1
2017-02-06 12:45
369
polynom2__3774_29.min1.thm1.tptp
2017-02-06 16:47
301
polynom2__3777_31.min1.thm1
2017-02-06 12:45
4.2K
polynom2__3778_23.min1.thm1
2017-02-06 12:45
741
polynom2__3781_17.min1.thm1
2017-02-06 12:45
277
polynom2__3782_32.min1.thm1
2017-02-06 12:45
1.0K
polynom2__3785_19.min1.thm1
2017-02-06 12:45
799
polynom2__3793_18.min1.thm1
2017-02-06 12:45
717
polynom2__3798_29.min1.thm1
2017-02-06 12:45
377
polynom2__3798_29.min1.thm1.tptp
2017-02-06 16:47
309
polynom2__3803_23.min1.thm1
2017-02-06 12:45
4.3K
polynom2__3807_23.min1.thm1
2017-02-06 12:45
1.3K
polynom2__3817_40.min1.thm1
2017-02-06 12:45
649
polynom2__3827_29.min1.thm1
2017-02-06 12:45
365
polynom2__3827_29.min1.thm1.tptp
2017-02-06 16:47
297
polynom2__3832_21.min1.thm1
2017-02-06 12:45
435
polynom2__3837_19.min1.thm1
2017-02-06 12:45
278
polynom2__3838_35.min1.thm1
2017-02-06 12:45
1.1K
polynom2__3841_20.min1.thm1
2017-02-06 12:45
905
polynom2__3843_20.min1.thm1
2017-02-06 12:45
355
polynom2__3843_20.min1.thm1.tptp
2017-02-06 16:47
290
polynom2__3848_45.min1.thm1
2017-02-06 12:45
1.8K
polynom2__3849_37.min1.thm1
2017-02-06 12:45
809
polynom2__3854_35.min1.thm1
2017-02-06 12:45
1.4K
polynom2__3855_15.min1.thm1
2017-02-06 12:45
213
polynom2__3858_21.min1.thm1
2017-02-06 12:45
282
polynom2__3859_37.min1.thm1
2017-02-06 12:45
1.1K
polynom2__3862_22.min1.thm1
2017-02-06 12:45
913
polynom2__3863_20.min1.thm1
2017-02-06 12:45
363
polynom2__3863_20.min1.thm1.tptp
2017-02-06 16:47
298
polynom2__3864_35.min1.thm1
2017-02-06 12:45
1.0K
polynom2__3868_26.min1.thm1
2017-02-06 12:45
1.3K
polynom2__3875_24.min1.thm1
2017-02-06 12:45
369
polynom2__3875_24.min1.thm1.tptp
2017-02-06 16:47
301
polynom2__3881_20.min1.thm1
2017-02-06 12:45
1.7K
polynom2__3900_53.min1.thm1
2017-02-06 12:45
1.6K
polynom2__3905_22.min1.thm1
2017-02-06 12:45
1.9K
polynom2__3907_19.min1.thm1
2017-02-06 12:45
1.6K
polynom2__3914_17.min1.thm1
2017-02-06 12:45
1.6K
polynom2__3928_52.min1.thm1
2017-02-06 12:45
1.6K
polynom2__3939_43.min1.thm1
2017-02-06 12:45
1.4K
polynom2__3954_21.min1.thm1
2017-02-06 12:45
2.0K
polynom2__3957_56.min1.thm1
2017-02-06 12:45
3.0K
polynom2__3958_41.min1.thm1
2017-02-06 12:45
642
polynom2__3965_30.min1.thm1
2017-02-06 12:45
1.6K
polynom2__3969_25.min1.thm1
2017-02-06 12:45
359
polynom2__3969_25.min1.thm1.tptp
2017-02-06 16:47
294
polynom2__3970_35.min1.thm1
2017-02-06 12:45
1.0K
polynom2__3972_26.min1.thm1
2017-02-06 12:45
807
polynom2__3975_27.min1.thm1
2017-02-06 12:45
361
polynom2__3975_27.min1.thm1.tptp
2017-02-06 16:47
293
polynom2__3982_46.min1.thm1
2017-02-06 12:45
2.4K
polynom2__3983_22.min1.thm1
2017-02-06 12:45
2.0K
polynom2__3991_15.min1.thm1
2017-02-06 12:45
213
polynom2__3994_25.min1.thm1
2017-02-06 12:45
363
polynom2__3994_25.min1.thm1.tptp
2017-02-06 16:47
298
polynom2__3995_23.min1.thm1
2017-02-06 12:45
692
polynom2__3999_29.min1.thm1
2017-02-06 12:45
369
polynom2__3999_29.min1.thm1.tptp
2017-02-06 16:47
301
polynom2__4002_31.min1.thm1
2017-02-06 12:45
4.2K
polynom2__4003_23.min1.thm1
2017-02-06 12:45
741
polynom2__4006_17.min1.thm1
2017-02-06 12:45
277
polynom2__4007_32.min1.thm1
2017-02-06 12:45
1.0K
polynom2__4010_19.min1.thm1
2017-02-06 12:45
799
polynom2__4018_18.min1.thm1
2017-02-06 12:45
717
polynom2__4023_29.min1.thm1
2017-02-06 12:45
377
polynom2__4023_29.min1.thm1.tptp
2017-02-06 16:47
309
polynom2__4028_23.min1.thm1
2017-02-06 12:45
4.3K
polynom2__4032_23.min1.thm1
2017-02-06 12:45
1.3K
polynom2__4042_40.min1.thm1
2017-02-06 12:45
649
polynom2__4052_29.min1.thm1
2017-02-06 12:45
365
polynom2__4052_29.min1.thm1.tptp
2017-02-06 16:47
297
polynom2__4057_21.min1.thm1
2017-02-06 12:45
435
polynom2__4062_19.min1.thm1
2017-02-06 12:45
278
polynom2__4063_35.min1.thm1
2017-02-06 12:45
1.1K
polynom2__4066_20.min1.thm1
2017-02-06 12:45
905
polynom2__4068_20.min1.thm1
2017-02-06 12:45
355
polynom2__4068_20.min1.thm1.tptp
2017-02-06 16:47
290
polynom2__4073_45.min1.thm1
2017-02-06 12:45
1.8K
polynom2__4074_37.min1.thm1
2017-02-06 12:45
809
polynom2__4079_35.min1.thm1
2017-02-06 12:45
1.4K
polynom2__4080_15.min1.thm1
2017-02-06 12:45
213
polynom2__4083_21.min1.thm1
2017-02-06 12:45
282
polynom2__4084_37.min1.thm1
2017-02-06 12:45
1.1K
polynom2__4087_22.min1.thm1
2017-02-06 12:45
913
polynom2__4088_20.min1.thm1
2017-02-06 12:45
363
polynom2__4088_20.min1.thm1.tptp
2017-02-06 16:47
298
polynom2__4089_35.min1.thm1
2017-02-06 12:45
1.0K
polynom2__4093_26.min1.thm1
2017-02-06 12:45
1.3K
polynom2__4100_24.min1.thm1
2017-02-06 12:45
369
polynom2__4100_24.min1.thm1.tptp
2017-02-06 16:47
301
polynom2__4106_20.min1.thm1
2017-02-06 12:45
1.7K
polynom2__4129_23.min1.thm1
2017-02-06 12:45
1.9K
polynom2__4131_19.min1.thm1
2017-02-06 12:45
1.6K
polynom2__4138_17.min1.thm1
2017-02-06 12:45
1.6K
polynom2__4161_19.min1.thm1
2017-02-06 12:45
2.8K
polynom2__4168_51.min1.thm1
2017-02-06 12:45
773
polynom2__4172_70.min1.thm1
2017-02-06 12:45
1.9K
polynom2__4173_16.min1.thm1
2017-02-06 12:45
1.4K
polynom2__4181_16.min1.thm1
2017-02-06 12:45
1.4K
polynom2__4181_16.min1.thm1.tptp
2017-02-06 16:47
1.3K
polynom2__4186_26.min1.thm1
2017-02-06 12:45
1.1K
polynom2__4187_18.min1.thm1
2017-02-06 12:45
1.1K
polynom2__4188_21.min1.thm1
2017-02-06 12:45
470
polynom2__4188_21.min1.thm1.tptp
2017-02-06 16:47
388
polynom2__4190_47.min1.thm1
2017-02-06 12:45
2.7K
polynom2__4191_47.min1.thm1
2017-02-06 12:45
2.7K
polynom2__4201_11.min1.thm1
2017-02-06 12:45
1.0K
polynom2__4214_15.min1.thm1
2017-02-06 12:45
1.6K
polynom2__4230_52.min1.thm1
2017-02-06 12:45
591
polynom2__4230_52.min1.thm1.tptp
2017-02-06 16:47
503
polynom2__4253_52.min1.thm1
2017-02-06 12:45
591
polynom2__4253_52.min1.thm1.tptp
2017-02-06 16:47
503
polynom2__4271_78.min1.thm1
2017-02-06 12:45
3.1K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80