Surefire Report

Summary

[Summary] [Package List] [Test Cases]

Note: failures are anticipated and checked for with assertions while errors are unanticipated.

Package List

[Summary] [Package List] [Test Cases]

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

it.univr.di.cstnu.graph

-	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	CSTNEdgeTest	5	0	0	0	100%	0.022 s
	CSTNUEdgeTest	10	0	0	0	100%	0.072 s
	STNUGraphMLReaderTest	4	0	0	0	100%	0.191 s
	EdgeSupplierTest	5	0	0	0	100%	0 s
	CSTNUGraphMLWriterTest	1	0	0	0	100%	0.041 s
	TNGraphTest	2	0	0	0	100%	0.350 s
	STNUGraphMLWriterTest	2	0	0	0	100%	0 s
	CSTNGraphTest	10	0	0	0	100%	0.099 s
	LabeledNodeTest	2	0	0	0	100%	0.001 s
	STNUEdgeTest	6	0	0	0	100%	0.010 s
	CSTNUGraphMLReaderTest	2	0	0	0	100%	0.012 s

it.univr.di.labeledvalue

-	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	LabeledIntHierarchyMapTest	33	0	0	0	100%	0.289 s
	LiteralTest	5	0	0	0	100%	0.164 s
	LabelTest	25	0	0	0	100%	0.092 s
	LabeledALabelIntTreeMapTest	18	0	0	0	100%	0.080 s
	LabeledLowerCaseValueTest	2	0	0	0	100%	0.025 s
	LabeledIntTreeMapTest	37	0	0	0	100%	0.095 s
	ALabelTest	11	0	0	0	100%	0.024 s

it.univr.di.cstnu.algorithms

-	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	CSTNTest	16	0	0	0	100%	0.026 s
	CSTNwoNodeLabelTest	16	0	0	0	100%	0.082 s
	STNURTETest	7	0	0	0	100%	0.189 s
	CSTNU2CSTNTest	1	0	0	0	100%	0.018 s
	CSTNir3RwoNodeLabelTest	16	0	0	0	100%	0.254 s
	FTNUUTest	1	0	0	0	100%	0.150 s
	CSTNepsilonTest	16	0	0	0	100%	0.031 s
	OSTNUTest	15	0	0	0	100%	0.558 s
	CSTNepsilonwoNodeLabelTest	16	0	0	0	100%	0.128 s
	CSTNirwoNodeLabelTest	16	0	0	0	100%	0.042 s
	CSTNUTest	13	0	0	0	100%	0.053 s
	CSTNirTest	16	0	0	0	100%	0.078 s
	CSTNPotentialTest	8	0	0	0	100%	0.074 s
	CSTNPSUTest	15	0	0	0	100%	0.417 s
	CSTNirR3Test	17	0	0	0	100%	0.041 s
	STNUTest	46	0	0	0	100%	1.062 s
	STNTest	15	0	0	0	100%	5.555 s

it.univr.di.cstnu.util

-	Class	Tests	Errors	Failures	Skipped	Success Rate	Time
	ExtendedPriorityQueueTest	21	0	0	0	100%	0.018 s
	TimeIntervalTest	4	0	0	0	100%	0 s
	GraphAlgsTest	6	0	0	0	100%	0.084 s
	ObjectArrayFifoSetQueueTest	13	0	0	0	100%	0.022 s
	ActiveWaitsTest	3	0	0	0	100%	0 s

Test Cases

[Summary] [Package List] [Test Cases]

CSTNEdgeTest

	testPutLabeledValue	0.012 s
	testToString	0.001 s
	testMergeLabeledValueLabelInt1	0 s
	testMergeLabeledValueLabelInt	0.001 s
	testIsEmptyClear	0 s

CSTNUEdgeTest

	testIsEmptyAndClear	0.014 s
	testClearLowerCaseValue	0.002 s
	testGetAllUpperCaseAndOrdinaryLabeledValuesSet	0.012 s
	testToString	0.002 s
	testMergeUpperLabeledValues	0.002 s
	testEqualsAllLabeledValues	0 s
	testGetUpperLabelValueLabelString	0 s
	testMergeUpperLabeledValues1	0.016 s
	testMergeUpperLabeledValues2	0.006 s
	testSimlificationUpperLabeledValues	0.015 s

