Surefire Report

Summary

Tests	Errors	Failures	Skipped	Success Rate	Time
1065	0	0	0	100%	494.79

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	1004	0	0	0	100%	488.725
org.sat4j.pb	61	0	0	0	100%	6.065

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.609
PuebloWatchedPBConstrWithClauseLearningTest	29	100%	3.978
WatchedPBConstrWithPBConstrLearningTest	53	100%	42.379
MiniOPBClauseCardMinLearningTest	53	100%	18.048
CounterPBConstrWithClauseAtLeastConstrLearningTest	53	100%	219.467
PBCPMixedConstraintsResCPTest	29	100%	3.862
PBCPMinClauseCardConstrLearningTest	53	100%	17.815
CounterPBConstrWithClauseLearningTest	29	100%	4.121
CompetPBResLongWLMixedConstraintsObjectiveLearningTest	29	100%	4.906
PBCPLongMaxClauseCardConstrLearningTest	53	100%	15.864
PuebloWatchedPBConstrWithPBConstrLearningTest	53	100%	35.792
WatchedPBConstrWithClauseLearningTest	29	100%	4.043
CounterPBConstrOnRandomCardProblemsTest	31	100%	1.62
PBCPLongMinClauseCardConstrLearningTest	53	100%	17.974
CounterPBWithClauseCardConstrLearningReduceToClauseTest	29	100%	4.426
WatchedCardConstrOnRandomCardProblemsTest	31	100%	1.239
PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest	53	100%	16.073
PuebloWatchedPBConstrOnRandomCardProblemsTest	31	100%	1.423
PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest	53	100%	15.286
CompetMinPBResLongWLMixedConstraintsObjectiveLearningTest	29	100%	5.011
PBCPMixedConstraintsCautiousTest	53	100%	20.811
TestQuickExplainPB	7	100%	0.13
CompetPBResLongHTMixedConstraintsObjectiveLearningTest	29	100%	6.469
PBCPMaxClauseCardConstrLearningTest	53	100%	16.627
WatchedPBConstrOnRandomCardProblemsTest	31	100%	2.679
CounterPBConstrWithPBConstrLearningTest	29	100%	4.073

org.sat4j.pb

Class	Tests	Success Rate	Time
TestEclipseBug247567	1	100%	0.106
TestEclipseBug275101	1	100%	0.452
TestQuickXplain	10	100%	0.175
TestDependencyHelper	19	100%	0.204
TestInsertionXplain	10	100%	0.173
TestDeletionXplain	10	100%	0.152
TestLonca	6	100%	0.129
TestObjectiveFunction	1	100%	0.126
MikolasTest	1	100%	0.109
TestGlobalTimeoutForOptimalModelEnumeration	2	100%	4.439

Test Cases

[Summary] [Package List] [Test Cases]

CounterPBConstrWithClauseCardConstrLearningTest

	testncirc43	0.548
	testncirc63	1.496
	testncirc83	1.14
	testndata43	0.021
	testndata63	0.372
	testndata83	0.764
	testn9symml	0.044
	testnC17	0.001
	testnC432	0.056
	testnb1	0.003
	testnc8	0.016
	testncc	0.006
	testncm42a	0.006
	testncmb	0.019
	testnmux	0.014
	testnmyadder	0.034
	testPN34	0.001
	testPN4	0.002
	testPN45	0.001
	testPN5	0.002
	testPN56	0.002
	testPN6	0.002
	testPN67	0.002
	testPN7	0.003
	testPN78	0.002
	testPN8	0.003
	testPN89	0.003
	testPN9	0.004
	testPN910	0.003

PuebloWatchedPBConstrWithClauseLearningTest

	testncirc43	0.628
	testncirc63	0.888
	testncirc83	0.907
	testndata43	0.018
	testndata63	0.13
	testndata83	0.634
	testn9symml	0.041
	testnC17	0.001
	testnC432	0.059
	testnb1	0.002
	testnc8	0.015
	testncc	0.006
	testncm42a	0.005
	testncmb	0.02
	testnmux	0.025
	testnmyadder	0.034
	testPN34	0.001
	testPN4	0.002
	testPN45	0.001
	testPN5	0.002
	testPN56	0.002
	testPN6	0.004
	testPN67	0.002
	testPN7	0.02
	testPN78	0.004
	testPN8	0.049
	testPN89	0.003
	testPN9	0.431
	testPN910	0.004

