|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.17
|
10.96
|
|||
|
11.90
|
9.78
|
|||
|
11.81
|
9.73
|
|||
|
8.69
|
16.62
|
|||
|
15.10
|
21.04
|
|||
|
12.52
|
19.19
|
|||
|
12.06
|
16.02
|
|||
|
12.01
|
16.08
|
|||
|
2.04
|
15.38
|
|||
|
3.26
|
15.15
|
|||
|
12.16
|
15.73
|
|||
|
12.51
|
16.47
|
|||
|
12.05
|
15.80
|
|||
|
12.05
|
15.27
|
|||
|
12.00
|
15.04
|
|||
|
1.75
|
15.23
|
|||
|
0.11
|
0.21
|
|||
|
12.37
|
10.69
|
|||
|
0.38
|
13.96
|
|||
|
12.03
|
14.16
|
|||
|
12.06
|
14.23
|
|||
|
12.22
|
14.58
|
|||
|
2.18
|
12.52
|
|||
|
11.33
|
12.70
|
|||
|
11.52
|
10.81
|