problem
|
z3
|
sidekick-dev
|
mc2
|
z3.time
|
sidekick-dev.time
|
mc2.time
|
0.02
|
0.01
|
0.01
|
||||
0.05
|
0.03
|
0.02
|
||||
0.03
|
0.01
|
0.01
|
||||
0.03
|
0.02
|
0.02
|
||||
0.02
|
0.01
|
0.01
|
||||
0.03
|
0.01
|
0.01
|
||||
0.03
|
0.02
|
0.01
|
||||
0.01
|
0.01
|
0.01
|
||||
0.06
|
0.03
|
0.04
|
||||
0.02
|
0.01
|
0.01
|
||||
0.02
|
0.01
|
0.02
|
||||
2.01
|
9.69
|
0.39
|
||||
2.03
|
11.03
|
0.90
|
||||
0.04
|
0.01
|
0.01
|
||||
0.02
|
0.02
|
0.01
|
||||
1.23
|
18.65
|
0.92
|
||||
26.73
|
36.82
|
10.46
|
||||
28.36
|
28.41
|
11.23
|
||||
24.64
|
30.53
|
10.63
|
||||
21.54
|
28.29
|
10.35
|
||||
26.66
|
28.06
|
11.98
|
||||
28.03
|
24.57
|
10.68
|
||||
18.44
|
26.84
|
10.52
|
||||
22.41
|
28.04
|
10.50
|
||||
0.04
|
0.03
|
0.07
|