Surefire Report

Summary

Tests	Errors	Failures	Skipped	Success Rate	Time
1017	0	0	0	100%	278.915

Note: failures are anticipated and checked for with assertions while errors are unanticipated.

Package List

[Summary] [Package List] [Test Cases]

Package	Tests	Errors	Failures	Skipped	Success Rate	Time
org.sat4j.pb.constraints	951	0	0	0	100%	271.856
org.sat4j.pb	66	0	0	0	100%	7.059

Note: package statistics are not computed recursively, they only sum up all of its testsuites numbers.

org.sat4j.pb.constraints

Class	Tests	Success Rate	Time
CounterPBConstrWithClauseCardConstrLearningTest	29	100%	4.899
PuebloWatchedPBConstrWithClauseLearningTest	29	100%	3.854
WatchedPBConstrWithPBConstrLearningTest	53	100%	44.422
MiniOPBClauseCardMinLearningTest	53	100%	19.879
CounterPBConstrWithClauseAtLeastConstrLearningTest	53	100%	15.552
PBCPMixedConstraintsResCPTest	29	100%	3.679
PBCPMinClauseCardConstrLearningTest	53	100%	19.661
CounterPBConstrWithClauseLearningTest	29	100%	5.221
CompetPBResLongWLMixedConstraintsObjectiveLearningTest	29	100%	5.525
PBCPLongMaxClauseCardConstrLearningTest	53	100%	16.623
PuebloWatchedPBConstrWithPBConstrLearningTest	53	100%	35.751
WatchedPBConstrWithClauseLearningTest	29	100%	3.982
CounterPBConstrOnRandomCardProblemsTest	31	100%	1.756
PBCPLongMinClauseCardConstrLearningTest	53	100%	18.609
CounterPBWithClauseCardConstrLearningReduceToClauseTest	29	100%	4.508
WatchedCardConstrOnRandomCardProblemsTest	31	100%	1.084
PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest	53	100%	15.602
PuebloWatchedPBConstrOnRandomCardProblemsTest	31	100%	1.007
PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest	53	100%	15.357
CompetMinPBResLongWLMixedConstraintsObjectiveLearningTest	29	100%	5.241
TestQuickExplainPB	7	100%	0.231
CompetPBResLongHTMixedConstraintsObjectiveLearningTest	29	100%	5.375
PBCPMaxClauseCardConstrLearningTest	53	100%	17.816
WatchedPBConstrOnRandomCardProblemsTest	31	100%	1.946
CounterPBConstrWithPBConstrLearningTest	29	100%	4.276

org.sat4j.pb

Class	Tests	Success Rate	Time
TestEclipseBug247567	1	100%	0.183
LexicoDecoratorPBTest	1	100%	0.148
TestEclipseBug275101	1	100%	0.679
TestQuickXplain	10	100%	0.232
TestDependencyHelper	21	100%	0.358
JsonPBReaderTest	8	100%	0.704
TestInsertionXplain	10	100%	0.249
TestDeletionXplain	10	100%	0.259
TestObjectiveFunction	1	100%	0.164
MikolasTest	1	100%	0.153
TestGlobalTimeoutForOptimalModelEnumeration	2	100%	3.93

Test Cases

[Summary] [Package List] [Test Cases]

CounterPBConstrWithClauseCardConstrLearningTest

	testncirc63	1.964
	testncirc83	1.173
	testncirc43	0.028
	testndata43	0.026
	testndata63	0.497
	testndata83	0.83
	testn9symml	0.072
	testnC17	0.001
	testnC432	0.065
	testnb1	0.006
	testnc8	0.031
	testncc	0.008
	testncm42a	0.006
	testncmb	0.026
	testnmux	0.018
	testnmyadder	0.04
	testPN4	0.002
	testPN45	0.002
	testPN5	0.002
	testPN56	0.002
	testPN6	0.002
	testPN67	0.003
	testPN7	0.006
	testPN78	0.003
	testPN8	0.009
	testPN89	0.002
	testPN9	0.004
	testPN910	0.003
	testPN34	0.004

