Run
7932193

Run 7932193

Task 9985 (Supervised Classification) first-order-theorem-proving Uploaded 19-09-2017 by mehdi cherti
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.803 ± 0.0103
Per class
Cross-validation details (10-fold Crossvalidation)
0.4488 ± 0.0101
Per class
Cross-validation details (10-fold Crossvalidation)
0.2643 ± 0.013
Cross-validation details (10-fold Crossvalidation)
1407.4084 ± 2.218
Cross-validation details (10-fold Crossvalidation)
0.215 ± 0.001
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.4985 ± 0.0241
Per class
Cross-validation details (10-fold Crossvalidation)
0.5145 ± 0.0066
Cross-validation details (10-fold Crossvalidation)
2.3005
Cross-validation details (10-fold Crossvalidation)
0.5145 ± 0.0066
Per class
Cross-validation details (10-fold Crossvalidation)
0.8574 ± 0.004
Cross-validation details (10-fold Crossvalidation)
0.3541 ± 0.0002
Cross-validation details (10-fold Crossvalidation)
0.3207 ± 0.0014
Cross-validation details (10-fold Crossvalidation)
0.9058 ± 0.0038
Cross-validation details (10-fold Crossvalidation)