Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/roughs_1
Name
Last modified
Size
Description
Parent Directory
-
roughs_1__117_28.min1.thm1.tptp
2017-02-06 16:47
306
roughs_1__1719_25.min1.thm1.tptp
2017-02-06 16:47
476
roughs_1__1514_17.min1.thm1.tptp
2017-02-06 16:47
503
roughs_1__1645_24.min1.thm1.tptp
2017-02-06 16:47
493
roughs_1__1237_70.min1.thm1.tptp
2017-02-06 16:47
605
roughs_1__1550_14.min1.thm1.tptp
2017-02-06 16:47
735
roughs_1__1003_19.min1.thm1.tptp
2017-02-06 16:47
390
roughs_1__1427_18.min1.thm1.tptp
2017-02-06 16:47
388
roughs_1__251_16.min1.thm1.tptp
2017-02-06 16:47
250
roughs_1__1654_24.min1.thm1.tptp
2017-02-06 16:47
493
roughs_1__1228_49.min1.thm1.tptp
2017-02-06 16:47
512
roughs_1__1705_25.min1.thm1.tptp
2017-02-06 16:47
476
roughs_1__485_12.min1.thm1.tptp
2017-02-06 16:47
860
roughs_1__400_14.min1.thm1.tptp
2017-02-06 16:47
606
roughs_1__528_17.min1.thm1.tptp
2017-02-06 16:47
435
roughs_1__73_26.min1.thm1.tptp
2017-02-06 16:47
314
roughs_1__427_16.min1.thm1.tptp
2017-02-06 16:47
369
roughs_1__56_13.min1.thm1.tptp
2017-02-06 16:47
325
roughs_1__444_16.min1.thm1.tptp
2017-02-06 16:47
369
roughs_1__134_16.min1.thm1.tptp
2017-02-06 16:47
419
roughs_1__1248_14.min1.thm1.tptp
2017-02-06 16:47
509
roughs_1__90_60.min1.thm1.tptp
2017-02-06 16:47
326
roughs_1__1055_36.min1.thm1.tptp
2017-02-06 16:47
737
roughs_1__406_14.min1.thm1.tptp
2017-02-06 16:47
490
roughs_1__994_16.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__520_50.min1.thm1
2017-02-06 12:45
770
roughs_1__507_48.min1.thm1
2017-02-06 12:45
1.1K
roughs_1__362_19.min1.thm1
2017-02-06 12:45
1.3K
roughs_1__783_28.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__150_11.min1.thm1
2017-02-06 12:45
280
roughs_1__1368_14.min1.thm1
2017-02-06 12:45
3.1K
roughs_1__1479_25.min1.thm1
2017-02-06 12:45
2.3K
roughs_1__388_16.min1.thm1
2017-02-06 12:45
2.5K
roughs_1__879_23.min1.thm1
2017-02-06 12:45
873
roughs_1__669_51.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__553_56.min1.thm1
2017-02-06 12:45
782
roughs_1__1524_22.min1.thm1
2017-02-06 12:45
1.4K
roughs_1__1446_33.min1.thm1
2017-02-06 12:45
2.1K
roughs_1__1679_10.min1.thm1
2017-02-06 12:45
390
roughs_1__1426_18.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__117_28.min1.thm1
2017-02-06 12:45
371
roughs_1__1714_27.min1.thm1
2017-02-06 12:45
1.2K
roughs_1__945_17.min1.thm1
2017-02-06 12:45
1.9K
roughs_1__1457_25.min1.thm1
2017-02-06 12:45
2.4K
roughs_1__1534_18.min1.thm1
2017-02-06 12:45
1.1K
roughs_1__1218_31.min1.thm1
2017-02-06 12:45
1.1K
roughs_1__1719_25.min1.thm1
2017-02-06 12:45
546
roughs_1__278_36.min1.thm1
2017-02-06 12:45
1.4K
roughs_1__734_53.min1.thm1
2017-02-06 12:45
1.6K
roughs_1__1514_17.min1.thm1
2017-02-06 12:45
557
roughs_1__720_49.min1.thm1
2017-02-06 12:45
883
roughs_1__961_46.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__125_14.min1.thm1
2017-02-06 12:45
314
roughs_1__537_24.min1.thm1
2017-02-06 12:45
688
roughs_1__135_17.min1.thm1
2017-02-06 12:45
1.1K
roughs_1__1653_41.min1.thm1
2017-02-06 12:45
1.2K
roughs_1__1275_27.min1.thm1
2017-02-06 12:45
1.2K
roughs_1__114_69.min1.thm1
2017-02-06 12:45
1.1K
roughs_1__283_19.min1.thm1
2017-02-06 12:45
432
roughs_1__1057_26.min1.thm1
2017-02-06 12:45
1.4K
roughs_1__1603_42.min1.thm1
2017-02-06 12:45
872
roughs_1__159_15.min1.thm1
2017-02-06 12:45
1.6K
roughs_1__1270_21.min1.thm1
2017-02-06 12:45
1.7K
roughs_1__659_19.min1.thm1
2017-02-06 12:45
1.2K
roughs_1__534_21.min1.thm1
2017-02-06 12:45
658
roughs_1__1104_18.min1.thm1
2017-02-06 12:45
2.4K
roughs_1__1684_10.min1.thm1
2017-02-06 12:45
390
roughs_1__105_19.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__196_14.min1.thm1
2017-02-06 12:45
1.3K
roughs_1__919_17.min1.thm1
2017-02-06 12:45
1.4K
roughs_1__1704_43.min1.thm1
2017-02-06 12:45
1.1K
roughs_1__925_32.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__1017_19.min1.thm1
2017-02-06 12:45
942
roughs_1__1668_17.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__1324_34.min1.thm1
2017-02-06 12:45
2.0K
roughs_1__424_77.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__1629_13.min1.thm1
2017-02-06 12:45
335
roughs_1__1161_48.min1.thm1
2017-02-06 12:45
1.2K
roughs_1__1645_24.min1.thm1
2017-02-06 12:45
564
roughs_1__1403_29.min1.thm1
2017-02-06 12:45
1.3K
roughs_1__1373_42.min1.thm1
2017-02-06 12:45
2.6K
roughs_1__1237_70.min1.thm1
2017-02-06 12:45
659
roughs_1__1003_19.min1.thm1
2017-02-06 12:45
465
roughs_1__571_17.min1.thm1
2017-02-06 12:45
615
roughs_1__1162_20.min1.thm1
2017-02-06 12:45
1.2K
roughs_1__1550_14.min1.thm1
2017-02-06 12:45
808
roughs_1__595_22.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__1207_21.min1.thm1
2017-02-06 12:45
1.6K
roughs_1__1520_18.min1.thm1
2017-02-06 12:45
1.5K
roughs_1__1059_22.min1.thm1
2017-02-06 12:45
1.2K
roughs_1__602_29.min1.thm1
2017-02-06 12:45
669
roughs_1__567_24.min1.thm1
2017-02-06 12:45
688
roughs_1__111_43.min1.thm1
2017-02-06 12:45
852
roughs_1__603_17.min1.thm1
2017-02-06 12:45
828
roughs_1__929_53.min1.thm1
2017-02-06 12:45
1.3K
roughs_1__479_76.min1.thm1
2017-02-06 12:45
1.1K
roughs_1__1427_18.min1.thm1
2017-02-06 12:45
470
roughs_1__1706_19.min1.thm1
2017-02-06 12:45
925
roughs_1__251_16.min1.thm1
2017-02-06 12:45
328
roughs_1__593_19.min1.thm1
2017-02-06 12:45
1.3K
roughs_1__1219_29.min1.thm1
2017-02-06 12:45
1.1K
roughs_1__1720_19.min1.thm1
2017-02-06 12:45
925
roughs_1__802_47.min1.thm1
2017-02-06 12:45
1.1K
roughs_1__695_56.min1.thm1
2017-02-06 12:45
1.2K
roughs_1__1646_17.min1.thm1
2017-02-06 12:45
939
roughs_1__1410_19.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__739_53.min1.thm1
2017-02-06 12:45
1.6K
roughs_1__493_9.min1.thm1
2017-02-06 12:45
1.1K
roughs_1__1666_22.min1.thm1
2017-02-06 12:45
1.1K
roughs_1__1663_27.min1.thm1
2017-02-06 12:45
1.1K
roughs_1__1184_26.min1.thm1
2017-02-06 12:45
1.4K
roughs_1__709_17.min1.thm1
2017-02-06 12:45
1.3K
roughs_1__118_41.min1.thm1
2017-02-06 12:45
1.3K
roughs_1__1654_24.min1.thm1
2017-02-06 12:45
564
roughs_1__1425_37.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__596_17.min1.thm1
2017-02-06 12:45
684
roughs_1__1443_40.min1.thm1
2017-02-06 12:45
1.5K
roughs_1__1265_13.min1.thm1
2017-02-06 12:45
225
roughs_1__1521_41.min1.thm1
2017-02-06 12:45
1.2K
roughs_1__1728_43.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__1242_14.min1.thm1
2017-02-06 12:45
718
roughs_1__1228_49.min1.thm1
2017-02-06 12:45
590
roughs_1__1665_14.min1.thm1
2017-02-06 12:45
1.1K
roughs_1__1530_28.min1.thm1
2017-02-06 12:45
2.3K
roughs_1__1460_21.min1.thm1
2017-02-06 12:45
2.6K
roughs_1__485_12.min1.thm1
2017-02-06 12:45
872
roughs_1__127_11.min1.thm1
2017-02-06 12:45
334
roughs_1__1545_44.min1.thm1
2017-02-06 12:45
1.3K
roughs_1__541_17.min1.thm1
2017-02-06 12:45
740
roughs_1__622_19.min1.thm1
2017-02-06 12:45
529
roughs_1__684_19.min1.thm1
2017-02-06 12:45
1.2K
roughs_1__298_21.min1.thm1
2017-02-06 12:45
472
roughs_1__888_25.min1.thm1
2017-02-06 12:45
873
roughs_1__250_24.min1.thm1
2017-02-06 12:45
820
roughs_1__1705_25.min1.thm1
2017-02-06 12:45
546
roughs_1__1409_24.min1.thm1
2017-02-06 12:45
1.4K
roughs_1__573_22.min1.thm1
2017-02-06 12:45
488
roughs_1__1683_13.min1.thm1
2017-02-06 12:45
256
roughs_1__400_14.min1.thm1
2017-02-06 12:45
680
roughs_1__1563_16.min1.thm1
2017-02-06 12:45
1.1K
roughs_1__217_34.min1.thm1
2017-02-06 12:45
745
roughs_1__1536_16.min1.thm1
2017-02-06 12:45
1.4K
roughs_1__1644_41.min1.thm1
2017-02-06 12:45
1.2K
roughs_1__89_36.min1.thm1
2017-02-06 12:45
741
roughs_1__294_13.min1.thm1
2017-02-06 12:45
271
roughs_1__279_23.min1.thm1
2017-02-06 12:45
586
roughs_1__784_14.min1.thm1
2017-02-06 12:45
1.3K
roughs_1__73_26.min1.thm1
2017-02-06 12:45
397
roughs_1__1240_19.min1.thm1
2017-02-06 12:45
648
roughs_1__1655_17.min1.thm1
2017-02-06 12:45
939
roughs_1__1274_28.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__441_13.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__981_46.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__1567_69.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__338_20.min1.thm1
2017-02-06 12:45
917
roughs_1__559_17.min1.thm1
2017-02-06 12:45
684
roughs_1__1487_25.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__955_55.min1.thm1
2017-02-06 12:45
1.2K
roughs_1__1231_22.min1.thm1
2017-02-06 12:45
736
roughs_1__1023_20.min1.thm1
2017-02-06 12:45
730
roughs_1__1025_19.min1.thm1
2017-02-06 12:45
942
roughs_1__551_51.min1.thm1
2017-02-06 12:45
891
roughs_1__892_29.min1.thm1
2017-02-06 12:45
879
roughs_1__1375_14.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__1060_26.min1.thm1
2017-02-06 12:45
1.2K
roughs_1__572_22.min1.thm1
2017-02-06 12:45
543
roughs_1__543_22.min1.thm1
2017-02-06 12:45
488
roughs_1__518_40.min1.thm1
2017-02-06 12:45
482
roughs_1__664_20.min1.thm1
2017-02-06 12:45
1.2K
roughs_1__320_16.min1.thm1
2017-02-06 12:45
1.2K
roughs_1__909_43.min1.thm1
2017-02-06 12:45
1.1K
roughs_1__1187_24.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__91_19.min1.thm1
2017-02-06 12:45
1.1K
roughs_1__267_15.min1.thm1
2017-02-06 12:45
451
roughs_1__1700_27.min1.thm1
2017-02-06 12:45
1.2K
roughs_1__527_28.min1.thm1
2017-02-06 12:45
868
roughs_1__237_17.min1.thm1
2017-02-06 12:45
922
roughs_1__821_19.min1.thm1
2017-02-06 12:45
1.5K
roughs_1__528_17.min1.thm1
2017-02-06 12:45
506
roughs_1__1604_58.min1.thm1
2017-02-06 12:45
1.3K
roughs_1__186_14.min1.thm1
2017-02-06 12:45
868
roughs_1__1581_37.min1.thm1
2017-02-06 12:45
1.2K
roughs_1__1424_39.min1.thm1
2017-02-06 12:45
476
roughs_1__1268_24.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__1579_42.min1.thm1
2017-02-06 12:45
872
roughs_1__1528_26.min1.thm1
2017-02-06 12:45
1.3K
roughs_1__1182_52.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__1070_11.min1.thm1
2017-02-06 12:45
321
roughs_1__427_16.min1.thm1
2017-02-06 12:45
447
roughs_1__1401_50.min1.thm1
2017-02-06 12:45
818
roughs_1__794_59.min1.thm1
2017-02-06 12:45
1.4K
roughs_1__1546_19.min1.thm1
2017-02-06 12:45
1.3K
roughs_1__386_36.min1.thm1
2017-02-06 12:45
2.0K
roughs_1__1015_20.min1.thm1
2017-02-06 12:45
730
roughs_1__112_46.min1.thm1
2017-02-06 12:45
785
roughs_1__378_16.min1.thm1
2017-02-06 12:45
1.2K
roughs_1__642_26.min1.thm1
2017-02-06 12:45
653
roughs_1__56_13.min1.thm1
2017-02-06 12:45
381
roughs_1__1449_25.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__297_22.min1.thm1
2017-02-06 12:45
1.3K
roughs_1__1190_54.min1.thm1
2017-02-06 12:45
1.4K
roughs_1__755_17.min1.thm1
2017-02-06 12:45
1.2K
roughs_1__1408_21.min1.thm1
2017-02-06 12:45
1.4K
roughs_1__1447_28.min1.thm1
2017-02-06 12:45
2.2K
roughs_1__101_14.min1.thm1
2017-02-06 12:45
657
roughs_1__1568_17.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__1216_27.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__1167_25.min1.thm1
2017-02-06 12:45
1.6K
roughs_1__302_21.min1.thm1
2017-02-06 12:45
1.5K
roughs_1__1235_51.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__1061_16.min1.thm1
2017-02-06 12:45
935
roughs_1__238_21.min1.thm1
2017-02-06 12:45
510
roughs_1__57_21.min1.thm1
2017-02-06 12:45
543
roughs_1__964_16.min1.thm1
2017-02-06 12:45
953
roughs_1__1625_13.min1.thm1
2017-02-06 12:45
335
roughs_1__480_14.min1.thm1
2017-02-06 12:45
501
roughs_1__1183_26.min1.thm1
2017-02-06 12:45
1.2K
roughs_1__444_16.min1.thm1
2017-02-06 12:45
447
roughs_1__1256_72.min1.thm1
2017-02-06 12:45
1.1K
roughs_1__666_43.min1.thm1
2017-02-06 12:45
1.1K
roughs_1__116_60.min1.thm1
2017-02-06 12:45
465
roughs_1__876_22.min1.thm1
2017-02-06 12:45
879
roughs_1__220_33.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__708_46.min1.thm1
2017-02-06 12:45
619
roughs_1__1688_13.min1.thm1
2017-02-06 12:45
322
roughs_1__1140_56.min1.thm1
2017-02-06 12:45
1.1K
roughs_1__694_15.min1.thm1
2017-02-06 12:45
1.2K
roughs_1__148_14.min1.thm1
2017-02-06 12:45
274
roughs_1__1004_19.min1.thm1
2017-02-06 12:45
934
roughs_1__539_25.min1.thm1
2017-02-06 12:45
573
roughs_1__134_16.min1.thm1
2017-02-06 12:45
489
roughs_1__1486_17.min1.thm1
2017-02-06 12:45
582
roughs_1__542_17.min1.thm1
2017-02-06 12:45
615
roughs_1__110_26.min1.thm1
2017-02-06 12:45
258
roughs_1__1321_27.min1.thm1
2017-02-06 12:45
2.4K
roughs_1__833_55.min1.thm1
2017-02-06 12:45
1.3K
roughs_1__1404_17.min1.thm1
2017-02-06 12:45
1.4K
roughs_1__240_16.min1.thm1
2017-02-06 12:45
226
roughs_1__1689_10.min1.thm1
2017-02-06 12:45
522
roughs_1__1611_26.min1.thm1
2017-02-06 12:45
1.2K
roughs_1__1580_24.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__611_19.min1.thm1
2017-02-06 12:45
454
roughs_1__223_17.min1.thm1
2017-02-06 12:45
535
roughs_1__858_57.min1.thm1
2017-02-06 12:45
782
roughs_1__570_17.min1.thm1
2017-02-06 12:45
615
roughs_1__1214_31.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__104_34.min1.thm1
2017-02-06 12:45
705
roughs_1__975_55.min1.thm1
2017-02-06 12:45
1.2K
roughs_1__841_43.min1.thm1
2017-02-06 12:45
1.1K
roughs_1__90_60.min1.thm1
2017-02-06 12:45
403
roughs_1__181_21.min1.thm1
2017-02-06 12:45
1.2K
roughs_1__1718_43.min1.thm1
2017-02-06 12:45
1.1K
roughs_1__1678_13.min1.thm1
2017-02-06 12:45
256
roughs_1__387_47.min1.thm1
2017-02-06 12:45
2.8K
roughs_1__1732_41.min1.thm1
2017-02-06 12:45
1.3K
roughs_1__142_52.min1.thm1
2017-02-06 12:45
547
roughs_1__494_14.min1.thm1
2017-02-06 12:45
511
roughs_1__874_29.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__1248_14.min1.thm1
2017-02-06 12:45
576
roughs_1__272_16.min1.thm1
2017-02-06 12:45
458
roughs_1__904_28.min1.thm1
2017-02-06 12:45
953
roughs_1__1444_32.min1.thm1
2017-02-06 12:45
2.0K
roughs_1__1325_14.min1.thm1
2017-02-06 12:45
730
roughs_1__992_19.min1.thm1
2017-02-06 12:45
1.6K
roughs_1__377_17.min1.thm1
2017-02-06 12:45
340
roughs_1__406_14.min1.thm1
2017-02-06 12:45
564
roughs_1__425_18.min1.thm1
2017-02-06 12:45
815
roughs_1__1637_13.min1.thm1
2017-02-06 12:45
860
roughs_1__933_41.min1.thm1
2017-02-06 12:45
1.1K
roughs_1__1561_42.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__1667_17.min1.thm1
2017-02-06 12:45
1.1K
roughs_1__1588_66.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__668_46.min1.thm1
2017-02-06 12:45
1.1K
roughs_1__1258_35.min1.thm1
2017-02-06 12:45
1.3K
roughs_1__721_49.min1.thm1
2017-02-06 12:45
725
roughs_1__1459_42.min1.thm1
2017-02-06 12:45
2.7K
roughs_1__1374_51.min1.thm1
2017-02-06 12:45
2.2K
roughs_1__1239_44.min1.thm1
2017-02-06 12:45
2.1K
roughs_1__361_71.min1.thm1
2017-02-06 12:45
1.0K
roughs_1__590_53.min1.thm1
2017-02-06 12:45
724
roughs_1__707_46.min1.thm1
2017-02-06 12:45
1.1K
roughs_1__442_18.min1.thm1
2017-02-06 12:45
820
roughs_1__818_53.min1.thm1
2017-02-06 12:45
724
roughs_1__1055_36.min1.thm1
2017-02-06 12:45
790
roughs_1__1562_31.min1.thm1
2017-02-06 12:45
1.1K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80