PuebloWatchedPBConstrWithClauseLearningTest

	testncirc43	0.474
	testncirc63	0.873
	testncirc83	0.865
	testndata43	0.02
	testndata63	0.172
	testndata83	0.702
	testn9symml	0.053
	testnC17	0.002
	testnC432	0.061
	testnb1	0.002
	testnc8	0.016
	testncc	0.007
	testncm42a	0.006
	testncmb	0.022
	testnmux	0.015
	testnmyadder	0.038
	testPN45	0.001
	testPN5	0.002
	testPN56	0.001
	testPN6	0.005
	testPN67	0.002
	testPN7	0.058
	testPN78	0.002
	testPN8	0.07
	testPN89	0.003
	testPN9	0.324
	testPN910	0.003
	testPN34	0.001
	testPN4	0.001

WatchedPBConstrWithPBConstrLearningTest

	testncirc103	18.125
	testaloul3545	0.171
	testaloul4041	1.296
	testaloul4045	0.148
	testaloul4050	0.215
	testaloul5051	3.625
	testaloul5055	0.346
	testaloul5060	0.428
	testPN10	0.005
	testaloul1015	0.005
	testaloul1020	0.006
	testaloul1516	0.019
	testaloul1011	0.006
	testaloul3540	0.107
	testndata103	16.541
	testaloul1520	0.01
	testaloul1525	0.012
	testaloul2021	0.052
	testaloul2025	0.018
	testaloul2030	0.025
	testaloul3031	0.351
	testaloul3035	0.063
	testaloul3040	0.087
	testaloul3536	0.662
	testncm42a	0.004
	testncirc43	0.017
	testncirc63	0.163
	testncirc83	0.73
	testndata43	0.018
	testndata63	0.143
	testndata83	0.727
	testn9symml	0.042
	testnC17	0.001
	testnC432	0.081
	testnb1	0.002
	testnc8	0.014
	testncc	0.006
	testncmb	0.019
	testnmux	0.014
	testnmyadder	0.034
	testPN34	0.001
	testPN4	0
	testPN45	0.001
	testPN5	0.001
	testPN56	0.001
	testPN6	0.002
	testPN67	0.001
	testPN7	0.002
	testPN78	0.001
	testPN8	0.002
	testPN89	0.002
	testPN9	0.003
	testPN910	0.003

TestEclipseBug247567

testReserveVarsButUseLess

0.107

LexicoDecoratorPBTest

test

0.075

MiniOPBClauseCardMinLearningTest

	testaloul1011	0.443
	testaloul4041	2.128
	testaloul4045	0.317
	testaloul4050	0.384
	testaloul5051	3.906
	testaloul5055	0.384
	testaloul5060	0.412
	testncirc103	4.542
	testndata103	3.91
	testPN10	0.012
	testaloul1020	0.01
	testaloul1015	0.008
	testaloul1516	0.03
	testaloul1520	0.017
	testaloul1525	0.023
	testaloul2021	0.061
	testaloul2025	0.018
	testaloul2030	0.028
	testaloul3031	0.345
	testaloul3035	0.067
	testaloul3040	0.074
	testaloul3536	0.703
	testaloul3540	0.09
	testaloul3545	0.109
	testncirc43	0.029
	testncirc63	0.161
	testncirc83	0.6
	testndata43	0.019
	testndata63	0.167
	testndata83	0.568
	testn9symml	0.043
	testnC17	0.013
	testnC432	0.065
	testnb1	0.002
	testnc8	0.015
	testncc	0.006
	testncm42a	0.005
	testncmb	0.019
	testnmux	0.015
	testnmyadder	0.035
	testPN34	0.002
	testPN4	0.001
	testPN45	0.001
	testPN5	0.002
	testPN56	0.002
	testPN6	0.002
	testPN67	0.002
	testPN7	0.002
	testPN78	0.002
	testPN8	0.003
	testPN89	0.002
	testPN9	0.003
	testPN910	0.003

