|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
9.90
|
0.57
|
|||
|
9.04
|
0.75
|
|||
|
4.29
|
0.33
|
|||
|
7.01
|
1.21
|
|||
|
11.45
|
3.32
|
|||
|
11.99
|
2.32
|
|||
|
11.70
|
3.56
|
|||
|
11.81
|
10.94
|
|||
|
12.03
|
20.74
|
|||
|
12.81
|
22.10
|
|||
|
11.32
|
10.23
|
|||
|
11.53
|
19.48
|
|||
|
12.26
|
21.21
|
|||
|
11.71
|
21.16
|
|||
|
11.61
|
22.89
|
|||
|
11.66
|
22.45
|
|||
|
11.45
|
29.08
|
|||
|
11.91
|
27.35
|
|||
|
12.41
|
28.75
|
|||
|
11.76
|
28.08
|
|||
|
11.53
|
27.45
|
|||
|
3.48
|
1.52
|
|||
|
2.79
|
0.99
|
|||
|
2.60
|
1.30
|
|||
|
11.54
|
15.02
|