Layer Systems in IsaFoR

Experiments for "Layer Systems for Confluence — Formalized"

CSI-CERT: CSI, old certified strategy
CeTA: CeTA results for CSI-CERT proofs (yes = correct proof, including "no" answers from CSI-CERT)
CSI-PD: CSI, with persistent decomposition added
CeTA-PD: CeTA results for CSI-PD proofs
CSI: CSI, full (uncertified) strategy
colors: yes no maybe error

	CSI-CERT	CeTA	CSI-PD	CeTA-PD	CSI
1	0.4	0.0	0.4	0.0	0.6
2	30.8		0.3	0.0	0.7
3	18.4		0.4	0.0	0.6
4	0.3	0.0	0.3	0.0	0.7
5	0.3	0.0	0.3	0.0	0.5
6	0.2	0.0	0.3	0.0	0.5
7	0.3	0.0	0.3	0.0	0.5
8	0.4	0.1	0.4	0.0	0.9
9	0.2	0.0	0.3	0.0	0.5
10	0.3	0.0	0.3	0.0	0.5
11	0.3	0.0	0.3	0.0	0.7
12	0.3	0.0	0.2	0.0	0.4
13	0.3	0.0	0.3	0.0	0.5
14	0.3	0.0	0.3	0.0	0.7
15	6.4	0.0	6.3	0.0	10.4
16	2.2	0.0	2.3	0.0	2.4
17	21.0		18.3		0.6
18	0.3	0.0	0.3	0.0	0.6
19	0.4	0.0	0.3	0.0	0.6
20	0.5	0.0	0.5	0.0	1.2
21	0.8	0.0	0.4	0.0	0.9
22	0.5	0.0	0.4	0.0	1.0
23	0.6	0.0	0.3	0.0	0.6
24	12.5	0.0	12.4	0.1	20.6
25	31.3		30.6		2.4
	CSI-CERT	CeTA	CSI-PD	CeTA-PD	CSI
26	31.3		31.4		60.0
27	18.4		18.3		30.5
28	22.8		23.7		1.8
29	0.3	0.0	0.3	0.0	0.5
30	0.3	0.0	0.5	0.0	0.8
31	0.3	0.0	0.2	0.0	0.4
32	0.2	0.0	0.2	0.0	0.5
33	0.3	0.0	0.3	0.0	0.7
34	0.4	0.0	0.4	0.0	0.6
35	0.4	0.0	0.3	0.0	0.8
36	0.4	0.0	0.4	0.0	0.9
37	0.4	0.0	0.4	0.0	0.7
38	0.3	0.0	0.3	0.0	0.7
39	0.3	0.0	0.3	0.0	0.7
40	0.3	0.0	0.4	0.0	0.6
41	0.3	0.0	0.4	0.0	0.6
42	0.4	0.0	0.3	0.0	1.0
43	0.3	0.0	0.3	0.0	0.4
44	0.3	0.0	0.3	0.0	0.5
45	0.4	0.0	0.4	0.0	0.7
46	0.3	0.0	0.4	0.0	0.5
47	10.6	0.0	10.7	0.0	14.5
48	0.4	0.0	0.5	0.0	1.1
49	1.6	0.0	1.6	0.0	0.9
50	0.3	0.0	0.3	0.0	0.8
	CSI-CERT	CeTA	CSI-PD	CeTA-PD	CSI