WatchedPBConstrWithPBConstrLearningTest

	testaloul1011	0.338
	testaloul1015	0.227
	testaloul1020	0.193
	testaloul1516	0.114
	testaloul1520	0.052
	testaloul1525	0.069
	testaloul2021	0.141
	testaloul2025	0.064
	testaloul2030	0.073
	testaloul3031	0.492
	testaloul3035	0.09
	testaloul3040	0.097
	testaloul3536	0.694
	testaloul3540	0.131
	testaloul3545	0.168
	testaloul4041	1.253
	testaloul4045	0.154
	testaloul4050	0.218
	testaloul5051	3.599
	testaloul5055	0.353
	testaloul5060	0.406
	testncirc103	15.868
	testndata103	15.526
	testPN10	0.005
	testncirc43	0.019
	testncirc63	0.144
	testncirc83	0.707
	testndata43	0.018
	testndata63	0.158
	testndata83	0.734
	testn9symml	0.043
	testnC17	0.002
	testnC432	0.056
	testnb1	0.002
	testnc8	0.014
	testncc	0.006
	testncm42a	0.005
	testncmb	0.019
	testnmux	0.015
	testnmyadder	0.034
	testPN34	0.001
	testPN4	0.001
	testPN45	0.002
	testPN5	0.003
	testPN56	0.002
	testPN6	0.002
	testPN67	0.002
	testPN7	0.003
	testPN78	0.002
	testPN8	0.004
	testPN89	0.003
	testPN9	0.004
	testPN910	0.003

TestEclipseBug247567

testReserveVarsButUseLess

0.059

MiniOPBClauseCardMinLearningTest

	testaloul1011	0.257
	testaloul1015	0.152
	testaloul1020	0.244
	testaloul1516	0.173
	testaloul1520	0.054
	testaloul1525	0.084
	testaloul2021	0.124
	testaloul2025	0.056
	testaloul2030	0.063
	testaloul3031	0.466
	testaloul3035	0.083
	testaloul3040	0.078
	testaloul3536	0.704
	testaloul3540	0.12
	testaloul3545	0.154
	testaloul4041	1.262
	testaloul4045	0.15
	testaloul4050	0.219
	testaloul5051	3.657
	testaloul5055	0.35
	testaloul5060	0.396
	testncirc103	4.028
	testndata103	3.496
	testPN10	0.004
	testncirc43	0.017
	testncirc63	0.144
	testncirc83	0.546
	testndata43	0.019
	testndata63	0.139
	testndata83	0.529
	testn9symml	0.043
	testnC17	0.013
	testnC432	0.056
	testnb1	0.002
	testnc8	0.014
	testncc	0.006
	testncm42a	0.005
	testncmb	0.018
	testnmux	0.014
	testnmyadder	0.032
	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.003

CounterPBConstrWithClauseAtLeastConstrLearningTest

	testaloul1011	0.252
	testaloul1015	0.152
	testaloul1020	0.246
	testaloul1516	0.168
	testaloul1520	0.095
	testaloul1525	0.065
	testaloul2021	0.124
	testaloul2025	0.053
	testaloul2030	0.07
	testaloul3031	0.482
	testaloul3035	0.085
	testaloul3040	0.089
	testaloul3536	0.711
	testaloul3540	0.1
	testaloul3545	0.13
	testaloul4041	1.29
	testaloul4045	0.151
	testaloul4050	0.204
	testaloul5051	3.653
	testaloul5055	0.343
	testaloul5060	0.391
	testncirc103	104.955
	testndata103	103.751
	testPN10	0.004
	testncirc43	0.017
	testncirc63	0.155
	testncirc83	0.593
	testndata43	0.017
	testndata63	0.147
	testndata83	0.584
	testn9symml	0.16
	testnC17	0.001
	testnC432	0.06
	testnb1	0.002
	testnc8	0.015
	testncc	0.007
	testncm42a	0.005
	testncmb	0.019
	testnmux	0.015
	testnmyadder	0.035
	testPN34	0.001
	testPN4	0.001
	testPN45	0.002
	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.003

