|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
8.70
|
15.46
|
|||
|
0.38
|
15.51
|
|||
|
9.96
|
14.48
|
|||
|
0.57
|
15.05
|
|||
|
7.71
|
14.81
|
|||
|
0.44
|
15.46
|
|||
|
11.59
|
15.57
|
|||
|
0.49
|
19.85
|
|||
|
11.53
|
15.66
|
|||
|
0.28
|
14.52
|
|||
|
11.63
|
15.56
|
|||
|
0.32
|
15.76
|
|||
|
11.43
|
15.88
|
|||
|
0.61
|
15.74
|
|||
|
11.55
|
15.02
|
|||
|
0.32
|
16.71
|
|||
|
12.00
|
15.31
|
|||
|
0.69
|
15.33
|
|||
|
12.07
|
15.46
|
|||
|
1.40
|
15.61
|
|||
|
11.85
|
14.88
|
|||
|
0.72
|
15.39
|
|||
|
11.51
|
8.21
|
|||
|
1.41
|
15.04
|
|||
|
12.01
|
8.74
|