51	0.5	0.0	0.5	0.0	0.7
52	15.0		14.4		17.5
53	20.0		0.4	0.0	0.8
54	11.9		11.9		14.8
55	14.1		0.3	0.0	0.6
56	12.1		12.1		14.8
57	10.2		10.8		14.7
58	14.8		14.4		17.7
59	18.3		18.3		0.5
60	1.3	0.4	1.5	0.3	5.9
61	0.4	0.0	0.4	0.0	0.9
62	0.4	0.0	0.5	0.0	0.8
63	0.4	0.0	0.5	0.0	1.1
64	2.0	0.0	1.5	0.0	1.1
65	0.7	0.0	0.4	0.0	1.0
66	0.6	0.0	0.3	0.0	0.7
67	0.4	0.0	0.3	0.0	0.7
68	0.5	0.0	0.4	0.1	0.8
69	0.4	0.0	0.4	0.0	0.9
70	0.3	0.0	0.3	0.0	0.5
71	0.3	0.0	0.4	0.0	0.8
72	0.4	0.0	0.3	0.0	0.5
73	0.3	0.0	0.3	0.0	0.6
74	0.4	0.0	0.3	0.0	1.0
75	0.6	0.0	0.4	0.0	0.6
	CSI-CERT	CeTA	CSI-PD	CeTA-PD	CSI
76	60.0		60.0		0.6
77	60.0		60.0		5.9
78	8.1	0.0	8.1	0.0	12.0
79	30.8		30.8		0.4
80	0.3	0.0	0.4	0.0	0.6
81	0.3	0.0	0.3	0.0	0.8
82	0.4	0.0	0.4	0.0	0.9
83	0.3	0.0	0.4	0.0	0.6
84	0.3	0.0	0.3	0.0	0.6
85	0.3	0.0	0.4	0.0	0.7
86	0.5	0.0	0.4	0.0	1.0
87	0.6	0.0	0.4	0.0	1.3
88	0.7	0.0	0.4	0.0	0.8
89	19.0		18.8		31.0
90	0.6	0.0	0.5	0.0	0.7
91	18.3		18.3		1.9
92	0.3	0.0	0.3	0.0	0.6
93	0.3	0.0	0.4	0.0	0.6
94	42.1		0.6	0.0	3.4
95	0.3	0.0	0.3	0.0	0.4
96	0.4	0.0	0.4	0.0	0.6
97	18.3		0.4	0.0	0.8
98	0.3	0.0	0.4	0.0	0.7
99	0.3	0.0	0.3	0.0	0.7
100	0.4	0.0	0.5	0.0	2.7
	CSI-CERT	CeTA	CSI-PD	CeTA-PD	CSI
101	0.2	0.0	0.3	0.0	0.6
102	0.4	0.0	0.5	0.0	2.9
103	0.4	0.0	0.5	0.0	0.6
104	0.3	0.0	0.3	0.0	0.7
105	36.8		38.1		1.0
106	0.4	0.0	0.5	0.0	1.4
107	18.5		18.3		0.5
108	18.4		18.3		0.5
109	60.0		60.0		9.5
110	60.0		60.0		60.0
111	0.3	0.0	0.4	0.0	0.6
112	0.3	0.0	0.4	0.0	1.0
113	0.4	0.0	0.3	0.0	0.8
114	0.4	0.0	0.4	0.0	1.7
115	0.5	0.1	0.6	0.1	2.8
116	0.4	0.0	0.3	0.0	1.6
117	18.2		18.3		1.8
118	18.4		18.3		1.9
119	18.4		18.2		0.6
120	47.3		49.2		1.5
121	1.0	0.0	0.4	0.1	1.4
122	60.0		60.0		1.0
123	60.0		60.0		1.6
124	51.5		50.5		1.9
125	60.0		60.0		1.2
	CSI-CERT	CeTA	CSI-PD	CeTA-PD	CSI
126	60.0		60.0		60.0
127	60.0		60.0		2.4
128	0.8	0.1	1.0	0.1	2.3
129	40.3		42.2		1.9
130	0.9	0.0	0.9	0.0	1.6
131	0.6	0.0	0.6	0.0	1.6
132	60.0		60.0		1.2
133	60.0		60.0		1.1
134	60.0		14.9		2.2
135	0.4	0.0	0.4	0.0	0.9
136	60.0		60.0		1.1
137	0.4	0.0	0.5	0.0	1.6
138	0.6	0.0	0.6	0.0	1.0
139	51.3		52.0		3.7
140	60.0		60.0		1.6
141	9.9	10.0	14.6	10.0	2.1
142	60.0		60.0		1.1
143	60.0		60.0		0.5
144	60.0		60.0		0.7
145	60.0		60.0		2.5
146	0.5	0.0	0.5	0.0	1.8
147	60.0		60.0		0.9
148	19.2		20.1		0.9
149	0.4	0.0	0.4	0.0	0.9
150	0.4	0.0	0.3	0.0	1.1
	CSI-CERT	CeTA	CSI-PD	CeTA-PD	CSI
