Surefire Report

Summary

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

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%	261.187
org.sat4j.pb	66	0	0	0	100%	6.915

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.325
PuebloWatchedPBConstrWithClauseLearningTest	29	100%	3.725
WatchedPBConstrWithPBConstrLearningTest	53	100%	43.958
MiniOPBClauseCardMinLearningTest	53	100%	18.083
CounterPBConstrWithClauseAtLeastConstrLearningTest	53	100%	15.45
PBCPMixedConstraintsResCPTest	29	100%	3.646
PBCPMinClauseCardConstrLearningTest	53	100%	17.896
CounterPBConstrWithClauseLearningTest	29	100%	4.706
CompetPBResLongWLMixedConstraintsObjectiveLearningTest	29	100%	5.092
PBCPLongMaxClauseCardConstrLearningTest	53	100%	15.597
PuebloWatchedPBConstrWithPBConstrLearningTest	53	100%	35.982
WatchedPBConstrWithClauseLearningTest	29	100%	3.771
CounterPBConstrOnRandomCardProblemsTest	31	100%	1.779
PBCPLongMinClauseCardConstrLearningTest	53	100%	18.009
CounterPBWithClauseCardConstrLearningReduceToClauseTest	29	100%	4.195
WatchedCardConstrOnRandomCardProblemsTest	31	100%	0.932
PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest	53	100%	15.195
PuebloWatchedPBConstrOnRandomCardProblemsTest	31	100%	0.984
PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest	53	100%	15.324
CompetMinPBResLongWLMixedConstraintsObjectiveLearningTest	29	100%	5.126
TestQuickExplainPB	7	100%	0.19
CompetPBResLongHTMixedConstraintsObjectiveLearningTest	29	100%	4.765
PBCPMaxClauseCardConstrLearningTest	53	100%	16.986
WatchedPBConstrOnRandomCardProblemsTest	31	100%	1.551
CounterPBConstrWithPBConstrLearningTest	29	100%	3.92

org.sat4j.pb

Class	Tests	Success Rate	Time
TestEclipseBug247567	1	100%	0.158
LexicoDecoratorPBTest	1	100%	0.14
TestEclipseBug275101	1	100%	0.597
TestQuickXplain	10	100%	0.228
TestDependencyHelper	21	100%	0.327
JsonPBReaderTest	8	100%	0.74
TestInsertionXplain	10	100%	0.236
TestDeletionXplain	10	100%	0.247
TestObjectiveFunction	1	100%	0.152
MikolasTest	1	100%	0.153
TestGlobalTimeoutForOptimalModelEnumeration	2	100%	3.937

Test Cases

[Summary] [Package List] [Test Cases]

CounterPBConstrWithClauseCardConstrLearningTest

	testndata43	0.499
	testncirc43	0.226
	testncirc63	1.105
	testncirc83	0.996
	testndata63	0.397
	testndata83	0.782
	testn9symml	0.05
	testnC17	0.001
	testnC432	0.07
	testnb1	0.002
	testnc8	0.017
	testncc	0.008
	testncm42a	0.006
	testncmb	0.022
	testnmux	0.016
	testnmyadder	0.039
	testPN4	0.002
	testPN45	0.002
	testPN5	0.002
	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
	testPN34	0.001

PuebloWatchedPBConstrWithClauseLearningTest

	testncirc43	0.505
	testndata43	0.277
	testncirc63	0.59
	testncirc83	0.841
	testndata63	0.155
	testndata83	0.646
	testn9symml	0.05
	testnC17	0.001
	testnC432	0.064
	testnb1	0.002
	testnc8	0.017
	testncc	0.007
	testncm42a	0.006
	testncmb	0.022
	testnmux	0.016
	testnmyadder	0.039
	testPN34	0.001
	testPN4	0.001
	testPN9	0.341
	testPN910	0.004
	testPN45	0.001
	testPN5	0.003
	testPN56	0.001
	testPN6	0.004
	testPN67	0.002
	testPN7	0.013
	testPN78	0.002
	testPN8	0.06
	testPN89	0.002

