|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
13.00
|
14.19
|
|||
|
12.15
|
10.71
|
|||
|
4.32
|
13.29
|
|||
|
2.74
|
13.86
|
|||
|
11.85
|
13.16
|
|||
|
13.12
|
13.81
|
|||
|
12.64
|
14.51
|
|||
|
12.33
|
14.03
|
|||
|
12.62
|
13.84
|
|||
|
11.92
|
14.40
|
|||
|
12.64
|
14.58
|
|||
|
12.66
|
15.01
|
|||
|
12.64
|
14.31
|
|||
|
12.02
|
13.78
|
|||
|
13.10
|
18.71
|
|||
|
14.19
|
14.70
|
|||
|
12.12
|
14.55
|
|||
|
13.89
|
18.98
|
|||
|
12.41
|
14.61
|
|||
|
12.34
|
14.60
|
|||
|
14.39
|
16.37
|
|||
|
13.77
|
14.14
|
|||
|
14.31
|
14.18
|
|||
|
12.37
|
14.15
|
|||
|
12.84
|
15.35
|