Verifier

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	291 of 760	61%	28 of 70	60%	26	44	63	175	3	9
getStats()		0%		0%	2	2	21	21	1	1
run_work()		82%		67%	11	21	16	86	0	1
Verifier(GMCConfiguration, Model, PrintStream, PrintStream, double, boolean, String[], Map)		72%		55%	8	11	9	38	0	1
run()		18%		25%	2	3	12	15	0	1
Verifier(GMCConfiguration, Model, PrintStream, PrintStream, double, boolean)		0%		n/a	1	1	2	2	1	1
Verifier(GMCConfiguration, Model, PrintStream, PrintStream, double, String[], Map)		0%		n/a	1	1	2	2	1	1
terminateUpdater()		80%		75%	1	3	1	7	0	1
Verifier(GMCConfiguration, Model, PrintStream, PrintStream, double)		100%		n/a	0	1	0	3	0	1
isFairCycle(StateSpaceCycleException)		100%		n/a	0	1	0	1	0	1