|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
9.41
|
12.02
|
|||
|
0.40
|
11.60
|
|||
|
12.21
|
11.63
|
|||
|
0.91
|
12.02
|
|||
|
11.62
|
11.62
|
|||
|
1.07
|
11.83
|
|||
|
11.93
|
11.90
|
|||
|
0.68
|
11.95
|
|||
|
11.40
|
12.38
|
|||
|
0.58
|
12.08
|
|||
|
12.58
|
12.08
|
|||
|
0.74
|
12.03
|
|||
|
12.36
|
12.10
|
|||
|
1.62
|
11.46
|
|||
|
12.07
|
11.90
|
|||
|
1.06
|
12.56
|
|||
|
11.62
|
12.47
|
|||
|
0.81
|
12.21
|
|||
|
12.33
|
12.54
|
|||
|
0.81
|
12.20
|
|||
|
11.64
|
12.74
|
|||
|
1.49
|
11.81
|
|||
|
11.98
|
12.18
|
|||
|
1.65
|
11.94
|
|||
|
12.49
|
11.05
|