|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
5.27
|
18.60
|
|||
|
0.80
|
18.14
|
|||
|
0.13
|
16.16
|
|||
|
0.96
|
16.10
|
|||
|
0.13
|
17.08
|
|||
|
12.52
|
17.67
|
|||
|
12.48
|
17.20
|
|||
|
0.84
|
17.54
|
|||
|
0.15
|
17.09
|
|||
|
1.30
|
17.64
|
|||
|
0.21
|
17.76
|
|||
|
12.31
|
9.73
|
|||
|
1.35
|
10.26
|
|||
|
5.82
|
9.57
|
|||
|
0.14
|
18.36
|
|||
|
2.88
|
11.26
|
|||
|
0.16
|
17.50
|
|||
|
12.19
|
10.60
|
|||
|
12.44
|
11.12
|
|||
|
1.41
|
18.43
|
|||
|
0.17
|
19.18
|
|||
|
2.49
|
19.45
|
|||
|
0.08
|
0.75
|
|||
|
0.55
|
11.26
|
|||
|
0.32
|
12.95
|