TestEclipseBug275101

testReserveVarsButUseLess

0.4

TestQuickXplain

	testExactlyConstraint	0.063
	testGlobalInconsistency	0.003
	testGlobalInconsistencyIndex	0.004
	testAlmostGlobalInconsistency	0.005
	testAlmostGlobalInconsistencyIndex	0.004
	testAlmostGlobalInconsistencyII	0.004
	testAlmostGlobalInconsistencyIIIndex	0.005
	testTheCaseOfTwoMUSes	0.004
	testEclipseTestCase	0.004
	testEclipseTestCase2	0.004

PBCPMixedConstraintsResCPTest

	testncirc43	0.561
	testncirc63	1.128
	testncirc83	0.864
	testndata43	0.024
	testndata63	0.162
	testndata83	0.63
	testn9symml	0.047
	testnC17	0.001
	testnC432	0.058
	testnb1	0.003
	testnc8	0.016
	testncc	0.007
	testncm42a	0.005
	testncmb	0.02
	testnmux	0.014
	testnmyadder	0.033
	testPN34	0.002
	testPN4	0.001
	testPN45	0.001
	testPN5	0.002
	testPN56	0.001
	testPN6	0.003
	testPN67	0.002
	testPN7	0.009
	testPN78	0.01
	testPN8	0.035
	testPN89	0.003
	testPN9	0.179
	testPN910	0.004

PBCPMinClauseCardConstrLearningTest

	testaloul1011	0.261
	testaloul1015	0.157
	testaloul1020	0.242
	testaloul1516	0.149
	testaloul1520	0.05
	testaloul1525	0.061
	testaloul2021	0.125
	testaloul2025	0.056
	testaloul2030	0.065
	testaloul3031	0.456
	testaloul3035	0.081
	testaloul3040	0.077
	testaloul3536	0.72
	testaloul3540	0.127
	testaloul3545	0.155
	testaloul4041	1.262
	testaloul4045	0.149
	testaloul4050	0.212
	testaloul5051	3.661
	testaloul5055	0.356
	testaloul5060	0.403
	testncirc103	3.919
	testndata103	3.429
	testPN10	0.005
	testncirc43	0.018
	testncirc63	0.146
	testncirc83	0.531
	testndata43	0.017
	testndata63	0.14
	testndata83	0.513
	testn9symml	0.043
	testnC17	0.002
	testnC432	0.056
	testnb1	0.002
	testnc8	0.014
	testncc	0.006
	testncm42a	0.005
	testncmb	0.019
	testnmux	0.014
	testnmyadder	0.033
	testPN34	0.001
	testPN4	0.001
	testPN45	0.002
	testPN5	0.001
	testPN56	0.001
	testPN6	0.001
	testPN67	0.002
	testPN7	0.009
	testPN78	0.002
	testPN8	0.003
	testPN89	0.003
	testPN9	0.003
	testPN910	0.003

TestDependencyHelper

	testBasicRequirements	0.065
	testBasicRequirementsDetailedExplanation	0.004
	testDisjunctions	0.009
	testDisjunctionExplanation	0.005
	testExplanationForASolution	0.003
	testObjectiveFunction	0.006
	testJunitExample	0.003
	testJunitSingletonObjectiveExample	0.003
	testEquivalency	0.003
	testDisjunction	0.003
	testCathyExamples	0.005
	testCardinalityConstraints	0.004
	testPseudoConstraints	0.002
	testPseudoConstraintsNegativeLiterals	0.003
	testIgnoreContiguousDuplicatedEntry	0.002
	testNonDuplicatedEntryNotCatched	0.003
	testLimitofHashFunction	0.002
	testVariablesIntroducedInNegativeFormFirst	0.004
	testVariablesIntroducedInNegativeFormFirstStoredCorrectly	0.002

