|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
15.24
|
13.81
|
|||
|
18.80
|
16.79
|
|||
|
10.76
|
14.05
|
|||
|
14.62
|
14.51
|
|||
|
13.91
|
14.63
|
|||
|
13.95
|
9.74
|
|||
|
13.62
|
15.70
|
|||
|
13.97
|
18.10
|
|||
|
13.11
|
14.39
|
|||
|
13.02
|
9.26
|
|||
|
6.15
|
14.25
|
|||
|
13.22
|
13.55
|
|||
|
14.21
|
14.61
|
|||
|
14.41
|
9.61
|
|||
|
7.97
|
14.00
|
|||
|
15.69
|
13.88
|
|||
|
13.59
|
15.58
|
|||
|
13.74
|
15.15
|
|||
|
0.17
|
15.16
|
|||
|
0.83
|
14.45
|
|||
|
0.13
|
14.12
|
|||
|
1.21
|
16.38
|
|||
|
1.60
|
15.78
|
|||
|
5.07
|
17.69
|
|||
|
0.74
|
13.91
|