Surefire Report

Summary

Tests	Errors	Failures	Skipped	Success Rate	Time
1006	0	0	0	100%	339.727

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%	335.608
org.sat4j.pb	55	0	0	0	100%	4.119

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
CompetMinPBResLongWLMixedConstraintsObjectiveLearningTest	29	100%	3.283
CompetPBResLongHTMixedConstraintsObjectiveLearningTest	29	100%	3.283
CompetPBResLongWLMixedConstraintsObjectiveLearningTest	29	100%	3.311
CounterPBConstrOnRandomCardProblemsTest	31	100%	1.026
CounterPBConstrWithClauseAtLeastConstrLearningTest	53	100%	172.548
CounterPBConstrWithClauseCardConstrLearningTest	29	100%	2.711
CounterPBConstrWithClauseLearningTest	29	100%	3.018
CounterPBConstrWithPBConstrLearningTest	29	100%	2.41
CounterPBWithClauseCardConstrLearningReduceToClauseTest	29	100%	2.625
MiniOPBClauseCardMinLearningTest	53	100%	12.345
PBCPLongMaxClauseCardConstrLearningTest	53	100%	10.388
PBCPLongMinClauseCardConstrLearningTest	53	100%	12.282
PBCPMaxClauseCardConstrLearningTest	53	100%	11.092
PBCPMinClauseCardConstrLearningTest	53	100%	12.041
PBCPMixedConstraintsResCPTest	29	100%	2.245
PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest	53	100%	10.874
PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest	53	100%	10.15
PuebloWatchedPBConstrOnRandomCardProblemsTest	31	100%	0.541
PuebloWatchedPBConstrWithClauseLearningTest	29	100%	2.404
PuebloWatchedPBConstrWithPBConstrLearningTest	53	100%	23.631
TestQuickExplainPB	7	100%	0.094
WatchedCardConstrOnRandomCardProblemsTest	31	100%	0.495
WatchedPBConstrOnRandomCardProblemsTest	31	100%	1.102
WatchedPBConstrWithClauseLearningTest	29	100%	2.385
WatchedPBConstrWithPBConstrLearningTest	53	100%	29.324

org.sat4j.pb

Class	Tests	Success Rate	Time
MikolasTest	1	100%	0.075
TestDeletionXplain	10	100%	0.11
TestDependencyHelper	19	100%	0.146
TestEclipseBug247567	1	100%	0.078
TestEclipseBug275101	1	100%	0.313
TestGlobalTimeoutForOptimalModelEnumeration	2	100%	3.085
TestInsertionXplain	10	100%	0.121
TestObjectiveFunction	1	100%	0.077
TestQuickXplain	10	100%	0.114

Test Cases

[Summary] [Package List] [Test Cases]

CompetMinPBResLongWLMixedConstraintsObjectiveLearningTest

	testncirc43	0.355
	testncirc63	0.507
	testncirc83	0.511
	testndata43	0.01
	testndata63	0.077
	testndata83	0.302
	testn9symml	0.032
	testnC17	0.001
	testnC432	0.039
	testnb1	0.002
	testnc8	0.012
	testncc	0.004
	testncm42a	0.006
	testncmb	0.015
	testnmux	0.01
	testnmyadder	0.025
	testPN34	0.001
	testPN4	0.001
	testPN45	0.001
	testPN5	0.001
	testPN56	0.001
	testPN6	0.003
	testPN67	0.002
	testPN7	0.01
	testPN78	0.002
	testPN8	0.08
	testPN89	0.002
	testPN9	1.244
	testPN910	0.002

CompetPBResLongHTMixedConstraintsObjectiveLearningTest

	testncirc43	0.353
	testncirc63	0.692
	testncirc83	0.574
	testndata43	0.011
	testndata63	0.08
	testndata83	0.305
	testn9symml	0.034
	testnC17	0.001
	testnC432	0.051
	testnb1	0.001
	testnc8	0.012
	testncc	0.006
	testncm42a	0.007
	testncmb	0.012
	testnmux	0.01
	testnmyadder	0.028
	testPN34	0.001
	testPN4	0.001
	testPN45	0
	testPN5	0.002
	testPN56	0.001
	testPN6	0.003
	testPN67	0.001
	testPN7	0.011
	testPN78	0.002
	testPN8	0.103
	testPN89	0.002
	testPN9	0.951
	testPN910	0.002

