|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
3.86
|
15.86
|
|||
|
12.95
|
15.31
|
|||
|
13.32
|
21.24
|
|||
|
13.01
|
16.15
|
|||
|
13.92
|
20.39
|
|||
|
14.12
|
16.34
|
|||
|
13.93
|
18.12
|
|||
|
15.01
|
18.49
|
|||
|
14.70
|
18.67
|
|||
|
12.34
|
11.20
|
|||
|
1.57
|
19.68
|
|||
|
2.07
|
15.97
|
|||
|
2.11
|
15.55
|
|||
|
12.74
|
15.19
|
|||
|
13.25
|
16.41
|
|||
|
12.94
|
15.35
|
|||
|
13.09
|
17.58
|
|||
|
12.71
|
15.64
|
|||
|
13.89
|
19.75
|
|||
|
13.47
|
10.75
|
|||
|
12.73
|
15.99
|
|||
|
12.98
|
16.30
|
|||
|
3.61
|
17.19
|
|||
|
14.34
|
15.48
|
|||
|
13.78
|
16.57
|