LabeledIntHierarchyMapTest

	caso20160109list	0.157 s
	equals1	0.022 s
	distruzioneBase2	0 s
	minValue	0.006 s
	equals	0.010 s
	remove	0.001 s
	putAllTest	0.007 s
	caso20160108b	0.004 s
	caso20160109c	0.001 s
	caso20160109d	0.003 s
	manageTwinDebug	0.001 s
	caso20141021	0.002 s
	caso20141128	0.001 s
	caso20160108	0.001 s
	caso20160109	0.001 s
	caso20160110	0.001 s
	caso20160111	0.025 s
	caso20160112	0.004 s
	semplificazioneRicorsivaTest	0.001 s
	putACleaningValueTest	0.001 s
	simplificationWithUnknown1	0.001 s
	semplificazione1Test	0 s
	simplificationWithInfinite	0.003 s
	checkIntSet	0.001 s
	minValueConsistentWithTest	0.001 s
	semplificazioneBase1Test	0.002 s
	semplificazioneBase2Test	0.001 s
	semplificazioneBase3Test	0.001 s
	semplificazioneBase4Test	0.001 s
	distruzioneBase	0.003 s
	simplificationWithUnknown	0.007 s
	insert0	0.001 s
	casoBaseConValoriDistinti	0.001 s

ExtendedPriorityQueueTest

	testExtractMinEntry	0 s
	extractMinEntry	0 s
	testAdd	0 s
	delete	0 s
	testClear	0 s
	testSize	0 s
	testGetAllDeterminedPriorities	0.001 s
	size	0.002 s
	testExtractMin	0.001 s
	clear	0.003 s
	testGetPriority	0 s
	extractMin	0 s
	getStatus	0 s
	testDecreasePriority	0 s
	testGetStatus	0 s
	testInsertAPreviousNode	0.001 s
	testIsEmpty	0.001 s
	getFirst	0.001 s
	isEmpty	0 s
	getElements	0.001 s
	insertOrUpdate	0.001 s

CSTNTest

	testLabeledPropagationForwardOfInfty	0 s
	testLabeledPropagationBackwardOfInfty1	0 s
	testQstar	0 s
	testLabeledPropagation1	0 s
	testLabeledPropagation2	0 s
	testLabeledPropagation3	0.006 s
	testLabeledPropagation4	0.010 s
	testRemoveChildren	0 s
	testLabelModificationR0Z	0 s
	testLabeledPropagationBackwardOfInfty	0 s
	testLabeledPropagation	0.001 s
	testAlphaBetaGamaPrime	0.003 s
	testLabelModificationR0	0.001 s
	testLabelModificationR3	0.001 s
	testLabelModificationR3withUnkown	0.001 s
	testLabeledPropagationForwardOfInfty1	0 s

CSTNwoNodeLabelTest

	testQstar	0.002 s
	testLabeledPropagation1	0.001 s
	testLabeledPropagation2	0.001 s
	testLabeledPropagation3	0.002 s
	testLabeledPropagation4	0.029 s
	testRemoveChildren	0.002 s
	testLabelModificationR0Z	0.001 s
	testLabeledPropagation	0.001 s
	testAlphaBetaGamaPrime	0.001 s
	testLabelModificationR0	0.023 s
	testLabelModificationR3	0.002 s
	testLabelModificationR3withUnkown	0.001 s
	testLabeledPropagationForwardOfInfty	0.001 s
	testLabeledPropagationBackwardOfInfty1	0.001 s
	testLabeledPropagationBackwardOfInfty	0.001 s
	testLabeledPropagationForwardOfInfty1	0 s

STNURTETest

	rteEarlyWithOneCtg	0.152 s
	rteEarlyLateRC	0.004 s
	rteEarlyRC	0.004 s
	rteEarlyLate	0.002 s
	rteEarly	0.003 s
	rteLateWithUpperBound	0.003 s
	rteLate	0.006 s

STNUGraphMLReaderTest

	testGraphAttribute	0.157 s
	testSTNU1	0.009 s
	testSTNU	0.016 s
	testSTNU33	0.006 s

CSTNU2CSTNTest

testCSTNU2CSTNLabeledIntGraphInt

0.017 s

LiteralTest

	testParse	0.041 s
	testToString	0 s
	testCompareTo	0 s
	testEqualsObject	0.001 s
	testGetComplement	0.001 s

