|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
7.33
|
0.63
|
|||
|
7.52
|
0.53
|
|||
|
11.83
|
1.11
|
|||
|
5.15
|
0.53
|
|||
|
16.11
|
5.06
|
|||
|
11.84
|
2.53
|
|||
|
13.72
|
5.28
|
|||
|
14.27
|
24.93
|
|||
|
12.01
|
20.05
|
|||
|
12.27
|
18.85
|
|||
|
12.78
|
23.18
|
|||
|
12.94
|
23.13
|
|||
|
12.64
|
22.17
|
|||
|
11.50
|
20.11
|
|||
|
12.51
|
24.42
|
|||
|
12.30
|
24.72
|
|||
|
12.60
|
32.96
|
|||
|
11.91
|
31.57
|
|||
|
12.26
|
29.96
|
|||
|
11.75
|
29.69
|
|||
|
13.20
|
33.55
|
|||
|
2.71
|
1.31
|
|||
|
4.79
|
0.64
|
|||
|
2.79
|
1.07
|
|||
|
11.83
|
10.37
|