CounterPBConstrWithClauseAtLeastConstrLearningTest

	testaloul1011	0.306
	testncirc103	3.582
	testaloul1516	0.028
	testndata103	2.151
	testaloul3545	0.12
	testaloul4041	1.3
	testaloul4045	0.145
	testaloul4050	0.215
	testaloul5051	3.674
	testaloul5055	0.348
	testaloul5060	0.391
	testPN10	0.005
	testaloul1020	0.006
	testaloul1015	0.004
	testaloul1520	0.01
	testaloul1525	0.014
	testaloul2021	0.075
	testaloul2025	0.02
	testaloul2030	0.026
	testaloul3031	0.345
	testaloul3035	0.073
	testaloul3040	0.075
	testaloul3536	0.683
	testaloul3540	0.089
	testncm42a	0.008
	testncirc43	0.016
	testncirc63	0.172
	testncirc83	0.61
	testndata43	0.016
	testndata63	0.168
	testndata83	0.569
	testn9symml	0.048
	testnC17	0.012
	testnC432	0.055
	testnb1	0.002
	testnc8	0.016
	testncc	0.006
	testncmb	0.026
	testnmux	0.016
	testnmyadder	0.039
	testPN4	0.001
	testPN34	0.001
	testPN45	0.002
	testPN5	0.001
	testPN56	0.002
	testPN6	0.002
	testPN67	0.002
	testPN7	0.002
	testPN78	0.002
	testPN8	0.003
	testPN89	0.003
	testPN9	0.003
	testPN910	0.003

TestEclipseBug275101

testReserveVarsButUseLess

0.607

TestQuickXplain

	testExactlyConstraint	0.085
	testGlobalInconsistency	0.005
	testGlobalInconsistencyIndex	0.006
	testAlmostGlobalInconsistency	0.008
	testAlmostGlobalInconsistencyIndex	0.006
	testAlmostGlobalInconsistencyII	0.007
	testAlmostGlobalInconsistencyIIIndex	0.006
	testTheCaseOfTwoMUSes	0.006
	testEclipseTestCase	0.006
	testEclipseTestCase2	0.005

PBCPMixedConstraintsResCPTest

	testncirc83	1.982
	testndata43	0.053
	testndata63	0.204
	testncirc63	0.175
	testncirc43	0.018
	testndata83	0.672
	testn9symml	0.049
	testnC17	0.002
	testnC432	0.06
	testnb1	0.002
	testnc8	0.015
	testncc	0.007
	testncm42a	0.006
	testncmb	0.021
	testnmux	0.015
	testnmyadder	0.049
	testPN56	0.002
	testPN6	0.005
	testPN67	0.002
	testPN7	0.016
	testPN78	0.002
	testPN8	0.053
	testPN89	0.002
	testPN9	0.2
	testPN910	0.003
	testPN34	0.002
	testPN4	0.001
	testPN45	0.001
	testPN5	0.002

PBCPMinClauseCardConstrLearningTest

	testaloul3545	1.105
	testaloul4041	1.76
	testaloul4045	0.266
	testaloul4050	0.26
	testaloul5051	3.832
	testaloul5055	0.36
	testaloul5060	0.424
	testncirc103	4.396
	testndata103	3.89
	testPN10	0.019
	testaloul1011	0.015
	testaloul1516	0.025
	testaloul1015	0.009
	testaloul1020	0.014
	testaloul1520	0.018
	testaloul1525	0.023
	testaloul2021	0.059
	testaloul2025	0.02
	testaloul2030	0.033
	testaloul3031	0.359
	testaloul3035	0.066
	testaloul3040	0.069
	testaloul3536	0.695
	testaloul3540	0.092
	testncm42a	0.01
	testncirc43	0.017
	testncirc63	0.174
	testncirc83	0.599
	testndata43	0.019
	testndata63	0.158
	testndata83	0.576
	testn9symml	0.048
	testnC17	0.001
	testnC432	0.062
	testnb1	0.002
	testnc8	0.014
	testncc	0.006
	testncmb	0.02
	testnmux	0.014
	testnmyadder	0.035
	testPN34	0.003
	testPN4	0.001
	testPN45	0.001
	testPN5	0.001
	testPN56	0.002
	testPN6	0.002
	testPN67	0.001
	testPN7	0.002
	testPN78	0.001
	testPN8	0.002
	testPN89	0.002
	testPN9	0.003
	testPN910	0.002

