|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
8.28
|
11.22
|
|||
|
2.01
|
11.37
|
|||
|
1.85
|
11.38
|
|||
|
0.70
|
11.40
|
|||
|
0.21
|
11.74
|
|||
|
0.34
|
11.26
|
|||
|
0.30
|
11.30
|
|||
|
0.31
|
11.19
|
|||
|
0.25
|
11.62
|
|||
|
0.48
|
13.01
|
|||
|
0.60
|
11.57
|
|||
|
0.38
|
11.48
|
|||
|
0.29
|
11.37
|
|||
|
0.38
|
17.61
|
|||
|
0.54
|
17.20
|
|||
|
0.26
|
12.96
|
|||
|
4.63
|
11.44
|
|||
|
0.48
|
10.41
|
|||
|
3.81
|
10.42
|
|||
|
4.69
|
11.19
|
|||
|
4.93
|
11.29
|
|||
|
3.48
|
11.05
|
|||
|
7.82
|
12.16
|
|||
|
4.64
|
11.35
|
|||
|
4.91
|
11.62
|