|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.79
|
12.36
|
|||
|
0.68
|
18.59
|
|||
|
0.91
|
9.41
|
|||
|
0.92
|
12.32
|
|||
|
0.51
|
3.79
|
|||
|
0.43
|
4.08
|
|||
|
0.23
|
2.15
|
|||
|
0.13
|
1.39
|
|||
|
1.02
|
12.51
|
|||
|
0.38
|
4.97
|
|||
|
0.12
|
0.87
|
|||
|
0.47
|
2.22
|
|||
|
0.30
|
6.70
|
|||
|
0.43
|
12.34
|
|||
|
0.29
|
6.07
|
|||
|
0.22
|
4.31
|
|||
|
0.63
|
6.40
|
|||
|
0.37
|
12.22
|
|||
|
0.84
|
12.15
|
|||
|
0.90
|
9.25
|
|||
|
0.24
|
10.72
|
|||
|
0.20
|
8.37
|
|||
|
0.15
|
10.64
|
|||
|
0.18
|
13.68
|
|||
|
0.22
|
11.28
|