CompetPBResLongWLMixedConstraintsObjectiveLearningTest

	testncirc43	0.362
	testncirc63	0.557
	testncirc83	0.478
	testndata43	0.015
	testndata63	0.088
	testndata83	0.295
	testn9symml	0.03
	testnC17	0.001
	testnC432	0.037
	testnb1	0.001
	testnc8	0.009
	testncc	0.003
	testncm42a	0.005
	testncmb	0.012
	testnmux	0.01
	testnmyadder	0.021
	testPN34	0.001
	testPN4	0.001
	testPN45	0
	testPN5	0.001
	testPN56	0
	testPN6	0.002
	testPN67	0.001
	testPN7	0.008
	testPN78	0.001
	testPN8	0.082
	testPN89	0.002
	testPN9	1.257
	testPN910	0.002

CounterPBConstrOnRandomCardProblemsTest

	testRndDeg1	0.291
	testRndDeg2	0.111
	testRndDeg3	0.082
	testRndDeg4	0.054
	testRndDeg5	0.012
	testRndDeg6	0.006
	testRndDeg7	0.003
	testRndDeg8	0.001
	testRndDeg9	0.001
	testRndDeg10	0.002
	testRndDeg11	0
	testRndDeg12	0.001
	testRndDeg13	0
	testRndDeg14	0
	testRndDeg15	0.001
	testRndDeg16	0
	testRndDeg17	0.001
	testRndDeg18	0
	testPN34	0.001
	testPN4	0.002
	testPN45	0.001
	testPN5	0.004
	testPN56	0.002
	testPN6	0.014
	testPN67	0.002
	testPN7	0.096
	testPN78	0.003
	testPN8	0.071
	testPN89	0.003
	testPN9	0.232
	testPN910	0.003

CounterPBConstrWithClauseAtLeastConstrLearningTest

	testaloul1011	0.169
	testaloul1015	0.11
	testaloul1020	0.131
	testaloul1516	0.082
	testaloul1520	0.035
	testaloul1525	0.046
	testaloul2021	0.078
	testaloul2025	0.035
	testaloul2030	0.042
	testaloul3031	0.313
	testaloul3035	0.054
	testaloul3040	0.057
	testaloul3536	0.473
	testaloul3540	0.072
	testaloul3545	0.086
	testaloul4041	0.883
	testaloul4045	0.106
	testaloul4050	0.148
	testaloul5051	2.641
	testaloul5055	0.249
	testaloul5060	0.282
	testncirc103	82.785
	testndata103	82.482
	testPN10	0.012
	testncirc43	0.013
	testncirc63	0.107
	testncirc83	0.363
	testndata43	0.014
	testndata63	0.1
	testndata83	0.362
	testn9symml	0.039
	testnC17	0.002
	testnC432	0.052
	testnb1	0.001
	testnc8	0.01
	testncc	0.005
	testncm42a	0.004
	testncmb	0.024
	testnmux	0.01
	testnmyadder	0.026
	testPN34	0.001
	testPN4	0
	testPN45	0.001
	testPN5	0.001
	testPN56	0.001
	testPN6	0.001
	testPN67	0.001
	testPN7	0.001
	testPN78	0.001
	testPN8	0.001
	testPN89	0.002
	testPN9	0.002
	testPN910	0.002

CounterPBConstrWithClauseCardConstrLearningTest

	testncirc43	0.413
	testncirc63	0.79
	testncirc83	0.608
	testndata43	0.014
	testndata63	0.243
	testndata83	0.467
	testn9symml	0.03
	testnC17	0.001
	testnC432	0.038
	testnb1	0.001
	testnc8	0.011
	testncc	0.004
	testncm42a	0.003
	testncmb	0.015
	testnmux	0.008
	testnmyadder	0.022
	testPN34	0.001
	testPN4	0
	testPN45	0
	testPN5	0.001
	testPN56	0.001
	testPN6	0.002
	testPN67	0.001
	testPN7	0.001
	testPN78	0.001
	testPN8	0.002
	testPN89	0.001
	testPN9	0.002
	testPN910	0.001