TestDependencyHelper

	testDisjunctionExplanation	0.122
	testExplanationForASolution	0.008
	testObjectiveFunction	0.015
	testJunitExample	0.007
	testJunitSingletonObjectiveExample	0.005
	testEquivalency	0.005
	testDisjunction	0.006
	testCathyExamples	0.009
	testCardinalityConstraints	0.007
	testPseudoConstraints	0.006
	testPseudoConstraintsNegativeLiterals	0.005
	testIgnoreContiguousDuplicatedEntry	0.004
	testNonDuplicatedEntryNotCatched	0.004
	testLimitofHashFunction	0.004
	testVariablesIntroducedInNegativeFormFirst	0.005
	testVariablesIntroducedInNegativeFormFirstStoredCorrectly	0.005
	testThatWeCanRetrieveTheTruthValueOfNegatedObjects	0.004
	testImpliedObjects	0.006
	testBasicRequirementsDetailedExplanation	0.006
	testDisjunctions	0.005
	testBasicRequirements	0.006

JsonPBReaderTest

	testReadingSimplePseudoAtMost	0.382
	testReadingSimplePseudoExactly	0.047
	testReadingSimplePseudoAtLeastStrictly	0.029
	testReadingSimplePseudoAtMostStrictly	0.029
	testOrderofMixedConstraints	0.038
	testReadingSimplePseudoAtLeast	0.025
	testObjectiveFunctionMin	0.033
	testObjectiveFunctionMax	0.026

CounterPBConstrWithClauseLearningTest

	testncirc83	2.65
	testncirc63	0.288
	testncirc43	0.025
	testndata43	0.025
	testndata63	0.21
	testndata83	1.132
	testn9symml	0.054
	testnC17	0.001
	testnC432	0.076
	testnb1	0.006
	testnc8	0.018
	testncc	0.008
	testncm42a	0.006
	testncmb	0.035
	testnmux	0.019
	testnmyadder	0.047
	testPN5	0.008
	testPN56	0.004
	testPN6	0.007
	testPN67	0.003
	testPN7	0.056
	testPN78	0.004
	testPN8	0.072
	testPN89	0.004
	testPN9	0.386
	testPN910	0.008
	testPN34	0.003
	testPN4	0.002
	testPN45	0.002

CompetPBResLongWLMixedConstraintsObjectiveLearningTest

	testncirc43	0.503
	testncirc63	0.895
	testncirc83	0.823
	testndata43	0.032
	testndata63	0.141
	testndata83	0.6
	testn9symml	0.065
	testnC17	0.001
	testnC432	0.061
	testnb1	0.006
	testnc8	0.016
	testncc	0.007
	testncm42a	0.006
	testncmb	0.021
	testnmux	0.015
	testnmyadder	0.037
	testPN34	0.001
	testPN4	0.002
	testPN45	0.001
	testPN5	0.002
	testPN56	0.002
	testPN6	0.005
	testPN67	0.003
	testPN7	0.018
	testPN8	0.158
	testPN89	0.003
	testPN9	2.037
	testPN910	0.004
	testPN78	0.003

TestInsertionXplain

	testExactlyConstraint	0.091
	testGlobalInconsistency	0.007
	testGlobalInconsistencyIndex	0.007
	testAlmostGlobalInconsistency	0.009
	testAlmostGlobalInconsistencyIndex	0.007
	testAlmostGlobalInconsistencyII	0.007
	testAlmostGlobalInconsistencyIIIndex	0.006
	testTheCaseOfTwoMUSes	0.007
	testEclipseTestCase	0.007
	testEclipseTestCase2	0.007

PBCPLongMaxClauseCardConstrLearningTest

	testaloul3545	1.003
	testaloul4041	1.691
	testaloul4045	0.251
	testaloul4050	0.242
	testaloul5051	3.787
	testaloul5055	0.363
	testaloul5060	0.419
	testndata103	2.968
	testPN10	0.006
	testncirc103	2.206
	testaloul1011	0.005
	testaloul1015	0.007
	testaloul1020	0.006
	testaloul1516	0.018
	testaloul1520	0.03
	testaloul1525	0.013
	testaloul2021	0.06
	testaloul2025	0.024
	testaloul2030	0.029
	testaloul3031	0.37
	testaloul3035	0.071
	testaloul3040	0.074
	testaloul3536	0.728
	testaloul3540	0.1
	testncm42a	0.009
	testncirc43	0.027
	testncirc63	0.26
	testncirc83	0.629
	testndata43	0.017
	testndata63	0.24
	testndata83	0.619
	testn9symml	0.043
	testnC17	0.003
	testnC432	0.061
	testnb1	0.008
	testnc8	0.021
	testncc	0.01
	testncmb	0.02
	testnmux	0.016
	testnmyadder	0.045
	testPN34	0.005
	testPN4	0.007
	testPN45	0.001
	testPN5	0.001
	testPN56	0.004
	testPN6	0.006
	testPN67	0.004
	testPN7	0.003
	testPN78	0.002
	testPN8	0.003
	testPN89	0.003
	testPN9	0.004
	testPN910	0.003

