Surefire Report

Summary

[Summary] [Package List] [Test Cases]


Tests Errors Failures Skipped Success Rate Time
909 0 0 0 100% 959.698

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.minisat.core 21 0 0 0 100% 0.174
org.sat4j.tools 1 0 0 0 100% 0.087
org.sat4j.core 24 0 0 0 100% 0.083
org.sat4j.minisat.constraints 5 0 0 0 100% 0.032
org.sat4j.minisat 831 0 0 0 100% 950.335
org.sat4j 27 0 0 0 100% 8.987

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

org.sat4j.minisat.core

Class Tests Errors Failures Skipped Success Rate Time
HeapTest 8 0 0 0 100% 0.039
QueueTest 4 0 0 0 100% 0.021
TestAtMost 6 0 0 0 100% 0.095
LboolTest 3 0 0 0 100% 0.019

org.sat4j.tools

Class Tests Errors Failures Skipped Success Rate Time
TestGateTranslator 1 0 0 0 100% 0.087

org.sat4j.core

Class Tests Errors Failures Skipped Success Rate Time
VecTest 24 0 0 0 100% 0.083

org.sat4j.minisat.constraints

Class Tests Errors Failures Skipped Success Rate Time
LitTest 5 0 0 0 100% 0.032

org.sat4j.minisat

Class Tests Errors Failures Skipped Success Rate Time
M2BackjumpingTest 98 0 0 0 100% 185.435
M2CardMaxYannTest 98 0 0 0 100% 329.747
M2CardMinYannTest 98 0 0 0 100% 59.929
M2MiniLearningCBTest 98 0 0 0 100% 69.074
VarOrderTest 9 0 0 0 100% 0.047
TestsFonctionnels 13 0 0 0 100% 0.361
M2RelsatTest 98 0 0 0 100% 76.078
TestAssertion 1 0 0 0 100% 0.015
M2MiniSATTest 98 0 0 0 100% 54.653
GenericM2Test 23 0 0 0 100% 46.868
M2MiniLearningTest 98 0 0 0 100% 55.351
TestLubyFunction 1 0 0 0 100% 0.026
M2AtLeastTest 98 0 0 0 100% 72.751

org.sat4j

Class Tests Errors Failures Skipped Success Rate Time
TestFreeId 3 0 0 0 100% 0.073
TestQuickExplain 6 0 0 0 100% 0.249
TestConstrGroup 6 0 0 0 100% 0.108
SingleSolutionTest 4 0 0 0 100% 0.114
ModelIteratorTest 8 0 0 0 100% 8.443

Test Cases

[Summary] [Package List] [Test Cases]

M2BackjumpingTest

testAim50SAT1 0.18
testAim50SAT2 0.051
testAim50SAT3 0.026
testAim50SAT4 0.05
testAim50SAT5 0.1
testAim50SAT6 0.099
testAim50SAT7 0.081
testAim50SAT8 0.197
testAim50SAT9 0.039
testAim50SAT10 0.08
testAim50SAT11 0.053
testAim50SAT12 0.104
testAim50SAT13 0.084
testAim50SAT14 0.076
testAim50SAT15 0.083
testAim50SAT16 0.078
testAim50UNSAT1 0.047
testAim50UNSAT2 0.064
testAim50UNSAT3 0.049
testAim50UNSAT4 0.034
testAim50UNSAT5 0.043
testAim50UNSAT6 0.048
testAim50UNSAT7 0.051
testAim50UNSAT8 0.053
testIi1 0.038
testIi2 0.114
testIi3 0.201
testIi4 0.374
testIi5 0.253
testIi6 0.441
testIi7 0.665
testIi8 0.869
testIi9 0.35
testIi10 0.756
testIi11 0.358
testIi12 0.653
testIi13 0.33
testIi14 0.624
testIi15 1.973
testIi16 9.314
testIi17 2.53
testIi18 2.129
testIi20 4.188
testIi21 1.783
testIi22 1.392
testIi23 2.149
testJNH1 0.189
testJNH2 0.153
testJNH3 0.658
testJNH4 0.194
testJNH5 0.258
testJNH6 0.384
testJNH7 0.174
testJNH8 0.176
testJNH9 0.287
testJNH10 0.178
testJNH11 0.335
testJNH12 0.193
testJNH13 0.199
testJNH14 0.166
testJNH15 0.23
testJNH16 3.485
testJNH17 0.151
testJNH18 0.358
testJNH19 0.249
testJNH20 0.33
testJNH21 0.17
testJNH22 0.168
testJNH23 0.456
testJNH24 0.39
testJNH25 0.224
testJNH26 0.27
testJNH27 0.199
testJNH28 0.262
testJNH29 0.293
testJNH30 0.153
testJNH31 0.222
testJNH32 0.886
testJNH33 0.21
testJNH34 0.178
testJNH35 0.206
testJNH36 0.313
testJNH37 0.181
testJNH38 0.156
testJNH39 0.41
testJNH40 0.621
testJNH41 0.239
testJNH42 0.141
testJNH43 0.256
testJNH44 0.138
testJNH45 0.222
testJNH46 1.297
testJNH47 0.172
testJNH48 0.347
testJNH49 0.149
testJNH50 0.131
testHole6 7.809
testHole7 126.9

