Introduction

Please find here the computed results for the .

In the table below, results are colored after their status with regards to correctness (you may have a look on the corresponding mask table for more details). The color code is the following:

green means that all points are counted there,
orange means that only a part (this may means 0) of the points are scored here because:
- there are missing some results (not computed) or,
- no majority for the corresponding line could be computed, thus leaving the status of correctness undecided
red means that no score was given because the status was considered to be false.

The results

They are displayed in the table below.

Summary of Correctness masks for statespace
Correctness mask for ARMCacheCoherence (P/T, Surprise model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
none	----	X-?T	DNC	----	TT?T	T---	DNF	DNF	DNF	3.20568E+0008 2.23396E+0010 ? 1	2102
Correctness mask for Angiogenesis (P/T, Surprise model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
01	----	CC	DNC	----	TTTT	T-TT	T---	T---	T-TT	110 288 8 1	5133
05	----	CC	DNC	----	TTTT	T-TT	T---	DNF	DNF	4.27349E+0007 4.86874E+0008 40 5	3122
10	----	CC	DNC	----	TTTT	T-TT	T---	DNF	CC	8.22646E+0011 1.56359E+0013 80 10	3122
15	----	CC	DNC	----	TTTT	DNF	DNF	DNF	CC	1.11554E+0015 2.74737E+0016 120 15	1111
20	----	CC	DNC	----	DNF	DNF	DNF	DNF	CC	? ? ? ?	0000
25	----	CC	DNC	----	DNF	DNF	DNF	DNF	CC	? ? ? ?	0000
50	----	CC	DNC	----	DNF	DNF	CC	DNF	CC	? ? ? ?	0000
Correctness mask for CircadianClock (P/T, Surprise model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
000001	----	CC	DNC	----	TTTT	T-TT	T---	T---	T-TT	128 624 7 1	5133
000010	----	CC	DNC	----	TTTT	T-TT	T---	T---	T-TT	644204 6.76632E+0006 52 10	5133
000100	----	CC	DNC	----	TTTT	T-TT	T---	DNF	CC	4.20404E+0010 4.97433E+0011 502 100	3122
001000	----	CC	DNC	----	TTTT	T-TT	DNF	DNF	CC	4.02004E+0015 4.81722E+0016 5002 1000	2122
010000	----	CC	DNC	----	DNF	DNF	DNF	DNF	CC	? ? ? ?	0000
100000	----	CC	DNC	----	DNF	DNF	DNF	MOVF	CC	? ? ? ?	0000
Correctness mask for CircularTrains (P/T, Surprise model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
012	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	195 496 12 2	6144
024	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	86515 411680 24 2	6144
048	----	X-TX	DNC	----	TTTT	T-TT	T---	DNF	CC	2.39735E+0010 2.21244E+0011 48 2	3132
096	----	X-??	DNC	----	TT??	DNF	T---	DNF	MOVF	2.59130E+0021 4.71208E+0022 ? ?	2100
192	----	DNF	DNC	----	TTTT	DNF	CC	DNF	MOVF	4.27023E+0043 1.54164E+0045 192 2	1111
384	----	DNF	DNC	----	DNF	DNF	CC	DNF	MOVF	? ? ? ?	0000
768	----	DNF	DNC	----	DNF	DNF	CC	DNF	MOVF	? ? ? ?	0000
Correctness mask for DatabaseWithMutex (Colored, Surprise model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
02	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
04	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
10	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
20	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
40	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for DatabaseWithMutex (P/T, Surprise model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
02	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	153 312 6 1	6134
04	----	DNF	DNC	----	TTTT	T-TT	T---	DNF	DNF	4.71789E+0009 3.96972E+0010 20 1	3122
10	----	CC	DNC	----	CC	DNF	DNF	MOVF	DNF	? ? ? ?	0000
20	----	CC	DNC	----	DNF	DNF	CC	MOVF	MOVF	? ? ? ?	0000
40	----	DNF	DNC	----	DNF	CC	DNF	DNF	MOVF	? ? ? ?	0000
Correctness mask for Diffusion2D (P/T, Surprise model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
D05N010	----	CC	DNC	----	TTTT	T-TT	T---	T---	DNF	1.31128E+0008 5.55366E+0009 10 10	4122
D05N050	----	CC	DNC	----	TTTT	T-TT	DNF	DNF	DNF	1.75295E+0019 1.70557E+0021 50 50	2122
D05N100	----	CC	DNC	----	TTTT	T-TT	DNF	DNF	DNF	2.60110E+0025 3.02063E+0027 100 100	2122
D05N150	----	CC	DNC	----	TTTT	T-TT	DNF	DNF	DNF	1.81260E+0029 2.25013E+0031 150 150	2122
D05N200	----	CC	DNC	----	TTTT	T-TT	DNF	DNF	DNF	1.14386E+0032 1.47068E+0034 200 200	2122
D05N250	----	CC	DNC	----	TTTT	T-TT	DNF	DNF	DNF	1.83135E+0034 2.40615E+0036 250 250	2122
D05N300	----	CC	DNC	----	TTTT	T-TT	DNF	DNF	DNF	1.20542E+0036 1.60722E+0038 300 300	2122
D05N350	----	CC	DNC	----	DNF	T-TT	DNF	DNF	DNF	4.25388E+0037 ? 350 350	1011
D10N010	----	CC	DNC	----	TTTT	T-TT	T---	DNF	DNF	4.26342E+0013 2.67539E+0015 10 10	3122
D10N050	----	CC	DNC	----	TTTT	T-TT	DNF	DNF	DNF	1.34191E+0040 3.08009E+0042 50 50	2122
D10N100	----	CC	DNC	----	TTTT	T-TT	DNF	DNF	DNF	4.52743E+0058 1.55616E+0061 100 100	2122
D10N150	----	CC	DNC	----	DNF	T-TT	DNF	DNF	DNF	2.42521E+0071 ? 150 150	1011
D10N200	----	CC	DNC	----	DNF	T-TT	DNF	DNF	DNF	1.38608E+0081 ? 200 200	1011
D20N010	----	CC	DNC	----	TTTT	T-TT	T---	DNF	DNF	3.23082E+0019 2.34136E+0021 10 10	3122
D20N050	----	CC	DNC	----	TTTT	T-TT	DNF	DNF	DNF	7.91133E+0066 2.61127E+0069 50 50	2122
D20N100	----	CC	DNC	----	DNF	T-TT	CC	DNF	DNF	1.63336E+0107 ? 100 100	1011
D20N150	----	CC	DNC	----	DNF	T-TT	CC	DNF	DNF	2.54238E+0138 ? 150 150	1011
D30N010	----	CC	DNC	----	TTTT	T-TT	CC	MOVF	DNF	1.00995E+0023 7.60408E+0024 10 10	2122
D30N050	----	CC	DNC	----	DNF	T-TT	DNF	DNF	DNF	6.45097E+0083 ? 50 50	1011
D30N100	----	CC	DNC	----	DNF	T-TT	DNF	DNF	DNF	5.74655E+0139 ? 100 100	1011
D30N150	----	CC	DNC	----	DNF	DNF	DNF	DNF	DNF	? ? ? ?	0000
D40N010	----	CC	DNC	----	DNF	T-TT	DNF	DNF	DNF	3.11621E+0025 ? 10 10	1011
D40N050	----	CC	DNC	----	DNF	T-TT	DNF	DNF	DNF	1.12734E+0096 ? 50 50	1011
D40N100	----	CC	DNC	----	DNF	DNF	DNF	DNF	DNF	? ? ? ?	0000
D40N150	----	CC	DNC	----	DNF	DNF	DNF	DNF	DNF	? ? ? ?	0000
D50N010	----	CC	DNC	----	DNF	T-TT	DNF	DNF	DNF	2.67574E+0027 ? 10 10	1011
D50N050	----	CC	DNC	----	DNF	DNF	DNF	DNF	DNF	? ? ? ?	0000
D50N100	----	CC	DNC	----	DNF	DNF	DNF	DNF	DNF	? ? ? ?	0000
D50N150	----	CC	DNC	----	DNF	DNF	DNF	DNF	DNF	? ? ? ?	0000
Correctness mask for ERK (P/T, Surprise model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
000001	----	CC	DNC	----	TTTT	T-TT	T---	T---	T-TT	13 30 5 1	5133
000010	----	CC	DNC	----	TTTT	T-TT	T---	T---	T-TT	47047 372372 50 10	5133
000100	----	CC	DNC	----	TTTT	T-TT	DNF	DNF	CC	1.59141E+0010 1.68445E+0011 500 100	2122
001000	----	CC	DNC	----	DNF	DNF	DNF	DNF	CC	? ? ? ?	0000
010000	----	CC	DNC	----	DNF	CC	DNF	DNF	CC	? ? ? ?	0000
100000	----	CC	DNC	----	DNF	CC	DNF	MOVF	CC	? ? ? ?	0000
Correctness mask for EnergyBus (P/T, Surprise model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
none	----	X-?T	DNC	----	TT?T	T---	DNF	DNF	DNF	2.13184E+0012 4.08587E+0013 ? 1	2102
Correctness mask for MultiwaySync (P/T, Surprise model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
none	----	X-?T	DNC	----	TT?T	T---	T---	DNF	DNF	5.25960E+0019 2.18920E+0021 ? 1	3102
Correctness mask for ParamProductionCell (P/T, Surprise model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
0	----	CC	DNC	----	TTTT	T-TT	T---	DNF	DNF	2.77694E+0006 1.31521E+0007 32 1	3122
1	----	CC	DNC	----	TTTT	T-TT	T---	DNF	T-TT	25632 96722 36 1	4133
2	----	CC	DNC	----	TTTT	T-TT	T---	DNF	T-TT	349874 1.38074E+0006 36 1	4133
3	----	CC	DNC	----	TTTT	T-TT	T---	DNF	T-TT	1.46521E+0006 5.92265E+0006 36 1	4133
4	----	CC	DNC	----	TTTT	T-TT	T---	DNF	DNF	2.40974E+0006 9.82766E+0006 36 1	3122
5	----	CC	DNC	----	TTTT	T-TT	T---	DNF	T-TT	1.65724E+0006 6.74638E+0006 36 1	4133
Correctness mask for PolyORBLF (Colored, Surprise model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
S02J04T06	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	104388 193716 ? ?	1100
S02J04T08	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	104388 193716 ? ?	1100
S02J04T10	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	104388 193716 ? ?	1100
S02J06T06	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	201348 376596 ? ?	1100
S02J06T08	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	201348 376596 ? ?	1100
S02J06T10	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	201348 376596 ? ?	1100
S04J04T06	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	5.89912E+0007 1.77957E+0008 ? ?	1100
S04J04T08	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	5.89912E+0007 1.77957E+0008 ? ?	1100
S04J04T10	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	5.89912E+0007 1.77957E+0008 ? ?	1100
S04J06T06	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
S04J06T08	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
S04J06T10	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
S06J04T04	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
S06J04T06	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
S06J04T08	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
S06J06T04	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
S06J06T06	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
S06J06T08	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for PolyORBLF (P/T, Surprise model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
S02J04T06	----	T-TT	DNC	----	DNF	DNF	CC	DNF	MOVF	1 ? 57 10	1011
S02J04T08	----	T-TT	DNC	----	DNF	DNF	CC	MOVF	MOVF	1 ? 61 10	1011
S02J04T10	----	T-TT	DNC	----	DNF	DNF	CC	MOVF	MOVF	1 ? 65 10	1011
S02J06T06	----	T-TT	DNC	----	DNF	DNF	CC	DNF	MOVF	1 ? 59 10	1011
S02J06T08	----	T-TT	DNC	----	DNF	DNF	CC	DNF	MOVF	1 ? 54 10	1011
S02J06T10	----	T-TT	DNC	----	DNF	DNF	CC	MOVF	MOVF	1 ? 67 10	1011
S04J04T06	----	T-TT	DNC	----	DNF	DNF	CC	MOVF	MOVF	1 ? 61 10	1011
S04J04T08	----	T-TT	DNC	----	DNF	DNF	CC	MOVF	DNF	1 ? 65 10	1011
S04J04T10	----	T-TT	DNC	----	DNF	DNF	CC	MOVF	DNF	1 ? 69 10	1011
S04J06T06	----	T-TT	DNC	----	DNF	DNF	CC	MOVF	DNF	1 ? 63 10	1011
S04J06T08	----	T-TT	DNC	----	DNF	DNF	CC	MOVF	DNF	1 ? 67 10	1011
S04J06T10	----	T-TT	DNC	----	DNF	DNF	CC	DNF	DNF	1 ? 71 10	1011
S06J04T04	----	T-TT	DNC	----	DNF	DNF	CC	DNF	DNF	1 ? 61 10	1011
S06J04T06	----	T-TT	DNC	----	DNF	DNF	DNF	DNF	DNF	1 ? 65 10	1011
S06J04T08	----	T-TT	DNC	----	DNF	DNF	DNF	DNF	DNF	1 ? 69 10	1011
S06J06T04	----	T-TT	DNC	----	DNF	DNF	CC	DNF	DNF	1 ? 54 10	1011
S06J06T06	----	T-TT	DNC	----	DNF	DNF	DNF	DNF	DNF	1 ? 67 10	1011
S06J06T08	----	T-TT	DNC	----	DNF	DNF	DNF	DNF	DNF	1 ? 71 10	1011
Correctness mask for PolyORBNT (Colored, Surprise model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
S05J20	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
S05J30	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
S05J40	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
S05J60	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
S05J80	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
S10J20	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
S10J30	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
S10J40	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
S10J60	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
S10J80	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for PolyORBNT (P/T, Surprise model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
S05J20	----	T-TT	DNC	----	DNF	DNF	CC	DNF	DNF	1 ? 57 10	1011
S05J30	----	T-TT	DNC	----	DNF	DNF	CC	MOVF	DNF	1 ? 67 10	1011
S05J40	----	T-TT	DNC	----	DNF	DNF	CC	MOVF	DNF	1 ? 68 10	1011
S05J60	----	T-TT	DNC	----	DNF	DNF	CC	MOVF	DNF	1 ? 97 10	1011
S05J80	----	T-TT	DNC	----	DNF	DNF	CC	MOVF	MOVF	1 ? 117 10	1011
S10J20	----	T-TT	DNC	----	DNF	DNF	DNF	DNF	DNF	1 ? 67 10	1011
S10J30	----	T-TT	DNC	----	DNF	DNF	DNF	DNF	DNF	1 ? 68 10	1011
S10J40	----	T-TT	DNC	----	DNF	DNF	DNF	DNF	MOVF	1 ? 87 10	1011
S10J60	----	T-TT	DNC	----	DNF	DNF	DNF	DNF	MOVF	1 ? 107 10	1011
S10J80	----	T-TT	DNC	----	DNF	DNF	DNF	DNF	MOVF	1 ? 127 10	1011
Correctness mask for ProductionCell (P/T, Surprise model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
none	----	T-TT	DNC	----	TTTT	T---	T---	DNF	DNF	1.13293E+0013 1.53384E+0014 35 1	4122
Correctness mask for Solitaire (P/T, Surprise model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
EngCT7x7	----	CC	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
EngNC7x7	----	CC	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
FrnCT7x7	----	CC	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
FrnNC7x7	----	CC	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
SqrCT5x5	----	CC	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
SqrNC5x5	----	CC	DNC	----	TTTT	T-TT	T---	DNF	DNF	1.60984E+0007 2.13958E+0008 25 1	3122
Correctness mask for UtahNoC (P/T, Surprise model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
none	----	T-TT	DNC	----	TTTT	T---	T---	MOVF	DNF	4.75992E+0009 7.72480E+0010 8 1	4122
Correctness mask for CSRepetitions (Colored, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
02	----	T---	TT--	----	DNC	DNC	DNC	DNC	DNC	7424 37088 ? ?	2100
03	----	T---	CC	----	DNC	DNC	DNC	DNC	DNC	1.34075E+0008 ? ? ?	1000
04	----	T---	CC	----	DNC	DNC	DNC	DNC	DNC	3.09482E+0013 ? ? ?	1000
05	----	DNF	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
07	----	DNF	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
10	----	DNF	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for CSRepetitions (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
02	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	7424 37088 8 2	6144
03	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	DNF	1.34075E+0008 1.29390E+0009 15 3	5133
04	----	MOVF	DNC	----	DNF	T-TT	CC	DNF	DNF	3.09482E+0013 ? 24 4	1011
05	----	MOVF	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
07	----	MOVF	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
10	----	CC	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
Correctness mask for Dekker (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
010	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	6144 171530 20 1	6144
015	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	278528 1.68346E+0007 30 1	6144
020	----	T-TT	DNC	----	TTTT	T-TT	T---	DNF	DNF	1.15343E+0007 1.21635E+0009 40 1	4133
050	----	DNF	DNC	----	DNF	T-TT	CC	DNF	DNF	2.92734E+0016 ? 100 1	1011
100	----	MOVF	DNC	----	DNF	T-TT	DNF	DNF	DNF	6.46502E+0031 ? 200 1	1011
200	----	MOVF	DNC	----	DNF	T-TT	DNF	DNF	DNF	1.62301E+0062 ? 400 1	1011
Correctness mask for DotAndBoxes (Colored, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
2	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	11 14 ? ?	1100
3	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	383 559 ? ?	1100
4	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	220819 340193 ? ?	1100
5	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for DrinkVendingMachine (Colored, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
02	----	T---	TT--	----	DNC	DNC	DNC	DNC	DNC	1024 7680 ? ?	2100
10	----	DNF	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
16	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
24	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
48	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
76	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
98	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for DrinkVendingMachine (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
02	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	1024 7680 12 1	6144
Correctness mask for Echo (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
d02r09	----	MOVF	DNC	----	DNF	DNF	DNF	DNF	DNF	? ? ? ?	0000
d02r11	----	MOVF	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
d02r15	----	MOVF	DNC	----	DNF	DNF	DNF	DNF	DNF	? ? ? ?	0000
d02r19	----	MOVF	DNC	----	DNF	DNF	CC	MOVF	DNF	? ? ? ?	0000
d03r03	----	MOVF	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
d03r05	----	MOVF	DNC	----	DNF	DNF	CC	MOVF	DNF	? ? ? ?	0000
d03r07	----	MOVF	DNC	----	DNF	DNF	DNF	MOVF	MOVF	? ? ? ?	0000
d04r03	----	MOVF	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
d05r03	----	MOVF	DNC	----	DNF	DNF	CC	MOVF	MOVF	? ? ? ?	0000
Correctness mask for Eratosthenes (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
010	----	T-XT	DNC	----	TTTT	T-XT	T---	T---	T-TT	32 120 9 1	6124
020	----	T-XT	DNC	----	TTTT	T-XT	T---	T---	T-TT	2048 23040 19 1	6124
050	----	T-?T	DNC	----	TT?T	T-?T	T---	T---	DNF	1.71799E+0010 7.30144E+0011 ? 1	5103
100	----	T-?T	DNC	----	TT?T	T-?T	T---	T---	DNF	1.88895E+0022 2.02590E+0024 ? 1	5103
200	----	T-?T	DNC	----	TT?T	T-?T	T---	T---	DNF	1.14180E+0046 2.91729E+0048 ? 1	5103
500	----	CC	DNC	----	TT?T	T-?T	T---	DNF	DNF	4.13160E+0121 3.20612E+0124 ? 1	3102
Correctness mask for FMS (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
002	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	3444 16311 12 3	6134
005	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	2.89502E+0006 2.35272E+0007 21 5	6134
010	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	MOVF	2.50141E+0009 2.75678E+0010 36 10	5123
020	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	MOVF	6.02917E+0012 8.14415E+0013 66 20	5123
050	----	T-XT	DNC	----	TTTT	T-TT	T---	DNF	MOVF	4.24026E+0017 6.61354E+0018 156 50	4123
100	----	T-?T	DNC	----	DNF	T-?T	DNF	DNF	MOVF	2.70306E+0021 ? ? 100	2002
200	----	T-?T	DNC	----	DNF	T-?T	DNF	DNF	MOVF	1.95364E+0025 ? ? 200	2002
500	----	T-?T	DNC	----	DNF	T-?T	DNF	DNF	MOVF	2.70057E+0030 ? ? 500	2002
Correctness mask for GlobalResAllocation (Colored, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
03	----	T---	CC	----	DNC	DNC	DNC	DNC	DNC	6320 ? ? ?	1000
05	----	T---	CC	----	DNC	DNC	DNC	DNC	DNC	1.06604E+0008 ? ? ?	1000
06	----	T---	CC	----	DNC	DNC	DNC	DNC	DNC	2.57249E+0010 ? ? ?	1000
07	----	T---	CC	----	DNC	DNC	DNC	DNC	DNC	8.56976E+0012 ? ? ?	1000
09	----	T---	CC	----	DNC	DNC	DNC	DNC	DNC	2.11853E+0018 ? ? ?	1000
10	----	DNF	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
11	----	DNF	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for GlobalResAllocation (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
03	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	6320 116178 18 4	6144
Correctness mask for HouseConstruction (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
002	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	1501 4780 12 2	6144
005	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	1.18798E+0006 7.19111E+0006 30 5	6144
010	----	T-TT	DNC	----	TTTT	T-TT	DNF	DNF	CC	1.66357E+0009 1.48075E+0010 60 10	3133
020	----	T-TT	DNC	----	TTTT	T-TT	CC	DNF	CC	1.36659E+0013 1.61442E+0014 120 20	3133
050	----	T-TT	DNC	----	CC	DNF	DNF	DNF	CC	1.56823E+0019 ? 300 50	1011
100	----	MOVF	DNC	----	CC	DNF	DNF	DNF	CC	? ? ? ?	0000
200	----	MOVF	DNC	----	CC	DNF	DNF	DNF	CC	? ? ? ?	0000
500	----	DNF	DNC	----	DNF	DNF	DNF	DNF	CC	? ? ? ?	0000
Correctness mask for IBMB2S565S3960 (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
none	----	DNF	DNC	----	TTTT	DNF	CC	DNF	DNF	1.55106E+0016 2.01128E+0017 60 7	1111
Correctness mask for Kanban (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
0005	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	2.54643E+0006 2.44600E+0007 20 5	6144
0010	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	CC	1.00593E+0009 1.20322E+0010 40 10	5133
0020	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	CC	8.05422E+0011 1.10119E+0013 80 20	5133
0050	----	T-TT	DNC	----	TTTT	T-TT	DNF	T---	CC	1.04259E+0016 1.56123E+0017 200 50	4133
0100	----	T-TT	DNC	----	TTTT	T-TT	DNF	DNF	CC	1.72630E+0019 2.67046E+0020 400 100	3133
0200	----	T-TT	DNC	----	DNF	T-TT	DNF	DNF	CC	3.17317E+0022 ? 800 200	2022
0500	----	DNF	DNC	----	DNF	T-TT	DNF	DNF	CC	7.08602E+0026 ? 2000 500	1011
1000	----	DNF	DNC	----	DNF	DNF	DNF	DNF	CC	? ? ? ?	0000
Correctness mask for LamportFastMutEx (Colored, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
2	----	T---	TT--	----	DNC	DNC	DNC	DNC	DNC	380 716 ? ?	2100
3	----	T---	TT--	----	DNC	DNC	DNC	DNC	DNC	19742 58272 ? ?	2100
4	----	T---	TT--	----	DNC	DNC	DNC	DNC	DNC	1.91478E+0006 9.04605E+0006 ? ?	2100
5	----	DNF	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
6	----	DNF	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
7	----	DNF	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
8	----	DNF	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for LamportFastMutEx (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
2	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	380 716 8 1	6144
3	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	19742 58272 14 1	6144
4	----	T-TT	DNC	----	TTTT	T-TT	T---	DNF	DNF	1.91478E+0006 9.04605E+0006 22 1	4133
5	----	DNF	DNC	----	DNF	T-TT	T---	DNF	DNF	5.30682E+0008 ? 32 1	2011
6	----	DNF	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
7	----	DNF	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
8	----	DNF	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
Correctness mask for MAPK (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
008	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	6.11064E+0006 7.89489E+0007 36 8	6134
020	----	DNF	DNC	----	TTTT	T-TT	T---	DNF	MOVF	8.81258E+0010 1.68902E+0012 90 20	3122
040	----	DNF	DNC	----	TTTT	T-TT	T---	DNF	MOVF	4.78293E+0014 1.10986E+0016 180 40	3122
080	----	DNF	DNC	----	TTTT	T-TT	DNF	DNF	MOVF	5.63490E+0018 1.47037E+0020 360 80	2122
160	----	DNF	DNC	----	DNF	T-TT	DNF	DNF	MOVF	1.06396E+0023 ? 720 160	1011
320	----	DNF	DNC	----	CC	T-TT	DNF	DNF	MOVF	2.61626E+0027 ? 1440 320	1011
Correctness mask for NeoElection (Colored, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
2	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	241 448 ? ?	1100
3	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	974325 3.59911E+0006 ? ?	1100
4	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
5	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
6	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
7	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
8	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for NeoElection (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
2	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	241 448 14 1	6144
3	----	T-XT	DNC	----	TTTT	T-TT	T---	DNF	DNF	974325 3.59911E+0006 30 1	4123
4	----	MOVF	DNC	----	DNF	T-TT	T---	MOVF	DNF	2.91912E+0011 ? 52 1	2011
5	----	MOVF	DNC	----	DNF	DNF	T---	DNF	DNF	6.35695E+0018 ? ? ?	1000
6	----	MOVF	DNC	----	DNF	DNF	DNF	DNF	DNF	? ? ? ?	0000
7	----	DNF	DNC	----	DNF	DNF	DNF	DNF	DNF	? ? ? ?	0000
8	----	DNF	DNC	----	DNF	DNF	DNF	DNF	MOVF	? ? ? ?	0000
Correctness mask for PermAdmissibility (Colored, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
01	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	52537 54600 ? ?	1100
02	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
05	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
10	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
20	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
50	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for PermAdmissibility (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
01	----	T-TT	DNC	----	TTTT	T-TT	T---	DNF	T-TT	52537 54600 9 1	5144
02	----	DNF	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
05	----	DNF	DNC	----	DNF	DNF	CC	DNF	MOVF	? ? ? ?	0000
10	----	DNF	DNC	----	DNF	DNF	CC	DNF	MOVF	? ? ? ?	0000
20	----	DNF	DNC	----	DNF	DNF	CC	DNF	MOVF	? ? ? ?	0000
50	----	DNF	DNC	----	DNF	DNF	CC	DNF	MOVF	? ? ? ?	0000
Correctness mask for Peterson (Colored, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
2	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	20754 62262 ? ?	1100
3	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	3.40795E+0006 1.36318E+0007 ? ?	1100
4	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
5	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
6	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
7	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for Peterson (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
2	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	20754 62262 8 1	6144
3	----	T-TT	DNC	----	TTTT	T-TT	T---	DNF	DNF	3.40795E+0006 1.36318E+0007 11 1	4133
4	----	CC	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
5	----	CC	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
6	----	CC	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
7	----	CC	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
Correctness mask for Philosophers (Colored, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
000005	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	243 945 ? ?	1100
000010	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	59049 459270 ? ?	1100
000020	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
000050	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
000100	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
000200	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
000500	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
001000	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
002000	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
005000	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
010000	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
050000	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
100000	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for Philosophers (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
000005	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	243 945 10 1	6134
000010	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	59049 459270 20 1	6134
000020	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	DNF	3.48678E+0009 5.42389E+0010 40 1	5123
000050	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	DNF	7.17898E+0023 2.79183E+0025 100 1	5123
000100	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	DNF	5.15378E+0047 4.00849E+0049 200 1	5123
000200	----	T-XT	DNC	----	TTTT	T-TT	T---	DNF	DNF	2.65614E+0095 4.13177E+0097 400 1	4123
000500	----	T-XT	DNC	----	TTTT	T-TT	CC	T---	DNF	3.63603E+0238 1.41401E+0241 1000 1	4123
001000	----	MOVF	DNC	----	TTTT	T-TT	CC	T---	MOVF	1.32207E+0477 1.02828E+0480 2000 1	3122
002000	----	DNF	DNC	----	DNF	T-TT	DNF	T---	MOVF	1.74787E+0954 ? 4000 1	2011
Correctness mask for PhilosophersDyn (Colored, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
03	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
10	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
20	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
50	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
80	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for PhilosophersDyn (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
03	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	325 768 11 1	6144
10	----	T-TT	DNC	----	DNF	T-TT	T---	DNF	T-TT	199051 ? 20 1	4033
20	----	CC	DNC	----	DNF	DNF	DNF	DNF	DNF	? ? ? ?	0000
Correctness mask for Planning (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
none	----	DNC	DNC	----	DNF	DNF	DNF	DNF	DNF	? ? ? ?	0000
Correctness mask for QuasiCertifProtocol (Colored, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
02	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	4158 14748 ? ?	1100
06	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
10	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
18	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
22	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
28	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
32	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for QuasiCertifProtocol (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
02	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	1029 3084 20 1	6144
06	----	T-TT	DNC	----	TTTT	T-TT	T---	DNF	T-TT	2.27196E+0006 1.60080E+0007 74 3	5144
10	----	MOVF	DNC	----	DNF	DNF	DNF	DNF	DNF	? ? ? ?	0000
18	----	MOVF	DNC	----	DNF	DNF	CC	DNF	MOVF	? ? ? ?	0000
22	----	MOVF	DNC	----	CC	DNF	CC	DNF	MOVF	? ? ? ?	0000
28	----	MOVF	DNC	----	CC	DNF	CC	DNF	MOVF	? ? ? ?	0000
32	----	MOVF	DNC	----	CC	DNF	CC	DNF	MOVF	? ? ? ?	0000
Correctness mask for Railroad (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
005	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	1838 7699 16 1	6144
010	----	MOVF	DNC	----	TTTT	T-TT	T---	T---	DNF	2.03817E+0006 1.63246E+0007 26 1	4122
020	----	MOVF	DNC	----	DNF	T-TT	T---	DNF	DNF	2.19554E+0012 ? 46 1	2011
050	----	MOVF	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
100	----	MOVF	DNC	----	DNF	DNF	DNF	DNF	DNF	? ? ? ?	0000
Correctness mask for ResAllocation (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
R002C002	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	8 12 4 1	6134
R003C002	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	20 34 6 1	6134
R003C003	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	92 257 9 1	6134
R003C005	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	1200 4960 15 1	6134
R003C010	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	823552 6.28672E+0006 30 1	6134
R003C015	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	DNF	5.78878E+0008 6.48569E+0009 45 1	5123
R003C020	----	MOVF	DNC	----	TTTT	T-TT	T---	DNF	DNF	4.06455E+0011 6.00286E+0012 60 1	3122
R003C050	----	MOVF	DNC	----	TTTT	T-TT	T---	DNF	DNF	4.87175E+0028 1.76164E+0030 150 1	3122
R003C100	----	MOVF	DNC	----	TTTT	T-TT	T---	DNF	DNF	1.41951E+0057 1.01939E+0059 300 1	3122
R005C002	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	112 240 10 1	6134
R010C002	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	6144 20480 20 1	6134
R015C002	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	278528 1.26976E+0006 30 1	6134
R020C002	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	DNF	1.15343E+0007 6.68467E+0007 40 1	5123
R050C002	----	T-XT	DNC	----	TTTT	T-TT	T---	DNF	DNF	2.92734E+0016 3.88435E+0017 100 1	4123
R100C002	----	T-XT	DNC	----	TTTT	T-TT	T---	DNF	DNF	6.46502E+0031 1.66538E+0033 200 1	4123
Correctness mask for Ring (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
none	----	T-XT	DNC	----	TTTT	T-TT	T---	DNF	DNF	9.02652E+0011 9.66280E+0012 61 1	4123
Correctness mask for RwMutex (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
r0010w0010	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	1034 10260 30 1	6134
r0010w0020	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	1044 10280 40 1	6134
r0010w0050	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	1074 10340 70 1	6134
r0010w0100	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	1124 10440 120 1	6134
r0010w0500	----	T-XT	DNC	----	TTTT	T-TT	T---	MOVF	T-TT	1524 11240 520 1	5134
r0010w1000	----	MOVF	DNC	----	TTTT	T-TT	T---	DNF	T-TT	2024 12240 1020 1	4133
r0010w2000	----	MOVF	DNC	----	DNF	T-TT	T---	DNF	T-TT	3024 ? 2020 1	3022
r0020w0010	----	T-XT	DNC	----	TTTT	T-TT	T---	DNF	T-TT	1.04859E+0006 2.09715E+0007 50 1	5134
r0100w0010	----	T-TT	DNC	----	CC	DNF	CC	DNF	DNF	1.26765E+0030 ? 209 1	1011
r0500w0010	----	T-TT	DNC	----	CC	DNF	CC	DNF	MOVF	3.27339E+0150 ? 1009 1	1011
r1000w0010	----	T-TT	DNC	----	CC	DNF	CC	DNF	MOVF	1.07151E+0301 ? 2009 1	1011
r2000w0010	----	MOVF	DNC	----	CC	DNF	DNF	DNF	MOVF	? ? ? ?	0000
Correctness mask for SharedMemory (Colored, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
000005	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	1863 10395 ? ?	1100
000010	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
000020	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
000050	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
000100	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
000200	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
000500	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
001000	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
002000	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
005000	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
010000	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
020000	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
050000	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
100000	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for SharedMemory (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
000005	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	1863 10395 11 1	6134
000010	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	DNF	1.83052E+0006 1.94862E+0007 21 1	5123
000020	----	MOVF	DNC	----	TTTT	T-TT	T---	T---	DNF	4.45146E+0011 9.19736E+0012 41 1	4122
000050	----	CC	DNC	----	DNF	T-TT	CC	DNF	DNF	5.87001E+0026 ? 101 1	1011
000100	----	CC	DNC	----	DNF	T-TT	DNF	DNF	MOVF	1.70126E+0051 ? 201 1	1011
Correctness mask for SimpleLoadBal (Colored, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
02	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	916 2918 ? ?	1100
05	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	116176 566332 ? ?	1100
10	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
15	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
20	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for SimpleLoadBal (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
02	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	832 2650 11 1	6144
05	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	116176 566332 17 1	6144
10	----	T-TT	DNC	----	TTTT	T-TT	T---	MOVF	DNF	4.06034E+0008 3.05120E+0009 27 1	4133
15	----	DNF	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
20	----	MOVF	DNC	----	DNF	DNF	CC	MOVF	DNF	? ? ? ?	0000
Correctness mask for TokenRing (Colored, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
005	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	166 365 ? ?	1100
010	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	58905 294050 ? ?	1100
015	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	3.53579E+0007 2.65183E+0008 ? ?	1100
020	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
030	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
040	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
050	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
100	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
200	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
500	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for TokenRing (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
005	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	166 365 6 1	6144
010	----	CC	DNC	----	TTTT	T-TT	T---	T---	T-TT	58905 294050 11 1	5133
015	----	CC	DNC	----	TTTT	T-TT	T---	DNF	DNF	3.53579E+0007 2.65183E+0008 16 1	3122
020	----	CC	DNC	----	DNF	T-TT	T---	DNF	DNF	2.44663E+0010 ? 21 1	2011
Correctness mask for Vasy2003 (P/T, Known model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
none	----	DNF	DNC	----	TTTT	T---	CC	DNF	DNF	9.79474E+0021 3.40028E+0023 60 1	2111
Correctness mask for CSRepetitions (Colored, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
02	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	7424 37088 ? ?	1100
03	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
04	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
05	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
07	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
10	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for CSRepetitions (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
02	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	7424 37088 8 2	6144
03	----	DNF	DNC	----	TTTT	T-TT	T---	DNF	DNF	1.34075E+0008 1.29390E+0009 15 3	3122
04	----	DNF	DNC	----	DNF	T-TT	CC	DNF	DNF	3.09482E+0013 ? 24 4	1011
05	----	DNF	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
07	----	CC	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
10	----	CC	DNC	----	DNF	DNF	CC	MOVF	DNF	? ? ? ?	0000
Correctness mask for Dekker (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
010	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	6144 171530 20 1	6144
015	----	T-TT	DNC	----	TTTT	T-TT	T---	DNF	T-TT	278528 1.68346E+0007 30 1	5144
020	----	T-TT	DNC	----	TTTT	DNF	T---	DNF	DNF	1.15343E+0007 1.21635E+0009 40 1	3122
050	----	MOVF	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
100	----	MOVF	DNC	----	DNF	DNF	DNF	DNF	DNF	? ? ? ?	0000
200	----	DNF	DNC	----	DNF	DNF	DNF	DNF	DNF	? ? ? ?	0000
Correctness mask for DotAndBoxes (Colored, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
2	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	11 14 ? ?	1100
3	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	383 559 ? ?	1100
4	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	220819 340193 ? ?	1100
5	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for DrinkVendingMachine (Colored, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
02	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	1024 7680 ? ?	1100
10	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
16	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
24	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
48	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
76	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
98	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for DrinkVendingMachine (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
02	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	1024 7680 12 1	6144
Correctness mask for Echo (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
d02r09	----	T-TT	DNC	----	DNF	DNF	DNF	DNF	DNF	1 ? 80 1	1011
d02r11	----	T-TT	DNC	----	DNF	DNF	CC	DNF	DNF	1 ? 120 1	1011
d02r15	----	T-TT	DNC	----	DNF	DNF	CC	MOVF	DNF	1 ? 224 1	1011
d02r19	----	T-TT	DNC	----	DNF	DNF	DNF	DNF	DNF	1 ? 360 1	1011
d03r03	----	T-TT	DNC	----	DNF	DNF	CC	DNF	DNF	1 ? 26 1	1011
d03r05	----	T-TT	DNC	----	DNF	DNF	CC	MOVF	DNF	1 ? 124 1	1011
d03r07	----	T-TT	DNC	----	DNF	DNF	DNF	DNF	MOVF	1 ? 342 1	1011
d04r03	----	T-TT	DNC	----	DNF	DNF	CC	DNF	DNF	1 ? 80 1	1011
d05r03	----	T-TT	DNC	----	DNF	DNF	CC	DNF	MOVF	1 ? 242 1	1011
Correctness mask for Eratosthenes (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
010	----	CC	DNC	----	TTTT	T-XT	T---	T---	T-TT	32 120 9 1	5123
020	----	CC	DNC	----	TTTT	T-XT	T---	T---	T-TT	2048 23040 19 1	5123
050	----	CC	DNC	----	TT?T	T-?T	T---	T---	DNF	1.71799E+0010 7.30144E+0011 ? 1	4102
100	----	CC	DNC	----	TT?T	T-?T	T---	T---	DNF	1.88895E+0022 2.02590E+0024 ? 1	4102
200	----	CC	DNC	----	TT?T	T-?T	T---	DNF	DNF	1.14180E+0046 2.91729E+0048 ? 1	3102
500	----	CC	DNC	----	TT?T	T-?T	T---	DNF	DNF	4.13160E+0121 3.20612E+0124 ? 1	3102
Correctness mask for FMS (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
002	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	3444 16311 12 3	6144
005	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	2.89502E+0006 2.35272E+0007 21 5	6144
010	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	MOVF	2.50141E+0009 2.75678E+0010 36 10	5133
020	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	MOVF	6.02917E+0012 8.14415E+0013 66 20	5133
050	----	T-TT	DNC	----	TTTT	T-TT	T---	DNF	MOVF	4.24026E+0017 6.61354E+0018 156 50	4133
100	----	T-TT	DNC	----	DNF	T-TT	DNF	DNF	MOVF	2.70306E+0021 ? 306 100	2022
200	----	T-TT	DNC	----	DNF	DNF	DNF	DNF	MOVF	1.95364E+0025 ? 606 200	1011
500	----	DNF	DNC	----	DNF	DNF	DNF	DNF	MOVF	? ? ? ?	0000
Correctness mask for GlobalResAllocation (Colored, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
03	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
05	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
06	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
07	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
09	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
10	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
11	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for GlobalResAllocation (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
03	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	6320 116178 18 4	6144
Correctness mask for HouseConstruction (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
002	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	1501 4780 12 2	6144
005	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	1.18798E+0006 7.19111E+0006 30 5	6144
010	----	T-TT	DNC	----	TTTT	T-TT	DNF	DNF	CC	1.66357E+0009 1.48075E+0010 60 10	3133
020	----	T-TT	DNC	----	TTTT	T-TT	CC	DNF	CC	1.36659E+0013 1.61442E+0014 120 20	3133
050	----	T-TT	DNC	----	CC	DNF	DNF	DNF	CC	1.56823E+0019 ? 300 50	1011
100	----	MOVF	DNC	----	CC	DNF	DNF	DNF	CC	? ? ? ?	0000
200	----	DNF	DNC	----	CC	DNF	DNF	DNF	CC	? ? ? ?	0000
500	----	DNF	DNC	----	DNF	CC	DNF	DNF	CC	? ? ? ?	0000
Correctness mask for IBMB2S565S3960 (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
none	----	?-??	DNC	----	?T??	DNF	CC	DNF	DNF	? 2.01128E+0017 ? ?	0100
Correctness mask for Kanban (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
0005	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	2.54643E+0006 2.44600E+0007 20 5	6144
0010	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	CC	1.00593E+0009 1.20322E+0010 40 10	5133
0020	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	CC	8.05422E+0011 1.10119E+0013 80 20	5133
0050	----	T-TT	DNC	----	TTTT	T-TT	DNF	DNF	CC	1.04259E+0016 1.56123E+0017 200 50	3133
0100	----	T-TT	DNC	----	TTTT	T-TT	DNF	DNF	CC	1.72630E+0019 2.67046E+0020 400 100	3133
0200	----	?-TT	DNC	----	DNF	?-TT	DNF	DNF	CC	? ? 800 200	0022
0500	----	DNF	DNC	----	DNF	T-TT	DNF	DNF	CC	1 ? 2000 500	1011
1000	----	DNF	DNC	----	DNF	CC	DNF	DNF	CC	? ? ? ?	0000
Correctness mask for LamportFastMutEx (Colored, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
2	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	380 716 ? ?	1100
3	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	19742 58272 ? ?	1100
4	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	1.91478E+0006 9.04605E+0006 ? ?	1100
5	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
6	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
7	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
8	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for LamportFastMutEx (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
2	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	380 716 8 1	6144
3	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	19742 58272 14 1	6144
4	----	T-TT	DNC	----	TTTT	T-TT	T---	DNF	DNF	1.91478E+0006 9.04605E+0006 22 1	4133
5	----	MOVF	DNC	----	DNF	DNF	T---	DNF	DNF	5.30682E+0008 ? ? ?	1000
6	----	DNF	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
7	----	DNF	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
8	----	DNF	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
Correctness mask for MAPK (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
008	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	6.11064E+0006 7.89489E+0007 36 8	6134
020	----	DNF	DNC	----	TTTT	T-TT	T---	DNF	MOVF	8.81258E+0010 1.68902E+0012 90 20	3122
040	----	DNF	DNC	----	TTTT	T-TT	T---	DNF	MOVF	4.78293E+0014 1.10986E+0016 180 40	3122
080	----	DNF	DNC	----	TTTT	T-TT	DNF	DNF	MOVF	5.63490E+0018 1.47037E+0020 360 80	2122
160	----	DNF	DNC	----	DNF	T-TT	DNF	DNF	MOVF	1.06396E+0023 ? 720 160	1011
320	----	DNF	DNC	----	CC	DNF	DNF	DNF	MOVF	? ? ? ?	0000
Correctness mask for NeoElection (Colored, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
2	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	241 448 ? ?	1100
3	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	974325 3.59911E+0006 ? ?	1100
4	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
5	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
6	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
7	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
8	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for NeoElection (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
2	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	241 448 14 1	6144
3	----	T-TT	DNC	----	TTTT	T-TT	T---	DNF	DNF	974325 3.59911E+0006 30 1	4133
4	----	MOVF	DNC	----	DNF	T-TT	T---	DNF	DNF	2.91912E+0011 ? 52 1	2011
5	----	MOVF	DNC	----	DNF	DNF	T---	DNF	DNF	6.35695E+0018 ? ? ?	1000
6	----	DNF	DNC	----	DNF	DNF	DNF	DNF	DNF	? ? ? ?	0000
7	----	DNF	DNC	----	DNF	DNF	DNF	DNF	DNF	? ? ? ?	0000
8	----	DNF	DNC	----	DNF	DNF	DNF	DNF	MOVF	? ? ? ?	0000
Correctness mask for PermAdmissibility (Colored, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
01	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	52537 54600 ? ?	1100
02	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
05	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
10	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
20	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
50	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for PermAdmissibility (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
01	----	T-TT	DNC	----	TTTT	T-TT	T---	DNF	T-TT	52537 54600 9 1	5144
02	----	DNF	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
05	----	DNF	DNC	----	DNF	DNF	CC	DNF	MOVF	? ? ? ?	0000
10	----	DNF	DNC	----	DNF	DNF	CC	DNF	MOVF	? ? ? ?	0000
20	----	DNF	DNC	----	DNF	DNF	CC	DNF	MOVF	? ? ? ?	0000
50	----	DNF	DNC	----	DNF	DNF	CC	DNF	MOVF	? ? ? ?	0000
Correctness mask for Peterson (Colored, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
2	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	20754 62262 ? ?	1100
3	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	3.40795E+0006 1.36318E+0007 ? ?	1100
4	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
5	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
6	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
7	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for Peterson (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
2	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	20754 62262 8 1	6144
3	----	T-TT	DNC	----	TTTT	T-TT	T---	DNF	DNF	3.40795E+0006 1.36318E+0007 11 1	4133
4	----	MOVF	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
5	----	MOVF	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
6	----	DNF	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
7	----	DNF	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
Correctness mask for Philosophers (Colored, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
000005	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	243 945 ? ?	1100
000010	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	59049 459270 ? ?	1100
000020	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
000050	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
000100	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
000200	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
000500	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
001000	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
002000	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
005000	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
010000	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
050000	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
100000	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for Philosophers (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
000005	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	243 945 10 1	6134
000010	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	59049 459270 20 1	6134
000020	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	DNF	3.48678E+0009 5.42389E+0010 40 1	5123
000050	----	MOVF	DNC	----	TTTT	T-TT	T---	T---	DNF	7.17898E+0023 2.79183E+0025 100 1	4122
000100	----	MOVF	DNC	----	TTTT	T-TT	T---	DNF	DNF	5.15378E+0047 4.00849E+0049 200 1	3122
000200	----	MOVF	DNC	----	TTTT	T-TT	T---	DNF	DNF	2.65614E+0095 4.13177E+0097 400 1	3122
000500	----	MOVF	DNC	----	TTTT	T-TT	CC	DNF	DNF	3.63603E+0238 1.41401E+0241 1000 1	2122
001000	----	MOVF	DNC	----	TTTT	DNF	CC	DNF	MOVF	1.32207E+0477 1.02828E+0480 2000 1	1111
002000	----	DNF	DNC	----	DNF	CC	DNF	DNF	MOVF	? ? ? ?	0000
Correctness mask for PhilosophersDyn (Colored, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
03	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
10	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
20	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
50	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
80	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for PhilosophersDyn (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
03	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	325 768 11 1	6134
10	----	CC	DNC	----	DNF	DNF	T---	DNF	T-TT	199051 ? 20 1	2011
20	----	DNF	DNC	----	DNF	DNF	DNF	DNF	DNF	? ? ? ?	0000
Correctness mask for Planning (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
none	----	T-TT	DNC	----	DNF	DNF	DNF	DNF	DNF	1.93274E+0010 ? 54 1	1011
Correctness mask for QuasiCertifProtocol (Colored, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
02	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	4158 14748 ? ?	1100
06	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
10	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
18	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
22	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
28	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
32	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for QuasiCertifProtocol (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
02	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	1029 3084 20 1	6144
06	----	T-TT	DNC	----	TTTT	T-TT	T---	DNF	DNF	2.27196E+0006 1.60080E+0007 74 3	4133
10	----	MOVF	DNC	----	DNF	DNF	DNF	DNF	DNF	? ? ? ?	0000
18	----	CC	DNC	----	DNF	DNF	CC	DNF	MOVF	? ? ? ?	0000
22	----	DNF	DNC	----	CC	DNF	CC	DNF	MOVF	? ? ? ?	0000
28	----	DNF	DNC	----	CC	DNF	CC	DNF	MOVF	? ? ? ?	0000
32	----	DNF	DNC	----	CC	DNF	CC	DNF	MOVF	? ? ? ?	0000
Correctness mask for Railroad (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
005	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	1838 7699 16 1	6144
010	----	MOVF	DNC	----	TTTT	T-TT	T---	T---	DNF	2.03817E+0006 1.63246E+0007 26 1	4122
020	----	DNF	DNC	----	DNF	DNF	T---	DNF	DNF	2.19554E+0012 ? ? ?	1000
050	----	DNF	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
100	----	DNF	DNC	----	DNF	DNF	DNF	DNF	DNF	? ? ? ?	0000
Correctness mask for ResAllocation (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
R002C002	----	CC	DNC	----	TTTT	T-TT	T---	T---	T-TT	8 12 4 1	5133
R003C002	----	CC	DNC	----	TTTT	T-TT	T---	T---	T-TT	20 34 6 1	5133
R003C003	----	CC	DNC	----	TTTT	T-TT	T---	T---	T-TT	92 257 9 1	5133
R003C005	----	CC	DNC	----	TTTT	T-TT	T---	T---	T-TT	1200 4960 15 1	5133
R003C010	----	CC	DNC	----	TTTT	T-TT	T---	T---	T-TT	823552 6.28672E+0006 30 1	5133
R003C015	----	CC	DNC	----	TTTT	T-TT	T---	T---	DNF	5.78878E+0008 6.48569E+0009 45 1	4122
R003C020	----	CC	DNC	----	TTTT	T-TT	T---	DNF	DNF	4.06455E+0011 6.00286E+0012 60 1	3122
R003C050	----	CC	DNC	----	TTTT	T-TT	T---	DNF	DNF	4.87175E+0028 1.76164E+0030 150 1	3122
R003C100	----	CC	DNC	----	TTTT	T-TT	T---	MOVF	DNF	1.41951E+0057 1.01939E+0059 300 1	3122
R005C002	----	CC	DNC	----	TTTT	T-TT	T---	T---	T-TT	112 240 10 1	5133
R010C002	----	CC	DNC	----	TTTT	T-TT	T---	T---	T-TT	6144 20480 20 1	5133
R015C002	----	CC	DNC	----	TTTT	T-TT	T---	T---	T-TT	278528 1.26976E+0006 30 1	5133
R020C002	----	CC	DNC	----	TTTT	T-TT	T---	T---	DNF	1.15343E+0007 6.68467E+0007 40 1	4122
R050C002	----	CC	DNC	----	TTTT	T-TT	T---	DNF	DNF	2.92734E+0016 3.88435E+0017 100 1	3122
R100C002	----	CC	DNC	----	TTTT	T-TT	T---	DNF	DNF	6.46502E+0031 1.66538E+0033 200 1	3122
Correctness mask for Ring (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
none	----	DNF	DNC	----	TTTT	T-TT	T---	DNF	DNF	9.02652E+0011 9.66280E+0012 61 1	3122
Correctness mask for RwMutex (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
r0010w0010	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	1034 10260 30 1	6134
r0010w0020	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	1044 10280 40 1	6134
r0010w0050	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	1074 10340 70 1	6134
r0010w0100	----	T-XT	DNC	----	TTTT	T-TT	T---	T---	T-TT	1124 10440 120 1	6134
r0010w0500	----	T-XT	DNC	----	TTTT	T-TT	T---	MOVF	T-TT	1524 11240 520 1	5134
r0010w1000	----	T-TT	DNC	----	TTTT	T-TT	T---	DNF	T-TT	2024 12240 1020 1	5144
r0010w2000	----	MOVF	DNC	----	DNF	DNF	T---	DNF	T-TT	3024 ? 2020 1	2011
r0020w0010	----	T-TT	DNC	----	TTTT	T-TT	T---	DNF	T-TT	1.04859E+0006 2.09715E+0007 50 1	5144
r0100w0010	----	MOVF	DNC	----	CC	DNF	CC	DNF	DNF	? ? ? ?	0000
r0500w0010	----	MOVF	DNC	----	CC	DNF	CC	DNF	MOVF	? ? ? ?	0000
r1000w0010	----	MOVF	DNC	----	CC	DNF	CC	DNF	MOVF	? ? ? ?	0000
r2000w0010	----	CC	DNC	----	CC	DNF	DNF	DNF	MOVF	? ? ? ?	0000
Correctness mask for SharedMemory (Colored, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
000005	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	1863 10395 ? ?	1100
000010	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
000020	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
000050	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
000100	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
000200	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
000500	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
001000	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
002000	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
005000	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
010000	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
020000	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
050000	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
100000	----	DNC	DNF	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for SharedMemory (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
000005	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	1863 10395 11 1	6144
000010	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	DNF	1.83052E+0006 1.94862E+0007 21 1	5133
000020	----	MOVF	DNC	----	TTTT	DNF	T---	T---	DNF	4.45146E+0011 9.19736E+0012 41 1	3111
000050	----	CC	DNC	----	DNF	DNF	CC	DNF	DNF	? ? ? ?	0000
000100	----	DNF	DNC	----	DNF	CC	DNF	DNF	MOVF	? ? ? ?	0000
Correctness mask for SimpleLoadBal (Colored, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
02	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	916 2918 ? ?	1100
05	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	116176 566332 ? ?	1100
10	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
15	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
20	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for SimpleLoadBal (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
02	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	832 2650 11 1	6144
05	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	116176 566332 17 1	6144
10	----	DNF	DNC	----	TTTT	T-TT	T---	MOVF	DNF	4.06034E+0008 3.05120E+0009 27 1	3122
15	----	DNF	DNC	----	DNF	DNF	CC	MOVF	DNF	? ? ? ?	0000
20	----	DNF	DNC	----	DNF	DNF	CC	MOVF	DNF	? ? ? ?	0000
Correctness mask for TokenRing (Colored, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
005	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	166 365 ? ?	1100
010	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	58905 294050 ? ?	1100
015	----	DNC	TT--	----	DNC	DNC	DNC	DNC	DNC	3.53579E+0007 2.65183E+0008 ? ?	1100
020	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
030	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
040	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
050	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
100	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
200	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
500	----	DNC	CC	----	DNC	DNC	DNC	DNC	DNC	? ? ? ?	0000
Correctness mask for TokenRing (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
005	----	T-TT	DNC	----	TTTT	T-TT	T---	T---	T-TT	166 365 6 1	6144
010	----	CC	DNC	----	TTTT	T-TT	T---	T---	T-TT	58905 294050 11 1	5133
015	----	CC	DNC	----	TTTT	T-TT	T---	DNF	DNF	3.53579E+0007 2.65183E+0008 16 1	3122
020	----	CC	DNC	----	DNF	T-TT	T---	DNF	DNF	2.44663E+0010 ? 21 1	2011
Correctness mask for Vasy2003 (P/T, Scrambled model) - result - score
	cunf	greatspn	helena	lola	marcie	pnmc	pnxdd	stratagem	tapaal	Computed solution	Majority vector
none	----	DNF	DNC	----	TTTT	T---	CC	DNF	DNF	9.79474E+0021 3.40028E+0023 60 1	2111