Run
9199747

Run 9199747

Task 9985 (Supervised Classification) first-order-theorem-proving Uploaded 03-05-2018 by Jan van Rijn
0 likes downloaded by 0 people 0 issues 0 downvotes , 0 total downloads
Issue #Downvotes for this reason By


Flow

Result files

xml
Description

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

arff
Predictions

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

17 Evaluation measures

0.6277 ± 0.0166
Per class
Cross-validation details (10-fold Crossvalidation)
0.1408 ± 0.0183
Per class
Cross-validation details (10-fold Crossvalidation)
0.0607 ± 0.0149
Cross-validation details (10-fold Crossvalidation)
358.7332 ± 11.208
Cross-validation details (10-fold Crossvalidation)
0.2753 ± 0.0045
Cross-validation details (10-fold Crossvalidation)
0.2508 ± 0.0001
Cross-validation details (10-fold Crossvalidation)
6118
Per class
Cross-validation details (10-fold Crossvalidation)
0.3817 ± 0.0502
Per class
Cross-validation details (10-fold Crossvalidation)
0.1731 ± 0.0131
Cross-validation details (10-fold Crossvalidation)
2.3005
Cross-validation details (10-fold Crossvalidation)
0.1731 ± 0.0131
Per class
Cross-validation details (10-fold Crossvalidation)
1.0977 ± 0.0179
Cross-validation details (10-fold Crossvalidation)
0.3541 ± 0.0002
Cross-validation details (10-fold Crossvalidation)
0.5085 ± 0.0047
Cross-validation details (10-fold Crossvalidation)
1.4363 ± 0.0132
Cross-validation details (10-fold Crossvalidation)