151	60.0		60.0		1.4
152	0.5	0.0	0.7	0.0	1.8
153	60.0		26.3		1.0
154	43.1		39.0		4.9
155	60.0		60.0		1.1
156	60.0		60.0		1.4
157	31.7		32.5		1.1
158	0.5	0.0	0.4	0.0	1.2
159	0.9	0.0	0.5	0.0	2.3
160	60.0		60.0		31.2
161	39.1		28.2		1.0
162	31.3		37.8		1.9
163	0.4	0.1	0.6	0.1	0.9
164	60.0		60.0		1.7
165	0.4	0.0	0.4	0.0	1.7
166	0.4	0.0	0.5	0.0	1.5
167	0.4	0.0	0.5	0.1	1.3
168	0.6	0.0	0.6	0.0	1.5
169	30.6		29.6		45.3
170	56.8		56.6		60.0
171	60.0		60.0		1.6
172	60.0		60.0		1.1
173	60.0		60.0		60.0
174	31.5		30.7		1.9
175	54.8		60.0		4.4
	CSI-CERT	CeTA	CSI-PD	CeTA-PD	CSI
176	43.1		38.4		2.1
177	0.3	0.0	0.4	0.0	0.8
178	0.3	0.1	0.4	0.0	0.9
179	0.3	0.0	0.3	0.0	0.6
180	0.4	0.0	0.5	0.1	1.7
181	45.4		44.8		1.9
182	47.8		47.7		31.4
183	60.0		60.0		2.0
184	17.1		16.0		0.7
185	60.0		60.0		1.5
186	0.4	0.0	0.5	0.0	1.6
187	41.0		40.3		2.2
188	32.7		33.8		1.4
189	43.3		42.5		1.8
190	0.4	0.0	0.4	0.0	1.3
191	60.0		60.0		2.0
192	60.0		60.0		1.0
193	19.5		17.2		1.6
194	0.8	0.0	0.9	0.0	1.7
195	60.0		60.0		1.9
196	60.0		60.0		1.8
197	60.0		26.3		0.9
198	60.0		60.0		1.3
199	30.0		29.0		0.9
200	0.4	0.0	0.5	0.0	1.6
	CSI-CERT	CeTA	CSI-PD	CeTA-PD	CSI
201	5.5	2.5	5.1	2.5	1.0
202	60.0		60.0		1.2
203	60.0		60.0		10.7
204	58.5		54.3		1.9
205	0.4	0.0	0.4	0.0	0.9
206	60.0		26.7		1.5
207	0.4	0.0	0.5	0.0	1.7
208	51.8		55.8		14.0
209	40.0		37.2		1.2
210	36.8		37.8		1.0
211	0.4	0.0	0.5	0.0	0.7
212	0.4	0.0	0.6	0.0	1.1
213	0.6	0.1	0.4	0.0	0.8
214	0.8	0.0	0.8	0.0	1.4
215	60.0		60.0		1.1
216	6.4	0.1	6.4	0.2	10.5
217	23.8		22.9		1.8
218	30.4		30.3		0.6
219	18.3		18.2		0.4
220	0.3	0.0	0.3	0.0	0.5
221	30.3		30.4		0.5
222	18.3		18.3		0.6
223	0.3	0.0	0.4	0.0	0.8
224	0.4	0.0	0.3	0.1	0.7
225	0.2	0.0	0.3	0.0	0.4
	CSI-CERT	CeTA	CSI-PD	CeTA-PD	CSI
