|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
1.61
|
7.43
|
|||
|
0.89
|
10.39
|
|||
|
1.16
|
7.49
|
|||
|
12.82
|
15.60
|
|||
|
12.72
|
15.40
|
|||
|
12.65
|
14.24
|
|||
|
12.75
|
14.53
|
|||
|
12.12
|
14.59
|
|||
|
12.48
|
14.15
|
|||
|
12.51
|
15.90
|
|||
|
6.27
|
9.80
|
|||
|
11.79
|
14.84
|
|||
|
6.67
|
8.41
|
|||
|
12.39
|
14.58
|
|||
|
9.11
|
16.57
|
|||
|
12.99
|
14.84
|
|||
|
1.03
|
15.58
|
|||
|
6.56
|
8.18
|
|||
|
0.85
|
6.81
|
|||
|
7.56
|
9.77
|
|||
|
11.88
|
14.52
|
|||
|
12.01
|
13.48
|
|||
|
11.66
|
10.65
|
|||
|
11.93
|
14.77
|
|||
|
11.79
|
15.41
|