|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
13.04
|
10.90
|
|||
|
13.60
|
15.18
|
|||
|
12.48
|
11.53
|
|||
|
13.88
|
11.02
|
|||
|
12.01
|
9.97
|
|||
|
12.62
|
14.88
|
|||
|
13.03
|
14.82
|
|||
|
10.62
|
14.42
|
|||
|
12.65
|
10.58
|
|||
|
12.05
|
13.97
|
|||
|
13.25
|
14.61
|
|||
|
12.07
|
9.75
|
|||
|
12.89
|
14.02
|
|||
|
12.34
|
14.22
|
|||
|
12.79
|
15.39
|
|||
|
11.99
|
14.08
|
|||
|
12.36
|
11.03
|
|||
|
3.43
|
14.52
|
|||
|
11.46
|
15.61
|
|||
|
5.59
|
15.36
|
|||
|
3.40
|
15.45
|
|||
|
12.17
|
7.99
|
|||
|
12.86
|
15.60
|
|||
|
10.89
|
14.47
|
|||
|
12.87
|
14.47
|