Unit Test Results

Designed for use with JUnit and Ant.

Class org.sat4j.minisat.constraints.WatchedPBConstrOnRandomCardProblemsTest

NameTestsErrorsFailuresTime(s)
WatchedPBConstrOnRandomCardProblemsTest3202617.972

Tests

NameStatusTypeTime(s)
testRndDeg1Success1.846
testRndDeg2Success0.416
testRndDeg3Success0.266
testRndDeg4Success0.254
testRndDeg5Success0.051
testRndDeg6Success0.024
testRndDeg7Success0.015
testRndDeg8Success0.006
testRndDeg9Success0.005
testRndDeg10Success0.004
testRndDeg11Success0.004
testRndDeg12Success0.005
testRndDeg13Success0.003
testRndDeg14Success0.004
testRndDeg15Success0.004
testRndDeg16Success0.005
testRndDeg17Success0.003
testRndDeg18Success0.003
testPN34Success0.006
testPN4Success0.008
testPN45Success0.007
testPN5Success0.024
testPN56Success0.009
testPN6Success0.092
testPN67Success0.034
testPN7Success0.787
testPN78Success0.015
testPN8Success13.899
testPN89Success0.016
testPN9FailureTimeout: need more time to complete!

junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:65) at org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN9(AbstractPigeonHoleWithCardinalityTest.java:104) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
300.029
testPN910Success0.019
testPN10FailureTimeout: need more time to complete!

junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:65) at org.sat4j.minisat.constraints.AbstractPigeonHoleWithCardinalityTest.testPN10(AbstractPigeonHoleWithCardinalityTest.java:114) at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method) at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39) at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
300.020
Properties »
System.out »