PuebloWatchedPBConstrWithPBConstrLearningTest

	testaloul3545	1.081
	testaloul4041	1.694
	testaloul4045	0.267
	testaloul4050	0.241
	testaloul5051	3.621
	testaloul5055	0.373
	testaloul5060	0.417
	testncirc103	12.228
	testndata103	11.912
	testPN10	0.033
	testaloul1011	0.01
	testaloul1015	0.017
	testaloul1020	0.015
	testaloul1516	0.024
	testaloul1520	0.012
	testaloul1525	0.016
	testaloul2021	0.056
	testaloul2025	0.025
	testaloul2030	0.026
	testaloul3031	0.339
	testaloul3035	0.077
	testaloul3040	0.075
	testaloul3536	0.694
	testaloul3540	0.093
	testncm42a	0.008
	testncirc43	0.03
	testncirc63	0.167
	testncirc83	0.864
	testndata43	0.036
	testndata63	0.154
	testndata83	0.746
	testn9symml	0.045
	testnC17	0.008
	testnC432	0.079
	testnb1	0.009
	testnc8	0.043
	testncc	0.023
	testncmb	0.027
	testnmux	0.017
	testnmyadder	0.046
	testPN34	0.002
	testPN4	0.002
	testPN45	0.004
	testPN5	0.003
	testPN56	0.008
	testPN6	0.002
	testPN67	0.002
	testPN7	0.002
	testPN78	0.002
	testPN8	0.003
	testPN89	0.002
	testPN9	0.004
	testPN910	0.009

WatchedPBConstrWithClauseLearningTest

	testncirc63	1.287
	testncirc43	0.09
	testncirc83	0.895
	testndata43	0.019
	testndata63	0.144
	testndata83	0.717
	testn9symml	0.045
	testnC17	0.001
	testnC432	0.06
	testnb1	0.003
	testnc8	0.017
	testncc	0.006
	testncm42a	0.005
	testncmb	0.021
	testnmux	0.015
	testnmyadder	0.038
	testPN45	0.002
	testPN5	0.003
	testPN56	0.001
	testPN6	0.006
	testPN67	0.002
	testPN7	0.061
	testPN78	0.002
	testPN8	0.078
	testPN89	0.003
	testPN9	0.395
	testPN910	0.004
	testPN34	0.001
	testPN4	0.002

TestDeletionXplain

	testExactlyConstraint	0.112
	testGlobalInconsistency	0.004
	testGlobalInconsistencyIndex	0.005
	testAlmostGlobalInconsistency	0.006
	testAlmostGlobalInconsistencyIndex	0.005
	testAlmostGlobalInconsistencyII	0.005
	testAlmostGlobalInconsistencyIIIndex	0.006
	testTheCaseOfTwoMUSes	0.005
	testEclipseTestCase	0.006
	testEclipseTestCase2	0.005

CounterPBConstrOnRandomCardProblemsTest

	testRndDeg1	0.512
	testRndDeg4	0.144
	testRndDeg5	0.029
	testRndDeg6	0.014
	testRndDeg7	0.008
	testRndDeg8	0.002
	testRndDeg9	0.002
	testRndDeg10	0.001
	testRndDeg11	0.001
	testRndDeg12	0.001
	testRndDeg13	0.001
	testRndDeg14	0.001
	testRndDeg15	0.001
	testRndDeg16	0.001
	testRndDeg17	0.001
	testRndDeg18	0.002
	testRndDeg2	0.155
	testRndDeg3	0.113
	testPN34	0.003
	testPN4	0.003
	testPN45	0.004
	testPN5	0.008
	testPN56	0.004
	testPN6	0.032
	testPN67	0.005
	testPN7	0.103
	testPN78	0.005
	testPN8	0.103
	testPN89	0.004
	testPN9	0.425
	testPN910	0.004