M2CardMaxYannTest

testAim50SAT1 0.183
testAim50SAT2 0.057
testAim50SAT3 0.035
testAim50SAT4 0.051
testAim50SAT5 0.087
testAim50SAT6 0.089
testAim50SAT7 0.091
testAim50SAT8 0.102
testAim50SAT9 0.054
testAim50SAT10 0.075
testAim50SAT11 0.088
testAim50SAT12 0.165
testAim50SAT13 0.096
testAim50SAT14 0.092
testAim50SAT15 0.104
testAim50SAT16 0.109
testAim50UNSAT1 0.035
testAim50UNSAT2 0.051
testAim50UNSAT3 0.041
testAim50UNSAT4 0.034
testAim50UNSAT5 0.037
testAim50UNSAT6 0.046
testAim50UNSAT7 0.044
testAim50UNSAT8 0.052
testIi1 0.049
testIi2 0.259
testIi3 0.64
testIi4 1.537
testIi5 0.983
testIi6 2.947
testIi7 5.916
testIi8 10.173
testIi9 1.996
testIi10 7.424
testIi11 2.207
testIi12 7.115
testIi13 2.066
testIi14 6.278
testIi15 35.8
testIi16 46.083
testIi17 48.018
testIi18 20.387
testIi20 26.582
testIi21 22.685
testIi22 12.505
testIi23 21.812
testJNH1 0.321
testJNH2 0.289
testJNH3 0.81
testJNH4 0.363
testJNH5 0.474
testJNH6 0.615
testJNH7 0.294
testJNH8 0.39
testJNH9 0.407
testJNH10 0.33
testJNH11 0.688
testJNH12 0.274
testJNH13 0.314
testJNH14 0.302
testJNH15 0.434
testJNH16 3.263
testJNH17 0.332
testJNH18 0.766
testJNH19 0.365
testJNH20 0.532
testJNH21 0.297
testJNH22 0.288
testJNH23 0.703
testJNH24 0.734
testJNH25 0.356
testJNH26 0.834
testJNH27 0.535
testJNH28 0.857
testJNH29 0.514
testJNH30 0.27
testJNH31 0.357
testJNH32 1.428
testJNH33 0.398
testJNH34 0.328
testJNH35 0.359
testJNH36 0.535
testJNH37 0.343
testJNH38 0.268
testJNH39 0.538
testJNH40 1.12
testJNH41 0.454
testJNH42 0.254
testJNH43 0.54
testJNH44 0.246
testJNH45 0.395
testJNH46 1.692
testJNH47 0.325
testJNH48 0.76
testJNH49 0.269
testJNH50 0.227
testHole6 1.562
testHole7 15.07

M2CardMinYannTest