WatchedPBConstrWithPBConstrLearningTest

	testncirc103	17.772
	testaloul1516	0.053
	testPN10	0.006
	testaloul1015	0.006
	testndata103	16.401
	testaloul1520	0.011
	testaloul1525	0.013
	testaloul1011	0.006
	testaloul4045	0.146
	testaloul4050	0.253
	testaloul5051	3.759
	testaloul5055	0.348
	testaloul5060	0.398
	testaloul1020	0.006
	testaloul2021	0.054
	testaloul2025	0.018
	testaloul2030	0.024
	testaloul3031	0.335
	testaloul3035	0.062
	testaloul3040	0.068
	testaloul3536	0.675
	testaloul3540	0.093
	testaloul3545	0.136
	testaloul4041	1.249
	testncirc43	0.018
	testncirc63	0.141
	testncirc83	0.737
	testndata43	0.017
	testndata63	0.142
	testndata83	0.713
	testn9symml	0.042
	testnC17	0.001
	testnC432	0.075
	testnb1	0.002
	testnc8	0.015
	testncc	0.006
	testncm42a	0.005
	testncmb	0.02
	testnmux	0.016
	testnmyadder	0.035
	testPN34	0.001
	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.002
	testPN89	0.002
	testPN9	0.004
	testPN910	0.003

TestEclipseBug247567

testReserveVarsButUseLess

0.096

LexicoDecoratorPBTest

test

0.069

MiniOPBClauseCardMinLearningTest

	testaloul1015	0.264
	testPN10	0.057
	testaloul1020	0.074
	testaloul1516	0.107
	testndata103	4.732
	testaloul1011	0.007
	testaloul3545	0.134
	testaloul4041	1.293
	testaloul4045	0.146
	testaloul4050	0.204
	testaloul5051	3.687
	testaloul5055	0.341
	testaloul5060	0.372
	testncirc103	3.64
	testaloul1520	0.009
	testaloul1525	0.011
	testaloul2021	0.053
	testaloul2025	0.017
	testaloul2030	0.031
	testaloul3031	0.328
	testaloul3035	0.068
	testaloul3040	0.065
	testaloul3536	0.675
	testaloul3540	0.088
	testncirc43	0.017
	testncirc63	0.149
	testncirc83	0.53
	testndata43	0.016
	testndata63	0.145
	testndata83	0.534
	testn9symml	0.048
	testnC17	0.001
	testnC432	0.062
	testnb1	0.002
	testnc8	0.015
	testncc	0.006
	testncm42a	0.005
	testncmb	0.019
	testnmux	0.014
	testnmyadder	0.034
	testPN34	0.001
	testPN4	0.001
	testPN45	0.001
	testPN5	0.001
	testPN56	0.002
	testPN6	0.001
	testPN67	0.001
	testPN7	0.002
	testPN78	0.002
	testPN8	0.003
	testPN89	0.002
	testPN9	0.003
	testPN910	0.002

CounterPBConstrWithClauseAtLeastConstrLearningTest

	testaloul1011	0.307
	testncirc103	3.51
	testaloul1516	0.027
	testndata103	2.143
	testaloul1020	0.007
	testaloul4050	0.214
	testPN10	0.006
	testaloul1015	0.005
	testaloul5051	3.726
	testaloul5055	0.334
	testaloul5060	0.375
	testaloul1520	0.009
	testaloul1525	0.01
	testaloul2021	0.053
	testaloul2025	0.017
	testaloul2030	0.022
	testaloul3031	0.327
	testaloul3035	0.059
	testaloul3040	0.063
	testaloul3536	0.695
	testaloul3540	0.085
	testaloul3545	0.135
	testaloul4041	1.315
	testaloul4045	0.151
	testncirc43	0.016
	testncirc63	0.152
	testncirc83	0.559
	testndata43	0.016
	testndata63	0.15
	testndata83	0.691
	testn9symml	0.045
	testnC17	0.001
	testnC432	0.052
	testnb1	0.002
	testnc8	0.013
	testncc	0.006
	testncm42a	0.005
	testncmb	0.019
	testnmux	0.014
	testnmyadder	0.033
	testPN34	0.003
	testPN4	0.002
	testPN45	0.002
	testPN5	0.002
	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.002

TestEclipseBug275101

testReserveVarsButUseLess

0.529

TestQuickXplain

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

