|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
11.10
|
0.55
|
|||
|
17.98
|
1.92
|
|||
|
17.71
|
0.41
|
|||
|
3.28
|
0.56
|
|||
|
16.79
|
6.07
|
|||
|
15.62
|
11.47
|
|||
|
16.89
|
6.51
|
|||
|
11.20
|
10.68
|
|||
|
16.53
|
4.62
|
|||
|
11.93
|
3.90
|
|||
|
14.06
|
16.11
|
|||
|
11.97
|
5.94
|
|||
|
11.26
|
5.77
|
|||
|
18.86
|
9.92
|
|||
|
11.28
|
2.85
|
|||
|
17.73
|
17.51
|
|||
|
11.38
|
4.58
|
|||
|
11.34
|
10.31
|
|||
|
19.14
|
16.52
|
|||
|
4.45
|
0.60
|
|||
|
7.85
|
0.86
|
|||
|
11.31
|
1.54
|
|||
|
16.11
|
3.16
|
|||
|
17.30
|
0.84
|
|||
|
5.72
|
1.45
|