|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.58
|
16.57
|
|||
|
0.69
|
15.57
|
|||
|
3.27
|
14.74
|
|||
|
4.94
|
16.62
|
|||
|
0.60
|
14.95
|
|||
|
0.58
|
10.51
|
|||
|
0.94
|
15.35
|
|||
|
0.67
|
10.23
|
|||
|
0.65
|
10.58
|
|||
|
0.68
|
14.17
|
|||
|
0.75
|
15.44
|
|||
|
0.72
|
15.22
|
|||
|
0.62
|
0.88
|
|||
|
0.93
|
1.47
|
|||
|
0.52
|
18.43
|
|||
|
0.72
|
19.58
|
|||
|
0.86
|
14.37
|
|||
|
0.88
|
27.13
|
|||
|
0.95
|
10.18
|
|||
|
0.88
|
14.13
|
|||
|
0.98
|
15.80
|
|||
|
0.99
|
13.98
|
|||
|
1.02
|
0.79
|
|||
|
0.67
|
1.41
|
|||
|
1.07
|
14.29
|