Run
10416960

Run 10416960

Task 9985 (Supervised Classification) first-order-theorem-proving Uploaded 12-10-2019 by Jan van Rijn
0 likes downloaded by 0 people 0 issues 0 downvotes , 0 total downloads
  • ReproducibleBenchmark weka weka_3.4.3
Issue #Downvotes for this reason By


Flow

weka.classifiers.meta.MultiSearch(weka.classifiers.meta.multisearch.RandomS earch,weka.classifiers.meta.FilteredClassifier(weka.filters.MultiFilter(wek a.filters.unsupervised.attribute.ReplaceMissingValues,weka.filters.unsuperv ised.attribute.RemoveUseless,weka.filters.unsupervised.attribute.Normalize) ,weka.classifiers.trees.RandomForest))(1)Weka implementation.
weka.classifiers.meta.multisearch.RandomSearch(1)_sample-size["100.0"]
weka.classifiers.meta.multisearch.RandomSearch(1)_num-folds["3"]
weka.classifiers.meta.multisearch.RandomSearch(1)_test-set["."]
weka.classifiers.meta.multisearch.RandomSearch(1)_num-iterations["50"]
weka.classifiers.meta.multisearch.RandomSearch(1)_num-slots["1"]
weka.classifiers.meta.multisearch.RandomSearch(1)_D["false"]
weka.filters.MultiFilter(weka.filters.unsupervised.attribute.ReplaceMissingValues,weka.filters.unsupervised.attribute.RemoveUseless,weka.filters.unsupervised.attribute.Normalize)(1)_F["weka.filters.unsupervised.attribute.ReplaceMissingValues","weka.filters.unsupervised.attribute.RemoveUseless","weka.filters.unsupervised.attribute.Normalize"]
weka.filters.MultiFilter(weka.filters.unsupervised.attribute.ReplaceMissingValues,weka.filters.unsupervised.attribute.RemoveUseless,weka.filters.unsupervised.attribute.Normalize)(1)_output-debug-info["false"]
weka.filters.MultiFilter(weka.filters.unsupervised.attribute.ReplaceMissingValues,weka.filters.unsupervised.attribute.RemoveUseless,weka.filters.unsupervised.attribute.Normalize)(1)_-do-not-check-capabilities["false"]
weka.filters.unsupervised.attribute.RemoveUseless(1)_M["99.0"]
weka.filters.unsupervised.attribute.Normalize(1)_S["1.0"]
weka.filters.unsupervised.attribute.Normalize(1)_T["0.0"]
weka.classifiers.meta.MultiSearch(weka.classifiers.meta.multisearch.RandomSearch,weka.classifiers.meta.FilteredClassifier(weka.filters.MultiFilter(weka.filters.unsupervised.attribute.ReplaceMissingValues,weka.filters.unsupervised.attribute.RemoveUseless,weka.filters.unsupervised.attribute.Normalize),weka.classifiers.trees.RandomForest))(1)_E["ACC"]
weka.classifiers.meta.MultiSearch(weka.classifiers.meta.multisearch.RandomSearch,weka.classifiers.meta.FilteredClassifier(weka.filters.MultiFilter(weka.filters.unsupervised.attribute.ReplaceMissingValues,weka.filters.unsupervised.attribute.RemoveUseless,weka.filters.unsupervised.attribute.Normalize),weka.classifiers.trees.RandomForest))(1)_class-label["1"]
weka.classifiers.meta.MultiSearch(weka.classifiers.meta.multisearch.RandomSearch,weka.classifiers.meta.FilteredClassifier(weka.filters.MultiFilter(weka.filters.unsupervised.attribute.ReplaceMissingValues,weka.filters.unsupervised.attribute.RemoveUseless,weka.filters.unsupervised.attribute.Normalize),weka.classifiers.trees.RandomForest))(1)_search["weka.core.setupgenerator.MathParameter -property classifier.numFeatures -min 0.1 -max 0.9 -step 0.1 -base 1.0 -expression I"]
weka.classifiers.meta.MultiSearch(weka.classifiers.meta.multisearch.RandomSearch,weka.classifiers.meta.FilteredClassifier(weka.filters.MultiFilter(weka.filters.unsupervised.attribute.ReplaceMissingValues,weka.filters.unsupervised.attribute.RemoveUseless,weka.filters.unsupervised.attribute.Normalize),weka.classifiers.trees.RandomForest))(1)_algorithm["weka.classifiers.meta.multisearch.RandomSearch"]
weka.classifiers.meta.MultiSearch(weka.classifiers.meta.multisearch.RandomSearch,weka.classifiers.meta.FilteredClassifier(weka.filters.MultiFilter(weka.filters.unsupervised.attribute.ReplaceMissingValues,weka.filters.unsupervised.attribute.RemoveUseless,weka.filters.unsupervised.attribute.Normalize),weka.classifiers.trees.RandomForest))(1)_log-file["/home/vanrijn/schedule/study14"]
weka.classifiers.meta.MultiSearch(weka.classifiers.meta.multisearch.RandomSearch,weka.classifiers.meta.FilteredClassifier(weka.filters.MultiFilter(weka.filters.unsupervised.attribute.ReplaceMissingValues,weka.filters.unsupervised.attribute.RemoveUseless,weka.filters.unsupervised.attribute.Normalize),weka.classifiers.trees.RandomForest))(1)_S["1"]
weka.classifiers.meta.MultiSearch(weka.classifiers.meta.multisearch.RandomSearch,weka.classifiers.meta.FilteredClassifier(weka.filters.MultiFilter(weka.filters.unsupervised.attribute.ReplaceMissingValues,weka.filters.unsupervised.attribute.RemoveUseless,weka.filters.unsupervised.attribute.Normalize),weka.classifiers.trees.RandomForest))(1)_W["weka.classifiers.meta.FilteredClassifier"]
weka.classifiers.meta.MultiSearch(weka.classifiers.meta.multisearch.RandomSearch,weka.classifiers.meta.FilteredClassifier(weka.filters.MultiFilter(weka.filters.unsupervised.attribute.ReplaceMissingValues,weka.filters.unsupervised.attribute.RemoveUseless,weka.filters.unsupervised.attribute.Normalize),weka.classifiers.trees.RandomForest))(1)_output-debug-info["false"]
weka.classifiers.meta.MultiSearch(weka.classifiers.meta.multisearch.RandomSearch,weka.classifiers.meta.FilteredClassifier(weka.filters.MultiFilter(weka.filters.unsupervised.attribute.ReplaceMissingValues,weka.filters.unsupervised.attribute.RemoveUseless,weka.filters.unsupervised.attribute.Normalize),weka.classifiers.trees.RandomForest))(1)_-do-not-check-capabilities["false"]
weka.classifiers.meta.FilteredClassifier(weka.filters.MultiFilter(weka.filters.unsupervised.attribute.ReplaceMissingValues,weka.filters.unsupervised.attribute.RemoveUseless,weka.filters.unsupervised.attribute.Normalize),weka.classifiers.trees.RandomForest)(1)_F["weka.filters.MultiFilter"]
weka.classifiers.meta.FilteredClassifier(weka.filters.MultiFilter(weka.filters.unsupervised.attribute.ReplaceMissingValues,weka.filters.unsupervised.attribute.RemoveUseless,weka.filters.unsupervised.attribute.Normalize),weka.classifiers.trees.RandomForest)(1)_doNotCheckForModifiedClassAttribute["false"]
weka.classifiers.meta.FilteredClassifier(weka.filters.MultiFilter(weka.filters.unsupervised.attribute.ReplaceMissingValues,weka.filters.unsupervised.attribute.RemoveUseless,weka.filters.unsupervised.attribute.Normalize),weka.classifiers.trees.RandomForest)(1)_S["1"]
weka.classifiers.meta.FilteredClassifier(weka.filters.MultiFilter(weka.filters.unsupervised.attribute.ReplaceMissingValues,weka.filters.unsupervised.attribute.RemoveUseless,weka.filters.unsupervised.attribute.Normalize),weka.classifiers.trees.RandomForest)(1)_W["weka.classifiers.trees.RandomForest"]
weka.classifiers.meta.FilteredClassifier(weka.filters.MultiFilter(weka.filters.unsupervised.attribute.ReplaceMissingValues,weka.filters.unsupervised.attribute.RemoveUseless,weka.filters.unsupervised.attribute.Normalize),weka.classifiers.trees.RandomForest)(1)_output-debug-info["false"]
weka.classifiers.meta.FilteredClassifier(weka.filters.MultiFilter(weka.filters.unsupervised.attribute.ReplaceMissingValues,weka.filters.unsupervised.attribute.RemoveUseless,weka.filters.unsupervised.attribute.Normalize),weka.classifiers.trees.RandomForest)(1)_-do-not-check-capabilities["false"]
weka.classifiers.trees.RandomForest(1)_P["100"]
weka.classifiers.trees.RandomForest(1)_O["false"]
weka.classifiers.trees.RandomForest(1)_store-out-of-bag-predictions["false"]
weka.classifiers.trees.RandomForest(1)_output-out-of-bag-complexity-statistics["false"]
weka.classifiers.trees.RandomForest(1)_print["false"]
weka.classifiers.trees.RandomForest(1)_attribute-importance["false"]
weka.classifiers.trees.RandomForest(1)_I["100"]
weka.classifiers.trees.RandomForest(1)_num-slots["1"]
weka.classifiers.trees.RandomForest(1)_K["0"]
weka.classifiers.trees.RandomForest(1)_M["1.0"]
weka.classifiers.trees.RandomForest(1)_V["0.001"]
weka.classifiers.trees.RandomForest(1)_S["1"]
weka.classifiers.trees.RandomForest(1)_U["false"]
weka.classifiers.trees.RandomForest(1)_B["false"]
weka.classifiers.trees.RandomForest(1)_output-debug-info["false"]
weka.classifiers.trees.RandomForest(1)_-do-not-check-capabilities["false"]

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.

