problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
11.38
|
10.32
|
|||
11.57
|
11.02
|
|||
15.74
|
11.61
|
|||
12.43
|
8.18
|
|||
11.83
|
15.96
|
|||
11.39
|
15.02
|
|||
12.70
|
11.70
|
|||
11.71
|
14.56
|
|||
3.82
|
10.59
|
|||
12.28
|
16.95
|
|||
12.81
|
15.94
|
|||
11.67
|
10.74
|
|||
11.88
|
11.69
|
|||
7.87
|
13.75
|
|||
11.93
|
10.73
|
|||
13.19
|
12.10
|
|||
11.64
|
12.66
|
|||
2.81
|
11.13
|
|||
3.87
|
15.84
|
|||
11.48
|
14.05
|
|||
12.05
|
17.76
|
|||
11.76
|
11.63
|
|||
11.86
|
13.61
|
|||
12.49
|
10.97
|
|||
12.21
|
14.81
|