CounterPBConstrWithClauseLearningTest

	testncirc43	0.437
	testncirc63	0.531
	testncirc83	0.797
	testndata43	0.011
	testndata63	0.107
	testndata83	0.646
	testn9symml	0.029
	testnC17	0.001
	testnC432	0.044
	testnb1	0.001
	testnc8	0.01
	testncc	0.004
	testncm42a	0.004
	testncmb	0.017
	testnmux	0.009
	testnmyadder	0.026
	testPN34	0.001
	testPN4	0.001
	testPN45	0.001
	testPN5	0.001
	testPN56	0.001
	testPN6	0.003
	testPN67	0.001
	testPN7	0.037
	testPN78	0.002
	testPN8	0.046
	testPN89	0.002
	testPN9	0.215
	testPN910	0.003

CounterPBConstrWithPBConstrLearningTest

	testncirc43	0.415
	testncirc63	0.472
	testncirc83	0.715
	testndata43	0.015
	testndata63	0.1
	testndata83	0.505
	testn9symml	0.033
	testnC17	0.001
	testnC432	0.04
	testnb1	0.001
	testnc8	0.011
	testncc	0.004
	testncm42a	0.003
	testncmb	0.017
	testnmux	0.012
	testnmyadder	0.027
	testPN34	0
	testPN4	0
	testPN45	0.001
	testPN5	0.001
	testPN56	0.001
	testPN6	0.001
	testPN67	0.001
	testPN7	0.001
	testPN78	0.002
	testPN8	0.001
	testPN89	0.002
	testPN9	0.002
	testPN910	0.002

CounterPBWithClauseCardConstrLearningReduceToClauseTest

	testncirc43	0.356
	testncirc63	0.756
	testncirc83	0.688
	testndata43	0.01
	testndata63	0.185
	testndata83	0.459
	testn9symml	0.031
	testnC17	0
	testnC432	0.037
	testnb1	0.001
	testnc8	0.009
	testncc	0.003
	testncm42a	0.005
	testncmb	0.011
	testnmux	0.01
	testnmyadder	0.022
	testPN34	0.001
	testPN4	0.001
	testPN45	0.001
	testPN5	0
	testPN56	0.001
	testPN6	0.001
	testPN67	0.001
	testPN7	0.002
	testPN78	0.001
	testPN8	0.002
	testPN89	0.001
	testPN9	0.002
	testPN910	0.002

MiniOPBClauseCardMinLearningTest

	testaloul1011	0.158
	testaloul1015	0.096
	testaloul1020	0.123
	testaloul1516	0.091
	testaloul1520	0.035
	testaloul1525	0.047
	testaloul2021	0.084
	testaloul2025	0.036
	testaloul2030	0.047
	testaloul3031	0.28
	testaloul3035	0.057
	testaloul3040	0.057
	testaloul3536	0.482
	testaloul3540	0.076
	testaloul3545	0.093
	testaloul4041	0.896
	testaloul4045	0.109
	testaloul4050	0.146
	testaloul5051	2.657
	testaloul5055	0.256
	testaloul5060	0.276
	testncirc103	2.745
	testndata103	2.324
	testPN10	0.003
	testncirc43	0.015
	testncirc63	0.104
	testncirc83	0.374
	testndata43	0.014
	testndata63	0.102
	testndata83	0.357
	testn9symml	0.038
	testnC17	0.001
	testnC432	0.047
	testnb1	0.003
	testnc8	0.019
	testncc	0.005
	testncm42a	0.004
	testncmb	0.015
	testnmux	0.008
	testnmyadder	0.021
	testPN34	0.001
	testPN4	0.002
	testPN45	0
	testPN5	0
	testPN56	0.003
	testPN6	0.001
	testPN67	0.001
	testPN7	0.001
	testPN78	0.001
	testPN8	0.002
	testPN89	0.001
	testPN9	0.001
	testPN910	0.001

PBCPLongMaxClauseCardConstrLearningTest

	testaloul1011	0.159
	testaloul1015	0.093
	testaloul1020	0.123
	testaloul1516	0.089
	testaloul1520	0.035
	testaloul1525	0.046
	testaloul2021	0.076
	testaloul2025	0.037
	testaloul2030	0.044
	testaloul3031	0.312
	testaloul3035	0.057
	testaloul3040	0.056
	testaloul3536	0.475
	testaloul3540	0.073
	testaloul3545	0.09
	testaloul4041	0.886
	testaloul4045	0.107
	testaloul4050	0.142
	testaloul5051	2.632
	testaloul5055	0.246
	testaloul5060	0.272
	testncirc103	1.654
	testndata103	1.336
	testPN10	0.009
	testncirc43	0.012
	testncirc63	0.161
	testncirc83	0.384
	testndata43	0.016
	testndata63	0.157
	testndata83	0.388
	testn9symml	0.041
	testnC17	0.001
	testnC432	0.062
	testnb1	0.001
	testnc8	0.016
	testncc	0.004
	testncm42a	0.003
	testncmb	0.017
	testnmux	0.009
	testnmyadder	0.021
	testPN34	0
	testPN4	0.001
	testPN45	0.001
	testPN5	0
	testPN56	0.003
	testPN6	0.001
	testPN67	0.001
	testPN7	0.001
	testPN78	0.001
	testPN8	0.002
	testPN89	0.001
	testPN9	0.002
	testPN910	0.002

