|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.12
|
1.56
|
|||
|
0.71
|
4.30
|
|||
|
0.73
|
3.25
|
|||
|
0.48
|
4.84
|
|||
|
0.80
|
8.68
|
|||
|
0.47
|
4.74
|
|||
|
0.43
|
10.76
|
|||
|
0.61
|
11.03
|
|||
|
0.84
|
10.17
|
|||
|
0.34
|
9.34
|
|||
|
0.70
|
10.82
|
|||
|
0.38
|
8.26
|
|||
|
0.13
|
3.76
|
|||
|
0.64
|
11.02
|
|||
|
0.80
|
12.27
|
|||
|
0.25
|
5.83
|
|||
|
0.24
|
10.08
|
|||
|
0.32
|
12.17
|
|||
|
0.21
|
5.36
|
|||
|
0.58
|
5.99
|
|||
|
0.60
|
4.22
|
|||
|
0.34
|
3.19
|
|||
|
0.44
|
2.86
|
|||
|
0.48
|
4.02
|
|||
|
0.55
|
4.43
|