|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
2.13
|
15.10
|
|||
|
17.02
|
25.13
|
|||
|
13.05
|
16.13
|
|||
|
16.89
|
21.75
|
|||
|
19.33
|
26.45
|
|||
|
14.23
|
16.56
|
|||
|
22.79
|
24.71
|
|||
|
20.52
|
22.53
|
|||
|
14.23
|
14.52
|
|||
|
18.04
|
22.69
|
|||
|
9.86
|
27.75
|
|||
|
20.64
|
22.86
|
|||
|
14.68
|
14.72
|
|||
|
4.84
|
21.80
|
|||
|
18.63
|
24.01
|
|||
|
18.99
|
24.63
|
|||
|
12.99
|
14.67
|
|||
|
19.14
|
26.64
|
|||
|
14.73
|
17.80
|
|||
|
19.22
|
25.25
|
|||
|
14.15
|
16.95
|
|||
|
32.40
|
31.09
|
|||
|
20.35
|
26.63
|
|||
|
31.08
|
34.31
|
|||
|
20.53
|
23.70
|