PBCPLongMinClauseCardConstrLearningTest

	testaloul1011	0.159
	testaloul1015	0.094
	testaloul1020	0.129
	testaloul1516	0.094
	testaloul1520	0.034
	testaloul1525	0.046
	testaloul2021	0.08
	testaloul2025	0.039
	testaloul2030	0.043
	testaloul3031	0.305
	testaloul3035	0.058
	testaloul3040	0.057
	testaloul3536	0.479
	testaloul3540	0.075
	testaloul3545	0.097
	testaloul4041	0.894
	testaloul4045	0.107
	testaloul4050	0.143
	testaloul5051	2.711
	testaloul5055	0.269
	testaloul5060	0.287
	testncirc103	2.782
	testndata103	2.21
	testPN10	0.003
	testncirc43	0.01
	testncirc63	0.101
	testncirc83	0.352
	testndata43	0.012
	testndata63	0.093
	testndata83	0.327
	testn9symml	0.036
	testnC17	0.001
	testnC432	0.041
	testnb1	0.001
	testnc8	0.02
	testncc	0.003
	testncm42a	0.003
	testncmb	0.012
	testnmux	0.009
	testnmyadder	0.02
	testPN34	0.001
	testPN4	0.001
	testPN45	0
	testPN5	0
	testPN56	0.002
	testPN6	0
	testPN67	0.001
	testPN7	0.001
	testPN78	0.001
	testPN8	0.003
	testPN89	0.002
	testPN9	0.002
	testPN910	0.003

PBCPMaxClauseCardConstrLearningTest

	testaloul1011	0.162
	testaloul1015	0.091
	testaloul1020	0.132
	testaloul1516	0.075
	testaloul1520	0.034
	testaloul1525	0.046
	testaloul2021	0.079
	testaloul2025	0.035
	testaloul2030	0.042
	testaloul3031	0.288
	testaloul3035	0.057
	testaloul3040	0.056
	testaloul3536	0.476
	testaloul3540	0.074
	testaloul3545	0.086
	testaloul4041	0.888
	testaloul4045	0.108
	testaloul4050	0.142
	testaloul5051	2.612
	testaloul5055	0.245
	testaloul5060	0.279
	testncirc103	1.941
	testndata103	1.588
	testPN10	0.003
	testncirc43	0.012
	testncirc63	0.203
	testncirc83	0.472
	testndata43	0.011
	testndata63	0.195
	testndata83	0.452
	testn9symml	0.039
	testnC17	0.001
	testnC432	0.043
	testnb1	0.001
	testnc8	0.008
	testncc	0.004
	testncm42a	0.018
	testncmb	0.013
	testnmux	0.013
	testnmyadder	0.021
	testPN34	0.001
	testPN4	0
	testPN45	0.001
	testPN5	0.001
	testPN56	0.001
	testPN6	0.001
	testPN67	0.002
	testPN7	0.001
	testPN78	0.001
	testPN8	0.002
	testPN89	0.001
	testPN9	0.002
	testPN910	0.002

