Run
10560010

Run 10560010

Task 9985 (Supervised Classification) first-order-theorem-proving Uploaded 13-08-2021 by Sergey Redyuk
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.

18 Evaluation measures

0.7247 ± 0.0145
Per class
Cross-validation details (10-fold Crossvalidation)
0.5587 ± 0.0207
Per class
Cross-validation details (10-fold Crossvalidation)
0.4128 ± 0.0278
Cross-validation details (10-fold Crossvalidation)
0.4272 ± 0.0248
Cross-validation details (10-fold Crossvalidation)
0.1483 ± 0.0069
Cross-validation details (10-fold Crossvalidation)
0.2508 ± 0.0001
Cross-validation details (10-fold Crossvalidation)
0.5567 ± 0.0211
Cross-validation details (10-fold Crossvalidation)
6118
Per class
Cross-validation details (10-fold Crossvalidation)
0.5611 ± 0.0204
Per class
Cross-validation details (10-fold Crossvalidation)
0.5567 ± 0.0211
Cross-validation details (10-fold Crossvalidation)
2.3 ± 0.0025
Cross-validation details (10-fold Crossvalidation)
0.5915 ± 0.0275
Cross-validation details (10-fold Crossvalidation)
0.3541 ± 0.0002
Cross-validation details (10-fold Crossvalidation)
0.3809 ± 0.009
Cross-validation details (10-fold Crossvalidation)
1.0758 ± 0.0253
Cross-validation details (10-fold Crossvalidation)
0.4607 ± 0.0239
Cross-validation details (10-fold Crossvalidation)