|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
2.94
|
16.87
|
|||
|
13.47
|
26.75
|
|||
|
15.73
|
16.50
|
|||
|
13.01
|
15.22
|
|||
|
13.54
|
20.43
|
|||
|
14.57
|
16.44
|
|||
|
13.06
|
17.68
|
|||
|
14.56
|
18.91
|
|||
|
18.88
|
25.55
|
|||
|
14.03
|
15.71
|
|||
|
15.28
|
18.04
|
|||
|
14.05
|
20.45
|
|||
|
16.71
|
17.79
|
|||
|
13.22
|
15.59
|
|||
|
13.72
|
15.83
|
|||
|
14.53
|
18.50
|
|||
|
15.15
|
19.42
|
|||
|
13.97
|
20.14
|
|||
|
15.10
|
19.55
|
|||
|
11.93
|
10.61
|
|||
|
17.57
|
18.77
|
|||
|
15.70
|
18.06
|
|||
|
14.45
|
17.03
|
|||
|
16.15
|
20.76
|
|||
|
4.64
|
6.37
|