PBCPMinClauseCardConstrLearningTest

	testaloul1011	0.165
	testaloul1015	0.096
	testaloul1020	0.13
	testaloul1516	0.094
	testaloul1520	0.034
	testaloul1525	0.051
	testaloul2021	0.082
	testaloul2025	0.039
	testaloul2030	0.043
	testaloul3031	0.283
	testaloul3035	0.056
	testaloul3040	0.055
	testaloul3536	0.474
	testaloul3540	0.073
	testaloul3545	0.092
	testaloul4041	0.886
	testaloul4045	0.106
	testaloul4050	0.141
	testaloul5051	2.605
	testaloul5055	0.246
	testaloul5060	0.27
	testncirc103	2.657
	testndata103	2.249
	testPN10	0.003
	testncirc43	0.016
	testncirc63	0.098
	testncirc83	0.352
	testndata43	0.014
	testndata63	0.096
	testndata83	0.34
	testn9symml	0.037
	testnC17	0
	testnC432	0.043
	testnb1	0.002
	testnc8	0.022
	testncc	0.003
	testncm42a	0.003
	testncmb	0.014
	testnmux	0.008
	testnmyadder	0.02
	testPN34	0.001
	testPN4	0.001
	testPN45	0.001
	testPN5	0
	testPN56	0
	testPN6	0.001
	testPN67	0.001
	testPN7	0.001
	testPN78	0.001
	testPN8	0.001
	testPN89	0.001
	testPN9	0.002
	testPN910	0.003

PBCPMixedConstraintsResCPTest

	testncirc43	0.376
	testncirc63	0.555
	testncirc83	0.515
	testndata43	0.012
	testndata63	0.093
	testndata83	0.355
	testn9symml	0.03
	testnC17	0
	testnC432	0.039
	testnb1	0.002
	testnc8	0.01
	testncc	0.006
	testncm42a	0.003
	testncmb	0.011
	testnmux	0.011
	testnmyadder	0.021
	testPN34	0.001
	testPN4	0.001
	testPN45	0.001
	testPN5	0.001
	testPN56	0.001
	testPN6	0.002
	testPN67	0.001
	testPN7	0.009
	testPN78	0.002
	testPN8	0.032
	testPN89	0.001
	testPN9	0.127
	testPN910	0.001

PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest

	testaloul1011	0.157
	testaloul1015	0.09
	testaloul1020	0.128
	testaloul1516	0.082
	testaloul1520	0.035
	testaloul1525	0.056
	testaloul2021	0.074
	testaloul2025	0.035
	testaloul2030	0.041
	testaloul3031	0.292
	testaloul3035	0.055
	testaloul3040	0.056
	testaloul3536	0.476
	testaloul3540	0.072
	testaloul3545	0.086
	testaloul4041	0.88
	testaloul4045	0.106
	testaloul4050	0.142
	testaloul5051	2.587
	testaloul5055	0.247
	testaloul5060	0.274
	testncirc103	2.078
	testndata103	1.691
	testPN10	0.003
	testncirc43	0.012
	testncirc63	0.097
	testncirc83	0.367
	testndata43	0.011
	testndata63	0.096
	testndata83	0.347
	testn9symml	0.038
	testnC17	0.003
	testnC432	0.046
	testnb1	0.001
	testnc8	0.011
	testncc	0.01
	testncm42a	0.004
	testncmb	0.013
	testnmux	0.011
	testnmyadder	0.022
	testPN34	0
	testPN4	0.001
	testPN45	0.001
	testPN5	0
	testPN56	0
	testPN6	0.001
	testPN67	0.001
	testPN7	0.002
	testPN78	0.001
	testPN8	0.001
	testPN89	0.001
	testPN9	0.002
	testPN910	0.002

PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest

	testaloul1011	0.158
	testaloul1015	0.09
	testaloul1020	0.135
	testaloul1516	0.09
	testaloul1520	0.035
	testaloul1525	0.046
	testaloul2021	0.077
	testaloul2025	0.037
	testaloul2030	0.042
	testaloul3031	0.285
	testaloul3035	0.057
	testaloul3040	0.057
	testaloul3536	0.474
	testaloul3540	0.078
	testaloul3545	0.089
	testaloul4041	0.887
	testaloul4045	0.108
	testaloul4050	0.141
	testaloul5051	2.603
	testaloul5055	0.243
	testaloul5060	0.27
	testncirc103	1.658
	testndata103	1.296
	testPN10	0.009
	testncirc43	0.011
	testncirc63	0.106
	testncirc83	0.381
	testndata43	0.012
	testndata63	0.103
	testndata83	0.359
	testn9symml	0.04
	testnC17	0.002
	testnC432	0.048
	testnb1	0.003
	testnc8	0.008
	testncc	0.005
	testncm42a	0.023
	testncmb	0.01
	testnmux	0.011
	testnmyadder	0.021
	testPN34	0.001
	testPN4	0.001
	testPN45	0
	testPN5	0
	testPN56	0.001
	testPN6	0.001
	testPN67	0.001
	testPN7	0.002
	testPN78	0.001
	testPN8	0.001
	testPN89	0.002
	testPN9	0.002
	testPN910	0.001

