|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
1.96
|
7.58
|
|||
|
1.09
|
14.54
|
|||
|
1.31
|
5.85
|
|||
|
13.05
|
15.09
|
|||
|
8.89
|
15.57
|
|||
|
12.43
|
15.26
|
|||
|
12.68
|
14.92
|
|||
|
12.59
|
14.59
|
|||
|
13.17
|
14.21
|
|||
|
13.37
|
14.43
|
|||
|
6.54
|
10.31
|
|||
|
12.20
|
14.68
|
|||
|
6.95
|
6.36
|
|||
|
12.25
|
15.03
|
|||
|
10.07
|
8.67
|
|||
|
12.63
|
16.19
|
|||
|
1.63
|
14.95
|
|||
|
7.75
|
7.52
|
|||
|
0.84
|
6.30
|
|||
|
11.72
|
8.73
|
|||
|
12.27
|
15.37
|
|||
|
10.86
|
13.37
|
|||
|
11.56
|
13.11
|
|||
|
11.42
|
10.83
|
|||
|
11.51
|
14.55
|