|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.99
|
14.46
|
|||
|
0.66
|
0.36
|
|||
|
0.73
|
0.49
|
|||
|
0.42
|
0.29
|
|||
|
0.75
|
0.52
|
|||
|
0.83
|
0.69
|
|||
|
0.94
|
1.07
|
|||
|
0.94
|
0.56
|
|||
|
0.93
|
0.75
|
|||
|
0.77
|
14.94
|
|||
|
0.51
|
27.94
|
|||
|
0.32
|
15.43
|
|||
|
0.38
|
16.25
|
|||
|
0.41
|
14.91
|
|||
|
0.48
|
13.71
|
|||
|
0.35
|
14.64
|
|||
|
0.70
|
13.89
|
|||
|
0.64
|
15.74
|
|||
|
0.30
|
15.04
|
|||
|
0.48
|
15.07
|
|||
|
0.46
|
14.44
|
|||
|
0.58
|
16.86
|
|||
|
0.53
|
13.90
|
|||
|
0.44
|
14.88
|
|||
|
0.80
|
14.77
|