CounterPBConstrWithClauseLearningTest

	testncirc43	0.7
	testncirc63	0.774
	testncirc83	0.964
	testndata43	0.018
	testndata63	0.149
	testndata83	0.725
	testn9symml	0.055
	testnC17	0.001
	testnC432	0.076
	testnb1	0.002
	testnc8	0.019
	testncc	0.008
	testncm42a	0.005
	testncmb	0.032
	testnmux	0.022
	testnmyadder	0.039
	testPN34	0.001
	testPN4	0.001
	testPN45	0.002
	testPN5	0.002
	testPN56	0.001
	testPN6	0.005
	testPN67	0.002
	testPN7	0.028
	testPN78	0.003
	testPN8	0.086
	testPN89	0.003
	testPN9	0.355
	testPN910	0.003

CompetPBResLongWLMixedConstraintsObjectiveLearningTest

	testncirc43	0.513
	testncirc63	0.922
	testncirc83	0.799
	testndata43	0.019
	testndata63	0.116
	testndata83	0.493
	testn9symml	0.044
	testnC17	0.002
	testnC432	0.06
	testnb1	0.002
	testnc8	0.015
	testncc	0.007
	testncm42a	0.005
	testncmb	0.019
	testnmux	0.014
	testnmyadder	0.032
	testPN34	0.001
	testPN4	0.002
	testPN45	0.001
	testPN5	0.002
	testPN56	0.002
	testPN6	0.003
	testPN67	0.002
	testPN7	0.009
	testPN78	0.003
	testPN8	0.093
	testPN89	0.003
	testPN9	1.681
	testPN910	0.004

TestInsertionXplain

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

PBCPLongMaxClauseCardConstrLearningTest

	testaloul1011	0.255
	testaloul1015	0.153
	testaloul1020	0.237
	testaloul1516	0.145
	testaloul1520	0.078
	testaloul1525	0.064
	testaloul2021	0.122
	testaloul2025	0.057
	testaloul2030	0.066
	testaloul3031	0.479
	testaloul3035	0.122
	testaloul3040	0.08
	testaloul3536	0.722
	testaloul3540	0.129
	testaloul3545	0.169
	testaloul4041	1.277
	testaloul4045	0.151
	testaloul4050	0.212
	testaloul5051	3.685
	testaloul5055	0.364
	testaloul5060	0.406
	testncirc103	2.689
	testndata103	2.224
	testPN10	0.005
	testncirc43	0.017
	testncirc63	0.242
	testncirc83	0.593
	testndata43	0.016
	testndata63	0.239
	testndata83	0.591
	testn9symml	0.047
	testnC17	0.004
	testnC432	0.058
	testnb1	0.002
	testnc8	0.016
	testncc	0.012
	testncm42a	0.005
	testncmb	0.018
	testnmux	0.015
	testnmyadder	0.033
	testPN34	0.001
	testPN4	0.001
	testPN45	0.001
	testPN5	0.001
	testPN56	0.002
	testPN6	0.001
	testPN67	0.002
	testPN7	0.002
	testPN78	0.002
	testPN8	0.002
	testPN89	0.002
	testPN9	0.003
	testPN910	0.003

PuebloWatchedPBConstrWithPBConstrLearningTest

	testaloul1011	0.316
	testaloul1015	0.212
	testaloul1020	0.189
	testaloul1516	0.156
	testaloul1520	0.052
	testaloul1525	0.073
	testaloul2021	0.128
	testaloul2025	0.066
	testaloul2030	0.073
	testaloul3031	0.494
	testaloul3035	0.092
	testaloul3040	0.102
	testaloul3536	0.707
	testaloul3540	0.124
	testaloul3545	0.155
	testaloul4041	1.28
	testaloul4045	0.153
	testaloul4050	0.224
	testaloul5051	3.671
	testaloul5055	0.355
	testaloul5060	0.412
	testncirc103	12.53
	testndata103	12.199
	testPN10	0.005
	testncirc43	0.018
	testncirc63	0.155
	testncirc83	0.687
	testndata43	0.017
	testndata63	0.138
	testndata83	0.746
	testn9symml	0.041
	testnC17	0.004
	testnC432	0.057
	testnb1	0.002
	testnc8	0.013
	testncc	0.006
	testncm42a	0.005
	testncmb	0.019
	testnmux	0.014
	testnmyadder	0.033
	testPN34	0.002
	testPN4	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.002
	testPN9	0.004
	testPN910	0.002

