|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
7.07
|
7.34
|
|||
|
6.59
|
15.08
|
|||
|
3.46
|
13.93
|
|||
|
11.99
|
10.16
|
|||
|
12.24
|
14.70
|
|||
|
12.54
|
16.94
|
|||
|
12.42
|
26.43
|
|||
|
12.57
|
10.95
|
|||
|
13.17
|
14.45
|
|||
|
12.43
|
14.74
|
|||
|
0.68
|
8.15
|
|||
|
11.91
|
10.65
|
|||
|
2.74
|
13.90
|
|||
|
12.99
|
14.70
|
|||
|
13.09
|
16.77
|
|||
|
12.43
|
14.09
|
|||
|
12.86
|
15.75
|
|||
|
13.16
|
16.19
|
|||
|
12.30
|
15.23
|
|||
|
13.07
|
15.03
|
|||
|
12.93
|
15.01
|
|||
|
12.35
|
14.74
|
|||
|
14.51
|
16.22
|
|||
|
13.36
|
14.72
|
|||
|
16.76
|
17.57
|