|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
7.46
|
18.52
|
|||
|
0.87
|
17.01
|
|||
|
1.04
|
17.24
|
|||
|
0.84
|
17.26
|
|||
|
0.91
|
0.78
|
|||
|
0.16
|
33.34
|
|||
|
2.01
|
19.19
|
|||
|
1.54
|
12.14
|
|||
|
2.05
|
25.29
|
|||
|
0.17
|
20.14
|
|||
|
13.74
|
10.36
|
|||
|
1.88
|
18.31
|
|||
|
1.98
|
10.88
|
|||
|
5.24
|
10.65
|
|||
|
1.02
|
18.40
|
|||
|
1.08
|
22.20
|
|||
|
1.73
|
16.70
|
|||
|
2.82
|
11.42
|
|||
|
0.21
|
26.17
|
|||
|
0.25
|
18.56
|
|||
|
0.25
|
33.38
|
|||
|
0.79
|
21.96
|
|||
|
0.86
|
28.17
|
|||
|
0.46
|
20.10
|
|||
|
0.26
|
21.07
|