|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
12.58
|
14.11
|
|||
|
14.22
|
15.42
|
|||
|
14.11
|
15.02
|
|||
|
4.82
|
17.50
|
|||
|
4.45
|
14.84
|
|||
|
3.90
|
16.57
|
|||
|
6.09
|
14.18
|
|||
|
14.12
|
18.23
|
|||
|
12.68
|
14.44
|
|||
|
13.59
|
17.04
|
|||
|
12.68
|
13.70
|
|||
|
12.93
|
14.30
|
|||
|
13.95
|
16.41
|
|||
|
12.71
|
14.09
|
|||
|
13.76
|
14.98
|
|||
|
13.39
|
16.68
|
|||
|
12.19
|
11.16
|
|||
|
14.60
|
17.74
|
|||
|
13.37
|
14.82
|
|||
|
1.53
|
14.61
|
|||
|
13.00
|
15.13
|
|||
|
12.33
|
10.48
|
|||
|
12.73
|
14.26
|
|||
|
1.69
|
17.86
|
|||
|
1.92
|
15.55
|