Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/fvaluat1
Name
Last modified
Size
Description
Parent Directory
-
fvaluat1__56_16.min1.thm1
2017-02-06 12:44
420
fvaluat1__56_16.min1.thm1.tptp
2017-02-06 16:47
343
fvaluat1__58_18.min1.thm1
2017-02-06 12:44
868
fvaluat1__61_46.min1.thm1
2017-02-06 12:44
316
fvaluat1__61_46.min1.thm1.tptp
2017-02-06 16:47
238
fvaluat1__62_16.min1.thm1
2017-02-06 12:44
713
fvaluat1__63_18.min1.thm1
2017-02-06 12:44
933
fvaluat1__71_18.min1.thm1
2017-02-06 12:44
509
fvaluat1__72_19.min1.thm1
2017-02-06 12:44
376
fvaluat1__83_17.min1.thm1
2017-02-06 12:44
763
fvaluat1__85_19.min1.thm1
2017-02-06 12:44
1.1K
fvaluat1__92_22.min1.thm1
2017-02-06 12:44
522
fvaluat1__93_25.min1.thm1
2017-02-06 12:44
675
fvaluat1__100_22.min1.thm1
2017-02-06 12:44
522
fvaluat1__101_25.min1.thm1
2017-02-06 12:44
675
fvaluat1__111_16.min1.thm1
2017-02-06 12:44
420
fvaluat1__111_16.min1.thm1.tptp
2017-02-06 16:47
343
fvaluat1__113_36.min1.thm1
2017-02-06 12:44
316
fvaluat1__113_36.min1.thm1.tptp
2017-02-06 16:47
238
fvaluat1__115_20.min1.thm1
2017-02-06 12:44
1.0K
fvaluat1__116_21.min1.thm1
2017-02-06 12:44
2.4K
fvaluat1__134_16.min1.thm1
2017-02-06 12:44
420
fvaluat1__134_16.min1.thm1.tptp
2017-02-06 16:47
343
fvaluat1__136_36.min1.thm1
2017-02-06 12:44
316
fvaluat1__136_36.min1.thm1.tptp
2017-02-06 16:47
238
fvaluat1__137_20.min1.thm1
2017-02-06 12:44
1.0K
fvaluat1__138_21.min1.thm1
2017-02-06 12:44
2.9K
fvaluat1__156_16.min1.thm1
2017-02-06 12:44
420
fvaluat1__156_16.min1.thm1.tptp
2017-02-06 16:47
343
fvaluat1__158_36.min1.thm1
2017-02-06 12:44
316
fvaluat1__158_36.min1.thm1.tptp
2017-02-06 16:47
238
fvaluat1__159_20.min1.thm1
2017-02-06 12:44
1.0K
fvaluat1__160_21.min1.thm1
2017-02-06 12:44
2.9K
fvaluat1__176_16.min1.thm1
2017-02-06 12:44
386
fvaluat1__178_44.min1.thm1
2017-02-06 12:44
396
fvaluat1__178_44.min1.thm1.tptp
2017-02-06 16:47
318
fvaluat1__179_18.min1.thm1
2017-02-06 12:44
424
fvaluat1__179_18.min1.thm1.tptp
2017-02-06 16:47
347
fvaluat1__185_33.min1.thm1
2017-02-06 12:44
2.0K
fvaluat1__186_23.min1.thm1
2017-02-06 12:44
2.2K
fvaluat1__201_27.min1.thm1
2017-02-06 12:44
1.0K
fvaluat1__202_15.min1.thm1
2017-02-06 12:44
1.2K
fvaluat1__203_11.min1.thm1
2017-02-06 12:44
757
fvaluat1__214_18.min1.thm1
2017-02-06 12:44
1.1K
fvaluat1__229_16.min1.thm1
2017-02-06 12:44
449
fvaluat1__235_14.min1.thm1
2017-02-06 12:44
235
fvaluat1__239_49.min1.thm1
2017-02-06 12:44
597
fvaluat1__242_14.min1.thm1
2017-02-06 12:44
784
fvaluat1__244_14.min1.thm1
2017-02-06 12:44
248
fvaluat1__250_16.min1.thm1
2017-02-06 12:44
516
fvaluat1__259_15.min1.thm1
2017-02-06 12:44
313
fvaluat1__265_15.min1.thm1
2017-02-06 12:44
207
fvaluat1__280_13.min1.thm1
2017-02-06 12:44
289
fvaluat1__283_44.min1.thm1
2017-02-06 12:44
402
fvaluat1__283_44.min1.thm1.tptp
2017-02-06 16:47
324
fvaluat1__287_27.min1.thm1
2017-02-06 12:44
1.0K
fvaluat1__288_19.min1.thm1
2017-02-06 12:44
241
fvaluat1__291_18.min1.thm1
2017-02-06 12:44
431
fvaluat1__291_18.min1.thm1.tptp
2017-02-06 16:47
363
fvaluat1__294_66.min1.thm1
2017-02-06 12:44
705
fvaluat1__295_21.min1.thm1
2017-02-06 12:44
1.2K
fvaluat1__302_33.min1.thm1
2017-02-06 12:44
329
fvaluat1__302_33.min1.thm1.tptp
2017-02-06 16:47
256
fvaluat1__303_35.min1.thm1
2017-02-06 12:44
422
fvaluat1__318_13.min1.thm1
2017-02-06 12:44
276
fvaluat1__320_32.min1.thm1
2017-02-06 12:44
310
fvaluat1__321_46.min1.thm1
2017-02-06 12:44
1.1K
fvaluat1__325_45.min1.thm1
2017-02-06 12:44
484
fvaluat1__327_20.min1.thm1
2017-02-06 12:44
405
fvaluat1__327_20.min1.thm1.tptp
2017-02-06 16:47
319
fvaluat1__331_15.min1.thm1
2017-02-06 12:44
209
fvaluat1__333_41.min1.thm1
2017-02-06 12:44
248
fvaluat1__334_19.min1.thm1
2017-02-06 12:44
752
fvaluat1__335_20.min1.thm1
2017-02-06 12:44
498
fvaluat1__338_21.min1.thm1
2017-02-06 12:44
458
fvaluat1__339_23.min1.thm1
2017-02-06 12:44
550
fvaluat1__345_21.min1.thm1
2017-02-06 12:44
250
fvaluat1__348_53.min1.thm1
2017-02-06 12:44
736
fvaluat1__349_19.min1.thm1
2017-02-06 12:44
528
fvaluat1__350_22.min1.thm1
2017-02-06 12:44
510
fvaluat1__358_24.min1.thm1
2017-02-06 12:44
812
fvaluat1__359_19.min1.thm1
2017-02-06 12:44
727
fvaluat1__375_19.min1.thm1
2017-02-06 12:44
2.0K
fvaluat1__376_16.min1.thm1
2017-02-06 12:44
1.4K
fvaluat1__387_19.min1.thm1
2017-02-06 12:44
1.8K
fvaluat1__388_16.min1.thm1
2017-02-06 12:44
1.9K
fvaluat1__397_13.min1.thm1
2017-02-06 12:44
249
fvaluat1__399_26.min1.thm1
2017-02-06 12:44
623
fvaluat1__400_21.min1.thm1
2017-02-06 12:44
568
fvaluat1__403_21.min1.thm1
2017-02-06 12:44
920
fvaluat1__432_13.min1.thm1
2017-02-06 12:44
131
fvaluat1__438_31.min1.thm1
2017-02-06 12:44
713
fvaluat1__443_42.min1.thm1
2017-02-06 12:44
925
fvaluat1__452_17.min1.thm1
2017-02-06 12:44
456
fvaluat1__460_21.min1.thm1
2017-02-06 12:44
1.6K
fvaluat1__461_31.min1.thm1
2017-02-06 12:44
1.3K
fvaluat1__462_21.min1.thm1
2017-02-06 12:44
343
fvaluat1__462_21.min1.thm1.tptp
2017-02-06 16:47
261
fvaluat1__463_19.min1.thm1
2017-02-06 12:44
449
fvaluat1__469_13.min1.thm1
2017-02-06 12:44
1.1K
fvaluat1__470_26.min1.thm1
2017-02-06 12:44
938
fvaluat1__471_13.min1.thm1
2017-02-06 12:44
1.4K
fvaluat1__473_19.min1.thm1
2017-02-06 12:44
1.6K
fvaluat1__479_19.min1.thm1
2017-02-06 12:44
299
fvaluat1__498_14.min1.thm1
2017-02-06 12:44
1.4K
fvaluat1__504_18.min1.thm1
2017-02-06 12:44
277
fvaluat1__508_24.min1.thm1
2017-02-06 12:44
1.2K
fvaluat1__510_40.min1.thm1
2017-02-06 12:44
1.0K
fvaluat1__511_24.min1.thm1
2017-02-06 12:44
1.3K
fvaluat1__514_24.min1.thm1
2017-02-06 12:44
1.2K
fvaluat1__515_26.min1.thm1
2017-02-06 12:44
1.2K
fvaluat1__519_19.min1.thm1
2017-02-06 12:44
567
fvaluat1__519_19.min1.thm1.tptp
2017-02-06 16:47
494
fvaluat1__533_26.min1.thm1
2017-02-06 12:44
1.0K
fvaluat1__537_20.min1.thm1
2017-02-06 12:44
1.5K
fvaluat1__538_29.min1.thm1
2017-02-06 12:44
1.1K
fvaluat1__556_53.min1.thm1
2017-02-06 12:44
1.9K
fvaluat1__569_16.min1.thm1
2017-02-06 12:44
911
fvaluat1__577_22.min1.thm1
2017-02-06 12:44
1.7K
fvaluat1__585_20.min1.thm1
2017-02-06 12:44
1.7K
fvaluat1__595_13.min1.thm1
2017-02-06 12:44
1.6K
fvaluat1__602_20.min1.thm1
2017-02-06 12:44
1.1K
fvaluat1__609_23.min1.thm1
2017-02-06 12:44
1.3K
fvaluat1__610_32.min1.thm1
2017-02-06 12:44
1.1K
fvaluat1__617_21.min1.thm1
2017-02-06 12:44
1.4K
fvaluat1__640_17.min1.thm1
2017-02-06 12:44
1.2K
fvaluat1__641_19.min1.thm1
2017-02-06 12:44
758
fvaluat1__652_45.min1.thm1
2017-02-06 12:44
921
fvaluat1__672_28.min1.thm1
2017-02-06 12:44
1.7K
fvaluat1__673_33.min1.thm1
2017-02-06 12:44
810
fvaluat1__673_33.min1.thm1.tptp
2017-02-06 16:47
733
fvaluat1__675_35.min1.thm1
2017-02-06 12:44
1.6K
fvaluat1__678_16.min1.thm1
2017-02-06 12:44
764
fvaluat1__688_11.min1.thm1
2017-02-06 12:44
1.5K
fvaluat1__694_29.min1.thm1
2017-02-06 12:44
1.4K
fvaluat1__695_33.min1.thm1
2017-02-06 12:44
2.0K
fvaluat1__698_19.min1.thm1
2017-02-06 12:44
419
fvaluat1__698_19.min1.thm1.tptp
2017-02-06 16:47
338
fvaluat1__706_13.min1.thm1
2017-02-06 12:44
213
fvaluat1__708_49.min1.thm1
2017-02-06 12:44
1.0K
fvaluat1__709_22.min1.thm1
2017-02-06 12:44
329
fvaluat1__710_28.min1.thm1
2017-02-06 12:44
2.2K
fvaluat1__714_50.min1.thm1
2017-02-06 12:44
2.0K
fvaluat1__717_23.min1.thm1
2017-02-06 12:44
2.1K
fvaluat1__718_28.min1.thm1
2017-02-06 12:44
2.0K
fvaluat1__755_14.min1.thm1
2017-02-06 12:44
1.0K
fvaluat1__757_51.min1.thm1
2017-02-06 12:44
692
fvaluat1__767_16.min1.thm1
2017-02-06 12:44
635
fvaluat1__777_11.min1.thm1
2017-02-06 12:44
1.3K
fvaluat1__789_13.min1.thm1
2017-02-06 12:44
2.2K
fvaluat1__798_19.min1.thm1
2017-02-06 12:44
2.3K
fvaluat1__801_11.min1.thm1
2017-02-06 12:44
1.3K
fvaluat1__804_25.min1.thm1
2017-02-06 12:44
2.4K
fvaluat1__809_63.min1.thm1
2017-02-06 12:44
944
fvaluat1__847_13.min1.thm1
2017-02-06 12:44
223
fvaluat1__849_26.min1.thm1
2017-02-06 12:44
2.5K
fvaluat1__854_62.min1.thm1
2017-02-06 12:44
892
fvaluat1__856_28.min1.thm1
2017-02-06 12:44
2.8K
fvaluat1__884_15.min1.thm1
2017-02-06 12:44
2.3K
fvaluat1__899_26.min1.thm1
2017-02-06 12:44
2.5K
fvaluat1__900_32.min1.thm1
2017-02-06 12:44
2.2K
fvaluat1__905_26.min1.thm1
2017-02-06 12:44
2.5K
fvaluat1__906_32.min1.thm1
2017-02-06 12:44
2.1K
fvaluat1__914_27.min1.thm1
2017-02-06 12:44
2.3K
fvaluat1__920_25.min1.thm1
2017-02-06 12:44
2.2K
fvaluat1__931_27.min1.thm1
2017-02-06 12:44
2.5K
fvaluat1__937_25.min1.thm1
2017-02-06 12:44
2.2K
fvaluat1__948_25.min1.thm1
2017-02-06 12:44
2.5K
fvaluat1__951_18.min1.thm1
2017-02-06 12:44
958
fvaluat1__954_19.min1.thm1
2017-02-06 12:44
1.7K
fvaluat1__969_11.min1.thm1
2017-02-06 12:44
3.4K
fvaluat1__975_41.min1.thm1
2017-02-06 12:44
296
fvaluat1__975_41.min1.thm1.tptp
2017-02-06 16:47
215
fvaluat1__976_39.min1.thm1
2017-02-06 12:44
1.6K
fvaluat1__983_13.min1.thm1
2017-02-06 12:44
213
fvaluat1__985_48.min1.thm1
2017-02-06 12:44
1.0K
fvaluat1__986_13.min1.thm1
2017-02-06 12:44
1.4K
fvaluat1__987_18.min1.thm1
2017-02-06 12:44
732
fvaluat1__987_18.min1.thm1.tptp
2017-02-06 16:47
650
fvaluat1__991_50.min1.thm1
2017-02-06 12:44
2.0K
fvaluat1__992_41.min1.thm1
2017-02-06 12:44
351
fvaluat1__997_23.min1.thm1
2017-02-06 12:44
881
fvaluat1__999_21.min1.thm1
2017-02-06 12:44
2.9K
fvaluat1__1009_16.min1.thm1
2017-02-06 12:44
1.5K
fvaluat1__1027_27.min1.thm1
2017-02-06 12:44
1.0K
fvaluat1__1028_22.min1.thm1
2017-02-06 12:44
782
fvaluat1__1047_21.min1.thm1
2017-02-06 12:44
2.4K
fvaluat1__1048_31.min1.thm1
2017-02-06 12:44
1.2K
fvaluat1__1056_27.min1.thm1
2017-02-06 12:44
1.2K
fvaluat1__1057_19.min1.thm1
2017-02-06 12:44
2.0K
fvaluat1__1065_31.min1.thm1
2017-02-06 12:44
1.2K
fvaluat1__1067_19.min1.thm1
2017-02-06 12:44
2.5K
fvaluat1__1071_18.min1.thm1
2017-02-06 12:44
502
fvaluat1__1073_54.min1.thm1
2017-02-06 12:44
294
fvaluat1__1076_34.min1.thm1
2017-02-06 12:44
446
fvaluat1__1078_22.min1.thm1
2017-02-06 12:44
2.4K
fvaluat1__1079_22.min1.thm1
2017-02-06 12:44
1.1K
fvaluat1__1081_21.min1.thm1
2017-02-06 12:44
340
fvaluat1__1084_24.min1.thm1
2017-02-06 12:44
502
fvaluat1__1099_31.min1.thm1
2017-02-06 12:44
1.2K
fvaluat1__1101_19.min1.thm1
2017-02-06 12:44
2.5K
fvaluat1__1104_17.min1.thm1
2017-02-06 12:44
1.7K
fvaluat1__1107_39.min1.thm1
2017-02-06 12:44
668
fvaluat1__1108_13.min1.thm1
2017-02-06 12:44
191
fvaluat1__1114_52.min1.thm1
2017-02-06 12:44
414
fvaluat1__1115_46.min1.thm1
2017-02-06 12:44
1.0K
fvaluat1__1117_17.min1.thm1
2017-02-06 12:44
1.3K
fvaluat1__1132_47.min1.thm1
2017-02-06 12:44
1.2K
fvaluat1__1133_43.min1.thm1
2017-02-06 12:44
368
fvaluat1__1133_43.min1.thm1.tptp
2017-02-06 16:47
287
fvaluat1__1134_22.min1.thm1
2017-02-06 12:44
602
fvaluat1__1147_54.min1.thm1
2017-02-06 12:44
1.2K
fvaluat1__1148_40.min1.thm1
2017-02-06 12:44
2.7K
fvaluat1__1149_13.min1.thm1
2017-02-06 12:44
239
fvaluat1__1172_21.min1.thm1
2017-02-06 12:44
3.0K
fvaluat1__1188_17.min1.thm1
2017-02-06 12:44
1.3K
fvaluat1__1189_24.min1.thm1
2017-02-06 12:44
474
fvaluat1__1189_24.min1.thm1.tptp
2017-02-06 16:47
396
fvaluat1__1190_30.min1.thm1
2017-02-06 12:44
1.9K
fvaluat1__1191_38.min1.thm1
2017-02-06 12:44
1.7K
fvaluat1__1206_46.min1.thm1
2017-02-06 12:44
1.7K
fvaluat1__1207_35.min1.thm1
2017-02-06 12:44
1.2K
fvaluat1__1208_17.min1.thm1
2017-02-06 12:44
381
fvaluat1__1218_16.min1.thm1
2017-02-06 12:44
1.3K
fvaluat1__1219_37.min1.thm1
2017-02-06 12:44
1.2K
fvaluat1__1226_22.min1.thm1
2017-02-06 12:44
2.9K
fvaluat1__1233_62.min1.thm1
2017-02-06 12:44
1.2K
fvaluat1__1236_35.min1.thm1
2017-02-06 12:44
220
fvaluat1__1238_20.min1.thm1
2017-02-06 12:44
2.6K
fvaluat1__1245_43.min1.thm1
2017-02-06 12:44
542
fvaluat1__1247_21.min1.thm1
2017-02-06 12:44
1.1K
fvaluat1__1265_24.min1.thm1
2017-02-06 12:44
3.8K
fvaluat1__1276_19.min1.thm1
2017-02-06 12:44
390
fvaluat1__1277_18.min1.thm1
2017-02-06 12:44
1.3K
fvaluat1__1278_28.min1.thm1
2017-02-06 12:44
1.3K
fvaluat1__1280_39.min1.thm1
2017-02-06 12:44
262
fvaluat1__1283_25.min1.thm1
2017-02-06 12:44
3.4K
fvaluat1__1291_37.min1.thm1
2017-02-06 12:44
1.3K
fvaluat1__1293_41.min1.thm1
2017-02-06 12:44
780
fvaluat1__1293_41.min1.thm1.tptp
2017-02-06 16:47
703
fvaluat1__1294_38.min1.thm1
2017-02-06 12:44
780
fvaluat1__1294_38.min1.thm1.tptp
2017-02-06 16:47
703
fvaluat1__1304_63.min1.thm1
2017-02-06 12:44
2.0K
fvaluat1__1316_20.min1.thm1
2017-02-06 12:44
2.0K
fvaluat1__1317_19.min1.thm1
2017-02-06 12:44
1.2K
fvaluat1__1331_16.min1.thm1
2017-02-06 12:44
1.3K
fvaluat1__1332_36.min1.thm1
2017-02-06 12:44
2.3K
fvaluat1__1345_18.min1.thm1
2017-02-06 12:44
2.0K
fvaluat1__1346_32.min1.thm1
2017-02-06 12:44
1.3K
fvaluat1__1352_56.min1.thm1
2017-02-06 12:44
558
fvaluat1__1353_21.min1.thm1
2017-02-06 12:44
364
fvaluat1__1353_21.min1.thm1.tptp
2017-02-06 16:47
283
fvaluat1__1356_42.min1.thm1
2017-02-06 12:44
1.2K
fvaluat1__1359_32.min1.thm1
2017-02-06 12:44
3.1K
fvaluat1__1362_32.min1.thm1
2017-02-06 12:44
1.7K
fvaluat1__1369_54.min1.thm1
2017-02-06 12:44
670
fvaluat1__1370_20.min1.thm1
2017-02-06 12:44
1.4K
fvaluat1__1374_30.min1.thm1
2017-02-06 12:44
1.7K
fvaluat1__1404_18.min1.thm1
2017-02-06 12:44
2.0K
fvaluat1__1405_13.min1.thm1
2017-02-06 12:44
595
fvaluat1__1426_20.min1.thm1
2017-02-06 12:44
2.3K
fvaluat1__1427_16.min1.thm1
2017-02-06 12:44
1.3K
fvaluat1__1428_17.min1.thm1
2017-02-06 12:44
1.3K
fvaluat1__1429_24.min1.thm1
2017-02-06 12:44
466
fvaluat1__1429_24.min1.thm1.tptp
2017-02-06 16:47
388
fvaluat1__1431_25.min1.thm1
2017-02-06 12:44
1.9K
fvaluat1__1432_31.min1.thm1
2017-02-06 12:44
1.3K
fvaluat1__1433_22.min1.thm1
2017-02-06 12:44
3.3K
fvaluat1__1434_19.min1.thm1
2017-02-06 12:44
605
fvaluat1__1434_19.min1.thm1.tptp
2017-02-06 16:47
540
fvaluat1__1435_13.min1.thm1
2017-02-06 12:44
1.7K
fvaluat1__1447_18.min1.thm1
2017-02-06 12:44
2.0K
fvaluat1__1450_15.min1.thm1
2017-02-06 12:44
1.7K
fvaluat1__1464_45.min1.thm1
2017-02-06 12:44
2.0K
fvaluat1__1465_15.min1.thm1
2017-02-06 12:44
1.7K
fvaluat1__1479_20.min1.thm1
2017-02-06 12:44
2.1K
fvaluat1__1480_26.min1.thm1
2017-02-06 12:44
1.4K
fvaluat1__1481_17.min1.thm1
2017-02-06 12:44
2.0K
fvaluat1__1492_11.min1.thm1
2017-02-06 12:44
131
fvaluat1__1507_20.min1.thm1
2017-02-06 12:44
437
fvaluat1__1509_15.min1.thm1
2017-02-06 12:44
1.0K
fvaluat1__1522_16.min1.thm1
2017-02-06 12:44
939
fvaluat1__1533_26.min1.thm1
2017-02-06 12:44
2.2K
fvaluat1__1541_21.min1.thm1
2017-02-06 12:44
1.3K
fvaluat1__1562_28.min1.thm1
2017-02-06 12:44
793
fvaluat1__1582_37.min1.thm1
2017-02-06 12:44
2.1K
fvaluat1__1603_38.min1.thm1
2017-02-06 12:44
2.2K
fvaluat1__1605_20.min1.thm1
2017-02-06 12:44
2.5K
fvaluat1__1606_39.min1.thm1
2017-02-06 12:44
1.6K
fvaluat1__1629_56.min1.thm1
2017-02-06 12:44
788
fvaluat1__1640_61.min1.thm1
2017-02-06 12:44
423
fvaluat1__1640_61.min1.thm1.tptp
2017-02-06 16:47
333
fvaluat1__1647_58.min1.thm1
2017-02-06 12:44
800
fvaluat1__1654_66.min1.thm1
2017-02-06 12:44
950
fvaluat1__1664_50.min1.thm1
2017-02-06 12:44
650
fvaluat1__1672_50.min1.thm1
2017-02-06 12:44
650
fvaluat1__1676_18.min1.thm1
2017-02-06 12:44
535
fvaluat1__1694_58.min1.thm1
2017-02-06 12:44
800
fvaluat1__1701_66.min1.thm1
2017-02-06 12:44
950
fvaluat1__1711_66.min1.thm1
2017-02-06 12:44
950
fvaluat1__1728_13.min1.thm1
2017-02-06 12:44
2.1K
fvaluat1__1738_53.min1.thm1
2017-02-06 12:44
2.5K
fvaluat1__1739_67.min1.thm1
2017-02-06 12:44
2.6K
fvaluat1__1740_16.min1.thm1
2017-02-06 12:44
1.2K
fvaluat1__1748_58.min1.thm1
2017-02-06 12:44
2.5K
fvaluat1__1749_19.min1.thm1
2017-02-06 12:44
2.6K
fvaluat1__1762_50.min1.thm1
2017-02-06 12:44
1.9K
fvaluat1__1763_53.min1.thm1
2017-02-06 12:44
2.5K
fvaluat1__1780_27.min1.thm1
2017-02-06 12:44
2.5K
fvaluat1__1781_48.min1.thm1
2017-02-06 12:44
2.7K
fvaluat1__1799_27.min1.thm1
2017-02-06 12:44
2.5K
fvaluat1__1800_50.min1.thm1
2017-02-06 12:44
2.7K
fvaluat1__1806_55.min1.thm1
2017-02-06 12:44
2.9K
fvaluat1__1809_55.min1.thm1
2017-02-06 12:44
2.9K
fvaluat1__1824_17.min1.thm1
2017-02-06 12:44
1.6K
fvaluat1__1826_17.min1.thm1
2017-02-06 12:44
1.5K
fvaluat1__1828_24.min1.thm1
2017-02-06 12:44
2.9K
fvaluat1__1838_18.min1.thm1
2017-02-06 12:44
2.1K
fvaluat1__1839_14.min1.thm1
2017-02-06 12:44
1.8K
fvaluat1__1849_18.min1.thm1
2017-02-06 12:44
2.3K
fvaluat1__1850_14.min1.thm1
2017-02-06 12:44
1.8K
fvaluat1__1863_48.min1.thm1
2017-02-06 12:44
1.6K
fvaluat1__1864_16.min1.thm1
2017-02-06 12:44
2.9K
fvaluat1__1868_19.min1.thm1
2017-02-06 12:44
3.0K
fvaluat1__1882_39.min1.thm1
2017-02-06 12:44
1.4K
fvaluat1__1883_50.min1.thm1
2017-02-06 12:44
3.4K
fvaluat1__1890_43.min1.thm1
2017-02-06 12:44
929
fvaluat1__1897_16.min1.thm1
2017-02-06 12:44
566
fvaluat1__1897_16.min1.thm1.tptp
2017-02-06 16:47
489
fvaluat1__1903_30.min1.thm1
2017-02-06 12:44
2.4K
fvaluat1__1917_42.min1.thm1
2017-02-06 12:44
2.5K
fvaluat1__1922_53.min1.thm1
2017-02-06 12:44
1.5K
fvaluat1__1925_49.min1.thm1
2017-02-06 12:44
1.8K
fvaluat1__1926_43.min1.thm1
2017-02-06 12:44
946
fvaluat1__1934_16.min1.thm1
2017-02-06 12:44
1.6K
fvaluat1__1938_16.min1.thm1
2017-02-06 12:44
1.6K
fvaluat1__1949_16.min1.thm1
2017-02-06 12:44
1.6K
fvaluat1__1950_29.min1.thm1
2017-02-06 12:44
2.3K
fvaluat1__1951_49.min1.thm1
2017-02-06 12:44
676
fvaluat1__1954_20.min1.thm1
2017-02-06 12:44
2.8K
fvaluat1__1961_14.min1.thm1
2017-02-06 12:44
1.6K
fvaluat1__1962_27.min1.thm1
2017-02-06 12:44
2.3K
fvaluat1__1963_47.min1.thm1
2017-02-06 12:44
668
fvaluat1__1966_18.min1.thm1
2017-02-06 12:44
2.8K
fvaluat1__1969_16.min1.thm1
2017-02-06 12:44
1.2K
fvaluat1__1983_50.min1.thm1
2017-02-06 12:44
1.3K
fvaluat1__1986_56.min1.thm1
2017-02-06 12:44
1.7K
fvaluat1__1987_19.min1.thm1
2017-02-06 12:44
443
fvaluat1__1997_55.min1.thm1
2017-02-06 12:44
1.3K
fvaluat1__1998_19.min1.thm1
2017-02-06 12:44
1.4K
fvaluat1__2007_50.min1.thm1
2017-02-06 12:44
1.3K
fvaluat1__2009_56.min1.thm1
2017-02-06 12:44
2.0K
fvaluat1__2029_27.min1.thm1
2017-02-06 12:44
2.3K
fvaluat1__2031_57.min1.thm1
2017-02-06 12:44
2.0K
fvaluat1__2034_22.min1.thm1
2017-02-06 12:44
1.2K
fvaluat1__2036_26.min1.thm1
2017-02-06 12:44
864
fvaluat1__2039_19.min1.thm1
2017-02-06 12:44
3.2K
fvaluat1__2050_36.min1.thm1
2017-02-06 12:44
2.0K
fvaluat1__2065_36.min1.thm1
2017-02-06 12:44
2.0K
fvaluat1__2066_38.min1.thm1
2017-02-06 12:44
1.6K
fvaluat1__2074_24.min1.thm1
2017-02-06 12:44
1.9K
fvaluat1__2076_21.min1.thm1
2017-02-06 12:44
861
fvaluat1__2089_23.min1.thm1
2017-02-06 12:44
737
fvaluat1__2089_23.min1.thm1.tptp
2017-02-06 16:47
669
fvaluat1__2094_25.min1.thm1
2017-02-06 12:44
1.9K
fvaluat1__2119_57.min1.thm1
2017-02-06 12:44
804
fvaluat1__2120_50.min1.thm1
2017-02-06 12:44
1.6K
fvaluat1__2121_18.min1.thm1
2017-02-06 12:44
2.9K
fvaluat1__2129_10.min1.thm1
2017-02-06 12:44
2.2K
fvaluat1__2132_16.min1.thm1
2017-02-06 12:44
1.9K
fvaluat1__2142_31.min1.thm1
2017-02-06 12:44
2.9K
fvaluat1__2143_24.min1.thm1
2017-02-06 12:44
2.7K
fvaluat1__2146_31.min1.thm1
2017-02-06 12:44
2.5K
fvaluat1__2149_15.min1.thm1
2017-02-06 12:44
2.9K
fvaluat1__2164_38.min1.thm1
2017-02-06 12:44
953
fvaluat1__2166_35.min1.thm1
2017-02-06 12:44
1.7K
fvaluat1__2204_6.min1.thm1
2017-02-06 12:44
1.2K
fvaluat1__2205_16.min1.thm1
2017-02-06 12:44
405
fvaluat1__2216_27.min1.thm1
2017-02-06 12:44
1.2K
fvaluat1__2234_27.min1.thm1
2017-02-06 12:44
1.6K
fvaluat1__2257_45.min1.thm1
2017-02-06 12:44
2.2K
fvaluat1__2258_31.min1.thm1
2017-02-06 12:44
2.0K
fvaluat1__2278_20.min1.thm1
2017-02-06 12:44
1.6K
fvaluat1__2290_52.min1.thm1
2017-02-06 12:44
338
fvaluat1__2291_37.min1.thm1
2017-02-06 12:44
925
fvaluat1__2304_39.min1.thm1
2017-02-06 12:44
1.4K
fvaluat1__2305_25.min1.thm1
2017-02-06 12:44
1.0K
fvaluat1__2306_19.min1.thm1
2017-02-06 12:44
1.7K
fvaluat1__2317_40.min1.thm1
2017-02-06 12:44
1.8K
fvaluat1__2353_43.min1.thm1
2017-02-06 12:44
715
fvaluat1__2353_43.min1.thm1.tptp
2017-02-06 16:47
636
fvaluat1__2356_50.min1.thm1
2017-02-06 12:44
422
fvaluat1__2356_50.min1.thm1.tptp
2017-02-06 16:47
344
fvaluat1__2357_41.min1.thm1
2017-02-06 12:44
1.4K
fvaluat1__2360_8.min1.thm1
2017-02-06 12:44
1.8K
fvaluat1__2367_53.min1.thm1
2017-02-06 12:44
2.6K
fvaluat1__2368_19.min1.thm1
2017-02-06 12:44
1.7K
fvaluat1__2379_33.min1.thm1
2017-02-06 12:44
1.3K
fvaluat1__2380_17.min1.thm1
2017-02-06 12:44
1.3K
fvaluat1__2381_24.min1.thm1
2017-02-06 12:44
472
fvaluat1__2381_24.min1.thm1.tptp
2017-02-06 16:47
394
fvaluat1__2382_30.min1.thm1
2017-02-06 12:44
1.9K
fvaluat1__2383_22.min1.thm1
2017-02-06 12:44
3.4K
fvaluat1__2384_19.min1.thm1
2017-02-06 12:44
615
fvaluat1__2384_19.min1.thm1.tptp
2017-02-06 16:47
550
fvaluat1__2393_42.min1.thm1
2017-02-06 12:44
2.9K
fvaluat1__2394_49.min1.thm1
2017-02-06 12:44
1.8K
fvaluat1__2405_39.min1.thm1
2017-02-06 12:44
1.4K
fvaluat1__2416_28.min1.thm1
2017-02-06 12:44
1.3K
fvaluat1__2424_46.min1.thm1
2017-02-06 12:44
1.6K
fvaluat1__2439_39.min1.thm1
2017-02-06 12:44
813
fvaluat1__2439_39.min1.thm1.tptp
2017-02-06 16:47
738
fvaluat1__2443_21.min1.thm1
2017-02-06 12:44
442
fvaluat1__2443_21.min1.thm1.tptp
2017-02-06 16:47
376
fvaluat1__2444_24.min1.thm1
2017-02-06 12:44
2.0K
fvaluat1__2456_29.min1.thm1
2017-02-06 12:44
2.9K
fvaluat1__2457_51.min1.thm1
2017-02-06 12:44
2.8K
fvaluat1__2465_24.min1.thm1
2017-02-06 12:44
2.0K
fvaluat1__2466_24.min1.thm1
2017-02-06 12:44
498
fvaluat1__2468_16.min1.thm1
2017-02-06 12:44
482
fvaluat1__2480_13.min1.thm1
2017-02-06 12:44
284
fvaluat1__2487_57.min1.thm1
2017-02-06 12:44
1.6K
fvaluat1__2488_29.min1.thm1
2017-02-06 12:44
2.9K
fvaluat1__2507_17.min1.thm1
2017-02-06 12:44
1.7K
fvaluat1__2515_15.min1.thm1
2017-02-06 12:44
1.7K
fvaluat1__2528_42.min1.thm1
2017-02-06 12:44
2.9K
fvaluat1__2529_44.min1.thm1
2017-02-06 12:44
1.3K
fvaluat1__2531_6.min1.thm1
2017-02-06 12:44
2.8K
fvaluat1__2532_23.min1.thm1
2017-02-06 12:44
3.2K
fvaluat1__2534_6.min1.thm1
2017-02-06 12:44
2.8K
fvaluat1__2535_24.min1.thm1
2017-02-06 12:44
3.2K
fvaluat1__2536_27.min1.thm1
2017-02-06 12:44
2.5K
fvaluat1__2537_24.min1.thm1
2017-02-06 12:44
2.9K
fvaluat1__2538_26.min1.thm1
2017-02-06 12:44
2.5K
fvaluat1__2539_23.min1.thm1
2017-02-06 12:44
2.9K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80