problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
0.04
|
0.26
|
|||
0.04
|
0.84
|
|||
0.05
|
0.01
|
|||
0.65
|
11.02
|
|||
0.53
|
11.25
|
|||
0.79
|
11.56
|
|||
0.55
|
12.10
|
|||
0.74
|
10.50
|
|||
0.71
|
10.54
|
|||
0.66
|
11.61
|
|||
0.79
|
12.18
|
|||
1.07
|
11.44
|
|||
1.52
|
13.24
|
|||
7.66
|
11.49
|
|||
0.55
|
11.69
|
|||
10.96
|
11.72
|
|||
1.41
|
8.23
|
|||
1.24
|
11.02
|
|||
0.74
|
10.29
|
|||
0.63
|
11.65
|
|||
1.34
|
10.23
|
|||
0.83
|
13.04
|
|||
0.60
|
12.11
|
|||
0.70
|
11.30
|
|||
1.05
|
12.37
|