|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.56
|
5.91
|
|||
|
0.58
|
6.28
|
|||
|
0.45
|
8.58
|
|||
|
0.55
|
9.32
|
|||
|
0.50
|
10.45
|
|||
|
0.48
|
8.97
|
|||
|
0.39
|
10.42
|
|||
|
0.62
|
10.86
|
|||
|
0.27
|
11.01
|
|||
|
0.18
|
3.11
|
|||
|
0.41
|
5.25
|
|||
|
0.49
|
7.45
|
|||
|
0.35
|
5.73
|
|||
|
0.30
|
6.15
|
|||
|
0.83
|
11.01
|
|||
|
0.85
|
11.01
|
|||
|
0.36
|
4.80
|
|||
|
0.78
|
11.01
|
|||
|
0.10
|
0.94
|
|||
|
0.59
|
4.32
|
|||
|
0.72
|
1.63
|
|||
|
0.52
|
4.16
|
|||
|
0.59
|
5.84
|
|||
|
0.41
|
3.38
|
|||
|
0.34
|
7.45
|