testAim50SAT1 0.172
testAim50SAT2 0.049
testAim50SAT3 0.027
testAim50SAT4 0.042
testAim50SAT5 0.06
testAim50SAT6 0.082
testAim50SAT7 0.082
testAim50SAT8 0.083
testAim50SAT9 0.043
testAim50SAT10 0.079
testAim50SAT11 0.081
testAim50SAT12 0.105
testAim50SAT13 0.112
testAim50SAT14 0.08
testAim50SAT15 0.098
testAim50SAT16 0.089
testAim50UNSAT1 0.032
testAim50UNSAT2 0.053
testAim50UNSAT3 0.042
testAim50UNSAT4 0.031
testAim50UNSAT5 0.033
testAim50UNSAT6 0.041
testAim50UNSAT7 0.04
testAim50UNSAT8 0.05
testIi1 0.041
testIi2 0.125
testIi3 0.218
testIi4 0.397
testIi5 0.265
testIi6 0.482
testIi7 0.714
testIi8 0.963
testIi9 0.371
testIi10 0.774
testIi11 0.406
testIi12 0.737
testIi13 0.361
testIi14 0.701
testIi15 2.137
testIi16 6.381
testIi17 2.74
testIi18 2.239
testIi20 8.608
testIi21 1.886
testIi22 1.441
testIi23 2.124
testJNH1 0.209
testJNH2 0.153
testJNH3 0.352
testJNH4 0.187
testJNH5 0.219
testJNH6 0.383
testJNH7 0.165
testJNH8 0.19
testJNH9 0.228
testJNH10 0.182
testJNH11 0.303
testJNH12 0.186
testJNH13 0.172
testJNH14 0.164
testJNH15 0.211
testJNH16 1.836
testJNH17 0.152
testJNH18 0.327
testJNH19 0.201
testJNH20 0.273
testJNH21 0.173
testJNH22 0.159
testJNH23 0.336
testJNH24 0.413
testJNH25 0.219
testJNH26 0.316
testJNH27 0.224
testJNH28 0.245
testJNH29 0.257
testJNH30 0.156
testJNH31 0.202
testJNH32 0.637
testJNH33 0.207
testJNH34 0.178
testJNH35 0.2
testJNH36 0.268
testJNH37 0.179
testJNH38 0.143
testJNH39 0.281
testJNH40 0.477
testJNH41 0.21
testJNH42 0.139
testJNH43 0.255
testJNH44 0.14
testJNH45 0.213
testJNH46 0.696
testJNH47 0.177
testJNH48 0.374
testJNH49 0.148
testJNH50 0.127
testHole6 1.419
testHole7 8.898

M2MiniLearningCBTest

testAim50SAT1 0.182
testAim50SAT2 0.047
testAim50SAT3 0.027
testAim50SAT4 0.043
testAim50SAT5 0.081
testAim50SAT6 0.084
testAim50SAT7 0.084
testAim50SAT8 0.097
testAim50SAT9 0.045
testAim50SAT10 0.07
testAim50SAT11 0.08
testAim50SAT12 0.122
testAim50SAT13 0.087
testAim50SAT14 0.079
testAim50SAT15 0.075
testAim50SAT16 0.089
testAim50UNSAT1 0.03
testAim50UNSAT2 0.053
testAim50UNSAT3 0.042
testAim50UNSAT4 0.033
testAim50UNSAT5 0.032
testAim50UNSAT6 0.052
testAim50UNSAT7 0.041
testAim50UNSAT8 0.05
testIi1 0.038
testIi2 0.118
testIi3 0.223
testIi4 0.403
testIi5 0.26
testIi6 0.451
testIi7 0.684
testIi8 0.893
testIi9 0.371
testIi10 0.746
testIi11 0.363
testIi12 0.718
testIi13 0.387
testIi14 0.695
testIi15 2.068
testIi16 2.722
testIi17 3.223
testIi18 2.386
testIi20 10.317
testIi21 2.153
testIi22 1.502
testIi23 2.681
testJNH1 0.237
testJNH2 0.213
testJNH3 0.549
testJNH4 0.236
testJNH5 0.303
testJNH6 0.504
testJNH7 0.24
testJNH8 0.267
testJNH9 0.318
testJNH10 0.246
testJNH11 0.496
testJNH12 0.25
testJNH13 0.225
testJNH14 0.214
testJNH15 0.323
testJNH16 2.983
testJNH17 0.196
testJNH18 0.508
testJNH19 0.261
testJNH20 0.415
testJNH21 0.223
testJNH22 0.204
testJNH23 0.493
testJNH24 1.218
testJNH25 0.299
testJNH26 0.503
testJNH27 0.439
testJNH28 0.531
testJNH29 0.379
testJNH30 0.186
testJNH31 0.289
testJNH32 0.769
testJNH33 0.28
testJNH34 0.236
testJNH35 0.273
testJNH36 0.386
testJNH37 0.193
testJNH38 0.172
testJNH39 0.411
testJNH40 0.915
testJNH41 0.342
testJNH42 0.161
testJNH43 0.369
testJNH44 0.159
testJNH45 0.29
testJNH46 1.331
testJNH47 0.256
testJNH48 0.601
testJNH49 0.179
testJNH50 0.149
testHole6 1.542
testHole7 11.234

