Index of /~mptp/1147/MPTP2/ilp0/realset1
Name
Last modified
Size
Description
Parent Directory
-
realset1__38_25.min1.thm1
2017-02-06 12:46
421
realset1__40_22.min1.thm1
2017-02-06 12:46
1.8K
realset1__42_35.min1.thm1
2017-02-06 12:46
1.2K
realset1__43_14.min1.thm1
2017-02-06 12:46
855
realset1__55_10.min1.thm1
2017-02-06 12:46
235
realset1__56_40.min1.thm1
2017-02-06 12:46
342
realset1__56_40.min1.thm1.tptp
2017-02-06 16:47
270
realset1__58_18.min1.thm1
2017-02-06 12:46
834
realset1__67_11.min1.thm1
2017-02-06 12:46
130
realset1__74_11.min1.thm1
2017-02-06 12:46
444
realset1__81_11.min1.thm1
2017-02-06 12:46
520
realset1__89_25.min1.thm1
2017-02-06 12:46
421
realset1__90_25.min1.thm1
2017-02-06 12:46
1.8K
realset1__98_22.min1.thm1
2017-02-06 12:46
1.1K
realset1__99_19.min1.thm1
2017-02-06 12:46
1.3K
realset1__109_14.min1.thm1
2017-02-06 12:46
1.1K
realset1__121_15.min1.thm1
2017-02-06 12:46
298
realset1__121_15.min1.thm1.tptp
2017-02-06 16:47
212
realset1__124_13.min1.thm1
2017-02-06 12:46
579
realset1__125_19.min1.thm1
2017-02-06 12:46
347
realset1__125_19.min1.thm1.tptp
2017-02-06 16:47
279
realset1__126_35.min1.thm1
2017-02-06 12:46
1.0K
realset1__130_14.min1.thm1
2017-02-06 12:46
383
realset1__130_14.min1.thm1.tptp
2017-02-06 16:47
311
realset1__131_25.min1.thm1
2017-02-06 12:46
534
realset1__133_14.min1.thm1
2017-02-06 12:46
301
realset1__133_14.min1.thm1.tptp
2017-02-06 16:47
224
realset1__134_24.min1.thm1
2017-02-06 12:46
288
realset1__136_18.min1.thm1
2017-02-06 12:46
379
realset1__136_18.min1.thm1.tptp
2017-02-06 16:47
302
realset1__138_16.min1.thm1
2017-02-06 12:46
237
realset1__139_16.min1.thm1
2017-02-06 12:46
699
realset1__140_14.min1.thm1
2017-02-06 12:46
268
realset1__141_25.min1.thm1
2017-02-06 12:46
522
realset1__142_17.min1.thm1
2017-02-06 12:46
384
realset1__142_17.min1.thm1.tptp
2017-02-06 16:47
295
realset1__154_28.min1.thm1
2017-02-06 12:46
1.1K
realset1__156_29.min1.thm1
2017-02-06 12:46
871
realset1__157_28.min1.thm1
2017-02-06 12:46
610
realset1__158_34.min1.thm1
2017-02-06 12:46
963
realset1__159_19.min1.thm1
2017-02-06 12:46
1.5K
realset1__161_14.min1.thm1
2017-02-06 12:46
468
realset1__171_13.min1.thm1
2017-02-06 12:46
131
realset1__188_16.min1.thm1
2017-02-06 12:46
515
realset1__188_16.min1.thm1.tptp
2017-02-06 16:47
473
realset1__189_20.min1.thm1
2017-02-06 12:46
719
realset1__192_14.min1.thm1
2017-02-06 12:46
464
realset1__201_14.min1.thm1
2017-02-06 12:46
816
realset1__201_14.min1.thm1.tptp
2017-02-06 16:47
766
realset1__211_25.min1.thm1
2017-02-06 12:46
425
realset1__212_25.min1.thm1
2017-02-06 12:46
1.9K
realset1__214_27.min1.thm1
2017-02-06 12:46
1.3K
realset1__220_22.min1.thm1
2017-02-06 12:46
1.3K
realset1__221_19.min1.thm1
2017-02-06 12:46
1.2K
realset1__232_14.min1.thm1
2017-02-06 12:46
915
realset1__241_14.min1.thm1
2017-02-06 12:46
934
realset1__241_14.min1.thm1.tptp
2017-02-06 16:47
890
realset1__251_20.min1.thm1
2017-02-06 12:46
1.4K
realset1__253_40.min1.thm1
2017-02-06 12:46
1.5K
realset1__259_28.min1.thm1
2017-02-06 12:46
1.6K
realset1__260_19.min1.thm1
2017-02-06 12:46
1.8K
realset1__271_14.min1.thm1
2017-02-06 12:46
2.2K
realset1__280_39.min1.thm1
2017-02-06 12:46
839
realset1__281_17.min1.thm1
2017-02-06 12:46
805
realset1__288_14.min1.thm1
2017-02-06 12:46
538
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80