|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.07
|
5.43
|
|||
|
0.07
|
2.43
|
|||
|
0.59
|
9.68
|
|||
|
0.11
|
1.42
|
|||
|
0.50
|
10.62
|
|||
|
0.14
|
5.16
|
|||
|
0.09
|
9.75
|
|||
|
0.11
|
7.74
|
|||
|
0.14
|
9.05
|
|||
|
1.01
|
10.84
|
|||
|
0.66
|
7.14
|
|||
|
0.40
|
8.12
|
|||
|
0.47
|
5.84
|
|||
|
0.12
|
10.20
|
|||
|
0.14
|
8.13
|
|||
|
0.32
|
5.98
|
|||
|
0.28
|
2.74
|
|||
|
0.35
|
5.29
|
|||
|
0.08
|
0.45
|
|||
|
0.08
|
0.50
|
|||
|
0.29
|
4.77
|
|||
|
0.16
|
1.12
|
|||
|
0.28
|
1.63
|
|||
|
0.45
|
2.13
|
|||
|
0.21
|
0.96
|