PBCPLongMinClauseCardConstrLearningTest

	testaloul3545	0.983
	testaloul4041	1.619
	testaloul4045	0.252
	testaloul4050	0.247
	testaloul5051	3.682
	testaloul5055	0.369
	testaloul5060	0.418
	testndata103	4.188
	testPN10	0.007
	testncirc103	3.72
	testaloul1011	0.005
	testaloul1015	0.006
	testaloul1020	0.007
	testaloul1516	0.02
	testaloul1520	0.012
	testaloul1525	0.012
	testaloul2021	0.065
	testaloul2025	0.019
	testaloul2030	0.023
	testaloul3031	0.353
	testaloul3035	0.066
	testaloul3040	0.068
	testaloul3536	0.679
	testaloul3540	0.096
	testncm42a	0.006
	testncirc43	0.017
	testncirc63	0.144
	testncirc83	0.537
	testndata43	0.019
	testndata63	0.154
	testndata83	0.521
	testn9symml	0.051
	testnC17	0.001
	testnC432	0.057
	testnb1	0.002
	testnc8	0.017
	testncc	0.007
	testncmb	0.023
	testnmux	0.015
	testnmyadder	0.038
	testPN34	0.002
	testPN4	0.001
	testPN45	0.002
	testPN5	0.002
	testPN56	0.001
	testPN6	0.001
	testPN67	0.001
	testPN7	0.002
	testPN78	0.002
	testPN8	0.002
	testPN89	0.003
	testPN9	0.003
	testPN910	0.003

CounterPBWithClauseCardConstrLearningReduceToClauseTest

	testncirc43	0.612
	testncirc63	1.256
	testncirc83	1.066
	testndata43	0.027
	testndata63	0.389
	testndata83	0.773
	testn9symml	0.062
	testnC17	0.002
	testnC432	0.085
	testnb1	0.007
	testnc8	0.017
	testncc	0.01
	testncm42a	0.009
	testncmb	0.028
	testnmux	0.016
	testnmyadder	0.038
	testPN4	0.002
	testPN45	0.001
	testPN5	0.002
	testPN56	0.002
	testPN6	0.006
	testPN67	0.003
	testPN7	0.004
	testPN78	0.003
	testPN8	0.004
	testPN89	0.005
	testPN9	0.005
	testPN910	0.004
	testPN34	0.007

TestObjectiveFunction

testObjectiveFunctionWithAllWeightsToNull

0.093

WatchedCardConstrOnRandomCardProblemsTest

	testRndDeg6	0.131
	testRndDeg7	0.029
	testRndDeg8	0.005
	testRndDeg9	0.004
	testRndDeg10	0.002
	testRndDeg11	0.002
	testRndDeg12	0.002
	testRndDeg13	0.002
	testRndDeg14	0.002
	testRndDeg15	0.002
	testRndDeg16	0.002
	testRndDeg17	0.002
	testRndDeg18	0.002
	testRndDeg1	0.232
	testRndDeg2	0.154
	testRndDeg3	0.163
	testRndDeg4	0.1
	testRndDeg5	0.032
	testPN34	0.008
	testPN4	0.005
	testPN45	0.011
	testPN5	0.006
	testPN56	0.012
	testPN6	0.008
	testPN67	0.006
	testPN7	0.012
	testPN78	0.005
	testPN8	0.019
	testPN89	0.006
	testPN9	0.041
	testPN910	0.009

PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest

	testaloul1011	0.38
	testaloul3540	0.714
	testaloul3545	0.271
	testaloul4041	1.619
	testaloul4045	0.228
	testaloul4050	0.217
	testaloul5051	3.78
	testaloul5055	0.373
	testaloul5060	0.413
	testncirc103	2.553
	testndata103	1.949
	testPN10	0.006
	testaloul1020	0.006
	testaloul1015	0.042
	testaloul1516	0.025
	testaloul1520	0.009
	testaloul1525	0.028
	testaloul2021	0.056
	testaloul2025	0.02
	testaloul2030	0.027
	testaloul3031	0.358
	testaloul3035	0.066
	testaloul3040	0.08
	testaloul3536	0.7
	testncm42a	0.007
	testncirc43	0.016
	testncirc63	0.152
	testncirc83	0.529
	testndata43	0.017
	testndata63	0.137
	testndata83	0.524
	testn9symml	0.043
	testnC17	0.001
	testnC432	0.066
	testnb1	0.002
	testnc8	0.016
	testncc	0.006
	testncmb	0.02
	testnmux	0.021
	testnmyadder	0.034
	testPN34	0.002
	testPN4	0.001
	testPN45	0.001
	testPN5	0.002
	testPN56	0.001
	testPN6	0.002
	testPN67	0.002
	testPN7	0.002
	testPN78	0.002
	testPN8	0.003
	testPN89	0.002
	testPN9	0.003
	testPN910	0.003

