|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
12.73
|
14.69
|
|||
|
12.26
|
14.03
|
|||
|
11.67
|
10.95
|
|||
|
12.71
|
13.90
|
|||
|
13.23
|
14.47
|
|||
|
13.92
|
16.30
|
|||
|
13.51
|
15.78
|
|||
|
14.75
|
18.43
|
|||
|
12.65
|
19.21
|
|||
|
13.25
|
16.63
|
|||
|
14.19
|
14.72
|
|||
|
13.79
|
15.43
|
|||
|
14.44
|
14.87
|
|||
|
13.22
|
19.84
|
|||
|
12.45
|
17.90
|
|||
|
18.36
|
17.25
|
|||
|
12.94
|
18.11
|
|||
|
13.66
|
15.40
|
|||
|
15.59
|
18.07
|
|||
|
1.94
|
16.72
|
|||
|
2.89
|
17.02
|
|||
|
11.66
|
14.63
|
|||
|
12.64
|
14.77
|
|||
|
11.65
|
14.83
|
|||
|
5.99
|
14.52
|