arff
Trace

ARFF file with the trace of all hyperparameter settings tried during optimization, and their performance.

18 Evaluation measures

Area under ROC curve
0.8663 ± 0.009
Per class
Cross-validation details (10-fold Crossvalidation)
F measure
0.6136 ± 0.0184
Per class
Cross-validation details (10-fold Crossvalidation)
Kappa
0.4879 ± 0.0242
Cross-validation details (10-fold Crossvalidation)
KB relative information score
0.4469 ± 0.0144
Cross-validation details (10-fold Crossvalidation)
Mean absolute error
0.1611 ± 0.003
Cross-validation details (10-fold Crossvalidation)
Mean prior absolute error
0.2508 ± 0.0001
Cross-validation details (10-fold Crossvalidation)
Number of instances
6118
Per class
Cross-validation details (10-fold Crossvalidation)
OS information
['Oracle Corporation', '1.8.0_222', 'amd64', 'Linux', '3.10.0-1062.1.1.el7.x86_64']
Precision
0.6084 ± 0.0189
Per class
Cross-validation details (10-fold Crossvalidation)
Predictive accuracy
0.6242 ± 0.0172
Cross-validation details (10-fold Crossvalidation)
Prior entropy
2.3 ± 0.0025
Cross-validation details (10-fold Crossvalidation)
Recall
0.6242 ± 0.0172
Per class
Cross-validation details (10-fold Crossvalidation)
Relative absolute error
0.6425 ± 0.012
Cross-validation details (10-fold Crossvalidation)
Root mean prior squared error
0.3541 ± 0.0002
Cross-validation details (10-fold Crossvalidation)
Root mean squared error
0.2913 ± 0.006
Cross-validation details (10-fold Crossvalidation)
Root relative squared error
0.8227 ± 0.0168
Cross-validation details (10-fold Crossvalidation)