Index of /~mptp/1147/MPTP2/ilp0/pralg_3
Name
Last modified
Size
Description
Parent Directory
-
pralg_3__68_46.min1.thm1
2017-02-06 12:45
810
pralg_3__73_21.min1.thm1
2017-02-06 12:45
1.2K
pralg_3__75_16.min1.thm1
2017-02-06 12:45
312
pralg_3__75_16.min1.thm1.tptp
2017-02-06 16:47
226
pralg_3__86_23.min1.thm1
2017-02-06 12:45
693
pralg_3__88_29.min1.thm1
2017-02-06 12:45
618
pralg_3__89_18.min1.thm1
2017-02-06 12:45
533
pralg_3__95_27.min1.thm1
2017-02-06 12:45
620
pralg_3__97_17.min1.thm1
2017-02-06 12:45
427
pralg_3__97_17.min1.thm1.tptp
2017-02-06 16:47
365
pralg_3__98_36.min1.thm1
2017-02-06 12:45
952
pralg_3__99_19.min1.thm1
2017-02-06 12:45
1.1K
pralg_3__101_17.min1.thm1
2017-02-06 12:45
1.2K
pralg_3__113_16.min1.thm1
2017-02-06 12:45
1.1K
pralg_3__114_11.min1.thm1
2017-02-06 12:45
717
pralg_3__122_42.min1.thm1
2017-02-06 12:45
746
pralg_3__123_39.min1.thm1
2017-02-06 12:45
662
pralg_3__143_25.min1.thm1
2017-02-06 12:45
2.3K
pralg_3__144_20.min1.thm1
2017-02-06 12:45
895
pralg_3__147_25.min1.thm1
2017-02-06 12:45
2.3K
pralg_3__148_18.min1.thm1
2017-02-06 12:45
896
pralg_3__151_17.min1.thm1
2017-02-06 12:45
377
pralg_3__151_17.min1.thm1.tptp
2017-02-06 16:47
295
pralg_3__154_70.min1.thm1
2017-02-06 12:45
514
pralg_3__164_30.min1.thm1
2017-02-06 12:45
377
pralg_3__173_15.min1.thm1
2017-02-06 12:45
895
pralg_3__174_36.min1.thm1
2017-02-06 12:45
717
pralg_3__176_13.min1.thm1
2017-02-06 12:45
567
pralg_3__176_13.min1.thm1.tptp
2017-02-06 16:47
506
pralg_3__180_23.min1.thm1
2017-02-06 12:45
919
pralg_3__183_21.min1.thm1
2017-02-06 12:45
550
pralg_3__185_20.min1.thm1
2017-02-06 12:45
887
pralg_3__186_26.min1.thm1
2017-02-06 12:45
829
pralg_3__187_19.min1.thm1
2017-02-06 12:45
1.0K
pralg_3__192_15.min1.thm1
2017-02-06 12:45
765
pralg_3__193_38.min1.thm1
2017-02-06 12:45
958
pralg_3__204_13.min1.thm1
2017-02-06 12:45
129
pralg_3__214_14.min1.thm1
2017-02-06 12:45
818
pralg_3__215_29.min1.thm1
2017-02-06 12:45
537
pralg_3__215_29.min1.thm1.tptp
2017-02-06 16:47
472
pralg_3__239_73.min1.thm1
2017-02-06 12:45
671
pralg_3__239_73.min1.thm1.tptp
2017-02-06 16:47
601
pralg_3__247_26.min1.thm1
2017-02-06 12:45
1.0K
pralg_3__250_33.min1.thm1
2017-02-06 12:45
776
pralg_3__251_28.min1.thm1
2017-02-06 12:45
798
pralg_3__252_30.min1.thm1
2017-02-06 12:45
830
pralg_3__254_19.min1.thm1
2017-02-06 12:45
1.3K
pralg_3__263_24.min1.thm1
2017-02-06 12:45
666
pralg_3__265_38.min1.thm1
2017-02-06 12:45
1.2K
pralg_3__266_66.min1.thm1
2017-02-06 12:45
823
pralg_3__269_29.min1.thm1
2017-02-06 12:45
870
pralg_3__278_33.min1.thm1
2017-02-06 12:45
657
pralg_3__278_33.min1.thm1.tptp
2017-02-06 16:47
594
pralg_3__298_8.min1.thm1
2017-02-06 12:45
1.0K
pralg_3__301_44.min1.thm1
2017-02-06 12:45
886
pralg_3__301_44.min1.thm1.tptp
2017-02-06 16:47
842
pralg_3__302_35.min1.thm1
2017-02-06 12:45
1.3K
pralg_3__313_14.min1.thm1
2017-02-06 12:45
1.5K
pralg_3__314_12.min1.thm1
2017-02-06 12:45
857
pralg_3__315_41.min1.thm1
2017-02-06 12:45
1.4K
pralg_3__316_35.min1.thm1
2017-02-06 12:45
740
pralg_3__317_20.min1.thm1
2017-02-06 12:45
1.1K
pralg_3__321_16.min1.thm1
2017-02-06 12:45
1.3K
pralg_3__327_17.min1.thm1
2017-02-06 12:45
608
pralg_3__328_28.min1.thm1
2017-02-06 12:45
1.6K
pralg_3__332_21.min1.thm1
2017-02-06 12:45
1.1K
pralg_3__335_23.min1.thm1
2017-02-06 12:45
545
pralg_3__335_23.min1.thm1.tptp
2017-02-06 16:47
481
pralg_3__336_31.min1.thm1
2017-02-06 12:45
890
pralg_3__338_32.min1.thm1
2017-02-06 12:45
771
pralg_3__338_32.min1.thm1.tptp
2017-02-06 16:47
707
pralg_3__339_17.min1.thm1
2017-02-06 12:45
1.1K
pralg_3__352_26.min1.thm1
2017-02-06 12:45
1.2K
pralg_3__355_23.min1.thm1
2017-02-06 12:45
683
pralg_3__355_23.min1.thm1.tptp
2017-02-06 16:47
629
pralg_3__358_40.min1.thm1
2017-02-06 12:45
1.2K
pralg_3__362_27.min1.thm1
2017-02-06 12:45
794
pralg_3__362_27.min1.thm1.tptp
2017-02-06 16:47
750
pralg_3__363_15.min1.thm1
2017-02-06 12:45
262
pralg_3__364_25.min1.thm1
2017-02-06 12:45
640
pralg_3__375_15.min1.thm1
2017-02-06 12:45
248
pralg_3__384_20.min1.thm1
2017-02-06 12:45
692
pralg_3__389_27.min1.thm1
2017-02-06 12:45
3.0K
pralg_3__391_70.min1.thm1
2017-02-06 12:45
2.2K
pralg_3__393_69.min1.thm1
2017-02-06 12:45
1.3K
pralg_3__399_16.min1.thm1
2017-02-06 12:45
614
pralg_3__415_23.min1.thm1
2017-02-06 12:45
683
pralg_3__415_23.min1.thm1.tptp
2017-02-06 16:47
629
pralg_3__418_17.min1.thm1
2017-02-06 12:45
261
pralg_3__421_14.min1.thm1
2017-02-06 12:45
636
pralg_3__435_42.min1.thm1
2017-02-06 12:45
324
pralg_3__435_42.min1.thm1.tptp
2017-02-06 16:47
246
pralg_3__436_31.min1.thm1
2017-02-06 12:45
643
pralg_3__455_34.min1.thm1
2017-02-06 12:45
430
pralg_3__457_30.min1.thm1
2017-02-06 12:45
810
pralg_3__458_39.min1.thm1
2017-02-06 12:45
462
pralg_3__458_39.min1.thm1.tptp
2017-02-06 16:47
379
pralg_3__460_52.min1.thm1
2017-02-06 12:45
3.3K
pralg_3__461_12.min1.thm1
2017-02-06 12:45
793
pralg_3__463_49.min1.thm1
2017-02-06 12:45
1.8K
pralg_3__465_46.min1.thm1
2017-02-06 12:45
1.5K
pralg_3__468_32.min1.thm1
2017-02-06 12:45
4.0K
pralg_3__469_38.min1.thm1
2017-02-06 12:45
3.7K
pralg_3__471_16.min1.thm1
2017-02-06 12:45
846
pralg_3__484_17.min1.thm1
2017-02-06 12:45
1.4K
pralg_3__486_56.min1.thm1
2017-02-06 12:45
1.1K
pralg_3__488_55.min1.thm1
2017-02-06 12:45
3.2K
pralg_3__489_30.min1.thm1
2017-02-06 12:45
2.8K
pralg_3__492_33.min1.thm1
2017-02-06 12:45
1.7K
pralg_3__496_67.min1.thm1
2017-02-06 12:45
3.3K
pralg_3__498_39.min1.thm1
2017-02-06 12:45
3.5K
pralg_3__501_55.min1.thm1
2017-02-06 12:45
3.2K
pralg_3__507_32.min1.thm1
2017-02-06 12:45
695
pralg_3__508_54.min1.thm1
2017-02-06 12:45
1.9K
pralg_3__509_76.min1.thm1
2017-02-06 12:45
1.8K
pralg_3__510_34.min1.thm1
2017-02-06 12:45
3.5K
pralg_3__515_52.min1.thm1
2017-02-06 12:45
805
pralg_3__523_35.min1.thm1
2017-02-06 12:45
3.6K
pralg_3__524_36.min1.thm1
2017-02-06 12:45
3.3K
pralg_3__527_47.min1.thm1
2017-02-06 12:45
3.3K
pralg_3__532_47.min1.thm1
2017-02-06 12:45
668
pralg_3__547_36.min1.thm1
2017-02-06 12:45
1.7K
pralg_3__549_34.min1.thm1
2017-02-06 12:45
3.5K
pralg_3__555_39.min1.thm1
2017-02-06 12:45
4.1K
pralg_3__570_65.min1.thm1
2017-02-06 12:45
1.3K
pralg_3__571_37.min1.thm1
2017-02-06 12:45
916
pralg_3__573_41.min1.thm1
2017-02-06 12:45
1.8K
pralg_3__579_15.min1.thm1
2017-02-06 12:45
588
pralg_3__582_54.min1.thm1
2017-02-06 12:45
1.9K
pralg_3__583_76.min1.thm1
2017-02-06 12:45
1.8K
pralg_3__586_41.min1.thm1
2017-02-06 12:45
1.4K
pralg_3__597_18.min1.thm1
2017-02-06 12:45
608
pralg_3__598_38.min1.thm1
2017-02-06 12:45
1.3K
pralg_3__602_39.min1.thm1
2017-02-06 12:45
1.2K
pralg_3__608_18.min1.thm1
2017-02-06 12:45
515
pralg_3__608_18.min1.thm1.tptp
2017-02-06 16:47
451
pralg_3__610_28.min1.thm1
2017-02-06 12:45
965
pralg_3__613_28.min1.thm1
2017-02-06 12:45
559
pralg_3__613_28.min1.thm1.tptp
2017-02-06 16:47
495
pralg_3__615_30.min1.thm1
2017-02-06 12:45
2.7K
pralg_3__616_17.min1.thm1
2017-02-06 12:45
1.0K
pralg_3__626_37.min1.thm1
2017-02-06 12:45
916
pralg_3__627_44.min1.thm1
2017-02-06 12:45
1.8K
pralg_3__629_44.min1.thm1
2017-02-06 12:45
2.8K
pralg_3__631_68.min1.thm1
2017-02-06 12:45
1.3K
pralg_3__635_48.min1.thm1
2017-02-06 12:45
2.1K
pralg_3__636_17.min1.thm1
2017-02-06 12:45
2.5K
pralg_3__654_65.min1.thm1
2017-02-06 12:45
1.3K
pralg_3__661_8.min1.thm1
2017-02-06 12:45
404
pralg_3__663_30.min1.thm1
2017-02-06 12:45
1.1K
pralg_3__665_19.min1.thm1
2017-02-06 12:45
2.0K
pralg_3__685_45.min1.thm1
2017-02-06 12:45
1.1K
pralg_3__692_56.min1.thm1
2017-02-06 12:45
2.0K
pralg_3__693_64.min1.thm1
2017-02-06 12:45
1.8K
pralg_3__695_22.min1.thm1
2017-02-06 12:45
830
pralg_3__695_22.min1.thm1.tptp
2017-02-06 16:47
786
pralg_3__707_40.min1.thm1
2017-02-06 12:45
1.0K
pralg_3__711_76.min1.thm1
2017-02-06 12:45
3.7K
pralg_3__718_40.min1.thm1
2017-02-06 12:45
1.3K
pralg_3__748_49.min1.thm1
2017-02-06 12:45
1.4K
pralg_3__762_8.min1.thm1
2017-02-06 12:45
403
pralg_3__764_28.min1.thm1
2017-02-06 12:45
1.0K
pralg_3__800_31.min1.thm1
2017-02-06 12:45
697
pralg_3__800_31.min1.thm1.tptp
2017-02-06 16:47
641
pralg_3__801_21.min1.thm1
2017-02-06 12:45
1.0K
pralg_3__805_29.min1.thm1
2017-02-06 12:45
2.2K
pralg_3__808_14.min1.thm1
2017-02-06 12:45
602
pralg_3__831_44.min1.thm1
2017-02-06 12:45
368
pralg_3__831_44.min1.thm1.tptp
2017-02-06 16:47
290
pralg_3__832_39.min1.thm1
2017-02-06 12:45
693
pralg_3__833_44.min1.thm1
2017-02-06 12:45
1.3K
pralg_3__841_51.min1.thm1
2017-02-06 12:45
926
pralg_3__845_42.min1.thm1
2017-02-06 12:45
1.8K
pralg_3__846_40.min1.thm1
2017-02-06 12:45
1.3K
pralg_3__850_48.min1.thm1
2017-02-06 12:45
1.7K
pralg_3__855_18.min1.thm1
2017-02-06 12:45
1.6K
pralg_3__857_65.min1.thm1
2017-02-06 12:45
650
pralg_3__869_46.min1.thm1
2017-02-06 12:45
366
pralg_3__869_46.min1.thm1.tptp
2017-02-06 16:47
288
pralg_3__904_17.min1.thm1
2017-02-06 12:45
1.3K
pralg_3__917_44.min1.thm1
2017-02-06 12:45
1.8K
pralg_3__938_26.min1.thm1
2017-02-06 12:45
684
pralg_3__940_37.min1.thm1
2017-02-06 12:45
1.2K
pralg_3__942_9.min1.thm1
2017-02-06 12:45
1.1K
pralg_3__945_32.min1.thm1
2017-02-06 12:45
1.5K
pralg_3__948_15.min1.thm1
2017-02-06 12:45
250
pralg_3__954_35.min1.thm1
2017-02-06 12:45
1.1K
pralg_3__956_17.min1.thm1
2017-02-06 12:45
750
pralg_3__963_20.min1.thm1
2017-02-06 12:45
2.7K
pralg_3__976_20.min1.thm1
2017-02-06 12:45
2.7K
pralg_3__1001_15.min1.thm1
2017-02-06 12:45
849
pralg_3__1002_41.min1.thm1
2017-02-06 12:45
732
pralg_3__1005_33.min1.thm1
2017-02-06 12:45
964
pralg_3__1005_33.min1.thm1.tptp
2017-02-06 16:47
901
pralg_3__1014_21.min1.thm1
2017-02-06 12:45
1.4K
pralg_3__1019_16.min1.thm1
2017-02-06 12:45
514
pralg_3__1019_16.min1.thm1.tptp
2017-02-06 16:47
448
pralg_3__1020_37.min1.thm1
2017-02-06 12:45
1.0K
pralg_3__1021_31.min1.thm1
2017-02-06 12:45
1.0K
pralg_3__1042_44.min1.thm1
2017-02-06 12:45
1.4K
pralg_3__1045_28.min1.thm1
2017-02-06 12:45
752
pralg_3__1045_28.min1.thm1.tptp
2017-02-06 16:47
708
pralg_3__1046_28.min1.thm1
2017-02-06 12:45
1.2K
pralg_3__1056_30.min1.thm1
2017-02-06 12:45
1.1K
pralg_3__1057_41.min1.thm1
2017-02-06 12:45
630
pralg_3__1060_33.min1.thm1
2017-02-06 12:45
964
pralg_3__1060_33.min1.thm1.tptp
2017-02-06 16:47
901
pralg_3__1063_34.min1.thm1
2017-02-06 12:45
1.1K
pralg_3__1066_21.min1.thm1
2017-02-06 12:45
787
pralg_3__1073_17.min1.thm1
2017-02-06 12:45
1.1K
pralg_3__1089_48.min1.thm1
2017-02-06 12:45
2.1K
pralg_3__1090_33.min1.thm1
2017-02-06 12:45
1.2K
pralg_3__1092_47.min1.thm1
2017-02-06 12:45
1.3K
pralg_3__1093_43.min1.thm1
2017-02-06 12:45
787
pralg_3__1094_42.min1.thm1
2017-02-06 12:45
1.3K
pralg_3__1122_46.min1.thm1
2017-02-06 12:45
2.1K
pralg_3__1123_61.min1.thm1
2017-02-06 12:45
3.0K
pralg_3__1130_19.min1.thm1
2017-02-06 12:45
740
pralg_3__1138_43.min1.thm1
2017-02-06 12:45
1.2K
pralg_3__1141_33.min1.thm1
2017-02-06 12:45
964
pralg_3__1141_33.min1.thm1.tptp
2017-02-06 16:47
901
pralg_3__1174_47.min1.thm1
2017-02-06 12:45
350
pralg_3__1174_47.min1.thm1.tptp
2017-02-06 16:47
272
pralg_3__1175_50.min1.thm1
2017-02-06 12:45
2.2K
pralg_3__1176_65.min1.thm1
2017-02-06 12:45
3.0K
pralg_3__1178_44.min1.thm1
2017-02-06 12:45
1.0K
pralg_3__1191_20.min1.thm1
2017-02-06 12:45
1.3K
pralg_3__1194_18.min1.thm1
2017-02-06 12:45
682
pralg_3__1198_48.min1.thm1
2017-02-06 12:45
1.2K
pralg_3__1201_38.min1.thm1
2017-02-06 12:45
1.0K
pralg_3__1201_38.min1.thm1.tptp
2017-02-06 16:47
925
pralg_3__1202_44.min1.thm1
2017-02-06 12:45
508
pralg_3__1202_44.min1.thm1.tptp
2017-02-06 16:47
431
pralg_3__1213_35.min1.thm1
2017-02-06 12:45
1.1K
pralg_3__1214_41.min1.thm1
2017-02-06 12:45
1.8K
pralg_3__1228_63.min1.thm1
2017-02-06 12:45
1.0K
pralg_3__1233_15.min1.thm1
2017-02-06 12:45
250
pralg_3__1237_28.min1.thm1
2017-02-06 12:45
902
pralg_3__1239_17.min1.thm1
2017-02-06 12:45
664
pralg_3__1243_49.min1.thm1
2017-02-06 12:45
356
pralg_3__1243_49.min1.thm1.tptp
2017-02-06 16:47
278
pralg_3__1246_39.min1.thm1
2017-02-06 12:45
1.0K
pralg_3__1246_39.min1.thm1.tptp
2017-02-06 16:47
949
pralg_3__1261_17.min1.thm1
2017-02-06 12:45
1.2K
pralg_3__1272_35.min1.thm1
2017-02-06 12:45
723
pralg_3__1272_35.min1.thm1.tptp
2017-02-06 16:47
667
pralg_3__1287_21.min1.thm1
2017-02-06 12:45
1.2K
pralg_3__1295_49.min1.thm1
2017-02-06 12:45
356
pralg_3__1295_49.min1.thm1.tptp
2017-02-06 16:47
278
pralg_3__1298_39.min1.thm1
2017-02-06 12:45
1.0K
pralg_3__1298_39.min1.thm1.tptp
2017-02-06 16:47
949
pralg_3__1305_62.min1.thm1
2017-02-06 12:45
2.0K
pralg_3__1308_13.min1.thm1
2017-02-06 12:45
1.8K
pralg_3__1310_31.min1.thm1
2017-02-06 12:45
2.5K
pralg_3__1311_27.min1.thm1
2017-02-06 12:45
1.4K
pralg_3__1313_64.min1.thm1
2017-02-06 12:45
1.1K
pralg_3__1315_63.min1.thm1
2017-02-06 12:45
3.3K
pralg_3__1316_63.min1.thm1
2017-02-06 12:45
3.3K
pralg_3__1317_40.min1.thm1
2017-02-06 12:45
2.8K
pralg_3__1323_30.min1.thm1
2017-02-06 12:45
2.5K
pralg_3__1331_40.min1.thm1
2017-02-06 12:45
1.7K
pralg_3__1338_28.min1.thm1
2017-02-06 12:45
907
pralg_3__1350_28.min1.thm1
2017-02-06 12:45
1.0K
pralg_3__1355_17.min1.thm1
2017-02-06 12:45
1.2K
pralg_3__1368_32.min1.thm1
2017-02-06 12:45
964
pralg_3__1368_32.min1.thm1.tptp
2017-02-06 16:47
901
pralg_3__1371_20.min1.thm1
2017-02-06 12:45
1.1K
pralg_3__1372_11.min1.thm1
2017-02-06 12:45
298
pralg_3__1376_48.min1.thm1
2017-02-06 12:45
358
pralg_3__1376_48.min1.thm1.tptp
2017-02-06 16:47
280
pralg_3__1381_67.min1.thm1
2017-02-06 12:45
3.0K
pralg_3__1392_20.min1.thm1
2017-02-06 12:45
628
pralg_3__1395_23.min1.thm1
2017-02-06 12:45
2.1K
pralg_3__1419_17.min1.thm1
2017-02-06 12:45
1.2K
pralg_3__1419_17.min1.thm1.tptp
2017-02-06 16:47
1.1K
pralg_3__1438_17.min1.thm1
2017-02-06 12:45
936
pralg_3__1443_18.min1.thm1
2017-02-06 12:45
420
pralg_3__1465_35.min1.thm1
2017-02-06 12:45
1.6K
pralg_3__1466_22.min1.thm1
2017-02-06 12:45
1.1K
pralg_3__1467_17.min1.thm1
2017-02-06 12:45
1.2K
pralg_3__1468_32.min1.thm1
2017-02-06 12:45
534
pralg_3__1476_23.min1.thm1
2017-02-06 12:45
902
pralg_3__1477_51.min1.thm1
2017-02-06 12:45
2.2K
pralg_3__1478_44.min1.thm1
2017-02-06 12:45
1.0K
pralg_3__1481_23.min1.thm1
2017-02-06 12:45
884
pralg_3__1483_60.min1.thm1
2017-02-06 12:45
456
pralg_3__1485_20.min1.thm1
2017-02-06 12:45
511
pralg_3__1485_20.min1.thm1.tptp
2017-02-06 16:47
443
pralg_3__1500_26.min1.thm1
2017-02-06 12:45
523
pralg_3__1500_26.min1.thm1.tptp
2017-02-06 16:47
446
pralg_3__1501_19.min1.thm1
2017-02-06 12:45
523
pralg_3__1501_19.min1.thm1.tptp
2017-02-06 16:47
446
pralg_3__1530_49.min1.thm1
2017-02-06 12:45
1.0K
pralg_3__1531_58.min1.thm1
2017-02-06 12:45
1.6K
pralg_3__1532_37.min1.thm1
2017-02-06 12:45
213
pralg_3__1535_39.min1.thm1
2017-02-06 12:45
781
pralg_3__1537_22.min1.thm1
2017-02-06 12:45
729
pralg_3__1537_22.min1.thm1.tptp
2017-02-06 16:47
681
pralg_3__1546_41.min1.thm1
2017-02-06 12:45
771
pralg_3__1546_41.min1.thm1.tptp
2017-02-06 16:47
728
pralg_3__1547_48.min1.thm1
2017-02-06 12:45
1.1K
pralg_3__1549_54.min1.thm1
2017-02-06 12:45
1.0K
pralg_3__1551_20.min1.thm1
2017-02-06 12:45
1.3K
pralg_3__1569_47.min1.thm1
2017-02-06 12:45
348
pralg_3__1569_47.min1.thm1.tptp
2017-02-06 16:47
270
pralg_3__1572_78.min1.thm1
2017-02-06 12:45
1.7K
pralg_3__1574_29.min1.thm1
2017-02-06 12:45
1.6K
pralg_3__1576_21.min1.thm1
2017-02-06 12:45
1.4K
pralg_3__1596_45.min1.thm1
2017-02-06 12:45
350
pralg_3__1596_45.min1.thm1.tptp
2017-02-06 16:47
272
pralg_3__1600_31.min1.thm1
2017-02-06 12:45
1.6K
pralg_3__1612_46.min1.thm1
2017-02-06 12:45
2.0K
pralg_3__1615_31.min1.thm1
2017-02-06 12:45
1.6K
pralg_3__1616_20.min1.thm1
2017-02-06 12:45
812
pralg_3__1617_15.min1.thm1
2017-02-06 12:45
750
pralg_3__1618_56.min1.thm1
2017-02-06 12:45
1.4K
pralg_3__1624_49.min1.thm1
2017-02-06 12:45
1.4K
pralg_3__1625_23.min1.thm1
2017-02-06 12:45
1.7K
pralg_3__1627_60.min1.thm1
2017-02-06 12:45
1.0K
pralg_3__1628_42.min1.thm1
2017-02-06 12:45
1.8K
pralg_3__1641_17.min1.thm1
2017-02-06 12:45
608
pralg_3__1641_17.min1.thm1.tptp
2017-02-06 16:47
542
pralg_3__1658_50.min1.thm1
2017-02-06 12:45
2.0K
pralg_3__1664_34.min1.thm1
2017-02-06 12:45
1.5K
pralg_3__1666_15.min1.thm1
2017-02-06 12:45
250
pralg_3__1669_33.min1.thm1
2017-02-06 12:45
1.1K
pralg_3__1671_17.min1.thm1
2017-02-06 12:45
750
pralg_3__1676_17.min1.thm1
2017-02-06 12:45
1.2K
pralg_3__1684_48.min1.thm1
2017-02-06 12:45
1.8K
pralg_3__1685_19.min1.thm1
2017-02-06 12:45
1.9K
pralg_3__1689_26.min1.thm1
2017-02-06 12:45
832
pralg_3__1690_21.min1.thm1
2017-02-06 12:45
1.9K
pralg_3__1693_55.min1.thm1
2017-02-06 12:45
2.1K
pralg_3__1694_50.min1.thm1
2017-02-06 12:45
1.9K
pralg_3__1697_28.min1.thm1
2017-02-06 12:45
2.5K
pralg_3__1705_48.min1.thm1
2017-02-06 12:45
1.5K
pralg_3__1706_19.min1.thm1
2017-02-06 12:45
1.9K
pralg_3__1713_26.min1.thm1
2017-02-06 12:45
959
pralg_3__1715_56.min1.thm1
2017-02-06 12:45
1.4K
pralg_3__1717_40.min1.thm1
2017-02-06 12:45
1.6K
pralg_3__1718_40.min1.thm1
2017-02-06 12:45
4.3K
pralg_3__1723_38.min1.thm1
2017-02-06 12:45
3.8K
pralg_3__1753_55.min1.thm1
2017-02-06 12:45
2.1K
pralg_3__1758_64.min1.thm1
2017-02-06 12:45
2.0K
pralg_3__1759_72.min1.thm1
2017-02-06 12:45
1.8K
pralg_3__1764_36.min1.thm1
2017-02-06 12:45
1.5K
pralg_3__1765_45.min1.thm1
2017-02-06 12:45
1.8K
pralg_3__1766_23.min1.thm1
2017-02-06 12:45
1.1K
pralg_3__1769_23.min1.thm1
2017-02-06 12:45
1.9K
pralg_3__1779_51.min1.thm1
2017-02-06 12:45
836
pralg_3__1784_27.min1.thm1
2017-02-06 12:45
1.0K
pralg_3__1790_18.min1.thm1
2017-02-06 12:45
1.8K
pralg_3__1793_18.min1.thm1
2017-02-06 12:45
3.9K
pralg_3__1800_37.min1.thm1
2017-02-06 12:45
2.7K
pralg_3__1809_40.min1.thm1
2017-02-06 12:45
2.5K
pralg_3__1810_19.min1.thm1
2017-02-06 12:45
1.2K
pralg_3__1812_32.min1.thm1
2017-02-06 12:45
1.1K
pralg_3__1813_19.min1.thm1
2017-02-06 12:45
1.9K
pralg_3__1817_36.min1.thm1
2017-02-06 12:45
1.7K
pralg_3__1818_26.min1.thm1
2017-02-06 12:45
832
pralg_3__1819_21.min1.thm1
2017-02-06 12:45
1.9K
pralg_3__1822_55.min1.thm1
2017-02-06 12:45
2.1K
pralg_3__1823_49.min1.thm1
2017-02-06 12:45
1.9K
pralg_3__1825_32.min1.thm1
2017-02-06 12:45
2.5K
pralg_3__1829_48.min1.thm1
2017-02-06 12:45
2.0K
pralg_3__1831_29.min1.thm1
2017-02-06 12:45
853
pralg_3__1833_41.min1.thm1
2017-02-06 12:45
3.5K
pralg_3__1834_20.min1.thm1
2017-02-06 12:45
1.3K
pralg_3__1835_19.min1.thm1
2017-02-06 12:45
1.9K
pralg_3__1839_52.min1.thm1
2017-02-06 12:45
2.4K
pralg_3__1842_56.min1.thm1
2017-02-06 12:45
1.4K
pralg_3__1844_58.min1.thm1
2017-02-06 12:45
3.1K
pralg_3__1865_21.min1.thm1
2017-02-06 12:45
1.8K
pralg_3__1888_47.min1.thm1
2017-02-06 12:45
2.2K
pralg_3__1891_44.min1.thm1
2017-02-06 12:45
1.6K
pralg_3__1892_20.min1.thm1
2017-02-06 12:45
1.4K
pralg_3__1893_20.min1.thm1
2017-02-06 12:45
374
pralg_3__1896_21.min1.thm1
2017-02-06 12:45
1.0K
pralg_3__1905_43.min1.thm1
2017-02-06 12:45
350
pralg_3__1905_43.min1.thm1.tptp
2017-02-06 16:47
272
pralg_3__1908_51.min1.thm1
2017-02-06 12:45
2.9K
pralg_3__1908_51.min1.thm1.tptp
2017-02-06 16:47
3.0K
pralg_3__1929_38.min1.thm1
2017-02-06 12:45
1.4K
pralg_3__1931_26.min1.thm1
2017-02-06 12:45
1.5K
pralg_3__1943_22.min1.thm1
2017-02-06 12:45
1.8K
pralg_3__1944_22.min1.thm1
2017-02-06 12:45
743
pralg_3__1954_21.min1.thm1
2017-02-06 12:45
1.4K
pralg_3__1958_34.min1.thm1
2017-02-06 12:45
851
pralg_3__1958_34.min1.thm1.tptp
2017-02-06 16:47
806
pralg_3__1960_24.min1.thm1
2017-02-06 12:45
1.1K
pralg_3__1961_19.min1.thm1
2017-02-06 12:45
1.9K
pralg_3__1977_51.min1.thm1
2017-02-06 12:45
3.3K
pralg_3__1982_36.min1.thm1
2017-02-06 12:45
1.1K
pralg_3__1983_19.min1.thm1
2017-02-06 12:45
1.9K
pralg_3__1984_25.min1.thm1
2017-02-06 12:45
1.9K
pralg_3__1986_20.min1.thm1
2017-02-06 12:45
528
pralg_3__1986_20.min1.thm1.tptp
2017-02-06 16:47
462
pralg_3__1987_33.min1.thm1
2017-02-06 12:45
1.0K
pralg_3__1992_28.min1.thm1
2017-02-06 12:45
2.5K
pralg_3__2001_51.min1.thm1
2017-02-06 12:45
1.4K
pralg_3__2012_51.min1.thm1
2017-02-06 12:45
3.3K
pralg_3__2013_49.min1.thm1
2017-02-06 12:45
2.1K
pralg_3__2014_35.min1.thm1
2017-02-06 12:45
1.5K
pralg_3__2015_24.min1.thm1
2017-02-06 12:45
632
pralg_3__2015_24.min1.thm1.tptp
2017-02-06 16:47
566
pralg_3__2016_19.min1.thm1
2017-02-06 12:45
1.9K
pralg_3__2025_37.min1.thm1
2017-02-06 12:45
2.4K
pralg_3__2026_21.min1.thm1
2017-02-06 12:45
1.3K
pralg_3__2027_27.min1.thm1
2017-02-06 12:45
1.8K
pralg_3__2033_19.min1.thm1
2017-02-06 12:45
2.0K
pralg_3__2041_23.min1.thm1
2017-02-06 12:45
837
pralg_3__2048_23.min1.thm1
2017-02-06 12:45
2.5K
pralg_3__2051_67.min1.thm1
2017-02-06 12:45
1.9K
pralg_3__2051_67.min1.thm1.tptp
2017-02-06 16:47
1.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80