|
problem
|
z3
|
sidekick
|
mc2
|
z3.time
|
sidekick.time
|
mc2.time
|
|
0.69
|
8.44
|
10.16
|
||||
|
0.09
|
0.84
|
1.58
|
||||
|
0.22
|
3.45
|
10.05
|
||||
|
0.16
|
2.70
|
7.36
|
||||
|
0.15
|
2.37
|
5.19
|
||||
|
0.18
|
5.27
|
6.82
|
||||
|
0.06
|
0.58
|
1.41
|
||||
|
0.10
|
0.98
|
1.40
|
||||
|
0.21
|
2.06
|
3.37
|
||||
|
0.11
|
1.49
|
2.43
|
||||
|
0.15
|
0.92
|
1.83
|
||||
|
0.14
|
1.33
|
3.24
|
||||
|
0.47
|
4.86
|
7.89
|
||||
|
0.27
|
2.64
|
4.02
|
||||
|
0.47
|
9.52
|
11.22
|
||||
|
0.50
|
4.38
|
8.22
|
||||
|
0.51
|
6.47
|
10.04
|
||||
|
0.16
|
1.56
|
2.77
|
||||
|
0.52
|
7.96
|
10.13
|
||||
|
0.71
|
9.72
|
10.14
|
||||
|
0.52
|
6.21
|
10.05
|
||||
|
0.46
|
5.46
|
10.03
|
||||
|
0.78
|
5.35
|
8.44
|
||||
|
0.07
|
1.73
|
8.03
|
||||
|
0.24
|
7.42
|
10.03
|