226	0.3	0.0	0.4	0.0	0.7
227	18.3		18.3		30.4
228	18.4		18.3		0.6
229	18.3		18.3		0.8
230	31.0		18.4		30.9
231	18.3		18.3		30.5
232	0.3	0.0	0.3	0.0	0.6
233	0.3	0.0	0.4	0.0	0.9
234	20.0		20.7		32.9
235	0.4	0.0	0.4	0.0	0.8
236	0.2	0.0	0.3	0.0	0.5
237	0.3	0.0	0.4	0.0	0.6
238	0.4	0.0	0.3	0.0	0.6
239	0.3	0.0	0.4	0.0	0.6
240	0.4	0.0	0.4	0.0	0.6
241	0.4	0.0	0.3	0.0	0.6
242	0.4	0.0	0.3	0.0	0.6
243	0.3	0.0	0.4	0.0	0.6
244	0.3	0.0	0.3	0.0	0.6
245	0.3	0.0	0.3	0.0	0.6
246	0.3	0.0	0.4	0.0	0.6
247	0.4	0.0	0.3	0.0	0.6
248	0.4	0.0	0.3	0.0	0.7
249	0.5	0.0	0.4	0.0	1.0
250	18.7		18.7		30.8
	CSI-CERT	CeTA	CSI-PD	CeTA-PD	CSI
251	0.7	0.0	0.7	0.0	0.9
252	0.3	0.0	0.3	0.0	0.6
253	0.5	0.0	0.4	0.0	0.6
254	0.4	0.0	0.4	0.0	0.6
255	0.3	0.0	0.5	0.0	0.8
256	60.0		60.0		60.0
257	60.0		60.0		60.0
258	1.3	0.0	1.0	0.0	1.7
259	60.0		60.0		2.1
260	60.0		60.0		2.1
261	0.3	0.0	0.3	0.0	0.4
392	0.3	0.0	0.3	0.0	0.5
412	0.7	0.0	0.7	0.0	1.1
413	0.4	0.0	0.4	0.0	0.7
414	60.0		60.0		60.0
415	19.4		19.4		60.0
416	0.3	0.0	0.3	0.0	0.5
417	45.2		45.4		60.0
418	0.4	0.0	0.3	0.0	0.5
419	0.4	0.0	0.5	0.0	1.1
420	0.3	0.0	0.3	0.0	0.5
421	0.3	0.0	0.4	0.0	0.7
422	0.4	0.0	0.3	0.0	0.6
423	1.2	0.0	1.5	0.0	0.7
424	0.4	0.0	0.4	0.0	0.6
	CSI-CERT	CeTA	CSI-PD	CeTA-PD	CSI
425	0.4	0.0	0.4	0.0	0.5
442	0.4	0.0	0.5	0.0	1.9
496	18.7		19.1		22.0
497	11.0	0.0	10.5	0.0	14.3
498	18.4		18.3		2.4
502	0.4	0.0	0.4	0.0	0.6
503	0.4	0.0	0.3	0.0	0.6
504	0.3	0.0	0.4	0.0	0.8
505	0.2	0.0	0.3	0.0	0.5
506	0.4	0.0	0.4	0.0	0.6
507	0.3	0.0	0.3	0.0	0.5
508	0.3	0.0	0.3	0.0	0.6
509	0.3	0.0	0.3	0.0	0.5
510	0.3	0.0	0.3	0.0	0.4
511	0.3	0.0	0.2	0.0	0.4
512	0.2	0.0	0.3	0.0	0.4
525	0.3	0.0	0.3	0.0	0.4
526	0.3	0.0	0.3	0.0	0.7
530	0.6	0.1	0.6	0.1	1.9
531	60.0		60.0		0.8
532	60.0		60.0		7.4
533	60.0		35.6		12.0
534	60.0		60.0		13.0
535	33.2		32.3		7.6
536	0.4	0.0	0.4	0.0	0.7
	CSI-CERT	CeTA	CSI-PD	CeTA-PD	CSI
