Index of /~mptp/1147/MPTP2/ilp0/rvsum_1
Name
Last modified
Size
Description
Parent Directory
-
rvsum_1__51_15.min1.thm1
2017-02-06 12:45
1.5K
rvsum_1__59_42.min1.thm1
2017-02-06 12:45
634
rvsum_1__60_16.min1.thm1
2017-02-06 12:45
707
rvsum_1__67_14.min1.thm1
2017-02-06 12:45
481
rvsum_1__78_22.min1.thm1
2017-02-06 12:45
600
rvsum_1__81_19.min1.thm1
2017-02-06 12:45
1.3K
rvsum_1__90_42.min1.thm1
2017-02-06 12:45
379
rvsum_1__91_29.min1.thm1
2017-02-06 12:45
598
rvsum_1__92_16.min1.thm1
2017-02-06 12:45
1.3K
rvsum_1__101_53.min1.thm1
2017-02-06 12:45
479
rvsum_1__102_33.min1.thm1
2017-02-06 12:45
723
rvsum_1__112_62.min1.thm1
2017-02-06 12:45
579
rvsum_1__113_36.min1.thm1
2017-02-06 12:45
851
rvsum_1__124_7.min1.thm1
2017-02-06 12:45
679
rvsum_1__133_11.min1.thm1
2017-02-06 12:45
594
rvsum_1__141_35.min1.thm1
2017-02-06 12:45
1.0K
rvsum_1__142_31.min1.thm1
2017-02-06 12:45
1.0K
rvsum_1__143_19.min1.thm1
2017-02-06 12:45
958
rvsum_1__155_29.min1.thm1
2017-02-06 12:45
931
rvsum_1__166_20.min1.thm1
2017-02-06 12:45
1.3K
rvsum_1__168_38.min1.thm1
2017-02-06 12:45
1.5K
rvsum_1__171_19.min1.thm1
2017-02-06 12:45
364
rvsum_1__173_13.min1.thm1
2017-02-06 12:45
130
rvsum_1__187_16.min1.thm1
2017-02-06 12:45
315
rvsum_1__187_16.min1.thm1.tptp
2017-02-06 16:47
234
rvsum_1__188_19.min1.thm1
2017-02-06 12:45
591
rvsum_1__197_23.min1.thm1
2017-02-06 12:45
595
rvsum_1__198_26.min1.thm1
2017-02-06 12:45
807
rvsum_1__205_30.min1.thm1
2017-02-06 12:45
921
rvsum_1__214_20.min1.thm1
2017-02-06 12:45
1.6K
rvsum_1__220_20.min1.thm1
2017-02-06 12:45
1.5K
rvsum_1__233_19.min1.thm1
2017-02-06 12:45
1.2K
rvsum_1__234_16.min1.thm1
2017-02-06 12:45
1.8K
rvsum_1__236_36.min1.thm1
2017-02-06 12:45
1.0K
rvsum_1__237_42.min1.thm1
2017-02-06 12:45
1.0K
rvsum_1__246_31.min1.thm1
2017-02-06 12:45
383
rvsum_1__254_44.min1.thm1
2017-02-06 12:45
482
rvsum_1__256_24.min1.thm1
2017-02-06 12:45
1.2K
rvsum_1__266_14.min1.thm1
2017-02-06 12:45
299
rvsum_1__266_14.min1.thm1.tptp
2017-02-06 16:47
218
rvsum_1__275_14.min1.thm1
2017-02-06 12:45
1.3K
rvsum_1__278_14.min1.thm1
2017-02-06 12:45
1.3K
rvsum_1__283_35.min1.thm1
2017-02-06 12:45
1.0K
rvsum_1__286_41.min1.thm1
2017-02-06 12:45
1.8K
rvsum_1__289_41.min1.thm1
2017-02-06 12:45
2.0K
rvsum_1__295_20.min1.thm1
2017-02-06 12:45
539
rvsum_1__302_14.min1.thm1
2017-02-06 12:45
1.2K
rvsum_1__305_52.min1.thm1
2017-02-06 12:45
641
rvsum_1__311_37.min1.thm1
2017-02-06 12:45
1.7K
rvsum_1__342_46.min1.thm1
2017-02-06 12:45
689
rvsum_1__372_11.min1.thm1
2017-02-06 12:45
240
rvsum_1__376_22.min1.thm1
2017-02-06 12:45
1.1K
rvsum_1__377_22.min1.thm1
2017-02-06 12:45
1.1K
rvsum_1__381_41.min1.thm1
2017-02-06 12:45
2.7K
rvsum_1__382_23.min1.thm1
2017-02-06 12:45
1.9K
rvsum_1__394_29.min1.thm1
2017-02-06 12:45
445
rvsum_1__394_29.min1.thm1.tptp
2017-02-06 16:47
368
rvsum_1__401_47.min1.thm1
2017-02-06 12:45
482
rvsum_1__404_14.min1.thm1
2017-02-06 12:45
1.1K
rvsum_1__410_47.min1.thm1
2017-02-06 12:45
482
rvsum_1__423_18.min1.thm1
2017-02-06 12:45
1.1K
rvsum_1__429_14.min1.thm1
2017-02-06 12:45
1.0K
rvsum_1__433_22.min1.thm1
2017-02-06 12:45
1.2K
rvsum_1__445_29.min1.thm1
2017-02-06 12:45
1.6K
rvsum_1__446_30.min1.thm1
2017-02-06 12:45
1.4K
rvsum_1__457_29.min1.thm1
2017-02-06 12:45
1.3K
rvsum_1__458_28.min1.thm1
2017-02-06 12:45
1.4K
rvsum_1__472_20.min1.thm1
2017-02-06 12:45
1.3K
rvsum_1__475_22.min1.thm1
2017-02-06 12:45
1.4K
rvsum_1__480_38.min1.thm1
2017-02-06 12:45
379
rvsum_1__482_16.min1.thm1
2017-02-06 12:45
1.3K
rvsum_1__483_14.min1.thm1
2017-02-06 12:45
939
rvsum_1__489_38.min1.thm1
2017-02-06 12:45
379
rvsum_1__491_16.min1.thm1
2017-02-06 12:45
1.3K
rvsum_1__506_17.min1.thm1
2017-02-06 12:45
531
rvsum_1__506_23.min1.thm1
2017-02-06 12:45
441
rvsum_1__506_23.min1.thm1.tptp
2017-02-06 16:47
368
rvsum_1__525_36.min1.thm1
2017-02-06 12:45
1.9K
rvsum_1__527_27.min1.thm1
2017-02-06 12:45
1.5K
rvsum_1__528_26.min1.thm1
2017-02-06 12:45
1.5K
rvsum_1__547_14.min1.thm1
2017-02-06 12:45
1.2K
rvsum_1__550_52.min1.thm1
2017-02-06 12:45
641
rvsum_1__552_37.min1.thm1
2017-02-06 12:45
1.6K
rvsum_1__593_11.min1.thm1
2017-02-06 12:45
240
rvsum_1__597_22.min1.thm1
2017-02-06 12:45
1.1K
rvsum_1__598_22.min1.thm1
2017-02-06 12:45
1.1K
rvsum_1__602_41.min1.thm1
2017-02-06 12:45
2.7K
rvsum_1__603_23.min1.thm1
2017-02-06 12:45
1.9K
rvsum_1__614_29.min1.thm1
2017-02-06 12:45
445
rvsum_1__614_29.min1.thm1.tptp
2017-02-06 16:47
368
rvsum_1__621_47.min1.thm1
2017-02-06 12:45
482
rvsum_1__624_14.min1.thm1
2017-02-06 12:45
1.2K
rvsum_1__630_47.min1.thm1
2017-02-06 12:45
482
rvsum_1__637_21.min1.thm1
2017-02-06 12:45
1.6K
rvsum_1__663_15.min1.thm1
2017-02-06 12:45
557
rvsum_1__663_15.min1.thm1.tptp
2017-02-06 16:47
484
rvsum_1__674_14.min1.thm1
2017-02-06 12:45
824
rvsum_1__708_22.min1.thm1
2017-02-06 12:45
1.2K
rvsum_1__714_14.min1.thm1
2017-02-06 12:45
1.1K
rvsum_1__718_23.min1.thm1
2017-02-06 12:45
1.6K
rvsum_1__742_31.min1.thm1
2017-02-06 12:45
1.4K
rvsum_1__765_45.min1.thm1
2017-02-06 12:45
482
rvsum_1__768_14.min1.thm1
2017-02-06 12:45
1.0K
rvsum_1__774_47.min1.thm1
2017-02-06 12:45
482
rvsum_1__781_26.min1.thm1
2017-02-06 12:45
1.5K
rvsum_1__788_25.min1.thm1
2017-02-06 12:45
1.6K
rvsum_1__789_25.min1.thm1
2017-02-06 12:45
1.6K
rvsum_1__807_12.min1.thm1
2017-02-06 12:45
858
rvsum_1__812_17.min1.thm1
2017-02-06 12:45
1.2K
rvsum_1__819_13.min1.thm1
2017-02-06 12:45
1.7K
rvsum_1__837_26.min1.thm1
2017-02-06 12:45
631
rvsum_1__838_26.min1.thm1
2017-02-06 12:45
1.1K
rvsum_1__844_23.min1.thm1
2017-02-06 12:45
1.7K
rvsum_1__845_33.min1.thm1
2017-02-06 12:45
1.2K
rvsum_1__846_27.min1.thm1
2017-02-06 12:45
1.1K
rvsum_1__849_16.min1.thm1
2017-02-06 12:45
338
rvsum_1__851_14.min1.thm1
2017-02-06 12:45
948
rvsum_1__863_38.min1.thm1
2017-02-06 12:45
379
rvsum_1__865_17.min1.thm1
2017-02-06 12:45
1.8K
rvsum_1__866_14.min1.thm1
2017-02-06 12:45
919
rvsum_1__872_38.min1.thm1
2017-02-06 12:45
379
rvsum_1__882_15.min1.thm1
2017-02-06 12:45
1.3K
rvsum_1__883_24.min1.thm1
2017-02-06 12:45
1.3K
rvsum_1__899_24.min1.thm1
2017-02-06 12:45
1.6K
rvsum_1__901_24.min1.thm1
2017-02-06 12:45
1.3K
rvsum_1__923_14.min1.thm1
2017-02-06 12:45
1.2K
rvsum_1__926_52.min1.thm1
2017-02-06 12:45
641
rvsum_1__932_40.min1.thm1
2017-02-06 12:45
1.7K
rvsum_1__942_33.min1.thm1
2017-02-06 12:45
2.1K
rvsum_1__961_52.min1.thm1
2017-02-06 12:45
689
rvsum_1__1000_29.min1.thm1
2017-02-06 12:45
445
rvsum_1__1000_29.min1.thm1.tptp
2017-02-06 16:47
368
rvsum_1__1007_47.min1.thm1
2017-02-06 12:45
482
rvsum_1__1010_14.min1.thm1
2017-02-06 12:45
1.2K
rvsum_1__1016_38.min1.thm1
2017-02-06 12:45
379
rvsum_1__1025_47.min1.thm1
2017-02-06 12:45
482
rvsum_1__1035_23.min1.thm1
2017-02-06 12:45
486
rvsum_1__1038_19.min1.thm1
2017-02-06 12:45
847
rvsum_1__1044_36.min1.thm1
2017-02-06 12:45
1.9K
rvsum_1__1049_38.min1.thm1
2017-02-06 12:45
2.0K
rvsum_1__1050_36.min1.thm1
2017-02-06 12:45
555
rvsum_1__1050_36.min1.thm1.tptp
2017-02-06 16:47
488
rvsum_1__1051_23.min1.thm1
2017-02-06 12:45
378
rvsum_1__1054_36.min1.thm1
2017-02-06 12:45
1.5K
rvsum_1__1055_38.min1.thm1
2017-02-06 12:45
555
rvsum_1__1055_38.min1.thm1.tptp
2017-02-06 16:47
488
rvsum_1__1080_41.min1.thm1
2017-02-06 12:45
745
rvsum_1__1080_41.min1.thm1.tptp
2017-02-06 16:47
672
rvsum_1__1089_40.min1.thm1
2017-02-06 12:45
2.0K
rvsum_1__1091_26.min1.thm1
2017-02-06 12:45
1.3K
rvsum_1__1092_26.min1.thm1
2017-02-06 12:45
1.3K
rvsum_1__1115_11.min1.thm1
2017-02-06 12:45
586
rvsum_1__1119_26.min1.thm1
2017-02-06 12:45
560
rvsum_1__1120_16.min1.thm1
2017-02-06 12:45
490
rvsum_1__1120_16.min1.thm1.tptp
2017-02-06 16:47
431
rvsum_1__1132_23.min1.thm1
2017-02-06 12:45
440
rvsum_1__1132_23.min1.thm1.tptp
2017-02-06 16:47
363
rvsum_1__1133_54.min1.thm1
2017-02-06 12:45
647
rvsum_1__1135_15.min1.thm1
2017-02-06 12:45
430
rvsum_1__1135_15.min1.thm1.tptp
2017-02-06 16:47
355
rvsum_1__1137_12.min1.thm1
2017-02-06 12:45
384
rvsum_1__1156_39.min1.thm1
2017-02-06 12:45
885
rvsum_1__1159_17.min1.thm1
2017-02-06 12:45
300
rvsum_1__1163_25.min1.thm1
2017-02-06 12:45
877
rvsum_1__1170_74.min1.thm1
2017-02-06 12:45
927
rvsum_1__1171_29.min1.thm1
2017-02-06 12:45
1.4K
rvsum_1__1178_20.min1.thm1
2017-02-06 12:45
2.1K
rvsum_1__1179_18.min1.thm1
2017-02-06 12:45
745
rvsum_1__1192_21.min1.thm1
2017-02-06 12:45
1.0K
rvsum_1__1193_52.min1.thm1
2017-02-06 12:45
1.1K
rvsum_1__1197_20.min1.thm1
2017-02-06 12:45
960
rvsum_1__1207_37.min1.thm1
2017-02-06 12:45
869
rvsum_1__1210_15.min1.thm1
2017-02-06 12:45
280
rvsum_1__1215_20.min1.thm1
2017-02-06 12:45
725
rvsum_1__1215_20.min1.thm1.tptp
2017-02-06 16:47
643
rvsum_1__1221_20.min1.thm1
2017-02-06 12:45
725
rvsum_1__1221_20.min1.thm1.tptp
2017-02-06 16:47
643
rvsum_1__1224_27.min1.thm1
2017-02-06 12:45
1.4K
rvsum_1__1233_18.min1.thm1
2017-02-06 12:45
741
rvsum_1__1238_9.min1.thm1
2017-02-06 12:45
799
rvsum_1__1238_9.min1.thm1.tptp
2017-02-06 16:47
717
rvsum_1__1240_25.min1.thm1
2017-02-06 12:45
1.1K
rvsum_1__1248_14.min1.thm1
2017-02-06 12:45
1.0K
rvsum_1__1249_18.min1.thm1
2017-02-06 12:45
1.2K
rvsum_1__1256_14.min1.thm1
2017-02-06 12:45
1.1K
rvsum_1__1257_18.min1.thm1
2017-02-06 12:45
443
rvsum_1__1257_18.min1.thm1.tptp
2017-02-06 16:47
379
rvsum_1__1261_22.min1.thm1
2017-02-06 12:45
1.2K
rvsum_1__1266_36.min1.thm1
2017-02-06 12:45
379
rvsum_1__1267_18.min1.thm1
2017-02-06 12:45
1.0K
rvsum_1__1268_14.min1.thm1
2017-02-06 12:45
1.2K
rvsum_1__1274_38.min1.thm1
2017-02-06 12:45
379
rvsum_1__1275_43.min1.thm1
2017-02-06 12:45
445
rvsum_1__1275_43.min1.thm1.tptp
2017-02-06 16:47
368
rvsum_1__1278_16.min1.thm1
2017-02-06 12:45
579
rvsum_1__1284_50.min1.thm1
2017-02-06 12:45
637
rvsum_1__1285_30.min1.thm1
2017-02-06 12:45
1.0K
rvsum_1__1288_22.min1.thm1
2017-02-06 12:45
744
rvsum_1__1294_38.min1.thm1
2017-02-06 12:45
379
rvsum_1__1295_42.min1.thm1
2017-02-06 12:45
1.9K
rvsum_1__1296_19.min1.thm1
2017-02-06 12:45
1.2K
rvsum_1__1302_40.min1.thm1
2017-02-06 12:45
379
rvsum_1__1303_39.min1.thm1
2017-02-06 12:45
1.9K
rvsum_1__1304_17.min1.thm1
2017-02-06 12:45
1.1K
rvsum_1__1310_45.min1.thm1
2017-02-06 12:45
1.4K
rvsum_1__1311_22.min1.thm1
2017-02-06 12:45
895
rvsum_1__1315_60.min1.thm1
2017-02-06 12:45
1.5K
rvsum_1__1320_36.min1.thm1
2017-02-06 12:45
379
rvsum_1__1328_16.min1.thm1
2017-02-06 12:45
2.1K
rvsum_1__1330_11.min1.thm1
2017-02-06 12:45
1.9K
rvsum_1__1339_8.min1.thm1
2017-02-06 12:45
723
rvsum_1__1375_16.min1.thm1
2017-02-06 12:45
1.3K
rvsum_1__1380_9.min1.thm1
2017-02-06 12:45
2.1K
rvsum_1__1418_18.min1.thm1
2017-02-06 12:45
670
rvsum_1__1425_19.min1.thm1
2017-02-06 12:45
1.3K
rvsum_1__1438_25.min1.thm1
2017-02-06 12:45
312
rvsum_1__1442_9.min1.thm1
2017-02-06 12:45
1.0K
rvsum_1__1450_45.min1.thm1
2017-02-06 12:45
445
rvsum_1__1450_45.min1.thm1.tptp
2017-02-06 16:47
368
rvsum_1__1453_54.min1.thm1
2017-02-06 12:45
467
rvsum_1__1454_24.min1.thm1
2017-02-06 12:45
807
rvsum_1__1459_17.min1.thm1
2017-02-06 12:45
1.6K
rvsum_1__1466_45.min1.thm1
2017-02-06 12:45
445
rvsum_1__1466_45.min1.thm1.tptp
2017-02-06 16:47
368
rvsum_1__1468_54.min1.thm1
2017-02-06 12:45
467
rvsum_1__1469_24.min1.thm1
2017-02-06 12:45
807
rvsum_1__1478_17.min1.thm1
2017-02-06 12:45
1.6K
rvsum_1__1486_19.min1.thm1
2017-02-06 12:45
1.1K
rvsum_1__1495_43.min1.thm1
2017-02-06 12:45
445
rvsum_1__1495_43.min1.thm1.tptp
2017-02-06 16:47
368
rvsum_1__1496_38.min1.thm1
2017-02-06 12:45
379
rvsum_1__1500_16.min1.thm1
2017-02-06 12:45
581
rvsum_1__1506_43.min1.thm1
2017-02-06 12:45
445
rvsum_1__1506_43.min1.thm1.tptp
2017-02-06 16:47
368
rvsum_1__1508_19.min1.thm1
2017-02-06 12:45
1.6K
rvsum_1__1509_15.min1.thm1
2017-02-06 12:45
549
rvsum_1__1532_16.min1.thm1
2017-02-06 12:45
1.4K
rvsum_1__1533_23.min1.thm1
2017-02-06 12:45
1.1K
rvsum_1__1539_24.min1.thm1
2017-02-06 12:45
1.4K
rvsum_1__1552_30.min1.thm1
2017-02-06 12:45
2.4K
rvsum_1__1574_42.min1.thm1
2017-02-06 12:45
395
rvsum_1__1640_23.min1.thm1
2017-02-06 12:45
440
rvsum_1__1640_23.min1.thm1.tptp
2017-02-06 16:47
363
rvsum_1__1641_54.min1.thm1
2017-02-06 12:45
647
rvsum_1__1643_15.min1.thm1
2017-02-06 12:45
430
rvsum_1__1643_15.min1.thm1.tptp
2017-02-06 16:47
355
rvsum_1__1645_12.min1.thm1
2017-02-06 12:45
384
rvsum_1__1664_39.min1.thm1
2017-02-06 12:45
885
rvsum_1__1667_17.min1.thm1
2017-02-06 12:45
300
rvsum_1__1671_25.min1.thm1
2017-02-06 12:45
877
rvsum_1__1678_74.min1.thm1
2017-02-06 12:45
927
rvsum_1__1679_29.min1.thm1
2017-02-06 12:45
1.4K
rvsum_1__1686_20.min1.thm1
2017-02-06 12:45
2.1K
rvsum_1__1687_18.min1.thm1
2017-02-06 12:45
745
rvsum_1__1700_21.min1.thm1
2017-02-06 12:45
1.0K
rvsum_1__1701_52.min1.thm1
2017-02-06 12:45
1.1K
rvsum_1__1705_20.min1.thm1
2017-02-06 12:45
960
rvsum_1__1717_15.min1.thm1
2017-02-06 12:45
280
rvsum_1__1722_20.min1.thm1
2017-02-06 12:45
725
rvsum_1__1722_20.min1.thm1.tptp
2017-02-06 16:47
643
rvsum_1__1728_20.min1.thm1
2017-02-06 12:45
725
rvsum_1__1728_20.min1.thm1.tptp
2017-02-06 16:47
643
rvsum_1__1731_27.min1.thm1
2017-02-06 12:45
371
rvsum_1__1731_27.min1.thm1.tptp
2017-02-06 16:47
288
rvsum_1__1732_37.min1.thm1
2017-02-06 12:45
869
rvsum_1__1741_18.min1.thm1
2017-02-06 12:45
741
rvsum_1__1746_9.min1.thm1
2017-02-06 12:45
799
rvsum_1__1746_9.min1.thm1.tptp
2017-02-06 16:47
717
rvsum_1__1748_25.min1.thm1
2017-02-06 12:45
1.1K
rvsum_1__1756_14.min1.thm1
2017-02-06 12:45
1.0K
rvsum_1__1757_18.min1.thm1
2017-02-06 12:45
1.2K
rvsum_1__1764_14.min1.thm1
2017-02-06 12:45
1.1K
rvsum_1__1765_18.min1.thm1
2017-02-06 12:45
443
rvsum_1__1765_18.min1.thm1.tptp
2017-02-06 16:47
379
rvsum_1__1770_24.min1.thm1
2017-02-06 12:45
1.2K
rvsum_1__1771_14.min1.thm1
2017-02-06 12:45
703
rvsum_1__1775_24.min1.thm1
2017-02-06 12:45
928
rvsum_1__1782_45.min1.thm1
2017-02-06 12:45
390
rvsum_1__1783_50.min1.thm1
2017-02-06 12:45
460
rvsum_1__1784_25.min1.thm1
2017-02-06 12:45
401
rvsum_1__1784_25.min1.thm1.tptp
2017-02-06 16:47
327
rvsum_1__1785_16.min1.thm1
2017-02-06 12:45
1.1K
rvsum_1__1794_56.min1.thm1
2017-02-06 12:45
497
rvsum_1__1795_54.min1.thm1
2017-02-06 12:45
591
rvsum_1__1796_25.min1.thm1
2017-02-06 12:45
401
rvsum_1__1796_25.min1.thm1.tptp
2017-02-06 16:47
327
rvsum_1__1806_65.min1.thm1
2017-02-06 12:45
604
rvsum_1__1808_57.min1.thm1
2017-02-06 12:45
725
rvsum_1__1809_25.min1.thm1
2017-02-06 12:45
401
rvsum_1__1809_25.min1.thm1.tptp
2017-02-06 16:47
327
rvsum_1__1818_44.min1.thm1
2017-02-06 12:45
386
rvsum_1__1819_49.min1.thm1
2017-02-06 12:45
444
rvsum_1__1820_25.min1.thm1
2017-02-06 12:45
968
rvsum_1__1821_17.min1.thm1
2017-02-06 12:45
1.8K
rvsum_1__1829_35.min1.thm1
2017-02-06 12:45
799
rvsum_1__1830_42.min1.thm1
2017-02-06 12:45
657
rvsum_1__1831_34.min1.thm1
2017-02-06 12:45
639
rvsum_1__1832_19.min1.thm1
2017-02-06 12:45
1.0K
rvsum_1__1841_43.min1.thm1
2017-02-06 12:45
386
rvsum_1__1842_48.min1.thm1
2017-02-06 12:45
1.8K
rvsum_1__1855_29.min1.thm1
2017-02-06 12:45
1.2K
rvsum_1__1856_42.min1.thm1
2017-02-06 12:45
653
rvsum_1__1858_4.min1.thm1
2017-02-06 12:45
1.3K
rvsum_1__1868_23.min1.thm1
2017-02-06 12:45
746
rvsum_1__1875_49.min1.thm1
2017-02-06 12:45
1.2K
rvsum_1__1876_17.min1.thm1
2017-02-06 12:45
650
rvsum_1__1883_55.min1.thm1
2017-02-06 12:45
1.5K
rvsum_1__1884_22.min1.thm1
2017-02-06 12:45
910
rvsum_1__1888_64.min1.thm1
2017-02-06 12:45
2.0K
rvsum_1__1904_18.min1.thm1
2017-02-06 12:45
1.4K
rvsum_1__1905_21.min1.thm1
2017-02-06 12:45
443
rvsum_1__1905_21.min1.thm1.tptp
2017-02-06 16:47
366
rvsum_1__1907_34.min1.thm1
2017-02-06 12:45
648
rvsum_1__1913_19.min1.thm1
2017-02-06 12:45
676
rvsum_1__1916_34.min1.thm1
2017-02-06 12:45
652
rvsum_1__1917_22.min1.thm1
2017-02-06 12:45
861
rvsum_1__1918_23.min1.thm1
2017-02-06 12:45
969
rvsum_1__1919_17.min1.thm1
2017-02-06 12:45
1.4K
rvsum_1__1929_24.min1.thm1
2017-02-06 12:45
815
rvsum_1__1942_25.min1.thm1
2017-02-06 12:45
916
rvsum_1__1943_33.min1.thm1
2017-02-06 12:45
1.0K
rvsum_1__1950_20.min1.thm1
2017-02-06 12:45
696
rvsum_1__1953_32.min1.thm1
2017-02-06 12:45
839
rvsum_1__1956_25.min1.thm1
2017-02-06 12:45
1.0K
rvsum_1__1960_23.min1.thm1
2017-02-06 12:45
1.3K
rvsum_1__1961_25.min1.thm1
2017-02-06 12:45
964
rvsum_1__1964_18.min1.thm1
2017-02-06 12:45
248
rvsum_1__1968_16.min1.thm1
2017-02-06 12:45
1.2K
rvsum_1__1974_28.min1.thm1
2017-02-06 12:45
835
rvsum_1__1976_21.min1.thm1
2017-02-06 12:45
1.3K
rvsum_1__1980_25.min1.thm1
2017-02-06 12:45
1.2K
rvsum_1__1981_21.min1.thm1
2017-02-06 12:45
1.1K
rvsum_1__1986_23.min1.thm1
2017-02-06 12:45
902
rvsum_1__1987_18.min1.thm1
2017-02-06 12:45
1.6K
rvsum_1__1990_17.min1.thm1
2017-02-06 12:45
1.4K
rvsum_1__1996_38.min1.thm1
2017-02-06 12:45
383
rvsum_1__2006_36.min1.thm1
2017-02-06 12:45
383
rvsum_1__2014_47.min1.thm1
2017-02-06 12:45
489
rvsum_1__2032_38.min1.thm1
2017-02-06 12:45
383
rvsum_1__2046_71.min1.thm1
2017-02-06 12:45
331
rvsum_1__2078_19.min1.thm1
2017-02-06 12:45
1.4K
rvsum_1__2088_32.min1.thm1
2017-02-06 12:45
452
rvsum_1__2088_32.min1.thm1.tptp
2017-02-06 16:47
375
rvsum_1__2089_30.min1.thm1
2017-02-06 12:45
452
rvsum_1__2089_30.min1.thm1.tptp
2017-02-06 16:47
375
rvsum_1__2090_64.min1.thm1
2017-02-06 12:45
404
rvsum_1__2090_64.min1.thm1.tptp
2017-02-06 16:47
326
rvsum_1__2092_57.min1.thm1
2017-02-06 12:45
495
rvsum_1__2103_32.min1.thm1
2017-02-06 12:45
452
rvsum_1__2103_32.min1.thm1.tptp
2017-02-06 16:47
375
rvsum_1__2104_30.min1.thm1
2017-02-06 12:45
452
rvsum_1__2104_30.min1.thm1.tptp
2017-02-06 16:47
375
rvsum_1__2105_64.min1.thm1
2017-02-06 12:45
404
rvsum_1__2105_64.min1.thm1.tptp
2017-02-06 16:47
326
rvsum_1__2107_57.min1.thm1
2017-02-06 12:45
495
rvsum_1__2118_29.min1.thm1
2017-02-06 12:45
452
rvsum_1__2118_29.min1.thm1.tptp
2017-02-06 16:47
375
rvsum_1__2119_55.min1.thm1
2017-02-06 12:45
404
rvsum_1__2119_55.min1.thm1.tptp
2017-02-06 16:47
326
rvsum_1__2130_29.min1.thm1
2017-02-06 12:45
848
rvsum_1__2132_74.min1.thm1
2017-02-06 12:45
829
rvsum_1__2171_15.min1.thm1
2017-02-06 12:45
610
rvsum_1__2178_15.min1.thm1
2017-02-06 12:45
551
rvsum_1__2186_29.min1.thm1
2017-02-06 12:45
452
rvsum_1__2186_29.min1.thm1.tptp
2017-02-06 16:47
375
rvsum_1__2187_57.min1.thm1
2017-02-06 12:45
404
rvsum_1__2187_57.min1.thm1.tptp
2017-02-06 16:47
326
rvsum_1__2198_29.min1.thm1
2017-02-06 12:45
848
rvsum_1__2201_72.min1.thm1
2017-02-06 12:45
829
rvsum_1__2206_14.min1.thm1
2017-02-06 12:45
506
rvsum_1__2214_39.min1.thm1
2017-02-06 12:45
383
rvsum_1__2215_57.min1.thm1
2017-02-06 12:45
650
rvsum_1__2217_70.min1.thm1
2017-02-06 12:45
632
rvsum_1__2221_14.min1.thm1
2017-02-06 12:45
452
rvsum_1__2241_26.min1.thm1
2017-02-06 12:45
591
rvsum_1__2255_21.min1.thm1
2017-02-06 12:45
500
rvsum_1__2255_21.min1.thm1.tptp
2017-02-06 16:47
427
rvsum_1__2269_42.min1.thm1
2017-02-06 12:45
918
rvsum_1__2273_14.min1.thm1
2017-02-06 12:45
738
rvsum_1__2330_14.min1.thm1
2017-02-06 12:45
716
rvsum_1__2336_59.min1.thm1
2017-02-06 12:45
1.5K
rvsum_1__2337_13.min1.thm1
2017-02-06 12:45
1.2K
rvsum_1__2346_51.min1.thm1
2017-02-06 12:45
1.3K
rvsum_1__2347_24.min1.thm1
2017-02-06 12:45
1.6K
rvsum_1__2380_14.min1.thm1
2017-02-06 12:45
834
rvsum_1__2390_14.min1.thm1
2017-02-06 12:45
854
rvsum_1__2400_14.min1.thm1
2017-02-06 12:45
858
rvsum_1__2415_14.min1.thm1
2017-02-06 12:45
780
rvsum_1__2421_32.min1.thm1
2017-02-06 12:45
1.7K
rvsum_1__2438_10.min1.thm1
2017-02-06 12:45
576
rvsum_1__2446_20.min1.thm1
2017-02-06 12:45
881
rvsum_1__2456_51.min1.thm1
2017-02-06 12:45
1.5K
rvsum_1__2457_27.min1.thm1
2017-02-06 12:45
690
rvsum_1__2468_34.min1.thm1
2017-02-06 12:45
2.5K
rvsum_1__2469_16.min1.thm1
2017-02-06 12:45
1.4K
rvsum_1__2476_24.min1.thm1
2017-02-06 12:45
428
rvsum_1__2476_24.min1.thm1.tptp
2017-02-06 16:47
357
rvsum_1__2477_32.min1.thm1
2017-02-06 12:45
811
rvsum_1__2478_51.min1.thm1
2017-02-06 12:45
1.3K
rvsum_1__2487_13.min1.thm1
2017-02-06 12:45
251
rvsum_1__2491_23.min1.thm1
2017-02-06 12:45
531
rvsum_1__2495_21.min1.thm1
2017-02-06 12:45
1.4K
rvsum_1__2502_18.min1.thm1
2017-02-06 12:45
1.5K
rvsum_1__2504_22.min1.thm1
2017-02-06 12:45
914
rvsum_1__2509_21.min1.thm1
2017-02-06 12:45
1.4K
rvsum_1__2522_20.min1.thm1
2017-02-06 12:45
546
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80