|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
5.86
|
26.67
|
|||
|
15.38
|
15.51
|
|||
|
3.64
|
22.88
|
|||
|
18.66
|
28.08
|
|||
|
18.01
|
23.96
|
|||
|
15.49
|
22.16
|
|||
|
14.82
|
25.97
|
|||
|
15.82
|
23.58
|
|||
|
10.71
|
22.75
|
|||
|
17.59
|
22.13
|
|||
|
16.90
|
21.14
|
|||
|
17.51
|
25.90
|
|||
|
20.61
|
24.27
|
|||
|
15.46
|
14.89
|
|||
|
22.04
|
25.38
|
|||
|
17.90
|
22.41
|
|||
|
25.94
|
25.16
|
|||
|
19.41
|
24.19
|
|||
|
24.34
|
28.60
|
|||
|
22.16
|
26.20
|
|||
|
23.58
|
31.99
|
|||
|
14.67
|
20.23
|
|||
|
21.65
|
16.54
|
|||
|
27.46
|
32.55
|
|||
|
15.07
|
17.67
|