537	17.4		25.4		0.8
538	60.0		60.0		2.3
539	60.0		60.0		60.0
540	20.9		22.9		60.0
541	8.4	0.0	8.1	0.0	13.0
542	60.0		60.0		1.4
543	0.3	0.0	0.4	0.0	0.7
544	0.4	0.0	0.3	0.0	1.0
545	0.4	0.0	0.3	0.0	0.5
554	60.0		60.0		60.0
555	60.0		60.0		60.0
556	60.0		60.0		60.0
557	1.1	0.0	0.8	0.0	1.4
567	0.9	0.0	0.8	0.0	1.3
568	0.9	0.0	0.8	0.0	1.2
569	0.8	0.0	1.0	0.0	1.4
571	0.8	0.0	0.8	0.0	1.3
572	0.8	0.0	0.9	0.0	1.6
573	0.9	0.0	0.3	0.0	1.3
574	1.7	0.0	1.8	0.0	4.3
575	0.9	0.0	0.8	0.0	1.2
576	0.9	0.0	0.9	0.0	1.8
577	1.0	0.1	0.9	0.0	1.8
578	1.0	0.1	1.1	0.1	1.8
579	0.8	0.0	0.8	0.0	0.9
	CSI-CERT	CeTA	CSI-PD	CeTA-PD	CSI
580	0.8	0.0	0.7	0.0	1.1
581	0.7	0.0	0.7	0.0	1.5
582	0.3	0.0	1.0	0.0	0.6
583	0.5	0.0	0.5	0.0	1.2
584	0.6	0.0	0.3	0.0	0.6
585	0.4	0.0	0.3	0.0	0.7
586	0.4	0.0	0.3	0.0	0.6
587	0.3	0.0	0.3	0.0	0.5
588	0.3	0.0	0.3	0.0	0.5
589	0.3	0.0	0.3	0.0	0.4
590	0.3	0.0	0.3	0.0	0.5
591	0.3	0.0	0.3	0.0	0.4
592	0.3	0.0	0.3	0.0	0.5
598	60.0		60.0		60.0
599	0.4	0.0	0.5	0.0	0.7
606	0.2	0.0	0.2	0.0	0.4
613	0.2	0.0	0.3	0.0	0.4
614	0.3	0.0	0.3	0.0	0.5
630	0.3	0.0	0.3	0.0	0.4
631	0.3	0.0	0.3	0.0	0.5
632	0.3	0.0	0.3	0.0	0.7
635	0.4	0.0	0.3	0.0	0.4
647	0.4	0.0	0.3	0.0	0.6
648	0.2	0.0	0.2	0.0	0.5
649	0.2	0.0	0.3	0.0	0.5
	CSI-CERT	CeTA	CSI-PD	CeTA-PD	CSI
650	0.3	0.0	0.3	0.0	0.5
651	0.3	0.0	0.3	0.0	0.5
652	0.3	0.0	0.3	0.0	0.6
653	0.3	0.0	0.3	0.0	0.6
654	0.3	0.0	0.3	0.0	0.5
655	0.3	0.0	0.3	0.0	0.5
656	0.3	0.0	0.3	0.0	0.5
657	0.3	0.0	0.3	0.0	0.6
658	0.3	0.0	0.3	0.0	0.5
659	0.3	0.0	0.3	0.0	0.5
660	0.3	0.0	0.3	0.0	0.5
661	0.3	0.0	0.3	0.0	0.5
662	0.3	0.0	0.3	0.0	0.7
663	0.3	0.0	0.3	0.0	0.5
664	0.3	0.0	0.3	0.0	0.5
665	0.4	0.0	0.3	0.0	0.6
666	0.4	0.0	0.4	0.0	0.6
667	0.3	0.0	0.3	0.0	0.5
668	0.4	0.0	0.4	0.0	0.6
669	0.4	0.0	0.3	0.0	0.5
670	0.4	0.0	0.4	0.0	0.5
671	0.3	0.0	0.3	0.0	0.5
672	0.4	0.0	0.4	0.0	0.5
673	0.3	0.0	0.3	0.0	0.4
674	0.4	0.0	0.4	0.0	0.6
	CSI-CERT	CeTA	CSI-PD	CeTA-PD	CSI