VarOrderTest

testNewVar 0.021
testNewVarint 0.001
testSelect 0.001
testSetVarDecay 0.001
testUndo 0.001
testUpdateVar 0.001
testVarDecayActivity 0.001
testNumberOfInterestingVariables 0.001
testGetVocabulary 0.001

TestFreeId

testEmptySolver 0.039
testIncrementalFeed 0.013
testReserveParameter 0.003

HeapTest

testSetBounds 0.003
testInHeap 0.01
testIncrease 0.001
testEmpty 0.001
testInsert 0.003
testGetmin 0.003
testHeapProperty 0
testHeapPropertyInt 0

TestsFonctionnels

testSat 0.17
testUnsat 0.042
testTrivialUnsat 0.001
testTrivialSat 0.001
testTrivialSatNewVar 0.001
testBug001 0.114
testTrivialInconsistentFormula 0.001
testCommentsInInstance 0.005
testRemoveConstraints 0.003
testRemoveAtLeast 0.003
testIsImplied 0
testIsImplied3 0
testWhenNewVarNotCalled 0.001

TestQuickExplain

testGlobalInconsistency 0.112
testAlmostGlobalInconsistency 0.022
testAlmostGlobalInconsistencyII 0.022
testTheCaseOfTwoMUSes 0.034
testEclipseTestCase 0.019
testEclipseTestCase2 0.02

M2RelsatTest

testAim50SAT1 0.184
testAim50SAT2 0.054
testAim50SAT3 0.026
testAim50SAT4 0.047
testAim50SAT5 0.086
testAim50SAT6 0.104
testAim50SAT7 0.227
testAim50SAT8 0.088
testAim50SAT9 0.047
testAim50SAT10 0.066
testAim50SAT11 0.147
testAim50SAT12 0.091
testAim50SAT13 0.095
testAim50SAT14 0.063
testAim50SAT15 0.078
testAim50SAT16 0.081
testAim50UNSAT1 0.035
testAim50UNSAT2 0.109
testAim50UNSAT3 0.043
testAim50UNSAT4 0.036
testAim50UNSAT5 0.04
testAim50UNSAT6 0.073
testAim50UNSAT7 0.049
testAim50UNSAT8 0.071
testIi1 0.041
testIi2 0.112
testIi3 0.245
testIi4 0.382
testIi5 0.248
testIi6 0.424
testIi7 0.627
testIi8 0.827
testIi9 0.36
testIi10 0.686
testIi11 0.415
testIi12 0.66
testIi13 0.325
testIi14 0.624
testIi15 1.823
testIi16 2.428
testIi17 4.794
testIi18 2.011
testIi20 14.331
testIi21 2.556
testIi22 1.362
testIi23 2.554
testJNH1 0.215
testJNH2 0.241
testJNH3 0.427
testJNH4 0.187
testJNH5 0.207
testJNH6 0.378
testJNH7 0.204
testJNH8 0.245
testJNH9 0.195
testJNH10 0.275
testJNH11 0.341
testJNH12 0.178
testJNH13 0.185
testJNH14 0.168
testJNH15 0.215
testJNH16 2.349
testJNH17 0.179
testJNH18 0.527
testJNH19 0.231
testJNH20 0.327
testJNH21 0.184
testJNH22 0.166
testJNH23 0.468
testJNH24 0.313
testJNH25 0.189
testJNH26 0.329
testJNH27 0.232
testJNH28 0.307
testJNH29 0.281
testJNH30 0.13
testJNH31 0.203
testJNH32 0.398
testJNH33 0.166
testJNH34 0.191
testJNH35 0.225
testJNH36 0.344
testJNH37 0.144
testJNH38 0.195
testJNH39 0.439
testJNH40 0.762
testJNH41 0.261
testJNH42 0.144
testJNH43 0.274
testJNH44 0.136
testJNH45 0.2
testJNH46 0.772
testJNH47 0.222
testJNH48 0.463
testJNH49 0.154
testJNH50 0.131
testHole6 1.678
testHole7 18.879