CSTNir3RwoNodeLabelTest

	testLabeledPropagationForwardOfInfty	0.015 s
	testLabeledPropagationBackwardOfInfty1	0.003 s
	testQstar	0.032 s
	testLabeledPropagation1	0.001 s
	testLabeledPropagation2	0.001 s
	testLabeledPropagation3	0.001 s
	testLabeledPropagation4	0.055 s
	testLabelModificationR0Z	0.041 s
	testLabeledPropagationBackwardOfInfty	0.004 s
	testLabeledPropagation	0.038 s
	testAlphaBetaGamaPrime	0.002 s
	testLabelModificationR0	0.001 s
	testLabelModificationR3	0.039 s
	testLabeledPropagationForwardOfInfty1	0.001 s
	testRemoveChildren	0.006 s
	testLabelModificationR3withUnkown	0.003 s

FTNUUTest

testPrototypalLink

0.117 s

CSTNepsilonTest

	testQstar	0 s
	testLabeledPropagation1	0 s
	testLabeledPropagation2	0 s
	testLabeledPropagation3	0 s
	testLabeledPropagation4	0.016 s
	testLabelModificationR0Z	0 s
	testLabeledPropagationBackwardOfInfty	0 s
	testLabeledPropagation	0.002 s
	testAlphaBetaGamaPrime	0 s
	testLabelModificationR0	0 s
	testLabelModificationR3	0.002 s
	testLabelModificationR3withUnkown	0.001 s
	testLabeledPropagationForwardOfInfty1	0.002 s
	testLabeledPropagationForwardOfInfty	0.001 s
	testLabeledPropagationBackwardOfInfty1	0.001 s
	testRemoveChildren	0.002 s

TimeIntervalTest

	constructor	0 s
	testToString	0 s
	set	0 s
	testIntersect	0 s

OSTNUTest

	testInitAndCheck	0.097 s
	testLabeledLetterRemovalRuleFromContingent	0.013 s
	testAgileControllabilityCheck	0.332 s
	testIsInNegativeScenarios	0.002 s
	testLabeledCrossCaseRule	0.002 s
	testLabeledLowerCaseRule	0.001 s
	testLabeledPropagationRule	0.026 s
	testLabeledOracleRule	0.002 s
	testlabeledUpperCaseRule	0.002 s
	testLabeledLetterRemovalRuleFromOrdinaryNode	0.001 s
	test2AgileControllabilityCheck	0.008 s
	test3AgileControllabilityCheck	0.007 s
	testGetLabel4ValueInvolvingContingent	0.002 s
	test2LabeledCrossCaseRule	0 s
	test2LabeledLowerCaseRule	0 s

EdgeSupplierTest

	testGet	0 s
	testGetT	0 s
	testEdgeSupplier	0 s
	testGetString	0 s
	testGetClassOfKInt	0 s

CSTNUGraphMLWriterTest

testGraphMLWriterAbstractLayoutOfLabeledNodeLabeledIntEdge

0.039 s

CSTNepsilonwoNodeLabelTest

	testQstar	0 s
	testLabeledPropagation1	0 s
	testLabeledPropagation2	0 s
	testLabeledPropagation3	0 s
	testLabeledPropagation4	0 s
	testLabelModificationR0Z	0 s
	testLabeledPropagationBackwardOfInfty	0.001 s
	testLabeledPropagation	0.051 s
	testAlphaBetaGamaPrime	0 s
	testLabelModificationR0	0.067 s
	testLabelModificationR3	0.003 s
	testLabelModificationR3withUnkown	0.001 s
	testLabeledPropagationForwardOfInfty1	0 s
	testLabeledPropagationForwardOfInfty	0 s
	testLabeledPropagationBackwardOfInfty1	0.001 s
	testRemoveChildren	0 s

CSTNirwoNodeLabelTest

	testQstar	0 s
	testLabeledPropagation1	0 s
	testLabeledPropagation2	0.001 s
	testLabeledPropagation3	0.001 s
	testLabeledPropagation4	0.020 s
	testRemoveChildren	0.001 s
	testLabelModificationR0Z	0 s
	testLabeledPropagation	0.003 s
	testAlphaBetaGamaPrime	0.001 s
	testLabelModificationR0	0 s
	testLabelModificationR3	0.001 s
	testLabelModificationR3withUnkown	0.004 s
	testLabeledPropagationForwardOfInfty	0.001 s
	testLabeledPropagationBackwardOfInfty1	0.001 s
	testLabeledPropagationBackwardOfInfty	0.002 s
	testLabeledPropagationForwardOfInfty1	0 s

