Run
1812647

Run 1812647

Task 125902 (Learning Curve) first-order-theorem-proving Uploaded 17-08-2016 by Jan van Rijn
0 likes downloaded by 0 people 0 issues 0 downvotes , 0 total downloads
Issue #Downvotes for this reason By


Flow

weka.HyperPipes(2)Weka implementation of HyperPipes

Result files

xml
Description

XML file describing the run, including user-defined evaluation measures.

model
Model readable

A human-readable description of the model that was built.

model
Model serialized

A serialized description of the model that can be read by the tool that generated it.

arff
Predictions

ARFF file with instance-level predictions generated by the model.

22 Evaluation measures

0.5381 ± 0.008
Per class
0.1114 ± 0.012
Per class
0.0257 ± 0.0108
177.9157 ± 0.2526
0.2776 ± 0
0.2508 ± 0.0001
6118
Per class
[Oracle Corporation, 1.8.0_91, amd64, Linux, 3.10.0-327.22.2.el7.x86_64]
0.4671 ± 0.0657
Per class
0.2033 ± 0.0104
2.3005
0.2033 ± 0.0104
Per class
1.1071 ± 0.0003
0.3541 ± 0.0001
0.3725 ± 0
1.052 ± 0.0003
1357.6438
30
20
10