Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/bagorder
Name
Last modified
Size
Description
Parent Directory
-
bagorder__59_22.min1.thm1
2017-02-06 12:45
454
bagorder__60_26.min1.thm1
2017-02-06 12:45
692
bagorder__61_18.min1.thm1
2017-02-06 12:45
552
bagorder__62_11.min1.thm1
2017-02-06 12:45
454
bagorder__76_13.min1.thm1
2017-02-06 12:45
822
bagorder__78_12.min1.thm1
2017-02-06 12:45
1.8K
bagorder__79_43.min1.thm1
2017-02-06 12:45
2.1K
bagorder__80_12.min1.thm1
2017-02-06 12:45
259
bagorder__81_31.min1.thm1
2017-02-06 12:45
366
bagorder__81_31.min1.thm1.tptp
2017-02-06 16:48
280
bagorder__82_12.min1.thm1
2017-02-06 12:45
2.7K
bagorder__83_43.min1.thm1
2017-02-06 12:45
2.0K
bagorder__84_23.min1.thm1
2017-02-06 12:45
1.8K
bagorder__92_42.min1.thm1
2017-02-06 12:45
288
bagorder__93_9.min1.thm1
2017-02-06 12:45
2.2K
bagorder__95_27.min1.thm1
2017-02-06 12:45
3.7K
bagorder__111_21.min1.thm1
2017-02-06 12:45
852
bagorder__112_35.min1.thm1
2017-02-06 12:45
715
bagorder__114_21.min1.thm1
2017-02-06 12:45
569
bagorder__116_19.min1.thm1
2017-02-06 12:45
1.0K
bagorder__129_26.min1.thm1
2017-02-06 12:45
1.1K
bagorder__137_54.min1.thm1
2017-02-06 12:45
2.1K
bagorder__161_63.min1.thm1
2017-02-06 12:45
844
bagorder__162_44.min1.thm1
2017-02-06 12:45
353
bagorder__164_18.min1.thm1
2017-02-06 12:45
210
bagorder__166_20.min1.thm1
2017-02-06 12:45
671
bagorder__169_57.min1.thm1
2017-02-06 12:45
534
bagorder__173_44.min1.thm1
2017-02-06 12:45
1.0K
bagorder__177_69.min1.thm1
2017-02-06 12:45
819
bagorder__178_16.min1.thm1
2017-02-06 12:45
458
bagorder__185_21.min1.thm1
2017-02-06 12:45
612
bagorder__185_21.min1.thm1.tptp
2017-02-06 16:48
546
bagorder__186_21.min1.thm1
2017-02-06 12:45
612
bagorder__186_21.min1.thm1.tptp
2017-02-06 16:48
546
bagorder__191_63.min1.thm1
2017-02-06 12:45
844
bagorder__192_44.min1.thm1
2017-02-06 12:45
353
bagorder__193_25.min1.thm1
2017-02-06 12:45
772
bagorder__194_28.min1.thm1
2017-02-06 12:45
914
bagorder__213_63.min1.thm1
2017-02-06 12:45
844
bagorder__214_41.min1.thm1
2017-02-06 12:45
353
bagorder__216_20.min1.thm1
2017-02-06 12:45
1.3K
bagorder__218_34.min1.thm1
2017-02-06 12:45
509
bagorder__218_34.min1.thm1.tptp
2017-02-06 16:48
445
bagorder__219_19.min1.thm1
2017-02-06 12:45
1.2K
bagorder__226_11.min1.thm1
2017-02-06 12:45
2.1K
bagorder__236_50.min1.thm1
2017-02-06 12:45
505
bagorder__245_22.min1.thm1
2017-02-06 12:45
1.3K
bagorder__257_15.min1.thm1
2017-02-06 12:45
2.2K
bagorder__263_23.min1.thm1
2017-02-06 12:45
2.3K
bagorder__272_55.min1.thm1
2017-02-06 12:45
631
bagorder__273_44.min1.thm1
2017-02-06 12:45
312
bagorder__274_13.min1.thm1
2017-02-06 12:45
252
bagorder__276_26.min1.thm1
2017-02-06 12:45
660
bagorder__279_22.min1.thm1
2017-02-06 12:45
1.7K
bagorder__280_26.min1.thm1
2017-02-06 12:45
833
bagorder__290_11.min1.thm1
2017-02-06 12:45
131
bagorder__299_24.min1.thm1
2017-02-06 12:45
3.4K
bagorder__300_20.min1.thm1
2017-02-06 12:45
1.3K
bagorder__302_29.min1.thm1
2017-02-06 12:45
829
bagorder__307_62.min1.thm1
2017-02-06 12:45
645
bagorder__312_16.min1.thm1
2017-02-06 12:45
418
bagorder__312_16.min1.thm1.tptp
2017-02-06 16:48
338
bagorder__323_29.min1.thm1
2017-02-06 12:45
472
bagorder__323_29.min1.thm1.tptp
2017-02-06 16:48
394
bagorder__324_32.min1.thm1
2017-02-06 12:45
472
bagorder__324_32.min1.thm1.tptp
2017-02-06 16:48
394
bagorder__325_15.min1.thm1
2017-02-06 12:45
290
bagorder__328_9.min1.thm1
2017-02-06 12:45
297
bagorder__333_38.min1.thm1
2017-02-06 12:45
521
bagorder__335_13.min1.thm1
2017-02-06 12:45
195
bagorder__339_28.min1.thm1
2017-02-06 12:45
696
bagorder__340_25.min1.thm1
2017-02-06 12:45
696
bagorder__341_72.min1.thm1
2017-02-06 12:45
1.2K
bagorder__348_31.min1.thm1
2017-02-06 12:45
578
bagorder__348_31.min1.thm1.tptp
2017-02-06 16:48
510
bagorder__349_19.min1.thm1
2017-02-06 12:45
619
bagorder__353_21.min1.thm1
2017-02-06 12:45
286
bagorder__354_33.min1.thm1
2017-02-06 12:45
641
bagorder__360_20.min1.thm1
2017-02-06 12:45
761
bagorder__364_24.min1.thm1
2017-02-06 12:45
554
bagorder__364_24.min1.thm1.tptp
2017-02-06 16:48
492
bagorder__367_27.min1.thm1
2017-02-06 12:45
257
bagorder__383_27.min1.thm1
2017-02-06 12:45
641
bagorder__389_33.min1.thm1
2017-02-06 12:45
558
bagorder__395_23.min1.thm1
2017-02-06 12:45
682
bagorder__395_23.min1.thm1.tptp
2017-02-06 16:48
616
bagorder__396_24.min1.thm1
2017-02-06 12:45
554
bagorder__396_24.min1.thm1.tptp
2017-02-06 16:48
492
bagorder__402_22.min1.thm1
2017-02-06 12:45
403
bagorder__402_22.min1.thm1.tptp
2017-02-06 16:48
338
bagorder__407_28.min1.thm1
2017-02-06 12:45
558
bagorder__413_33.min1.thm1
2017-02-06 12:45
558
bagorder__419_23.min1.thm1
2017-02-06 12:45
682
bagorder__419_23.min1.thm1.tptp
2017-02-06 16:48
616
bagorder__420_24.min1.thm1
2017-02-06 12:45
554
bagorder__420_24.min1.thm1.tptp
2017-02-06 16:48
492
bagorder__428_28.min1.thm1
2017-02-06 12:45
558
bagorder__433_58.min1.thm1
2017-02-06 12:45
636
bagorder__448_29.min1.thm1
2017-02-06 12:45
472
bagorder__448_29.min1.thm1.tptp
2017-02-06 16:48
394
bagorder__449_32.min1.thm1
2017-02-06 12:45
472
bagorder__449_32.min1.thm1.tptp
2017-02-06 16:48
394
bagorder__450_15.min1.thm1
2017-02-06 12:45
290
bagorder__453_9.min1.thm1
2017-02-06 12:45
297
bagorder__458_38.min1.thm1
2017-02-06 12:45
521
bagorder__460_13.min1.thm1
2017-02-06 12:45
195
bagorder__464_28.min1.thm1
2017-02-06 12:45
696
bagorder__465_25.min1.thm1
2017-02-06 12:45
696
bagorder__466_72.min1.thm1
2017-02-06 12:45
1.2K
bagorder__473_31.min1.thm1
2017-02-06 12:45
578
bagorder__473_31.min1.thm1.tptp
2017-02-06 16:48
510
bagorder__474_19.min1.thm1
2017-02-06 12:45
619
bagorder__478_21.min1.thm1
2017-02-06 12:45
286
bagorder__479_33.min1.thm1
2017-02-06 12:45
641
bagorder__485_23.min1.thm1
2017-02-06 12:45
729
bagorder__486_20.min1.thm1
2017-02-06 12:45
761
bagorder__490_24.min1.thm1
2017-02-06 12:45
554
bagorder__490_24.min1.thm1.tptp
2017-02-06 16:48
492
bagorder__493_27.min1.thm1
2017-02-06 12:45
257
bagorder__509_27.min1.thm1
2017-02-06 12:45
641
bagorder__515_33.min1.thm1
2017-02-06 12:45
558
bagorder__521_23.min1.thm1
2017-02-06 12:45
682
bagorder__521_23.min1.thm1.tptp
2017-02-06 16:48
616
bagorder__522_24.min1.thm1
2017-02-06 12:45
554
bagorder__522_24.min1.thm1.tptp
2017-02-06 16:48
492
bagorder__528_22.min1.thm1
2017-02-06 12:45
403
bagorder__528_22.min1.thm1.tptp
2017-02-06 16:48
338
bagorder__533_28.min1.thm1
2017-02-06 12:45
558
bagorder__539_33.min1.thm1
2017-02-06 12:45
558
bagorder__545_23.min1.thm1
2017-02-06 12:45
682
bagorder__545_23.min1.thm1.tptp
2017-02-06 16:48
616
bagorder__546_24.min1.thm1
2017-02-06 12:45
554
bagorder__546_24.min1.thm1.tptp
2017-02-06 16:48
492
bagorder__554_28.min1.thm1
2017-02-06 12:45
558
bagorder__559_58.min1.thm1
2017-02-06 12:45
636
bagorder__577_29.min1.thm1
2017-02-06 12:45
472
bagorder__577_29.min1.thm1.tptp
2017-02-06 16:48
394
bagorder__578_32.min1.thm1
2017-02-06 12:45
472
bagorder__578_32.min1.thm1.tptp
2017-02-06 16:48
394
bagorder__581_10.min1.thm1
2017-02-06 12:45
1.3K
bagorder__587_20.min1.thm1
2017-02-06 12:45
610
bagorder__596_27.min1.thm1
2017-02-06 12:45
1.0K
bagorder__603_47.min1.thm1
2017-02-06 12:45
1.0K
bagorder__625_29.min1.thm1
2017-02-06 12:45
441
bagorder__625_29.min1.thm1.tptp
2017-02-06 16:48
363
bagorder__628_10.min1.thm1
2017-02-06 12:45
1.1K
bagorder__634_20.min1.thm1
2017-02-06 12:45
610
bagorder__643_27.min1.thm1
2017-02-06 12:45
892
bagorder__648_30.min1.thm1
2017-02-06 12:45
706
bagorder__665_31.min1.thm1
2017-02-06 12:45
505
bagorder__666_18.min1.thm1
2017-02-06 12:45
1.0K
bagorder__667_16.min1.thm1
2017-02-06 12:45
854
bagorder__671_30.min1.thm1
2017-02-06 12:45
558
bagorder__674_14.min1.thm1
2017-02-06 12:45
1.2K
bagorder__679_15.min1.thm1
2017-02-06 12:45
602
bagorder__679_15.min1.thm1.tptp
2017-02-06 16:48
535
bagorder__680_10.min1.thm1
2017-02-06 12:45
759
bagorder__684_35.min1.thm1
2017-02-06 12:45
922
bagorder__685_17.min1.thm1
2017-02-06 12:45
2.2K
bagorder__698_31.min1.thm1
2017-02-06 12:45
1.0K
bagorder__699_11.min1.thm1
2017-02-06 12:45
517
bagorder__715_16.min1.thm1
2017-02-06 12:45
561
bagorder__715_16.min1.thm1.tptp
2017-02-06 16:48
495
bagorder__716_19.min1.thm1
2017-02-06 12:45
758
bagorder__717_50.min1.thm1
2017-02-06 12:45
1.4K
bagorder__718_10.min1.thm1
2017-02-06 12:45
239
bagorder__720_31.min1.thm1
2017-02-06 12:45
1.1K
bagorder__722_15.min1.thm1
2017-02-06 12:45
736
bagorder__724_12.min1.thm1
2017-02-06 12:45
605
bagorder__744_16.min1.thm1
2017-02-06 12:45
557
bagorder__744_16.min1.thm1.tptp
2017-02-06 16:48
491
bagorder__745_27.min1.thm1
2017-02-06 12:45
531
bagorder__746_38.min1.thm1
2017-02-06 12:45
1.2K
bagorder__747_34.min1.thm1
2017-02-06 12:45
1.4K
bagorder__757_11.min1.thm1
2017-02-06 12:45
189
bagorder__762_42.min1.thm1
2017-02-06 12:45
389
bagorder__764_17.min1.thm1
2017-02-06 12:45
748
bagorder__765_46.min1.thm1
2017-02-06 12:45
1.5K
bagorder__768_47.min1.thm1
2017-02-06 12:45
631
bagorder__769_47.min1.thm1
2017-02-06 12:45
446
bagorder__771_24.min1.thm1
2017-02-06 12:45
1.3K
bagorder__771_40.min1.thm1
2017-02-06 12:45
2.2K
bagorder__773_36.min1.thm1
2017-02-06 12:45
2.0K
bagorder__791_36.min1.thm1
2017-02-06 12:45
1.1K
bagorder__796_36.min1.thm1
2017-02-06 12:45
1.1K
bagorder__798_30.min1.thm1
2017-02-06 12:45
1.6K
bagorder__807_19.min1.thm1
2017-02-06 12:45
2.6K
bagorder__816_27.min1.thm1
2017-02-06 12:45
531
bagorder__817_38.min1.thm1
2017-02-06 12:45
1.2K
bagorder__823_40.min1.thm1
2017-02-06 12:45
1.2K
bagorder__826_40.min1.thm1
2017-02-06 12:45
1.2K
bagorder__827_47.min1.thm1
2017-02-06 12:45
443
bagorder__829_39.min1.thm1
2017-02-06 12:45
1.7K
bagorder__832_35.min1.thm1
2017-02-06 12:45
940
bagorder__836_17.min1.thm1
2017-02-06 12:45
558
bagorder__836_17.min1.thm1.tptp
2017-02-06 16:48
492
bagorder__837_17.min1.thm1
2017-02-06 12:45
558
bagorder__837_17.min1.thm1.tptp
2017-02-06 16:48
492
bagorder__843_24.min1.thm1
2017-02-06 12:45
1.2K
bagorder__844_21.min1.thm1
2017-02-06 12:45
1.2K
bagorder__845_54.min1.thm1
2017-02-06 12:45
884
bagorder__847_4.min1.thm1
2017-02-06 12:45
1.0K
bagorder__849_21.min1.thm1
2017-02-06 12:45
1.4K
bagorder__850_24.min1.thm1
2017-02-06 12:45
1.1K
bagorder__859_34.min1.thm1
2017-02-06 12:45
1.0K
bagorder__865_29.min1.thm1
2017-02-06 12:45
1.1K
bagorder__869_26.min1.thm1
2017-02-06 12:45
225
bagorder__870_55.min1.thm1
2017-02-06 12:45
1.2K
bagorder__900_27.min1.thm1
2017-02-06 12:45
531
bagorder__901_36.min1.thm1
2017-02-06 12:45
1.2K
bagorder__904_16.min1.thm1
2017-02-06 12:45
557
bagorder__904_16.min1.thm1.tptp
2017-02-06 16:48
491
bagorder__910_39.min1.thm1
2017-02-06 12:45
1.2K
bagorder__911_22.min1.thm1
2017-02-06 12:45
641
bagorder__916_23.min1.thm1
2017-02-06 12:45
1.0K
bagorder__925_23.min1.thm1
2017-02-06 12:45
1.5K
bagorder__926_27.min1.thm1
2017-02-06 12:45
364
bagorder__926_27.min1.thm1.tptp
2017-02-06 16:48
285
bagorder__930_19.min1.thm1
2017-02-06 12:45
360
bagorder__930_19.min1.thm1.tptp
2017-02-06 16:48
281
bagorder__932_36.min1.thm1
2017-02-06 12:45
1.2K
bagorder__936_22.min1.thm1
2017-02-06 12:45
432
bagorder__943_17.min1.thm1
2017-02-06 12:45
2.1K
bagorder__954_13.min1.thm1
2017-02-06 12:45
485
bagorder__958_63.min1.thm1
2017-02-06 12:45
1.2K
bagorder__959_44.min1.thm1
2017-02-06 12:45
351
bagorder__961_15.min1.thm1
2017-02-06 12:45
1.5K
bagorder__962_41.min1.thm1
2017-02-06 12:45
2.5K
bagorder__983_44.min1.thm1
2017-02-06 12:45
343
bagorder__1000_30.min1.thm1
2017-02-06 12:45
456
bagorder__1001_24.min1.thm1
2017-02-06 12:45
2.0K
bagorder__1011_16.min1.thm1
2017-02-06 12:45
557
bagorder__1011_16.min1.thm1.tptp
2017-02-06 16:48
491
bagorder__1012_23.min1.thm1
2017-02-06 12:45
1.6K
bagorder__1016_13.min1.thm1
2017-02-06 12:45
1.7K
bagorder__1026_13.min1.thm1
2017-02-06 12:45
692
bagorder__1027_14.min1.thm1
2017-02-06 12:45
557
bagorder__1027_14.min1.thm1.tptp
2017-02-06 16:48
491
bagorder__1028_23.min1.thm1
2017-02-06 12:45
1.4K
bagorder__1029_17.min1.thm1
2017-02-06 12:45
1.7K
bagorder__1040_18.min1.thm1
2017-02-06 12:45
1.0K
bagorder__1041_18.min1.thm1
2017-02-06 12:45
2.5K
bagorder__1042_17.min1.thm1
2017-02-06 12:45
1.0K
bagorder__1075_40.min1.thm1
2017-02-06 12:45
1.7K
bagorder__1076_29.min1.thm1
2017-02-06 12:45
1.2K
bagorder__1077_55.min1.thm1
2017-02-06 12:45
2.2K
bagorder__1082_23.min1.thm1
2017-02-06 12:45
739
bagorder__1085_64.min1.thm1
2017-02-06 12:45
799
bagorder__1090_14.min1.thm1
2017-02-06 12:45
1.8K
bagorder__1091_20.min1.thm1
2017-02-06 12:45
1.5K
bagorder__1105_36.min1.thm1
2017-02-06 12:45
1.3K
bagorder__1111_25.min1.thm1
2017-02-06 12:45
3.0K
bagorder__1123_35.min1.thm1
2017-02-06 12:45
339
bagorder__1123_35.min1.thm1.tptp
2017-02-06 16:48
258
bagorder__1124_16.min1.thm1
2017-02-06 12:45
819
bagorder__1131_14.min1.thm1
2017-02-06 12:45
337
bagorder__1131_14.min1.thm1.tptp
2017-02-06 16:48
256
bagorder__1143_21.min1.thm1
2017-02-06 12:45
1.0K
bagorder__1147_24.min1.thm1
2017-02-06 12:45
1.1K
bagorder__1154_14.min1.thm1
2017-02-06 12:45
875
bagorder__1155_17.min1.thm1
2017-02-06 12:45
369
bagorder__1155_17.min1.thm1.tptp
2017-02-06 16:48
290
bagorder__1160_21.min1.thm1
2017-02-06 12:45
1.1K
bagorder__1166_15.min1.thm1
2017-02-06 12:45
1.1K
bagorder__1169_15.min1.thm1
2017-02-06 12:45
359
bagorder__1178_31.min1.thm1
2017-02-06 12:45
1.4K
bagorder__1181_15.min1.thm1
2017-02-06 12:45
577
bagorder__1185_31.min1.thm1
2017-02-06 12:45
777
bagorder__1189_41.min1.thm1
2017-02-06 12:45
929
bagorder__1192_27.min1.thm1
2017-02-06 12:45
898
bagorder__1195_16.min1.thm1
2017-02-06 12:45
875
bagorder__1196_18.min1.thm1
2017-02-06 12:45
369
bagorder__1196_18.min1.thm1.tptp
2017-02-06 16:48
290
bagorder__1209_12.min1.thm1
2017-02-06 12:45
346
bagorder__1209_12.min1.thm1.tptp
2017-02-06 16:48
267
bagorder__1210_16.min1.thm1
2017-02-06 12:45
652
bagorder__1211_56.min1.thm1
2017-02-06 12:45
2.3K
bagorder__1213_22.min1.thm1
2017-02-06 12:45
1.4K
bagorder__1215_19.min1.thm1
2017-02-06 12:45
378
bagorder__1215_19.min1.thm1.tptp
2017-02-06 16:48
299
bagorder__1222_17.min1.thm1
2017-02-06 12:45
1.2K
bagorder__1248_21.min1.thm1
2017-02-06 12:45
1.0K
bagorder__1257_15.min1.thm1
2017-02-06 12:45
227
bagorder__1259_20.min1.thm1
2017-02-06 12:45
264
bagorder__1275_65.min1.thm1
2017-02-06 12:45
1.1K
bagorder__1279_65.min1.thm1
2017-02-06 12:45
815
bagorder__1280_24.min1.thm1
2017-02-06 12:45
637
bagorder__1285_23.min1.thm1
2017-02-06 12:45
292
bagorder__1300_15.min1.thm1
2017-02-06 12:45
227
bagorder__1302_23.min1.thm1
2017-02-06 12:45
529
bagorder__1314_65.min1.thm1
2017-02-06 12:45
814
bagorder__1315_21.min1.thm1
2017-02-06 12:45
233
bagorder__1317_27.min1.thm1
2017-02-06 12:45
541
bagorder__1329_70.min1.thm1
2017-02-06 12:45
874
bagorder__1330_28.min1.thm1
2017-02-06 12:45
673
bagorder__1334_28.min1.thm1
2017-02-06 12:45
1.2K
bagorder__1339_30.min1.thm1
2017-02-06 12:45
1.1K
bagorder__1340_27.min1.thm1
2017-02-06 12:45
813
bagorder__1341_36.min1.thm1
2017-02-06 12:45
1.1K
bagorder__1349_39.min1.thm1
2017-02-06 12:45
725
bagorder__1351_32.min1.thm1
2017-02-06 12:45
454
bagorder__1351_32.min1.thm1.tptp
2017-02-06 16:48
368
bagorder__1357_32.min1.thm1
2017-02-06 12:45
1.3K
bagorder__1358_38.min1.thm1
2017-02-06 12:45
1.6K
bagorder__1360_78.min1.thm1
2017-02-06 12:45
656
bagorder__1367_28.min1.thm1
2017-02-06 12:45
1.2K
bagorder__1372_30.min1.thm1
2017-02-06 12:45
903
bagorder__1373_27.min1.thm1
2017-02-06 12:45
813
bagorder__1374_36.min1.thm1
2017-02-06 12:45
1.3K
bagorder__1379_24.min1.thm1
2017-02-06 12:45
460
bagorder__1379_24.min1.thm1.tptp
2017-02-06 16:48
380
bagorder__1382_20.min1.thm1
2017-02-06 12:45
448
bagorder__1382_20.min1.thm1.tptp
2017-02-06 16:48
368
bagorder__1385_24.min1.thm1
2017-02-06 12:45
634
bagorder__1386_25.min1.thm1
2017-02-06 12:45
603
bagorder__1388_6.min1.thm1
2017-02-06 12:45
1.8K
bagorder__1400_62.min1.thm1
2017-02-06 12:45
912
bagorder__1403_60.min1.thm1
2017-02-06 12:45
862
bagorder__1415_53.min1.thm1
2017-02-06 12:45
1.7K
bagorder__1417_28.min1.thm1
2017-02-06 12:45
397
bagorder__1417_28.min1.thm1.tptp
2017-02-06 16:48
317
bagorder__1418_22.min1.thm1
2017-02-06 12:45
1.1K
bagorder__1421_18.min1.thm1
2017-02-06 12:45
751
bagorder__1442_38.min1.thm1
2017-02-06 12:45
1.8K
bagorder__1443_17.min1.thm1
2017-02-06 12:45
237
bagorder__1445_31.min1.thm1
2017-02-06 12:45
1.6K
bagorder__1460_36.min1.thm1
2017-02-06 12:45
1.7K
bagorder__1461_15.min1.thm1
2017-02-06 12:45
227
bagorder__1463_29.min1.thm1
2017-02-06 12:45
1.6K
bagorder__1484_37.min1.thm1
2017-02-06 12:45
1.7K
bagorder__1491_18.min1.thm1
2017-02-06 12:45
577
bagorder__1491_18.min1.thm1.tptp
2017-02-06 16:48
511
bagorder__1492_18.min1.thm1
2017-02-06 12:45
577
bagorder__1492_18.min1.thm1.tptp
2017-02-06 16:48
511
bagorder__1493_29.min1.thm1
2017-02-06 12:45
535
bagorder__1494_40.min1.thm1
2017-02-06 12:45
1.2K
bagorder__1508_19.min1.thm1
2017-02-06 12:45
409
bagorder__1510_34.min1.thm1
2017-02-06 12:45
1.1K
bagorder__1511_47.min1.thm1
2017-02-06 12:45
1.6K
bagorder__1513_30.min1.thm1
2017-02-06 12:45
1.5K
bagorder__1513_30.min1.thm1.tptp
2017-02-06 16:48
1.4K
bagorder__1516_34.min1.thm1
2017-02-06 12:45
1.1K
bagorder__1517_47.min1.thm1
2017-02-06 12:45
1.6K
bagorder__1519_30.min1.thm1
2017-02-06 12:45
1.5K
bagorder__1519_30.min1.thm1.tptp
2017-02-06 16:48
1.4K
bagorder__1522_27.min1.thm1
2017-02-06 12:45
424
bagorder__1544_22.min1.thm1
2017-02-06 12:45
1.1K
bagorder__1551_19.min1.thm1
2017-02-06 12:45
1.8K
bagorder__1552_19.min1.thm1
2017-02-06 12:45
1.0K
bagorder__1553_23.min1.thm1
2017-02-06 12:45
732
bagorder__1561_26.min1.thm1
2017-02-06 12:45
2.8K
bagorder__1562_70.min1.thm1
2017-02-06 12:45
501
bagorder__1566_38.min1.thm1
2017-02-06 12:45
849
bagorder__1571_13.min1.thm1
2017-02-06 12:45
231
bagorder__1578_29.min1.thm1
2017-02-06 12:45
537
bagorder__1579_40.min1.thm1
2017-02-06 12:45
1.2K
bagorder__1584_25.min1.thm1
2017-02-06 12:45
1.0K
bagorder__1593_19.min1.thm1
2017-02-06 12:45
1.9K
bagorder__1594_29.min1.thm1
2017-02-06 12:45
1.6K
bagorder__1595_37.min1.thm1
2017-02-06 12:45
2.0K
bagorder__1599_17.min1.thm1
2017-02-06 12:45
772
bagorder__1602_26.min1.thm1
2017-02-06 12:45
1.8K
bagorder__1603_32.min1.thm1
2017-02-06 12:45
1.1K
bagorder__1617_25.min1.thm1
2017-02-06 12:45
776
bagorder__1621_34.min1.thm1
2017-02-06 12:45
416
bagorder__1626_57.min1.thm1
2017-02-06 12:45
797
bagorder__1630_13.min1.thm1
2017-02-06 12:45
207
bagorder__1643_22.min1.thm1
2017-02-06 12:45
360
bagorder__1643_22.min1.thm1.tptp
2017-02-06 16:48
274
bagorder__1652_34.min1.thm1
2017-02-06 12:45
1.4K
bagorder__1663_14.min1.thm1
2017-02-06 12:45
335
bagorder__1663_14.min1.thm1.tptp
2017-02-06 16:48
254
bagorder__1675_38.min1.thm1
2017-02-06 12:45
963
bagorder__1677_26.min1.thm1
2017-02-06 12:45
794
bagorder__1681_42.min1.thm1
2017-02-06 12:45
1.0K
bagorder__1689_29.min1.thm1
2017-02-06 12:45
539
bagorder__1690_40.min1.thm1
2017-02-06 12:45
1.2K
bagorder__1692_44.min1.thm1
2017-02-06 12:45
1.4K
bagorder__1698_25.min1.thm1
2017-02-06 12:45
1.0K
bagorder__1729_30.min1.thm1
2017-02-06 12:45
1.5K
bagorder__1757_18.min1.thm1
2017-02-06 12:45
1.4K
bagorder__1764_20.min1.thm1
2017-02-06 12:45
591
bagorder__1766_25.min1.thm1
2017-02-06 12:45
787
bagorder__1774_20.min1.thm1
2017-02-06 12:45
665
bagorder__1779_47.min1.thm1
2017-02-06 12:45
1.2K
bagorder__1783_45.min1.thm1
2017-02-06 12:45
945
bagorder__1784_51.min1.thm1
2017-02-06 12:45
2.4K
bagorder__1795_22.min1.thm1
2017-02-06 12:45
583
bagorder__1797_30.min1.thm1
2017-02-06 12:45
1.3K
bagorder__1812_40.min1.thm1
2017-02-06 12:45
1.0K
bagorder__1814_28.min1.thm1
2017-02-06 12:45
812
bagorder__1816_50.min1.thm1
2017-02-06 12:45
1.3K
bagorder__1823_44.min1.thm1
2017-02-06 12:45
1.4K
bagorder__1825_19.min1.thm1
2017-02-06 12:45
2.1K
bagorder__1832_45.min1.thm1
2017-02-06 12:45
945
bagorder__1845_24.min1.thm1
2017-02-06 12:45
926
bagorder__1850_22.min1.thm1
2017-02-06 12:45
621
bagorder__1850_22.min1.thm1.tptp
2017-02-06 16:48
555
bagorder__1851_23.min1.thm1
2017-02-06 12:45
621
bagorder__1851_23.min1.thm1.tptp
2017-02-06 16:48
555
bagorder__1855_24.min1.thm1
2017-02-06 12:45
864
bagorder__1881_22.min1.thm1
2017-02-06 12:45
613
bagorder__1901_23.min1.thm1
2017-02-06 12:45
736
bagorder__1908_35.min1.thm1
2017-02-06 12:45
2.7K
bagorder__1911_38.min1.thm1
2017-02-06 12:45
951
bagorder__1914_26.min1.thm1
2017-02-06 12:45
685
bagorder__1916_34.min1.thm1
2017-02-06 12:45
945
bagorder__1917_35.min1.thm1
2017-02-06 12:45
946
bagorder__1918_38.min1.thm1
2017-02-06 12:45
946
bagorder__1919_37.min1.thm1
2017-02-06 12:45
1.1K
bagorder__1920_39.min1.thm1
2017-02-06 12:45
930
bagorder__1921_37.min1.thm1
2017-02-06 12:45
1.6K
bagorder__1922_17.min1.thm1
2017-02-06 12:45
931
bagorder__1945_36.min1.thm1
2017-02-06 12:45
1.4K
bagorder__1948_17.min1.thm1
2017-02-06 12:45
353
bagorder__1948_17.min1.thm1.tptp
2017-02-06 16:48
271
bagorder__1949_40.min1.thm1
2017-02-06 12:45
237
bagorder__1967_51.min1.thm1
2017-02-06 12:45
1.6K
bagorder__1970_10.min1.thm1
2017-02-06 12:45
1.6K
bagorder__1971_22.min1.thm1
2017-02-06 12:45
888
bagorder__1971_22.min1.thm1.tptp
2017-02-06 16:48
824
bagorder__1974_26.min1.thm1
2017-02-06 12:45
1.3K
bagorder__1987_26.min1.thm1
2017-02-06 12:45
1.3K
bagorder__1994_59.min1.thm1
2017-02-06 12:45
1.1K
bagorder__1998_52.min1.thm1
2017-02-06 12:45
1.0K
bagorder__1998_52.min1.thm1.tptp
2017-02-06 16:48
954
bagorder__2015_8.min1.thm1
2017-02-06 12:45
1.6K
bagorder__2021_8.min1.thm1
2017-02-06 12:45
1.6K
bagorder__2022_18.min1.thm1
2017-02-06 12:45
886
bagorder__2022_18.min1.thm1.tptp
2017-02-06 16:48
822
bagorder__2025_24.min1.thm1
2017-02-06 12:45
1.0K
bagorder__2034_24.min1.thm1
2017-02-06 12:45
446
bagorder__2034_24.min1.thm1.tptp
2017-02-06 16:48
366
bagorder__2038_24.min1.thm1
2017-02-06 12:45
1.0K
bagorder__2047_24.min1.thm1
2017-02-06 12:45
446
bagorder__2047_24.min1.thm1.tptp
2017-02-06 16:48
366
bagorder__2053_22.min1.thm1
2017-02-06 12:45
634
bagorder__2054_23.min1.thm1
2017-02-06 12:45
604
bagorder__2055_42.min1.thm1
2017-02-06 12:45
1.8K
bagorder__2062_70.min1.thm1
2017-02-06 12:45
2.2K
bagorder__2064_44.min1.thm1
2017-02-06 12:45
1.1K
bagorder__2064_44.min1.thm1.tptp
2017-02-06 16:48
1.0K
bagorder__2068_19.min1.thm1
2017-02-06 12:45
751
bagorder__2069_18.min1.thm1
2017-02-06 12:45
751
bagorder__2086_23.min1.thm1
2017-02-06 12:45
1.3K
bagorder__2087_23.min1.thm1
2017-02-06 12:45
1.3K
bagorder__2096_21.min1.thm1
2017-02-06 12:45
1.3K
bagorder__2097_21.min1.thm1
2017-02-06 12:45
1.3K
bagorder__2120_40.min1.thm1
2017-02-06 12:45
1.7K
bagorder__2139_31.min1.thm1
2017-02-06 12:45
1.8K
bagorder__2140_13.min1.thm1
2017-02-06 12:45
231
bagorder__2145_30.min1.thm1
2017-02-06 12:45
835
bagorder__2149_62.min1.thm1
2017-02-06 12:45
829
bagorder__2156_52.min1.thm1
2017-02-06 12:45
1.3K
bagorder__2157_52.min1.thm1
2017-02-06 12:45
1.3K
bagorder__2165_41.min1.thm1
2017-02-06 12:45
1.5K
bagorder__2196_14.min1.thm1
2017-02-06 12:45
335
bagorder__2196_14.min1.thm1.tptp
2017-02-06 16:48
254
bagorder__2208_21.min1.thm1
2017-02-06 12:45
1.0K
bagorder__2212_24.min1.thm1
2017-02-06 12:45
1.1K
bagorder__2219_14.min1.thm1
2017-02-06 12:45
875
bagorder__2220_17.min1.thm1
2017-02-06 12:45
369
bagorder__2220_17.min1.thm1.tptp
2017-02-06 16:48
290
bagorder__2225_21.min1.thm1
2017-02-06 12:45
1.1K
bagorder__2231_15.min1.thm1
2017-02-06 12:45
1.1K
bagorder__2234_15.min1.thm1
2017-02-06 12:45
359
bagorder__2243_31.min1.thm1
2017-02-06 12:45
1.4K
bagorder__2246_15.min1.thm1
2017-02-06 12:45
577
bagorder__2250_31.min1.thm1
2017-02-06 12:45
773
bagorder__2254_41.min1.thm1
2017-02-06 12:45
929
bagorder__2257_27.min1.thm1
2017-02-06 12:45
896
bagorder__2260_16.min1.thm1
2017-02-06 12:45
875
bagorder__2261_18.min1.thm1
2017-02-06 12:45
369
bagorder__2261_18.min1.thm1.tptp
2017-02-06 16:48
290
bagorder__2274_12.min1.thm1
2017-02-06 12:45
346
bagorder__2274_12.min1.thm1.tptp
2017-02-06 16:48
267
bagorder__2275_16.min1.thm1
2017-02-06 12:45
652
bagorder__2276_56.min1.thm1
2017-02-06 12:45
2.3K
bagorder__2278_22.min1.thm1
2017-02-06 12:45
1.4K
bagorder__2280_19.min1.thm1
2017-02-06 12:45
378
bagorder__2280_19.min1.thm1.tptp
2017-02-06 16:48
299
bagorder__2287_17.min1.thm1
2017-02-06 12:45
1.2K
bagorder__2292_43.min1.thm1
2017-02-06 12:45
1.3K
bagorder__2295_46.min1.thm1
2017-02-06 12:45
1.3K
bagorder__2296_17.min1.thm1
2017-02-06 12:45
1.1K
bagorder__2297_17.min1.thm1
2017-02-06 12:45
370
bagorder__2297_17.min1.thm1.tptp
2017-02-06 16:48
291
bagorder__2298_54.min1.thm1
2017-02-06 12:45
1.1K
bagorder__2299_28.min1.thm1
2017-02-06 12:45
534
bagorder__2300_35.min1.thm1
2017-02-06 12:45
1.4K
bagorder__2312_27.min1.thm1
2017-02-06 12:45
770
bagorder__2315_21.min1.thm1
2017-02-06 12:45
766
bagorder__2317_31.min1.thm1
2017-02-06 12:45
1.2K
bagorder__2335_26.min1.thm1
2017-02-06 12:45
766
bagorder__2338_20.min1.thm1
2017-02-06 12:45
762
bagorder__2340_30.min1.thm1
2017-02-06 12:45
1.2K
bagorder__2369_14.min1.thm1
2017-02-06 12:45
335
bagorder__2369_14.min1.thm1.tptp
2017-02-06 16:48
254
bagorder__2378_26.min1.thm1
2017-02-06 12:45
675
bagorder__2380_34.min1.thm1
2017-02-06 12:45
929
bagorder__2381_35.min1.thm1
2017-02-06 12:45
930
bagorder__2382_38.min1.thm1
2017-02-06 12:45
930
bagorder__2383_38.min1.thm1
2017-02-06 12:45
1.0K
bagorder__2391_14.min1.thm1
2017-02-06 12:45
378
bagorder__2393_25.min1.thm1
2017-02-06 12:45
883
bagorder__2398_71.min1.thm1
2017-02-06 12:45
780
bagorder__2399_21.min1.thm1
2017-02-06 12:45
1.9K
bagorder__2401_52.min1.thm1
2017-02-06 12:45
772
bagorder__2409_21.min1.thm1
2017-02-06 12:45
1.2K
bagorder__2411_19.min1.thm1
2017-02-06 12:45
1.2K
bagorder__2414_11.min1.thm1
2017-02-06 12:45
868
bagorder__2416_26.min1.thm1
2017-02-06 12:45
678
bagorder__2417_27.min1.thm1
2017-02-06 12:45
317
bagorder__2417_27.min1.thm1.tptp
2017-02-06 16:48
236
bagorder__2418_37.min1.thm1
2017-02-06 12:45
921
bagorder__2419_44.min1.thm1
2017-02-06 12:45
1.0K
bagorder__2423_30.min1.thm1
2017-02-06 12:45
644
bagorder__2427_18.min1.thm1
2017-02-06 12:45
484
bagorder__2427_18.min1.thm1.tptp
2017-02-06 16:48
409
bagorder__2431_30.min1.thm1
2017-02-06 12:45
696
bagorder__2432_25.min1.thm1
2017-02-06 12:45
606
bagorder__2433_15.min1.thm1
2017-02-06 12:45
564
bagorder__2434_15.min1.thm1
2017-02-06 12:45
970
bagorder__2435_22.min1.thm1
2017-02-06 12:45
1.1K
bagorder__2440_28.min1.thm1
2017-02-06 12:45
1.0K
bagorder__2455_33.min1.thm1
2017-02-06 12:45
544
bagorder__2458_37.min1.thm1
2017-02-06 12:45
1.5K
bagorder__2459_17.min1.thm1
2017-02-06 12:45
917
bagorder__2472_21.min1.thm1
2017-02-06 12:45
1.0K
bagorder__2482_38.min1.thm1
2017-02-06 12:45
1.4K
bagorder__2483_37.min1.thm1
2017-02-06 12:45
317
bagorder__2499_8.min1.thm1
2017-02-06 12:45
2.6K
bagorder__2502_73.min1.thm1
2017-02-06 12:45
2.6K
bagorder__2510_18.min1.thm1
2017-02-06 12:45
1.9K
bagorder__2510_18.min1.thm1.tptp
2017-02-06 16:48
1.9K
bagorder__2513_24.min1.thm1
2017-02-06 12:45
2.4K
bagorder__2521_19.min1.thm1
2017-02-06 12:45
264
bagorder__2525_24.min1.thm1
2017-02-06 12:45
2.4K
bagorder__2534_19.min1.thm1
2017-02-06 12:45
264
bagorder__2551_46.min1.thm1
2017-02-06 12:45
2.6K
bagorder__2558_47.min1.thm1
2017-02-06 12:45
2.6K
bagorder__2568_18.min1.thm1
2017-02-06 12:45
1.9K
bagorder__2568_18.min1.thm1.tptp
2017-02-06 16:48
1.9K
bagorder__2571_24.min1.thm1
2017-02-06 12:45
2.2K
bagorder__2576_25.min1.thm1
2017-02-06 12:45
527
bagorder__2584_29.min1.thm1
2017-02-06 12:45
458
bagorder__2584_29.min1.thm1.tptp
2017-02-06 16:48
378
bagorder__2590_25.min1.thm1
2017-02-06 12:45
446
bagorder__2590_25.min1.thm1.tptp
2017-02-06 16:48
366
bagorder__2594_24.min1.thm1
2017-02-06 12:45
2.2K
bagorder__2604_25.min1.thm1
2017-02-06 12:45
446
bagorder__2604_25.min1.thm1.tptp
2017-02-06 16:48
366
bagorder__2609_23.min1.thm1
2017-02-06 12:45
635
bagorder__2610_24.min1.thm1
2017-02-06 12:45
604
bagorder__2612_6.min1.thm1
2017-02-06 12:45
1.8K
bagorder__2619_64.min1.thm1
2017-02-06 12:45
3.2K
bagorder__2623_43.min1.thm1
2017-02-06 12:45
2.2K
bagorder__2629_19.min1.thm1
2017-02-06 12:45
751
bagorder__2630_18.min1.thm1
2017-02-06 12:45
751
bagorder__2648_23.min1.thm1
2017-02-06 12:45
1.3K
bagorder__2649_23.min1.thm1
2017-02-06 12:45
1.3K
bagorder__2654_10.min1.thm1
2017-02-06 12:45
3.1K
bagorder__2660_21.min1.thm1
2017-02-06 12:45
1.3K
bagorder__2661_21.min1.thm1
2017-02-06 12:45
1.3K
bagorder__2665_8.min1.thm1
2017-02-06 12:45
3.0K
bagorder__2681_21.min1.thm1
2017-02-06 12:45
970
bagorder__2683_50.min1.thm1
2017-02-06 12:45
2.4K
bagorder__2691_40.min1.thm1
2017-02-06 12:45
1.7K
bagorder__2712_25.min1.thm1
2017-02-06 12:45
548
bagorder__2712_25.min1.thm1.tptp
2017-02-06 16:48
468
bagorder__2724_25.min1.thm1
2017-02-06 12:45
517
bagorder__2732_29.min1.thm1
2017-02-06 12:45
560
bagorder__2732_29.min1.thm1.tptp
2017-02-06 16:48
480
bagorder__2735_25.min1.thm1
2017-02-06 12:45
548
bagorder__2735_25.min1.thm1.tptp
2017-02-06 16:48
468
bagorder__2742_17.min1.thm1
2017-02-06 12:45
521
bagorder__2745_38.min1.thm1
2017-02-06 12:45
1.3K
bagorder__2751_38.min1.thm1
2017-02-06 12:45
1.1K
bagorder__2756_31.min1.thm1
2017-02-06 12:45
552
bagorder__2756_31.min1.thm1.tptp
2017-02-06 16:48
472
bagorder__2809_34.min1.thm1
2017-02-06 12:45
601
bagorder__2809_34.min1.thm1.tptp
2017-02-06 16:48
527
bagorder__2811_35.min1.thm1
2017-02-06 12:45
878
bagorder__2816_12.min1.thm1
2017-02-06 12:45
2.4K
bagorder__2817_23.min1.thm1
2017-02-06 12:45
608
bagorder__2821_18.min1.thm1
2017-02-06 12:45
750
bagorder__2822_18.min1.thm1
2017-02-06 12:45
750
bagorder__2823_19.min1.thm1
2017-02-06 12:45
2.3K
bagorder__2844_40.min1.thm1
2017-02-06 12:45
1.8K
bagorder__2845_24.min1.thm1
2017-02-06 12:45
1.8K
bagorder__2846_48.min1.thm1
2017-02-06 12:45
1.8K
bagorder__2855_38.min1.thm1
2017-02-06 12:45
1.7K
bagorder__2856_22.min1.thm1
2017-02-06 12:45
1.7K
bagorder__2857_46.min1.thm1
2017-02-06 12:45
1.7K
bagorder__2885_18.min1.thm1
2017-02-06 12:45
638
bagorder__2886_41.min1.thm1
2017-02-06 12:45
945
bagorder__2889_23.min1.thm1
2017-02-06 12:45
1.7K
bagorder__2891_44.min1.thm1
2017-02-06 12:45
430
bagorder__2893_28.min1.thm1
2017-02-06 12:45
471
bagorder__2894_32.min1.thm1
2017-02-06 12:45
917
bagorder__2895_26.min1.thm1
2017-02-06 12:45
1.2K
bagorder__2899_8.min1.thm1
2017-02-06 12:45
1.4K
bagorder__2900_17.min1.thm1
2017-02-06 12:45
575
bagorder__2900_17.min1.thm1.tptp
2017-02-06 16:48
509
bagorder__2903_16.min1.thm1
2017-02-06 12:45
317
bagorder__2903_16.min1.thm1.tptp
2017-02-06 16:48
235
bagorder__2912_23.min1.thm1
2017-02-06 12:45
569
bagorder__2925_39.min1.thm1
2017-02-06 12:45
921
bagorder__2930_18.min1.thm1
2017-02-06 12:45
839
bagorder__2932_16.min1.thm1
2017-02-06 12:45
547
bagorder__2943_20.min1.thm1
2017-02-06 12:45
938
bagorder__2944_20.min1.thm1
2017-02-06 12:45
938
bagorder__2945_52.min1.thm1
2017-02-06 12:45
821
bagorder__2946_51.min1.thm1
2017-02-06 12:45
2.8K
bagorder__2951_25.min1.thm1
2017-02-06 12:45
1.4K
bagorder__2952_24.min1.thm1
2017-02-06 12:45
1.4K
bagorder__2953_38.min1.thm1
2017-02-06 12:45
1.1K
bagorder__2955_28.min1.thm1
2017-02-06 12:45
555
bagorder__2960_25.min1.thm1
2017-02-06 12:45
500
bagorder__2961_33.min1.thm1
2017-02-06 12:45
588
bagorder__2965_20.min1.thm1
2017-02-06 12:45
1.0K
bagorder__2967_23.min1.thm1
2017-02-06 12:45
676
bagorder__2968_23.min1.thm1
2017-02-06 12:45
746
bagorder__2969_20.min1.thm1
2017-02-06 12:45
944
bagorder__2971_23.min1.thm1
2017-02-06 12:45
678
bagorder__2972_23.min1.thm1
2017-02-06 12:45
812
bagorder__2974_10.min1.thm1
2017-02-06 12:45
2.2K
bagorder__2976_57.min1.thm1
2017-02-06 12:45
1.0K
bagorder__2977_48.min1.thm1
2017-02-06 12:45
2.0K
bagorder__2978_26.min1.thm1
2017-02-06 12:45
2.0K
bagorder__2979_30.min1.thm1
2017-02-06 12:45
1.4K
bagorder__2984_26.min1.thm1
2017-02-06 12:45
2.4K
bagorder__2993_19.min1.thm1
2017-02-06 12:45
525
bagorder__2994_18.min1.thm1
2017-02-06 12:45
525
bagorder__2995_45.min1.thm1
2017-02-06 12:45
1.7K
bagorder__2997_49.min1.thm1
2017-02-06 12:45
2.9K
bagorder__3014_17.min1.thm1
2017-02-06 12:45
871
bagorder__3014_17.min1.thm1.tptp
2017-02-06 16:48
846
bagorder__3015_23.min1.thm1
2017-02-06 12:45
569
bagorder__3016_31.min1.thm1
2017-02-06 12:45
1.6K
bagorder__3024_26.min1.thm1
2017-02-06 12:45
1.7K
bagorder__3035_39.min1.thm1
2017-02-06 12:45
921
bagorder__3063_25.min1.thm1
2017-02-06 12:45
1.1K
bagorder__3068_38.min1.thm1
2017-02-06 12:45
1.6K
bagorder__3070_32.min1.thm1
2017-02-06 12:45
875
bagorder__3071_24.min1.thm1
2017-02-06 12:45
616
bagorder__3071_24.min1.thm1.tptp
2017-02-06 16:48
546
bagorder__3072_22.min1.thm1
2017-02-06 12:45
1.1K
bagorder__3075_22.min1.thm1
2017-02-06 12:45
921
bagorder__3076_22.min1.thm1
2017-02-06 12:45
831
bagorder__3077_17.min1.thm1
2017-02-06 12:45
934
bagorder__3091_28.min1.thm1
2017-02-06 12:45
697
bagorder__3094_29.min1.thm1
2017-02-06 12:45
1.4K
bagorder__3096_18.min1.thm1
2017-02-06 12:45
453
bagorder__3096_18.min1.thm1.tptp
2017-02-06 16:48
365
bagorder__3106_31.min1.thm1
2017-02-06 12:45
1.1K
bagorder__3121_28.min1.thm1
2017-02-06 12:45
697
bagorder__3124_29.min1.thm1
2017-02-06 12:45
1.4K
bagorder__3126_18.min1.thm1
2017-02-06 12:45
453
bagorder__3126_18.min1.thm1.tptp
2017-02-06 16:48
365
bagorder__3136_32.min1.thm1
2017-02-06 12:45
1.1K
bagorder__3166_73.min1.thm1
2017-02-06 12:45
224
bagorder__3177_17.min1.thm1
2017-02-06 12:45
396
bagorder__3181_25.min1.thm1
2017-02-06 12:45
254
bagorder__3184_46.min1.thm1
2017-02-06 12:45
869
bagorder__3185_15.min1.thm1
2017-02-06 12:45
2.2K
bagorder__3199_47.min1.thm1
2017-02-06 12:45
1.0K
bagorder__3204_49.min1.thm1
2017-02-06 12:45
2.0K
bagorder__3208_20.min1.thm1
2017-02-06 12:45
2.0K
bagorder__3218_47.min1.thm1
2017-02-06 12:45
1.0K
bagorder__3245_21.min1.thm1
2017-02-06 12:45
274
bagorder__3248_38.min1.thm1
2017-02-06 12:45
530
bagorder__3249_54.min1.thm1
2017-02-06 12:45
642
bagorder__3250_21.min1.thm1
2017-02-06 12:45
275
bagorder__3253_38.min1.thm1
2017-02-06 12:45
531
bagorder__3254_54.min1.thm1
2017-02-06 12:45
643
bagorder__3255_78.min1.thm1
2017-02-06 12:45
258
bagorder__3276_37.min1.thm1
2017-02-06 12:45
1.7K
bagorder__3277_21.min1.thm1
2017-02-06 12:45
1.6K
bagorder__3287_13.min1.thm1
2017-02-06 12:45
2.1K
bagorder__3301_30.min1.thm1
2017-02-06 12:45
2.0K
bagorder__3326_14.min1.thm1
2017-02-06 12:45
2.0K
bagorder__3329_23.min1.thm1
2017-02-06 12:45
1.8K
bagorder__3336_23.min1.thm1
2017-02-06 12:45
2.1K
bagorder__3370_41.min1.thm1
2017-02-06 12:45
468
bagorder__3374_16.min1.thm1
2017-02-06 12:45
2.5K
bagorder__3386_14.min1.thm1
2017-02-06 12:45
1.1K
bagorder__3396_14.min1.thm1
2017-02-06 12:45
693
bagorder__3397_31.min1.thm1
2017-02-06 12:45
352
bagorder__3397_31.min1.thm1.tptp
2017-02-06 16:48
274
bagorder__3399_12.min1.thm1
2017-02-06 12:45
724
bagorder__3400_17.min1.thm1
2017-02-06 12:45
1.1K
bagorder__3411_31.min1.thm1
2017-02-06 12:45
352
bagorder__3411_31.min1.thm1.tptp
2017-02-06 16:48
274
bagorder__3415_26.min1.thm1
2017-02-06 12:45
1.3K
bagorder__3418_27.min1.thm1
2017-02-06 12:45
515
bagorder__3418_27.min1.thm1.tptp
2017-02-06 16:48
451
bagorder__3420_59.min1.thm1
2017-02-06 12:45
1.0K
bagorder__3421_26.min1.thm1
2017-02-06 12:45
1.3K
bagorder__3435_23.min1.thm1
2017-02-06 12:45
1.7K
bagorder__3440_51.min1.thm1
2017-02-06 12:45
471
bagorder__3440_51.min1.thm1.tptp
2017-02-06 16:48
416
bagorder__3442_36.min1.thm1
2017-02-06 12:45
1.1K
bagorder__3448_12.min1.thm1
2017-02-06 12:45
533
bagorder__3449_25.min1.thm1
2017-02-06 12:45
1.7K
bagorder__3452_43.min1.thm1
2017-02-06 12:45
382
bagorder__3452_43.min1.thm1.tptp
2017-02-06 16:48
304
bagorder__3460_17.min1.thm1
2017-02-06 12:45
837
bagorder__3461_31.min1.thm1
2017-02-06 12:45
1.7K
bagorder__3471_15.min1.thm1
2017-02-06 12:45
201
bagorder__3473_33.min1.thm1
2017-02-06 12:45
1.7K
bagorder__3479_44.min1.thm1
2017-02-06 12:45
960
bagorder__3481_39.min1.thm1
2017-02-06 12:45
871
bagorder__3487_26.min1.thm1
2017-02-06 12:45
654
bagorder__3488_18.min1.thm1
2017-02-06 12:45
953
bagorder__3497_43.min1.thm1
2017-02-06 12:45
382
bagorder__3497_43.min1.thm1.tptp
2017-02-06 16:48
304
bagorder__3504_35.min1.thm1
2017-02-06 12:45
368
bagorder__3504_35.min1.thm1.tptp
2017-02-06 16:48
290
bagorder__3505_16.min1.thm1
2017-02-06 12:45
782
bagorder__3509_11.min1.thm1
2017-02-06 12:45
1.0K
bagorder__3538_19.min1.thm1
2017-02-06 12:45
252
bagorder__3554_42.min1.thm1
2017-02-06 12:45
378
bagorder__3554_42.min1.thm1.tptp
2017-02-06 16:48
300
bagorder__3555_43.min1.thm1
2017-02-06 12:45
378
bagorder__3555_43.min1.thm1.tptp
2017-02-06 16:48
300
bagorder__3557_52.min1.thm1
2017-02-06 12:45
1.4K
bagorder__3564_36.min1.thm1
2017-02-06 12:45
1.4K
bagorder__3565_29.min1.thm1
2017-02-06 12:45
1.9K
bagorder__3567_37.min1.thm1
2017-02-06 12:45
559
bagorder__3567_37.min1.thm1.tptp
2017-02-06 16:48
495
bagorder__3569_37.min1.thm1
2017-02-06 12:45
1.0K
bagorder__3573_36.min1.thm1
2017-02-06 12:45
1.4K
bagorder__3574_29.min1.thm1
2017-02-06 12:45
1.9K
bagorder__3576_37.min1.thm1
2017-02-06 12:45
561
bagorder__3576_37.min1.thm1.tptp
2017-02-06 16:48
497
bagorder__3577_26.min1.thm1
2017-02-06 12:45
1.8K
bagorder__3580_19.min1.thm1
2017-02-06 12:45
252
bagorder__3587_26.min1.thm1
2017-02-06 12:45
655
bagorder__3588_18.min1.thm1
2017-02-06 12:45
953
bagorder__3604_35.min1.thm1
2017-02-06 12:45
368
bagorder__3604_35.min1.thm1.tptp
2017-02-06 16:48
290
bagorder__3605_16.min1.thm1
2017-02-06 12:45
782
bagorder__3606_25.min1.thm1
2017-02-06 12:45
1.9K
bagorder__3609_11.min1.thm1
2017-02-06 12:45
1.8K
bagorder__3620_27.min1.thm1
2017-02-06 12:45
1.8K
bagorder__3634_25.min1.thm1
2017-02-06 12:45
349
bagorder__3636_35.min1.thm1
2017-02-06 12:45
2.6K
bagorder__3642_28.min1.thm1
2017-02-06 12:45
512
bagorder__3649_24.min1.thm1
2017-02-06 12:45
500
bagorder__3666_48.min1.thm1
2017-02-06 12:45
966
bagorder__3668_22.min1.thm1
2017-02-06 12:45
719
bagorder__3669_41.min1.thm1
2017-02-06 12:45
378
bagorder__3669_41.min1.thm1.tptp
2017-02-06 16:48
300
bagorder__3671_23.min1.thm1
2017-02-06 12:45
806
bagorder__3672_54.min1.thm1
2017-02-06 12:45
1.2K
bagorder__3673_22.min1.thm1
2017-02-06 12:45
719
bagorder__3674_41.min1.thm1
2017-02-06 12:45
378
bagorder__3674_41.min1.thm1.tptp
2017-02-06 16:48
300
bagorder__3676_23.min1.thm1
2017-02-06 12:45
807
bagorder__3677_54.min1.thm1
2017-02-06 12:45
1.2K
bagorder__3683_24.min1.thm1
2017-02-06 12:45
500
bagorder__3689_43.min1.thm1
2017-02-06 12:45
383
bagorder__3689_43.min1.thm1.tptp
2017-02-06 16:48
305
bagorder__3691_26.min1.thm1
2017-02-06 12:45
655
bagorder__3692_18.min1.thm1
2017-02-06 12:45
953
bagorder__3698_56.min1.thm1
2017-02-06 12:45
584
bagorder__3698_56.min1.thm1.tptp
2017-02-06 16:48
498
bagorder__3699_22.min1.thm1
2017-02-06 12:45
885
bagorder__3700_21.min1.thm1
2017-02-06 12:45
842
bagorder__3701_17.min1.thm1
2017-02-06 12:45
2.2K
bagorder__3708_14.min1.thm1
2017-02-06 12:45
1.4K
bagorder__3708_14.min1.thm1.tptp
2017-02-06 16:48
1.3K
bagorder__3740_22.min1.thm1
2017-02-06 12:45
475
bagorder__3761_35.min1.thm1
2017-02-06 12:45
691
bagorder__3761_35.min1.thm1.tptp
2017-02-06 16:48
616
bagorder__3770_19.min1.thm1
2017-02-06 12:45
861
bagorder__3774_12.min1.thm1
2017-02-06 12:45
1.1K
bagorder__3781_17.min1.thm1
2017-02-06 12:45
213
bagorder__3787_23.min1.thm1
2017-02-06 12:45
219
bagorder__3793_27.min1.thm1
2017-02-06 12:45
369
bagorder__3806_52.min1.thm1
2017-02-06 12:45
952
bagorder__3812_58.min1.thm1
2017-02-06 12:45
1.3K
bagorder__3813_34.min1.thm1
2017-02-06 12:45
1.8K
bagorder__3821_52.min1.thm1
2017-02-06 12:45
952
bagorder__3824_48.min1.thm1
2017-02-06 12:45
940
bagorder__3827_44.min1.thm1
2017-02-06 12:45
928
bagorder__3835_20.min1.thm1
2017-02-06 12:45
1.0K
bagorder__3836_46.min1.thm1
2017-02-06 12:45
1.4K
bagorder__3853_31.min1.thm1
2017-02-06 12:45
510
bagorder__3857_36.min1.thm1
2017-02-06 12:45
572
bagorder__3859_19.min1.thm1
2017-02-06 12:45
338
bagorder__3859_19.min1.thm1.tptp
2017-02-06 16:48
252
bagorder__3860_18.min1.thm1
2017-02-06 12:45
799
bagorder__3872_16.min1.thm1
2017-02-06 12:45
829
bagorder__3876_37.min1.thm1
2017-02-06 12:45
700
bagorder__3877_33.min1.thm1
2017-02-06 12:45
707
bagorder__3883_37.min1.thm1
2017-02-06 12:45
700
bagorder__3884_33.min1.thm1
2017-02-06 12:45
707
bagorder__3921_22.min1.thm1
2017-02-06 12:45
1.4K
bagorder__3923_12.min1.thm1
2017-02-06 12:45
1.1K
bagorder__3924_37.min1.thm1
2017-02-06 12:45
339
bagorder__3924_37.min1.thm1.tptp
2017-02-06 16:48
259
bagorder__3941_13.min1.thm1
2017-02-06 12:45
1.1K
bagorder__3943_70.min1.thm1
2017-02-06 12:45
1.3K
bagorder__3944_49.min1.thm1
2017-02-06 12:45
882
bagorder__3964_23.min1.thm1
2017-02-06 12:45
389
bagorder__3965_24.min1.thm1
2017-02-06 12:45
1.1K
bagorder__3966_17.min1.thm1
2017-02-06 12:45
227
bagorder__3979_24.min1.thm1
2017-02-06 12:45
3.3K
bagorder__3980_43.min1.thm1
2017-02-06 12:45
3.4K
bagorder__3984_29.min1.thm1
2017-02-06 12:45
1.0K
bagorder__3984_29.min1.thm1.tptp
2017-02-06 16:48
913
bagorder__3985_18.min1.thm1
2017-02-06 12:45
327
bagorder__3985_18.min1.thm1.tptp
2017-02-06 16:48
245
bagorder__3990_22.min1.thm1
2017-02-06 12:45
1.1K
bagorder__3991_22.min1.thm1
2017-02-06 12:45
867
bagorder__3993_22.min1.thm1
2017-02-06 12:45
2.2K
bagorder__3994_38.min1.thm1
2017-02-06 12:45
2.2K
bagorder__4018_18.min1.thm1
2017-02-06 12:45
2.1K
bagorder__4030_23.min1.thm1
2017-02-06 12:45
1.9K
bagorder__4039_25.min1.thm1
2017-02-06 12:45
233
bagorder__4040_17.min1.thm1
2017-02-06 12:45
528
bagorder__4040_17.min1.thm1.tptp
2017-02-06 16:48
446
bagorder__4041_26.min1.thm1
2017-02-06 12:45
883
bagorder__4046_42.min1.thm1
2017-02-06 12:45
937
bagorder__4049_32.min1.thm1
2017-02-06 12:45
934
bagorder__4051_26.min1.thm1
2017-02-06 12:45
466
bagorder__4051_26.min1.thm1.tptp
2017-02-06 16:48
384
bagorder__4052_32.min1.thm1
2017-02-06 12:45
1.1K
bagorder__4059_23.min1.thm1
2017-02-06 12:45
761
bagorder__4059_23.min1.thm1.tptp
2017-02-06 16:48
679
bagorder__4069_25.min1.thm1
2017-02-06 12:45
2.8K
bagorder__4072_42.min1.thm1
2017-02-06 12:45
937
bagorder__4091_28.min1.thm1
2017-02-06 12:45
2.0K
bagorder__4095_32.min1.thm1
2017-02-06 12:45
1.0K
bagorder__4095_32.min1.thm1.tptp
2017-02-06 16:48
1.0K
bagorder__4097_36.min1.thm1
2017-02-06 12:45
1.6K
bagorder__4098_59.min1.thm1
2017-02-06 12:45
2.0K
bagorder__4100_20.min1.thm1
2017-02-06 12:45
911
bagorder__4101_21.min1.thm1
2017-02-06 12:45
1.5K
bagorder__4102_19.min1.thm1
2017-02-06 12:45
1.6K
bagorder__4103_20.min1.thm1
2017-02-06 12:45
1.6K
bagorder__4105_18.min1.thm1
2017-02-06 12:45
2.1K
bagorder__4119_17.min1.thm1
2017-02-06 12:45
1.2K
bagorder__4122_19.min1.thm1
2017-02-06 12:45
352
bagorder__4127_42.min1.thm1
2017-02-06 12:45
937
bagorder__4129_30.min1.thm1
2017-02-06 12:45
934
bagorder__4130_18.min1.thm1
2017-02-06 12:45
828
bagorder__4130_18.min1.thm1.tptp
2017-02-06 16:48
764
bagorder__4132_37.min1.thm1
2017-02-06 12:45
250
bagorder__4133_28.min1.thm1
2017-02-06 12:45
310
bagorder__4137_42.min1.thm1
2017-02-06 12:45
941
bagorder__4140_31.min1.thm1
2017-02-06 12:45
1.2K
bagorder__4140_31.min1.thm1.tptp
2017-02-06 16:48
1.1K
bagorder__4142_51.min1.thm1
2017-02-06 12:45
1.0K
bagorder__4143_56.min1.thm1
2017-02-06 12:45
678
bagorder__4144_15.min1.thm1
2017-02-06 12:45
609
bagorder__4148_12.min1.thm1
2017-02-06 12:45
1.2K
bagorder__4167_40.min1.thm1
2017-02-06 12:45
929
bagorder__4175_31.min1.thm1
2017-02-06 12:45
456
bagorder__4176_49.min1.thm1
2017-02-06 12:45
868
bagorder__4177_14.min1.thm1
2017-02-06 12:45
1.1K
bagorder__4178_20.min1.thm1
2017-02-06 12:45
1.8K
bagorder__4182_31.min1.thm1
2017-02-06 12:45
557
bagorder__4190_11.min1.thm1
2017-02-06 12:45
1.8K
bagorder__4191_73.min1.thm1
2017-02-06 12:45
1.4K
bagorder__4192_47.min1.thm1
2017-02-06 12:45
1.2K
bagorder__4194_20.min1.thm1
2017-02-06 12:45
507
bagorder__4197_19.min1.thm1
2017-02-06 12:45
2.0K
bagorder__4198_18.min1.thm1
2017-02-06 12:45
2.0K
bagorder__4201_25.min1.thm1
2017-02-06 12:45
883
bagorder__4204_20.min1.thm1
2017-02-06 12:45
672
bagorder__4206_20.min1.thm1
2017-02-06 12:45
2.6K
bagorder__4208_43.min1.thm1
2017-02-06 12:45
714
bagorder__4213_37.min1.thm1
2017-02-06 12:45
1.0K
bagorder__4215_39.min1.thm1
2017-02-06 12:45
1.3K
bagorder__4216_29.min1.thm1
2017-02-06 12:45
3.2K
bagorder__4217_24.min1.thm1
2017-02-06 12:45
1.3K
bagorder__4218_20.min1.thm1
2017-02-06 12:45
1.1K
bagorder__4227_24.min1.thm1
2017-02-06 12:45
859
bagorder__4241_11.min1.thm1
2017-02-06 12:45
1.6K
bagorder__4242_73.min1.thm1
2017-02-06 12:45
1.4K
bagorder__4243_47.min1.thm1
2017-02-06 12:45
1.2K
bagorder__4245_24.min1.thm1
2017-02-06 12:45
631
bagorder__4245_24.min1.thm1.tptp
2017-02-06 16:48
549
bagorder__4248_19.min1.thm1
2017-02-06 12:45
2.0K
bagorder__4249_18.min1.thm1
2017-02-06 12:45
2.0K
bagorder__4252_25.min1.thm1
2017-02-06 12:45
901
bagorder__4255_20.min1.thm1
2017-02-06 12:45
679
bagorder__4259_43.min1.thm1
2017-02-06 12:45
719
bagorder__4264_36.min1.thm1
2017-02-06 12:45
1.0K
bagorder__4266_39.min1.thm1
2017-02-06 12:45
1.3K
bagorder__4268_24.min1.thm1
2017-02-06 12:45
1.3K
bagorder__4269_20.min1.thm1
2017-02-06 12:45
1.2K
bagorder__4279_11.min1.thm1
2017-02-06 12:45
1.8K
bagorder__4280_73.min1.thm1
2017-02-06 12:45
1.4K
bagorder__4281_47.min1.thm1
2017-02-06 12:45
1.2K
bagorder__4296_22.min1.thm1
2017-02-06 12:45
867
bagorder__4297_27.min1.thm1
2017-02-06 12:45
2.2K
bagorder__4300_20.min1.thm1
2017-02-06 12:45
1.2K
bagorder__4302_40.min1.thm1
2017-02-06 12:45
2.2K
bagorder__4305_20.min1.thm1
2017-02-06 12:45
508
bagorder__4306_19.min1.thm1
2017-02-06 12:45
2.5K
bagorder__4307_19.min1.thm1
2017-02-06 12:45
2.0K
bagorder__4315_11.min1.thm1
2017-02-06 12:45
2.2K
bagorder__4316_73.min1.thm1
2017-02-06 12:45
1.5K
bagorder__4317_47.min1.thm1
2017-02-06 12:45
1.3K
bagorder__4320_24.min1.thm1
2017-02-06 12:45
859
bagorder__4333_23.min1.thm1
2017-02-06 12:45
867
bagorder__4334_29.min1.thm1
2017-02-06 12:45
2.2K
bagorder__4337_23.min1.thm1
2017-02-06 12:45
1.2K
bagorder__4339_48.min1.thm1
2017-02-06 12:45
2.2K
bagorder__4342_24.min1.thm1
2017-02-06 12:45
554
bagorder__4343_19.min1.thm1
2017-02-06 12:45
2.6K
bagorder__4344_21.min1.thm1
2017-02-06 12:45
2.0K
bagorder__4355_31.min1.thm1
2017-02-06 12:45
1.2K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80