LabelTest

	testConjunctExtended	0.030 s
	testConjunctionExtended	0 s
	testGetLiteralWithSameName	0.001 s
	compareTo	0 s
	testSubsumes	0 s
	cloneEmptyLabel	0 s
	testParse	0.001 s
	testToString	0.001 s
	comparatorOrder	0.029 s
	unmodifiable	0.001 s
	testRemoveLabel	0 s
	testAllComponentsOfBaseGenerator	0.001 s
	testCompareTo	0.004 s
	testEqualsObject	0.002 s
	caso20141128	0.001 s
	testConjunction	0.001 s
	testGetAllStraight	0 s
	testConjunct	0 s
	testContains	0 s
	testIsConsistentWithLabel	0 s
	testIsConsistentWithLiteral	0 s
	testGetUniqueDifferentLiteral	0 s
	testRemoveLiteralBoolean	0 s
	testNegation	0 s
	testSubLabelIn	0.003 s

CSTNUTest

	testLabelModificationQR0	0 s
	testLabelModificationQR3	0 s
	test_llcRule	0.015 s
	test_lncRule	0.001 s
	test_lcucRule	0.001 s
	test_lucRule	0.001 s
	testLabelModificationR3bis	0.009 s
	testCrossCaseRule	0.001 s
	testLabelModificationR0	0.003 s
	testLabelModificationR3	0.001 s
	test_flucRule	0 s
	testUpperCaseRule	0.001 s
	testCaseLabelRemovalRule	0.016 s

LabeledALabelIntTreeMapTest

	minValueConsisntenWithTest	0.023 s
	minValue	0.002 s
	mergeWOSimplification	0.008 s
	mergeConSemplificazione	0.004 s
	generazioneSet	0.003 s
	parse	0.011 s
	mergeConSemplificazione10	0.001 s
	mergeConSemplificazione1	0 s
	mergeConSemplificazione2	0.002 s
	mergeConSemplificazione3	0 s
	mergeConSemplificazione4	0.001 s
	mergeConSemplificazione5	0.002 s
	mergeConSemplificazione6	0.001 s
	mergeConSemplificazione7	0.003 s
	mergeConSemplificazione8	0.001 s
	mergeConSemplificazione9	0.001 s
	immutable	0.001 s
	canRepresentTest	0.001 s

TNGraphTest

	testSTNUGetEdgeCount	0.333 s
	testgetEdgesNodes	0.015 s

STNUGraphMLWriterTest

	testGraphMLWriterAbstractLayoutOfLabeledNodeLabeledIntEdge	0 s
	testGraphMLStringWriter	0 s

CSTNirTest

	testLabeledPropagationForwardOfInfty	0 s
	testQstar	0 s
	testLabeledPropagation1	0 s
	testLabeledPropagation2	0 s
	testLabeledPropagation3	0 s
	testLabeledPropagation4	0.010 s
	testLabelModificationR0Z	0 s
	testLabeledPropagationBackwardOfInfty	0.001 s
	testLabeledPropagation	0.003 s
	testAlphaBetaGamaPrime	0.002 s
	testLabelModificationR0	0.002 s
	testLabelModificationR3	0.002 s
	testLabelModificationR3withUnkown	0.008 s
	testLabeledPropagationForwardOfInfty1	0.001 s
	testLabeledPropagationBackwardOfInfty1	0.007 s
	testRemoveChildren	0.001 s

GraphAlgsTest

	testGET_SSSP_Dijkstra	0.063 s
	testJohnson	0.017 s
	testJohnson1	0.001 s
	updateDistancesTest	0.001 s
	testGET_SSSP_DijkstraGraphDistances	0.001 s
	testBellmanFord_PotentialInconsistent	0.001 s

LabeledLowerCaseValueTest

	empty	0.020 s
	parse	0.002 s