PBCPMixedConstraintsResCPTest

	testncirc43	0.486
	testncirc63	0.899
	testncirc83	0.87
	testndata43	0.019
	testndata63	0.176
	testndata83	0.629
	testn9symml	0.05
	testnC17	0.001
	testnC432	0.062
	testnb1	0.002
	testnc8	0.016
	testncc	0.007
	testncm42a	0.005
	testncmb	0.021
	testnmux	0.015
	testnmyadder	0.035
	testPN45	0.001
	testPN5	0.002
	testPN56	0.002
	testPN6	0.005
	testPN67	0.002
	testPN7	0.016
	testPN78	0.002
	testPN8	0.053
	testPN89	0.003
	testPN9	0.204
	testPN910	0.004
	testPN34	0.001
	testPN4	0.001

PBCPMinClauseCardConstrLearningTest

	testaloul1011	0.311
	testaloul1020	0.107
	testncirc103	4.852
	testaloul1015	0.007
	testaloul4050	0.236
	testaloul5051	3.685
	testaloul5055	0.326
	testaloul5060	0.409
	testndata103	3.481
	testPN10	0.005
	testaloul1516	0.018
	testaloul1520	0.01
	testaloul1525	0.012
	testaloul2021	0.058
	testaloul2025	0.02
	testaloul2030	0.025
	testaloul3031	0.339
	testaloul3035	0.062
	testaloul3040	0.066
	testaloul3536	0.674
	testaloul3540	0.086
	testaloul3545	0.112
	testaloul4041	1.24
	testaloul4045	0.138
	testncirc43	0.016
	testncirc63	0.144
	testncirc83	0.51
	testndata43	0.02
	testndata63	0.137
	testndata83	0.514
	testn9symml	0.043
	testnC17	0.002
	testnC432	0.054
	testnb1	0.002
	testnc8	0.016
	testncc	0.006
	testncm42a	0.005
	testncmb	0.018
	testnmux	0.014
	testnmyadder	0.033
	testPN34	0.002
	testPN4	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.003
	testPN910	0.002

TestDependencyHelper

	testBasicRequirements	0.094
	testDisjunctions	0.012
	testBasicRequirementsDetailedExplanation	0.006
	testDisjunctionExplanation	0.009
	testExplanationForASolution	0.007
	testObjectiveFunction	0.024
	testJunitExample	0.005
	testJunitSingletonObjectiveExample	0.005
	testEquivalency	0.005
	testDisjunction	0.006
	testCathyExamples	0.009
	testCardinalityConstraints	0.006
	testPseudoConstraints	0.004
	testPseudoConstraintsNegativeLiterals	0.004
	testIgnoreContiguousDuplicatedEntry	0.004
	testNonDuplicatedEntryNotCatched	0.004
	testLimitofHashFunction	0.003
	testVariablesIntroducedInNegativeFormFirst	0.004
	testVariablesIntroducedInNegativeFormFirstStoredCorrectly	0.003
	testThatWeCanRetrieveTheTruthValueOfNegatedObjects	0.003
	testImpliedObjects	0.006

JsonPBReaderTest

	testReadingSimplePseudoExactly	0.449
	testObjectiveFunctionMax	0.052
	testReadingSimplePseudoAtMost	0.034
	testReadingSimplePseudoAtLeastStrictly	0.026
	testReadingSimplePseudoAtMostStrictly	0.024
	testOrderofMixedConstraints	0.024
	testObjectiveFunctionMin	0.025
	testReadingSimplePseudoAtLeast	0.023

CounterPBConstrWithClauseLearningTest

	testncirc43	0.555
	testncirc63	0.848
	testncirc83	1.266
	testndata43	0.02
	testndata63	0.184
	testndata83	1.035
	testn9symml	0.047
	testnC17	0.001
	testnC432	0.069
	testnb1	0.002
	testnc8	0.018
	testncc	0.007
	testncm42a	0.011
	testncmb	0.028
	testnmux	0.017
	testnmyadder	0.041
	testPN34	0.002
	testPN4	0.001
	testPN45	0.001
	testPN5	0.003
	testPN910	0.003
	testPN56	0.002
	testPN6	0.006
	testPN67	0.002
	testPN7	0.023
	testPN78	0.003
	testPN8	0.077
	testPN89	0.004
	testPN9	0.379

CompetPBResLongWLMixedConstraintsObjectiveLearningTest

	testncirc43	0.533
	testncirc63	0.771
	testncirc83	0.776
	testndata43	0.018
	testndata63	0.128
	testndata83	0.536
	testn9symml	0.051
	testnC17	0.001
	testnC432	0.063
	testnb1	0.002
	testnc8	0.016
	testncc	0.007
	testncm42a	0.005
	testncmb	0.021
	testnmux	0.015
	testnmyadder	0.036
	testPN34	0.001
	testPN89	0.003
	testPN9	1.924
	testPN910	0.003
	testPN4	0.004
	testPN45	0.001
	testPN5	0.002
	testPN56	0.002
	testPN6	0.004
	testPN67	0.003
	testPN7	0.009
	testPN78	0.002
	testPN8	0.098