TestAssertion

testAssertion 0.002

M2MiniSATTest

testAim50SAT1 0.173
testAim50SAT2 0.047
testAim50SAT3 0.026
testAim50SAT4 0.038
testAim50SAT5 0.056
testAim50SAT6 0.073
testAim50SAT7 0.074
testAim50SAT8 0.074
testAim50SAT9 0.04
testAim50SAT10 0.07
testAim50SAT11 0.075
testAim50SAT12 0.097
testAim50SAT13 0.095
testAim50SAT14 0.072
testAim50SAT15 0.084
testAim50SAT16 0.098
testAim50UNSAT1 0.031
testAim50UNSAT2 0.053
testAim50UNSAT3 0.038
testAim50UNSAT4 0.032
testAim50UNSAT5 0.031
testAim50UNSAT6 0.036
testAim50UNSAT7 0.036
testAim50UNSAT8 0.045
testIi1 0.038
testIi2 0.111
testIi3 0.201
testIi4 0.375
testIi5 0.253
testIi6 0.443
testIi7 0.633
testIi8 0.829
testIi9 0.347
testIi10 0.727
testIi11 0.348
testIi12 0.66
testIi13 0.336
testIi14 0.632
testIi15 1.947
testIi16 6.311
testIi17 2.535
testIi18 1.981
testIi20 6.193
testIi21 1.762
testIi22 1.41
testIi23 2.09
testJNH1 0.173
testJNH2 0.152
testJNH3 0.34
testJNH4 0.178
testJNH5 0.227
testJNH6 0.36
testJNH7 0.167
testJNH8 0.182
testJNH9 0.219
testJNH10 0.175
testJNH11 0.268
testJNH12 0.18
testJNH13 0.169
testJNH14 0.162
testJNH15 0.202
testJNH16 1.751
testJNH17 0.15
testJNH18 0.296
testJNH19 0.198
testJNH20 0.311
testJNH21 0.17
testJNH22 0.158
testJNH23 0.313
testJNH24 0.376
testJNH25 0.197
testJNH26 0.28
testJNH27 0.21
testJNH28 0.23
testJNH29 0.239
testJNH30 0.157
testJNH31 0.191
testJNH32 0.579
testJNH33 0.2
testJNH34 0.173
testJNH35 0.188
testJNH36 0.251
testJNH37 0.174
testJNH38 0.145
testJNH39 0.261
testJNH40 0.429
testJNH41 0.208
testJNH42 0.141
testJNH43 0.24
testJNH44 0.14
testJNH45 0.207
testJNH46 0.571
testJNH47 0.173
testJNH48 0.343
testJNH49 0.15
testJNH50 0.13
testHole6 1.384
testHole7 8.483

TestConstrGroup

testDeleteGroup 0.054
cannotPutAUnitClauseInAGroup 0.003
checkBugReportedByThomas 0.004
checkItWorksAfterRunningTheSolver 0.014
checkGroupDoesNotWorkWhenClausesAreReducedByUnitPropgation 0.003
checkTheExpectedWayToDealWithUnitClausesToRemove 0.01

TestGateTranslator

testTwoValues 0.071

SingleSolutionTest

testHasASingleSolution 0.067
testHasNoSingleSolution 0.015
testHasNoSingleSolutionUNSAT 0.007
testHasASingleSolutionIVecInt 0.008