CSTNGraphTest

	enlarge	0.027 s
	UnmodifiableClearTest	0.014 s
	UnmodifiableTest	0.004 s
	create	0.001 s
	managinDifferentEdges	0.002 s
	testGetChildrenOf	0.012 s
	cloneTest	0.005 s
	addManyNodes	0.001 s
	removeNode	0.002 s
	reverse	0.008 s

CSTNPotentialTest

	testDynamicConsistencyCheckWOInit	0.017 s
	testInitAndCheck	0 s
	testPotentialR3	0.005 s
	testSingleSinkShortestPaths	0.002 s
	testUpperPotentialR3	0.031 s
	testSingleSourceShortestPaths	0.007 s
	testDynamicConsistencyCheckWOInitUpper	0 s
	testInitAndCheckWithUpperBounds	0.012 s

LabeledNodeTest

	potentialPut1	0 s
	testEquals	0 s

STNUEdgeTest

	testParserUpperCase	0.001 s
	testLowerCase	0 s
	testUpperCase	0.001 s
	testLowerCaseNonValid	0.002 s
	testConstructor	0.002 s
	testIsEmptyClear	0.001 s

ObjectArrayFifoSetQueueTest

	testEnqueue	0.003 s
	testToArray	0.002 s
	testComparator	0.003 s
	testEnqueueFirst	0.001 s
	testClear	0.003 s
	testFirst	0 s
	testLast	0.001 s
	testSize	0.001 s
	testToString	0.002 s
	testDequeueLast	0 s
	testContains	0.001 s
	testDequeue	0.002 s
	testIsEmpty	0.001 s

CSTNPSUTest

	testPrototypalLink	0.016 s
	testLabelModificationQR0	0.002 s
	testLabelModificationQR3	0.006 s
	test_llcRule	0.202 s
	test_lncRule	0.001 s
	test_lcucRule	0.001 s
	test_lucRule	0.002 s
	testLabelModificationR3bis	0.007 s
	testCrossCaseRule	0.007 s
	testConfigureSubNetworks	0.162 s
	testLabelModificationR0	0.003 s
	testLabelModificationR3	0.001 s
	test_flucRule	0.002 s
	testUpperCaseRule	0 s
	testCaseLabelRemovalRule	0.002 s

LabeledIntTreeMapTest

	parseTest	0.005 s
	equals1	0.001 s
	scanWithRemoving	0.004 s
	testMerge20160320	0.002 s
	testMerge20160408	0.002 s
	distruzioneBase2	0.001 s
	minValue	0.004 s
	equals	0.001 s
	removeAllValuesGreaterThan	0 s
	putAllTest	0.001 s
	unknown	0 s
	differentValuesWithBase	0.001 s
	caso20141021	0.001 s
	caso20141128	0 s
	semplificazioneRicorsivaTest	0.002 s
	putACleaningValueTest	0 s
	simplificationWithUnknown1	0.001 s
	testKeySetForRemoving	0.001 s
	alreadyRepresents	0.001 s
	semplificazione0Test	0.001 s
	semplificazione1Test	0.003 s
	semplificazione3Test	0 s
	simplificationWithInfinite	0.001 s
	checkIntSet	0.001 s
	minValueConsistentWithTest	0.001 s
	semplificazioneBase1Test	0.001 s
	semplificazioneBase2Test	0.003 s
	semplificazioneBase3Test	0.002 s
	semplificazioneBase4Test	0.002 s
	semplificazione20230605Test	0.003 s
	semplificazione20230606Test	0.002 s
	distruzioneBase	0.002 s
	removeAll	0.002 s
	testRemoveUsingKey	0.012 s
	simplificationWithUnknown	0.006 s
	insert0	0.001 s
	casoBaseConValoriDistinti	0.001 s

CSTNirR3Test

	testLabeledPropagationForwardOfInfty	0 s
	testLabeledPropagationBackwardOfInfty1	0 s
	testQstar	0 s
	testLabeledPropagation1	0 s
	testLabeledPropagation2	0.001 s
	testLabeledPropagation3	0.001 s
	testLabeledPropagation4	0.015 s
	testLabelModificationR0Z	0.001 s
	testLabelModificationqR3	0.001 s
	testLabeledPropagationBackwardOfInfty	0.001 s
	testLabeledPropagation	0.001 s
	testAlphaBetaGamaPrime	0.002 s
	testLabelModificationR0	0.008 s
	testLabeledPropagationForwardOfInfty1	0.006 s
	testRemoveChildren	0 s
	testLabelModificationR3	0 s
	testLabelModificationR3withUnkown	0 s

