Run
10416726

Run 10416726

Task 9985 (Supervised Classification) first-order-theorem-proving Uploaded 11-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.J48))(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.J48))(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.J48))(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.J48))(1)_search["weka.core.setupgenerator.MathParameter -property classifier.minNumObj -min 1.0 -max 20.0 -step 1.0 -base 1.0 -expression I","weka.core.setupgenerator.MathParameter -property classifier.confidenceFactor -min -4.0 -max -1.0 -step 1.0 -base 10.0 -expression pow(BASE,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.J48))(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.J48))(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.J48))(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.J48))(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.J48))(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.J48))(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.J48)(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.J48)(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.J48)(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.J48)(1)_W["weka.classifiers.trees.J48"]
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.J48)(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.J48)(1)_-do-not-check-capabilities["false"]
weka.classifiers.trees.J48(1)_U["false"]
weka.classifiers.trees.J48(1)_O["false"]
weka.classifiers.trees.J48(1)_C["0.25"]
weka.classifiers.trees.J48(1)_M["2"]
weka.classifiers.trees.J48(1)_R["false"]
weka.classifiers.trees.J48(1)_B["false"]
weka.classifiers.trees.J48(1)_S["false"]
weka.classifiers.trees.J48(1)_L["false"]
weka.classifiers.trees.J48(1)_A["false"]
weka.classifiers.trees.J48(1)_J["false"]
weka.classifiers.trees.J48(1)_-doNotMakeSplitPointActualValue["false"]
weka.classifiers.trees.J48(1)_output-debug-info["false"]
weka.classifiers.trees.J48(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.7527 ± 0.0107
Per class
Cross-validation details (10-fold Crossvalidation)
F measure
0.5534 ± 0.0119
Per class
Cross-validation details (10-fold Crossvalidation)
Kappa
0.4077 ± 0.0156
Cross-validation details (10-fold Crossvalidation)
KB relative information score
0.3947 ± 0.0189
Cross-validation details (10-fold Crossvalidation)
Mean absolute error
0.1682 ± 0.0057
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.5467 ± 0.0125
Per class
Cross-validation details (10-fold Crossvalidation)
Predictive accuracy
0.5647 ± 0.0091
Cross-validation details (10-fold Crossvalidation)
Prior entropy
2.3 ± 0.0025
Cross-validation details (10-fold Crossvalidation)
Recall
0.5647 ± 0.0091
Per class
Cross-validation details (10-fold Crossvalidation)
Relative absolute error
0.6707 ± 0.0224
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.3403 ± 0.0066
Cross-validation details (10-fold Crossvalidation)
Root relative squared error
0.961 ± 0.0186
Cross-validation details (10-fold Crossvalidation)