WatchedPBConstrWithClauseLearningTest

	testncirc43	0.599
	testncirc63	0.929
	testncirc83	0.968
	testndata43	0.018
	testndata63	0.132
	testndata83	0.616
	testn9symml	0.042
	testnC17	0.001
	testnC432	0.057
	testnb1	0.001
	testnc8	0.014
	testncc	0.006
	testncm42a	0.005
	testncmb	0.019
	testnmux	0.024
	testnmyadder	0.035
	testPN34	0.001
	testPN4	0.001
	testPN45	0.001
	testPN5	0.002
	testPN56	0.002
	testPN6	0.004
	testPN67	0.002
	testPN7	0.018
	testPN78	0.002
	testPN8	0.049
	testPN89	0.003
	testPN9	0.45
	testPN910	0.004

TestDeletionXplain

	testExactlyConstraint	0.057
	testGlobalInconsistency	0.003
	testGlobalInconsistencyIndex	0.003
	testAlmostGlobalInconsistency	0.004
	testAlmostGlobalInconsistencyIndex	0.003
	testAlmostGlobalInconsistencyII	0.004
	testAlmostGlobalInconsistencyIIIndex	0.003
	testTheCaseOfTwoMUSes	0.003
	testEclipseTestCase	0.004
	testEclipseTestCase2	0.004

CounterPBConstrOnRandomCardProblemsTest

	testRndDeg1	0.413
	testRndDeg2	0.175
	testRndDeg3	0.156
	testRndDeg4	0.109
	testRndDeg5	0.021
	testRndDeg6	0.01
	testRndDeg7	0.007
	testRndDeg8	0.002
	testRndDeg9	0.002
	testRndDeg10	0.001
	testRndDeg11	0.002
	testRndDeg12	0.001
	testRndDeg13	0.001
	testRndDeg14	0.001
	testRndDeg15	0.001
	testRndDeg16	0.001
	testRndDeg17	0.001
	testRndDeg18	0.001
	testPN34	0.002
	testPN4	0.002
	testPN45	0.003
	testPN5	0.006
	testPN56	0.004
	testPN6	0.019
	testPN67	0.005
	testPN7	0.193
	testPN78	0.003
	testPN8	0.086
	testPN89	0.003
	testPN9	0.341
	testPN910	0.004

PBCPLongMinClauseCardConstrLearningTest

	testaloul1011	0.248
	testaloul1015	0.159
	testaloul1020	0.238
	testaloul1516	0.156
	testaloul1520	0.05
	testaloul1525	0.064
	testaloul2021	0.125
	testaloul2025	0.059
	testaloul2030	0.071
	testaloul3031	0.474
	testaloul3035	0.086
	testaloul3040	0.081
	testaloul3536	0.71
	testaloul3540	0.126
	testaloul3545	0.159
	testaloul4041	1.278
	testaloul4045	0.155
	testaloul4050	0.216
	testaloul5051	3.692
	testaloul5055	0.355
	testaloul5060	0.404
	testncirc103	3.977
	testndata103	3.448
	testPN10	0.005
	testncirc43	0.018
	testncirc63	0.146
	testncirc83	0.527
	testndata43	0.019
	testndata63	0.141
	testndata83	0.52
	testn9symml	0.045
	testnC17	0.001
	testnC432	0.059
	testnb1	0.001
	testnc8	0.014
	testncc	0.006
	testncm42a	0.005
	testncmb	0.024
	testnmux	0.014
	testnmyadder	0.034
	testPN34	0.001
	testPN4	0.001
	testPN45	0.001
	testPN5	0.002
	testPN56	0.001
	testPN6	0.002
	testPN67	0.001
	testPN7	0.001
	testPN78	0.002
	testPN8	0.003
	testPN89	0.002
	testPN9	0.003
	testPN910	0.003