MikolasTest

testLexicoOptimizationWithPseudoOptDecorator

0.081

PuebloWatchedPBConstrOnRandomCardProblemsTest

	testRndDeg6	0.14
	testRndDeg7	0.033
	testRndDeg8	0.016
	testRndDeg9	0.004
	testRndDeg10	0.002
	testRndDeg11	0.003
	testRndDeg12	0.002
	testRndDeg13	0.002
	testRndDeg14	0.003
	testRndDeg15	0.002
	testRndDeg16	0.002
	testRndDeg17	0.002
	testRndDeg18	0.002
	testRndDeg1	0.216
	testRndDeg2	0.146
	testRndDeg3	0.136
	testRndDeg4	0.094
	testRndDeg5	0.023
	testPN34	0.002
	testPN4	0.004
	testPN45	0.003
	testPN5	0.005
	testPN56	0.005
	testPN6	0.008
	testPN67	0.005
	testPN7	0.012
	testPN78	0.006
	testPN8	0.022
	testPN89	0.009
	testPN9	0.029
	testPN910	0.006

PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest

	testncirc103	3.756
	testaloul1015	0.022
	testaloul3545	0.138
	testaloul4041	1.321
	testaloul4045	0.169
	testaloul4050	0.211
	testaloul5051	3.749
	testaloul5055	0.342
	testaloul5060	0.395
	testndata103	2.054
	testPN10	0.007
	testaloul1011	0.008
	testaloul1020	0.01
	testaloul1516	0.02
	testaloul1520	0.014
	testaloul1525	0.017
	testaloul2021	0.061
	testaloul2025	0.02
	testaloul2030	0.024
	testaloul3031	0.349
	testaloul3035	0.061
	testaloul3040	0.069
	testaloul3536	0.69
	testaloul3540	0.09
	testncm42a	0.006
	testncirc43	0.017
	testncirc63	0.156
	testncirc83	0.552
	testndata43	0.022
	testndata63	0.156
	testndata83	0.573
	testn9symml	0.043
	testnC17	0.001
	testnC432	0.057
	testnb1	0.002
	testnc8	0.015
	testncc	0.006
	testncmb	0.019
	testnmux	0.015
	testnmyadder	0.035
	testPN4	0.001
	testPN34	0.001
	testPN45	0.002
	testPN5	0.001
	testPN56	0.002
	testPN6	0.001
	testPN67	0.002
	testPN7	0.002
	testPN78	0.002
	testPN8	0.003
	testPN89	0.002
	testPN9	0.004
	testPN910	0.003

CompetMinPBResLongWLMixedConstraintsObjectiveLearningTest

	testncirc43	0.502
	testncirc83	1.436
	testncirc63	0.164
	testndata43	0.026
	testndata63	0.135
	testndata83	0.559
	testn9symml	0.061
	testnC17	0.001
	testnC432	0.062
	testnb1	0.002
	testnc8	0.016
	testncc	0.006
	testncm42a	0.005
	testncmb	0.021
	testnmux	0.016
	testnmyadder	0.035
	testPN34	0.002
	testPN4	0.001
	testPN45	0.001
	testPN5	0.002
	testPN8	0.141
	testPN89	0.003
	testPN9	1.958
	testPN910	0.003
	testPN56	0.002
	testPN6	0.004
	testPN67	0.003
	testPN7	0.008
	testPN78	0.002

TestQuickExplainPB

	testGlobalInconsistency	0.083
	testAlmostGlobalInconsistency	0.004
	testGlobalInconsistencyPB	0.009
	testAlmostGlobalInconsistencyII	0.005
	testAlmostGlobalInconsistencyPB	0.005
	testEclipsePatchEncoding	0.029
	testUpdatedEclipsePatchEncoding	0.007

