ABCDEFGHIJKLMNOPQRSTUVWX
1
variant solver.mode prefix length model size cores
variantprefix lengthmodel sizesolver.modecorestime
2
SCENARIO HX 10 8 4SCENARIO108HX4#N/A
3
LIVENESSBUG PS 12 12 4LIVENESSBUG1212PS4#N/A
4
LIVENESSBUG PS 12 10 4LIVENESSBUG1210PS4#N/A
5
LIVENESSBUG HX 6 9 4LIVENESSBUG69HX4#N/A
6
LIVENESSBUG PS 12 11 4LIVENESSBUG1211PS4#N/A
7
LIVENESSBUG HX 10 9 4LIVENESSBUG109HX4#N/A
8
LIVENESSBUG PS 12 9 4LIVENESSBUG129PS4#N/A
9
LIVENESSBUG HX 8 10 4LIVENESSBUG810HX4#N/A
10
LIVENESSBUG HX 8 12 4LIVENESSBUG812HX4#N/A
11
LIVENESSBUG PU 4 11 4LIVENESSBUG411PU4#N/A
12
SCENARIO HX 8 8 4SCENARIO88HX4#N/A
13
LIVENESSBUG HX 4 12 4LIVENESSBUG412HX4#N/A
14
LIVENESSBUG HX 8 9 4LIVENESSBUG89HX4#N/A
15
SCENARIO HX 8 10 4SCENARIO810HX4#N/A
16
SCENARIO HX 8 9 4SCENARIO89HX4#N/A
17
LIVENESSBUG HX 10 8 4LIVENESSBUG108HX4#N/A
18
LIVENESSBUG PU 4 10 4LIVENESSBUG410PU4#N/A
19
LIVENESSBUG PS 12 8 4LIVENESSBUG128PS4#N/A
20
LIVENESSBUG HX 4 9 4LIVENESSBUG49HX4#N/A
21
LIVENESSBUG HX 8 11 4LIVENESSBUG811HX4#N/A
22
LIVENESSBUG PU 4 8 4LIVENESSBUG48PU4#N/A
23
SCENARIO HX 6 10 4SCENARIO610HX4#N/A
24
LIVENESSBUG HX 6 8 4LIVENESSBUG68HX4#N/A
25
SCENARIO HX 6 8 4SCENARIO68HX4#N/A
26
LIVENESSBUG HX 4 8 4LIVENESSBUG48HX4#N/A
27
LIVENESSBUG PU 4 9 4LIVENESSBUG49PU4#N/A
28
LIVENESSBUG HX 8 8 4LIVENESSBUG88HX4#N/A
29
LIVENESSBUG PU 4 12 4LIVENESSBUG412PU4#N/A
30
SCENARIO HX 8 11 4SCENARIO811HX4#N/A
31
LIVENESSBUG HX 4 10 4LIVENESSBUG410HX4#N/A
32
SAFETY AS 12 7 4SAFETY127AS4#N/A
33
SCENARIO HX 4 10 4SCENARIO410HX4#N/A
34
SCENARIO HX 10 10 4SCENARIO1010HX4#N/A
35
LIVENESSBUG HX 6 10 4LIVENESSBUG610HX4#N/A
36
SCENARIO HX 4 11 4SCENARIO411HX4#N/A
37
LIVENESSBUG HX 4 11 4LIVENESSBUG411HX4#N/A
38
SCENARIO HX 4 8 4SCENARIO48HX4#N/A
39
LIVENESSBUG HC 4 11 4LIVENESSBUG411HC40.6
40
SCENARIO HX 12 12 4SCENARIO1212HX41.0
41
SCENARIO HX 8 12 4SCENARIO812HX4#N/A
42
SCENARIO HX 4 12 4SCENARIO412HX4#N/A
43
SAFETY HS 12 7 4SAFETY127HS4#N/A
44
SAFETY HM 12 7 4SAFETY127HM4#N/A
45
SCENARIO HM 12 12 4SCENARIO1212HM4#N/A
46
SCENARIO HG 10 10 4SCENARIO1010HG4#N/A
47
SCENARIO HM 12 10 4SCENARIO1210HM4#N/A
48
SCENARIO HG 10 9 4SCENARIO109HG4#N/A
49
SCENARIO HG 10 8 4SCENARIO108HG4#N/A
50
SCENARIO HM 12 9 4SCENARIO129HM4#N/A
51
SCENARIO HM 12 8 4SCENARIO128HM4#N/A
52
LIVENESSBUG HU 4 12 4LIVENESSBUG412HU4#N/A
53
LIVENESSBUG HS 12 10 4LIVENESSBUG1210HS4#N/A
54
LIVENESSBUG HS 12 9 4LIVENESSBUG129HS4#N/A
55
LIVENESSBUG HM 12 10 4LIVENESSBUG1210HM4#N/A
56
LIVENESSBUG HG 4 9 4LIVENESSBUG49HG4#N/A
57
LIVENESSBUG HG 10 8 4LIVENESSBUG108HG4#N/A
58
LIVENESSBUG HG 10 9 4LIVENESSBUG109HG4#N/A
59
LIVENESSBUG HG 10 10 4LIVENESSBUG1010HG4#N/A
60
LIVENESSBUG HG 4 10 4LIVENESSBUG410HG4#N/A
61
LIVENESSBUG HU 4 10 4LIVENESSBUG410HU4#N/A
62
LIVENESSBUG HS 12 11 4LIVENESSBUG1211HS4#N/A
63
LIVENESSBUG HU 4 9 4LIVENESSBUG49HU4#N/A
64
LIVENESSBUG HU 4 11 4LIVENESSBUG411HU4#N/A
65
LIVENESSBUG HS 12 12 4LIVENESSBUG1212HS4#N/A
66
LIVENESSBUG HM 12 8 4LIVENESSBUG128HM4#N/A
67
LIVENESSBUG HU 4 8 4LIVENESSBUG48HU4#N/A
68
LIVENESSBUG HS 12 8 4LIVENESSBUG128HS4#N/A
69
LIVENESSBUG HM 12 9 4LIVENESSBUG129HM4#N/A
70
LIVENESSBUG HM 12 11 4LIVENESSBUG1211HM4#N/A
71
LIVENESSBUG HM 12 12 4LIVENESSBUG1212HM4#N/A
72
LIVENESSBUG HG 4 8 4LIVENESSBUG48HG4#N/A
73
LIVENESSBUG HG 4 11 4LIVENESSBUG411HG4#N/A
74
LIVENESSBUG HG 4 12 4LIVENESSBUG412HG4#N/A
75
LIVENESSBUG HG 6 8 4LIVENESSBUG68HG4#N/A
76
LIVENESSBUG HG 6 9 4LIVENESSBUG69HG4#N/A
77
LIVENESSBUG HG 6 10 4LIVENESSBUG610HG4#N/A
78
LIVENESSBUG HG 8 8 4LIVENESSBUG88HG4#N/A
79
LIVENESSBUG HG 8 9 4LIVENESSBUG89HG4#N/A
80
LIVENESSBUG HG 8 10 4LIVENESSBUG810HG4#N/A
81
LIVENESSBUG HG 8 11 4LIVENESSBUG811HG4#N/A
82
LIVENESSBUG HG 8 12 4LIVENESSBUG812HG4#N/A
83
LIVENESSBUG PM 12 8 4LIVENESSBUG128PM4#N/A
84
LIVENESSBUG PM 12 11 4LIVENESSBUG1211PM4#N/A
85
LIVENESSBUG PM 12 9 4LIVENESSBUG129PM4#N/A
86
LIVENESSBUG PM 12 10 4LIVENESSBUG1210PM4#N/A
87
LIVENESSBUG PM 12 12 4LIVENESSBUG1212PM4#N/A
88
SCENARIO HS 12 8 4SCENARIO128HS4#N/A
89
SCENARIO PM 12 8 4SCENARIO128PM4#N/A
90
SCENARIO HM 12 11 4SCENARIO1211HM4#N/A
91
SCENARIO HU 4 8 4SCENARIO48HU4#N/A
92
SCENARIO HS 12 11 4SCENARIO1211HS4#N/A
93
SCENARIO HS 12 10 4SCENARIO1210HS4#N/A
94
SCENARIO HU 4 10 4SCENARIO410HU4#N/A
95
SCENARIO HU 4 11 4SCENARIO411HU4#N/A
96
SCENARIO HU 4 12 4SCENARIO412HU4#N/A
97
SCENARIO HS 12 12 4SCENARIO1212HS4#N/A
98
SCENARIO HS 12 9 4SCENARIO129HS4#N/A
99
SCENARIO HX 10 9 4SCENARIO109HX4#N/A
100
SAFETY PS 12 7 4SAFETY127PS4#N/A