CounterPBWithClauseCardConstrLearningReduceToClauseTest

	testncirc43	0.563
	testncirc63	1.302
	testncirc83	1.196
	testndata43	0.022
	testndata63	0.311
	testndata83	0.759
	testn9symml	0.044
	testnC17	0.001
	testnC432	0.057
	testnb1	0.003
	testnc8	0.018
	testncc	0.006
	testncm42a	0.006
	testncmb	0.019
	testnmux	0.014
	testnmyadder	0.034
	testPN34	0.001
	testPN4	0.002
	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.003
	testPN9	0.004
	testPN910	0.003

TestLonca

	testIteratingWithNoObjectiveFunction	0.051
	testIteratingWithObjectiveFunctionCard	0.009
	testIteratingWithObjectiveFunctionPseudo	0.005
	testIteratingWithObjectiveFunctionWithDecorator	0.003
	testRemovalOfConstraintsPropagatingLiterals	0.002
	testRemovalOfConstraintsPropagatingLiteralsBis	0.002

TestObjectiveFunction

testObjectiveFunctionWithAllWeightsToNull

0.072

WatchedCardConstrOnRandomCardProblemsTest

	testRndDeg1	0.491
	testRndDeg2	0.314
	testRndDeg3	0.155
	testRndDeg4	0.1
	testRndDeg5	0.023
	testRndDeg6	0.01
	testRndDeg7	0.006
	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.001
	testPN34	0.005
	testPN4	0.003
	testPN45	0.002
	testPN5	0.003
	testPN56	0.004
	testPN6	0.006
	testPN67	0.004
	testPN7	0.009
	testPN78	0.005
	testPN8	0.013
	testPN89	0.006
	testPN9	0.02
	testPN910	0.009

PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest

	testaloul1011	0.248
	testaloul1015	0.155
	testaloul1020	0.248
	testaloul1516	0.156
	testaloul1520	0.051
	testaloul1525	0.065
	testaloul2021	0.122
	testaloul2025	0.057
	testaloul2030	0.069
	testaloul3031	0.464
	testaloul3035	0.077
	testaloul3040	0.078
	testaloul3536	0.705
	testaloul3540	0.114
	testaloul3545	0.161
	testaloul4041	1.269
	testaloul4045	0.152
	testaloul4050	0.212
	testaloul5051	3.647
	testaloul5055	0.336
	testaloul5060	0.395
	testncirc103	3.098
	testndata103	2.641
	testPN10	0.004
	testncirc43	0.017
	testncirc63	0.129
	testncirc83	0.502
	testndata43	0.017
	testndata63	0.13
	testndata83	0.494
	testn9symml	0.047
	testnC17	0.002
	testnC432	0.054
	testnb1	0.002
	testnc8	0.014
	testncc	0.006
	testncm42a	0.005
	testncmb	0.018
	testnmux	0.013
	testnmyadder	0.031
	testPN34	0.002
	testPN4	0.001
	testPN45	0.001
	testPN5	0.001
	testPN56	0.002
	testPN6	0.001
	testPN67	0.002
	testPN7	0.002
	testPN78	0.002
	testPN8	0.002
	testPN89	0.002
	testPN9	0.003
	testPN910	0.003

MikolasTest

testLexicoOptimizationWithPseudoOptDecorator

0.056

PuebloWatchedPBConstrOnRandomCardProblemsTest

	testRndDeg1	0.791
	testRndDeg2	0.216
	testRndDeg3	0.132
	testRndDeg4	0.106
	testRndDeg5	0.021
	testRndDeg6	0.01
	testRndDeg7	0.006
	testRndDeg8	0.003
	testRndDeg9	0.001
	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.001
	testPN34	0.005
	testPN4	0.003
	testPN45	0.003
	testPN5	0.004
	testPN56	0.003
	testPN6	0.006
	testPN67	0.004
	testPN7	0.008
	testPN78	0.004
	testPN8	0.012
	testPN89	0.01
	testPN9	0.02
	testPN910	0.007

PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest

	testaloul1011	0.253
	testaloul1015	0.151
	testaloul1020	0.239
	testaloul1516	0.174
	testaloul1520	0.073
	testaloul1525	0.063
	testaloul2021	0.125
	testaloul2025	0.058
	testaloul2030	0.068
	testaloul3031	0.503
	testaloul3035	0.113
	testaloul3040	0.08
	testaloul3536	0.713
	testaloul3540	0.123
	testaloul3545	0.158
	testaloul4041	1.266
	testaloul4045	0.15
	testaloul4050	0.215
	testaloul5051	3.661
	testaloul5055	0.345
	testaloul5060	0.389
	testncirc103	2.541
	testndata103	2.145
	testPN10	0.005
	testncirc43	0.018
	testncirc63	0.148
	testncirc83	0.545
	testndata43	0.017
	testndata63	0.142
	testndata83	0.532
	testn9symml	0.044
	testnC17	0.002
	testnC432	0.058
	testnb1	0.002
	testnc8	0.022
	testncc	0.006
	testncm42a	0.005
	testncmb	0.019
	testnmux	0.015
	testnmyadder	0.034
	testPN34	0.001
	testPN4	0.001
	testPN45	0.002
	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.003

CompetMinPBResLongWLMixedConstraintsObjectiveLearningTest

	testncirc43	0.534
	testncirc63	0.904
	testncirc83	0.843
	testndata43	0.017
	testndata63	0.121
	testndata83	0.507
	testn9symml	0.045
	testnC17	0.001
	testnC432	0.055
	testnb1	0.001
	testnc8	0.014
	testncc	0.006
	testncm42a	0.005
	testncmb	0.019
	testnmux	0.014
	testnmyadder	0.033
	testPN34	0.001
	testPN4	0.001
	testPN45	0.001
	testPN5	0.002
	testPN56	0.002
	testPN6	0.003
	testPN67	0.002
	testPN7	0.01
	testPN78	0.003
	testPN8	0.095
	testPN89	0.003
	testPN9	1.722
	testPN910	0.003

PBCPMixedConstraintsCautiousTest

	testaloul1011	0.258
	testaloul1015	0.153
	testaloul1020	0.237
	testaloul1516	0.16
	testaloul1520	0.049
	testaloul1525	0.063
	testaloul2021	0.127
	testaloul2025	0.057
	testaloul2030	0.064
	testaloul3031	0.468
	testaloul3035	0.088
	testaloul3040	0.078
	testaloul3536	0.705
	testaloul3540	0.121
	testaloul3545	0.157
	testaloul4041	1.27
	testaloul4045	0.149
	testaloul4050	0.214
	testaloul5051	3.654
	testaloul5055	0.35
	testaloul5060	0.39
	testncirc103	5.074
	testndata103	4.638
	testPN10	0.005
	testncirc43	0.02
	testncirc63	0.301
	testncirc83	0.702
	testndata43	0.016
	testndata63	0.28
	testndata83	0.691
	testn9symml	0.042
	testnC17	0.003
	testnC432	0.056
	testnb1	0.002
	testnc8	0.014
	testncc	0.006
	testncm42a	0.005
	testncmb	0.019
	testnmux	0.015
	testnmyadder	0.032
	testPN34	0.002
	testPN4	0.007
	testPN45	0.001
	testPN5	0.001
	testPN56	0.002
	testPN6	0.002
	testPN67	0.002
	testPN7	0.003
	testPN78	0.002
	testPN8	0.003
	testPN89	0.002
	testPN9	0.003
	testPN910	0.003

TestQuickExplainPB

	testGlobalInconsistency	0.055
	testGlobalInconsistencyPB	0.004
	testAlmostGlobalInconsistency	0.002
	testAlmostGlobalInconsistencyII	0.002
	testAlmostGlobalInconsistencyPB	0.002
	testEclipsePatchEncoding	0.004
	testUpdatedEclipsePatchEncoding	0.004

