remora/tests/qualification/tlc-evidence.tsv

1	Remora.cfg	541a10f9075f416447ba79bf1777933ab07c824145662dfa028a61bf6c08279d	ec9e4ffaaa367b1420d68e2be332c2ddee32c27970a84edd13dfaa995181cd96	45ebeacaab2034913232c5963a6f526be221eb33	Spec	31095299	3051836	32	Model checking completed. No error has been found.
2	RemoraApiMutation.cfg	a8dfe0d53ac6703cf283694b626ff8a74ebf84c73f3098d67af825c026975309	ec9e4ffaaa367b1420d68e2be332c2ddee32c27970a84edd13dfaa995181cd96	45ebeacaab2034913232c5963a6f526be221eb33	Spec	14883248	354363	6	Model checking completed. No error has been found.
3	RemoraClaimActivation.cfg	17e8da65aed191356895e6f9db068b5cceac621def72eebe650fc8c43d748101	ec9e4ffaaa367b1420d68e2be332c2ddee32c27970a84edd13dfaa995181cd96	45ebeacaab2034913232c5963a6f526be221eb33	Spec	275060	32496	13	Model checking completed. No error has been found.
4	RemoraCombined.cfg	07ba63c59012ae1b8ff4ebfb130b3fada08f5a570fefc16d7b73d95c5ce20645	ec9e4ffaaa367b1420d68e2be332c2ddee32c27970a84edd13dfaa995181cd96	45ebeacaab2034913232c5963a6f526be221eb33	SafetySpec	89489746	7186644	31	Model checking completed. No error has been found.
5	RemoraCredentials.cfg	c27c2faa29c1517c8fe4f16b701aa25be949c46523d6fb9c1deb2cefc28b2709	ec9e4ffaaa367b1420d68e2be332c2ddee32c27970a84edd13dfaa995181cd96	45ebeacaab2034913232c5963a6f526be221eb33	SafetySpec	999724	116235	26	Model checking completed. No error has been found.
6	RemoraDisposition.cfg	f32ab6af66b11350276ba0b316c7a1d8ad5f8f0a25595684e24ae5e8f210a83d	ec9e4ffaaa367b1420d68e2be332c2ddee32c27970a84edd13dfaa995181cd96	45ebeacaab2034913232c5963a6f526be221eb33	SafetySpec	179748	23946	28	Model checking completed. No error has been found.
7	RemoraDurableFault.cfg	1779d795ed139d18ea553a67a76a0d475363c7112db205f24d87d5624075533b	ec9e4ffaaa367b1420d68e2be332c2ddee32c27970a84edd13dfaa995181cd96	45ebeacaab2034913232c5963a6f526be221eb33	SafetySpec	957130	119730	32	Model checking completed. No error has been found.
8	RemoraFencing.cfg	252f9d0fe071cf835f9ba2fcd62a232420f467eec7bc3ec35273987dd99127df	ec9e4ffaaa367b1420d68e2be332c2ddee32c27970a84edd13dfaa995181cd96	45ebeacaab2034913232c5963a6f526be221eb33	SafetySpec	1092925873	92042852	44	Model checking completed. No error has been found.
9	RemoraGlobal.cfg	045ec597b4c406ba38a3c85c8b40fa8882e0c7b29b7ffa77b2d59af59f6bdf63	ec9e4ffaaa367b1420d68e2be332c2ddee32c27970a84edd13dfaa995181cd96	45ebeacaab2034913232c5963a6f526be221eb33	SafetySpec	65998186	5589556	31	Model checking completed. No error has been found.
10	RemoraLocal.cfg	0fc8e08acf8c1324738009277c406f3c3dd9136016106945fa271c4c2e19bbd3	ec9e4ffaaa367b1420d68e2be332c2ddee32c27970a84edd13dfaa995181cd96	45ebeacaab2034913232c5963a6f526be221eb33	SafetySpec	89489746	7186644	31	Model checking completed. No error has been found.
11	RemoraMultiShot.cfg	52c6247c22a98d13a72738247da9ae31366f9c01047ab672496f2e7ade6c1fc1	ec9e4ffaaa367b1420d68e2be332c2ddee32c27970a84edd13dfaa995181cd96	45ebeacaab2034913232c5963a6f526be221eb33	SafetySpec	123778284	11568126	34	Model checking completed. No error has been found.
12	RemoraResume.cfg	b3432788093ae86b37e68dc0afcac42f794a5de7cc9786da8bb5127a89ae2761	ec9e4ffaaa367b1420d68e2be332c2ddee32c27970a84edd13dfaa995181cd96	45ebeacaab2034913232c5963a6f526be221eb33	SafetySpec	822029	103911	29	Model checking completed. No error has been found.
13	RemoraStress.cfg	ce0c93848958f6ee9e8247536eda978bb3cc38a27571aa6b002e2163ea591adb	ec9e4ffaaa367b1420d68e2be332c2ddee32c27970a84edd13dfaa995181cd96	45ebeacaab2034913232c5963a6f526be221eb33	SafetySpec	250078254	23679190	33	Model checking completed. No error has been found.
14	RemoraTargetFault.cfg	2389efaace2237d7dca0a55711222885db1446cac59ea2e834b32badffa8f991	ec9e4ffaaa367b1420d68e2be332c2ddee32c27970a84edd13dfaa995181cd96	45ebeacaab2034913232c5963a6f526be221eb33	SafetySpec	991208	119730	32	Model checking completed. No error has been found.