TestInsertionXplain

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

PBCPLongMaxClauseCardConstrLearningTest

	testaloul1520	0.368
	testncirc103	3.393
	testaloul1011	0.009
	testaloul4041	1.343
	testaloul4045	0.15
	testaloul4050	0.201
	testaloul5051	3.723
	testaloul5055	0.332
	testaloul5060	0.468
	testndata103	2.176
	testPN10	0.005
	testaloul1015	0.005
	testaloul1020	0.006
	testaloul1516	0.019
	testaloul1525	0.013
	testaloul2021	0.065
	testaloul2025	0.023
	testaloul2030	0.025
	testaloul3031	0.338
	testaloul3035	0.06
	testaloul3040	0.065
	testaloul3536	0.672
	testaloul3540	0.087
	testaloul3545	0.124
	testncirc43	0.017
	testncirc63	0.229
	testncirc83	0.574
	testndata43	0.016
	testndata63	0.243
	testndata83	0.58
	testn9symml	0.043
	testnC17	0.001
	testnC432	0.054
	testnb1	0.002
	testnc8	0.014
	testncc	0.006
	testncm42a	0.005
	testncmb	0.018
	testnmux	0.014
	testnmyadder	0.032
	testPN34	0.002
	testPN4	0.001
	testPN45	0.001
	testPN5	0.002
	testPN56	0.001
	testPN6	0.002
	testPN67	0.001
	testPN7	0.001
	testPN78	0.001
	testPN8	0.003
	testPN89	0.002
	testPN9	0.003
	testPN910	0.003

PuebloWatchedPBConstrWithPBConstrLearningTest

	testncirc103	13.916
	testaloul1015	0.061
	testndata103	12.021
	testaloul1516	0.033
	testaloul1520	0.011
	testPN10	0.013
	testaloul1011	0.01
	testaloul4045	0.171
	testaloul4050	0.234
	testaloul5051	3.767
	testaloul5055	0.339
	testaloul5060	0.4
	testaloul1020	0.015
	testaloul1525	0.012
	testaloul2021	0.059
	testaloul2025	0.019
	testaloul2030	0.028
	testaloul3031	0.337
	testaloul3035	0.063
	testaloul3040	0.071
	testaloul3536	0.666
	testaloul3540	0.09
	testaloul3545	0.136
	testaloul4041	1.292
	testncirc43	0.032
	testncirc63	0.18
	testncirc83	0.741
	testndata43	0.018
	testndata63	0.148
	testndata83	0.737
	testn9symml	0.069
	testnC17	0.006
	testnC432	0.061
	testnb1	0.008
	testnc8	0.018
	testncc	0.007
	testncm42a	0.009
	testncmb	0.02
	testnmux	0.015
	testnmyadder	0.035
	testPN34	0.009
	testPN4	0.001
	testPN45	0.001
	testPN5	0.002
	testPN56	0.002
	testPN6	0.002
	testPN67	0.01
	testPN7	0.009
	testPN78	0.003
	testPN8	0.003
	testPN89	0.003
	testPN9	0.008
	testPN910	0.004

WatchedPBConstrWithClauseLearningTest

	testncirc43	0.492
	testncirc63	0.832
	testncirc83	0.888
	testndata43	0.019
	testndata63	0.159
	testndata83	0.657
	testn9symml	0.05
	testnC17	0.001
	testnC432	0.065
	testnb1	0.003
	testnc8	0.016
	testncc	0.006
	testncm42a	0.005
	testncmb	0.023
	testnmux	0.015
	testnmyadder	0.037
	testPN5	0.004
	testPN56	0.002
	testPN6	0.007
	testPN67	0.002
	testPN7	0.026
	testPN78	0.002
	testPN8	0.071
	testPN89	0.002
	testPN9	0.322
	testPN910	0.003
	testPN34	0.003
	testPN4	0.001
	testPN45	0.002

TestDeletionXplain

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

