Index of /~mptp/1147/MPTP2/ilp0/newton
Name
Last modified
Size
Description
Parent Directory
-
newton__57_57.min1.thm1
2017-02-06 12:46
607
newton__58_18.min1.thm1
2017-02-06 12:46
1.8K
newton__60_17.min1.thm1
2017-02-06 12:46
882
newton__61_19.min1.thm1
2017-02-06 12:46
342
newton__61_19.min1.thm1.tptp
2017-02-06 16:47
264
newton__62_63.min1.thm1
2017-02-06 12:46
517
newton__63_17.min1.thm1
2017-02-06 12:46
1.2K
newton__64_19.min1.thm1
2017-02-06 12:46
356
newton__64_19.min1.thm1.tptp
2017-02-06 16:47
278
newton__66_8.min1.thm1
2017-02-06 12:46
684
newton__67_16.min1.thm1
2017-02-06 12:46
1.0K
newton__74_16.min1.thm1
2017-02-06 12:46
1.1K
newton__77_43.min1.thm1
2017-02-06 12:46
713
newton__78_15.min1.thm1
2017-02-06 12:46
927
newton__79_15.min1.thm1
2017-02-06 12:46
920
newton__80_50.min1.thm1
2017-02-06 12:46
1.5K
newton__83_10.min1.thm1
2017-02-06 12:46
1.1K
newton__85_73.min1.thm1
2017-02-06 12:46
595
newton__85_73.min1.thm1.tptp
2017-02-06 16:47
533
newton__87_21.min1.thm1
2017-02-06 12:46
646
newton__91_21.min1.thm1
2017-02-06 12:46
723
newton__94_17.min1.thm1
2017-02-06 12:46
743
newton__100_58.min1.thm1
2017-02-06 12:46
392
newton__100_58.min1.thm1.tptp
2017-02-06 16:47
314
newton__113_11.min1.thm1
2017-02-06 12:46
589
newton__120_11.min1.thm1
2017-02-06 12:46
128
newton__144_13.min1.thm1
2017-02-06 12:46
1.3K
newton__149_31.min1.thm1
2017-02-06 12:46
754
newton__150_11.min1.thm1
2017-02-06 12:46
579
newton__156_47.min1.thm1
2017-02-06 12:46
1.5K
newton__157_16.min1.thm1
2017-02-06 12:46
1.7K
newton__170_37.min1.thm1
2017-02-06 12:46
280
newton__171_23.min1.thm1
2017-02-06 12:46
688
newton__172_18.min1.thm1
2017-02-06 12:46
588
newton__174_11.min1.thm1
2017-02-06 12:46
1.6K
newton__176_16.min1.thm1
2017-02-06 12:46
339
newton__176_16.min1.thm1.tptp
2017-02-06 16:47
258
newton__185_42.min1.thm1
2017-02-06 12:46
479
newton__187_14.min1.thm1
2017-02-06 12:46
1.0K
newton__193_39.min1.thm1
2017-02-06 12:46
378
newton__201_39.min1.thm1
2017-02-06 12:46
378
newton__203_14.min1.thm1
2017-02-06 12:46
905
newton__213_28.min1.thm1
2017-02-06 12:46
1.5K
newton__214_16.min1.thm1
2017-02-06 12:46
771
newton__216_11.min1.thm1
2017-02-06 12:46
1.7K
newton__218_14.min1.thm1
2017-02-06 12:46
301
newton__218_14.min1.thm1.tptp
2017-02-06 16:47
224
newton__228_26.min1.thm1
2017-02-06 12:46
2.1K
newton__229_10.min1.thm1
2017-02-06 12:46
1.4K
newton__230_16.min1.thm1
2017-02-06 12:46
286
newton__232_11.min1.thm1
2017-02-06 12:46
1.3K
newton__234_14.min1.thm1
2017-02-06 12:46
382
newton__234_14.min1.thm1.tptp
2017-02-06 16:47
309
newton__242_11.min1.thm1
2017-02-06 12:46
857
newton__249_14.min1.thm1
2017-02-06 12:46
847
newton__255_11.min1.thm1
2017-02-06 12:46
394
newton__259_11.min1.thm1
2017-02-06 12:46
1.1K
newton__262_11.min1.thm1
2017-02-06 12:46
1.2K
newton__267_18.min1.thm1
2017-02-06 12:46
1.6K
newton__268_6.min1.thm1
2017-02-06 12:46
869
newton__274_38.min1.thm1
2017-02-06 12:46
480
newton__274_38.min1.thm1.tptp
2017-02-06 16:47
403
newton__285_42.min1.thm1
2017-02-06 12:46
280
newton__286_25.min1.thm1
2017-02-06 12:46
2.1K
newton__287_16.min1.thm1
2017-02-06 12:46
1.7K
newton__289_11.min1.thm1
2017-02-06 12:46
1.3K
newton__291_14.min1.thm1
2017-02-06 12:46
347
newton__291_14.min1.thm1.tptp
2017-02-06 16:47
266
newton__297_14.min1.thm1
2017-02-06 12:46
873
newton__310_11.min1.thm1
2017-02-06 12:46
1.8K
newton__312_14.min1.thm1
2017-02-06 12:46
331
newton__312_14.min1.thm1.tptp
2017-02-06 16:47
248
newton__318_14.min1.thm1
2017-02-06 12:46
1.3K
newton__322_18.min1.thm1
2017-02-06 12:46
1.3K
newton__332_13.min1.thm1
2017-02-06 12:46
129
newton__339_50.min1.thm1
2017-02-06 12:46
1.1K
newton__341_17.min1.thm1
2017-02-06 12:46
491
newton__343_15.min1.thm1
2017-02-06 12:46
197
newton__352_50.min1.thm1
2017-02-06 12:46
1.1K
newton__356_32.min1.thm1
2017-02-06 12:46
1.3K
newton__357_21.min1.thm1
2017-02-06 12:46
1.3K
newton__359_15.min1.thm1
2017-02-06 12:46
267
newton__368_13.min1.thm1
2017-02-06 12:46
217
newton__371_50.min1.thm1
2017-02-06 12:46
1.1K
newton__372_40.min1.thm1
2017-02-06 12:46
893
newton__376_21.min1.thm1
2017-02-06 12:46
931
newton__384_14.min1.thm1
2017-02-06 12:46
570
newton__390_41.min1.thm1
2017-02-06 12:46
1.5K
newton__391_7.min1.thm1
2017-02-06 12:46
964
newton__394_14.min1.thm1
2017-02-06 12:46
236
newton__402_13.min1.thm1
2017-02-06 12:46
1.5K
newton__404_18.min1.thm1
2017-02-06 12:46
1.9K
newton__415_41.min1.thm1
2017-02-06 12:46
1.2K
newton__417_33.min1.thm1
2017-02-06 12:46
1.4K
newton__418_17.min1.thm1
2017-02-06 12:46
417
newton__424_14.min1.thm1
2017-02-06 12:46
564
newton__429_46.min1.thm1
2017-02-06 12:46
1.3K
newton__430_15.min1.thm1
2017-02-06 12:46
523
newton__431_55.min1.thm1
2017-02-06 12:46
2.0K
newton__432_17.min1.thm1
2017-02-06 12:46
1.5K
newton__433_58.min1.thm1
2017-02-06 12:46
2.0K
newton__454_17.min1.thm1
2017-02-06 12:46
764
newton__456_23.min1.thm1
2017-02-06 12:46
1.5K
newton__457_27.min1.thm1
2017-02-06 12:46
1.0K
newton__458_19.min1.thm1
2017-02-06 12:46
1.6K
newton__462_20.min1.thm1
2017-02-06 12:46
1.4K
newton__464_27.min1.thm1
2017-02-06 12:46
1.5K
newton__465_14.min1.thm1
2017-02-06 12:46
1.8K
newton__466_20.min1.thm1
2017-02-06 12:46
811
newton__467_19.min1.thm1
2017-02-06 12:46
2.6K
newton__480_39.min1.thm1
2017-02-06 12:46
1.3K
newton__481_15.min1.thm1
2017-02-06 12:46
866
newton__482_16.min1.thm1
2017-02-06 12:46
318
newton__484_11.min1.thm1
2017-02-06 12:46
530
newton__486_14.min1.thm1
2017-02-06 12:46
367
newton__486_14.min1.thm1.tptp
2017-02-06 16:47
294
newton__495_28.min1.thm1
2017-02-06 12:46
1.2K
newton__496_17.min1.thm1
2017-02-06 12:46
501
newton__516_18.min1.thm1
2017-02-06 12:46
447
newton__517_41.min1.thm1
2017-02-06 12:46
881
newton__519_10.min1.thm1
2017-02-06 12:46
1.3K
newton__520_48.min1.thm1
2017-02-06 12:46
1.9K
newton__521_23.min1.thm1
2017-02-06 12:46
3.7K
newton__523_18.min1.thm1
2017-02-06 12:46
352
newton__526_17.min1.thm1
2017-02-06 12:46
185
newton__527_19.min1.thm1
2017-02-06 12:46
1.2K
newton__532_18.min1.thm1
2017-02-06 12:46
1.1K
newton__533_19.min1.thm1
2017-02-06 12:46
1.5K
newton__536_14.min1.thm1
2017-02-06 12:46
450
newton__558_13.min1.thm1
2017-02-06 12:46
187
newton__562_22.min1.thm1
2017-02-06 12:46
1.6K
newton__563_21.min1.thm1
2017-02-06 12:46
1.0K
newton__567_15.min1.thm1
2017-02-06 12:46
311
newton__567_15.min1.thm1.tptp
2017-02-06 16:47
234
newton__568_36.min1.thm1
2017-02-06 12:46
1.3K
newton__583_26.min1.thm1
2017-02-06 12:46
1.2K
newton__589_34.min1.thm1
2017-02-06 12:46
814
newton__590_33.min1.thm1
2017-02-06 12:46
1.9K
newton__593_9.min1.thm1
2017-02-06 12:46
489
newton__600_14.min1.thm1
2017-02-06 12:46
1.0K
newton__618_37.min1.thm1
2017-02-06 12:46
861
newton__626_20.min1.thm1
2017-02-06 12:46
1.4K
newton__627_51.min1.thm1
2017-02-06 12:46
1.6K
newton__628_17.min1.thm1
2017-02-06 12:46
1.4K
newton__629_24.min1.thm1
2017-02-06 12:46
2.2K
newton__632_17.min1.thm1
2017-02-06 12:46
734
newton__632_17.min1.thm1.tptp
2017-02-06 16:47
678
newton__643_16.min1.thm1
2017-02-06 12:46
784
newton__644_39.min1.thm1
2017-02-06 12:46
1.1K
newton__645_15.min1.thm1
2017-02-06 12:46
1.9K
newton__646_51.min1.thm1
2017-02-06 12:46
1.9K
newton__647_17.min1.thm1
2017-02-06 12:46
1.9K
newton__648_24.min1.thm1
2017-02-06 12:46
2.2K
newton__652_15.min1.thm1
2017-02-06 12:46
406
newton__653_18.min1.thm1
2017-02-06 12:46
330
newton__653_18.min1.thm1.tptp
2017-02-06 16:47
244
newton__655_47.min1.thm1
2017-02-06 12:46
633
newton__676_23.min1.thm1
2017-02-06 12:46
1.3K
newton__677_18.min1.thm1
2017-02-06 12:46
1.2K
newton__678_50.min1.thm1
2017-02-06 12:46
1.6K
newton__679_15.min1.thm1
2017-02-06 12:46
1.2K
newton__680_24.min1.thm1
2017-02-06 12:46
1.8K
newton__682_19.min1.thm1
2017-02-06 12:46
1.3K
newton__683_44.min1.thm1
2017-02-06 12:46
2.3K
newton__694_18.min1.thm1
2017-02-06 12:46
1.8K
newton__695_8.min1.thm1
2017-02-06 12:46
1.0K
newton__698_20.min1.thm1
2017-02-06 12:46
405
newton__698_20.min1.thm1.tptp
2017-02-06 16:47
340
newton__700_14.min1.thm1
2017-02-06 12:46
315
newton__702_12.min1.thm1
2017-02-06 12:46
526
newton__703_47.min1.thm1
2017-02-06 12:46
797
newton__704_43.min1.thm1
2017-02-06 12:46
1.3K
newton__705_30.min1.thm1
2017-02-06 12:46
406
newton__705_30.min1.thm1.tptp
2017-02-06 16:47
341
newton__707_21.min1.thm1
2017-02-06 12:46
2.0K
newton__708_11.min1.thm1
2017-02-06 12:46
2.0K
newton__715_42.min1.thm1
2017-02-06 12:46
738
newton__716_29.min1.thm1
2017-02-06 12:46
1.7K
newton__717_33.min1.thm1
2017-02-06 12:46
1.0K
newton__720_13.min1.thm1
2017-02-06 12:46
2.1K
newton__723_23.min1.thm1
2017-02-06 12:46
1.3K
newton__725_14.min1.thm1
2017-02-06 12:46
372
newton__731_44.min1.thm1
2017-02-06 12:46
2.4K
newton__733_33.min1.thm1
2017-02-06 12:46
1.0K
newton__735_39.min1.thm1
2017-02-06 12:46
545
newton__737_23.min1.thm1
2017-02-06 12:46
751
newton__740_14.min1.thm1
2017-02-06 12:46
420
newton__749_30.min1.thm1
2017-02-06 12:46
477
newton__761_41.min1.thm1
2017-02-06 12:46
1.4K
newton__763_17.min1.thm1
2017-02-06 12:46
1.9K
newton__767_41.min1.thm1
2017-02-06 12:46
1.4K
newton__769_17.min1.thm1
2017-02-06 12:46
1.1K
newton__770_67.min1.thm1
2017-02-06 12:46
536
newton__792_43.min1.thm1
2017-02-06 12:46
2.2K
newton__796_20.min1.thm1
2017-02-06 12:46
1.4K
newton__800_19.min1.thm1
2017-02-06 12:46
2.1K
newton__801_27.min1.thm1
2017-02-06 12:46
2.1K
newton__802_49.min1.thm1
2017-02-06 12:46
1.2K
newton__809_16.min1.thm1
2017-02-06 12:46
327
newton__809_16.min1.thm1.tptp
2017-02-06 16:47
262
newton__814_19.min1.thm1
2017-02-06 12:46
1.2K
newton__818_24.min1.thm1
2017-02-06 12:46
1.7K
newton__820_20.min1.thm1
2017-02-06 12:46
1.2K
newton__825_20.min1.thm1
2017-02-06 12:46
620
newton__827_13.min1.thm1
2017-02-06 12:46
1.4K
newton__828_50.min1.thm1
2017-02-06 12:46
1.6K
newton__837_56.min1.thm1
2017-02-06 12:46
691
newton__838_53.min1.thm1
2017-02-06 12:46
2.2K
newton__841_53.min1.thm1
2017-02-06 12:46
2.1K
newton__847_47.min1.thm1
2017-02-06 12:46
1.2K
newton__852_17.min1.thm1
2017-02-06 12:46
1.9K
newton__853_30.min1.thm1
2017-02-06 12:46
2.3K
newton__854_47.min1.thm1
2017-02-06 12:46
1.2K
newton__863_21.min1.thm1
2017-02-06 12:46
1.8K
newton__884_20.min1.thm1
2017-02-06 12:46
620
newton__891_20.min1.thm1
2017-02-06 12:46
411
newton__891_20.min1.thm1.tptp
2017-02-06 16:47
346
newton__894_27.min1.thm1
2017-02-06 12:46
396
newton__894_27.min1.thm1.tptp
2017-02-06 16:47
315
newton__895_49.min1.thm1
2017-02-06 12:46
1.3K
newton__900_20.min1.thm1
2017-02-06 12:46
971
newton__907_24.min1.thm1
2017-02-06 12:46
1.7K
newton__909_39.min1.thm1
2017-02-06 12:46
1.1K
newton__915_20.min1.thm1
2017-02-06 12:46
1.2K
newton__918_20.min1.thm1
2017-02-06 12:46
620
newton__924_18.min1.thm1
2017-02-06 12:46
640
newton__924_18.min1.thm1.tptp
2017-02-06 16:47
578
newton__925_23.min1.thm1
2017-02-06 12:46
1.7K
newton__930_41.min1.thm1
2017-02-06 12:46
2.4K
newton__934_31.min1.thm1
2017-02-06 12:46
1.1K
newton__936_9.min1.thm1
2017-02-06 12:46
404
newton__938_14.min1.thm1
2017-02-06 12:46
480
newton__938_14.min1.thm1.tptp
2017-02-06 16:47
403
newton__949_37.min1.thm1
2017-02-06 12:46
861
newton__955_18.min1.thm1
2017-02-06 12:46
1.4K
newton__956_50.min1.thm1
2017-02-06 12:46
1.6K
newton__959_17.min1.thm1
2017-02-06 12:46
373
newton__970_16.min1.thm1
2017-02-06 12:46
784
newton__971_39.min1.thm1
2017-02-06 12:46
1.1K
newton__972_15.min1.thm1
2017-02-06 12:46
2.1K
newton__973_51.min1.thm1
2017-02-06 12:46
1.9K
newton__975_34.min1.thm1
2017-02-06 12:46
1.6K
newton__976_15.min1.thm1
2017-02-06 12:46
406
newton__977_18.min1.thm1
2017-02-06 12:46
330
newton__977_18.min1.thm1.tptp
2017-02-06 16:47
244
newton__979_47.min1.thm1
2017-02-06 12:46
633
newton__998_23.min1.thm1
2017-02-06 12:46
1.3K
newton__999_18.min1.thm1
2017-02-06 12:46
1.2K
newton__1000_50.min1.thm1
2017-02-06 12:46
1.6K
newton__1001_19.min1.thm1
2017-02-06 12:46
1.3K
newton__1002_30.min1.thm1
2017-02-06 12:46
1.4K
newton__1003_21.min1.thm1
2017-02-06 12:46
1.5K
newton__1018_54.min1.thm1
2017-02-06 12:46
1.2K
newton__1019_21.min1.thm1
2017-02-06 12:46
662
newton__1020_16.min1.thm1
2017-02-06 12:46
1.2K
newton__1021_49.min1.thm1
2017-02-06 12:46
1.6K
newton__1022_15.min1.thm1
2017-02-06 12:46
1.2K
newton__1023_22.min1.thm1
2017-02-06 12:46
1.7K
newton__1025_56.min1.thm1
2017-02-06 12:46
1.2K
newton__1028_33.min1.thm1
2017-02-06 12:46
1.1K
newton__1031_16.min1.thm1
2017-02-06 12:46
393
newton__1033_31.min1.thm1
2017-02-06 12:46
634
newton__1034_32.min1.thm1
2017-02-06 12:46
1.1K
newton__1041_19.min1.thm1
2017-02-06 12:46
762
newton__1041_47.min1.thm1
2017-02-06 12:46
1.3K
newton__1042_29.min1.thm1
2017-02-06 12:46
365
newton__1042_29.min1.thm1.tptp
2017-02-06 16:47
288
newton__1043_14.min1.thm1
2017-02-06 12:46
290
newton__1061_17.min1.thm1
2017-02-06 12:46
1.6K
newton__1064_27.min1.thm1
2017-02-06 12:46
2.4K
newton__1066_8.min1.thm1
2017-02-06 12:46
1.4K
newton__1069_14.min1.thm1
2017-02-06 12:46
352
newton__1069_14.min1.thm1.tptp
2017-02-06 16:47
271
newton__1078_11.min1.thm1
2017-02-06 12:46
513
newton__1079_17.min1.thm1
2017-02-06 12:46
888
newton__1085_14.min1.thm1
2017-02-06 12:46
346
newton__1085_14.min1.thm1.tptp
2017-02-06 16:47
265
newton__1093_14.min1.thm1
2017-02-06 12:46
421
newton__1094_35.min1.thm1
2017-02-06 12:46
857
newton__1096_17.min1.thm1
2017-02-06 12:46
2.3K
newton__1104_20.min1.thm1
2017-02-06 12:46
2.0K
newton__1105_14.min1.thm1
2017-02-06 12:46
1.9K
newton__1106_17.min1.thm1
2017-02-06 12:46
2.5K
newton__1112_12.min1.thm1
2017-02-06 12:46
1.1K
newton__1113_17.min1.thm1
2017-02-06 12:46
2.1K
newton__1125_22.min1.thm1
2017-02-06 12:46
2.0K
newton__1128_18.min1.thm1
2017-02-06 12:46
350
newton__1128_18.min1.thm1.tptp
2017-02-06 16:47
276
newton__1131_23.min1.thm1
2017-02-06 12:46
1.9K
newton__1139_16.min1.thm1
2017-02-06 12:46
488
newton__1141_8.min1.thm1
2017-02-06 12:46
1.4K
newton__1143_14.min1.thm1
2017-02-06 12:46
320
newton__1143_14.min1.thm1.tptp
2017-02-06 16:47
239
newton__1154_16.min1.thm1
2017-02-06 12:46
522
newton__1156_18.min1.thm1
2017-02-06 12:46
1.1K
newton__1159_20.min1.thm1
2017-02-06 12:46
1.3K
newton__1160_15.min1.thm1
2017-02-06 12:46
876
newton__1166_10.min1.thm1
2017-02-06 12:46
1.9K
newton__1169_45.min1.thm1
2017-02-06 12:46
1.1K
newton__1189_11.min1.thm1
2017-02-06 12:46
470
newton__1191_14.min1.thm1
2017-02-06 12:46
494
newton__1200_28.min1.thm1
2017-02-06 12:46
534
newton__1201_17.min1.thm1
2017-02-06 12:46
530
newton__1205_47.min1.thm1
2017-02-06 12:46
1.6K
newton__1216_18.min1.thm1
2017-02-06 12:46
914
newton__1217_18.min1.thm1
2017-02-06 12:46
938
newton__1218_16.min1.thm1
2017-02-06 12:46
829
newton__1219_21.min1.thm1
2017-02-06 12:46
1.0K
newton__1221_18.min1.thm1
2017-02-06 12:46
1.3K
newton__1222_16.min1.thm1
2017-02-06 12:46
829
newton__1223_21.min1.thm1
2017-02-06 12:46
1.0K
newton__1225_18.min1.thm1
2017-02-06 12:46
1.4K
newton__1226_18.min1.thm1
2017-02-06 12:46
1.0K
newton__1227_18.min1.thm1
2017-02-06 12:46
915
newton__1228_16.min1.thm1
2017-02-06 12:46
830
newton__1229_21.min1.thm1
2017-02-06 12:46
1.1K
newton__1231_18.min1.thm1
2017-02-06 12:46
1.3K
newton__1232_16.min1.thm1
2017-02-06 12:46
830
newton__1233_21.min1.thm1
2017-02-06 12:46
1.0K
newton__1234_21.min1.thm1
2017-02-06 12:46
1.4K
newton__1235_17.min1.thm1
2017-02-06 12:46
1.1K
newton__1246_18.min1.thm1
2017-02-06 12:46
1.2K
newton__1247_18.min1.thm1
2017-02-06 12:46
831
newton__1248_19.min1.thm1
2017-02-06 12:46
1.0K
newton__1250_16.min1.thm1
2017-02-06 12:46
694
newton__1259_18.min1.thm1
2017-02-06 12:46
831
newton__1260_18.min1.thm1
2017-02-06 12:46
831
newton__1262_19.min1.thm1
2017-02-06 12:46
1.1K
newton__1264_17.min1.thm1
2017-02-06 12:46
1.1K
newton__1271_16.min1.thm1
2017-02-06 12:46
308
newton__1271_16.min1.thm1.tptp
2017-02-06 16:47
231
newton__1273_18.min1.thm1
2017-02-06 12:46
1.2K
newton__1274_16.min1.thm1
2017-02-06 12:46
1.2K
newton__1275_17.min1.thm1
2017-02-06 12:46
1.0K
newton__1282_18.min1.thm1
2017-02-06 12:46
816
newton__1283_16.min1.thm1
2017-02-06 12:46
615
newton__1284_17.min1.thm1
2017-02-06 12:46
1.1K
newton__1294_18.min1.thm1
2017-02-06 12:46
938
newton__1295_18.min1.thm1
2017-02-06 12:46
914
newton__1296_16.min1.thm1
2017-02-06 12:46
829
newton__1297_21.min1.thm1
2017-02-06 12:46
1.0K
newton__1299_18.min1.thm1
2017-02-06 12:46
1.3K
newton__1300_18.min1.thm1
2017-02-06 12:46
1.0K
newton__1301_18.min1.thm1
2017-02-06 12:46
914
newton__1302_16.min1.thm1
2017-02-06 12:46
829
newton__1303_21.min1.thm1
2017-02-06 12:46
1.1K
newton__1305_18.min1.thm1
2017-02-06 12:46
1.3K
newton__1306_16.min1.thm1
2017-02-06 12:46
830
newton__1307_21.min1.thm1
2017-02-06 12:46
1.0K
newton__1309_18.min1.thm1
2017-02-06 12:46
1.4K
newton__1310_16.min1.thm1
2017-02-06 12:46
830
newton__1311_21.min1.thm1
2017-02-06 12:46
1.0K
newton__1312_21.min1.thm1
2017-02-06 12:46
1.4K
newton__1313_17.min1.thm1
2017-02-06 12:46
1.1K
newton__1322_18.min1.thm1
2017-02-06 12:46
1.0K
newton__1323_16.min1.thm1
2017-02-06 12:46
829
newton__1324_17.min1.thm1
2017-02-06 12:46
865
newton__1333_18.min1.thm1
2017-02-06 12:46
831
newton__1334_18.min1.thm1
2017-02-06 12:46
831
newton__1336_19.min1.thm1
2017-02-06 12:46
1.1K
newton__1338_17.min1.thm1
2017-02-06 12:46
1.1K
newton__1345_18.min1.thm1
2017-02-06 12:46
818
newton__1346_16.min1.thm1
2017-02-06 12:46
1.0K
newton__1347_17.min1.thm1
2017-02-06 12:46
1.0K
newton__1354_16.min1.thm1
2017-02-06 12:46
313
newton__1354_16.min1.thm1.tptp
2017-02-06 16:47
236
newton__1356_18.min1.thm1
2017-02-06 12:46
1.1K
newton__1357_16.min1.thm1
2017-02-06 12:46
1.3K
newton__1358_17.min1.thm1
2017-02-06 12:46
1.0K
newton__1365_16.min1.thm1
2017-02-06 12:46
829
newton__1366_17.min1.thm1
2017-02-06 12:46
915
newton__1373_16.min1.thm1
2017-02-06 12:46
829
newton__1374_17.min1.thm1
2017-02-06 12:46
793
newton__1380_24.min1.thm1
2017-02-06 12:46
429
newton__1381_17.min1.thm1
2017-02-06 12:46
584
newton__1388_18.min1.thm1
2017-02-06 12:46
829
newton__1391_16.min1.thm1
2017-02-06 12:46
829
newton__1392_21.min1.thm1
2017-02-06 12:46
947
newton__1393_17.min1.thm1
2017-02-06 12:46
1.2K
newton__1400_18.min1.thm1
2017-02-06 12:46
829
newton__1403_16.min1.thm1
2017-02-06 12:46
829
newton__1404_21.min1.thm1
2017-02-06 12:46
1.0K
newton__1405_17.min1.thm1
2017-02-06 12:46
1.1K
newton__1414_26.min1.thm1
2017-02-06 12:46
829
newton__1415_31.min1.thm1
2017-02-06 12:46
1.6K
newton__1416_35.min1.thm1
2017-02-06 12:46
2.0K
newton__1427_28.min1.thm1
2017-02-06 12:46
455
newton__1428_31.min1.thm1
2017-02-06 12:46
1.6K
newton__1429_37.min1.thm1
2017-02-06 12:46
2.2K
newton__1440_18.min1.thm1
2017-02-06 12:46
829
newton__1441_16.min1.thm1
2017-02-06 12:46
829
newton__1443_18.min1.thm1
2017-02-06 12:46
1.2K
newton__1444_18.min1.thm1
2017-02-06 12:46
829
newton__1445_16.min1.thm1
2017-02-06 12:46
829
newton__1446_21.min1.thm1
2017-02-06 12:46
1.2K
newton__1448_18.min1.thm1
2017-02-06 12:46
1.5K
newton__1449_18.min1.thm1
2017-02-06 12:46
829
newton__1450_16.min1.thm1
2017-02-06 12:46
829
newton__1451_21.min1.thm1
2017-02-06 12:46
1.4K
newton__1452_17.min1.thm1
2017-02-06 12:46
1.5K
newton__1461_18.min1.thm1
2017-02-06 12:46
829
newton__1462_18.min1.thm1
2017-02-06 12:46
829
newton__1463_18.min1.thm1
2017-02-06 12:46
829
newton__1464_16.min1.thm1
2017-02-06 12:46
829
newton__1465_21.min1.thm1
2017-02-06 12:46
1.1K
newton__1467_18.min1.thm1
2017-02-06 12:46
1.5K
newton__1469_21.min1.thm1
2017-02-06 12:46
1.5K
newton__1470_17.min1.thm1
2017-02-06 12:46
1.5K
newton__1476_24.min1.thm1
2017-02-06 12:46
829
newton__1477_22.min1.thm1
2017-02-06 12:46
829
newton__1478_17.min1.thm1
2017-02-06 12:46
1.0K
newton__1489_53.min1.thm1
2017-02-06 12:46
1.0K
newton__1496_35.min1.thm1
2017-02-06 12:46
373
newton__1499_34.min1.thm1
2017-02-06 12:46
367
newton__1502_56.min1.thm1
2017-02-06 12:46
401
newton__1513_16.min1.thm1
2017-02-06 12:46
318
newton__1516_17.min1.thm1
2017-02-06 12:46
1.8K
newton__1517_21.min1.thm1
2017-02-06 12:46
2.4K
newton__1521_17.min1.thm1
2017-02-06 12:46
1.7K
newton__1522_21.min1.thm1
2017-02-06 12:46
2.4K
newton__1530_64.min1.thm1
2017-02-06 12:46
903
newton__1532_17.min1.thm1
2017-02-06 12:46
410
newton__1540_11.min1.thm1
2017-02-06 12:46
686
newton__1541_39.min1.thm1
2017-02-06 12:46
1.0K
newton__1550_19.min1.thm1
2017-02-06 12:46
941
newton__1559_15.min1.thm1
2017-02-06 12:46
534
newton__1560_35.min1.thm1
2017-02-06 12:46
366
newton__1562_15.min1.thm1
2017-02-06 12:46
534
newton__1568_19.min1.thm1
2017-02-06 12:46
943
newton__1570_13.min1.thm1
2017-02-06 12:46
1.7K
newton__1572_19.min1.thm1
2017-02-06 12:46
1.8K
newton__1573_13.min1.thm1
2017-02-06 12:46
1.8K
newton__1574_21.min1.thm1
2017-02-06 12:46
2.7K
newton__1575_20.min1.thm1
2017-02-06 12:46
1.6K
newton__1576_17.min1.thm1
2017-02-06 12:46
519
newton__1576_17.min1.thm1.tptp
2017-02-06 16:47
465
newton__1592_37.min1.thm1
2017-02-06 12:46
1.0K
newton__1595_15.min1.thm1
2017-02-06 12:46
380
newton__1596_19.min1.thm1
2017-02-06 12:46
1.0K
newton__1608_41.min1.thm1
2017-02-06 12:46
945
newton__1609_19.min1.thm1
2017-02-06 12:46
799
newton__1610_21.min1.thm1
2017-02-06 12:46
1.1K
newton__1615_39.min1.thm1
2017-02-06 12:46
937
newton__1616_17.min1.thm1
2017-02-06 12:46
785
newton__1617_19.min1.thm1
2017-02-06 12:46
1.1K
newton__1623_14.min1.thm1
2017-02-06 12:46
382
newton__1623_14.min1.thm1.tptp
2017-02-06 16:47
301
newton__1625_14.min1.thm1
2017-02-06 12:46
554
newton__1646_45.min1.thm1
2017-02-06 12:46
1.1K
newton__1650_15.min1.thm1
2017-02-06 12:46
380
newton__1651_19.min1.thm1
2017-02-06 12:46
1.1K
newton__1663_41.min1.thm1
2017-02-06 12:46
945
newton__1664_19.min1.thm1
2017-02-06 12:46
834
newton__1665_14.min1.thm1
2017-02-06 12:46
854
newton__1666_21.min1.thm1
2017-02-06 12:46
1.2K
newton__1671_39.min1.thm1
2017-02-06 12:46
937
newton__1672_17.min1.thm1
2017-02-06 12:46
820
newton__1673_12.min1.thm1
2017-02-06 12:46
840
newton__1674_19.min1.thm1
2017-02-06 12:46
1.1K
newton__1684_42.min1.thm1
2017-02-06 12:46
1.2K
newton__1685_16.min1.thm1
2017-02-06 12:46
1.3K
newton__1686_17.min1.thm1
2017-02-06 12:46
1.1K
newton__1697_42.min1.thm1
2017-02-06 12:46
1.2K
newton__1698_11.min1.thm1
2017-02-06 12:46
958
newton__1700_13.min1.thm1
2017-02-06 12:46
1.4K
newton__1701_16.min1.thm1
2017-02-06 12:46
1.3K
newton__1702_17.min1.thm1
2017-02-06 12:46
1.4K
newton__1711_41.min1.thm1
2017-02-06 12:46
1.2K
newton__1712_15.min1.thm1
2017-02-06 12:46
1.3K
newton__1714_13.min1.thm1
2017-02-06 12:46
1.4K
newton__1715_10.min1.thm1
2017-02-06 12:46
958
newton__1716_17.min1.thm1
2017-02-06 12:46
1.8K
newton__1722_30.min1.thm1
2017-02-06 12:46
341
newton__1722_30.min1.thm1.tptp
2017-02-06 16:47
260
newton__1723_14.min1.thm1
2017-02-06 12:46
703
newton__1729_14.min1.thm1
2017-02-06 12:46
304
newton__1729_14.min1.thm1.tptp
2017-02-06 16:47
223
newton__1737_32.min1.thm1
2017-02-06 12:46
505
newton__1738_35.min1.thm1
2017-02-06 12:46
857
newton__1742_16.min1.thm1
2017-02-06 12:46
1.1K
newton__1746_20.min1.thm1
2017-02-06 12:46
1.2K
newton__1751_20.min1.thm1
2017-02-06 12:46
443
newton__1755_14.min1.thm1
2017-02-06 12:46
385
newton__1756_19.min1.thm1
2017-02-06 12:46
1.7K
newton__1760_25.min1.thm1
2017-02-06 12:46
2.5K
newton__1761_33.min1.thm1
2017-02-06 12:46
1.0K
newton__1763_13.min1.thm1
2017-02-06 12:46
685
newton__1764_13.min1.thm1
2017-02-06 12:46
737
newton__1768_14.min1.thm1
2017-02-06 12:46
710
newton__1776_28.min1.thm1
2017-02-06 12:46
370
newton__1777_24.min1.thm1
2017-02-06 12:46
908
newton__1778_17.min1.thm1
2017-02-06 12:46
1.0K
newton__1779_8.min1.thm1
2017-02-06 12:46
972
newton__1780_34.min1.thm1
2017-02-06 12:46
1.1K
newton__1786_14.min1.thm1
2017-02-06 12:46
700
newton__1791_14.min1.thm1
2017-02-06 12:46
331
newton__1800_37.min1.thm1
2017-02-06 12:46
1.2K
newton__1801_15.min1.thm1
2017-02-06 12:46
1.3K
newton__1803_13.min1.thm1
2017-02-06 12:46
1.4K
newton__1804_10.min1.thm1
2017-02-06 12:46
958
newton__1805_17.min1.thm1
2017-02-06 12:46
1.8K
newton__1809_43.min1.thm1
2017-02-06 12:46
535
newton__1809_43.min1.thm1.tptp
2017-02-06 16:47
505
newton__1812_35.min1.thm1
2017-02-06 12:46
547
newton__1824_26.min1.thm1
2017-02-06 12:46
1.0K
newton__1825_14.min1.thm1
2017-02-06 12:46
544
newton__1828_17.min1.thm1
2017-02-06 12:46
717
newton__1830_12.min1.thm1
2017-02-06 12:46
901
newton__1831_17.min1.thm1
2017-02-06 12:46
697
newton__1832_19.min1.thm1
2017-02-06 12:46
812
newton__1836_17.min1.thm1
2017-02-06 12:46
331
newton__1836_17.min1.thm1.tptp
2017-02-06 16:47
266
newton__1837_19.min1.thm1
2017-02-06 12:46
838
newton__1842_43.min1.thm1
2017-02-06 12:46
535
newton__1842_43.min1.thm1.tptp
2017-02-06 16:47
505
newton__1851_39.min1.thm1
2017-02-06 12:46
1.2K
newton__1852_17.min1.thm1
2017-02-06 12:46
1.3K
newton__1853_12.min1.thm1
2017-02-06 12:46
972
newton__1854_19.min1.thm1
2017-02-06 12:46
728
newton__1858_55.min1.thm1
2017-02-06 12:46
575
newton__1859_17.min1.thm1
2017-02-06 12:46
1.3K
newton__1877_34.min1.thm1
2017-02-06 12:46
1.3K
newton__1880_35.min1.thm1
2017-02-06 12:46
424
newton__1880_35.min1.thm1.tptp
2017-02-06 16:47
355
newton__1881_20.min1.thm1
2017-02-06 12:46
339
newton__1891_43.min1.thm1
2017-02-06 12:46
1.2K
newton__1892_21.min1.thm1
2017-02-06 12:46
1.4K
newton__1893_14.min1.thm1
2017-02-06 12:46
1.0K
newton__1895_15.min1.thm1
2017-02-06 12:46
1.2K
newton__1896_20.min1.thm1
2017-02-06 12:46
1.3K
newton__1899_26.min1.thm1
2017-02-06 12:46
375
newton__1899_26.min1.thm1.tptp
2017-02-06 16:47
310
newton__1900_25.min1.thm1
2017-02-06 12:46
664
newton__1904_54.min1.thm1
2017-02-06 12:46
326
newton__1905_34.min1.thm1
2017-02-06 12:46
1.4K
newton__1906_25.min1.thm1
2017-02-06 12:46
1.0K
newton__1909_50.min1.thm1
2017-02-06 12:46
852
newton__1910_52.min1.thm1
2017-02-06 12:46
636
newton__1911_44.min1.thm1
2017-02-06 12:46
1.8K
newton__1912_20.min1.thm1
2017-02-06 12:46
511
newton__1912_20.min1.thm1.tptp
2017-02-06 16:47
436
newton__1914_72.min1.thm1
2017-02-06 12:46
1.8K
newton__1916_13.min1.thm1
2017-02-06 12:46
1.0K
newton__1920_15.min1.thm1
2017-02-06 12:46
429
newton__1920_15.min1.thm1.tptp
2017-02-06 16:47
366
newton__1921_15.min1.thm1
2017-02-06 12:46
380
newton__1922_19.min1.thm1
2017-02-06 12:46
1.0K
newton__1934_18.min1.thm1
2017-02-06 12:46
1.3K
newton__1937_36.min1.thm1
2017-02-06 12:46
1.7K
newton__1938_64.min1.thm1
2017-02-06 12:46
1.7K
newton__1944_36.min1.thm1
2017-02-06 12:46
1.7K
newton__1945_64.min1.thm1
2017-02-06 12:46
1.7K
newton__1955_71.min1.thm1
2017-02-06 12:46
260
newton__1963_46.min1.thm1
2017-02-06 12:46
200
newton__1965_37.min1.thm1
2017-02-06 12:46
449
newton__1966_32.min1.thm1
2017-02-06 12:46
782
newton__1967_33.min1.thm1
2017-02-06 12:46
416
newton__1969_18.min1.thm1
2017-02-06 12:46
1.0K
newton__1972_34.min1.thm1
2017-02-06 12:46
1.2K
newton__1973_24.min1.thm1
2017-02-06 12:46
1.8K
newton__1979_14.min1.thm1
2017-02-06 12:46
290
newton__1979_14.min1.thm1.tptp
2017-02-06 16:47
198
newton__1997_26.min1.thm1
2017-02-06 12:46
731
newton__2003_26.min1.thm1
2017-02-06 12:46
488
newton__2007_13.min1.thm1
2017-02-06 12:46
1.3K
newton__2011_24.min1.thm1
2017-02-06 12:46
460
newton__2017_14.min1.thm1
2017-02-06 12:46
1.7K
newton__2018_35.min1.thm1
2017-02-06 12:46
610
newton__2021_14.min1.thm1
2017-02-06 12:46
530
newton__2023_14.min1.thm1
2017-02-06 12:46
1.0K
newton__2024_34.min1.thm1
2017-02-06 12:46
1.0K
newton__2025_39.min1.thm1
2017-02-06 12:46
1.6K
newton__2028_30.min1.thm1
2017-02-06 12:46
611
newton__2037_20.min1.thm1
2017-02-06 12:46
1.2K
newton__2038_14.min1.thm1
2017-02-06 12:46
1.0K
newton__2042_31.min1.thm1
2017-02-06 12:46
1.5K
newton__2045_14.min1.thm1
2017-02-06 12:46
1.1K
newton__2047_20.min1.thm1
2017-02-06 12:46
1.4K
newton__2048_15.min1.thm1
2017-02-06 12:46
669
newton__2050_22.min1.thm1
2017-02-06 12:46
749
newton__2051_24.min1.thm1
2017-02-06 12:46
1.3K
newton__2052_24.min1.thm1
2017-02-06 12:46
1.5K
newton__2054_19.min1.thm1
2017-02-06 12:46
1.2K
newton__2056_19.min1.thm1
2017-02-06 12:46
1.2K
newton__2057_14.min1.thm1
2017-02-06 12:46
2.3K
newton__2061_21.min1.thm1
2017-02-06 12:46
736
newton__2064_19.min1.thm1
2017-02-06 12:46
2.0K
newton__2065_19.min1.thm1
2017-02-06 12:46
583
newton__2067_14.min1.thm1
2017-02-06 12:46
639
newton__2068_36.min1.thm1
2017-02-06 12:46
2.5K
newton__2069_28.min1.thm1
2017-02-06 12:46
2.3K
newton__2071_25.min1.thm1
2017-02-06 12:46
687
newton__2072_24.min1.thm1
2017-02-06 12:46
1.6K
newton__2077_18.min1.thm1
2017-02-06 12:46
1.4K
newton__2080_19.min1.thm1
2017-02-06 12:46
1.6K
newton__2091_30.min1.thm1
2017-02-06 12:46
358
newton__2091_30.min1.thm1.tptp
2017-02-06 16:47
281
newton__2092_20.min1.thm1
2017-02-06 12:46
1.1K
newton__2093_13.min1.thm1
2017-02-06 12:46
762
newton__2094_14.min1.thm1
2017-02-06 12:46
432
newton__2100_63.min1.thm1
2017-02-06 12:46
474
newton__2100_63.min1.thm1.tptp
2017-02-06 16:47
440
newton__2115_26.min1.thm1
2017-02-06 12:46
832
newton__2118_20.min1.thm1
2017-02-06 12:46
479
newton__2119_19.min1.thm1
2017-02-06 12:46
2.5K
newton__2121_11.min1.thm1
2017-02-06 12:46
2.0K
newton__2123_14.min1.thm1
2017-02-06 12:46
507
newton__2132_16.min1.thm1
2017-02-06 12:46
1.5K
newton__2133_17.min1.thm1
2017-02-06 12:46
1.2K
newton__2148_12.min1.thm1
2017-02-06 12:46
2.1K
newton__2168_14.min1.thm1
2017-02-06 12:46
370
newton__2168_14.min1.thm1.tptp
2017-02-06 16:47
289
newton__2174_18.min1.thm1
2017-02-06 12:46
366
newton__2174_18.min1.thm1.tptp
2017-02-06 16:47
285
newton__2175_17.min1.thm1
2017-02-06 12:46
1.0K
newton__2198_33.min1.thm1
2017-02-06 12:46
1.4K
newton__2199_14.min1.thm1
2017-02-06 12:46
2.4K
newton__2201_49.min1.thm1
2017-02-06 12:46
1.2K
newton__2207_15.min1.thm1
2017-02-06 12:46
198
newton__2210_23.min1.thm1
2017-02-06 12:46
460
newton__2215_18.min1.thm1
2017-02-06 12:46
1.0K
newton__2216_41.min1.thm1
2017-02-06 12:46
901
newton__2220_37.min1.thm1
2017-02-06 12:46
843
newton__2221_19.min1.thm1
2017-02-06 12:46
1.4K
newton__2224_35.min1.thm1
2017-02-06 12:46
841
newton__2225_20.min1.thm1
2017-02-06 12:46
1.4K
newton__2226_23.min1.thm1
2017-02-06 12:46
2.0K
newton__2229_16.min1.thm1
2017-02-06 12:46
501
newton__2235_15.min1.thm1
2017-02-06 12:46
306
newton__2239_29.min1.thm1
2017-02-06 12:46
278
newton__2242_41.min1.thm1
2017-02-06 12:46
1.7K
newton__2243_19.min1.thm1
2017-02-06 12:46
871
newton__2246_64.min1.thm1
2017-02-06 12:46
2.2K
newton__2248_29.min1.thm1
2017-02-06 12:46
2.0K
newton__2252_41.min1.thm1
2017-02-06 12:46
1.7K
newton__2253_19.min1.thm1
2017-02-06 12:46
1.4K
newton__2256_39.min1.thm1
2017-02-06 12:46
1.7K
newton__2257_20.min1.thm1
2017-02-06 12:46
1.4K
newton__2258_23.min1.thm1
2017-02-06 12:46
3.9K
newton__2262_65.min1.thm1
2017-02-06 12:46
2.2K
newton__2264_33.min1.thm1
2017-02-06 12:46
2.7K
newton__2267_16.min1.thm1
2017-02-06 12:46
1.0K
newton__2269_27.min1.thm1
2017-02-06 12:46
354
newton__2269_27.min1.thm1.tptp
2017-02-06 16:47
262
newton__2273_28.min1.thm1
2017-02-06 12:46
2.8K
newton__2274_20.min1.thm1
2017-02-06 12:46
1.2K
newton__2275_36.min1.thm1
2017-02-06 12:46
2.3K
newton__2276_11.min1.thm1
2017-02-06 12:46
1.9K
newton__2291_24.min1.thm1
2017-02-06 12:46
598
newton__2292_19.min1.thm1
2017-02-06 12:46
2.9K
newton__2294_11.min1.thm1
2017-02-06 12:46
1.7K
newton__2296_14.min1.thm1
2017-02-06 12:46
729
newton__2306_16.min1.thm1
2017-02-06 12:46
750
newton__2307_11.min1.thm1
2017-02-06 12:46
848
newton__2309_14.min1.thm1
2017-02-06 12:46
427
newton__2310_17.min1.thm1
2017-02-06 12:46
1.1K
newton__2311_35.min1.thm1
2017-02-06 12:46
861
newton__2316_27.min1.thm1
2017-02-06 12:46
1.8K
newton__2320_19.min1.thm1
2017-02-06 12:46
1.0K
newton__2327_17.min1.thm1
2017-02-06 12:46
1.1K
newton__2333_18.min1.thm1
2017-02-06 12:46
627
newton__2343_16.min1.thm1
2017-02-06 12:46
544
newton__2344_35.min1.thm1
2017-02-06 12:46
861
newton__2345_31.min1.thm1
2017-02-06 12:46
922
newton__2346_17.min1.thm1
2017-02-06 12:46
1.0K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80