|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.29
|
13.36
|
|||
|
3.56
|
12.91
|
|||
|
0.18
|
11.90
|
|||
|
0.24
|
14.58
|
|||
|
0.44
|
12.82
|
|||
|
5.49
|
13.35
|
|||
|
0.23
|
12.66
|
|||
|
0.26
|
11.73
|
|||
|
0.30
|
12.62
|
|||
|
3.48
|
11.40
|
|||
|
0.19
|
13.38
|
|||
|
0.20
|
11.29
|
|||
|
0.41
|
12.50
|
|||
|
7.87
|
13.35
|
|||
|
0.23
|
11.83
|
|||
|
0.84
|
12.71
|
|||
|
0.38
|
11.57
|
|||
|
17.18
|
15.06
|
|||
|
0.24
|
14.42
|
|||
|
0.30
|
12.55
|
|||
|
0.44
|
13.10
|
|||
|
13.21
|
13.37
|
|||
|
0.48
|
18.98
|
|||
|
0.29
|
13.70
|
|||
|
0.41
|
11.56
|