|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
11.75
|
11.64
|
|||
|
11.36
|
10.78
|
|||
|
11.91
|
11.72
|
|||
|
11.54
|
10.51
|
|||
|
10.38
|
11.06
|
|||
|
11.61
|
6.33
|
|||
|
11.24
|
5.79
|
|||
|
12.26
|
11.66
|
|||
|
11.78
|
11.38
|
|||
|
11.44
|
6.04
|
|||
|
11.58
|
6.26
|
|||
|
4.14
|
6.11
|
|||
|
11.56
|
11.90
|
|||
|
11.36
|
11.78
|
|||
|
11.84
|
12.08
|
|||
|
11.97
|
12.08
|
|||
|
11.70
|
11.56
|
|||
|
11.50
|
11.44
|
|||
|
12.25
|
11.88
|
|||
|
11.30
|
11.92
|
|||
|
12.45
|
11.70
|
|||
|
11.68
|
11.67
|
|||
|
11.74
|
11.98
|
|||
|
0.99
|
8.91
|
|||
|
0.57
|
10.01
|