CounterPBConstrOnRandomCardProblemsTest

	testRndDeg3	0.316
	testRndDeg4	0.136
	testRndDeg5	0.031
	testRndDeg6	0.015
	testRndDeg7	0.008
	testRndDeg8	0.003
	testRndDeg9	0.002
	testRndDeg10	0.002
	testRndDeg11	0.002
	testRndDeg12	0.001
	testRndDeg13	0.001
	testRndDeg14	0.001
	testRndDeg15	0.001
	testRndDeg16	0.002
	testRndDeg17	0.001
	testRndDeg18	0.002
	testRndDeg2	0.306
	testRndDeg1	0.251
	testPN34	0.002
	testPN4	0.003
	testPN45	0.002
	testPN5	0.007
	testPN56	0.003
	testPN6	0.021
	testPN67	0.004
	testPN7	0.067
	testPN78	0.005
	testPN8	0.103
	testPN89	0.004
	testPN9	0.42
	testPN910	0.004

PBCPLongMinClauseCardConstrLearningTest

	testaloul1520	0.405
	testncirc103	4.918
	testaloul1011	0.008
	testaloul4041	1.272
	testaloul4045	0.157
	testaloul4050	0.205
	testaloul5051	3.716
	testaloul5055	0.339
	testaloul5060	0.382
	testndata103	3.486
	testPN10	0.005
	testaloul1015	0.005
	testaloul1020	0.006
	testaloul1516	0.018
	testaloul1525	0.014
	testaloul2021	0.06
	testaloul2025	0.019
	testaloul2030	0.034
	testaloul3031	0.338
	testaloul3035	0.067
	testaloul3040	0.066
	testaloul3536	0.676
	testaloul3540	0.088
	testaloul3545	0.108
	testncirc43	0.017
	testncirc63	0.136
	testncirc83	0.508
	testndata43	0.015
	testndata63	0.153
	testndata83	0.515
	testn9symml	0.044
	testnC17	0.002
	testnC432	0.056
	testnb1	0.002
	testnc8	0.014
	testncc	0.006
	testncm42a	0.005
	testncmb	0.018
	testnmux	0.014
	testnmyadder	0.033
	testPN34	0.001
	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.002
	testPN89	0.003
	testPN9	0.003
	testPN910	0.003

CounterPBWithClauseCardConstrLearningReduceToClauseTest

	testncirc43	0.512
	testncirc63	1.256
	testncirc83	0.993
	testndata43	0.026
	testndata63	0.323
	testndata83	0.778
	testn9symml	0.047
	testnC17	0.001
	testnC432	0.06
	testnb1	0.002
	testnc8	0.017
	testncc	0.008
	testncm42a	0.007
	testncmb	0.023
	testnmux	0.015
	testnmyadder	0.038
	testPN78	0.003
	testPN89	0.003
	testPN9	0.004
	testPN910	0.004
	testPN34	0.001
	testPN4	0.001
	testPN45	0.002
	testPN5	0.001
	testPN56	0.001
	testPN6	0.003
	testPN67	0.002
	testPN7	0.002
	testPN8	0.003

TestObjectiveFunction

testObjectiveFunctionWithAllWeightsToNull

0.085

WatchedCardConstrOnRandomCardProblemsTest

	testRndDeg3	0.305
	testRndDeg4	0.147
	testRndDeg5	0.029
	testRndDeg6	0.013
	testRndDeg7	0.008
	testRndDeg8	0.003
	testRndDeg9	0.002
	testRndDeg10	0.001
	testRndDeg11	0.001
	testRndDeg12	0.001
	testRndDeg13	0.001
	testRndDeg14	0.002
	testRndDeg15	0.001
	testRndDeg16	0.002
	testRndDeg17	0.001
	testRndDeg18	0.001
	testRndDeg2	0.123
	testRndDeg1	0.111
	testPN34	0.006
	testPN4	0.004
	testPN45	0.003
	testPN5	0.006
	testPN56	0.004
	testPN6	0.008
	testPN67	0.004
	testPN7	0.014
	testPN78	0.005
	testPN8	0.021
	testPN89	0.005
	testPN9	0.037
	testPN910	0.007

PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest

	testncirc103	3.516
	testaloul1011	0.035
	testaloul1015	0.014
	testaloul1020	0.009
	testaloul1516	0.022
	testaloul4050	0.266
	testaloul5051	3.738
	testaloul5055	0.348
	testaloul5060	0.398
	testndata103	2.184
	testPN10	0.006
	testaloul1520	0.01
	testaloul1525	0.013
	testaloul2021	0.059
	testaloul2025	0.026
	testaloul2030	0.032
	testaloul3031	0.339
	testaloul3035	0.064
	testaloul3040	0.071
	testaloul3536	0.696
	testaloul3540	0.089
	testaloul3545	0.121
	testaloul4041	1.275
	testaloul4045	0.143
	testncirc43	0.017
	testncirc63	0.16
	testncirc83	0.55
	testndata43	0.017
	testndata63	0.137
	testndata83	0.562
	testn9symml	0.044
	testnC17	0.002
	testnC432	0.057
	testnb1	0.001
	testnc8	0.015
	testncc	0.007
	testncm42a	0.005
	testncmb	0.02
	testnmux	0.014
	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.002
	testPN89	0.003
	testPN9	0.003
	testPN910	0.003

MikolasTest

testLexicoOptimizationWithPseudoOptDecorator

0.081

PuebloWatchedPBConstrOnRandomCardProblemsTest

	testRndDeg3	0.293
	testRndDeg4	0.163
	testRndDeg5	0.032
	testRndDeg6	0.017
	testRndDeg7	0.01
	testRndDeg8	0.003
	testRndDeg9	0.002
	testRndDeg10	0.011
	testRndDeg11	0.003
	testRndDeg12	0.002
	testRndDeg13	0.001
	testRndDeg14	0.002
	testRndDeg15	0.002
	testRndDeg16	0.002
	testRndDeg17	0.002
	testRndDeg18	0.002
	testRndDeg2	0.127
	testRndDeg1	0.127
	testPN34	0.005
	testPN4	0.004
	testPN45	0.004
	testPN5	0.007
	testPN56	0.004
	testPN6	0.008
	testPN67	0.005
	testPN7	0.013
	testPN78	0.006
	testPN8	0.021
	testPN89	0.008
	testPN9	0.034
	testPN910	0.008

PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest

	testncirc103	3.661
	testaloul1011	0.023
	testaloul1015	0.012
	testaloul1020	0.01
	testaloul1516	0.022
	testaloul4050	0.292
	testaloul5051	3.777
	testaloul5055	0.35
	testaloul5060	0.399
	testndata103	2.13
	testPN10	0.005
	testaloul1520	0.01
	testaloul1525	0.013
	testaloul2021	0.058
	testaloul2025	0.025
	testaloul2030	0.028
	testaloul3031	0.356
	testaloul3035	0.062
	testaloul3040	0.066
	testaloul3536	0.671
	testaloul3540	0.089
	testaloul3545	0.113
	testaloul4041	1.271
	testaloul4045	0.146
	testncirc43	0.017
	testncirc63	0.15
	testncirc83	0.551
	testndata43	0.016
	testndata63	0.146
	testndata83	0.56
	testn9symml	0.048
	testnC17	0.001
	testnC432	0.068
	testnb1	0.002
	testnc8	0.014
	testncc	0.007
	testncm42a	0.005
	testncmb	0.019
	testnmux	0.015
	testnmyadder	0.034
	testPN34	0.001
	testPN4	0.001
	testPN45	0.001
	testPN5	0.002
	testPN56	0.001
	testPN6	0.001
	testPN67	0.002
	testPN7	0.002
	testPN78	0.002
	testPN8	0.003
	testPN89	0.002
	testPN9	0.003
	testPN910	0.003

CompetMinPBResLongWLMixedConstraintsObjectiveLearningTest

	testncirc63	1.168
	testncirc83	0.88
	testndata43	0.019
	testncirc43	0.019
	testndata63	0.13
	testndata83	0.549
	testn9symml	0.049
	testnC17	0.001
	testnC432	0.077
	testnb1	0.002
	testnc8	0.016
	testncc	0.007
	testncm42a	0.005
	testncmb	0.022
	testnmux	0.015
	testnmyadder	0.035
	testPN34	0.001
	testPN8	0.141
	testPN89	0.003
	testPN9	1.902
	testPN910	0.004
	testPN4	0.002
	testPN45	0.003
	testPN5	0.002
	testPN56	0.002
	testPN6	0.003
	testPN67	0.003
	testPN7	0.008
	testPN78	0.003

