Index of /~mptp/1147/MPTP2/ilp0/valued_0
Name
Last modified
Size
Description
Parent Directory
-
valued_0__63_25.min1.thm1
2017-02-06 12:44
437
valued_0__70_25.min1.thm1
2017-02-06 12:44
437
valued_0__77_26.min1.thm1
2017-02-06 12:44
437
valued_0__84_26.min1.thm1
2017-02-06 12:44
437
valued_0__91_29.min1.thm1
2017-02-06 12:44
437
valued_0__98_29.min1.thm1
2017-02-06 12:44
437
valued_0__105_25.min1.thm1
2017-02-06 12:44
437
valued_0__112_26.min1.thm1
2017-02-06 12:44
546
valued_0__122_25.min1.thm1
2017-02-06 12:44
482
valued_0__131_15.min1.thm1
2017-02-06 12:44
380
valued_0__140_23.min1.thm1
2017-02-06 12:44
381
valued_0__140_23.min1.thm1.tptp
2017-02-06 16:46
304
valued_0__141_16.min1.thm1
2017-02-06 12:44
442
valued_0__150_23.min1.thm1
2017-02-06 12:44
381
valued_0__150_23.min1.thm1.tptp
2017-02-06 16:46
304
valued_0__151_16.min1.thm1
2017-02-06 12:44
442
valued_0__160_20.min1.thm1
2017-02-06 12:44
381
valued_0__160_20.min1.thm1.tptp
2017-02-06 16:46
304
valued_0__161_16.min1.thm1
2017-02-06 12:44
442
valued_0__168_11.min1.thm1
2017-02-06 12:44
703
valued_0__174_11.min1.thm1
2017-02-06 12:44
703
valued_0__182_19.min1.thm1
2017-02-06 12:44
703
valued_0__183_16.min1.thm1
2017-02-06 12:44
467
valued_0__197_21.min1.thm1
2017-02-06 12:44
616
valued_0__198_21.min1.thm1
2017-02-06 12:44
382
valued_0__198_21.min1.thm1.tptp
2017-02-06 16:46
305
valued_0__199_27.min1.thm1
2017-02-06 12:44
467
valued_0__208_21.min1.thm1
2017-02-06 12:44
616
valued_0__209_21.min1.thm1
2017-02-06 12:44
382
valued_0__209_21.min1.thm1.tptp
2017-02-06 16:46
305
valued_0__210_27.min1.thm1
2017-02-06 12:44
467
valued_0__219_21.min1.thm1
2017-02-06 12:44
616
valued_0__220_18.min1.thm1
2017-02-06 12:44
382
valued_0__220_18.min1.thm1.tptp
2017-02-06 16:46
305
valued_0__221_24.min1.thm1
2017-02-06 12:44
467
valued_0__225_65.min1.thm1
2017-02-06 12:44
471
valued_0__225_65.min1.thm1.tptp
2017-02-06 16:46
436
valued_0__228_65.min1.thm1
2017-02-06 12:44
471
valued_0__228_65.min1.thm1.tptp
2017-02-06 16:46
436
valued_0__236_21.min1.thm1
2017-02-06 12:44
869
valued_0__237_17.min1.thm1
2017-02-06 12:44
699
valued_0__238_23.min1.thm1
2017-02-06 12:44
551
valued_0__244_14.min1.thm1
2017-02-06 12:44
622
valued_0__250_14.min1.thm1
2017-02-06 12:44
622
valued_0__256_14.min1.thm1
2017-02-06 12:44
622
valued_0__262_11.min1.thm1
2017-02-06 12:44
448
valued_0__262_11.min1.thm1.tptp
2017-02-06 16:46
388
valued_0__268_11.min1.thm1
2017-02-06 12:44
448
valued_0__268_11.min1.thm1.tptp
2017-02-06 16:46
388
valued_0__274_14.min1.thm1
2017-02-06 12:44
622
valued_0__282_35.min1.thm1
2017-02-06 12:44
606
valued_0__283_42.min1.thm1
2017-02-06 12:44
535
valued_0__284_35.min1.thm1
2017-02-06 12:44
639
valued_0__293_35.min1.thm1
2017-02-06 12:44
606
valued_0__294_42.min1.thm1
2017-02-06 12:44
535
valued_0__295_35.min1.thm1
2017-02-06 12:44
639
valued_0__304_35.min1.thm1
2017-02-06 12:44
606
valued_0__305_36.min1.thm1
2017-02-06 12:44
535
valued_0__306_32.min1.thm1
2017-02-06 12:44
639
valued_0__313_11.min1.thm1
2017-02-06 12:44
560
valued_0__319_11.min1.thm1
2017-02-06 12:44
560
valued_0__328_34.min1.thm1
2017-02-06 12:44
798
valued_0__329_31.min1.thm1
2017-02-06 12:44
1.3K
valued_0__339_18.min1.thm1
2017-02-06 12:44
274
valued_0__341_27.min1.thm1
2017-02-06 12:44
819
valued_0__342_23.min1.thm1
2017-02-06 12:44
386
valued_0__342_23.min1.thm1.tptp
2017-02-06 16:46
309
valued_0__343_35.min1.thm1
2017-02-06 12:44
537
valued_0__346_11.min1.thm1
2017-02-06 12:44
500
valued_0__355_18.min1.thm1
2017-02-06 12:44
274
valued_0__357_27.min1.thm1
2017-02-06 12:44
819
valued_0__358_23.min1.thm1
2017-02-06 12:44
386
valued_0__358_23.min1.thm1.tptp
2017-02-06 16:46
309
valued_0__359_35.min1.thm1
2017-02-06 12:44
537
valued_0__362_11.min1.thm1
2017-02-06 12:44
500
valued_0__371_18.min1.thm1
2017-02-06 12:44
274
valued_0__373_27.min1.thm1
2017-02-06 12:44
819
valued_0__374_20.min1.thm1
2017-02-06 12:44
386
valued_0__374_20.min1.thm1.tptp
2017-02-06 16:46
309
valued_0__375_32.min1.thm1
2017-02-06 12:44
537
valued_0__378_11.min1.thm1
2017-02-06 12:44
500
valued_0__385_11.min1.thm1
2017-02-06 12:44
499
valued_0__387_11.min1.thm1
2017-02-06 12:44
591
valued_0__394_11.min1.thm1
2017-02-06 12:44
499
valued_0__396_11.min1.thm1
2017-02-06 12:44
591
valued_0__405_18.min1.thm1
2017-02-06 12:44
274
valued_0__407_27.min1.thm1
2017-02-06 12:44
1.2K
valued_0__408_19.min1.thm1
2017-02-06 12:44
703
valued_0__409_31.min1.thm1
2017-02-06 12:44
577
valued_0__412_11.min1.thm1
2017-02-06 12:44
500
valued_0__418_11.min1.thm1
2017-02-06 12:44
847
valued_0__424_11.min1.thm1
2017-02-06 12:44
847
valued_0__430_11.min1.thm1
2017-02-06 12:44
847
valued_0__436_11.min1.thm1
2017-02-06 12:44
898
valued_0__442_11.min1.thm1
2017-02-06 12:44
898
valued_0__448_11.min1.thm1
2017-02-06 12:44
848
valued_0__457_20.min1.thm1
2017-02-06 12:44
413
valued_0__457_20.min1.thm1.tptp
2017-02-06 16:46
335
valued_0__458_16.min1.thm1
2017-02-06 12:44
708
valued_0__468_20.min1.thm1
2017-02-06 12:44
413
valued_0__468_20.min1.thm1.tptp
2017-02-06 16:46
335
valued_0__469_16.min1.thm1
2017-02-06 12:44
708
valued_0__479_20.min1.thm1
2017-02-06 12:44
413
valued_0__479_20.min1.thm1.tptp
2017-02-06 16:46
335
valued_0__480_16.min1.thm1
2017-02-06 12:44
708
valued_0__490_20.min1.thm1
2017-02-06 12:44
561
valued_0__491_16.min1.thm1
2017-02-06 12:44
866
valued_0__501_20.min1.thm1
2017-02-06 12:44
561
valued_0__502_16.min1.thm1
2017-02-06 12:44
866
valued_0__512_20.min1.thm1
2017-02-06 12:44
666
valued_0__513_16.min1.thm1
2017-02-06 12:44
961
valued_0__521_11.min1.thm1
2017-02-06 12:44
493
valued_0__528_11.min1.thm1
2017-02-06 12:44
493
valued_0__535_11.min1.thm1
2017-02-06 12:44
493
valued_0__542_11.min1.thm1
2017-02-06 12:44
513
valued_0__549_11.min1.thm1
2017-02-06 12:44
513
valued_0__556_11.min1.thm1
2017-02-06 12:44
493
valued_0__565_43.min1.thm1
2017-02-06 12:44
606
valued_0__566_32.min1.thm1
2017-02-06 12:44
500
valued_0__566_32.min1.thm1.tptp
2017-02-06 16:46
429
valued_0__576_43.min1.thm1
2017-02-06 12:44
606
valued_0__577_32.min1.thm1
2017-02-06 12:44
500
valued_0__577_32.min1.thm1.tptp
2017-02-06 16:46
429
valued_0__587_40.min1.thm1
2017-02-06 12:44
606
valued_0__588_29.min1.thm1
2017-02-06 12:44
500
valued_0__588_29.min1.thm1.tptp
2017-02-06 16:46
429
valued_0__596_11.min1.thm1
2017-02-06 12:44
448
valued_0__596_11.min1.thm1.tptp
2017-02-06 16:46
381
valued_0__603_11.min1.thm1
2017-02-06 12:44
448
valued_0__603_11.min1.thm1.tptp
2017-02-06 16:46
381
valued_0__612_39.min1.thm1
2017-02-06 12:44
1.2K
valued_0__613_28.min1.thm1
2017-02-06 12:44
540
valued_0__613_28.min1.thm1.tptp
2017-02-06 16:46
469
valued_0__622_31.min1.thm1
2017-02-06 12:44
752
valued_0__631_31.min1.thm1
2017-02-06 12:44
752
valued_0__640_28.min1.thm1
2017-02-06 12:44
752
valued_0__649_27.min1.thm1
2017-02-06 12:44
752
valued_0__658_27.min1.thm1
2017-02-06 12:44
752
valued_0__667_27.min1.thm1
2017-02-06 12:44
752
valued_0__677_43.min1.thm1
2017-02-06 12:44
688
valued_0__678_32.min1.thm1
2017-02-06 12:44
500
valued_0__678_32.min1.thm1.tptp
2017-02-06 16:46
429
valued_0__688_43.min1.thm1
2017-02-06 12:44
688
valued_0__689_32.min1.thm1
2017-02-06 12:44
500
valued_0__689_32.min1.thm1.tptp
2017-02-06 16:46
429
valued_0__699_40.min1.thm1
2017-02-06 12:44
688
valued_0__700_29.min1.thm1
2017-02-06 12:44
500
valued_0__700_29.min1.thm1.tptp
2017-02-06 16:46
429
valued_0__708_11.min1.thm1
2017-02-06 12:44
529
valued_0__715_11.min1.thm1
2017-02-06 12:44
529
valued_0__724_39.min1.thm1
2017-02-06 12:44
1.2K
valued_0__725_28.min1.thm1
2017-02-06 12:44
540
valued_0__725_28.min1.thm1.tptp
2017-02-06 16:46
469
valued_0__743_48.min1.thm1
2017-02-06 12:44
380
valued_0__743_48.min1.thm1.tptp
2017-02-06 16:46
292
valued_0__744_21.min1.thm1
2017-02-06 12:44
716
valued_0__745_18.min1.thm1
2017-02-06 12:44
937
valued_0__751_40.min1.thm1
2017-02-06 12:44
606
valued_0__752_24.min1.thm1
2017-02-06 12:44
432
valued_0__752_24.min1.thm1.tptp
2017-02-06 16:46
360
valued_0__753_19.min1.thm1
2017-02-06 12:44
319
valued_0__753_19.min1.thm1.tptp
2017-02-06 16:46
238
valued_0__767_49.min1.thm1
2017-02-06 12:44
380
valued_0__767_49.min1.thm1.tptp
2017-02-06 16:46
292
valued_0__768_21.min1.thm1
2017-02-06 12:44
716
valued_0__769_18.min1.thm1
2017-02-06 12:44
937
valued_0__775_40.min1.thm1
2017-02-06 12:44
606
valued_0__776_25.min1.thm1
2017-02-06 12:44
432
valued_0__776_25.min1.thm1.tptp
2017-02-06 16:46
360
valued_0__777_19.min1.thm1
2017-02-06 12:44
319
valued_0__777_19.min1.thm1.tptp
2017-02-06 16:46
238
valued_0__791_45.min1.thm1
2017-02-06 12:44
380
valued_0__791_45.min1.thm1.tptp
2017-02-06 16:46
292
valued_0__792_21.min1.thm1
2017-02-06 12:44
716
valued_0__793_18.min1.thm1
2017-02-06 12:44
935
valued_0__799_40.min1.thm1
2017-02-06 12:44
606
valued_0__800_21.min1.thm1
2017-02-06 12:44
430
valued_0__800_21.min1.thm1.tptp
2017-02-06 16:46
358
valued_0__801_19.min1.thm1
2017-02-06 12:44
316
valued_0__801_19.min1.thm1.tptp
2017-02-06 16:46
235
valued_0__816_48.min1.thm1
2017-02-06 12:44
380
valued_0__816_48.min1.thm1.tptp
2017-02-06 16:46
292
valued_0__817_21.min1.thm1
2017-02-06 12:44
969
valued_0__818_18.min1.thm1
2017-02-06 12:44
1.2K
valued_0__824_40.min1.thm1
2017-02-06 12:44
606
valued_0__825_24.min1.thm1
2017-02-06 12:44
432
valued_0__825_24.min1.thm1.tptp
2017-02-06 16:46
360
valued_0__826_19.min1.thm1
2017-02-06 12:44
385
valued_0__837_13.min1.thm1
2017-02-06 12:44
251
valued_0__840_29.min1.thm1
2017-02-06 12:44
603
valued_0__844_29.min1.thm1
2017-02-06 12:44
800
valued_0__848_47.min1.thm1
2017-02-06 12:44
302
valued_0__849_17.min1.thm1
2017-02-06 12:44
535
valued_0__859_13.min1.thm1
2017-02-06 12:44
251
valued_0__862_30.min1.thm1
2017-02-06 12:44
603
valued_0__866_30.min1.thm1
2017-02-06 12:44
800
valued_0__870_48.min1.thm1
2017-02-06 12:44
302
valued_0__871_17.min1.thm1
2017-02-06 12:44
535
valued_0__881_13.min1.thm1
2017-02-06 12:44
251
valued_0__884_26.min1.thm1
2017-02-06 12:44
601
valued_0__888_26.min1.thm1
2017-02-06 12:44
799
valued_0__892_44.min1.thm1
2017-02-06 12:44
300
valued_0__893_17.min1.thm1
2017-02-06 12:44
533
valued_0__903_13.min1.thm1
2017-02-06 12:44
251
valued_0__905_26.min1.thm1
2017-02-06 12:44
592
valued_0__906_30.min1.thm1
2017-02-06 12:44
766
valued_0__909_30.min1.thm1
2017-02-06 12:44
944
valued_0__917_14.min1.thm1
2017-02-06 12:44
590
valued_0__918_20.min1.thm1
2017-02-06 12:44
257
valued_0__919_17.min1.thm1
2017-02-06 12:44
415
valued_0__929_13.min1.thm1
2017-02-06 12:44
251
valued_0__931_26.min1.thm1
2017-02-06 12:44
592
valued_0__932_29.min1.thm1
2017-02-06 12:44
766
valued_0__935_29.min1.thm1
2017-02-06 12:44
882
valued_0__943_14.min1.thm1
2017-02-06 12:44
590
valued_0__944_19.min1.thm1
2017-02-06 12:44
257
valued_0__945_17.min1.thm1
2017-02-06 12:44
415
valued_0__955_13.min1.thm1
2017-02-06 12:44
251
valued_0__958_29.min1.thm1
2017-02-06 12:44
604
valued_0__962_29.min1.thm1
2017-02-06 12:44
820
valued_0__966_47.min1.thm1
2017-02-06 12:44
302
valued_0__967_17.min1.thm1
2017-02-06 12:44
536
valued_0__974_14.min1.thm1
2017-02-06 12:44
434
valued_0__974_14.min1.thm1.tptp
2017-02-06 16:46
364
valued_0__981_14.min1.thm1
2017-02-06 12:44
434
valued_0__981_14.min1.thm1.tptp
2017-02-06 16:46
364
valued_0__988_14.min1.thm1
2017-02-06 12:44
432
valued_0__988_14.min1.thm1.tptp
2017-02-06 16:46
362
valued_0__995_14.min1.thm1
2017-02-06 12:44
449
valued_0__995_14.min1.thm1.tptp
2017-02-06 16:46
379
valued_0__1002_14.min1.thm1
2017-02-06 12:44
449
valued_0__1002_14.min1.thm1.tptp
2017-02-06 16:46
379
valued_0__1009_14.min1.thm1
2017-02-06 12:44
435
valued_0__1009_14.min1.thm1.tptp
2017-02-06 16:46
365
valued_0__1019_19.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1030_19.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1041_19.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1074_19.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1083_36.min1.thm1
2017-02-06 12:44
720
valued_0__1084_34.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1085_19.min1.thm1
2017-02-06 12:44
837
valued_0__1094_36.min1.thm1
2017-02-06 12:44
720
valued_0__1095_34.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1096_19.min1.thm1
2017-02-06 12:44
837
valued_0__1105_36.min1.thm1
2017-02-06 12:44
720
valued_0__1106_31.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1107_19.min1.thm1
2017-02-06 12:44
837
valued_0__1116_36.min1.thm1
2017-02-06 12:44
1.2K
valued_0__1117_30.min1.thm1
2017-02-06 12:44
1.3K
valued_0__1118_19.min1.thm1
2017-02-06 12:44
867
valued_0__1127_36.min1.thm1
2017-02-06 12:44
1.3K
valued_0__1128_30.min1.thm1
2017-02-06 12:44
1.5K
valued_0__1129_19.min1.thm1
2017-02-06 12:44
867
valued_0__1139_30.min1.thm1
2017-02-06 12:44
1.7K
valued_0__1140_19.min1.thm1
2017-02-06 12:44
1.3K
valued_0__1148_11.min1.thm1
2017-02-06 12:44
616
valued_0__1155_11.min1.thm1
2017-02-06 12:44
616
valued_0__1162_11.min1.thm1
2017-02-06 12:44
614
valued_0__1169_11.min1.thm1
2017-02-06 12:44
630
valued_0__1176_11.min1.thm1
2017-02-06 12:44
630
valued_0__1183_11.min1.thm1
2017-02-06 12:44
616
valued_0__1193_28.min1.thm1
2017-02-06 12:44
1.0K
valued_0__1204_28.min1.thm1
2017-02-06 12:44
1.0K
valued_0__1215_25.min1.thm1
2017-02-06 12:44
1.0K
valued_0__1226_24.min1.thm1
2017-02-06 12:44
1.0K
valued_0__1237_24.min1.thm1
2017-02-06 12:44
1.0K
valued_0__1248_24.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1258_23.min1.thm1
2017-02-06 12:44
306
valued_0__1259_35.min1.thm1
2017-02-06 12:44
689
valued_0__1269_23.min1.thm1
2017-02-06 12:44
306
valued_0__1270_35.min1.thm1
2017-02-06 12:44
689
valued_0__1280_23.min1.thm1
2017-02-06 12:44
306
valued_0__1281_32.min1.thm1
2017-02-06 12:44
689
valued_0__1291_23.min1.thm1
2017-02-06 12:44
306
valued_0__1292_31.min1.thm1
2017-02-06 12:44
689
valued_0__1302_23.min1.thm1
2017-02-06 12:44
758
valued_0__1303_31.min1.thm1
2017-02-06 12:44
709
valued_0__1313_23.min1.thm1
2017-02-06 12:44
829
valued_0__1314_31.min1.thm1
2017-02-06 12:44
773
valued_0__1328_15.min1.thm1
2017-02-06 12:44
1.8K
valued_0__1338_40.min1.thm1
2017-02-06 12:44
588
valued_0__1338_40.min1.thm1.tptp
2017-02-06 16:46
533
valued_0__1340_17.min1.thm1
2017-02-06 12:44
556
valued_0__1341_12.min1.thm1
2017-02-06 12:44
415
valued_0__1341_12.min1.thm1.tptp
2017-02-06 16:46
338
valued_0__1342_17.min1.thm1
2017-02-06 12:44
791
valued_0__1351_40.min1.thm1
2017-02-06 12:44
588
valued_0__1351_40.min1.thm1.tptp
2017-02-06 16:46
533
valued_0__1353_17.min1.thm1
2017-02-06 12:44
556
valued_0__1354_12.min1.thm1
2017-02-06 12:44
415
valued_0__1354_12.min1.thm1.tptp
2017-02-06 16:46
338
valued_0__1355_17.min1.thm1
2017-02-06 12:44
791
valued_0__1364_40.min1.thm1
2017-02-06 12:44
588
valued_0__1364_40.min1.thm1.tptp
2017-02-06 16:46
533
valued_0__1366_17.min1.thm1
2017-02-06 12:44
556
valued_0__1367_12.min1.thm1
2017-02-06 12:44
415
valued_0__1367_12.min1.thm1.tptp
2017-02-06 16:46
338
valued_0__1368_17.min1.thm1
2017-02-06 12:44
789
valued_0__1377_40.min1.thm1
2017-02-06 12:44
598
valued_0__1377_40.min1.thm1.tptp
2017-02-06 16:46
543
valued_0__1379_17.min1.thm1
2017-02-06 12:44
566
valued_0__1380_12.min1.thm1
2017-02-06 12:44
415
valued_0__1380_12.min1.thm1.tptp
2017-02-06 16:46
338
valued_0__1381_17.min1.thm1
2017-02-06 12:44
805
valued_0__1390_40.min1.thm1
2017-02-06 12:44
598
valued_0__1390_40.min1.thm1.tptp
2017-02-06 16:46
543
valued_0__1392_17.min1.thm1
2017-02-06 12:44
566
valued_0__1393_12.min1.thm1
2017-02-06 12:44
415
valued_0__1393_12.min1.thm1.tptp
2017-02-06 16:46
338
valued_0__1394_17.min1.thm1
2017-02-06 12:44
805
valued_0__1403_40.min1.thm1
2017-02-06 12:44
588
valued_0__1403_40.min1.thm1.tptp
2017-02-06 16:46
533
valued_0__1405_17.min1.thm1
2017-02-06 12:44
556
valued_0__1406_12.min1.thm1
2017-02-06 12:44
415
valued_0__1406_12.min1.thm1.tptp
2017-02-06 16:46
338
valued_0__1407_17.min1.thm1
2017-02-06 12:44
791
valued_0__1443_21.min1.thm1
2017-02-06 12:44
1.2K
valued_0__1447_19.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1461_16.min1.thm1
2017-02-06 12:44
606
valued_0__1464_18.min1.thm1
2017-02-06 12:44
793
valued_0__1468_21.min1.thm1
2017-02-06 12:44
1.4K
valued_0__1480_16.min1.thm1
2017-02-06 12:44
606
valued_0__1483_18.min1.thm1
2017-02-06 12:44
793
valued_0__1487_21.min1.thm1
2017-02-06 12:44
1.4K
valued_0__1501_18.min1.thm1
2017-02-06 12:44
884
valued_0__1503_26.min1.thm1
2017-02-06 12:44
924
valued_0__1504_18.min1.thm1
2017-02-06 12:44
884
valued_0__1506_26.min1.thm1
2017-02-06 12:44
924
valued_0__1509_18.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1510_36.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1511_19.min1.thm1
2017-02-06 12:44
1.8K
valued_0__1524_18.min1.thm1
2017-02-06 12:44
884
valued_0__1526_26.min1.thm1
2017-02-06 12:44
924
valued_0__1527_18.min1.thm1
2017-02-06 12:44
884
valued_0__1529_26.min1.thm1
2017-02-06 12:44
924
valued_0__1532_19.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1533_36.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1534_19.min1.thm1
2017-02-06 12:44
1.8K
valued_0__1547_18.min1.thm1
2017-02-06 12:44
884
valued_0__1549_26.min1.thm1
2017-02-06 12:44
924
valued_0__1550_18.min1.thm1
2017-02-06 12:44
884
valued_0__1552_26.min1.thm1
2017-02-06 12:44
924
valued_0__1555_18.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1556_36.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1557_19.min1.thm1
2017-02-06 12:44
1.8K
valued_0__1570_18.min1.thm1
2017-02-06 12:44
884
valued_0__1572_26.min1.thm1
2017-02-06 12:44
924
valued_0__1573_18.min1.thm1
2017-02-06 12:44
884
valued_0__1575_26.min1.thm1
2017-02-06 12:44
924
valued_0__1578_19.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1579_36.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1580_19.min1.thm1
2017-02-06 12:44
1.8K
valued_0__1594_18.min1.thm1
2017-02-06 12:44
884
valued_0__1596_26.min1.thm1
2017-02-06 12:44
924
valued_0__1597_18.min1.thm1
2017-02-06 12:44
884
valued_0__1599_26.min1.thm1
2017-02-06 12:44
924
valued_0__1602_18.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1603_36.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1604_19.min1.thm1
2017-02-06 12:44
1.8K
valued_0__1613_19.min1.thm1
2017-02-06 12:44
884
valued_0__1615_27.min1.thm1
2017-02-06 12:44
924
valued_0__1616_19.min1.thm1
2017-02-06 12:44
884
valued_0__1618_27.min1.thm1
2017-02-06 12:44
924
valued_0__1621_19.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1622_36.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1623_19.min1.thm1
2017-02-06 12:44
1.8K
valued_0__1637_18.min1.thm1
2017-02-06 12:44
884
valued_0__1639_26.min1.thm1
2017-02-06 12:44
924
valued_0__1640_18.min1.thm1
2017-02-06 12:44
884
valued_0__1642_26.min1.thm1
2017-02-06 12:44
924
valued_0__1645_19.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1646_36.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1647_19.min1.thm1
2017-02-06 12:44
1.8K
valued_0__1656_19.min1.thm1
2017-02-06 12:44
884
valued_0__1658_27.min1.thm1
2017-02-06 12:44
924
valued_0__1659_19.min1.thm1
2017-02-06 12:44
884
valued_0__1661_27.min1.thm1
2017-02-06 12:44
924
valued_0__1664_20.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1665_36.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1666_19.min1.thm1
2017-02-06 12:44
1.8K
valued_0__1681_23.min1.thm1
2017-02-06 12:44
875
valued_0__1682_21.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1684_16.min1.thm1
2017-02-06 12:44
414
valued_0__1693_15.min1.thm1
2017-02-06 12:44
795
valued_0__1705_18.min1.thm1
2017-02-06 12:44
486
valued_0__1705_18.min1.thm1.tptp
2017-02-06 16:46
420
valued_0__1706_19.min1.thm1
2017-02-06 12:44
775
valued_0__1717_25.min1.thm1
2017-02-06 12:44
926
valued_0__1725_22.min1.thm1
2017-02-06 12:44
1.2K
valued_0__1735_33.min1.thm1
2017-02-06 12:44
1.9K
valued_0__1736_31.min1.thm1
2017-02-06 12:44
2.4K
valued_0__1759_51.min1.thm1
2017-02-06 12:44
1.7K
valued_0__1799_13.min1.thm1
2017-02-06 12:44
196
valued_0__1801_48.min1.thm1
2017-02-06 12:44
810
valued_0__1803_17.min1.thm1
2017-02-06 12:44
645
valued_0__1807_15.min1.thm1
2017-02-06 12:44
494
valued_0__1808_50.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1810_17.min1.thm1
2017-02-06 12:44
544
valued_0__1826_17.min1.thm1
2017-02-06 12:44
1.0K
valued_0__1838_22.min1.thm1
2017-02-06 12:44
909
valued_0__1839_16.min1.thm1
2017-02-06 12:44
2.5K
valued_0__1881_13.min1.thm1
2017-02-06 12:44
360
valued_0__1881_13.min1.thm1.tptp
2017-02-06 16:46
289
valued_0__1882_48.min1.thm1
2017-02-06 12:44
1.0K
valued_0__1884_15.min1.thm1
2017-02-06 12:44
624
valued_0__1894_22.min1.thm1
2017-02-06 12:44
1.0K
valued_0__1895_26.min1.thm1
2017-02-06 12:44
1.7K
valued_0__1913_31.min1.thm1
2017-02-06 12:44
1.1K
valued_0__1914_22.min1.thm1
2017-02-06 12:44
730
valued_0__1928_11.min1.thm1
2017-02-06 12:44
194
valued_0__1935_23.min1.thm1
2017-02-06 12:44
837
valued_0__1936_35.min1.thm1
2017-02-06 12:44
638
valued_0__1937_19.min1.thm1
2017-02-06 12:44
1.6K
valued_0__1946_17.min1.thm1
2017-02-06 12:44
1.2K
valued_0__1965_34.min1.thm1
2017-02-06 12:44
1.3K
valued_0__1968_13.min1.thm1
2017-02-06 12:44
471
valued_0__1968_13.min1.thm1.tptp
2017-02-06 16:46
395
valued_0__1970_24.min1.thm1
2017-02-06 12:44
641
valued_0__1972_20.min1.thm1
2017-02-06 12:44
642
valued_0__1973_22.min1.thm1
2017-02-06 12:44
736
valued_0__1988_12.min1.thm1
2017-02-06 12:44
1.9K
valued_0__1999_26.min1.thm1
2017-02-06 12:44
1.1K
valued_0__2009_13.min1.thm1
2017-02-06 12:44
376
valued_0__2017_19.min1.thm1
2017-02-06 12:44
869
valued_0__2018_21.min1.thm1
2017-02-06 12:44
1.2K
valued_0__2044_19.min1.thm1
2017-02-06 12:44
1.0K
valued_0__2062_19.min1.thm1
2017-02-06 12:44
1.0K
valued_0__2087_29.min1.thm1
2017-02-06 12:44
453
valued_0__2094_29.min1.thm1
2017-02-06 12:44
453
valued_0__2101_26.min1.thm1
2017-02-06 12:44
453
valued_0__2108_25.min1.thm1
2017-02-06 12:44
453
valued_0__2118_18.min1.thm1
2017-02-06 12:44
486
valued_0__2118_18.min1.thm1.tptp
2017-02-06 16:46
420
valued_0__2124_33.min1.thm1
2017-02-06 12:44
839
valued_0__2125_22.min1.thm1
2017-02-06 12:44
1.0K
valued_0__2132_20.min1.thm1
2017-02-06 12:44
1.1K
valued_0__2132_34.min1.thm1
2017-02-06 12:44
1.1K
valued_0__2139_26.min1.thm1
2017-02-06 12:44
697
valued_0__2147_15.min1.thm1
2017-02-06 12:44
1.0K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80