|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
11.41
|
5.75
|
|||
|
8.73
|
5.92
|
|||
|
4.11
|
11.54
|
|||
|
11.55
|
11.90
|
|||
|
11.20
|
11.25
|
|||
|
11.58
|
11.99
|
|||
|
11.47
|
11.85
|
|||
|
11.81
|
11.26
|
|||
|
11.42
|
11.90
|
|||
|
11.69
|
11.66
|
|||
|
0.79
|
9.02
|
|||
|
8.79
|
10.96
|
|||
|
6.17
|
12.21
|
|||
|
11.90
|
11.68
|
|||
|
12.15
|
12.11
|
|||
|
11.74
|
11.71
|
|||
|
11.63
|
11.43
|
|||
|
11.64
|
11.43
|
|||
|
11.71
|
11.62
|
|||
|
11.88
|
11.99
|
|||
|
11.48
|
11.39
|
|||
|
11.59
|
11.83
|
|||
|
12.59
|
12.49
|
|||
|
12.00
|
11.91
|
|||
|
11.45
|
11.44
|