|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
12.76
|
15.16
|
|||
|
12.37
|
14.93
|
|||
|
11.52
|
14.89
|
|||
|
11.74
|
14.74
|
|||
|
13.23
|
15.95
|
|||
|
13.84
|
15.60
|
|||
|
13.54
|
14.82
|
|||
|
16.76
|
18.37
|
|||
|
12.92
|
15.69
|
|||
|
14.63
|
16.17
|
|||
|
14.71
|
7.53
|
|||
|
15.94
|
20.11
|
|||
|
15.74
|
14.62
|
|||
|
14.27
|
18.27
|
|||
|
12.83
|
16.93
|
|||
|
17.13
|
8.02
|
|||
|
15.20
|
14.94
|
|||
|
14.83
|
17.20
|
|||
|
16.90
|
9.01
|
|||
|
2.41
|
15.12
|
|||
|
4.54
|
17.43
|
|||
|
13.41
|
14.65
|
|||
|
12.79
|
14.18
|
|||
|
11.45
|
16.11
|
|||
|
5.35
|
14.01
|