|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
14.10
|
17.08
|
|||
|
15.56
|
14.53
|
|||
|
15.51
|
20.20
|
|||
|
15.43
|
16.86
|
|||
|
13.95
|
16.77
|
|||
|
20.90
|
16.46
|
|||
|
14.37
|
16.02
|
|||
|
16.32
|
16.74
|
|||
|
18.73
|
22.77
|
|||
|
16.20
|
18.91
|
|||
|
17.58
|
18.39
|
|||
|
16.06
|
19.93
|
|||
|
17.63
|
20.05
|
|||
|
16.07
|
10.09
|
|||
|
1.78
|
13.55
|
|||
|
11.99
|
14.64
|
|||
|
9.67
|
15.85
|
|||
|
11.92
|
10.57
|
|||
|
13.20
|
13.92
|
|||
|
5.82
|
21.17
|
|||
|
11.27
|
15.15
|
|||
|
11.49
|
14.86
|
|||
|
11.39
|
10.10
|
|||
|
11.43
|
14.00
|
|||
|
11.98
|
14.72
|