|
problem
|
z3
|
sidekick
|
mc2
|
z3.time
|
sidekick.time
|
mc2.time
|
|
0.59
|
4.49
|
7.33
|
||||
|
0.54
|
4.10
|
8.37
|
||||
|
0.45
|
4.52
|
7.15
|
||||
|
0.32
|
2.18
|
14.31
|
||||
|
0.21
|
8.10
|
10.03
|
||||
|
0.11
|
4.94
|
4.29
|
||||
|
0.19
|
8.20
|
10.09
|
||||
|
0.40
|
4.92
|
7.96
|
||||
|
0.07
|
0.60
|
0.89
|
||||
|
0.13
|
6.88
|
5.32
|
||||
|
0.28
|
4.54
|
11.00
|
||||
|
0.18
|
0.88
|
1.65
|
||||
|
0.43
|
3.73
|
5.79
|
||||
|
1.39
|
20.45
|
19.69
|
||||
|
0.10
|
1.28
|
3.56
|
||||
|
0.11
|
0.90
|
1.56
|
||||
|
0.16
|
1.63
|
3.67
|
||||
|
0.06
|
0.87
|
1.62
|
||||
|
0.05
|
1.00
|
2.49
|
||||
|
0.09
|
1.03
|
1.48
|
||||
|
0.16
|
3.07
|
4.70
|
||||
|
0.29
|
2.03
|
3.97
|
||||
|
0.23
|
3.14
|
4.49
|
||||
|
0.18
|
2.16
|
6.16
|
||||
|
0.34
|
3.70
|
11.97
|