675	0.2	0.0	0.3	0.0	0.5
676	0.4	0.0	0.3	0.0	0.5
677	0.4	0.0	0.4	0.0	0.5
678	0.4	0.0	0.3	0.0	0.6
679	0.3	0.0	0.3	0.0	0.7
680	0.4	0.0	0.3	0.0	0.6
681	0.3	0.0	0.3	0.0	0.6
682	0.3	0.0	0.3	0.0	0.5
683	0.3	0.0	0.3	0.0	0.5
684	0.3	0.0	0.3	0.0	0.5
685	0.4	0.0	0.4	0.0	0.6
686	0.3	0.0	0.3	0.0	0.5
687	0.4	0.0	0.4	0.0	0.5
688	0.3	0.0	0.4	0.0	0.6
689	0.4	0.0	0.3	0.0	0.5
690	0.4	0.0	0.3	0.0	0.6
691	0.4	0.0	0.3	0.0	0.6
692	0.4	0.0	0.3	0.0	0.6
693	0.3	0.0	0.3	0.0	0.5
694	0.3	0.0	0.4	0.0	0.5
695	0.3	0.0	0.3	0.0	0.5
696	0.3	0.0	0.3	0.0	0.5
697	0.5	0.0	0.5	0.0	0.7
698	0.4	0.0	0.3	0.0	0.6
699	1.7	0.0	1.8	0.0	0.8
	CSI-CERT	CeTA	CSI-PD	CeTA-PD	CSI
700	0.4	0.0	0.3	0.0	0.7
701	0.4	0.0	0.3	0.0	0.5
702	0.3	0.0	0.3	0.0	0.4
703	0.3	0.0	0.3	0.0	0.6
704	0.3	0.0	0.3	0.0	0.7
705	0.4	0.0	0.5	0.0	1.2
706	0.7	0.0	0.3	0.0	0.6
707	0.3	0.0	0.2	0.0	0.4
708	0.2	0.0	0.3	0.0	0.4
709	0.3	0.0	0.4	0.0	0.7
710	0.4	0.0	0.2	0.0	0.5
711	0.3	0.0	0.4	0.0	0.6
712	0.4	0.0	0.3	0.0	0.5
713	0.3	0.0	0.3	0.0	0.5
714	0.3	0.0	0.4	0.0	0.6
715	0.4	0.0	0.5	0.0	0.6
716	0.5	0.0	0.4	0.0	0.6
717	0.5	0.0	0.4	0.0	0.6
718	0.3	0.0	0.3	0.0	0.5
719	0.4	0.0	0.4	0.0	0.7
720	0.4	0.0	0.3	0.0	0.6
721	0.4	0.0	0.4	0.0	0.6
731	0.3	0.0	0.3	0.0	0.5
732	0.4	0.0	0.4	0.0	0.8
733	0.5	0.0	0.4	0.0	0.8
	CSI-CERT	CeTA	CSI-PD	CeTA-PD	CSI
734	0.4	0.0	0.2	0.0	0.5
735	0.3	0.0	0.3	0.0	0.5
736	0.3	0.0	0.3	0.0	0.5
737	0.3	0.0	0.3	0.0	0.5
738	0.3	0.0	0.3	0.0	0.6
739	0.4	0.0	0.4	0.0	0.7
740	0.4	0.0	0.3	0.0	0.7
741	0.5	0.0	0.4	0.0	0.6
760	0.6	0.1	0.6	0.1	1.8
761	1.0	0.1	0.6	0.0	0.7
762	0.3	0.0	0.4	0.0	0.7
763	0.3	0.0	0.4	0.0	0.8