ModelIteratorTest

testModelIterator 0.106
testModelIteratorLimit 0.008
testCardModel 0.039
testIncModel 0.014
testIsSatisfiableVecInt 0.006
testGlobalTimeoutCounter 3.044
testGlobalTimeoutIterator 3.011
testSpecificValues 2.195

LitTest

testNot 0.008
testEqualsObject 0.001
testToString 0.001
testVar 0.001
testTruthValue 0.002

GenericM2Test

AbstractM2TestDefault 2.063
AbstractM2TestRelsat 1.814
AbstractM2TestMiniLearningHeap 1.414
AbstractM2TestMiniSATHeap 1.406
AbstractM2TestMiniLearningHeapEZSimp 1.346
AbstractM2TestMiniLearningHeapExpSimp 1.448
AbstractM2TestMiniLearningHeapRsatExpSimp 1.631
AbstractM2TestMiniLearningHeapRsatExpSimpBiere 1.626
AbstractM2TestMiniLearningHeapRsatExpSimpLuby 1.938
AbstractM2TestGreedySolver 1.522
AbstractM2TestDefaultAutoErasePhaseSaving 1.381
AbstractM2TestBestWL 1.639
AbstractM2TestBestHT 1.855
AbstractM2TestGlucose 1.534
AbstractM2TestMiniLearningPure 1.653
AbstractM2TestMiniLearningCBWLPure 1.685
AbstractM2TestMiniLearningHeapEZSimpNoRestarts 3.381
AbstractM2TestMiniLearningHeapEZSimpLongRestarts 3.979
AbstractM2TestMiniSATHeapEZSimp 1.303
AbstractM2TestMiniSATHeapExpSimp 1.448
AbstractM2TestBackjumping 7.81
AbstractM2TestMinOneSolver 1.572
AbstractM2TestLight 1.398

QueueTest

testSize 0.003
testClear 0
testInsert 0.001
testDequeue 0

M2MiniLearningTest

testAim50SAT1 0.182
testAim50SAT2 0.043
testAim50SAT3 0.026
testAim50SAT4 0.039
testAim50SAT5 0.055
testAim50SAT6 0.073
testAim50SAT7 0.076
testAim50SAT8 0.073
testAim50SAT9 0.04
testAim50SAT10 0.081
testAim50SAT11 0.076
testAim50SAT12 0.1
testAim50SAT13 0.106
testAim50SAT14 0.076
testAim50SAT15 0.085
testAim50SAT16 0.082
testAim50UNSAT1 0.033
testAim50UNSAT2 0.056
testAim50UNSAT3 0.039
testAim50UNSAT4 0.032
testAim50UNSAT5 0.031
testAim50UNSAT6 0.037
testAim50UNSAT7 0.037
testAim50UNSAT8 0.045
testIi1 0.038
testIi2 0.111
testIi3 0.208
testIi4 0.373
testIi5 0.331
testIi6 0.432
testIi7 0.628
testIi8 0.915
testIi9 0.461
testIi10 0.823
testIi11 0.346
testIi12 0.663
testIi13 0.324
testIi14 0.619
testIi15 1.94
testIi16 6.179
testIi17 2.503
testIi18 1.99
testIi20 6.179
testIi21 1.782
testIi22 1.386
testIi23 2.136
testJNH1 0.174
testJNH2 0.153
testJNH3 0.349
testJNH4 0.182
testJNH5 0.249
testJNH6 0.351
testJNH7 0.177
testJNH8 0.186
testJNH9 0.221
testJNH10 0.185
testJNH11 0.273
testJNH12 0.183
testJNH13 0.235
testJNH14 0.165
testJNH15 0.209
testJNH16 1.802
testJNH17 0.153
testJNH18 0.304
testJNH19 0.197
testJNH20 0.318
testJNH21 0.174
testJNH22 0.16
testJNH23 0.331
testJNH24 0.449
testJNH25 0.201
testJNH26 0.285
testJNH27 0.215
testJNH28 0.232
testJNH29 0.249
testJNH30 0.158
testJNH31 0.195
testJNH32 0.591
testJNH33 0.204
testJNH34 0.177
testJNH35 0.193
testJNH36 0.254
testJNH37 0.178
testJNH38 0.147
testJNH39 0.267
testJNH40 0.438
testJNH41 0.213
testJNH42 0.145
testJNH43 0.245
testJNH44 0.143
testJNH45 0.209
testJNH46 0.588
testJNH47 0.177
testJNH48 0.354
testJNH49 0.153
testJNH50 0.134
testHole6 1.393
testHole7 8.488

