|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
13.17
|
15.21
|
|||
|
12.64
|
18.31
|
|||
|
12.27
|
14.80
|
|||
|
13.23
|
15.18
|
|||
|
11.74
|
14.66
|
|||
|
12.86
|
15.16
|
|||
|
12.66
|
14.43
|
|||
|
13.03
|
13.89
|
|||
|
12.77
|
14.60
|
|||
|
12.26
|
14.35
|
|||
|
12.52
|
15.03
|
|||
|
11.84
|
14.65
|
|||
|
12.95
|
15.23
|
|||
|
12.55
|
10.10
|
|||
|
12.65
|
13.56
|
|||
|
12.95
|
14.47
|
|||
|
12.68
|
14.92
|
|||
|
3.52
|
7.69
|
|||
|
11.48
|
15.04
|
|||
|
5.17
|
15.18
|
|||
|
3.43
|
14.54
|
|||
|
12.35
|
15.34
|
|||
|
12.56
|
14.77
|
|||
|
9.54
|
14.80
|
|||
|
12.41
|
14.55
|