CompetPBResLongHTMixedConstraintsObjectiveLearningTest

	testncirc43	0.573
	testncirc63	0.91
	testncirc83	0.823
	testndata43	0.038
	testndata63	0.148
	testndata83	0.618
	testn9symml	0.064
	testnC17	0.002
	testnC432	0.064
	testnb1	0.003
	testnc8	0.016
	testncc	0.007
	testncm42a	0.009
	testncmb	0.021
	testnmux	0.015
	testnmyadder	0.037
	testPN4	0.002
	testPN45	0.002
	testPN5	0.002
	testPN56	0.002
	testPN6	0.006
	testPN67	0.002
	testPN7	0.019
	testPN78	0.003
	testPN8	0.2
	testPN89	0.003
	testPN9	1.714
	testPN910	0.005
	testPN34	0.009

PBCPMaxClauseCardConstrLearningTest

	testaloul1011	0.372
	testaloul3545	0.722
	testaloul4041	1.703
	testaloul4045	0.273
	testaloul4050	0.271
	testaloul5051	3.778
	testaloul5055	0.354
	testaloul5060	0.447
	testndata103	3.249
	testPN10	0.014
	testncirc103	2.792
	testaloul1015	0.005
	testaloul1020	0.006
	testaloul1516	0.017
	testaloul1520	0.009
	testaloul1525	0.011
	testaloul2021	0.053
	testaloul2025	0.018
	testaloul2030	0.023
	testaloul3031	0.35
	testaloul3035	0.064
	testaloul3040	0.07
	testaloul3536	0.69
	testaloul3540	0.091
	testncm42a	0.007
	testncirc43	0.016
	testncirc63	0.299
	testncirc83	0.724
	testndata43	0.017
	testndata63	0.341
	testndata83	0.718
	testn9symml	0.044
	testnC17	0.007
	testnC432	0.072
	testnb1	0.002
	testnc8	0.017
	testncc	0.007
	testncmb	0.021
	testnmux	0.014
	testnmyadder	0.035
	testPN34	0.002
	testPN4	0.001
	testPN45	0.001
	testPN5	0.001
	testPN56	0.001
	testPN6	0.002
	testPN67	0.002
	testPN7	0.002
	testPN78	0.002
	testPN8	0.003
	testPN89	0.002
	testPN9	0.003
	testPN910	0.002

TestGlobalTimeoutForOptimalModelEnumeration

	testTimeoutOnSeconds	2.101
	testTimeoutOnConflicts	1.749

WatchedPBConstrOnRandomCardProblemsTest

	testRndDeg1	0.426
	testRndDeg4	0.251
	testRndDeg5	0.051
	testRndDeg6	0.029
	testRndDeg7	0.017
	testRndDeg8	0.002
	testRndDeg9	0.002
	testRndDeg10	0.001
	testRndDeg11	0.002
	testRndDeg12	0.001
	testRndDeg13	0.001
	testRndDeg14	0.002
	testRndDeg15	0.002
	testRndDeg16	0.002
	testRndDeg17	0.001
	testRndDeg18	0.001
	testRndDeg2	0.142
	testRndDeg3	0.119
	testPN34	0.008
	testPN4	0.004
	testPN45	0.003
	testPN5	0.008
	testPN56	0.004
	testPN6	0.034
	testPN67	0.004
	testPN7	0.302
	testPN78	0.006
	testPN8	0.123
	testPN89	0.004
	testPN9	0.328
	testPN910	0.006

CounterPBConstrWithPBConstrLearningTest

	testncirc83	2.421
	testndata43	0.094
	testncirc43	0.032
	testncirc63	0.237
	testndata63	0.185
	testndata83	0.918
	testn9symml	0.06
	testnC17	0.001
	testnC432	0.08
	testnb1	0.005
	testnc8	0.02
	testncc	0.013
	testncm42a	0.006
	testncmb	0.032
	testnmux	0.019
	testnmyadder	0.05
	testPN56	0.002
	testPN6	0.003
	testPN67	0.002
	testPN7	0.008
	testPN78	0.003
	testPN8	0.004
	testPN89	0.004
	testPN9	0.005
	testPN910	0.004
	testPN34	0.002
	testPN4	0.002
	testPN45	0.001
	testPN5	0.002

Parent Project

Project Documentation