TestAtMost

testUnEssaiSat 0.058
testUnEssaiUnsat 0.004
test2Sat 0.006
test4Unsat 0.002
test3Unsat 0.002
test5Sat 0.003

TestLubyFunction

testSomeKnownValues 0.008

VecTest

testVec 0.005
testVecint 0.001
testVecintObject 0.001
testSize 0.001
testShrink 0.001
testShrinkTo 0.001
testPop 0.001
testGrowToint 0.001
testGrowTointObject 0.001
testPush 0.001
testPushObject 0.001
testClear 0.001
testLast 0.001
testGet 0.001
testCopyTo 0.001
testMoveTo 0.001
testSelectionSort 0.012
testSort 0.014
testSortEmpty 0
testSortUnique 0.009
testDelete 0.001
testEquals 0.001
testIterator 0.001
testNoSuchElementException 0.001

M2AtLeastTest

testAim50SAT1 0.168
testAim50SAT2 0.049
testAim50SAT3 0.027
testAim50SAT4 0.044
testAim50SAT5 0.08
testAim50SAT6 0.084
testAim50SAT7 0.081
testAim50SAT8 0.095
testAim50SAT9 0.043
testAim50SAT10 0.069
testAim50SAT11 0.076
testAim50SAT12 0.158
testAim50SAT13 0.079
testAim50SAT14 0.079
testAim50SAT15 0.094
testAim50SAT16 0.097
testAim50UNSAT1 0.032
testAim50UNSAT2 0.052
testAim50UNSAT3 0.04
testAim50UNSAT4 0.034
testAim50UNSAT5 0.032
testAim50UNSAT6 0.036
testAim50UNSAT7 0.038
testAim50UNSAT8 0.047
testIi1 0.038
testIi2 0.107
testIi3 0.206
testIi4 0.362
testIi5 0.239
testIi6 0.433
testIi7 0.666
testIi8 0.877
testIi9 0.35
testIi10 0.706
testIi11 0.386
testIi12 0.663
testIi13 0.345
testIi14 0.643
testIi15 1.931
testIi16 6.309
testIi17 2.521
testIi18 2
testIi20 11.94
testIi21 1.944
testIi22 1.426
testIi23 2.334
testJNH1 0.227
testJNH2 0.197
testJNH3 0.682
testJNH4 0.271
testJNH5 0.337
testJNH6 0.504
testJNH7 0.203
testJNH8 0.292
testJNH9 0.309
testJNH10 0.24
testJNH11 0.576
testJNH12 0.186
testJNH13 0.225
testJNH14 0.21
testJNH15 0.293
testJNH16 3.048
testJNH17 0.241
testJNH18 0.647
testJNH19 0.272
testJNH20 0.435
testJNH21 0.215
testJNH22 0.204
testJNH23 0.596
testJNH24 0.632
testJNH25 0.329
testJNH26 0.73
testJNH27 0.442
testJNH28 0.743
testJNH29 0.423
testJNH30 0.188
testJNH31 0.273
testJNH32 1.245
testJNH33 0.311
testJNH34 0.249
testJNH35 0.268
testJNH36 0.441
testJNH37 0.257
testJNH38 0.191
testJNH39 0.442
testJNH40 0.99
testJNH41 0.358
testJNH42 0.168
testJNH43 0.437
testJNH44 0.157
testJNH45 0.3
testJNH46 1.522
testJNH47 0.231
testJNH48 0.643
testJNH49 0.178
testJNH50 0.142
testHole6 1.586
testHole7 10.358

LboolTest

testNot 0.002
testEqualsObject 0
testToString 0