|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
12.30
|
14.33
|
|||
|
13.67
|
13.92
|
|||
|
13.50
|
15.51
|
|||
|
4.73
|
15.65
|
|||
|
3.00
|
14.34
|
|||
|
5.55
|
13.89
|
|||
|
4.21
|
14.88
|
|||
|
12.00
|
13.86
|
|||
|
11.95
|
17.28
|
|||
|
12.34
|
14.64
|
|||
|
12.38
|
14.68
|
|||
|
12.21
|
15.62
|
|||
|
12.72
|
15.73
|
|||
|
12.00
|
14.36
|
|||
|
13.03
|
14.83
|
|||
|
13.76
|
18.64
|
|||
|
12.27
|
14.25
|
|||
|
12.77
|
14.74
|
|||
|
14.60
|
15.00
|
|||
|
2.52
|
13.99
|
|||
|
11.88
|
14.25
|
|||
|
12.96
|
15.82
|
|||
|
12.88
|
13.52
|
|||
|
2.68
|
14.57
|
|||
|
2.80
|
14.39
|