|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.04
|
0.03
|
|||
|
0.01
|
0.01
|
|||
|
0.91
|
3.32
|
|||
|
0.84
|
3.96
|
|||
|
0.68
|
3.52
|
|||
|
1.01
|
4.61
|
|||
|
1.02
|
3.97
|
|||
|
1.01
|
4.58
|
|||
|
0.91
|
4.15
|
|||
|
0.66
|
4.61
|
|||
|
11.13
|
3.15
|
|||
|
11.12
|
2.75
|
|||
|
11.11
|
2.28
|
|||
|
11.12
|
2.05
|
|||
|
11.03
|
3.02
|
|||
|
11.13
|
3.01
|
|||
|
11.05
|
2.91
|
|||
|
11.12
|
2.98
|
|||
|
11.20
|
10.97
|
|||
|
11.07
|
11.18
|
|||
|
0.01
|
0.01
|
|||
|
0.01
|
0.02
|
|||
|
0.01
|
0.01
|
|||
|
0.01
|
0.01
|
|||
|
0.01
|
0.01
|