PuebloWatchedPBConstrOnRandomCardProblemsTest

	testRndDeg1	0.17
	testRndDeg2	0.088
	testRndDeg3	0.085
	testRndDeg4	0.069
	testRndDeg5	0.015
	testRndDeg6	0.006
	testRndDeg7	0.004
	testRndDeg8	0.002
	testRndDeg9	0.001
	testRndDeg10	0.001
	testRndDeg11	0
	testRndDeg12	0
	testRndDeg13	0.001
	testRndDeg14	0.001
	testRndDeg15	0
	testRndDeg16	0.001
	testRndDeg17	0.001
	testRndDeg18	0
	testPN34	0.002
	testPN4	0.002
	testPN45	0.002
	testPN5	0.002
	testPN56	0.003
	testPN6	0.005
	testPN67	0.004
	testPN7	0.009
	testPN78	0.005
	testPN8	0.012
	testPN89	0.004
	testPN9	0.015
	testPN910	0.004

PuebloWatchedPBConstrWithClauseLearningTest

	testncirc43	0.381
	testncirc63	0.555
	testncirc83	0.521
	testndata43	0.013
	testndata63	0.092
	testndata83	0.408
	testn9symml	0.035
	testnC17	0.004
	testnC432	0.039
	testnb1	0.001
	testnc8	0.01
	testncc	0.004
	testncm42a	0.002
	testncmb	0.014
	testnmux	0.01
	testnmyadder	0.022
	testPN34	0.001
	testPN4	0.001
	testPN45	0.001
	testPN5	0.001
	testPN56	0.001
	testPN6	0.003
	testPN67	0.001
	testPN7	0.034
	testPN78	0.001
	testPN8	0.042
	testPN89	0.001
	testPN9	0.181
	testPN910	0.001

PuebloWatchedPBConstrWithPBConstrLearningTest

	testaloul1011	0.183
	testaloul1015	0.117
	testaloul1020	0.094
	testaloul1516	0.093
	testaloul1520	0.036
	testaloul1525	0.046
	testaloul2021	0.079
	testaloul2025	0.038
	testaloul2030	0.047
	testaloul3031	0.299
	testaloul3035	0.063
	testaloul3040	0.064
	testaloul3536	0.471
	testaloul3540	0.075
	testaloul3545	0.093
	testaloul4041	0.88
	testaloul4045	0.111
	testaloul4050	0.149
	testaloul5051	2.571
	testaloul5055	0.249
	testaloul5060	0.276
	testncirc103	8.229
	testndata103	7.961
	testPN10	0.005
	testncirc43	0.019
	testncirc63	0.104
	testncirc83	0.484
	testndata43	0.015
	testndata63	0.1
	testndata83	0.465
	testn9symml	0.028
	testnC17	0.001
	testnC432	0.042
	testnb1	0.002
	testnc8	0.015
	testncc	0.005
	testncm42a	0.004
	testncmb	0.027
	testnmux	0.016
	testnmyadder	0.029
	testPN34	0.001
	testPN4	0.002
	testPN45	0.001
	testPN5	0.002
	testPN56	0.001
	testPN6	0
	testPN67	0
	testPN7	0.002
	testPN78	0.001
	testPN8	0.001
	testPN89	0.001
	testPN9	0.002
	testPN910	0.002

TestQuickExplainPB

	testGlobalInconsistency	0.043
	testGlobalInconsistencyPB	0.004
	testAlmostGlobalInconsistency	0.002
	testAlmostGlobalInconsistencyII	0.002
	testAlmostGlobalInconsistencyPB	0.001
	testEclipsePatchEncoding	0.003
	testUpdatedEclipsePatchEncoding	0.003

WatchedCardConstrOnRandomCardProblemsTest

	testRndDeg1	0.172
	testRndDeg2	0.09
	testRndDeg3	0.073
	testRndDeg4	0.05
	testRndDeg5	0.011
	testRndDeg6	0.005
	testRndDeg7	0.003
	testRndDeg8	0.001
	testRndDeg9	0.001
	testRndDeg10	0
	testRndDeg11	0
	testRndDeg12	0.001
	testRndDeg13	0
	testRndDeg14	0.001
	testRndDeg15	0
	testRndDeg16	0.001
	testRndDeg17	0
	testRndDeg18	0
	testPN34	0.003
	testPN4	0.002
	testPN45	0.001
	testPN5	0.002
	testPN56	0.002
	testPN6	0.004
	testPN67	0.002
	testPN7	0.006
	testPN78	0.003
	testPN8	0.01
	testPN89	0.003
	testPN9	0.015
	testPN910	0.004

