Index of /~mptp/1147/MPTP2/ilp0/petri_2
Name
Last modified
Size
Description
Parent Directory
-
petri_2__47_15.min1.thm1
2017-02-06 12:45
189
petri_2__51_17.min1.thm1
2017-02-06 12:45
1.1K
petri_2__51_26.min1.thm1
2017-02-06 12:45
680
petri_2__52_22.min1.thm1
2017-02-06 12:45
1.8K
petri_2__53_28.min1.thm1
2017-02-06 12:45
460
petri_2__53_28.min1.thm1.tptp
2017-02-06 16:47
380
petri_2__58_19.min1.thm1
2017-02-06 12:45
382
petri_2__59_21.min1.thm1
2017-02-06 12:45
826
petri_2__61_23.min1.thm1
2017-02-06 12:45
424
petri_2__61_23.min1.thm1.tptp
2017-02-06 16:47
346
petri_2__63_46.min1.thm1
2017-02-06 12:45
1.2K
petri_2__64_22.min1.thm1
2017-02-06 12:45
813
petri_2__65_22.min1.thm1
2017-02-06 12:45
729
petri_2__67_41.min1.thm1
2017-02-06 12:45
2.0K
petri_2__68_23.min1.thm1
2017-02-06 12:45
1.2K
petri_2__69_17.min1.thm1
2017-02-06 12:45
435
petri_2__70_38.min1.thm1
2017-02-06 12:45
524
petri_2__70_38.min1.thm1.tptp
2017-02-06 16:47
456
petri_2__71_37.min1.thm1
2017-02-06 12:45
683
petri_2__72_47.min1.thm1
2017-02-06 12:45
753
petri_2__74_20.min1.thm1
2017-02-06 12:45
1.9K
petri_2__76_28.min1.thm1
2017-02-06 12:45
443
petri_2__76_28.min1.thm1.tptp
2017-02-06 16:47
363
petri_2__82_53.min1.thm1
2017-02-06 12:45
1.1K
petri_2__83_30.min1.thm1
2017-02-06 12:45
907
petri_2__85_19.min1.thm1
2017-02-06 12:45
851
petri_2__101_24.min1.thm1
2017-02-06 12:45
335
petri_2__101_24.min1.thm1.tptp
2017-02-06 16:47
266
petri_2__102_16.min1.thm1
2017-02-06 12:45
1.1K
petri_2__116_17.min1.thm1
2017-02-06 12:45
832
petri_2__126_57.min1.thm1
2017-02-06 12:45
799
petri_2__138_18.min1.thm1
2017-02-06 12:45
1.0K
petri_2__139_20.min1.thm1
2017-02-06 12:45
1.5K
petri_2__142_48.min1.thm1
2017-02-06 12:45
1.4K
petri_2__144_16.min1.thm1
2017-02-06 12:45
535
petri_2__159_74.min1.thm1
2017-02-06 12:45
813
petri_2__160_32.min1.thm1
2017-02-06 12:45
637
petri_2__162_72.min1.thm1
2017-02-06 12:45
759
petri_2__163_19.min1.thm1
2017-02-06 12:45
959
petri_2__173_33.min1.thm1
2017-02-06 12:45
494
petri_2__174_30.min1.thm1
2017-02-06 12:45
477
petri_2__175_35.min1.thm1
2017-02-06 12:45
563
petri_2__177_42.min1.thm1
2017-02-06 12:45
547
petri_2__182_27.min1.thm1
2017-02-06 12:45
887
petri_2__183_22.min1.thm1
2017-02-06 12:45
558
petri_2__184_17.min1.thm1
2017-02-06 12:45
1.0K
petri_2__198_20.min1.thm1
2017-02-06 12:45
364
petri_2__198_20.min1.thm1.tptp
2017-02-06 16:47
298
petri_2__199_20.min1.thm1
2017-02-06 12:45
877
petri_2__205_13.min1.thm1
2017-02-06 12:45
381
petri_2__205_13.min1.thm1.tptp
2017-02-06 16:47
325
petri_2__206_13.min1.thm1
2017-02-06 12:45
245
petri_2__210_20.min1.thm1
2017-02-06 12:45
464
petri_2__215_20.min1.thm1
2017-02-06 12:45
399
petri_2__215_20.min1.thm1.tptp
2017-02-06 16:47
311
petri_2__220_17.min1.thm1
2017-02-06 12:45
316
petri_2__223_23.min1.thm1
2017-02-06 12:45
931
petri_2__230_17.min1.thm1
2017-02-06 12:45
1.7K
petri_2__231_24.min1.thm1
2017-02-06 12:45
1.0K
petri_2__233_19.min1.thm1
2017-02-06 12:45
1.1K
petri_2__235_20.min1.thm1
2017-02-06 12:45
1.5K
petri_2__236_18.min1.thm1
2017-02-06 12:45
798
petri_2__237_18.min1.thm1
2017-02-06 12:45
685
petri_2__238_22.min1.thm1
2017-02-06 12:45
880
petri_2__240_17.min1.thm1
2017-02-06 12:45
843
petri_2__252_15.min1.thm1
2017-02-06 12:45
386
petri_2__255_20.min1.thm1
2017-02-06 12:45
373
petri_2__255_20.min1.thm1.tptp
2017-02-06 16:47
305
petri_2__256_20.min1.thm1
2017-02-06 12:45
877
petri_2__264_13.min1.thm1
2017-02-06 12:45
381
petri_2__264_13.min1.thm1.tptp
2017-02-06 16:47
325
petri_2__265_13.min1.thm1
2017-02-06 12:45
245
petri_2__269_20.min1.thm1
2017-02-06 12:45
464
petri_2__274_20.min1.thm1
2017-02-06 12:45
399
petri_2__274_20.min1.thm1.tptp
2017-02-06 16:47
311
petri_2__279_17.min1.thm1
2017-02-06 12:45
316
petri_2__282_23.min1.thm1
2017-02-06 12:45
932
petri_2__289_17.min1.thm1
2017-02-06 12:45
1.7K
petri_2__290_24.min1.thm1
2017-02-06 12:45
1.0K
petri_2__292_19.min1.thm1
2017-02-06 12:45
1.1K
petri_2__294_20.min1.thm1
2017-02-06 12:45
1.5K
petri_2__295_18.min1.thm1
2017-02-06 12:45
798
petri_2__296_18.min1.thm1
2017-02-06 12:45
685
petri_2__297_22.min1.thm1
2017-02-06 12:45
880
petri_2__299_17.min1.thm1
2017-02-06 12:45
843
petri_2__310_11.min1.thm1
2017-02-06 12:45
209
petri_2__315_19.min1.thm1
2017-02-06 12:45
1.6K
petri_2__319_55.min1.thm1
2017-02-06 12:45
1.7K
petri_2__322_19.min1.thm1
2017-02-06 12:45
1.5K
petri_2__332_55.min1.thm1
2017-02-06 12:45
1.7K
petri_2__335_19.min1.thm1
2017-02-06 12:45
1.5K
petri_2__353_59.min1.thm1
2017-02-06 12:45
1.1K
petri_2__354_52.min1.thm1
2017-02-06 12:45
1.1K
petri_2__358_50.min1.thm1
2017-02-06 12:45
1.6K
petri_2__380_71.min1.thm1
2017-02-06 12:45
907
petri_2__381_50.min1.thm1
2017-02-06 12:45
363
petri_2__387_15.min1.thm1
2017-02-06 12:45
530
petri_2__389_35.min1.thm1
2017-02-06 12:45
1.4K
petri_2__390_24.min1.thm1
2017-02-06 12:45
131
petri_2__419_71.min1.thm1
2017-02-06 12:45
907
petri_2__420_50.min1.thm1
2017-02-06 12:45
363
petri_2__425_23.min1.thm1
2017-02-06 12:45
769
petri_2__427_23.min1.thm1
2017-02-06 12:45
611
petri_2__428_22.min1.thm1
2017-02-06 12:45
746
petri_2__431_26.min1.thm1
2017-02-06 12:45
1.2K
petri_2__432_34.min1.thm1
2017-02-06 12:45
1.4K
petri_2__433_27.min1.thm1
2017-02-06 12:45
747
petri_2__434_27.min1.thm1
2017-02-06 12:45
829
petri_2__437_22.min1.thm1
2017-02-06 12:45
517
petri_2__439_16.min1.thm1
2017-02-06 12:45
744
petri_2__442_24.min1.thm1
2017-02-06 12:45
131
petri_2__494_18.min1.thm1
2017-02-06 12:45
1.7K
petri_2__547_20.min1.thm1
2017-02-06 12:45
1.7K
petri_2__548_20.min1.thm1
2017-02-06 12:45
1.7K
petri_2__549_24.min1.thm1
2017-02-06 12:45
2.4K
petri_2__566_16.min1.thm1
2017-02-06 12:45
752
petri_2__568_15.min1.thm1
2017-02-06 12:45
1.3K
petri_2__568_15.min1.thm1.tptp
2017-02-06 16:47
1.3K
petri_2__595_10.min1.thm1
2017-02-06 12:45
1.2K
petri_2__614_14.min1.thm1
2017-02-06 12:45
361
petri_2__643_61.min1.thm1
2017-02-06 12:45
764
petri_2__644_18.min1.thm1
2017-02-06 12:45
858
petri_2__646_16.min1.thm1
2017-02-06 12:45
407
petri_2__646_16.min1.thm1.tptp
2017-02-06 16:47
329
petri_2__737_22.min1.thm1
2017-02-06 12:45
653
petri_2__738_23.min1.thm1
2017-02-06 12:45
653
petri_2__739_22.min1.thm1
2017-02-06 12:45
653
petri_2__741_17.min1.thm1
2017-02-06 12:45
1.0K
petri_2__742_16.min1.thm1
2017-02-06 12:45
720
petri_2__750_23.min1.thm1
2017-02-06 12:45
653
petri_2__751_22.min1.thm1
2017-02-06 12:45
653
petri_2__753_17.min1.thm1
2017-02-06 12:45
1.0K
petri_2__754_16.min1.thm1
2017-02-06 12:45
714
petri_2__761_27.min1.thm1
2017-02-06 12:45
653
petri_2__763_16.min1.thm1
2017-02-06 12:45
1.0K
petri_2__765_16.min1.thm1
2017-02-06 12:45
1.1K
petri_2__781_35.min1.thm1
2017-02-06 12:45
845
petri_2__782_35.min1.thm1
2017-02-06 12:45
955
petri_2__783_24.min1.thm1
2017-02-06 12:45
1.1K
petri_2__784_18.min1.thm1
2017-02-06 12:45
267
petri_2__785_32.min1.thm1
2017-02-06 12:45
811
petri_2__786_26.min1.thm1
2017-02-06 12:45
699
petri_2__787_24.min1.thm1
2017-02-06 12:45
1.1K
petri_2__788_22.min1.thm1
2017-02-06 12:45
1.0K
petri_2__789_24.min1.thm1
2017-02-06 12:45
1.1K
petri_2__790_22.min1.thm1
2017-02-06 12:45
1.0K
petri_2__791_24.min1.thm1
2017-02-06 12:45
1.1K
petri_2__792_19.min1.thm1
2017-02-06 12:45
360
petri_2__792_19.min1.thm1.tptp
2017-02-06 16:47
286
petri_2__793_32.min1.thm1
2017-02-06 12:45
811
petri_2__794_26.min1.thm1
2017-02-06 12:45
792
petri_2__795_24.min1.thm1
2017-02-06 12:45
1.1K
petri_2__796_16.min1.thm1
2017-02-06 12:45
756
petri_2__807_14.min1.thm1
2017-02-06 12:45
327
petri_2__808_56.min1.thm1
2017-02-06 12:45
700
petri_2__810_14.min1.thm1
2017-02-06 12:45
327
petri_2__811_56.min1.thm1
2017-02-06 12:45
700
petri_2__816_29.min1.thm1
2017-02-06 12:45
3.4K
petri_2__817_28.min1.thm1
2017-02-06 12:45
3.4K
petri_2__821_14.min1.thm1
2017-02-06 12:45
317
petri_2__826_17.min1.thm1
2017-02-06 12:45
271
petri_2__827_17.min1.thm1
2017-02-06 12:45
267
petri_2__828_26.min1.thm1
2017-02-06 12:45
930
petri_2__830_52.min1.thm1
2017-02-06 12:45
615
petri_2__831_21.min1.thm1
2017-02-06 12:45
931
petri_2__833_51.min1.thm1
2017-02-06 12:45
617
petri_2__834_69.min1.thm1
2017-02-06 12:45
1.2K
petri_2__844_17.min1.thm1
2017-02-06 12:45
267
petri_2__851_63.min1.thm1
2017-02-06 12:45
1.1K
petri_2__856_57.min1.thm1
2017-02-06 12:45
1.4K
petri_2__859_12.min1.thm1
2017-02-06 12:45
561
petri_2__859_12.min1.thm1.tptp
2017-02-06 16:47
497
petri_2__877_10.min1.thm1
2017-02-06 12:45
646
petri_2__897_15.min1.thm1
2017-02-06 12:45
2.1K
petri_2__930_20.min1.thm1
2017-02-06 12:45
1.9K
petri_2__943_21.min1.thm1
2017-02-06 12:45
1.2K
petri_2__952_38.min1.thm1
2017-02-06 12:45
1.8K
petri_2__959_21.min1.thm1
2017-02-06 12:45
4.6K
petri_2__966_22.min1.thm1
2017-02-06 12:45
1.0K
petri_2__972_73.min1.thm1
2017-02-06 12:45
1.7K
petri_2__980_21.min1.thm1
2017-02-06 12:45
1.2K
petri_2__989_38.min1.thm1
2017-02-06 12:45
1.8K
petri_2__996_21.min1.thm1
2017-02-06 12:45
4.6K
petri_2__1003_22.min1.thm1
2017-02-06 12:45
1.0K
petri_2__1009_72.min1.thm1
2017-02-06 12:45
1.7K
petri_2__1046_27.min1.thm1
2017-02-06 12:45
1.0K
petri_2__1048_20.min1.thm1
2017-02-06 12:45
767
petri_2__1050_13.min1.thm1
2017-02-06 12:45
838
petri_2__1051_37.min1.thm1
2017-02-06 12:45
385
petri_2__1051_37.min1.thm1.tptp
2017-02-06 16:47
305
petri_2__1052_36.min1.thm1
2017-02-06 12:45
385
petri_2__1052_36.min1.thm1.tptp
2017-02-06 16:47
305
petri_2__1053_72.min1.thm1
2017-02-06 12:45
1.0K
petri_2__1055_36.min1.thm1
2017-02-06 12:45
478
petri_2__1056_37.min1.thm1
2017-02-06 12:45
478
petri_2__1057_73.min1.thm1
2017-02-06 12:45
1.0K
petri_2__1060_37.min1.thm1
2017-02-06 12:45
479
petri_2__1061_36.min1.thm1
2017-02-06 12:45
479
petri_2__1062_72.min1.thm1
2017-02-06 12:45
1.0K
petri_2__1065_36.min1.thm1
2017-02-06 12:45
386
petri_2__1065_36.min1.thm1.tptp
2017-02-06 16:47
306
petri_2__1066_37.min1.thm1
2017-02-06 12:45
386
petri_2__1066_37.min1.thm1.tptp
2017-02-06 16:47
306
petri_2__1067_73.min1.thm1
2017-02-06 12:45
1.0K
petri_2__1070_16.min1.thm1
2017-02-06 12:45
936
petri_2__1071_35.min1.thm1
2017-02-06 12:45
746
petri_2__1076_16.min1.thm1
2017-02-06 12:45
1.0K
petri_2__1077_37.min1.thm1
2017-02-06 12:45
746
petri_2__1094_11.min1.thm1
2017-02-06 12:45
1.3K
petri_2__1095_37.min1.thm1
2017-02-06 12:45
479
petri_2__1097_28.min1.thm1
2017-02-06 12:45
871
petri_2__1098_37.min1.thm1
2017-02-06 12:45
386
petri_2__1098_37.min1.thm1.tptp
2017-02-06 16:47
306
petri_2__1100_28.min1.thm1
2017-02-06 12:45
871
petri_2__1101_63.min1.thm1
2017-02-06 12:45
1.0K
petri_2__1103_11.min1.thm1
2017-02-06 12:45
1.3K
petri_2__1106_6.min1.thm1
2017-02-06 12:45
2.0K
petri_2__1107_54.min1.thm1
2017-02-06 12:45
1.8K
petri_2__1108_54.min1.thm1
2017-02-06 12:45
2.0K
petri_2__1110_54.min1.thm1
2017-02-06 12:45
2.0K
petri_2__1111_54.min1.thm1
2017-02-06 12:45
1.8K
petri_2__1112_34.min1.thm1
2017-02-06 12:45
386
petri_2__1112_34.min1.thm1.tptp
2017-02-06 16:47
306
petri_2__1114_34.min1.thm1
2017-02-06 12:45
479
petri_2__1140_55.min1.thm1
2017-02-06 12:45
1.7K
petri_2__1141_65.min1.thm1
2017-02-06 12:45
1.6K
petri_2__1142_71.min1.thm1
2017-02-06 12:45
1.4K
petri_2__1158_26.min1.thm1
2017-02-06 12:45
1.2K
petri_2__1158_26.min1.thm1.tptp
2017-02-06 16:47
1.2K
petri_2__1164_28.min1.thm1
2017-02-06 12:45
2.2K
petri_2__1169_12.min1.thm1
2017-02-06 12:45
745
petri_2__1170_28.min1.thm1
2017-02-06 12:45
2.2K
petri_2__1174_22.min1.thm1
2017-02-06 12:45
1.9K
petri_2__1179_26.min1.thm1
2017-02-06 12:45
1.2K
petri_2__1179_26.min1.thm1.tptp
2017-02-06 16:47
1.2K
petri_2__1185_28.min1.thm1
2017-02-06 12:45
2.2K
petri_2__1190_12.min1.thm1
2017-02-06 12:45
745
petri_2__1191_28.min1.thm1
2017-02-06 12:45
2.2K
petri_2__1195_22.min1.thm1
2017-02-06 12:45
1.9K
petri_2__1199_57.min1.thm1
2017-02-06 12:45
917
petri_2__1215_21.min1.thm1
2017-02-06 12:45
411
petri_2__1215_21.min1.thm1.tptp
2017-02-06 16:47
337
petri_2__1216_19.min1.thm1
2017-02-06 12:45
491
petri_2__1217_23.min1.thm1
2017-02-06 12:45
1.0K
petri_2__1218_37.min1.thm1
2017-02-06 12:45
948
petri_2__1221_59.min1.thm1
2017-02-06 12:45
826
petri_2__1225_66.min1.thm1
2017-02-06 12:45
1.9K
petri_2__1229_22.min1.thm1
2017-02-06 12:45
1.9K
petri_2__1233_58.min1.thm1
2017-02-06 12:45
917
petri_2__1249_24.min1.thm1
2017-02-06 12:45
318
petri_2__1250_19.min1.thm1
2017-02-06 12:45
491
petri_2__1251_23.min1.thm1
2017-02-06 12:45
1.0K
petri_2__1252_37.min1.thm1
2017-02-06 12:45
948
petri_2__1255_59.min1.thm1
2017-02-06 12:45
826
petri_2__1258_65.min1.thm1
2017-02-06 12:45
1.9K
petri_2__1261_22.min1.thm1
2017-02-06 12:45
1.9K
petri_2__1264_18.min1.thm1
2017-02-06 12:45
1.5K
petri_2__1271_22.min1.thm1
2017-02-06 12:45
1.2K
petri_2__1271_22.min1.thm1.tptp
2017-02-06 16:47
1.2K
petri_2__1273_65.min1.thm1
2017-02-06 12:45
651
petri_2__1275_22.min1.thm1
2017-02-06 12:45
1.2K
petri_2__1275_22.min1.thm1.tptp
2017-02-06 16:47
1.2K
petri_2__1277_65.min1.thm1
2017-02-06 12:45
651
petri_2__1279_70.min1.thm1
2017-02-06 12:45
1.0K
petri_2__1279_70.min1.thm1.tptp
2017-02-06 16:47
1.0K
petri_2__1281_64.min1.thm1
2017-02-06 12:45
2.1K
petri_2__1302_28.min1.thm1
2017-02-06 12:45
1.2K
petri_2__1302_28.min1.thm1.tptp
2017-02-06 16:47
1.2K
petri_2__1305_33.min1.thm1
2017-02-06 12:45
1.1K
petri_2__1306_30.min1.thm1
2017-02-06 12:45
915
petri_2__1308_39.min1.thm1
2017-02-06 12:45
621
petri_2__1309_28.min1.thm1
2017-02-06 12:45
2.2K
petri_2__1317_26.min1.thm1
2017-02-06 12:45
1.2K
petri_2__1317_26.min1.thm1.tptp
2017-02-06 16:47
1.2K
petri_2__1320_33.min1.thm1
2017-02-06 12:45
1.1K
petri_2__1321_30.min1.thm1
2017-02-06 12:45
915
petri_2__1323_39.min1.thm1
2017-02-06 12:45
621
petri_2__1324_28.min1.thm1
2017-02-06 12:45
2.2K
petri_2__1331_30.min1.thm1
2017-02-06 12:45
1.9K
petri_2__1333_25.min1.thm1
2017-02-06 12:45
1.6K
petri_2__1340_19.min1.thm1
2017-02-06 12:45
410
petri_2__1340_19.min1.thm1.tptp
2017-02-06 16:47
336
petri_2__1341_17.min1.thm1
2017-02-06 12:45
480
petri_2__1342_21.min1.thm1
2017-02-06 12:45
1.0K
petri_2__1343_35.min1.thm1
2017-02-06 12:45
940
petri_2__1345_75.min1.thm1
2017-02-06 12:45
1.1K
petri_2__1351_30.min1.thm1
2017-02-06 12:45
1.9K
petri_2__1353_25.min1.thm1
2017-02-06 12:45
1.6K
petri_2__1360_19.min1.thm1
2017-02-06 12:45
317
petri_2__1361_17.min1.thm1
2017-02-06 12:45
480
petri_2__1362_21.min1.thm1
2017-02-06 12:45
1.0K
petri_2__1363_35.min1.thm1
2017-02-06 12:45
940
petri_2__1365_75.min1.thm1
2017-02-06 12:45
1.1K
petri_2__1370_21.min1.thm1
2017-02-06 12:45
1.3K
petri_2__1462_18.min1.thm1
2017-02-06 12:45
568
petri_2__1464_16.min1.thm1
2017-02-06 12:45
568
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80