TestQuickExplainPB

	testGlobalInconsistency	0.079
	testUpdatedEclipsePatchEncoding	0.009
	testGlobalInconsistencyPB	0.003
	testAlmostGlobalInconsistency	0.004
	testAlmostGlobalInconsistencyII	0.004
	testAlmostGlobalInconsistencyPB	0.003
	testEclipsePatchEncoding	0.005

CompetPBResLongHTMixedConstraintsObjectiveLearningTest

	testncirc43	0.461
	testncirc63	0.813
	testncirc83	0.809
	testndata43	0.021
	testndata63	0.135
	testndata83	0.54
	testn9symml	0.05
	testnC17	0.001
	testnC432	0.061
	testnb1	0.002
	testnc8	0.02
	testncc	0.007
	testncm42a	0.006
	testncmb	0.022
	testnmux	0.017
	testnmyadder	0.037
	testPN8	0.168
	testPN89	0.002
	testPN9	1.512
	testPN910	0.003
	testPN34	0.001
	testPN4	0.002
	testPN45	0.001
	testPN5	0.001
	testPN56	0.002
	testPN6	0.003
	testPN67	0.002
	testPN7	0.006
	testPN78	0.004

PBCPMaxClauseCardConstrLearningTest

	testncirc103	4.246
	testaloul1011	0.027
	testaloul4041	1.31
	testaloul4045	0.157
	testaloul4050	0.206
	testaloul5051	3.782
	testaloul5055	0.327
	testaloul5060	0.383
	testndata103	2.691
	testPN10	0.006
	testaloul1015	0.005
	testaloul1020	0.008
	testaloul1516	0.02
	testaloul1520	0.01
	testaloul1525	0.016
	testaloul2021	0.067
	testaloul2025	0.022
	testaloul2030	0.026
	testaloul3031	0.346
	testaloul3035	0.06
	testaloul3040	0.079
	testaloul3536	0.667
	testaloul3540	0.088
	testaloul3545	0.107
	testncirc43	0.016
	testncirc63	0.299
	testncirc83	0.704
	testndata43	0.017
	testndata63	0.291
	testndata83	0.713
	testn9symml	0.044
	testnC17	0.001
	testnC432	0.056
	testnb1	0.002
	testnc8	0.015
	testncc	0.006
	testncm42a	0.006
	testncmb	0.029
	testnmux	0.015
	testnmyadder	0.035
	testPN34	0.001
	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.002
	testPN89	0.002
	testPN9	0.003
	testPN910	0.003

TestGlobalTimeoutForOptimalModelEnumeration

	testTimeoutOnSeconds	2.133
	testTimeoutOnConflicts	1.722

WatchedPBConstrOnRandomCardProblemsTest

	testRndDeg3	0.291
	testRndDeg4	0.149
	testRndDeg5	0.036
	testRndDeg6	0.017
	testRndDeg7	0.01
	testRndDeg8	0.003
	testRndDeg9	0.002
	testRndDeg10	0.001
	testRndDeg11	0.001
	testRndDeg12	0.003
	testRndDeg13	0.001
	testRndDeg14	0.001
	testRndDeg15	0.002
	testRndDeg16	0.001
	testRndDeg17	0.001
	testRndDeg18	0.002
	testRndDeg2	0.158
	testRndDeg1	0.184
	testPN34	0.003
	testPN4	0.006
	testPN45	0.007
	testPN5	0.015
	testPN56	0.005
	testPN6	0.044
	testPN67	0.005
	testPN7	0.117
	testPN78	0.003
	testPN8	0.101
	testPN89	0.004
	testPN9	0.314
	testPN910	0.004

CounterPBConstrWithPBConstrLearningTest

	testncirc63	1.263
	testncirc43	0.066
	testncirc83	1.216
	testndata43	0.021
	testndata63	0.19
	testndata83	0.808
	testn9symml	0.051
	testnC17	0.001
	testnC432	0.068
	testnb1	0.002
	testnc8	0.017
	testncc	0.007
	testncm42a	0.005
	testncmb	0.029
	testnmux	0.019
	testnmyadder	0.057
	testPN56	0.002
	testPN6	0.002
	testPN67	0.002
	testPN7	0.002
	testPN78	0.003
	testPN8	0.003
	testPN89	0.003
	testPN9	0.004
	testPN910	0.01
	testPN34	0.001
	testPN4	0.002
	testPN45	0.002
	testPN5	0.007

Parent Project

Project Documentation