WatchedPBConstrOnRandomCardProblemsTest

	testRndDeg1	0.203
	testRndDeg2	0.113
	testRndDeg3	0.091
	testRndDeg4	0.07
	testRndDeg5	0.014
	testRndDeg6	0.007
	testRndDeg7	0.004
	testRndDeg8	0.001
	testRndDeg9	0.001
	testRndDeg10	0
	testRndDeg11	0.001
	testRndDeg12	0.001
	testRndDeg13	0
	testRndDeg14	0.001
	testRndDeg15	0.001
	testRndDeg16	0
	testRndDeg17	0.001
	testRndDeg18	0
	testPN34	0.001
	testPN4	0.002
	testPN45	0.001
	testPN5	0.004
	testPN56	0.002
	testPN6	0.016
	testPN67	0.003
	testPN7	0.102
	testPN78	0.003
	testPN8	0.196
	testPN89	0.003
	testPN9	0.233
	testPN910	0.002

WatchedPBConstrWithClauseLearningTest

	testncirc43	0.401
	testncirc63	0.49
	testncirc83	0.544
	testndata43	0.013
	testndata63	0.09
	testndata83	0.409
	testn9symml	0.041
	testnC17	0.001
	testnC432	0.036
	testnb1	0.003
	testnc8	0.008
	testncc	0.004
	testncm42a	0.003
	testncmb	0.013
	testnmux	0.01
	testnmyadder	0.021
	testPN34	0
	testPN4	0.001
	testPN45	0.001
	testPN5	0.001
	testPN56	0.001
	testPN6	0.003
	testPN67	0.001
	testPN7	0.034
	testPN78	0.002
	testPN8	0.043
	testPN89	0.001
	testPN9	0.185
	testPN910	0.001

WatchedPBConstrWithPBConstrLearningTest

	testaloul1011	0.189
	testaloul1015	0.145
	testaloul1020	0.071
	testaloul1516	0.068
	testaloul1520	0.036
	testaloul1525	0.047
	testaloul2021	0.087
	testaloul2025	0.042
	testaloul2030	0.049
	testaloul3031	0.3
	testaloul3035	0.067
	testaloul3040	0.058
	testaloul3536	0.476
	testaloul3540	0.075
	testaloul3545	0.091
	testaloul4041	0.878
	testaloul4045	0.111
	testaloul4050	0.149
	testaloul5051	2.573
	testaloul5055	0.248
	testaloul5060	0.278
	testncirc103	11.117
	testndata103	10.744
	testPN10	0.004
	testncirc43	0.014
	testncirc63	0.113
	testncirc83	0.48
	testndata43	0.012
	testndata63	0.101
	testndata83	0.476
	testn9symml	0.029
	testnC17	0.003
	testnC432	0.043
	testnb1	0.003
	testnc8	0.015
	testncc	0.005
	testncm42a	0.004
	testncmb	0.028
	testnmux	0.011
	testnmyadder	0.034
	testPN34	0.001
	testPN4	0
	testPN45	0.001
	testPN5	0.003
	testPN56	0.001
	testPN6	0.002
	testPN67	0.001
	testPN7	0.001
	testPN78	0.001
	testPN8	0.001
	testPN89	0.002
	testPN9	0.002
	testPN910	0.001

MikolasTest

testLexicoOptimizationWithPseudoOptDecorator

0.043

TestDeletionXplain

	testExactlyConstraint	0.045
	testGlobalInconsistency	0.002
	testGlobalInconsistencyIndex	0.003
	testAlmostGlobalInconsistency	0.002
	testAlmostGlobalInconsistencyIndex	0.002
	testAlmostGlobalInconsistencyII	0.002
	testAlmostGlobalInconsistencyIIIndex	0.002
	testTheCaseOfTwoMUSes	0.002
	testEclipseTestCase	0.003
	testEclipseTestCase2	0.002

TestDependencyHelper

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

TestEclipseBug247567

testReserveVarsButUseLess

0.046

TestEclipseBug275101