ActiveWaitsTest

	addWait	0 s
	testToString	0 s
	remove	0 s

STNUTest

	testNormalForm	0.012 s
	testSrnCycleFinder_BFCT	0.042 s
	testMinDistESTNUWithActivationInRigidComponentFD	0.130 s
	testMinDistESTNU20231219	0.011 s
	testMinDistESTNU20231220	0.021 s
	testMorris2014DispatchableWithOToC	0.005 s
	testMinDEbetterGetStandInEdgesAssumingManyDiamondsFig5	0.012 s
	testSrnCycleFinderMagicLoop	0.006 s
	testGraph	0.003 s
	testMinDistESTNUWithComplicatedRigidComponent	0.033 s
	testMinDistESTNUWithSTNUWithRCInducedByMaxMinEdge	0.014 s
	testMinDispESTNUWithNegativeAddedToAWait	0.010 s
	testSRNCFinderNotDC002	0.285 s
	testSRNCFinderNotDC020	0.108 s
	testSRNCFinderNotDC033	0.094 s
	testMinDistESTNUWithActivationInRigidComponent0distanceFD	0.008 s
	testGetStandInEdgesAssumingManyDiamondsFirstPart	0.059 s
	testMinDistESTNUWithActivationInRigidComponentFD1	0.008 s
	testFDWithNegativeAddedToAWait	0.006 s
	testSrnCycleFinder_ccLoopDC	0.005 s
	testSrnCycleFinder_cycleInterruptions	0.004 s
	testFD_STNUWithNegativeAddedToAWait	0.006 s
	testSrnCycleFinder_ccLoopNOTDC	0.004 s
	testGetActivationNode	0.002 s
	testMinDistESTNU	0.009 s
	testMorris2014DispatchableWithNegativeAddedToAWait	0.004 s
	testMinDistESTNUWithActivationInRigidComponent0DistanceMorris	0.005 s
	testMinDistESTNUWithActivationInRigidComponentMorris1	0.004 s
	testMinDistESTNUWithActivationInRigidComponentMorris	0.005 s
	testMinDistESTNUSimple	0.008 s
	testRigidComponents	0.015 s
	testGetUpperContingentEdge	0.005 s
	testMinDEbetterGetStandInEdges	0.019 s
	testMinDEgetStandInEdges	0.009 s
	testMinDistESTNUSimpleX02C	0.011 s
	testGetPCInfo	0.008 s
	testSrnCycleFinder_ccLoopNotDCOnA	0.011 s
	testMinDistESTNUWithOLengthRigidComponent	0.004 s
	testBellmanFordOL	0.004 s
	testLuke20240102About0EdgetoC	0.005 s
	testMinDistESTNUWithConstraintVCInducedByRigidComponent	0.010 s
	testPredecessor	0.003 s
	testMinDEbetterGetStandInEdgesAssumingManyDiamonds	0.009 s
	testFD_STNU	0.004 s
	testSrnCycleFinder_adjustmentPath4W	0.004 s
	testGetLowerContingentEdge	0.008 s

ALabelTest

	remove	0.003 s
	getALetter	0.006 s
	conjunct	0.002 s
	contains	0.002 s
	array	0.001 s
	count	0.002 s
	parse	0.002 s
	intersect	0.001 s
	conjunction	0.001 s
	compare	0.001 s
	creation	0.001 s

CSTNUGraphMLReaderTest

	testSTN	0.005 s
	testCSTNU	0.007 s

STNTest

	testMakeDispatchableWithRigidComponent	0.038 s
	testVelocity	5.440 s
	depthFirstOrder1	0.002 s
	testPredecessorSTN20211230	0.011 s
	testBFCT8Nodes	0.010 s
	testUndominatedEdgesSTN20211230	0.011 s
	testUndominatedEdges1	0.002 s
	depthFirstOrder	0 s
	testBFCTWithNegativeCycle	0.003 s
	testRigidComponentMethods	0.004 s
	testMakeDispatchableStn20211230	0.006 s
	testGetRepRigidComponents	0.003 s
	testCollapseRigidComponents	0.010 s
	testPredecessor	0.004 s
	testStrongConnectedComponents	0.002 s