CompetPBResLongHTMixedConstraintsObjectiveLearningTest

	testncirc43	0.54
	testncirc63	1.034
	testncirc83	0.781
	testndata43	0.018
	testndata63	0.126
	testndata83	0.515
	testn9symml	0.046
	testnC17	0.001
	testnC432	0.063
	testnb1	0.001
	testnc8	0.014
	testncc	0.007
	testncm42a	0.005
	testncmb	0.02
	testnmux	0.015
	testnmyadder	0.033
	testPN34	0.002
	testPN4	0.001
	testPN45	0.001
	testPN5	0.002
	testPN56	0.001
	testPN6	0.004
	testPN67	0.002
	testPN7	0.013
	testPN78	0.003
	testPN8	0.187
	testPN89	0.003
	testPN9	2.984
	testPN910	0.003

PBCPMaxClauseCardConstrLearningTest

	testaloul1011	0.256
	testaloul1015	0.157
	testaloul1020	0.24
	testaloul1516	0.158
	testaloul1520	0.049
	testaloul1525	0.067
	testaloul2021	0.12
	testaloul2025	0.057
	testaloul2030	0.065
	testaloul3031	0.465
	testaloul3035	0.086
	testaloul3040	0.078
	testaloul3536	0.71
	testaloul3540	0.127
	testaloul3545	0.167
	testaloul4041	1.271
	testaloul4045	0.149
	testaloul4050	0.22
	testaloul5051	3.698
	testaloul5055	0.356
	testaloul5060	0.401
	testncirc103	2.958
	testndata103	2.512
	testPN10	0.005
	testncirc43	0.017
	testncirc63	0.298
	testncirc83	0.686
	testndata43	0.017
	testndata63	0.281
	testndata83	0.674
	testn9symml	0.043
	testnC17	0.002
	testnC432	0.06
	testnb1	0.002
	testnc8	0.014
	testncc	0.009
	testncm42a	0.007
	testncmb	0.024
	testnmux	0.014
	testnmyadder	0.033
	testPN34	0.003
	testPN4	0.001
	testPN45	0.001
	testPN5	0.001
	testPN56	0.001
	testPN6	0.002
	testPN67	0.001
	testPN7	0.002
	testPN78	0.002
	testPN8	0.002
	testPN89	0.002
	testPN9	0.007
	testPN910	0.003

TestGlobalTimeoutForOptimalModelEnumeration

	testTimeoutOnSeconds	2.07
	testTimeoutOnConflicts	2.309

WatchedPBConstrOnRandomCardProblemsTest

	testRndDeg1	0.861
	testRndDeg2	0.189
	testRndDeg3	0.139
	testRndDeg4	0.156
	testRndDeg5	0.03
	testRndDeg6	0.014
	testRndDeg7	0.008
	testRndDeg8	0.002
	testRndDeg9	0.002
	testRndDeg10	0.001
	testRndDeg11	0.004
	testRndDeg12	0.001
	testRndDeg13	0.002
	testRndDeg14	0.001
	testRndDeg15	0.001
	testRndDeg16	0.001
	testRndDeg17	0.001
	testRndDeg18	0.002
	testPN34	0.002
	testPN4	0.003
	testPN45	0.004
	testPN5	0.007
	testPN56	0.005
	testPN6	0.022
	testPN67	0.011
	testPN7	0.249
	testPN78	0.005
	testPN8	0.279
	testPN89	0.004
	testPN9	0.623
	testPN910	0.004

CounterPBConstrWithPBConstrLearningTest

	testncirc43	0.706
	testncirc63	0.906
	testncirc83	1.138
	testndata43	0.022
	testndata63	0.163
	testndata83	0.783
	testn9symml	0.064
	testnC17	0.001
	testnC432	0.088
	testnb1	0.002
	testnc8	0.021
	testncc	0.007
	testncm42a	0.005
	testncmb	0.037
	testnmux	0.017
	testnmyadder	0.044
	testPN34	0.001
	testPN4	0.002
	testPN45	0.001
	testPN5	0.002
	testPN56	0.002
	testPN6	0.002
	testPN67	0.002
	testPN7	0.002
	testPN78	0.003
	testPN8	0.003
	testPN89	0.003
	testPN9	0.003
	testPN910	0.003

Parent Project

Project Documentation